**
(pdfoutput.tex [1] )
Output written on pdfoutput.xdv (1 page, 212 bytes).