Figure Asymptote geometry -- 087