beta-0.89.2
[luatex.git] / source / texk / web2c / triptrap / trip.typ
blob2ef2781289a2b3901e8cf347710caeedfb847679
1 This is DVItype, Version 3.6
2 Options selected:
3   Starting page = *.*.*.*.*.*.*.*.*.* 
4   Maximum number of pages = 1000000
5   Output level = 2 (mnemonics)
6   Resolution =  72.27000000 pixels per inch
7 numerator/denominator=25400000/473628672
8 magnification=2000;       0.00003052 pixels per DVI unit
9 ' TeX output 2014.01.07:0959'
11 42: beginning of page 0.0.0.0.11.0.0.0.0.0 
12 87: down4 129105920 
13 92: down3 655360 
14 96: push 
15 97: right3 1310720 
16 [ ]
17 101: down3 1310720 
18 105: setrule height 65536, width 65536 
19 114: pop 
20 115: eop 
22 116: beginning of page -5000.0.0.0.11.53110374.0.0.0.0 
23 161: push 
24 162: down4 116090475 
25 167: push 
26 168: right3 262144 
27 [ ]
28 172: setrule height 26214, width 655360 
29 181: right3 32773 
30 [ ]
31 185: push 
32 186: fntdef1 0: trip---loaded at size 655360 DVI units 
33  (this font is magnified 200%) 
34 206: fntnum0 
35 207: setchar65 
36 [A]
37 208: pop 
38 209: w3 131072 
39 [ ]
40 213: push 
41 214: setchar65 
42 [A]
43 215: pop 
44 216: w0 131072 
45 [ ]
46 217: push 
47 218: setchar65 
48 [A]
49 219: pop 
50 220: w0 131072 
51 [ ]
52 221: push 
53 222: setchar65 
54 [A]
55 223: pop 
56 224: right3 229371 
57 [ ]
58 228: push 
59 229: setchar65 
60 [A]
61 230: pop 
62 231: w0 131072 
63 [ ]
64 232: push 
65 233: setchar65 
66 [A]
67 234: pop 
68 235: w0 131072 
69 [ ]
70 236: push 
71 237: setchar65 
72 [A]
73 238: pop 
74 239: w0 131072 
75 [ ]
76 240: push 
77 241: setchar65 
78 [A]
79 242: pop 
80 243: w3 144181 
81 [ ]
82 247: push 
83 248: setchar65 
84 [A]
85 249: pop 
86 250: w0 144181 
87 [ ]
88 251: push 
89 252: setchar65 
90 [A]
91 253: pop 
92 254: w0 144181 
93 [ ]
94 255: push 
95 256: setchar65 
96 [A]
97 257: pop 
98 258: w0 144181 
99 [ ]
100 259: push 
101 260: setchar65 
103 261: pop 
104 262: pop 
105 263: down3 1114112 
106 267: push 
107 268: right3 262144 
108 [ ]
109 272: setrule height 26214, width 655360 
110 281: right3 32773 
111 285: push 
112 286: setchar65 
114 287: pop 
115 288: w3 131072 
116 [ ]
117 292: push 
118 293: setchar65 
120 294: pop 
121 295: w0 131072 
122 [ ]
123 296: push 
124 297: setchar65 
126 298: pop 
127 299: w0 131072 
128 [ ]
129 300: push 
130 301: setchar65 
132 302: pop 
133 303: right3 229371 
134 [ ]
135 307: push 
136 308: setchar65 
138 309: pop 
139 310: w0 131072 
140 [ ]
141 311: push 
142 312: setchar65 
144 313: pop 
145 314: w0 131072 
146 [ ]
147 315: push 
148 316: setchar65 
150 317: pop 
151 318: w0 131072 
152 [ ]
153 319: push 
154 320: setchar65 
156 321: pop 
157 322: w3 144181 
158 [ ]
159 326: push 
160 327: setchar65 
162 328: pop 
163 329: w0 144181 
164 [ ]
165 330: push 
166 331: setchar65 
168 332: pop 
169 333: w0 144181 
170 [ ]
171 334: push 
172 335: setchar65 
174 336: pop 
175 337: w0 144181 
176 [ ]
177 338: push 
178 339: setchar65 
180 340: pop 
181 341: pop 
182 342: pop 
183 343: eop 
185 344: beginning of page 10000.0.0.0.11.131072.0.0.0.0 
186 389: push 
187 390: down4 32460719 
188 395: push 
189 396: fntnum0 
190 397: setchar65 
192 398: down3 65536 
193 402: setrule height 524288, width 327680 
194 411: pop 
195 412: y3 1880637 
196 416: push 
197 417: setchar65 
199 418: down3 65536 
200 422: setrule height 524288, width 327680 
201 431: pop 
202 432: y0 1880637 
203 433: push 
204 434: setchar65 
206 435: down3 65536 
207 439: setrule height 524288, width 327680 
208 448: pop 
209 449: down3 -1396163 
210 453: push 
211 454: setchar65 
213 455: down3 65536 
214 459: setrule height 524288, width 327680 
215 468: pop 
216 469: pop 
217 470: eop 
219 471: beginning of page -333.0.0.0.11.655360000.0.0.0.0 
220 516: push 
221 517: down4 651689984 
222 522: xxx '?-1000.0pt' non-ASCII character in xxx command! 
223 534: down3 655360 
224 538: push 
225 539: fntnum0 
226 540: setchar65 
228 541: down3 65536 
229 545: setrule height 524288, width 327680 
230 554: pop 
231 555: pop 
232 556: eop 
234 557: beginning of page -333.0.0.0.11.0.0.0.0.0 
235 602: eop 
237 603: beginning of page -2.0.0.0.11.0.0.0.0.0 
238 648: eop 
240 649: beginning of page -2.0.0.0.11.0.0.0.0.0 
241 694: down4 1001310720 
242 699: push 
243 700: push 
244 701: push 
245 702: down3 -1441792 
246 706: down3 1441792 
247 710: pop 
248 711: pop 
249 712: push 
250 713: push 
251 714: down3 -1441792 
252 718: down3 1310720 
253 722: pop 
254 723: pop 
255 724: push 
256 725: push 
257 726: down3 -1441792 
258 730: down3 1310720 
259 734: pop 
260 735: pop 
261 736: pop 
262 737: y3 655360 
263 741: push 
264 742: right3 393217 
265 [ ]
266 746: fntnum0 
267 747: setchar65 
268 748: right3 131072 
269 752: setchar66 
270 [A B]
271 753: pop 
272 754: y0 655360 
273 755: push 
274 756: right3 196609 
275 760: setchar67 
276 [ C]
277 761: push 
278 762: putrule height 26214, width 393216 
279 771: pop 
280 772: pop 
281 773: eop 
283 774: beginning of page -2.0.0.0.11.0.0.0.0.0 
284 819: down4 1001179648 
285 824: push 
286 825: right3 196609 
287 [ ]
288 829: fntnum0 
289 830: setchar65 
290 831: right3 4653056 
291 835: setchar47 
292 836: right3 65536 
293 840: setchar65 
294 841: w3 131072 
295 845: setchar65 
296 846: w0 131072 
297 847: setchar65 
298 [A /A A A]
299 848: set1 130 
300 850: set1 130 
301 852: setchar66 
302 853: setchar47 
303 [B/]
304 854: pop 
305 855: y3 589824 
306 859: push 
307 860: right3 5898241 
308 864: setchar65 
309 865: w3 131072 
310 869: setchar65 
311 870: w0 131072 
312 871: setchar65 
313 [ A A A]
314 872: pop 
315 873: down3 524288 
316 877: push 
317 878: right3 5898241 
318 882: setchar65 
319 883: w3 131072 
320 887: setchar65 
321 888: w0 131072 
322 889: setchar65 
323 [ A A A]
324 890: pop 
325 891: y0 589824 
326 892: push 
327 893: right3 5701633 
328 897: setchar65 
329 898: w3 131072 
330 902: setchar65 
331 903: w0 131072 
332 904: setchar65 
333 905: setchar66 
334 [ A A AB]
335 906: pop 
336 907: y0 589824 
337 908: push 
338 909: right3 5898241 
339 913: setchar65 
340 914: w3 131072 
341 918: setchar65 
342 919: w0 131072 
343 920: setchar65 
344 [ A A A]
345 921: pop 
346 922: y0 589824 
347 923: push 
348 924: right1 1 
349 926: setchar65 
350 927: right3 131072 
351 931: setchar66 
352 932: right3 262144 
353 936: setchar97 
354 937: setchar66 
355 [A B aB]
356 938: pop 
357 939: down3 2031616 
358 943: push 
359 944: right3 196609 
360 948: setchar65 
361 [ A]
362 949: pop 
363 950: y3 655360 
364 954: push 
365 955: right3 262144 
366 959: setchar45 
367 [ -]
368 960: pop 
369 961: y0 655360 
370 962: push 
371 963: right3 196609 
372 967: setchar67 
373 [ C]
374 968: pop 
375 969: y0 655360 
376 970: push 
377 971: right3 196609 
378 975: setchar67 
379 [ C]
380 976: pop 
381 977: y0 655360 
382 978: y0 655360 
383 979: push 
384 980: right3 6422529 
385 984: setchar65 
386 [ A]
387 985: pop 
388 986: eop 
390 987: beginning of page -2.0.0.0.11.0.327680.0.0.0 
391 1032: down4 1001179648 
392 1037: push 
393 1038: right3 262145 
394 [ ]
395 1042: fntnum0 
396 1043: setchar45 
398 1044: pop 
399 1045: y3 655360 
400 1049: push 
401 1050: right3 262144 
402 1054: setchar45 
403 1055: setchar45 
404 [ --]
405 1056: pop 
406 1057: y0 655360 
407 1058: push 
408 1059: right3 327680 
409 1063: setchar45 
410 1064: setchar45 
411 1065: right3 65536 
412 1069: setchar65 
413 [ --A]
414 1070: pop 
415 1071: down3 851968 
416 1075: eop 
418 1076: beginning of page -2.0.0.0.11.0.327680.0.0.0 
419 1121: down4 639342208 
420 1126: push 
421 1127: push 
422 1128: push 
423 1129: push 
424 1130: down3 -602931 
425 1134: push 
426 1135: right3 740559 
427 [ ]
428 1139: fntdef1 1: trip---loaded at size 327680 DVI units 
429 1159: fntnum1 
430 1160: setchar65 
432 1161: pop 
433 1162: right3 740559 
434 [ ]
435 1166: down3 176947 
436 1170: putrule height 65536, width 98304 
437 1179: down3 635699 
438 1183: push 
439 1184: setchar65 
441 1185: pop 
442 1186: pop 
443 1187: pop 
444 1188: push 
445 1189: right3 845417 
446 [ ]
447 1193: down3 -262144 
448 1197: fntnum0 
449 1198: setchar98 
451 1199: pop 
452 1200: pop 
453 1201: right3 1078433 
454 1205: setchar47 
455 1206: right3 54612 
456 1210: setchar65 
457 1211: right2 -7280 
458 [ /A]
459 1214: fntnum1 
460 1215: setchar45 
461 1216: setchar45 
462 1217: right3 -72816 
463 [--]
464 1221: fntnum0 
465 1222: setchar65 
466 1223: w3 36408 
467 1227: setchar47 
468 1228: w0 36408 
469 1229: setchar65 
470 [A/A]
471 1230: pop 
472 1231: down3 4912743 
473 1235: push 
474 1236: push 
475 1237: push 
476 1238: right3 983045 
477 [ ]
478 1242: fntdef1 2: trip---loaded at size 1310720 DVI units 
479  (this font is magnified 400%) 
480 1262: fntnum2 
481 1263: setchar45 
483 1264: pop 
484 1265: push 
485 1266: right3 425989 
486 [ ]
487 1270: fntnum0 
488 1271: setchar65 
490 1272: push 
491 1273: down3 -530842 
492 1277: push 
493 1278: push 
494 1279: right3 65536 
495 1283: down3 -131072 
496 1287: setchar97 
498 1288: pop 
499 1289: right3 196608 
500 1293: setchar47 
501 [ /]
502 1294: pop 
503 1295: pop 
504 1296: pop 
505 1297: pop 
506 1298: push 
507 1299: right3 818550 
508 [ ]
509 1303: down3 -1557300 
510 1307: putrule height 65536, width 984062 
511 1316: down3 1557300 
512 1320: push 
513 1321: push 
514 1322: down3 -543949 
515 1326: fntnum1 
516 1327: setchar65 
518 1328: pop 
519 1329: right3 97649 
520 [ ]
521 1333: fntnum0 
522 1334: setchar65 
524 1335: push 
525 1336: down3 268698 
526 1340: setchar45 
528 1341: pop 
529 1342: push 
530 1343: right3 -310131 
531 1347: down3 -1098548 
532 1351: fntnum1 
533 1352: setchar65 
534 1353: right3 98304 
535 1357: setchar66 
536 [A B]
537 1358: push 
538 1359: down3 471859 
539 1363: push 
540 1364: right3 140175 
541 [ ]
542 1368: fntnum2 
543 1369: set1 130 
544 1371: pop 
545 1372: down3 458754 
546 1376: push 
547 1377: push 
548 1378: down3 -65535 
549 1382: setchar65 
551 1383: pop 
552 1384: right3 411421 
553 1388: setchar65 
554 [ A]
555 1389: push 
556 1390: down3 -131072 
557 1394: push 
558 1395: right3 -65536 
559 1399: setchar97 
561 1400: pop 
562 1401: pop 
563 1402: pop 
564 1403: pop 
565 1404: pop 
566 1405: pop 
567 1406: pop 
568 1407: push 
569 1408: down3 -1179648 
570 1412: push 
571 1413: right3 1798972 
572 [ ]
573 1417: fntnum1 
574 1418: setchar67 
576 1419: pop 
577 1420: down3 1179648 
578 1424: push 
579 1425: push 
580 1426: right3 1766204 
581 [ ]
582 1430: down3 -262144 
583 1434: fntnum0 
584 1435: setchar66 
586 1436: pop 
587 1437: pop 
588 1438: pop 
589 1439: push 
590 1440: push 
591 1441: push 
592 1442: right3 1926404 
593 [ ]
594 1446: down3 -458752 
595 1450: setchar77 
597 1451: pop 
598 1452: pop 
599 1453: down3 524288 
600 1457: push 
601 1458: right3 2057476 
602 [ ]
603 1462: fntnum1 
604 1463: setchar67 
606 1464: pop 
607 1465: pop 
608 1466: push 
609 1467: push 
610 1468: push 
611 1469: right3 2414284 
612 [ ]
613 1473: down3 -3556148 
614 1477: fntnum0 
615 1478: setchar97 
617 1479: pop 
618 1480: push 
619 1481: right3 2610892 
620 [ ]
621 1485: down3 -3556148 
622 1489: putrule height 458752, width 2400948 
623 1498: down3 3556148 
624 1502: push 
625 1503: push 
626 1504: push 
627 1505: push 
628 1506: push 
629 1507: down3 -1245183 
630 1511: push 
631 1512: right2 6554 
632 1515: setchar0 
633 1516: pop 
634 1517: y3 65535 
635 1521: push 
636 1522: right2 6554 
637 1525: setchar0 
638 1526: pop 
639 1527: down3 589824 
640 1531: push 
641 1532: right2 6554 
642 1535: setchar65 
644 1536: pop 
645 1537: down1 -1 
646 1539: push 
647 1540: right2 6554 
648 1543: setchar0 
649 1544: pop 
650 1545: y0 65535 
651 1546: push 
652 1547: right2 6554 
653 1550: setchar0 
654 1551: pop 
655 1552: down3 655360 
656 1556: push 
657 1557: right2 6554 
658 1560: setchar66 
660 1561: pop 
661 1562: pop 
662 1563: push 
663 1564: push 
664 1565: push 
665 1566: push 
666 1567: down3 -1425409 
667 1571: push 
668 1572: right3 543623 
669 [ ]
670 1576: fntnum2 
671 1577: setchar65 
673 1578: pop 
674 1579: down3 2451048 
675 1583: push 
676 1584: right3 471860 
677 [ ]
678 1588: fntnum0 
679 1589: setchar65 
681 1590: push 
682 1591: down3 -530842 
683 1595: push 
684 1596: right3 65536 
685 1600: fntnum1 
686 1601: setchar45 
688 1602: pop 
689 1603: down3 1818625 
690 1607: push 
691 1608: push 
692 1609: down3 -638976 
693 1613: push 
694 1614: right2 6554 
695 1617: fntnum2 
696 1618: setchar65 
698 1619: pop 
699 1620: right2 6554 
700 1623: down3 196608 
701 1627: putrule height 32768, width 393217 
702 1636: down3 1081344 
703 1640: push 
704 1641: right1 1 
705 1643: setchar66 
707 1644: pop 
708 1645: pop 
709 1646: pop 
710 1647: pop 
711 1648: pop 
712 1649: pop 
713 1650: pop 
714 1651: right3 465306 
715 [ ]
716 1655: down3 5600055 
717 1659: putrule height 596378, width 549850 
718 1668: pop 
719 1669: pop 
720 1670: push 
721 1671: down3 -2323253 
722 1675: push 
723 1676: right3 1015156 
724 1680: setchar98 
725 [ b]
726 1681: pop 
727 1682: down4 8545900 
728 1687: push 
729 1688: push 
730 1689: right3 1015156 
731 [ ]
732 1693: down3 -65536 
733 1697: setchar98 
735 1698: pop 
736 1699: push 
737 1700: down3 -786432 
738 1704: push 
739 1705: right3 1590412 
740 [ ]
741 1709: fntnum0 
742 1710: setchar66 
744 1711: pop 
745 1712: right3 1408372 
746 [ ]
747 1716: down3 393216 
748 1720: putrule height 131072, width 378648 
749 1729: pop 
750 1730: pop 
751 1731: pop 
752 1732: push 
753 1733: right3 1792919 
754 [ ]
755 1737: down3 -65535 
756 1741: fntnum2 
757 1742: setchar97 
759 1743: pop 
760 1744: pop 
761 1745: right3 2204340 
762 [ ]
763 1749: fntnum0 
764 1750: setchar65 
766 1751: pop 
767 1752: pop 
768 1753: pop 
769 1754: pop 
770 1755: pop 
771 1756: pop 
772 1757: right3 5011840 
773 [ ]
774 1761: down3 6432362 
775 1765: setrule height 10906014, width 327680 
776 1774: pop 
777 1775: down3 7775850 
778 1779: push 
779 1780: right3 1292440 
780 1784: setchar45 
781 [ -]
782 1785: fntnum1 
783 1786: setchar98 
785 1787: push 
786 1788: setchar65 
788 1789: pop 
789 1790: push 
790 1791: down3 -537395 
791 1795: push 
792 1796: right3 98304 
793 [ ]
794 1800: fntnum0 
795 1801: setchar65 
797 1802: pop 
798 1803: down3 1245184 
799 1807: push 
800 1808: right3 98304 
801 1812: fntnum2 
802 1813: setchar66 
804 1814: fntnum0 
805 1815: setchar45 
807 1816: pop 
808 1817: pop 
809 1818: push 
810 1819: push 
811 1820: push 
812 1821: right3 235275 
813 [ ]
814 1825: down3 -163840 
815 1829: putrule height 589824, width 530116 
816 1838: down3 1943143 
817 1842: push 
818 1843: push 
819 1844: push 
820 1845: push 
821 1846: right2 6554 
822 1849: down3 -160563 
823 1853: putrule height 596378, width 517008 
824 1862: down3 1382810 
825 1866: push 
826 1867: push 
827 1868: push 
828 1869: down3 -262144 
829 1873: setchar98 
831 1874: pop 
832 1875: push 
833 1876: down3 -720896 
834 1880: push 
835 1881: w3 196608 
836 1885: setchar112 
837 1886: setchar116 
838 1887: setchar115 
839 1888: setchar113 
840 1889: setchar116 
841 1890: w0 196608 
842 1891: setchar113 
843 1892: setchar112 
844 1893: right3 -72816 
845 1897: setchar117 
846 [ ptsqt qpu]
847 1898: pop 
848 1899: down3 1048576 
849 1903: push 
850 1904: right3 245397 
851 [ ]
852 1908: setrule height 589824, width 26214 
853 1917: pop 
854 1918: pop 
855 1919: push 
856 1920: right3 320400 
857 [ ]
858 1924: down3 -262144 
859 1928: setchar98 
861 1929: pop 
862 1930: pop 
863 1931: pop 
864 1932: pop 
865 1933: pop 
866 1934: pop 
867 1935: pop 
868 1936: pop 
869 1937: pop 
870 1938: pop 
871 1939: pop 
872 1940: eop 
874 1941: beginning of page -2.0.0.0.11.0.327680.1572864.0.-1073741823 
875 1986: down4 1001179648 
876 1991: push 
877 1992: push 
878 1993: right1 1 
879 [ ]
880 1995: down3 -65536 
881 1999: xxx '-12' 
882 2004: pop 
883 2005: pop 
884 2006: y3 655360 
885 2010: y0 655360 
886 2011: down3 983040 
887 2015: push 
888 2016: push 
889 2017: right3 196609 
890 [ ]
891 2021: fntnum0 
892 2022: setchar65 
894 2023: push 
895 2024: push 
896 2025: right3 83740 
897 2029: down3 -262144 
898 2033: setchar98 
900 2034: pop 
901 2035: push 
902 2036: push 
903 2037: right3 286902 
904 [ ]
905 2041: down3 -425984 
906 2045: putrule height 65536, width 104858 
907 2054: down3 688128 
908 2058: push 
909 2059: push 
910 2060: down3 -360448 
911 2064: fntnum1 
912 2065: setchar98 
914 2066: pop 
915 2067: pop 
916 2068: pop 
917 2069: pop 
918 2070: pop 
919 2071: pop 
920 2072: push 
921 2073: push 
922 2074: down3 589825 
923 2078: push 
924 2079: right3 4500861 
925 [ ]
926 2083: fntnum0 
927 2084: setchar97 
928 2085: setchar97 
929 [aa]
930 2086: pop 
931 2087: pop 
932 2088: pop 
933 2089: pop 
934 2090: eop 
936 2091: beginning of page -2.0.0.0.11.0.327680.1572864.1073741823.-1073741823 
937 2136: down4 1001179648 
938 2141: push 
939 2142: right3 196609 
940 [ ]
941 2146: fntnum0 
942 2147: setchar65 
943 2148: right3 373830 
944 [A ]
945 2152: set1 130 
946 2154: pop 
947 2155: down3 655360 
948 2159: eop 
950 2160: beginning of page -2.0.0.0.11.196608.327680.1572864.1073741823.0 
951 2205: down4 1001179648 
952 2210: push 
953 2211: down3 -262144 
954 2215: push 
955 2216: right3 196609 
956 [ ]
957 2220: fntnum0 
958 2221: setchar65 
959 2222: w3 131072 
960 2226: setchar65 
961 2227: w0 131072 
962 2228: setchar65 
963 [A A A]
964 2229: down3 65536 
965 2233: setrule height 524288, width 327680 
966 2242: pop 
967 2243: y3 655360 
968 2247: push 
969 2248: right3 196609 
970 2252: setchar65 
971 2253: right3 196608 
972 2257: setchar65 
973 [ A A]
974 2258: pop 
975 2259: down3 131072 
976 2263: push 
977 2264: right3 196609 
978 2268: setchar65 
979 2269: w3 131072 
980 2273: setchar65 
981 2274: w0 131072 
982 2275: setchar65 
983 [ A A A]
984 2276: pop 
985 2277: y0 655360 
986 2278: push 
987 2279: right3 196609 
988 2283: setchar65 
989 2284: right3 196608 
990 2288: setchar65 
991 [ A A]
992 2289: pop 
993 2290: pop 
994 2291: y3 720896 
995 2295: push 
996 2296: down3 -655360 
997 2300: down3 655360 
998 2304: pop 
999 2305: down3 655360 
1000 2309: push 
1001 2310: down3 -262144 
1002 2314: push 
1003 2315: right3 196609 
1004 2319: setchar65 
1005 [ A]
1006 2320: pop 
1007 2321: pop 
1008 2322: y0 720896 
1009 2323: push 
1010 2324: down2 -32767 
1011 2327: push 
1012 2328: push 
1013 2329: right3 198462 
1014 [ ]
1015 2333: down3 -163841 
1016 2337: setchar66 
1018 2338: pop 
1019 2339: right3 558912 
1020 2343: setchar65 
1021 2344: setchar65 
1022 [ AA]
1023 2345: pop 
1024 2346: pop 
1025 2347: eop 
1027 2348: beginning of page -2.2.-1118806.0.11.196608.327680.1572864.1073741823.0 
1028 2393: down4 1001179648 
1029 2398: push 
1030 2399: push 
1031 2400: right3 -104176 
1032 [ ]
1033 2404: fntnum0 
1034 2405: setchar66 
1036 2406: push 
1037 2407: down3 -1310720 
1038 2411: y3 655360 
1039 2415: y0 655360 
1040 2416: push 
1041 2417: right3 196608 
1042 2421: setchar65 
1043 [ A]
1044 2422: pop 
1045 2423: pop 
1046 2424: pop 
1047 2425: push 
1048 2426: push 
1049 2427: down3 622591 
1050 2431: push 
1051 2432: down3 458752 
1052 2436: push 
1053 2437: right3 6895421 
1054 2441: setchar65 
1055 [ A]
1056 2442: pop 
1057 2443: pop 
1058 2444: pop 
1059 2445: pop 
1060 2446: pop 
1061 2447: y3 655360 
1062 2451: push 
1063 2452: push 
1064 2453: right3 420112 
1065 2457: setchar98 
1066 2458: right4 12176941 
1067 2463: setchar98 
1068 [ b b]
1069 2464: pop 
1070 2465: pop 
1071 2466: y0 655360 
1072 2467: eop 
1074 2468: beginning of page -2.2.-1118806.0.11.196608.327680.1572864.1073741823.0 
1075 2513: down3 1179648 
1076 2517: z3 655360 
1077 2521: push 
1078 2522: push 
1079 2523: right3 196608 
1080 [ ]
1081 2527: down3 -537395 
1082 2531: fntnum1 
1083 2532: setchar77 
1085 2533: pop 
1086 2534: pop 
1087 2535: y4 203921760 
1088 2540: y0 203921760 
1089 2541: push 
1090 2542: push 
1091 2543: right3 196608 
1092 [ ]
1093 2547: fntnum0 
1094 2548: setchar116 
1095 2549: setchar116 
1096 [tt]
1097 2550: pop 
1098 2551: pop 
1099 2552: z0 655360 
1100 2553: z0 655360 
1101 2554: down4 232364531 
1102 2559: push 
1103 2560: push 
1104 2561: push 
1105 2562: right3 393216 
1106 [ ]
1107 2566: down4 -17616141 
1108 2571: fntdef1 3: trip---loaded at size 134217727 DVI units 
1109  (this font is magnified 40960%) 
1110 2591: fntnum3 
1111 2592: setchar98 
1113 2593: pop 
1114 2594: pop 
1115 2595: push 
1116 2596: push 
1117 2597: down3 -1376253 
1118 2601: push 
1119 2602: right4 40658554 
1120 [ ]
1121 2607: fntnum0 
1122 2608: setchar0 
1123 2609: pop 
1124 2610: y3 65535 
1125 2614: push 
1126 2615: right4 40658554 
1127 [ ]
1128 2620: setchar0 
1129 2621: pop 
1130 2622: y0 65535 
1131 2623: push 
1132 2624: right4 40658554 
1133 [ ]
1134 2629: setchar0 
1135 2630: pop 
1136 2631: y0 65535 
1137 2632: push 
1138 2633: right4 40658554 
1139 [ ]
1140 2638: setchar0 
1141 2639: pop 
1142 2640: down3 589824 
1143 2644: push 
1144 2645: right4 40658554 
1145 2650: setchar65 
1146 [ A]
1147 2651: pop 
1148 2652: down1 -1 
1149 2654: push 
1150 2655: right4 40658554 
1151 [ ]
1152 2660: setchar0 
1153 2661: pop 
1154 2662: y0 65535 
1155 2663: push 
1156 2664: right4 40658554 
1157 [ ]
1158 2669: setchar0 
1159 2670: pop 
1160 2671: y0 65535 
1161 2672: push 
1162 2673: right4 40658554 
1163 [ ]
1164 2678: setchar0 
1165 2679: pop 
1166 2680: y0 65535 
1167 2681: push 
1168 2682: right4 40658554 
1169 [ ]
1170 2687: setchar0 
1171 2688: pop 
1172 2689: z0 655360 
1173 2690: push 
1174 2691: right4 40658554 
1175 2696: setchar66 
1176 [ B]
1177 2697: pop 
1178 2698: pop 
1179 2699: right4 41117306 
1180 2704: setchar65 
1181 2705: w3 65536 
1182 2709: setchar97 
1183 [ Aa]
1184 2710: push 
1185 2711: w0 65536 
1186 2712: down4 -20591485 
1187 2717: fntnum3 
1188 2718: setchar0 
1189 2719: pop 
1190 2720: pop 
1191 2721: right4 135463022 
1192 [ ]
1193 2726: fntnum0 
1194 2727: setchar65 
1196 2728: pop 
1197 2729: down4 9227503 
1198 2734: z0 655360 
1199 2735: z0 655360 
1200 2736: z0 655360 
1201 2737: z0 655360 
1202 2738: down2 26214 
1203 2741: putrule height 26214, width 135659630 
1204 2750: eop 
1206 2751: beginning of page -1.2.-1118806.0.11.196608.327680.1572864.1073741823.0 
1207 2796: down3 1179648 
1208 2800: eop 
1209 Postamble starts at byte 2801.
1210 maxv=1073741823, maxh=539754497, maxstackdepth=17, totalpages=16
1211 Font 3: trip scaled 409600 
1212 Font 2: trip scaled 4000 
1213 Font 1: trip 
1214 Font 0: trip scaled 2000