Figure Asymptote geometry -- 052