, which is equivalent to asking which team has the largest product of shares. So, let's go one hyperoperation up.

To be precise, if n and m are respectively the total numbers of YES and NO holders at close, and Y1 ≥ Y2 ≥ ... ≥Yn are the numbers of shares held by each YES holders, with N1 ≥ N2 ≥ ... ≥ Nm being the same for NO holders, then this market resolves YES if  Y=Y1^Y2^...^Yn > N=N1^N2^...Nm, and NO if N ≥ Y. 

The power towers should be evaluated in the standard way, from top to bottom (e.g., a^b^c = a^(b^c), not (a^b)^c, since the latter is just a^bc).