Figure Asymptote geometry -- 072