Figure Asymptote geometry -- 054