Ported as a legacy time from the old leaderboards at merqurycity.com
This will not pass current proof standards. It exists here for archiving reasons.