Resolves to the Total profit of the number one leaderboard trader (doesn't have to be eligible for prizes, but can't be disqualified) as shown on [this page](https://salemcenter.manifold.markets/leaderboards)