Packomania: Optimal circle packing leaderboard, to n=10000
packomania.com