Figure Asymptote geometry -- 116