Resolves to MAX if rejected at time of check

This market will resolve if any of the following are true:

- If the current time is past 2025-05-28 11:59:59

- If the GitHub PR manifoldmarkets/manifold#726 was merged in the past.

It will resolve based on the following decision tree:

- If the human operator agrees:

--- Resolves based on GitHub PR manifoldmarkets/manifold#726

----- If the PR is merged, resolve to the number of days between 2022-09-01 00:00:00 and the resolution time.

----- Otherwise, resolve to MAX.

- Otherwise, a manually provided value

Note that the bot operator reserves the right to resolve contrary to the purely automated rules to preserve the spirit of the market. All resolutions are first verified by the human operator.

The operator also reserves the right to trade on this market unless otherwise specified. Even if otherwise specified, the operator reserves the right to buy shares for subsidy or to trade for the purposes of cashing out liquidity.