[Chapter 5: Code as data, data as code] Word "input" becomes definition of input in algorithm

[junemoretz]

Chapter name: Code as data, data as code

List of bugs/typos

In Algorithm 5.11, "Eval NAND-CIRC programs," the word "input" in the description of the output, which should be plain text, is presented in the PDF as another input to the algorithm defined after the output.