Figure Asymptote geometry -- 024