This is DVItype, Version 3.5
Options selected:
Starting page = *.*.*.*.*.*.*.*.*.*
Maximum number of pages = 1000000
Output level = 2 (mnemonics)
Resolution = 72.27000000 pixels per inch
numerator/denominator=25400000/473628672
magnification=2000; 0.00003052 pixels per DVI unit
' TeX output 1995.03.08:1424'
42: beginning of page 0.0.0.0.11.0.0.0.0.0
87: down4 129105920
92: down3 655360
96: push
97: right3 1310720
[ ]
101: down3 1310720
105: setrule height 65536, width 65536
114: pop
115: eop
116: beginning of page -5000.0.0.0.11.53110374.0.0.0.0
161: push
162: down4 116090475
167: push
168: right3 262144
[ ]
172: setrule height 26214, width 655360
181: right3 32773
[ ]
185: push
186: fntdef1 0: trip---loaded at size 655360 DVI units
(this font is magnified 200%)
206: fntnum0
207: setchar65
[A]
208: pop
209: w3 131072
[ ]
213: push
214: setchar65
[A]
215: pop
216: w0 131072
[ ]
217: push
218: setchar65
[A]
219: pop
220: w0 131072
[ ]
221: push
222: setchar65
[A]
223: pop
224: right3 229371
[ ]
228: push
229: setchar65
[A]
230: pop
231: w0 131072
[ ]
232: push
233: setchar65
[A]
234: pop
235: w0 131072
[ ]
236: push
237: setchar65
[A]
238: pop
239: w0 131072
[ ]
240: push
241: setchar65
[A]
242: pop
243: w3 144181
[ ]
247: push
248: setchar65
[A]
249: pop
250: w0 144181
[ ]
251: push
252: setchar65
[A]
253: pop
254: w0 144181
[ ]
255: push
256: setchar65
[A]
257: pop
258: w0 144181
[ ]
259: push
260: setchar65
[A]
261: pop
262: pop
263: down3 1114112
267: push
268: right3 262144
[ ]
272: setrule height 26214, width 655360
281: right3 32773
285: push
286: setchar65
[A]
287: pop
288: w3 131072
[ ]
292: push
293: setchar65
[A]
294: pop
295: w0 131072
[ ]
296: push
297: setchar65
[A]
298: pop
299: w0 131072
[ ]
300: push
301: setchar65
[A]
302: pop
303: right3 229371
[ ]
307: push
308: setchar65
[A]
309: pop
310: w0 131072
[ ]
311: push
312: setchar65
[A]
313: pop
314: w0 131072
[ ]
315: push
316: setchar65
[A]
317: pop
318: w0 131072
[ ]
319: push
320: setchar65
[A]
321: pop
322: w3 144181
[ ]
326: push
327: setchar65
[A]
328: pop
329: w0 144181
[ ]
330: push
331: setchar65
[A]
332: pop
333: w0 144181
[ ]
334: push
335: setchar65
[A]
336: pop
337: w0 144181
[ ]
338: push
339: setchar65
[A]
340: pop
341: pop
342: pop
343: eop
344: beginning of page 10000.0.0.0.11.131072.0.0.0.0
389: push
390: down4 32460719
395: push
396: fntnum0
397: setchar65
[A]
398: down3 65536
402: setrule height 524288, width 327680
411: pop
412: y3 1880637
416: push
417: setchar65
[A]
418: down3 65536
422: setrule height 524288, width 327680
431: pop
432: y0 1880637
433: push
434: setchar65
[A]
435: down3 65536
439: setrule height 524288, width 327680
448: pop
449: down3 -1396163
453: push
454: setchar65
[A]
455: down3 65536
459: setrule height 524288, width 327680
468: pop
469: pop
470: eop
471: beginning of page -333.0.0.0.11.655360000.0.0.0.0
516: push
517: down4 651689984
522: xxx '?-1000.0pt' non-ASCII character in xxx command!
534: down3 655360
538: push
539: fntnum0
540: setchar65
[A]
541: down3 65536
545: setrule height 524288, width 327680
554: pop
555: pop
556: eop
557: beginning of page -333.0.0.0.11.0.0.0.0.0
602: eop
603: beginning of page -2.0.0.0.11.0.0.0.0.0
648: eop
649: beginning of page -2.0.0.0.11.0.0.0.0.0
694: down4 1001310720
699: push
700: push
701: push
702: down3 -1441792
706: down3 1441792
710: pop
711: pop
712: push
713: push
714: down3 -1441792
718: down3 1310720
722: pop
723: pop
724: push
725: push
726: down3 -1441792
730: down3 1310720
734: pop
735: pop
736: pop
737: y3 655360
741: push
742: right3 393217
[ ]
746: fntnum0
747: setchar65
748: right3 131072
752: setchar66
[A B]
753: pop
754: y0 655360
755: push
756: right3 196609
760: setchar67
[ C]
761: push
762: putrule height 26214, width 393216
771: pop
772: pop
773: eop
774: beginning of page -2.0.0.0.11.0.0.0.0.0
819: down4 1001179648
824: push
825: right3 196609
[ ]
829: fntnum0
830: setchar65
831: right3 4653056
835: setchar47
836: right3 65536
840: setchar65
841: w3 131072
845: setchar65
846: w0 131072
847: setchar65
[A /A A A]
848: set1 130
850: set1 130
852: setchar66
853: setchar47
[B/]
854: pop
855: y3 589824
859: push
860: right3 5898241
864: setchar65
865: w3 131072
869: setchar65
870: w0 131072
871: setchar65
[ A A A]
872: pop
873: down3 524288
877: push
878: right3 5898241
882: setchar65
883: w3 131072
887: setchar65
888: w0 131072
889: setchar65
[ A A A]
890: pop
891: y0 589824
892: push
893: right3 5701633
897: setchar65
898: w3 131072
902: setchar65
903: w0 131072
904: setchar65
905: setchar66
[ A A AB]
906: pop
907: y0 589824
908: push
909: right3 5898241
913: setchar65
914: w3 131072
918: setchar65
919: w0 131072
920: setchar65
[ A A A]
921: pop
922: y0 589824
923: push
924: right1 1
926: setchar65
927: right3 131072
931: setchar66
932: right3 262144
936: setchar97
937: setchar66
[A B aB]
938: pop
939: down3 2031616
943: push
944: right3 196609
948: setchar65
[ A]
949: pop
950: y3 655360
954: push
955: right3 262144
959: setchar45
[ -]
960: pop
961: y0 655360
962: push
963: right3 196609
967: setchar67
[ C]
968: pop
969: y0 655360
970: push
971: right3 196609
975: setchar67
[ C]
976: pop
977: y0 655360
978: y0 655360
979: push
980: right3 6422529
984: setchar65
[ A]
985: pop
986: eop
987: beginning of page -2.0.0.0.11.0.327680.0.0.0
1032: down4 1001179648
1037: push
1038: right3 262145
[ ]
1042: fntnum0
1043: setchar45
[-]
1044: pop
1045: y3 655360
1049: push
1050: right3 262144
1054: setchar45
1055: setchar45
[ --]
1056: pop
1057: y0 655360
1058: push
1059: right3 327680
1063: setchar45
1064: setchar45
1065: right3 65536
1069: setchar65
[ --A]
1070: pop
1071: down3 851968
1075: eop
1076: beginning of page -2.0.0.0.11.0.327680.0.0.0
1121: down4 639342208
1126: push
1127: push
1128: push
1129: push
1130: down3 -602931
1134: push
1135: right3 740559
[ ]
1139: fntdef1 1: trip---loaded at size 327680 DVI units
1159: fntnum1
1160: setchar65
[A]
1161: pop
1162: right3 740559
[ ]
1166: down3 176947
1170: putrule height 65536, width 98304
1179: down3 635699
1183: push
1184: setchar65
[A]
1185: pop
1186: pop
1187: pop
1188: push
1189: right3 845417
[ ]
1193: down3 -262144
1197: fntnum0
1198: setchar98
[b]
1199: pop
1200: pop
1201: right3 1078433
1205: setchar47
1206: right3 54612
1210: setchar65
1211: right2 -7280
[ /A]
1214: fntnum1
1215: setchar45
1216: setchar45
1217: right3 -72816
[--]
1221: fntnum0
1222: setchar65
1223: w3 36408
1227: setchar47
1228: w0 36408
1229: setchar65
[A/A]
1230: pop
1231: down3 4912743
1235: push
1236: push
1237: push
1238: right3 983045
[ ]
1242: fntdef1 2: trip---loaded at size 1310720 DVI units
(this font is magnified 400%)
1262: fntnum2
1263: setchar45
[-]
1264: pop
1265: push
1266: right3 425989
[ ]
1270: fntnum0
1271: setchar65
[A]
1272: push
1273: down3 -530842
1277: push
1278: push
1279: right3 65536
1283: down3 -131072
1287: setchar97
[a]
1288: pop
1289: right3 196608
1293: setchar47
[ /]
1294: pop
1295: pop
1296: pop
1297: pop
1298: push
1299: right3 818550
[ ]
1303: down3 -1557300
1307: putrule height 65536, width 984062
1316: down3 1557300
1320: push
1321: push
1322: down3 -543949
1326: fntnum1
1327: setchar65
[A]
1328: pop
1329: right3 97649
[ ]
1333: fntnum0
1334: setchar65
[A]
1335: push
1336: down3 268698
1340: setchar45
[-]
1341: pop
1342: push
1343: right3 -310131
1347: down3 -1098548
1351: fntnum1
1352: setchar65
1353: right3 98304
1357: setchar66
[A B]
1358: push
1359: down3 471859
1363: push
1364: right3 140175
[ ]
1368: fntnum2
1369: set1 130
1371: pop
1372: down3 458754
1376: push
1377: push
1378: down3 -65535
1382: setchar65
[A]
1383: pop
1384: right3 411421
1388: setchar65
[ A]
1389: push
1390: down3 -131072
1394: push
1395: right3 -65536
1399: setchar97
[a]
1400: pop
1401: pop
1402: pop
1403: pop
1404: pop
1405: pop
1406: pop
1407: push
1408: down3 -1179648
1412: push
1413: right3 1798972
[ ]
1417: fntnum1
1418: setchar67
[C]
1419: pop
1420: down3 1179648
1424: push
1425: push
1426: right3 1766204
[ ]
1430: down3 -262144
1434: fntnum0
1435: setchar66
[B]
1436: pop
1437: pop
1438: pop
1439: push
1440: push
1441: push
1442: right3 1926404
[ ]
1446: down3 -458752
1450: setchar77
[M]
1451: pop
1452: pop
1453: down3 524288
1457: push
1458: right3 2057476
[ ]
1462: fntnum1
1463: setchar67
[C]
1464: pop
1465: pop
1466: push
1467: push
1468: push
1469: right3 2414284
[ ]
1473: down3 -3556148
1477: fntnum0
1478: setchar97
[a]
1479: pop
1480: push
1481: right3 2610892
[ ]
1485: down3 -3556148
1489: putrule height 458752, width 2400948
1498: down3 3556148
1502: push
1503: push
1504: push
1505: push
1506: push
1507: down3 -1245183
1511: push
1512: right2 6554
1515: setchar0
1516: pop
1517: y3 65535
1521: push
1522: right2 6554
1525: setchar0
1526: pop
1527: down3 589824
1531: push
1532: right2 6554
1535: setchar65
[A]
1536: pop
1537: down1 -1
1539: push
1540: right2 6554
1543: setchar0
1544: pop
1545: y0 65535
1546: push
1547: right2 6554
1550: setchar0
1551: pop
1552: down3 655360
1556: push
1557: right2 6554
1560: setchar66
[B]
1561: pop
1562: pop
1563: push
1564: push
1565: push
1566: push
1567: down3 -1425409
1571: push
1572: right3 543623
[ ]
1576: fntnum2
1577: setchar65
[A]
1578: pop
1579: down3 2451048
1583: push
1584: right3 471860
[ ]
1588: fntnum0
1589: setchar65
[A]
1590: push
1591: down3 -530842
1595: push
1596: right3 65536
1600: fntnum1
1601: setchar45
[-]
1602: pop
1603: down3 1818625
1607: push
1608: push
1609: down3 -638976
1613: push
1614: right2 6554
1617: fntnum2
1618: setchar65
[A]
1619: pop
1620: right2 6554
1623: down3 196608
1627: putrule height 32768, width 393217
1636: down3 1081344
1640: push
1641: right1 1
1643: setchar66
[B]
1644: pop
1645: pop
1646: pop
1647: pop
1648: pop
1649: pop
1650: pop
1651: right3 465306
[ ]
1655: down3 5600055
1659: putrule height 596378, width 549850
1668: pop
1669: pop
1670: push
1671: down3 -2323253
1675: push
1676: right3 1015156
1680: setchar98
[ b]
1681: pop
1682: down4 8545900
1687: push
1688: push
1689: right3 1015156
[ ]
1693: down3 -65536
1697: setchar98
[b]
1698: pop
1699: push
1700: down3 -786432
1704: push
1705: right3 1590412
[ ]
1709: fntnum0
1710: setchar66
[B]
1711: pop
1712: right3 1408372
[ ]
1716: down3 393216
1720: putrule height 131072, width 378648
1729: pop
1730: pop
1731: pop
1732: push
1733: right3 1792919
[ ]
1737: down3 -65535
1741: fntnum2
1742: setchar97
[a]
1743: pop
1744: pop
1745: right3 2204340
[ ]
1749: fntnum0
1750: setchar65
[A]
1751: pop
1752: pop
1753: pop
1754: pop
1755: pop
1756: pop
1757: right3 5011840
[ ]
1761: down3 6432362
1765: setrule height 10906014, width 327680
1774: pop
1775: down3 7775850
1779: push
1780: right3 1292440
1784: setchar45
[ -]
1785: fntnum1
1786: setchar98
[b]
1787: push
1788: setchar65
[A]
1789: pop
1790: push
1791: down3 -537395
1795: push
1796: right3 98304
[ ]
1800: fntnum0
1801: setchar65
[A]
1802: pop
1803: down3 1245184
1807: push
1808: right3 98304
1812: fntnum2
1813: setchar66
[B]
1814: fntnum0
1815: setchar45
[-]
1816: pop
1817: pop
1818: push
1819: push
1820: push
1821: right3 235275
[ ]
1825: down3 -163840
1829: putrule height 589824, width 530116
1838: down3 1943143
1842: push
1843: push
1844: push
1845: push
1846: right2 6554
1849: down3 -160563
1853: putrule height 596378, width 517008
1862: down3 1382810
1866: push
1867: push
1868: push
1869: down3 -262144
1873: setchar98
[b]
1874: pop
1875: push
1876: down3 -720896
1880: push
1881: w3 196608
1885: setchar112
1886: setchar116
1887: setchar115
1888: setchar113
1889: setchar116
1890: w0 196608
1891: setchar113
1892: setchar112
1893: right3 -72816
1897: setchar117
[ ptsqt qpu]
1898: pop
1899: down3 1048576
1903: push
1904: right3 245397
[ ]
1908: setrule height 589824, width 26214
1917: pop
1918: pop
1919: push
1920: right3 320400
[ ]
1924: down3 -262144
1928: setchar98
[b]
1929: pop
1930: pop
1931: pop
1932: pop
1933: pop
1934: pop
1935: pop
1936: pop
1937: pop
1938: pop
1939: pop
1940: eop
1941: beginning of page -2.0.0.0.11.0.327680.1572864.0.-1073741823
1986: down4 1001179648
1991: push
1992: push
1993: right1 1
[ ]
1995: down3 -65536
1999: xxx '-12'
2004: pop
2005: pop
2006: y3 655360
2010: y0 655360
2011: down3 983040
2015: push
2016: push
2017: right3 196609
[ ]
2021: fntnum0
2022: setchar65
[A]
2023: push
2024: push
2025: right3 83740
2029: down3 -262144
2033: setchar98
[b]
2034: pop
2035: push
2036: push
2037: right3 286902
[ ]
2041: down3 -425984
2045: putrule height 65536, width 104858
2054: down3 688128
2058: push
2059: push
2060: down3 -360448
2064: fntnum1
2065: setchar98
[b]
2066: pop
2067: pop
2068: pop
2069: pop
2070: pop
2071: pop
2072: push
2073: push
2074: down3 589825
2078: push
2079: right3 4500861
[ ]
2083: fntnum0
2084: setchar97
2085: setchar97
[aa]
2086: pop
2087: pop
2088: pop
2089: pop
2090: eop
2091: beginning of page -2.0.0.0.11.0.327680.1572864.1073741823.-1073741823
2136: down4 1001179648
2141: push
2142: right3 196609
[ ]
2146: fntnum0
2147: setchar65
2148: right3 373830
[A ]
2152: set1 130
2154: pop
2155: down3 655360
2159: eop
2160: beginning of page -2.0.0.0.11.196608.327680.1572864.1073741823.0
2205: down4 1001179648
2210: push
2211: down3 -262144
2215: push
2216: right3 196609
[ ]
2220: fntnum0
2221: setchar65
2222: w3 131072
2226: setchar65
2227: w0 131072
2228: setchar65
[A A A]
2229: down3 65536
2233: setrule height 524288, width 327680
2242: pop
2243: y3 655360
2247: push
2248: right3 196609
2252: setchar65
2253: right3 196608
2257: setchar65
[ A A]
2258: pop
2259: down3 131072
2263: push
2264: right3 196609
2268: setchar65
2269: w3 131072
2273: setchar65
2274: w0 131072
2275: setchar65
[ A A A]
2276: pop
2277: y0 655360
2278: push
2279: right3 196609
2283: setchar65
2284: right3 196608
2288: setchar65
[ A A]
2289: pop
2290: pop
2291: y3 720896
2295: push
2296: down3 -655360
2300: down3 655360
2304: pop
2305: down3 655360
2309: push
2310: down3 -262144
2314: push
2315: right3 196609
2319: setchar65
[ A]
2320: pop
2321: pop
2322: y0 720896
2323: push
2324: down2 -32767
2327: push
2328: push
2329: right3 198462
[ ]
2333: down3 -163841
2337: setchar66
[B]
2338: pop
2339: right3 558912
2343: setchar65
2344: setchar65
[ AA]
2345: pop
2346: pop
2347: eop
2348: beginning of page -2.2.-1118806.0.11.196608.327680.1572864.1073741823.0
2393: down4 1001179648
2398: push
2399: push
2400: right3 -104176
[ ]
2404: fntnum0
2405: setchar66
[B]
2406: push
2407: down3 -1310720
2411: y3 655360
2415: y0 655360
2416: push
2417: right3 196608
2421: setchar65
[ A]
2422: pop
2423: pop
2424: pop
2425: push
2426: push
2427: down3 622591
2431: push
2432: down3 458752
2436: push
2437: right3 6895421
2441: setchar65
[ A]
2442: pop
2443: pop
2444: pop
2445: pop
2446: pop
2447: y3 655360
2451: push
2452: push
2453: right3 420112
2457: setchar98
2458: right4 12176941
2463: setchar98
[ b b]
2464: pop
2465: pop
2466: y0 655360
2467: eop
2468: beginning of page -2.2.-1118806.0.11.196608.327680.1572864.1073741823.0
2513: down3 1179648
2517: z3 655360
2521: push
2522: push
2523: right3 196608
[ ]
2527: down3 -537395
2531: fntnum1
2532: setchar77
[M]
2533: pop
2534: pop
2535: y4 203921760
2540: y0 203921760
2541: push
2542: push
2543: right3 196608
[ ]
2547: fntnum0
2548: setchar116
2549: setchar116
[tt]
2550: pop
2551: pop
2552: z0 655360
2553: z0 655360
2554: down4 232364531
2559: push
2560: push
2561: push
2562: right3 393216
[ ]
2566: down4 -17616141
2571: fntdef1 3: trip---loaded at size 134217727 DVI units
(this font is magnified 40960%)
2591: fntnum3
2592: setchar98
[b]
2593: pop
2594: pop
2595: push
2596: push
2597: down3 -1376253
2601: push
2602: right4 40658554
[ ]
2607: fntnum0
2608: setchar0
2609: pop
2610: y3 65535
2614: push
2615: right4 40658554
[ ]
2620: setchar0
2621: pop
2622: y0 65535
2623: push
2624: right4 40658554
[ ]
2629: setchar0
2630: pop
2631: y0 65535
2632: push
2633: right4 40658554
[ ]
2638: setchar0
2639: pop
2640: down3 589824
2644: push
2645: right4 40658554
2650: setchar65
[ A]
2651: pop
2652: down1 -1
2654: push
2655: right4 40658554
[ ]
2660: setchar0
2661: pop
2662: y0 65535
2663: push
2664: right4 40658554
[ ]
2669: setchar0
2670: pop
2671: y0 65535
2672: push
2673: right4 40658554
[ ]
2678: setchar0
2679: pop
2680: y0 65535
2681: push
2682: right4 40658554
[ ]
2687: setchar0
2688: pop
2689: z0 655360
2690: push
2691: right4 40658554
2696: setchar66
[ B]
2697: pop
2698: pop
2699: right4 41117306
2704: setchar65
2705: w3 65536
2709: setchar97
[ Aa]
2710: push
2711: w0 65536
2712: down4 -20591485
2717: fntnum3
2718: setchar0
2719: pop
2720: pop
2721: right4 135463022
[ ]
2726: fntnum0
2727: setchar65
[A]
2728: pop
2729: down4 9227503
2734: z0 655360
2735: z0 655360
2736: z0 655360
2737: z0 655360
2738: down2 26214
2741: putrule height 26214, width 135659630
2750: eop
2751: beginning of page -1.2.-1118806.0.11.196608.327680.1572864.1073741823.0
2796: down3 1179648
2800: eop
Postamble starts at byte 2801.
maxv=1073741823, maxh=539754497, maxstackdepth=17, totalpages=16
Font 3: trip scaled 409600
Font 2: trip scaled 4000
Font 1: trip
Font 0: trip scaled 2000
|