**
(redbox_png.tex [1] )
Output written on redbox_png.xdv (1 page, 304 bytes).