Figure Asymptote geometry -- 025