Leaderboard for Reddit

Rankings for tau_equals_2pi