Initial upload

Uploading the output and proof scripts as of v2.22 (Output) and v2.23
(Proof).