Figure Asymptote geometry -- 031