Figure Asymptote geometry -- 112