home *** CD-ROM | disk | FTP | other *** search
/ Geek Gadgets 1 / ADE-1.bin / ade-dist / unixtex-6.1b-src.tgz / tar.out / contrib / unixtex / web2c / tex / TeXtrip / trip.typ < prev    next >
Encoding:
Text File  |  1996-09-28  |  17.6 KB  |  1,216 lines
  1. This is DVItype, Version 3.4
  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 1993.02.27:0025'
  10.  
  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 
  21.  
  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 
  102. [A]
  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 
  113. [A]
  114. 287: pop 
  115. 288: w3 131072 
  116. [ ]
  117. 292: push 
  118. 293: setchar65 
  119. [A]
  120. 294: pop 
  121. 295: w0 131072 
  122. [ ]
  123. 296: push 
  124. 297: setchar65 
  125. [A]
  126. 298: pop 
  127. 299: w0 131072 
  128. [ ]
  129. 300: push 
  130. 301: setchar65 
  131. [A]
  132. 302: pop 
  133. 303: right3 229371 
  134. [ ]
  135. 307: push 
  136. 308: setchar65 
  137. [A]
  138. 309: pop 
  139. 310: w0 131072 
  140. [ ]
  141. 311: push 
  142. 312: setchar65 
  143. [A]
  144. 313: pop 
  145. 314: w0 131072 
  146. [ ]
  147. 315: push 
  148. 316: setchar65 
  149. [A]
  150. 317: pop 
  151. 318: w0 131072 
  152. [ ]
  153. 319: push 
  154. 320: setchar65 
  155. [A]
  156. 321: pop 
  157. 322: w3 144181 
  158. [ ]
  159. 326: push 
  160. 327: setchar65 
  161. [A]
  162. 328: pop 
  163. 329: w0 144181 
  164. [ ]
  165. 330: push 
  166. 331: setchar65 
  167. [A]
  168. 332: pop 
  169. 333: w0 144181 
  170. [ ]
  171. 334: push 
  172. 335: setchar65 
  173. [A]
  174. 336: pop 
  175. 337: w0 144181 
  176. [ ]
  177. 338: push 
  178. 339: setchar65 
  179. [A]
  180. 340: pop 
  181. 341: pop 
  182. 342: pop 
  183. 343: eop 
  184.  
  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 
  191. [A]
  192. 398: down3 65536 
  193. 402: setrule height 524288, width 327680 
  194. 411: pop 
  195. 412: y3 1880637 
  196. 416: push 
  197. 417: setchar65 
  198. [A]
  199. 418: down3 65536 
  200. 422: setrule height 524288, width 327680 
  201. 431: pop 
  202. 432: y0 1880637 
  203. 433: push 
  204. 434: setchar65 
  205. [A]
  206. 435: down3 65536 
  207. 439: setrule height 524288, width 327680 
  208. 448: pop 
  209. 449: down3 -1396163 
  210. 453: push 
  211. 454: setchar65 
  212. [A]
  213. 455: down3 65536 
  214. 459: setrule height 524288, width 327680 
  215. 468: pop 
  216. 469: pop 
  217. 470: eop 
  218.  
  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 
  227. [A]
  228. 541: down3 65536 
  229. 545: setrule height 524288, width 327680 
  230. 554: pop 
  231. 555: pop 
  232. 556: eop 
  233.  
  234. 557: beginning of page -333.0.0.0.11.0.0.0.0.0 
  235. 602: eop 
  236.  
  237. 603: beginning of page -2.0.0.0.11.0.0.0.0.0 
  238. 648: eop 
  239.  
  240. 649: beginning of page -2.0.0.0.11.0.0.0.0.0 
  241. 694: down4 1072300032 
  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 
  282.  
  283. 774: beginning of page -2.0.0.0.11.0.0.0.0.0 
  284. 819: down4 1065418752 
  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 
  389.  
  390. 987: beginning of page -2.0.0.0.11.0.327680.0.0.0 
  391. 1032: down4 1071448064 
  392. 1037: push 
  393. 1038: right3 262145 
  394. [ ]
  395. 1042: fntnum0 
  396. 1043: setchar45 
  397. [-]
  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 
  417.  
  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 
  431. [A]
  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 
  440. [A]
  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 
  450. [b]
  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 
  482. [-]
  483. 1264: pop 
  484. 1265: push 
  485. 1266: right3 425989 
  486. [ ]
  487. 1270: fntnum0 
  488. 1271: setchar65 
  489. [A]
  490. 1272: push 
  491. 1273: down3 -530842 
  492. 1277: push 
  493. 1278: push 
  494. 1279: right3 65536 
  495. 1283: down3 -131072 
  496. 1287: setchar97 
  497. [a]
  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 
  517. [A]
  518. 1328: pop 
  519. 1329: right3 97649 
  520. [ ]
  521. 1333: fntnum0 
  522. 1334: setchar65 
  523. [A]
  524. 1335: push 
  525. 1336: down3 268698 
  526. 1340: setchar45 
  527. [-]
  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 
  550. [A]
  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 
  560. [a]
  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 
  575. [C]
  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 
  585. [B]
  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 
  596. [M]
  597. 1451: pop 
  598. 1452: pop 
  599. 1453: down3 524288 
  600. 1457: push 
  601. 1458: right3 2057476 
  602. [ ]
  603. 1462: fntnum1 
  604. 1463: setchar67 
  605. [C]
  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 
  616. [a]
  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 
  643. [A]
  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 
  659. [B]
  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 
  672. [A]
  673. 1578: pop 
  674. 1579: down3 2451048 
  675. 1583: push 
  676. 1584: right3 471860 
  677. [ ]
  678. 1588: fntnum0 
  679. 1589: setchar65 
  680. [A]
  681. 1590: push 
  682. 1591: down3 -530842 
  683. 1595: push 
  684. 1596: right3 65536 
  685. 1600: fntnum1 
  686. 1601: setchar45 
  687. [-]
  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 
  697. [A]
  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 
  706. [B]
  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 
  734. [b]
  735. 1698: pop 
  736. 1699: push 
  737. 1700: down3 -786432 
  738. 1704: push 
  739. 1705: right3 1590412 
  740. [ ]
  741. 1709: fntnum0 
  742. 1710: setchar66 
  743. [B]
  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 
  758. [a]
  759. 1743: pop 
  760. 1744: pop 
  761. 1745: right3 2204340 
  762. [ ]
  763. 1749: fntnum0 
  764. 1750: setchar65 
  765. [A]
  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 
  784. [b]
  785. 1787: push 
  786. 1788: setchar65 
  787. [A]
  788. 1789: pop 
  789. 1790: push 
  790. 1791: down3 -537395 
  791. 1795: push 
  792. 1796: right3 98304 
  793. [ ]
  794. 1800: fntnum0 
  795. 1801: setchar65 
  796. [A]
  797. 1802: pop 
  798. 1803: down3 1245184 
  799. 1807: push 
  800. 1808: right3 98304 
  801. 1812: fntnum2 
  802. 1813: setchar66 
  803. [B]
  804. 1814: fntnum0 
  805. 1815: setchar45 
  806. [-]
  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 
  830. [b]
  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 
  860. [b]
  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 
  873.  
  874. 1941: beginning of page -2.0.0.0.11.0.327680.1572864.0.-1073741823 
  875. 1986: down4 1070596096 
  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 
  893. [A]
  894. 2023: push 
  895. 2024: push 
  896. 2025: right3 83740 
  897. 2029: down3 -262144 
  898. 2033: setchar98 
  899. [b]
  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 
  913. [b]
  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 
  935.  
  936. 2091: beginning of page -2.0.0.0.11.0.327680.1572864.1073741823.-1073741823 
  937. 2136: down4 1072300032 
  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 
  949.  
  950. 2160: beginning of page -2.0.0.0.11.196608.327680.1572864.1073741823.0 
  951. 2205: down4 1071513600 
  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 
  1017. [B]
  1018. 2338: pop 
  1019. 2339: right3 558912 
  1020. 2343: setchar65 
  1021. 2344: setchar65 
  1022. [ AA]
  1023. 2345: pop 
  1024. 2346: pop 
  1025. 2347: eop 
  1026.  
  1027. 2348: beginning of page -2.2.-1118806.0.11.196608.327680.1572864.1073741823.0 
  1028. 2393: down4 1072300032 
  1029. 2398: push 
  1030. 2399: push 
  1031. 2400: right3 -104176 
  1032. [ ]
  1033. 2404: fntnum0 
  1034. 2405: setchar66 
  1035. [B]
  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 
  1073.  
  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 
  1084. [M]
  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 
  1112. [b]
  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 
  1195. [A]
  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 
  1205.  
  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 
  1215.  
  1216.