Figure Asymptote geometry -- 073