Figure Asymptote geometry -- 030