simpleChoiceNoOracle.wf 35 Bytes