Plan 9 from Bell Labs’s /usr/web/sources/contrib/steve/root/sys/src/cmd/tex/web2c/triptrap/trip.typ

Copyright © 2021 Plan 9 Foundation.
Distributed under the MIT License.
Download the Plan 9 distribution.


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 
 

Bell Labs OSI certified Powered by Plan 9

(Return to Plan 9 Home Page)

Copyright © 2021 Plan 9 Foundation. All Rights Reserved.
Comments to webmaster@9p.io.