Figure Asymptote geometry -- 055