Leaderboard for Reddit

Rankings for awk13