Figure Asymptote animations -- 013