Figure Asymptote geometry -- 080