This is DVItype, Version 2.8 for Berkeley UNIX
Options selected:
  Starting page = *.*.*.*.*.*.*.*.*.* 
  Maximum number of pages = 1000000
  Output level = 2 (verbose)
  Resolution =  72.27000000 pixels per inch
numerator/denominator=25400000/473628672
magnification=2000;       0.00003052 pixels per DVI unit
' TeX output 1957.11.20:0700'
 
42: beginning of page -2.0.0.0.11.0.327680.1572864.0.-1073741823 
87: down4 1070596032 v:=0+1070596032=1070596032, vv:=32672 
92: push 
level 0:(h=0,v=1070596032,w=0,x=0,y=0,z=0,hh=0,vv=32672) 
93: push 
level 1:(h=0,v=1070596032,w=0,x=0,y=0,z=0,hh=0,vv=32672) 
94: right1 1 h:=0+1=1, hh:=0 
[ ]
96: down3 -65536 v:=1070596032-65536=1070530496, vv:=32670 
100: xxx '-12' 
105: pop 
level 1:(h=0,v=1070596032,w=0,x=0,y=0,z=0,hh=0,vv=32672) 
106: pop 
level 0:(h=0,v=1070596032,w=0,x=0,y=0,z=0,hh=0,vv=32672) 
107: y3 655360 v:=1070596032+655360=1071251392, vv:=32692 
111: y0 655360 v:=1071251392+655360=1071906752, vv:=32712 
112: down3 983040 v:=1071906752+983040=1072889792, vv:=32742 
116: push 
level 0:(h=0,v=1072889792,w=0,x=0,y=655360,z=0,hh=0,vv=32742) 
117: push 
level 1:(h=0,v=1072889792,w=0,x=0,y=655360,z=0,hh=0,vv=32742) 
118: right3 196609 h:=0+196609=196609, hh:=6 
[ ]
122: fntdef1 0: trip---loaded at size 655360 DVI units 
 (this font is magnified 200%) 
142: fntnum0 current font is trip 
143: setchar65 h:=196609+131072=327681, hh:=10 
[A]
144: push 
level 2:(h=327681,v=1072889792,w=0,x=0,y=655360,z=0,hh=10,vv=32742) 
145: push 
level 3:(h=327681,v=1072889792,w=0,x=0,y=655360,z=0,hh=10,vv=32742) 
146: right3 83740 h:=327681+83740=411421, hh:=13 
150: down3 -262144 v:=1072889792-262144=1072627648, vv:=32734 
154: setchar98 h:=411421+196608=608029, hh:=19 
[b]
155: pop 
level 3:(h=327681,v=1072889792,w=0,x=0,y=655360,z=0,hh=10,vv=32742) 
156: push 
level 3:(h=327681,v=1072889792,w=0,x=0,y=655360,z=0,hh=10,vv=32742) 
157: push 
level 4:(h=327681,v=1072889792,w=0,x=0,y=655360,z=0,hh=10,vv=32742) 
158: right3 286902 h:=327681+286902=614583, hh:=19 
[ ]
162: down3 -425984 v:=1072889792-425984=1072463808, vv:=32729 
166: putrule height 65536, width 104858 (2x4 pixels) 
175: down3 688128 v:=1072463808+688128=1073151936, vv:=32750 
179: push 
level 5:(h=614583,v=1073151936,w=0,x=0,y=655360,z=0,hh=19,vv=32750) 
180: push 
level 6:(h=614583,v=1073151936,w=0,x=0,y=655360,z=0,hh=19,vv=32750) 
181: down3 -360448 v:=1073151936-360448=1072791488, vv:=32739 
185: fntdef1 1: trip---loaded at size 327680 DVI units 
205: fntnum1 current font is trip 
206: setchar98 h:=614583+98304=712887, hh:=22 
[b]
207: pop 
level 6:(h=614583,v=1073151936,w=0,x=0,y=655360,z=0,hh=19,vv=32750) 
208: pop 
level 5:(h=614583,v=1073151936,w=0,x=0,y=655360,z=0,hh=19,vv=32750) 
209: pop 
level 4:(h=327681,v=1072889792,w=0,x=0,y=655360,z=0,hh=10,vv=32742) 
210: pop 
level 3:(h=327681,v=1072889792,w=0,x=0,y=655360,z=0,hh=10,vv=32742) 
211: pop 
level 2:(h=327681,v=1072889792,w=0,x=0,y=655360,z=0,hh=10,vv=32742) 
212: pop 
level 1:(h=0,v=1072889792,w=0,x=0,y=655360,z=0,hh=0,vv=32742) 
213: push 
level 1:(h=0,v=1072889792,w=0,x=0,y=655360,z=0,hh=0,vv=32742) 
214: push 
level 2:(h=0,v=1072889792,w=0,x=0,y=655360,z=0,hh=0,vv=32742) 
215: down3 589825 v:=1072889792+589825=1073479617, vv:=32760 
219: push 
level 3:(h=0,v=1073479617,w=0,x=0,y=655360,z=0,hh=0,vv=32760) 
220: right3 4500861 h:=0+4500861=4500861, hh:=137 
[ ]
224: fntnum0 current font is trip 
225: setchar97 h:=4500861+131072=4631933, hh:=141 
226: setchar97 h:=4631933+131072=4763005, hh:=145 
[aa]
227: pop 
level 3:(h=0,v=1073479617,w=0,x=0,y=655360,z=0,hh=0,vv=32760) 
228: pop 
level 2:(h=0,v=1072889792,w=0,x=0,y=655360,z=0,hh=0,vv=32742) 
229: pop 
level 1:(h=0,v=1072889792,w=0,x=0,y=655360,z=0,hh=0,vv=32742) 
230: pop 
level 0:(h=0,v=1072889792,w=0,x=0,y=655360,z=0,hh=0,vv=32742) 
231: eop 
Postamble starts at byte 232.
maxv=1073741823, maxh=6553601, maxstackdepth=7, totalpages=1
Font 0: trip 
Font 1: trip