Figure Asymptote geometry -- 017