prevexampleNoOracle.wf 111 Bytes