⟦1eb8e8903⟧

TextFile

This is DVItype, Version 3.2
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 1990.03.24:1610'
 
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' 
533: down3 655360 
537: push 
538: fntnum0 
539: setchar65 
[A]
540: down3 65536 
544: setrule height 524288, width 327680 
553: pop 
554: pop 
555: eop 
 
556: beginning of page -333.0.0.0.11.0.0.0.0.0 
601: eop 
 
602: beginning of page -2.0.0.0.11.0.0.0.0.0 
647: eop 
 
648: beginning of page -2.0.0.0.11.0.0.0.0.0 
693: down4 1072300032 
698: push 
699: push 
700: push 
701: down3 -1441792 
705: down3 1441792 
709: pop 
710: pop 
711: push 
712: push 
713: down3 -1441792 
717: down3 1310720 
721: pop 
722: pop 
723: push 
724: push 
725: down3 -1441792 
729: down3 1310720 
733: pop 
734: pop 
735: pop 
736: y3 655360 
740: push 
741: right3 393217 
[ ]
745: fntnum0 
746: setchar65 
747: right3 131072 
751: setchar66 
[A B]
752: pop 
753: y0 655360 
754: push 
755: right3 196609 
759: setchar67 
[ C]
760: push 
761: putrule height 26214, width 393216 
770: pop 
771: pop 
772: eop 
 
773: beginning of page -2.0.0.0.11.0.0.0.0.0 
818: down4 1065418752 
823: push 
824: right3 196609 
[ ]
828: fntnum0 
829: setchar65 
830: right3 4653056 
834: setchar47 
835: right3 65536 
839: setchar65 
840: w3 131072 
844: setchar65 
845: w0 131072 
846: setchar65 
[A /A A A]
847: set1 130 
849: set1 130 
851: setchar66 
852: setchar47 
[B/]
853: pop 
854: y3 589824 
858: push 
859: right3 5898241 
863: setchar65 
864: w3 131072 
868: setchar65 
869: w0 131072 
870: setchar65 
[ A A A]
871: pop 
872: down3 524288 
876: push 
877: right3 5898241 
881: setchar65 
882: w3 131072 
886: setchar65 
887: w0 131072 
888: setchar65 
[ A A A]
889: pop 
890: y0 589824 
891: push 
892: right3 5701633 
896: setchar65 
897: w3 131072 
901: setchar65 
902: w0 131072 
903: setchar65 
904: setchar66 
[ A A AB]
905: pop 
906: y0 589824 
907: push 
908: right3 5898241 
912: setchar65 
913: w3 131072 
917: setchar65 
918: w0 131072 
919: setchar65 
[ A A A]
920: pop 
921: y0 589824 
922: push 
923: right1 1 
925: setchar65 
926: right3 131072 
930: setchar66 
931: right3 262144 
935: setchar97 
936: setchar66 
[A B aB]
937: pop 
938: down3 2031616 
942: push 
943: right3 196609 
947: setchar65 
[ A]
948: pop 
949: y3 655360 
953: push 
954: right3 262144 
958: setchar45 
[ -]
959: pop 
960: y0 655360 
961: push 
962: right3 196609 
966: setchar67 
[ C]
967: pop 
968: y0 655360 
969: push 
970: right3 196609 
974: setchar67 
[ C]
975: pop 
976: y0 655360 
977: y0 655360 
978: push 
979: right3 6422529 
983: setchar65 
[ A]
984: pop 
985: eop 
 
986: beginning of page -2.0.0.0.11.0.327680.0.0.0 
1031: down4 1071448064 
1036: push 
1037: right3 262145 
[ ]
1041: fntnum0 
1042: setchar45 
[-]
1043: pop 
1044: y3 655360 
1048: push 
1049: right3 327681 
1053: setchar45 
1054: setchar45 
[ --]
1055: pop 
1056: y0 655360 
1057: push 
1058: right3 393217 
1062: setchar45 
1063: setchar45 
1064: right3 65536 
1068: setchar65 
[ --A]
1069: pop 
1070: down3 851968 
1074: eop 
 
1075: beginning of page -2.0.0.0.11.0.327680.0.0.0 
1120: down4 639342208 
1125: push 
1126: push 
1127: push 
1128: push 
1129: down3 -602931 
1133: push 
1134: right3 740559 
[ ]
1138: fntdef1 1: trip---loaded at size 327680 DVI units 
1158: fntnum1 
1159: setchar65 
[A]
1160: pop 
1161: right3 740559 
[ ]
1165: down3 176947 
1169: putrule height 65536, width 98304 
1178: down3 635699 
1182: push 
1183: setchar65 
[A]
1184: pop 
1185: pop 
1186: pop 
1187: push 
1188: right3 845417 
[ ]
1192: down3 -262144 
1196: fntnum0 
1197: setchar98 
[b]
1198: pop 
1199: pop 
1200: right3 1078433 
1204: setchar47 
1205: right3 54612 
1209: setchar65 
1210: right2 -7280 
[ /A]
1213: fntnum1 
1214: setchar45 
1215: setchar45 
1216: right3 -72816 
[--]
1220: fntnum0 
1221: setchar65 
1222: w3 36408 
1226: setchar47 
1227: w0 36408 
1228: setchar65 
[A/A]
1229: pop 
1230: down3 4912743 
1234: push 
1235: push 
1236: push 
1237: right3 983045 
[ ]
1241: fntdef1 2: trip---loaded at size 1310720 DVI units 
 (this font is magnified 400%) 
1261: fntnum2 
1262: setchar45 
[-]
1263: pop 
1264: push 
1265: right3 425989 
[ ]
1269: fntnum0 
1270: setchar65 
[A]
1271: push 
1272: down3 -530842 
1276: push 
1277: push 
1278: right3 65536 
1282: down3 -131072 
1286: setchar97 
[a]
1287: pop 
1288: right3 196608 
1292: setchar47 
[ /]
1293: pop 
1294: pop 
1295: pop 
1296: pop 
1297: push 
1298: right3 818550 
[ ]
1302: down3 -1557300 
1306: putrule height 65536, width 984062 
1315: down3 1557300 
1319: push 
1320: push 
1321: down3 -543949 
1325: fntnum1 
1326: setchar65 
[A]
1327: pop 
1328: right3 97649 
[ ]
1332: fntnum0 
1333: setchar65 
[A]
1334: push 
1335: down3 268698 
1339: setchar45 
[-]
1340: pop 
1341: push 
1342: right3 -310131 
1346: down3 -1098548 
1350: fntnum1 
1351: setchar65 
1352: right3 98304 
1356: setchar66 
[A B]
1357: push 
1358: down3 471859 
1362: push 
1363: right3 140175 
[ ]
1367: fntnum2 
1368: set1 130 
1370: pop 
1371: down3 458754 
1375: push 
1376: push 
1377: down3 -65535 
1381: setchar65 
[A]
1382: pop 
1383: right3 411421 
1387: setchar65 
[ A]
1388: push 
1389: down3 -131072 
1393: push 
1394: right3 -65536 
1398: setchar97 
[a]
1399: pop 
1400: pop 
1401: pop 
1402: pop 
1403: pop 
1404: pop 
1405: pop 
1406: push 
1407: down3 -1179648 
1411: push 
1412: right3 1798972 
[ ]
1416: fntnum1 
1417: setchar67 
[C]
1418: pop 
1419: down3 1179648 
1423: push 
1424: push 
1425: right3 1766204 
[ ]
1429: down3 -262144 
1433: fntnum0 
1434: setchar66 
[B]
1435: pop 
1436: pop 
1437: pop 
1438: push 
1439: push 
1440: push 
1441: right3 1926404 
[ ]
1445: down3 -458752 
1449: setchar77 
[M]
1450: pop 
1451: pop 
1452: down3 524288 
1456: push 
1457: right3 2057476 
[ ]
1461: fntnum1 
1462: setchar67 
[C]
1463: pop 
1464: pop 
1465: push 
1466: push 
1467: push 
1468: right3 2414284 
[ ]
1472: down3 -3556148 
1476: fntnum0 
1477: setchar97 
[a]
1478: pop 
1479: push 
1480: right3 2610892 
[ ]
1484: down3 -3556148 
1488: putrule height 458752, width 2400948 
1497: down3 3556148 
1501: push 
1502: push 
1503: push 
1504: push 
1505: push 
1506: down3 -1245183 
1510: push 
1511: right2 6554 
1514: setchar0 
1515: pop 
1516: y3 65535 
1520: push 
1521: right2 6554 
1524: setchar0 
1525: pop 
1526: down3 589824 
1530: push 
1531: right2 6554 
1534: setchar65 
[A]
1535: pop 
1536: down1 -1 
1538: push 
1539: right2 6554 
1542: setchar0 
1543: pop 
1544: y0 65535 
1545: push 
1546: right2 6554 
1549: setchar0 
1550: pop 
1551: down3 655360 
1555: push 
1556: right2 6554 
1559: setchar66 
[B]
1560: pop 
1561: pop 
1562: push 
1563: push 
1564: push 
1565: push 
1566: down3 -1425409 
1570: push 
1571: right3 543623 
[ ]
1575: fntnum2 
1576: setchar65 
[A]
1577: pop 
1578: down3 2451048 
1582: push 
1583: right3 471860 
[ ]
1587: fntnum0 
1588: setchar65 
[A]
1589: push 
1590: down3 -530842 
1594: push 
1595: right3 65536 
1599: fntnum1 
1600: setchar45 
[-]
1601: pop 
1602: down3 1818625 
1606: push 
1607: push 
1608: down3 -638976 
1612: push 
1613: right2 6554 
1616: fntnum2 
1617: setchar65 
[A]
1618: pop 
1619: right2 6554 
1622: down3 196608 
1626: putrule height 32768, width 393217 
1635: down3 1081344 
1639: push 
1640: right1 1 
1642: setchar66 
[B]
1643: pop 
1644: pop 
1645: pop 
1646: pop 
1647: pop 
1648: pop 
1649: pop 
1650: right3 465306 
[ ]
1654: down3 5600055 
1658: putrule height 596378, width 549850 
1667: pop 
1668: pop 
1669: push 
1670: down3 -2323253 
1674: push 
1675: right3 1015156 
1679: setchar98 
[ b]
1680: pop 
1681: down4 8545900 
1686: push 
1687: push 
1688: right3 1015156 
[ ]
1692: down3 -65536 
1696: setchar98 
[b]
1697: pop 
1698: push 
1699: down3 -786432 
1703: push 
1704: right3 1590412 
[ ]
1708: fntnum0 
1709: setchar66 
[B]
1710: pop 
1711: right3 1408372 
[ ]
1715: down3 393216 
1719: putrule height 131072, width 378648 
1728: pop 
1729: pop 
1730: pop 
1731: push 
1732: right3 1792919 
[ ]
1736: down3 -65535 
1740: fntnum2 
1741: setchar97 
[a]
1742: pop 
1743: pop 
1744: right3 2204340 
[ ]
1748: fntnum0 
1749: setchar65 
[A]
1750: pop 
1751: pop 
1752: pop 
1753: pop 
1754: pop 
1755: pop 
1756: right3 5011840 
[ ]
1760: down3 6432362 
1764: setrule height 10906014, width 327680 
1773: pop 
1774: down3 7775850 
1778: push 
1779: right3 1292440 
1783: setchar45 
[ -]
1784: fntnum1 
1785: setchar98 
[b]
1786: push 
1787: setchar65 
[A]
1788: pop 
1789: push 
1790: down3 -537395 
1794: push 
1795: right3 98304 
[ ]
1799: fntnum0 
1800: setchar65 
[A]
1801: pop 
1802: down3 1245184 
1806: push 
1807: right3 98304 
1811: fntnum2 
1812: setchar66 
[B]
1813: fntnum0 
1814: setchar45 
[-]
1815: pop 
1816: pop 
1817: push 
1818: push 
1819: push 
1820: right3 235275 
[ ]
1824: down3 -163840 
1828: putrule height 589824, width 530116 
1837: down3 1943143 
1841: push 
1842: push 
1843: push 
1844: push 
1845: right2 6554 
1848: down3 -160563 
1852: putrule height 596378, width 517008 
1861: down3 1382810 
1865: push 
1866: push 
1867: push 
1868: down3 -262144 
1872: setchar98 
[b]
1873: pop 
1874: push 
1875: down3 -720896 
1879: push 
1880: w3 196608 
1884: setchar112 
1885: setchar116 
1886: setchar115 
1887: setchar113 
1888: setchar116 
1889: w0 196608 
1890: setchar113 
1891: setchar112 
1892: right3 -72816 
1896: setchar117 
[ ptsqt qpu]
1897: pop 
1898: down3 1048576 
1902: push 
1903: right3 245397 
[ ]
1907: setrule height 589824, width 26214 
1916: pop 
1917: pop 
1918: push 
1919: right3 320400 
[ ]
1923: down3 -262144 
1927: setchar98 
[b]
1928: pop 
1929: pop 
1930: pop 
1931: pop 
1932: pop 
1933: pop 
1934: pop 
1935: pop 
1936: pop 
1937: pop 
1938: pop 
1939: eop 
 
1940: beginning of page -2.0.0.0.11.0.327680.1572864.0.-1073741823 
1985: down4 1070596096 
1990: push 
1991: push 
1992: right1 1 
[ ]
1994: down3 -65536 
1998: xxx '-12' 
2003: pop 
2004: pop 
2005: y3 655360 
2009: y0 655360 
2010: down3 983040 
2014: push 
2015: push 
2016: right3 196609 
[ ]
2020: fntnum0 
2021: setchar65 
[A]
2022: push 
2023: push 
2024: right3 83740 
2028: down3 -262144 
2032: setchar98 
[b]
2033: pop 
2034: push 
2035: push 
2036: right3 286902 
[ ]
2040: down3 -425984 
2044: putrule height 65536, width 104858 
2053: down3 688128 
2057: push 
2058: push 
2059: down3 -360448 
2063: fntnum1 
2064: setchar98 
[b]
2065: pop 
2066: pop 
2067: pop 
2068: pop 
2069: pop 
2070: pop 
2071: push 
2072: push 
2073: down3 589825 
2077: push 
2078: right3 4500861 
[ ]
2082: fntnum0 
2083: setchar97 
2084: setchar97 
[aa]
2085: pop 
2086: pop 
2087: pop 
2088: pop 
2089: eop 
 
2090: beginning of page -2.0.0.0.11.0.327680.1572864.1073741823.-1073741823 
2135: down4 1072300032 
2140: push 
2141: right3 196609 
[ ]
2145: fntnum0 
2146: setchar65 
2147: right3 373830 
[A ]
2151: set1 130 
2153: pop 
2154: down3 655360 
2158: eop 
 
2159: beginning of page -2.0.0.0.11.196608.327680.1572864.1073741823.0 
2204: down4 1071513600 
2209: push 
2210: down3 -262144 
2214: push 
2215: right3 196609 
[ ]
2219: fntnum0 
2220: setchar65 
2221: w3 131072 
2225: setchar65 
2226: w0 131072 
2227: setchar65 
[A A A]
2228: down3 65536 
2232: setrule height 524288, width 327680 
2241: pop 
2242: y3 655360 
2246: push 
2247: right3 196609 
2251: setchar65 
2252: right3 196608 
2256: setchar65 
[ A A]
2257: pop 
2258: down3 131072 
2262: push 
2263: right3 196609 
2267: setchar65 
2268: w3 131072 
2272: setchar65 
2273: w0 131072 
2274: setchar65 
[ A A A]
2275: pop 
2276: y0 655360 
2277: push 
2278: right3 196609 
2282: setchar65 
2283: right3 196608 
2287: setchar65 
[ A A]
2288: pop 
2289: pop 
2290: y3 720896 
2294: push 
2295: down3 -655360 
2299: down3 655360 
2303: pop 
2304: down3 655360 
2308: push 
2309: down3 -262144 
2313: push 
2314: right3 196609 
2318: setchar65 
[ A]
2319: pop 
2320: pop 
2321: y0 720896 
2322: push 
2323: down2 -32767 
2326: push 
2327: push 
2328: right3 198462 
[ ]
2332: down3 -163841 
2336: setchar66 
[B]
2337: pop 
2338: right3 558912 
2342: setchar65 
2343: setchar65 
[ AA]
2344: pop 
2345: pop 
2346: eop 
 
2347: beginning of page -2.2.-1118806.0.11.196608.327680.1572864.1073741823.0 
2392: down4 1072300032 
2397: push 
2398: push 
2399: right3 -104176 
[ ]
2403: fntnum0 
2404: setchar66 
[B]
2405: push 
2406: down3 -1310720 
2410: y3 655360 
2414: y0 655360 
2415: push 
2416: right3 196608 
2420: setchar65 
[ A]
2421: pop 
2422: pop 
2423: pop 
2424: push 
2425: push 
2426: down3 622591 
2430: push 
2431: down3 458752 
2435: push 
2436: right3 6895421 
2440: setchar65 
[ A]
2441: pop 
2442: pop 
2443: pop 
2444: pop 
2445: pop 
2446: y3 655360 
2450: push 
2451: push 
2452: right3 420112 
2456: setchar98 
2457: right4 12176941 
2462: setchar98 
[ b b]
2463: pop 
2464: pop 
2465: y0 655360 
2466: eop 
 
2467: beginning of page -2.2.-1118806.0.11.196608.327680.1572864.1073741823.0 
2512: down3 1179648 
2516: z3 655360 
2520: push 
2521: push 
2522: right3 196608 
[ ]
2526: down3 -537395 
2530: fntnum1 
2531: setchar77 
[M]
2532: pop 
2533: pop 
2534: y4 203921760 
2539: y0 203921760 
2540: push 
2541: push 
2542: right3 196608 
[ ]
2546: fntnum0 
2547: setchar116 
2548: setchar116 
[tt]
2549: pop 
2550: pop 
2551: z0 655360 
2552: z0 655360 
2553: down4 232364531 
2558: push 
2559: push 
2560: push 
2561: right3 393216 
[ ]
2565: down4 -17616141 
2570: fntdef1 3: trip---loaded at size 134217727 DVI units 
 (this font is magnified 40960%) 
2590: fntnum3 
2591: setchar98 
[b]
2592: pop 
2593: pop 
2594: push 
2595: push 
2596: down3 -1376253 
2600: push 
2601: right4 40676759 
[ ]
2606: fntnum0 
2607: setchar0 
2608: pop 
2609: y3 65535 
2613: push 
2614: right4 40676759 
[ ]
2619: setchar0 
2620: pop 
2621: y0 65535 
2622: push 
2623: right4 40676759 
[ ]
2628: setchar0 
2629: pop 
2630: y0 65535 
2631: push 
2632: right4 40676759 
[ ]
2637: setchar0 
2638: pop 
2639: down3 589824 
2643: push 
2644: right4 40676759 
2649: setchar65 
[ A]
2650: pop 
2651: down1 -1 
2653: push 
2654: right4 40676759 
[ ]
2659: setchar0 
2660: pop 
2661: y0 65535 
2662: push 
2663: right4 40676759 
[ ]
2668: setchar0 
2669: pop 
2670: y0 65535 
2671: push 
2672: right4 40676759 
[ ]
2677: setchar0 
2678: pop 
2679: y0 65535 
2680: push 
2681: right4 40676759 
[ ]
2686: setchar0 
2687: pop 
2688: z0 655360 
2689: push 
2690: right4 40676759 
2695: setchar66 
[ B]
2696: pop 
2697: pop 
2698: right4 41135511 
2703: setchar65 
2704: w3 65536 
2708: setchar97 
[ Aa]
2709: push 
2710: w0 65536 
2711: down4 -20591485 
2716: fntnum3 
2717: setchar0 
2718: pop 
2719: pop 
2720: right4 135481227 
[ ]
2725: fntnum0 
2726: setchar65 
[A]
2727: pop 
2728: down4 9227503 
2733: z0 655360 
2734: z0 655360 
2735: z0 655360 
2736: z0 655360 
2737: down2 26214 
2740: putrule height 26214, width 135677835 
2749: eop 
 
2750: beginning of page -1.2.-1118806.0.11.196608.327680.1572864.1073741823.0 
2795: down3 1179648 
2799: eop 
Postamble starts at byte 2800.
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
DataMuseum.dk

DKUUG/EUUG Conference tapes

⟦1eb8e8903⟧ TextFile

Derivation

TextFile
