Figure Asymptote geometry -- 037