Figure Asymptote geometry -- 093