simpleChoiceOmittingNoOracle.spec 65 Bytes