%!% This file is a NONconforming PostScript file.(TeXPS: dvi->PostScript Driver dvitps, Version 2.19 of June 23, 1989\n)print flush% Copyright 1989 Stephan v. Bechtolsheim (unless otherwise stated)% applies to various prologue files. Read documentation for details.save% dvitps: BEGIN including file "/u1/apps/tex/DVIware/laser-setters/dvi-to-ps/dvitps/pro/texpre.pro"/@bop0{PsPrintEnabled { (Pass0: Page ) print == flush } {pop} ifelse}	def/@eop0 {pop}	def/@bop1{PsPrintEnabled { (Pass1: Page ) print == flush } {pop} ifelsesaveDviTranslateVector-X DviTranslateVector-Y translateDviOrientationMatrix concatPage-H-Offset Page-V-Offset translate3 1 rolltranslate0 0 movetoDraft-Flag { @Draft } if/DriverDelta 0 def} def/@eop1 {popshowpagerestore} def/@end {(Done!\n) print flush} def/@ReportVmStatus {(\n@ReportVmStatus: ) printprint (: ) printvmstatus(max: ) print 20 string cvs print(, used: ) print 20 string cvs print(, level: ) print 20 string cvs print(\n) print flush} def/@ReportVmStatusNew {(VM: ) printexch print(, printer: ) print/Vmfree vmstatus pop exch pop def Vmfree (       ) cvs print(, driver: ) print dup (      ) cvs print(, delta: ) printVmfree sub (      ) cvs print(\n) print flush} def/@Draft {gsavePage-H-Offset neg Page-V-Offset neg translate-45 rotate-150 0 moveto/Helvetica-Bold findfont[120.0 0 0 -120.0 0 0 ] makefont setfont(DRAFT) showgrestoregsavePage-H-Offset neg Page-V-Offset neg translate300 -100 moveto/Helvetica-Bold findfont[60.0 0 0   -60.0 0 0 ] makefont setfontDate-and-Time		show(   ::   )	      	showDvi-File-Name		showgrestore} def% dvitps: END including file "/u1/apps/tex/DVIware/laser-setters/dvi-to-ps/dvitps/pro/texpre.pro"% dvitps: BEGIN including file "/u1/apps/tex/DVIware/laser-setters/dvi-to-ps/dvitps/pro/pos.pro"/a { rmoveto } def/DriverDelta 0 def/b { exch p dup /DriverDelta exch def 0 rmoveto } def/c { p DriverDelta 4 sub dup /DriverDelta exch def 0 rmoveto } def/d { p DriverDelta 3 sub dup /DriverDelta exch def 0 rmoveto } def/e { p DriverDelta 2 sub dup /DriverDelta exch def 0 rmoveto } def/f { p DriverDelta 1 sub dup /DriverDelta exch def 0 rmoveto } def/g { p DriverDelta 0 rmoveto } def/h { p DriverDelta 1 add dup /DriverDelta exch def 0 rmoveto } def/i { p DriverDelta 2 add dup /DriverDelta exch def 0 rmoveto } def/j { p DriverDelta 3 add dup /DriverDelta exch def 0 rmoveto } def/k { p DriverDelta 4 add dup /DriverDelta exch def 0 rmoveto } def/l { p -4 0 rmoveto } def/m { p -3 0 rmoveto } def/n { p -2 0 rmoveto } def/o { p -1 0 rmoveto } def/q { p 1 0 rmoveto } def/r { p 2 0 rmoveto } def/s { p 3 0 rmoveto } def/t { p 4 0 rmoveto } def/p { show } def/w { 0 exch rmoveto } def/x { 0 rmoveto } def/y { 3 -1 roll p rmoveto } def/u-string ( ) def/u { u-string exch 0 exch putu-string show} def/v { u-string exch 0 exch putcurrentpointu-string showmoveto} def% dvitps: END including file "/u1/apps/tex/DVIware/laser-setters/dvi-to-ps/dvitps/pro/pos.pro"% dvitps: BEGIN including file "/u1/apps/tex/DVIware/laser-setters/dvi-to-ps/dvitps/pro/rules.pro"/z{   /dy exch def/dx exch defcurrentpointcurrentpointtransform round exch round exch itransformnewpathmovetodx 0 rlineto0 dy rlinetodx neg 0 rlinetoclosepathfillmoveto}def/z{   /dy exch def/dx exch defcurrentpoint0.2 0.2 rmovetocurrentpointnewpathmovetodx 0 rlineto0 dy rlinetodx neg 0 rlinetoclosepathfillmoveto}def% dvitps: END including file "/u1/apps/tex/DVIware/laser-setters/dvi-to-ps/dvitps/pro/rules.pro"/Dvi-File-Name (trst1_6.dvi) def(Dvi file name: ") print Dvi-File-Name print (".\n) print/Draft-Flag false def/#copies 1 def/NumCharsInPixelFonts 256 def/HostName (traffic) def(This PostScript file was produced on host \") print HostName print (\".\n) print/PsPrintEnabled true def/Page-H-Offset   0.000000 def/Page-V-Offset   0.000000 def/ExecPsConv {0.30 mul} def/Date-and-Time (Tue Sep  3 10:34 1996) def/DviTranslateVector-X   72.000 def/DviTranslateVector-Y  720.000 def/DviOrientationMatrix [    0.240    0.000    0.000	   -0.240 0.0 0.0 ] def% dvitps: BEGIN including file "/u1/apps/tex/DVIware/laser-setters/dvi-to-ps/dvitps/pro/pixel-fonts.pro"/@newfont{/newname exch defnewname 7 dict defnewname load begin/FontType 3 def/FontMatrix [1 0 0 -1 0 0] def/FontBBox [0 0 1 1] def/BitMaps NumCharsInPixelFonts array def/BuildChar {CharBuilder} def/Encoding NumCharsInPixelFonts array def0 1 NumCharsInPixelFonts 1 sub {Encoding exch /.undef put} forendnewname newname load definefont pop} def/ch-image {ch-data 0 get} def/ch-width {ch-data 1 get} def/ch-height {ch-data 2 get} def/ch-xoff  {ch-data 3 get} def/ch-yoff  {ch-data 4 get} def/ch-tfmw  {ch-data 5 get} def/CharBuilder{/ch-code exch def/font-dict exch def/ch-data font-dict /BitMaps get ch-code get defch-data null eq not{ch-tfmw   0ch-xoff negch-height ch-yoff sub negch-width  ch-xoff neg addch-yoffsetcachedevice0 0 transform round exch round exch itransform translatech-width ch-height true[1 0  0 1 ch-xoff ch-height ch-yoff sub] {ch-image} imagemask}if} def/@dc{/ch-code exch def/ch-data exch defcurrentfont /BitMaps getch-code ch-data putcurrentfont /Encoding getch-code (   ) cvs   % convert the character code to a stringcvnch-code exch put} def/@sf /setfont load def% dvitps: END including file "/u1/apps/tex/DVIware/laser-setters/dvi-to-ps/dvitps/pro/pixel-fonts.pro"1 @bop0/@F2 @newfont@F2 @sf[<FFFFC0003FFFFFC0FFFFC0003FFFFFC0FFFFC0003FFFFFC00FFC000001FFE00003F80000007FC00000F00000007FC00000600000007F800000600000007F80000070000000FF80000030000000FF00000030000000FF00000018000001FE00000018000001FE00000018000001FE0000000C000003FC0000000C000003FC0000000C000007FC00000006000007F800000006000007F800000007FFFFFFF800000003FFFFFFF000000003FFFFFFF00000000380001FF00000000180001FE00000000180001FE000000001C0003FE000000000C0003FC000000000C0003FC000000000E0007F800000000060007F800000000060007F80000000003000FF00000000003000FF00000000003000FF00000000001801FE00000000001801FE00000000001803FE00000000000C03FC00000000000C03FC00000000000C07FC00000000000607F800000000000607F80000000000070FF80000000000030FF00000000000030FF00000000000039FF00000000000019FE00000000000019FE0000000000000FFC0000000000000FFC0000000000000FFC00000000000007F800000000000007F800000000000007F800000000000003F000000000000003F000000000000003F000000000000001E000000000000001E000000000000001E000000000000000C00000000>	 58 61 -3 60 65] 65 @dc[<C001FF8000C00FFFE000E03FFFF800F0FE00FC00F1F0003E00FB80000F00FF00000F80FC000007C0F8000003E0F8000003E0F0000003F0F0000001F0E0000001F0E0000001F8E0000001F8C0000001F8C0000001F8C0000001F8C0000003F840000003F800000003F800000007F800000007F00000000FF00000001FF00000007FE0000007FFE000007FFFC00007FFFF80003FFFFF0000FFFFFE0001FFFFFC0003FFFFF80007FFFFE0000FFFFF80001FFFF800003FFF8000003FF80000007FE00000007F800000007F00000000FF00000060FE00000060FE00000060FC00000060FC000000E0FC000000E0FC000000E0FC000001E07C000001E07C000001E03E000003E03E000007E01F00000FE00F00001FE00F80003BE007E000F1E001F807E1E000FFFFC0E0003FFF0060000FF80060>	 37 61 -5 59 48] 83 @dc[<0003F000000FF800001F0C00003E0600007C030000FC030000F8030000F8018001F8018001F8018001F8018001F8018001F8018001F8018001F8018001F8018001F8018001F8000001F8000001F8000001F8000001F8000001F8000001F8000001F8000001F8000001F8000001F8000001F8000001F8000001F8000001F8000001F8000001F8000001F80000FFFFFF00FFFFFF001FFFFF0007F8000003F8000001F8000000F8000000F800000078000000780000003800000038000000380000003800000018000000180000001800000018000000180000>	 25 54 -2 52 33] 116 @dc[<007F800F8003FFE01FE00FE0703FF01F80187E383F000C7C187F0006F80C7E0006F80CFE0003F80CFE0003F80CFE0001F80CFE0001F80CFE0001F80C7E0001F80C7F0001F8007F0001F8003F8001F8001F8001F8000FC001F80007F001F80003F801F80000FF01F800003FF9F8000007FFF80000001FF800000001F800000001F800000001F800000001F8000F0001F8001F8001F8003FC001F0003FC003F0003FC003F0003FC003E0001F8007C0001E000F80000E001F000007C07E000001FFF80000003FC00000>	 38 40 -4 38 43] 97 @dc[<FFFFE0FFFFE0FFFFE003FC0001F80001F80001F80001F80001F80001F80001F80001F80001F80001F80001F80001F80001F80001F80001F80001F80001F80001F80001F80001F80001F80001F80001F80001F80001F80001F80001F80001F80001F80007F8007FF8007FF8007FF80001F80000000000000000000000000000000000000000000000000000000000000000000001C00003F00007F8000FF8000FF8000FF80007F80003F00001C000>	 19 58 -1 57 24] 105 @dc[<C03FC000C0FFF800E3C03C00F7000E00FC000700FC000380F80003C0F00001C0F00001E0E00001E0E00001E0E00001E0E00001E0C00003E0C00007E040000FC000001FC00000FF80001FFF8001FFFF0003FFFE000FFFFC001FFFF0003FFFC0007FFC00007F800000FE000000F8000180F8000180F0000180F0000180F0000180700003807000038038000780380007801E001F800F807F8003FFE380007F8180>	 27 40 -3 38 34] 115 @dc[<0003FC00001FFF00007E03C000F800E001F0003003E0001807C0000C0FC000061F8000061F8000033F0000033F0000037F0000007F0000007E000000FE000000FE000000FE000000FE000000FE000000FE000000FE000000FE000000FE0000007E0000007E0000007F0000007F0000003F0000783F0000FC1F8001FE0F8001FE0FC001FE07C001FE03E000FC01F0003C00F80038003E01F0001FFFC00003FE00>	 32 40 -3 38 38] 99 @dc[<FFFFF0FFFFF0FFFFF003FC0001F80001F80001F80001F80001F80001F80001F80001F80001F80001F80001F80001F80001F80001F80001F80001F80001F80001F80001F80001F80001F80001F80001F80001F80001F80001F80001F80001F80001F80001F80001F80001F80001F80001F80001F80001F80001F80001F80001F80001F80001F80001F80001F80001F80001F80001F80001F80001F80001F80001F80001F80007F800FFF800FFF800FFF80001F800>	 20 60 -1 59 24] 108 @dc[<0007FF8000003FFFF00001FC00FE0003E0001F000F800007C01F000003E03E000001F07C000000F87C000000F8F80000007CF80000007CF80000007CF80000007CF80000007C780000007C7C000000F83C000000F83E000001F81F000007F00780003FE003FFFFFFC000FFFFFF8001FFFFFF0003FFFFFC0007FFFFC00007C00000000F000000000F000000000E000000000E000000000E0000000006000000000607F00000073FFE0000037C1F000001F007800001E003C00003C001E00007C001F0000FC001F8000F8000F8001F8000FC001F8000FC001F8000FC001F8000FC001F8000FC001F8000FC001F8000FC000F8000F8000FC001F80007C001F00003C001E00801E003E01C00F007F03E007C1F1E3E003FFE0FFC0007F001F8>	 39 57 -2 37 43] 103 @dc[<0001FE0000000FFFC000003F03F00000F8007C0001F0003E0003E0001F0007C0000F800F800007C01F800007E01F000003E03F000003F03F000003F07F000003F87E000001F87E000001F8FE000001FCFE000001FCFE000001FCFE000001FCFE000001FCFE000001FCFE000001FCFE000001FCFE000001FC7E000001F87E000001F87E000001F83F000003F03F000003F03F000003F01F000003E00F800007C00F800007C007C0000F8003E0001F0001F0003E0000F8007C00003F03F000000FFFC0000001FE0000>	 38 40 -2 38 43] 111 @dc