Figure Asymptote geometry -- 005