This market resolves YES if the FairlyRandom bot returns 5 when asking for a random number 1-5, and resolves NO otherwise.

This is an experiment to see if market manipulation is viable with the following derivative market.