For each sub-question, I will compute X = Y_i+N_i (see below) and let FairlyRandom generate a number between 1 and X. If it is between 1 and Y, the sub-question resolves to YES, otherwise to NO.

For the three sub-questions, the values of Y and N are, respectively:

Y_1 = number of YES holders at close +1
N_1 = number of NO holders at close +1

Y_2 = amount of mana spent on YES as displayed at close +10
N_2 = amount of mana spent on NO as displayed at close +10

Y_3 = number of YES shares held as displayed at close +10
N_3 = number of YES shares held as displayed at close +10

AI-fied Resolution criteria

Each sub-question will resolve based on a random draw using the FairlyRandom number generator. The process is as follows:

1. Calculation of Y and N values:

   • Sub-question 1:

     • Y₁ = (Number of YES holders at market close) + 1

     • N₁ = (Number of NO holders at market close) + 1

   • Sub-question 2:

     • Y₂ = (Total mana spent on YES at market close) + 10

     • N₂ = (Total mana spent on NO at market close) + 10

   • Sub-question 3:

     • Y₃ = (Total YES shares held at market close) + 10

     • N₃ = (Total NO shares held at market close) + 10

2. Determination of X:

   • For each sub-question, calculate X = Yᵢ + Nᵢ.

3. Random number generation:

   • Use FairlyRandom to generate a random integer between 1 and X.

4. Resolution:

   • If the generated number is between 1 and Yᵢ (inclusive), the sub-question resolves to YES.

   • If the generated number is greater than Yᵢ, the sub-question resolves to NO.