This is dvi2ps, version 3.1 [/usr/users/lib/tex/ps/dvi2ps.pro] [4] [3] [2] [1] [0]