Leaderboards

Points are rarity-adjusted and recomputed as more players find the same sequences. First finds are permanent.