[math-fun] Choreography of large complete graphs