Figure Asymptote geometry -- 090