Figure Asymptote geometry -- 047