⁴The text of the output.tex file has been produced by pasting the whole text between \begin{document} and \end{document} in the output.tex file, and compiling it as part of the rest of the document.