Link to proof used to work, but the image has been deleted. 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.