Figure Asymptote geometry -- 077