DataMuseum.dk

Presents historical artifacts from the history of:

Rational R1000/400 Tapes

This is an automatic "excavation" of a thematic subset of
artifacts from Datamuseum.dk's BitArchive.

See our Wiki for more about Rational R1000/400 Tapes

Excavated with: AutoArchaeologist - Free & Open Source Software. 

top - metrics - download
Index: T V

⟦a2f46f151⟧ TextFile

    Length: 10439 (0x28c7)
    Types: TextFile
    Names: »V«

Derivation

└─⟦180fe333a⟧ Bits:30000405 8mm tape, Rational 1000, SW CATALOG, 10_20_0
└─⟦180fe333a⟧ Bits:30000537 8mm tape, Rational 1000, SW Catalog 10_20_0
    └─⟦5cb1d1d7f⟧ »DATA« 
        └─⟦3b1ee7bd8⟧ 
            └─⟦this⟧

TextFile

with Parsetables;
use Parsetables;
package Parse_Tab_5c is
    Act_Tab : constant array (1 .. 2180) of Gc.Parserinteger :=
       (122, 8709, 43, 44, 0, 0, 45, 0, 0, 8711, 39, 8713, 438, 323, 0, 0, 868,
        0, 8715, 8717, 40, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 37, 0, 0, 0, 399,
        0, 0, 309, 42, 310, 8719, 0, 0, 45, 1578, 0, 8721, 8724, 8726, 8728,
        0, 0, 45, 0, 0, 8730, 634, 8732, 0, 1578, 1578, 8734, 38, 39, 40, 0,
        0, 0, 171, 8736, 0, 0, 0, 0, 407, 0, 1578, 1578, 0, 1578, 286, 0, 0,
        0, 0, 0, 0, 0, 0, 1578, 1578, 8738, 122, 8740, 8743, 44, 0, 195, 45,
        1578, 0, 46, 635, 8745, 53, 54, 0, 0, 0, 55, 0, 0, 0, 646, 146, 0, 900,
        0, 385, 286, 8747, 0, 0, 0, 0, 0, 8749, 8751, 8753, 8757, 171, 8759,
        8762, 70, 8764, 8766, 0, 88, 8768, 171, 0, 292, 0, 0, 711, 0, 0, 686, 0,
        64, 8770, 66, 67, 0, 68, 69, 70, 71, 72, 0, 0, 73, 0, 0, 0, 52, 53, 54,
        0, 0, 8772, 8774, 40, 0, 8776, 53, 54, 0, 0, 0, 8778, 59, 60, 61, 62,
        8780, 8782, 0, 8785, 8787, 8789, 8792, 61, 8794, 8796, 70, 71, 8798, 65,
        66, 8800, 42, 8803, 8805, 70, 8808, 8810, 391, 924, 8812, 0, 47, 0, 0,
        0, 0, 122, 42, 43, 44, 8814, 53, 8816, 0, 0, 8818, 55, 0, 0, 668, 688,
        89, 689, 472, 48, 0, 0, 8820, 146, 713, 0, 0, 0, 64, 8822, 8824, 67, 0,
        8826, 8828, 8830, 71, 8832, 0, 0, 8834, 8837, 38, 39, 40, 195, 714, 0,
        118, 0, 0, 0, 257, 0, 0, 0, 459, 981, 0, 0, 0, 0, 0, 8839, 8841, 8843,
        44, 50, 0, 45, 966, 623, 8846, 42, 43, 44, 8848, 0, 8850, 1484, 763,
        8852, 0, 8854, 0, 973, 0, 647, 0, 0, 0, 0, 0, 0, 8856, 0, 0, 0, 0, 0,
        0, 0, 8858, 0, 76, 0, 0, 0, 0, 0, 0, 0, 312, 52, 53, 8860, 314, 315,
        37, 8862, 0, 0, 8864, 0, 0, 56, 8866, 37, 8868, 8871, 8874, 8876, 62,
        8880, 530, 55, 8882, 8884, 8888, 67, 890, 68, 8891, 70, 71, 72, 0, 0,
        8893, 0, 38, 39, 40, 0, 8895, 298, 171, 848, 8897, 8899, 8901, 8903,
        0, 0, 0, 171, 0, 993, 0, 0, 0, 0, 0, 134, 135, 136, 0, 0, 0, 0, 122,
        8905, 8907, 8909, 0, 0, 45, 0, 0, 8911, 42, 8913, 8917, 54, 0, 45, 0,
        55, 46, 392, 8919, 53, 54, 0, 0, 0, 55, 0, 0, 974, 0, 0, 8923, 0, 0, 58,
        59, 8925, 8927, 62, 63, 70, 71, 8929, 65, 66, 8931, 531, 68, 69, 70,
        8933, 72, 0, 0, 73, 0, 0, 0, 0, 0, 0, 0, 0, 38, 8935, 40, 0, 0, 0, 0,
        0, 0, 0, 0, 0, 0, 334, 0, 0, 0, 0, 8937, 53, 54, 0, 0, 0, 636, 243, 0,
        8940, 0, 171, 122, 42, 43, 44, 0, 0, 45, 0, 171, 46, 0, 47, 0, 0, 0,
        901, 0, 0, 553, 0, 0, 554, 74, 37, 0, 1001, 0, 0, 0, 555, 556, 0, 141,
        142, 52, 53, 54, 0, 0, 79, 8942, 0, 0, 52, 8944, 8946, 0, 474, 8948,
        8950, 533, 534, 535, 536, 0, 38, 8953, 8955, 8958, 8960, 8962, 61, 8965,
        8967, 70, 8969, 8971, 65, 8973, 8975, 0, 68, 69, 70, 8977, 72, 0, 0, 73,
        1024, 0, 357, 286, 0, 8979, 122, 42, 43, 44, 1143, 0, 45, 0, 171, 8981,
        0, 47, 940, 852, 0, 0, 680, 0, 37, 0, 0, 0, 0, 0, 0, 0, 638, 1143, 0,
        0, 0, 1143, 0, 1143, 0, 0, 1143, 0, 715, 0, 0, 0, 0, 52, 8983, 8986,
        1143, 561, 0, 55, 8988, 8990, 40, 0, 0, 0, 562, 0, 58, 59, 60, 8993,
        8996, 8998, 9000, 567, 9002, 9005, 9008, 9010, 1143, 9012, 9016, 9019,
        9022, 9024, 0, 0, 9026, 9029, 9031, 9033, 9036, 9040, 1143, 0, 9042,
        9045, 1143, 46, 576, 47, 0, 171, 0, 0, 266, 0, 0, 0, 0, 855, 0, 37, 0,
        0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
        52, 53, 54, 0, 0, 0, 55, 38, 39, 40, 0, 0, 336, 0, 0, 0, 0, 0, 0, 0, 0,
        0, 0, 64, 65, 66, 67, 0, 68, 69, 70, 71, 72, 0, 982, 73, 670, 810, 42,
        9047, 44, 0, 0, 9049, 0, 9052, 46, 0, 47, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
        0, 0, 259, 0, 0, 0, 0, 0, 0, 926, 0, 502, 0, 0, 0, 0, 0, 229, 0, 0, 0,
        52, 9054, 54, 294, 0, 0, 55, 300, 0, 0, 0, 0, 0, 0, 243, 0, 0, 0, 176,
        0, 0, 0, 0, 64, 65, 9056, 9058, 394, 68, 9060, 70, 71, 72, 0, 723, 73,
        0, 0, 0, 265, 0, 0, 0, 751, 0, 0, 0, 752, 0, 612, 811, 812, 479, 798,
        739, 0, 0, 0, 0, 0, 0, 0, 0, 870, 0, 0, 0, 0, 0, 0, 249, 0, 0, 740, 122,
        0, 9062, 44, 701, 0, 0, 116, 149, 0, 0, 52, 9064, 54, 0, 0, 0, 55, 0,
        0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 260, 64, 65, 66, 67, 0, 68,
        69, 70, 71, 9066, 0, 0, 73, 194, 0, 0, 0, 0, 185, 37, 194, 37, 316, 0,
        0, 91, 0, 0, 0, 0, 0, 0, 0, 0, 0, 37, 0, 0, 0, 0, 92, 0, 0, 0, 0, 0,
        0, 0, 0, 0, 0, 38, 39, 9068, 39, 40, 0, 0, 120, 9070, 902, 0, 0, 0, 0,
        0, 0, 9072, 39, 40, 195, 0, 0, 0, 471, 0, 0, 195, 0, 0, 0, 122, 9074,
        9076, 9078, 43, 44, 45, 0, 45, 46, 0, 9081, 0, 9083, 9086, 54, 309, 42,
        310, 44, 0, 180, 45, 75, 0, 9088, 0, 47, 0, 0, 0, 941, 0, 0, 0, 0, 0,
        0, 716, 0, 426, 0, 377, 754, 0, 0, 0, 0, 755, 0, 0, 0, 0, 825, 0, 0,
        0, 0, 9090, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 891, 0, 93, 9092, 0, 0, 323,
        0, 0, 786, 0, 0, 0, 267, 0, 9094, 0, 233, 0, 0, 0, 0, 0, 0, 171, 37,
        171, 0, 0, 286, 0, 0, 0, 513, 514, 0, 0, 0, 0, 0, 171, 0, 757, 758, 759,
        760, 9096, 762, 0, 9098, 9100, 0, 0, 0, 0, 0, 0, 38, 39, 9102, 9104,
        9106, 9108, 9110, 37, 55, 0, 55, 0, 0, 0, 0, 0, 0, 0, 52, 53, 54, 0, 0,
        0, 55, 9112, 9114, 9116, 9120, 66, 9122, 9125, 9128, 9131, 9136, 9139,
        9142, 9145, 9147, 9149, 39, 9152, 9155, 66, 67, 0, 9158, 69, 70, 71, 72,
        0, 0, 73, 9160, 122, 42, 43, 44, 0, 0, 45, 877, 0, 9162, 0, 47, 0, 0,
        122, 42, 9164, 44, 0, 0, 45, 702, 0, 46, 0, 47, 0, 0, 0, 0, 0, 9166, 0,
        0, 0, 0, 9168, 13, 14, 0, 0, 0, 0, 0, 0, 0, 471, 0, 442, 0, 0, 0, 0,
        9170, 472, 0, 16, 124, 0, 0, 0, 0, 77, 0, 0, 0, 198, 318, 125, 0, 200,
        201, 0, 0, 0, 0, 613, 0, 0, 479, 0, 0, 265, 0, 0, 0, 0, 0, 126, 0, 0,
        0, 0, 811, 928, 0, 9172, 0, 0, 0, 0, 0, 0, 52, 53, 54, 957, 171, 9175,
        55, 0, 809, 9177, 203, 9179, 205, 9181, 207, 9183, 9186, 9188, 61, 62,
        9190, 1240, 395, 9192, 65, 9194, 9199, 9203, 9205, 9207, 9209, 9211,
        9213, 9216, 213, 9218, 9221, 122, 0, 9223, 9226, 54, 0, 0, 9229, 55, 0,
        16, 9231, 65, 9233, 9235, 0, 68, 9237, 70, 71, 9240, 318, 0, 9242, 358,
        9244, 9247, 9249, 67, 359, 68, 69, 9251, 71, 9253, 0, 9255, 73, 0, 1240,
        0, 1240, 1240, 0, 0, 0, 38, 39, 40, 0, 0, 0, 0, 319, 0, 214, 215, 216,
        0, 320, 321, 9257, 103, 104, 717, 0, 406, 0, 0, 9259, 485, 486, 487,
        488, 407, 0, 122, 42, 43, 44, 0, 0, 45, 0, 941, 46, 0, 47, 0, 0, 0, 0,
        0, 903, 1009, 0, 0, 427, 0, 0, 0, 9261, 0, 0, 0, 0, 0, 0, 0, 0, 967, 0,
        0, 0, 0, 0, 849, 0, 0, 577, 0, 0, 0, 0, 0, 0, 243, 0, 52, 9263, 9267, 0,
        0, 38, 9270, 40, 0, 0, 0, 0, 37, 0, 0, 0, 0, 0, 0, 489, 0, 0, 97, 490,
        9272, 320, 321, 102, 103, 104, 9275, 25, 0, 26, 27, 122, 42, 9277, 44,
        0, 0, 9279, 0, 219, 9282, 39, 9285, 0, 0, 460, 0, 241, 0, 858, 859, 0,
        0, 0, 0, 0, 0, 0, 0, 0, 0, 229, 0, 0, 0, 0, 0, 0, 0, 0, 122, 42, 9287,
        9290, 54, 919, 45, 0, 9292, 9295, 411, 412, 47, 474, 415, 194, 635, 32,
        416, 64, 577, 66, 220, 68, 221, 69, 417, 222, 70, 223, 71, 243, 72, 171,
        27, 402, 52, 729, 795, 53, 798, 151, 62, 79, 958, 63, 64, 33, 52, 703,
        152, 66, 153, 72, 774, 73, 116, 1578, 84, 996, 1578, 788, 445, 1377,
        446, 968, 249, 1025, 45, 405, 187, 146, 334, 1143, 39, 122, 37, 860,
        556, 122, 1143, 42, 175, 43, 1143, 286, 45, 1143, 469, 38, 1143, 39,
        1063, 40, 1143, 47, 52, 54, 673, 505, 59, 984, 60, 1019, 985, 63, 68,
        177, 502, 69, 73, 85, 262, 171, 286, 850, 677, 52, 94, 54, 959, 171,
        751, 573, 55, 3, 323, 173, 775, 68, 742, 70, 880, 188, 54, 428, 60, 904,
        145, 121, 61, 146, 65, 147, 1037, 67, 73, 38, 254, 44, 1026, 47, 41,
        37, 910, 45, 494, 37, 881, 85, 361, 40, 116, 38, 41, 37, 579, 44, 580,
        125, 704, 45, 754, 47, 146, 51, 755, 38, 276, 40, 147, 121, 176, 376,
        1237, 49, 118, 42, 1240, 43, 1238, 64, 52, 65, 53, 1240, 66, 54, 45,
        1237, 67, 4, 430, 5, 68, 46, 6, 69, 311, 55, 7, 1571, 70, 47, 1571, 72,
        8, 1238, 73, 56, 1240, 57, 1237, 59, 50, 1238, 60, 144, 62, 513, 619,
        63, 1240, 514, 1237, 66, 541, 67, 1571, 51, 861, 70, 759, 71, 911, 760,
        286, 72, 1237, 762, 146, 171, 116, 342, 190, 37, 38, 39, 58, 40, 52,
        59, 124, 53, 60, 406, 54, 61, 390, 65, 58, 71, 59, 72, 62, 73, 505, 66,
        41, 68, 42, 69, 38, 43, 70, 39, 44, 71, 126, 40, 72, 881, 46, 815, 37,
        37, 838, 128, 98, 9, 42, 58, 43, 542, 59, 44, 60, 470, 61, 45, 118, 63,
        46, 64, 47, 66, 816, 67, 817, 343, 68, 99, 851, 69, 38, 70, 39, 71, 16,
        40, 72, 550, 81, 789, 74, 50, 155, 122, 46, 42, 635, 43, 47, 45, 51,
        621, 732, 648, 449, 412, 776, 1038, 649, 804, 415, 171, 311, 55, 396,
        315, 74, 1011, 62, 191, 650, 66, 390, 71, 52, 286, 72, 54, 350, 55, 277,
        265, 45, 146, 171, 300, 59, 147, 60, 811, 63, 243, 798, 64, 72, 101, 73,
        103, 55, 58, 60, 424, 61, 146, 341, 62, 278, 65, 147, 837, 66, 64, 72,
        67, 73, 249, 105, 362, 325, 313, 193, 343, 122, 107, 44, 16, 639, 171,
        912, 122, 65, 249, 745, 67, 791, 171, 37, 640, 194, 55, 67, 109, 432,
        27, 689, 229, 1027, 46, 300, 1028, 47, 407, 234, 654, 471, 265, 590,
        591, 1520, 592, 544, 678, 582, 473, 405, 1520, 53, 792, 820, 595, 65,
        793, 66, 1328, 544, 84, 116, 596, 38, 597, 40, 1030, 546, 323, 1425,
        913, 122, 42, 1425, 43, 1425, 390, 44, 365, 37, 1020, 864, 250, 945,
        695, 827, 42, 1237, 171, 1237, 52, 54, 302, 474, 303, 841, 64, 1214,
        65, 174, 1240, 66, 976, 67, 131, 746, 1240, 68, 10, 747, 69, 7, 748,
        1240, 70, 1240, 71, 1004, 72, 8, 116, 85, 86, 53, 110, 1557, 66, 271,
        67, 914, 69, 37, 70, 38, 177, 801, 379, 1118, 1238, 176, 1240, 749, 122,
        750, 42, 1237, 43, 1238, 44, 933, 550, 87, 45, 118, 88, 1237, 47, 503,
        617, 122, 1239, 42, 434, 43, 1238, 47, 1240, 725, 409, 194, 411, 87,
        158, 577, 406, 122, 417, 43, 243, 44, 407, 1015, 194, 39, 811, 200, 797,
        201, 43, 52, 44, 656, 53, 1418, 43, 387, 44, 64, 47, 52, 66, 53, 67,
        54, 235, 55, 71, 1143, 72, 202, 73, 205, 753, 206, 657, 210, 195, 65,
        70, 1143, 252, 211, 71, 212, 72, 213, 696, 1143, 408, 304, 411, 284,
        415, 1143, 1143, 286, 720, 1143, 416, 1143, 475, 1143, 707, 1143, 417,
        1143, 37, 1143, 214, 1143, 215, 946, 52, 243, 756, 372, 249, 116, 37,
        73, 79, 947, 42, 45, 513, 514, 37, 37, 758, 38, 759, 39, 760, 40, 920);
end Parse_Tab_5c;