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.0.0.0 
87: down4 638883392 v:=0+638883392=638883392, vv:=19497 
92: push 
level 0:(h=0,v=638883392,w=0,x=0,y=0,z=0,hh=0,vv=19497) 
93: push 
level 1:(h=0,v=638883392,w=0,x=0,y=0,z=0,hh=0,vv=19497) 
94: push 
level 2:(h=0,v=638883392,w=0,x=0,y=0,z=0,hh=0,vv=19497) 
95: push 
level 3:(h=0,v=638883392,w=0,x=0,y=0,z=0,hh=0,vv=19497) 
96: down3 -602931 v:=638883392-602931=638280461, vv:=19479 
100: push 
level 4:(h=0,v=638280461,w=0,x=0,y=0,z=0,hh=0,vv=19479) 
101: right3 740559 h:=0+740559=740559, hh:=23 
[ ]
105: fntdef1 1: trip---loaded at size 327680 DVI units 
125: fntnum1 current font is trip 
126: setchar65 h:=740559+65536=806095, hh:=25 
[A]
127: pop 
level 4:(h=0,v=638280461,w=0,x=0,y=0,z=0,hh=0,vv=19479) 
128: right3 740559 h:=0+740559=740559, hh:=23 
[ ]
132: down3 176947 v:=638280461+176947=638457408, vv:=19484 
136: putrule height 65536, width 98304 (2x3 pixels) 
145: down3 635699 v:=638457408+635699=639093107, vv:=19504 
149: push 
level 4:(h=740559,v=639093107,w=0,x=0,y=0,z=0,hh=23,vv=19504) 
150: setchar65 h:=740559+65536=806095, hh:=25 
[A]
151: pop 
level 4:(h=740559,v=639093107,w=0,x=0,y=0,z=0,hh=23,vv=19504) 
152: pop 
level 3:(h=0,v=638883392,w=0,x=0,y=0,z=0,hh=0,vv=19497) 
153: pop 
level 2:(h=0,v=638883392,w=0,x=0,y=0,z=0,hh=0,vv=19497) 
154: push 
level 2:(h=0,v=638883392,w=0,x=0,y=0,z=0,hh=0,vv=19497) 
155: right3 845417 h:=0+845417=845417, hh:=26 
[ ]
159: down3 -262144 v:=638883392-262144=638621248, vv:=19489 
163: fntdef1 0: trip---loaded at size 655360 DVI units 
 (this font is magnified 200%) 
183: fntnum0 current font is trip 
184: setchar98 h:=845417+196608=1042025, hh:=32 
[b]
185: pop 
level 2:(h=0,v=638883392,w=0,x=0,y=0,z=0,hh=0,vv=19497) 
186: pop 
level 1:(h=0,v=638883392,w=0,x=0,y=0,z=0,hh=0,vv=19497) 
187: right3 1078433 h:=0+1078433=1078433, hh:=33 
191: setchar47 h:=1078433+65536=1143969, hh:=35 
192: right3 54612 h:=1143969+54612=1198581, hh:=37 
196: setchar65 h:=1198581+131072=1329653, hh:=41 
197: right2 -7280 h:=1329653-7280=1322373, hh:=41 
[ /A]
200: fntnum1 current font is trip 
201: setchar45 h:=1322373-163840=1158533, hh:=36 
202: setchar45 h:=1158533-163840=994693, hh:=31 
203: right3 -72816 h:=994693-72816=921877, hh:=29 
[--]
207: fntnum0 current font is trip 
208: setchar65 h:=921877+131072=1052949, hh:=33 
209: w3 36408 h:=1052949+36408=1089357, hh:=34 
213: setchar47 h:=1089357+65536=1154893, hh:=36 
214: w0 36408 h:=1154893+36408=1191301, hh:=37 
215: setchar65 h:=1191301+131072=1322373, hh:=41 
[A/A]
216: pop 
level 0:(h=0,v=638883392,w=0,x=0,y=0,z=0,hh=0,vv=19497) 
217: down3 4912743 v:=638883392+4912743=643796135, vv:=19647 
221: push 
level 0:(h=0,v=643796135,w=0,x=0,y=0,z=0,hh=0,vv=19647) 
222: push 
level 1:(h=0,v=643796135,w=0,x=0,y=0,z=0,hh=0,vv=19647) 
223: push 
level 2:(h=0,v=643796135,w=0,x=0,y=0,z=0,hh=0,vv=19647) 
224: right3 983045 h:=0+983045=983045, hh:=30 
[ ]
228: fntdef1 2: trip---loaded at size 1310720 DVI units 
 (this font is magnified 400%) 
248: fntnum2 current font is trip 
249: setchar45 h:=983045-655360=327685, hh:=10 
[-]
250: pop 
level 2:(h=0,v=643796135,w=0,x=0,y=0,z=0,hh=0,vv=19647) 
251: push 
level 2:(h=0,v=643796135,w=0,x=0,y=0,z=0,hh=0,vv=19647) 
252: right3 425989 h:=0+425989=425989, hh:=13 
[ ]
256: fntnum0 current font is trip 
257: setchar65 h:=425989+131072=557061, hh:=17 
[A]
258: push 
level 3:(h=557061,v=643796135,w=0,x=0,y=0,z=0,hh=17,vv=19647) 
259: down3 -530842 v:=643796135-530842=643265293, vv:=19631 
263: push 
level 4:(h=557061,v=643265293,w=0,x=0,y=0,z=0,hh=17,vv=19631) 
264: push 
level 5:(h=557061,v=643265293,w=0,x=0,y=0,z=0,hh=17,vv=19631) 
265: right3 65536 h:=557061+65536=622597, hh:=19 
269: down3 -131072 v:=643265293-131072=643134221, vv:=19627 
273: setchar97 h:=622597+131072=753669, hh:=23 
[a]
274: pop 
level 5:(h=557061,v=643265293,w=0,x=0,y=0,z=0,hh=17,vv=19631) 
275: right3 196608 h:=557061+196608=753669, hh:=23 
279: setchar47 h:=753669+65536=819205, hh:=25 
[ /]
280: pop 
level 4:(h=557061,v=643265293,w=0,x=0,y=0,z=0,hh=17,vv=19631) 
281: pop 
level 3:(h=557061,v=643796135,w=0,x=0,y=0,z=0,hh=17,vv=19647) 
282: pop 
level 2:(h=0,v=643796135,w=0,x=0,y=0,z=0,hh=0,vv=19647) 
283: pop 
level 1:(h=0,v=643796135,w=0,x=0,y=0,z=0,hh=0,vv=19647) 
284: push 
level 1:(h=0,v=643796135,w=0,x=0,y=0,z=0,hh=0,vv=19647) 
285: right3 818550 h:=0+818550=818550, hh:=25 
[ ]
289: down3 -1557300 v:=643796135-1557300=642238835, vv:=19600 
293: putrule height 65536, width 984062 (2x31 pixels) 
302: down3 1557300 v:=642238835+1557300=643796135, vv:=19647 
306: push 
level 2:(h=818550,v=643796135,w=0,x=0,y=0,z=0,hh=25,vv=19647) 
307: push 
level 3:(h=818550,v=643796135,w=0,x=0,y=0,z=0,hh=25,vv=19647) 
308: down3 -543949 v:=643796135-543949=643252186, vv:=19630 
312: fntnum1 current font is trip 
313: setchar65 h:=818550+65536=884086, hh:=27 
[A]
314: pop 
level 3:(h=818550,v=643796135,w=0,x=0,y=0,z=0,hh=25,vv=19647) 
315: right3 97649 h:=818550+97649=916199, hh:=28 
[ ]
319: fntnum0 current font is trip 
320: setchar65 h:=916199+131072=1047271, hh:=32 
[A]
321: push 
level 3:(h=1047271,v=643796135,w=0,x=0,y=0,z=0,hh=32,vv=19647) 
322: down3 268698 v:=643796135+268698=644064833, vv:=19655 
326: setchar45 h:=1047271-327680=719591, hh:=22 
[-]
327: pop 
level 3:(h=1047271,v=643796135,w=0,x=0,y=0,z=0,hh=32,vv=19647) 
328: push 
level 3:(h=1047271,v=643796135,w=0,x=0,y=0,z=0,hh=32,vv=19647) 
329: right3 -310131 h:=1047271-310131=737140, hh:=23 
333: down3 -1098548 v:=643796135-1098548=642697587, vv:=19614 
337: fntnum1 current font is trip 
338: setchar65 h:=737140+65536=802676, hh:=25 
339: right3 98304 h:=802676+98304=900980, hh:=27 
343: setchar66 h:=900980+98304=999284, hh:=30 
[A B]
344: push 
level 4:(h=999284,v=642697587,w=0,x=0,y=0,z=0,hh=30,vv=19614) 
345: down3 471859 v:=642697587+471859=643169446, vv:=19628 
349: push 
level 5:(h=999284,v=643169446,w=0,x=0,y=0,z=0,hh=30,vv=19628) 
350: right3 140175 h:=999284+140175=1139459, hh:=35 
[ ]
354: fntnum2 current font is trip 
355: set1 130 h:=1139459+524288=1663747, hh:=51 
357: pop 
level 5:(h=999284,v=643169446,w=0,x=0,y=0,z=0,hh=30,vv=19628) 
358: down3 458754 v:=643169446+458754=643628200, vv:=19642 
362: push 
level 5:(h=999284,v=643628200,w=0,x=0,y=0,z=0,hh=30,vv=19642) 
363: push 
level 6:(h=999284,v=643628200,w=0,x=0,y=0,z=0,hh=30,vv=19642) 
364: down3 -65535 v:=643628200-65535=643562665, vv:=19640 
368: setchar65 h:=999284+262145=1261429, hh:=38 
[A]
369: pop 
level 6:(h=999284,v=643628200,w=0,x=0,y=0,z=0,hh=30,vv=19642) 
370: right3 411421 h:=999284+411421=1410705, hh:=43 
374: setchar65 h:=1410705+262145=1672850, hh:=51 
[ A]
375: push 
level 6:(h=1672850,v=643628200,w=0,x=0,y=0,z=0,hh=51,vv=19642) 
376: down3 -131072 v:=643628200-131072=643497128, vv:=19638 
380: push 
level 7:(h=1672850,v=643497128,w=0,x=0,y=0,z=0,hh=51,vv=19638) 
381: right3 -65536 h:=1672850-65536=1607314, hh:=49 
385: setchar97 h:=1607314+262145=1869459, hh:=57 
[a]
386: pop 
level 7:(h=1672850,v=643497128,w=0,x=0,y=0,z=0,hh=51,vv=19638) 
387: pop 
level 6:(h=1672850,v=643628200,w=0,x=0,y=0,z=0,hh=51,vv=19642) 
388: pop 
level 5:(h=999284,v=643628200,w=0,x=0,y=0,z=0,hh=30,vv=19642) 
389: pop 
level 4:(h=999284,v=642697587,w=0,x=0,y=0,z=0,hh=30,vv=19614) 
390: pop 
level 3:(h=1047271,v=643796135,w=0,x=0,y=0,z=0,hh=32,vv=19647) 
391: pop 
level 2:(h=818550,v=643796135,w=0,x=0,y=0,z=0,hh=25,vv=19647) 
392: pop 
level 1:(h=0,v=643796135,w=0,x=0,y=0,z=0,hh=0,vv=19647) 
393: push 
level 1:(h=0,v=643796135,w=0,x=0,y=0,z=0,hh=0,vv=19647) 
394: down3 -1179648 v:=643796135-1179648=642616487, vv:=19611 
398: push 
level 2:(h=0,v=642616487,w=0,x=0,y=0,z=0,hh=0,vv=19611) 
399: right3 1798972 h:=0+1798972=1798972, hh:=55 
[ ]
403: fntnum1 current font is trip 
404: setchar67 h:=1798972+131072=1930044, hh:=59 
[C]
405: pop 
level 2:(h=0,v=642616487,w=0,x=0,y=0,z=0,hh=0,vv=19611) 
406: down3 1179648 v:=642616487+1179648=643796135, vv:=19647 
410: push 
level 2:(h=0,v=643796135,w=0,x=0,y=0,z=0,hh=0,vv=19647) 
411: push 
level 3:(h=0,v=643796135,w=0,x=0,y=0,z=0,hh=0,vv=19647) 
412: right3 1766204 h:=0+1766204=1766204, hh:=54 
[ ]
416: down3 -262144 v:=643796135-262144=643533991, vv:=19639 
420: fntnum0 current font is trip 
421: setchar66 h:=1766204+196608=1962812, hh:=60 
[B]
422: pop 
level 3:(h=0,v=643796135,w=0,x=0,y=0,z=0,hh=0,vv=19647) 
423: pop 
level 2:(h=0,v=643796135,w=0,x=0,y=0,z=0,hh=0,vv=19647) 
424: pop 
level 1:(h=0,v=643796135,w=0,x=0,y=0,z=0,hh=0,vv=19647) 
425: push 
level 1:(h=0,v=643796135,w=0,x=0,y=0,z=0,hh=0,vv=19647) 
426: push 
level 2:(h=0,v=643796135,w=0,x=0,y=0,z=0,hh=0,vv=19647) 
427: push 
level 3:(h=0,v=643796135,w=0,x=0,y=0,z=0,hh=0,vv=19647) 
428: right3 1926404 h:=0+1926404=1926404, hh:=59 
[ ]
432: down3 -458752 v:=643796135-458752=643337383, vv:=19633 
436: setchar77 h:=1926404+393216=2319620, hh:=71 
[M]
437: pop 
level 3:(h=0,v=643796135,w=0,x=0,y=0,z=0,hh=0,vv=19647) 
438: pop 
level 2:(h=0,v=643796135,w=0,x=0,y=0,z=0,hh=0,vv=19647) 
439: down3 524288 v:=643796135+524288=644320423, vv:=19663 
443: push 
level 2:(h=0,v=644320423,w=0,x=0,y=0,z=0,hh=0,vv=19663) 
444: right3 2057476 h:=0+2057476=2057476, hh:=63 
[ ]
448: fntnum1 current font is trip 
449: setchar67 h:=2057476+131072=2188548, hh:=67 
[C]
450: pop 
level 2:(h=0,v=644320423,w=0,x=0,y=0,z=0,hh=0,vv=19663) 
451: pop 
level 1:(h=0,v=643796135,w=0,x=0,y=0,z=0,hh=0,vv=19647) 
452: push 
level 1:(h=0,v=643796135,w=0,x=0,y=0,z=0,hh=0,vv=19647) 
453: push 
level 2:(h=0,v=643796135,w=0,x=0,y=0,z=0,hh=0,vv=19647) 
454: push 
level 3:(h=0,v=643796135,w=0,x=0,y=0,z=0,hh=0,vv=19647) 
455: right3 2414284 h:=0+2414284=2414284, hh:=74 
[ ]
459: down3 -3556148 v:=643796135-3556148=640239987, vv:=19539 
463: fntnum0 current font is trip 
464: setchar97 h:=2414284+131072=2545356, hh:=78 
[a]
465: pop 
level 3:(h=0,v=643796135,w=0,x=0,y=0,z=0,hh=0,vv=19647) 
466: push 
level 3:(h=0,v=643796135,w=0,x=0,y=0,z=0,hh=0,vv=19647) 
467: right3 2610892 h:=0+2610892=2610892, hh:=80 
[ ]
471: down3 -3556148 v:=643796135-3556148=640239987, vv:=19539 
475: putrule height 458752, width 2400948 (14x74 pixels) 
484: down3 3556148 v:=640239987+3556148=643796135, vv:=19647 
488: push 
level 4:(h=2610892,v=643796135,w=0,x=0,y=0,z=0,hh=80,vv=19647) 
489: push 
level 5:(h=2610892,v=643796135,w=0,x=0,y=0,z=0,hh=80,vv=19647) 
490: push 
level 6:(h=2610892,v=643796135,w=0,x=0,y=0,z=0,hh=80,vv=19647) 
491: push 
level 7:(h=2610892,v=643796135,w=0,x=0,y=0,z=0,hh=80,vv=19647) 
492: push 
level 8:(h=2610892,v=643796135,w=0,x=0,y=0,z=0,hh=80,vv=19647) 
493: down3 -1245183 v:=643796135-1245183=642550952, vv:=19609 
497: push 
level 9:(h=2610892,v=642550952,w=0,x=0,y=0,z=0,hh=80,vv=19609) 
498: right2 6554 h:=2610892+6554=2617446, hh:=80 
501: setchar0 h:=2617446+458752=3076198, hh:=94 
502: pop 
level 9:(h=2610892,v=642550952,w=0,x=0,y=0,z=0,hh=80,vv=19609) 
503: y3 65535 v:=642550952+65535=642616487, vv:=19611 
507: push 
level 9:(h=2610892,v=642616487,w=0,x=0,y=65535,z=0,hh=80,vv=19611) 
508: right2 6554 h:=2610892+6554=2617446, hh:=80 
511: setchar0 h:=2617446+458752=3076198, hh:=94 
512: pop 
level 9:(h=2610892,v=642616487,w=0,x=0,y=65535,z=0,hh=80,vv=19611) 
513: down3 589824 v:=642616487+589824=643206311, vv:=19629 
517: push 
level 9:(h=2610892,v=643206311,w=0,x=0,y=65535,z=0,hh=80,vv=19629) 
518: right2 6554 h:=2610892+6554=2617446, hh:=80 
521: setchar65 h:=2617446+131072=2748518, hh:=84 
[A]
522: pop 
level 9:(h=2610892,v=643206311,w=0,x=0,y=65535,z=0,hh=80,vv=19629) 
523: down1 -1 v:=643206311-1=643206310, vv:=19629 
525: push 
level 9:(h=2610892,v=643206310,w=0,x=0,y=65535,z=0,hh=80,vv=19629) 
526: right2 6554 h:=2610892+6554=2617446, hh:=80 
529: setchar0 h:=2617446+458752=3076198, hh:=94 
530: pop 
level 9:(h=2610892,v=643206310,w=0,x=0,y=65535,z=0,hh=80,vv=19629) 
531: y0 65535 v:=643206310+65535=643271845, vv:=19631 
532: push 
level 9:(h=2610892,v=643271845,w=0,x=0,y=65535,z=0,hh=80,vv=19631) 
533: right2 6554 h:=2610892+6554=2617446, hh:=80 
536: setchar0 h:=2617446+458752=3076198, hh:=94 
537: pop 
level 9:(h=2610892,v=643271845,w=0,x=0,y=65535,z=0,hh=80,vv=19631) 
538: down3 655360 v:=643271845+655360=643927205, vv:=19651 
542: push 
level 9:(h=2610892,v=643927205,w=0,x=0,y=65535,z=0,hh=80,vv=19651) 
543: right2 6554 h:=2610892+6554=2617446, hh:=80 
546: setchar66 h:=2617446+196608=2814054, hh:=86 
[B]
547: pop 
level 9:(h=2610892,v=643927205,w=0,x=0,y=65535,z=0,hh=80,vv=19651) 
548: pop 
level 8:(h=2610892,v=643796135,w=0,x=0,y=0,z=0,hh=80,vv=19647) 
549: push 
level 8:(h=2610892,v=643796135,w=0,x=0,y=0,z=0,hh=80,vv=19647) 
550: push 
level 9:(h=2610892,v=643796135,w=0,x=0,y=0,z=0,hh=80,vv=19647) 
551: push 
level 10:(h=2610892,v=643796135,w=0,x=0,y=0,z=0,hh=80,vv=19647) 
552: push 
level 11:(h=2610892,v=643796135,w=0,x=0,y=0,z=0,hh=80,vv=19647) 
553: down3 -1425409 v:=643796135-1425409=642370726, vv:=19604 
557: push 
level 12:(h=2610892,v=642370726,w=0,x=0,y=0,z=0,hh=80,vv=19604) 
558: right3 543623 h:=2610892+543623=3154515, hh:=96 
[ ]
562: fntnum2 current font is trip 
563: setchar65 h:=3154515+262145=3416660, hh:=104 
[A]
564: pop 
level 12:(h=2610892,v=642370726,w=0,x=0,y=0,z=0,hh=80,vv=19604) 
565: down3 2451048 v:=642370726+2451048=644821774, vv:=19678 
569: push 
level 12:(h=2610892,v=644821774,w=0,x=0,y=0,z=0,hh=80,vv=19678) 
570: right3 471860 h:=2610892+471860=3082752, hh:=94 
[ ]
574: fntnum0 current font is trip 
575: setchar65 h:=3082752+131072=3213824, hh:=98 
[A]
576: push 
level 13:(h=3213824,v=644821774,w=0,x=0,y=0,z=0,hh=98,vv=19678) 
577: down3 -530842 v:=644821774-530842=644290932, vv:=19662 
581: push 
level 14:(h=3213824,v=644290932,w=0,x=0,y=0,z=0,hh=98,vv=19662) 
582: right3 65536 h:=3213824+65536=3279360, hh:=100 
586: fntnum1 current font is trip 
587: setchar45 h:=3279360-163840=3115520, hh:=95 
[-]
588: pop 
level 14:(h=3213824,v=644290932,w=0,x=0,y=0,z=0,hh=98,vv=19662) 
589: down3 1818625 v:=644290932+1818625=646109557, vv:=19718 
593: push 
level 14:(h=3213824,v=646109557,w=0,x=0,y=0,z=0,hh=98,vv=19718) 
594: push 
level 15:(h=3213824,v=646109557,w=0,x=0,y=0,z=0,hh=98,vv=19718) 
595: down3 -638976 v:=646109557-638976=645470581, vv:=19698 
599: push 
level 16:(h=3213824,v=645470581,w=0,x=0,y=0,z=0,hh=98,vv=19698) 
600: right2 6554 h:=3213824+6554=3220378, hh:=98 
603: fntnum2 current font is trip 
604: setchar65 h:=3220378+262145=3482523, hh:=106 
[A]
605: pop 
level 16:(h=3213824,v=645470581,w=0,x=0,y=0,z=0,hh=98,vv=19698) 
606: right2 6554 h:=3213824+6554=3220378, hh:=98 
609: down3 196608 v:=645470581+196608=645667189, vv:=19704 
613: putrule height 32768, width 393217 (1x13 pixels) 
622: down3 1081344 v:=645667189+1081344=646748533, vv:=19737 
626: push 
level 16:(h=3220378,v=646748533,w=0,x=0,y=0,z=0,hh=98,vv=19737) 
627: right1 1 h:=3220378+1=3220379, hh:=98 
629: setchar66 h:=3220379+393216=3613595, hh:=110 
[B]
630: pop 
level 16:(h=3220378,v=646748533,w=0,x=0,y=0,z=0,hh=98,vv=19737) 
631: pop 
level 15:(h=3213824,v=646109557,w=0,x=0,y=0,z=0,hh=98,vv=19718) 
632: pop 
level 14:(h=3213824,v=646109557,w=0,x=0,y=0,z=0,hh=98,vv=19718) 
633: pop 
level 13:(h=3213824,v=644821774,w=0,x=0,y=0,z=0,hh=98,vv=19678) 
634: pop 
level 12:(h=2610892,v=644821774,w=0,x=0,y=0,z=0,hh=80,vv=19678) 
635: pop 
level 11:(h=2610892,v=643796135,w=0,x=0,y=0,z=0,hh=80,vv=19647) 
636: pop 
level 10:(h=2610892,v=643796135,w=0,x=0,y=0,z=0,hh=80,vv=19647) 
637: right3 465306 h:=2610892+465306=3076198, hh:=94 
[ ]
641: down3 5600055 v:=643796135+5600055=649396190, vv:=19818 
645: putrule height 596378, width 549850 (19x17 pixels) 
654: pop 
level 9:(h=2610892,v=643796135,w=0,x=0,y=0,z=0,hh=80,vv=19647) 
655: pop 
level 8:(h=2610892,v=643796135,w=0,x=0,y=0,z=0,hh=80,vv=19647) 
656: push 
level 8:(h=2610892,v=643796135,w=0,x=0,y=0,z=0,hh=80,vv=19647) 
657: down3 -2323253 v:=643796135-2323253=641472882, vv:=19576 
661: push 
level 9:(h=2610892,v=641472882,w=0,x=0,y=0,z=0,hh=80,vv=19576) 
662: right3 1015156 h:=2610892+1015156=3626048, hh:=111 
666: setchar98 h:=3626048+393216=4019264, hh:=123 
[ b]
667: pop 
level 9:(h=2610892,v=641472882,w=0,x=0,y=0,z=0,hh=80,vv=19576) 
668: down4 8545900 v:=641472882+8545900=650018782, vv:=19837 
673: push 
level 9:(h=2610892,v=650018782,w=0,x=0,y=0,z=0,hh=80,vv=19837) 
674: push 
level 10:(h=2610892,v=650018782,w=0,x=0,y=0,z=0,hh=80,vv=19837) 
675: right3 1015156 h:=2610892+1015156=3626048, hh:=111 
[ ]
679: down3 -65536 v:=650018782-65536=649953246, vv:=19835 
683: setchar98 h:=3626048+393216=4019264, hh:=123 
[b]
684: pop 
level 10:(h=2610892,v=650018782,w=0,x=0,y=0,z=0,hh=80,vv=19837) 
685: push 
level 10:(h=2610892,v=650018782,w=0,x=0,y=0,z=0,hh=80,vv=19837) 
686: down3 -786432 v:=650018782-786432=649232350, vv:=19813 
690: push 
level 11:(h=2610892,v=649232350,w=0,x=0,y=0,z=0,hh=80,vv=19813) 
691: right3 1590412 h:=2610892+1590412=4201304, hh:=128 
[ ]
695: fntnum0 current font is trip 
696: setchar66 h:=4201304+196608=4397912, hh:=134 
[B]
697: pop 
level 11:(h=2610892,v=649232350,w=0,x=0,y=0,z=0,hh=80,vv=19813) 
698: right3 1408372 h:=2610892+1408372=4019264, hh:=123 
[ ]
702: down3 393216 v:=649232350+393216=649625566, vv:=19825 
706: putrule height 131072, width 378648 (4x12 pixels) 
715: pop 
level 10:(h=2610892,v=650018782,w=0,x=0,y=0,z=0,hh=80,vv=19837) 
716: pop 
level 9:(h=2610892,v=650018782,w=0,x=0,y=0,z=0,hh=80,vv=19837) 
717: pop 
level 8:(h=2610892,v=643796135,w=0,x=0,y=0,z=0,hh=80,vv=19647) 
718: push 
level 8:(h=2610892,v=643796135,w=0,x=0,y=0,z=0,hh=80,vv=19647) 
719: right3 1792919 h:=2610892+1792919=4403811, hh:=134 
[ ]
723: down3 -65535 v:=643796135-65535=643730600, vv:=19645 
727: fntnum2 current font is trip 
728: setchar97 h:=4403811+262145=4665956, hh:=142 
[a]
729: pop 
level 8:(h=2610892,v=643796135,w=0,x=0,y=0,z=0,hh=80,vv=19647) 
730: pop 
level 7:(h=2610892,v=643796135,w=0,x=0,y=0,z=0,hh=80,vv=19647) 
731: right3 2204340 h:=2610892+2204340=4815232, hh:=147 
[ ]
735: fntnum0 current font is trip 
736: setchar65 h:=4815232+131072=4946304, hh:=151 
[A]
737: pop 
level 6:(h=2610892,v=643796135,w=0,x=0,y=0,z=0,hh=80,vv=19647) 
738: pop 
level 5:(h=2610892,v=643796135,w=0,x=0,y=0,z=0,hh=80,vv=19647) 
739: pop 
level 4:(h=2610892,v=643796135,w=0,x=0,y=0,z=0,hh=80,vv=19647) 
740: pop 
level 3:(h=0,v=643796135,w=0,x=0,y=0,z=0,hh=0,vv=19647) 
741: pop 
level 2:(h=0,v=643796135,w=0,x=0,y=0,z=0,hh=0,vv=19647) 
742: pop 
level 1:(h=0,v=643796135,w=0,x=0,y=0,z=0,hh=0,vv=19647) 
743: right3 5011840 h:=0+5011840=5011840, hh:=153 
[ ]
747: down3 6432362 v:=643796135+6432362=650228497, vv:=19843 
751: setrule height 10906014, width 327680 (333x10 pixels) 
 h:=5011840+327680=5339520, hh:=163 
760: pop 
level 0:(h=0,v=643796135,w=0,x=0,y=0,z=0,hh=0,vv=19647) 
761: down3 7775850 v:=643796135+7775850=651571985, vv:=19884 
765: push 
level 0:(h=0,v=651571985,w=0,x=0,y=0,z=0,hh=0,vv=19884) 
766: right3 1219624 h:=0+1219624=1219624, hh:=37 
770: setchar45 h:=1219624-327680=891944, hh:=27 
[ -]
771: fntnum1 current font is trip 
772: setchar98 h:=891944+98304=990248, hh:=30 
[b]
773: push 
level 1:(h=990248,v=651571985,w=0,x=0,y=0,z=0,hh=30,vv=19884) 
774: setchar65 h:=990248+65536=1055784, hh:=32 
[A]
775: pop 
level 1:(h=990248,v=651571985,w=0,x=0,y=0,z=0,hh=30,vv=19884) 
776: push 
level 1:(h=990248,v=651571985,w=0,x=0,y=0,z=0,hh=30,vv=19884) 
777: down3 -537395 v:=651571985-537395=651034590, vv:=19868 
781: push 
level 2:(h=990248,v=651034590,w=0,x=0,y=0,z=0,hh=30,vv=19868) 
782: right3 98304 h:=990248+98304=1088552, hh:=33 
[ ]
786: fntnum0 current font is trip 
787: setchar65 h:=1088552+131072=1219624, hh:=37 
[A]
788: pop 
level 2:(h=990248,v=651034590,w=0,x=0,y=0,z=0,hh=30,vv=19868) 
789: down3 1245184 v:=651034590+1245184=652279774, vv:=19906 
793: push 
level 2:(h=990248,v=652279774,w=0,x=0,y=0,z=0,hh=30,vv=19906) 
794: right3 98304 h:=990248+98304=1088552, hh:=33 
798: fntnum2 current font is trip 
799: setchar66 h:=1088552+393216=1481768, hh:=45 
[B]
800: fntnum0 current font is trip 
801: setchar45 h:=1481768-327680=1154088, hh:=35 
[-]
802: pop 
level 2:(h=990248,v=652279774,w=0,x=0,y=0,z=0,hh=30,vv=19906) 
803: pop 
level 1:(h=990248,v=651571985,w=0,x=0,y=0,z=0,hh=30,vv=19884) 
804: push 
level 1:(h=990248,v=651571985,w=0,x=0,y=0,z=0,hh=30,vv=19884) 
805: push 
level 2:(h=990248,v=651571985,w=0,x=0,y=0,z=0,hh=30,vv=19884) 
806: push 
level 3:(h=990248,v=651571985,w=0,x=0,y=0,z=0,hh=30,vv=19884) 
807: right3 235275 h:=990248+235275=1225523, hh:=37 
[ ]
811: down3 -163840 v:=651571985-163840=651408145, vv:=19879 
815: putrule height 589824, width 602932 (18x19 pixels) 
824: down3 1943143 v:=651408145+1943143=653351288, vv:=19939 
828: push 
level 4:(h=1225523,v=653351288,w=0,x=0,y=0,z=0,hh=37,vv=19939) 
829: push 
level 5:(h=1225523,v=653351288,w=0,x=0,y=0,z=0,hh=37,vv=19939) 
830: push 
level 6:(h=1225523,v=653351288,w=0,x=0,y=0,z=0,hh=37,vv=19939) 
831: push 
level 7:(h=1225523,v=653351288,w=0,x=0,y=0,z=0,hh=37,vv=19939) 
832: right2 6554 h:=1225523+6554=1232077, hh:=37 
835: down3 -160563 v:=653351288-160563=653190725, vv:=19934 
839: putrule height 596378, width 589824 (19x18 pixels) 
848: down3 1808794 v:=653190725+1808794=654999519, vv:=19989 
852: push 
level 8:(h=1232077,v=654999519,w=0,x=0,y=0,z=0,hh=37,vv=19989) 
853: push 
level 9:(h=1232077,v=654999519,w=0,x=0,y=0,z=0,hh=37,vv=19989) 
854: push 
level 10:(h=1232077,v=654999519,w=0,x=0,y=0,z=0,hh=37,vv=19989) 
855: down3 -262144 v:=654999519-262144=654737375, vv:=19981 
859: setchar98 h:=1232077+196608=1428685, hh:=43 
[b]
860: pop 
level 10:(h=1232077,v=654999519,w=0,x=0,y=0,z=0,hh=37,vv=19989) 
861: push 
level 10:(h=1232077,v=654999519,w=0,x=0,y=0,z=0,hh=37,vv=19989) 
862: down3 -753664 v:=654999519-753664=654245855, vv:=19966 
866: push 
level 11:(h=1232077,v=654245855,w=0,x=0,y=0,z=0,hh=37,vv=19966) 
867: right3 196608 h:=1232077+196608=1428685, hh:=44 
871: setchar65 h:=1428685+131072=1559757, hh:=48 
[ A]
872: pop 
level 11:(h=1232077,v=654245855,w=0,x=0,y=0,z=0,hh=37,vv=19966) 
873: down3 1114112 v:=654245855+1114112=655359967, vv:=20000 
877: push 
level 11:(h=1232077,v=655359967,w=0,x=0,y=0,z=0,hh=37,vv=20000) 
878: right3 281805 h:=1232077+281805=1513882, hh:=46 
[ ]
882: setrule height 589824, width 26214 (18x1 pixels) 
 h:=1513882+26214=1540096, hh:=47 
891: pop 
level 11:(h=1232077,v=655359967,w=0,x=0,y=0,z=0,hh=37,vv=20000) 
892: pop 
level 10:(h=1232077,v=654999519,w=0,x=0,y=0,z=0,hh=37,vv=19989) 
893: push 
level 10:(h=1232077,v=654999519,w=0,x=0,y=0,z=0,hh=37,vv=19989) 
894: right3 393216 h:=1232077+393216=1625293, hh:=50 
[ ]
898: down3 -262144 v:=654999519-262144=654737375, vv:=19981 
902: setchar98 h:=1625293+196608=1821901, hh:=56 
[b]
903: pop 
level 10:(h=1232077,v=654999519,w=0,x=0,y=0,z=0,hh=37,vv=19989) 
904: pop 
level 9:(h=1232077,v=654999519,w=0,x=0,y=0,z=0,hh=37,vv=19989) 
905: pop 
level 8:(h=1232077,v=654999519,w=0,x=0,y=0,z=0,hh=37,vv=19989) 
906: pop 
level 7:(h=1225523,v=653351288,w=0,x=0,y=0,z=0,hh=37,vv=19939) 
907: pop 
level 6:(h=1225523,v=653351288,w=0,x=0,y=0,z=0,hh=37,vv=19939) 
908: pop 
level 5:(h=1225523,v=653351288,w=0,x=0,y=0,z=0,hh=37,vv=19939) 
909: pop 
level 4:(h=1225523,v=653351288,w=0,x=0,y=0,z=0,hh=37,vv=19939) 
910: pop 
level 3:(h=990248,v=651571985,w=0,x=0,y=0,z=0,hh=30,vv=19884) 
911: pop 
level 2:(h=990248,v=651571985,w=0,x=0,y=0,z=0,hh=30,vv=19884) 
912: pop 
level 1:(h=990248,v=651571985,w=0,x=0,y=0,z=0,hh=30,vv=19884) 
913: pop 
level 0:(h=0,v=651571985,w=0,x=0,y=0,z=0,hh=0,vv=19884) 
914: eop 
Postamble starts at byte 915.
maxv=655360000, maxh=1835009, maxstackdepth=17, totalpages=1
warning: observed maxh was 5339520
Font 0: trip 
Font 1: trip 
Font 2: trip