Resolves yes if this market reaches 100 traders.

Otherwise, resolves on july 1st 2025 to x%, where x is the amount of traders on this market when it closes.