Figure Asymptote geometry -- 027