And here is output.pdf, the result of printing input.pdf to a pdf file. It is scaled similarly to output to the printer.
And here is output.pdf, the result of printing input.pdf to a pdf file. It is scaled similarly to output to the printer.