Figure Asymptote geometry -- 053