Figure Asymptote geometry -- 071