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.