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.0.0.0.0 
87: down4 1065418688 v:=0+1065418688=1065418688, vv:=32514 
92: push 
level 0:(h=0,v=1065418688,w=0,x=0,y=0,z=0,hh=0,vv=32514) 
93: right3 196609 h:=0+196609=196609, hh:=6 
[ ]
97: fntdef1 0: trip---loaded at size 655360 DVI units 
 (this font is magnified 200%) 
117: fntnum0 current font is trip 
118: setchar65 h:=196609+131072=327681, hh:=10 
119: right3 4653056 h:=327681+4653056=4980737, hh:=152 
123: setchar47 h:=4980737+65536=5046273, hh:=154 
124: right3 65536 h:=5046273+65536=5111809, hh:=156 
128: setchar65 h:=5111809+131072=5242881, hh:=160 
129: w3 131072 h:=5242881+131072=5373953, hh:=164 
133: setchar65 h:=5373953+131072=5505025, hh:=168 
134: w0 131072 h:=5505025+131072=5636097, hh:=172 
135: setchar65 h:=5636097+131072=5767169, hh:=176 
[A /A A A]
136: set1 130 h:=5767169+262144=6029313, hh:=184 
138: set1 130 h:=6029313+262144=6291457, hh:=192 
140: setchar66 h:=6291457+196608=6488065, hh:=198 
141: setchar47 h:=6488065+65536=6553601, hh:=200 
[B/]
142: pop 
level 0:(h=0,v=1065418688,w=0,x=0,y=0,z=0,hh=0,vv=32514) 
143: y3 589824 v:=1065418688+589824=1066008512, vv:=32532 
147: push 
level 0:(h=0,v=1066008512,w=0,x=0,y=589824,z=0,hh=0,vv=32532) 
148: right3 5898241 h:=0+5898241=5898241, hh:=180 
152: setchar65 h:=5898241+131072=6029313, hh:=184 
153: w3 131072 h:=6029313+131072=6160385, hh:=188 
157: setchar65 h:=6160385+131072=6291457, hh:=192 
158: w0 131072 h:=6291457+131072=6422529, hh:=196 
159: setchar65 h:=6422529+131072=6553601, hh:=200 
[ A A A]
160: pop 
level 0:(h=0,v=1066008512,w=0,x=0,y=589824,z=0,hh=0,vv=32532) 
161: down3 524288 v:=1066008512+524288=1066532800, vv:=32548 
165: push 
level 0:(h=0,v=1066532800,w=0,x=0,y=589824,z=0,hh=0,vv=32548) 
166: right3 5898241 h:=0+5898241=5898241, hh:=180 
170: setchar65 h:=5898241+131072=6029313, hh:=184 
171: w3 131072 h:=6029313+131072=6160385, hh:=188 
175: setchar65 h:=6160385+131072=6291457, hh:=192 
176: w0 131072 h:=6291457+131072=6422529, hh:=196 
177: setchar65 h:=6422529+131072=6553601, hh:=200 
[ A A A]
178: pop 
level 0:(h=0,v=1066532800,w=0,x=0,y=589824,z=0,hh=0,vv=32548) 
179: y0 589824 v:=1066532800+589824=1067122624, vv:=32566 
180: push 
level 0:(h=0,v=1067122624,w=0,x=0,y=589824,z=0,hh=0,vv=32566) 
181: right3 5701633 h:=0+5701633=5701633, hh:=174 
185: setchar65 h:=5701633+131072=5832705, hh:=178 
186: w3 131072 h:=5832705+131072=5963777, hh:=182 
190: setchar65 h:=5963777+131072=6094849, hh:=186 
191: w0 131072 h:=6094849+131072=6225921, hh:=190 
192: setchar65 h:=6225921+131072=6356993, hh:=194 
193: setchar66 h:=6356993+196608=6553601, hh:=200 
[ A A AB]
194: pop 
level 0:(h=0,v=1067122624,w=0,x=0,y=589824,z=0,hh=0,vv=32566) 
195: y0 589824 v:=1067122624+589824=1067712448, vv:=32584 
196: push 
level 0:(h=0,v=1067712448,w=0,x=0,y=589824,z=0,hh=0,vv=32584) 
197: right3 5898241 h:=0+5898241=5898241, hh:=180 
201: setchar65 h:=5898241+131072=6029313, hh:=184 
202: w3 131072 h:=6029313+131072=6160385, hh:=188 
206: setchar65 h:=6160385+131072=6291457, hh:=192 
207: w0 131072 h:=6291457+131072=6422529, hh:=196 
208: setchar65 h:=6422529+131072=6553601, hh:=200 
[ A A A]
209: pop 
level 0:(h=0,v=1067712448,w=0,x=0,y=589824,z=0,hh=0,vv=32584) 
210: y0 589824 v:=1067712448+589824=1068302272, vv:=32602 
211: push 
level 0:(h=0,v=1068302272,w=0,x=0,y=589824,z=0,hh=0,vv=32602) 
212: right1 1 h:=0+1=1, hh:=0 
214: setchar65 h:=1+131072=131073, hh:=4 
215: right3 131072 h:=131073+131072=262145, hh:=8 
219: setchar66 h:=262145+196608=458753, hh:=14 
220: right3 262144 h:=458753+262144=720897, hh:=22 
224: setchar97 h:=720897+131072=851969, hh:=26 
225: setchar66 h:=851969+196608=1048577, hh:=32 
[A B aB]
226: pop 
level 0:(h=0,v=1068302272,w=0,x=0,y=589824,z=0,hh=0,vv=32602) 
227: down3 2031616 v:=1068302272+2031616=1070333888, vv:=32664 
231: push 
level 0:(h=0,v=1070333888,w=0,x=0,y=589824,z=0,hh=0,vv=32664) 
232: right3 196609 h:=0+196609=196609, hh:=6 
236: setchar65 h:=196609+131072=327681, hh:=10 
[ A]
237: pop 
level 0:(h=0,v=1070333888,w=0,x=0,y=589824,z=0,hh=0,vv=32664) 
238: y3 655360 v:=1070333888+655360=1070989248, vv:=32684 
242: push 
level 0:(h=0,v=1070989248,w=0,x=0,y=655360,z=0,hh=0,vv=32684) 
243: right3 196609 h:=0+196609=196609, hh:=6 
247: setchar45 h:=196609-327680=-131071, hh:=-4 
[ -]
248: pop 
level 0:(h=0,v=1070989248,w=0,x=0,y=655360,z=0,hh=0,vv=32684) 
249: y0 655360 v:=1070989248+655360=1071644608, vv:=32704 
250: push 
level 0:(h=0,v=1071644608,w=0,x=0,y=655360,z=0,hh=0,vv=32704) 
251: right3 196609 h:=0+196609=196609, hh:=6 
255: setchar67 h:=196609+262144=458753, hh:=14 
[ C]
256: pop 
level 0:(h=0,v=1071644608,w=0,x=0,y=655360,z=0,hh=0,vv=32704) 
257: y0 655360 v:=1071644608+655360=1072299968, vv:=32724 
258: push 
level 0:(h=0,v=1072299968,w=0,x=0,y=655360,z=0,hh=0,vv=32724) 
259: right3 196609 h:=0+196609=196609, hh:=6 
263: setchar67 h:=196609+262144=458753, hh:=14 
[ C]
264: pop 
level 0:(h=0,v=1072299968,w=0,x=0,y=655360,z=0,hh=0,vv=32724) 
265: y0 655360 v:=1072299968+655360=1072955328, vv:=32744 
266: y0 655360 v:=1072955328+655360=1073610688, vv:=32764 
267: push 
level 0:(h=0,v=1073610688,w=0,x=0,y=655360,z=0,hh=0,vv=32764) 
268: right3 6422529 h:=0+6422529=6422529, hh:=196 
272: setchar65 h:=6422529+131072=6553601, hh:=200 
[ A]
273: pop 
level 0:(h=0,v=1073610688,w=0,x=0,y=655360,z=0,hh=0,vv=32764) 
274: eop 
Postamble starts at byte 275.
maxv=1073676287, maxh=6553601, maxstackdepth=2, totalpages=1
Font 0: trip