Figure Asymptote geometry -- 007