Figure Asymptote geometry -- 083