 resolved YES, we still have not learned whether it is actually possible to bet so much on a market that the probability displays as NaN%, since that market resolved due to a deprecated market type displaying "Resolved NaN", which is a distinct glitch.

The glitch I'm talking about is this one:

This market will resolve YES if the probability of any market of the "Yes / No" market type displays as NaN% as a result of the glitch above (a large amount of mana being bet on one option and somehow destroying the probability calculation), and I receive evidence of this before close. Other glitches that cause it to display NaN% will not count.