Generating Inputs for OZ's MultiProof and SingleProof - View it on GitHub