Figure Asymptote geometry -- 056