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