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 -5000.0.0.0.11.53110374.0.0.0.0 
87: push 
level 0:(h=0,v=0,w=0,x=0,y=0,z=0,hh=0,vv=0) 
88: down4 116090475 v:=0+116090475=116090475, vv:=3543 
93: push 
level 1:(h=0,v=116090475,w=0,x=0,y=0,z=0,hh=0,vv=3543) 
94: right3 262144 h:=0+262144=262144, hh:=8 
[ ]
98: setrule height 26214, width 655360 (1x20 pixels) 
 h:=262144+655360=917504, hh:=28 
107: right3 32773 h:=917504+32773=950277, hh:=29 
[ ]
111: push 
level 2:(h=950277,v=116090475,w=0,x=0,y=0,z=0,hh=29,vv=3543) 
112: fntdef1 0: trip---loaded at size 655360 DVI units 
 (this font is magnified 200%) 
132: fntnum0 current font is trip 
133: setchar65 h:=950277+131072=1081349, hh:=33 
[A]
134: pop 
level 2:(h=950277,v=116090475,w=0,x=0,y=0,z=0,hh=29,vv=3543) 
135: w3 131072 h:=950277+131072=1081349, hh:=33 
[ ]
139: push 
level 2:(h=1081349,v=116090475,w=131072,x=0,y=0,z=0,hh=33,vv=3543) 
140: setchar65 h:=1081349+131072=1212421, hh:=37 
[A]
141: pop 
level 2:(h=1081349,v=116090475,w=131072,x=0,y=0,z=0,hh=33,vv=3543) 
142: w0 131072 h:=1081349+131072=1212421, hh:=37 
[ ]
143: push 
level 2:(h=1212421,v=116090475,w=131072,x=0,y=0,z=0,hh=37,vv=3543) 
144: setchar65 h:=1212421+131072=1343493, hh:=41 
[A]
145: pop 
level 2:(h=1212421,v=116090475,w=131072,x=0,y=0,z=0,hh=37,vv=3543) 
146: w0 131072 h:=1212421+131072=1343493, hh:=41 
[ ]
147: push 
level 2:(h=1343493,v=116090475,w=131072,x=0,y=0,z=0,hh=41,vv=3543) 
148: setchar65 h:=1343493+131072=1474565, hh:=45 
[A]
149: pop 
level 2:(h=1343493,v=116090475,w=131072,x=0,y=0,z=0,hh=41,vv=3543) 
150: right3 229371 h:=1343493+229371=1572864, hh:=48 
[ ]
154: push 
level 2:(h=1572864,v=116090475,w=131072,x=0,y=0,z=0,hh=48,vv=3543) 
155: setchar65 h:=1572864+131072=1703936, hh:=52 
[A]
156: pop 
level 2:(h=1572864,v=116090475,w=131072,x=0,y=0,z=0,hh=48,vv=3543) 
157: w0 131072 h:=1572864+131072=1703936, hh:=52 
[ ]
158: push 
level 2:(h=1703936,v=116090475,w=131072,x=0,y=0,z=0,hh=52,vv=3543) 
159: setchar65 h:=1703936+131072=1835008, hh:=56 
[A]
160: pop 
level 2:(h=1703936,v=116090475,w=131072,x=0,y=0,z=0,hh=52,vv=3543) 
161: w0 131072 h:=1703936+131072=1835008, hh:=56 
[ ]
162: push 
level 2:(h=1835008,v=116090475,w=131072,x=0,y=0,z=0,hh=56,vv=3543) 
163: setchar65 h:=1835008+131072=1966080, hh:=60 
[A]
164: pop 
level 2:(h=1835008,v=116090475,w=131072,x=0,y=0,z=0,hh=56,vv=3543) 
165: w0 131072 h:=1835008+131072=1966080, hh:=60 
[ ]
166: push 
level 2:(h=1966080,v=116090475,w=131072,x=0,y=0,z=0,hh=60,vv=3543) 
167: setchar65 h:=1966080+131072=2097152, hh:=64 
[A]
168: pop 
level 2:(h=1966080,v=116090475,w=131072,x=0,y=0,z=0,hh=60,vv=3543) 
169: w3 144181 h:=1966080+144181=2110261, hh:=64 
[ ]
173: push 
level 2:(h=2110261,v=116090475,w=144181,x=0,y=0,z=0,hh=64,vv=3543) 
174: setchar65 h:=2110261+131072=2241333, hh:=68 
[A]
175: pop 
level 2:(h=2110261,v=116090475,w=144181,x=0,y=0,z=0,hh=64,vv=3543) 
176: w0 144181 h:=2110261+144181=2254442, hh:=69 
[ ]
177: push 
level 2:(h=2254442,v=116090475,w=144181,x=0,y=0,z=0,hh=69,vv=3543) 
178: setchar65 h:=2254442+131072=2385514, hh:=73 
[A]
179: pop 
level 2:(h=2254442,v=116090475,w=144181,x=0,y=0,z=0,hh=69,vv=3543) 
180: w0 144181 h:=2254442+144181=2398623, hh:=73 
[ ]
181: push 
level 2:(h=2398623,v=116090475,w=144181,x=0,y=0,z=0,hh=73,vv=3543) 
182: setchar65 h:=2398623+131072=2529695, hh:=77 
[A]
183: pop 
level 2:(h=2398623,v=116090475,w=144181,x=0,y=0,z=0,hh=73,vv=3543) 
184: w0 144181 h:=2398623+144181=2542804, hh:=78 
[ ]
185: push 
level 2:(h=2542804,v=116090475,w=144181,x=0,y=0,z=0,hh=78,vv=3543) 
186: setchar65 h:=2542804+131072=2673876, hh:=82 
[A]
187: pop 
level 2:(h=2542804,v=116090475,w=144181,x=0,y=0,z=0,hh=78,vv=3543) 
188: pop 
level 1:(h=0,v=116090475,w=0,x=0,y=0,z=0,hh=0,vv=3543) 
189: down3 1114112 v:=116090475+1114112=117204587, vv:=3577 
193: push 
level 1:(h=0,v=117204587,w=0,x=0,y=0,z=0,hh=0,vv=3577) 
194: right3 262144 h:=0+262144=262144, hh:=8 
[ ]
198: setrule height 26214, width 655360 (1x20 pixels) 
 h:=262144+655360=917504, hh:=28 
207: right3 32773 h:=917504+32773=950277, hh:=29 
211: push 
level 2:(h=950277,v=117204587,w=0,x=0,y=0,z=0,hh=29,vv=3577) 
212: setchar65 h:=950277+131072=1081349, hh:=33 
[A]
213: pop 
level 2:(h=950277,v=117204587,w=0,x=0,y=0,z=0,hh=29,vv=3577) 
214: w3 131072 h:=950277+131072=1081349, hh:=33 
[ ]
218: push 
level 2:(h=1081349,v=117204587,w=131072,x=0,y=0,z=0,hh=33,vv=3577) 
219: setchar65 h:=1081349+131072=1212421, hh:=37 
[A]
220: pop 
level 2:(h=1081349,v=117204587,w=131072,x=0,y=0,z=0,hh=33,vv=3577) 
221: w0 131072 h:=1081349+131072=1212421, hh:=37 
[ ]
222: push 
level 2:(h=1212421,v=117204587,w=131072,x=0,y=0,z=0,hh=37,vv=3577) 
223: setchar65 h:=1212421+131072=1343493, hh:=41 
[A]
224: pop 
level 2:(h=1212421,v=117204587,w=131072,x=0,y=0,z=0,hh=37,vv=3577) 
225: w0 131072 h:=1212421+131072=1343493, hh:=41 
[ ]
226: push 
level 2:(h=1343493,v=117204587,w=131072,x=0,y=0,z=0,hh=41,vv=3577) 
227: setchar65 h:=1343493+131072=1474565, hh:=45 
[A]
228: pop 
level 2:(h=1343493,v=117204587,w=131072,x=0,y=0,z=0,hh=41,vv=3577) 
229: right3 229371 h:=1343493+229371=1572864, hh:=48 
[ ]
233: push 
level 2:(h=1572864,v=117204587,w=131072,x=0,y=0,z=0,hh=48,vv=3577) 
234: setchar65 h:=1572864+131072=1703936, hh:=52 
[A]
235: pop 
level 2:(h=1572864,v=117204587,w=131072,x=0,y=0,z=0,hh=48,vv=3577) 
236: w0 131072 h:=1572864+131072=1703936, hh:=52 
[ ]
237: push 
level 2:(h=1703936,v=117204587,w=131072,x=0,y=0,z=0,hh=52,vv=3577) 
238: setchar65 h:=1703936+131072=1835008, hh:=56 
[A]
239: pop 
level 2:(h=1703936,v=117204587,w=131072,x=0,y=0,z=0,hh=52,vv=3577) 
240: w0 131072 h:=1703936+131072=1835008, hh:=56 
[ ]
241: push 
level 2:(h=1835008,v=117204587,w=131072,x=0,y=0,z=0,hh=56,vv=3577) 
242: setchar65 h:=1835008+131072=1966080, hh:=60 
[A]
243: pop 
level 2:(h=1835008,v=117204587,w=131072,x=0,y=0,z=0,hh=56,vv=3577) 
244: w0 131072 h:=1835008+131072=1966080, hh:=60 
[ ]
245: push 
level 2:(h=1966080,v=117204587,w=131072,x=0,y=0,z=0,hh=60,vv=3577) 
246: setchar65 h:=1966080+131072=2097152, hh:=64 
[A]
247: pop 
level 2:(h=1966080,v=117204587,w=131072,x=0,y=0,z=0,hh=60,vv=3577) 
248: w3 144181 h:=1966080+144181=2110261, hh:=64 
[ ]
252: push 
level 2:(h=2110261,v=117204587,w=144181,x=0,y=0,z=0,hh=64,vv=3577) 
253: setchar65 h:=2110261+131072=2241333, hh:=68 
[A]
254: pop 
level 2:(h=2110261,v=117204587,w=144181,x=0,y=0,z=0,hh=64,vv=3577) 
255: w0 144181 h:=2110261+144181=2254442, hh:=69 
[ ]
256: push 
level 2:(h=2254442,v=117204587,w=144181,x=0,y=0,z=0,hh=69,vv=3577) 
257: setchar65 h:=2254442+131072=2385514, hh:=73 
[A]
258: pop 
level 2:(h=2254442,v=117204587,w=144181,x=0,y=0,z=0,hh=69,vv=3577) 
259: w0 144181 h:=2254442+144181=2398623, hh:=73 
[ ]
260: push 
level 2:(h=2398623,v=117204587,w=144181,x=0,y=0,z=0,hh=73,vv=3577) 
261: setchar65 h:=2398623+131072=2529695, hh:=77 
[A]
262: pop 
level 2:(h=2398623,v=117204587,w=144181,x=0,y=0,z=0,hh=73,vv=3577) 
263: w0 144181 h:=2398623+144181=2542804, hh:=78 
[ ]
264: push 
level 2:(h=2542804,v=117204587,w=144181,x=0,y=0,z=0,hh=78,vv=3577) 
265: setchar65 h:=2542804+131072=2673876, hh:=82 
[A]
266: pop 
level 2:(h=2542804,v=117204587,w=144181,x=0,y=0,z=0,hh=78,vv=3577) 
267: pop 
level 1:(h=0,v=117204587,w=0,x=0,y=0,z=0,hh=0,vv=3577) 
268: pop 
level 0:(h=0,v=0,w=0,x=0,y=0,z=0,hh=0,vv=0) 
269: eop 
Postamble starts at byte 270.
maxv=52979302, maxh=2949120, maxstackdepth=3, totalpages=1
warning: observed maxv was 117204587
Font 0: trip