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