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

⟦5a14ca85d⟧ TextFile

    Length: 9811 (0x2653)
    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_5b is
    Act_Tab : constant array (1 .. 2120) of Gc.Parserinteger :=
       (752, 0, 0, 0, 7908, 0, 7910, 7912, 0, 0, 326, 37, 0, 0, 599, 286, 0,
        196, 13, 14, 0, 0, 1418, 0, 1031, 0, 171, 0, 0, 0, 390, 1540, 0, 0, 197,
        778, 0, 16, 0, 407, 265, 0, 273, 38, 7914, 40, 1039, 198, 199, 283, 0,
        7917, 7919, 194, 798, 0, 0, 0, 0, 122, 0, 7921, 7923, 54, 0, 0, 0, 55,
        0, 0, 0, 1540, 0, 122, 42, 7926, 7928, 0, 0, 45, 0, 0, 46, 0, 7930, 65,
        7932, 7934, 7936, 68, 69, 70, 7938, 7940, 203, 204, 7943, 7945, 207,
        208, 209, 7947, 0, 0, 0, 0, 0, 0, 0, 64, 7949, 66, 67, 0, 68, 69, 7951,
        7955, 7957, 0, 7959, 73, 1143, 0, 0, 1143, 0, 0, 178, 366, 0, 86, 52,
        53, 54, 1143, 828, 241, 0, 0, 7961, 0, 0, 409, 410, 7963, 412, 413, 414,
        0, 7965, 0, 905, 0, 0, 7967, 1143, 1143, 1143, 7969, 7971, 1143, 7973,
        7975, 1143, 0, 171, 7977, 1143, 1143, 0, 1379, 0, 1143, 0, 1143, 7979,
        7982, 216, 0, 0, 0, 0, 0, 0, 754, 0, 7984, 53, 54, 755, 0, 0, 0, 7986,
        7988, 969, 779, 734, 0, 0, 52, 53, 54, 0, 0, 0, 55, 38, 39, 40, 0, 0, 0,
        0, 0, 58, 59, 60, 61, 62, 63, 7990, 0, 64, 65, 66, 67, 584, 68, 69, 70,
        71, 72, 0, 0, 7992, 0, 122, 7994, 43, 44, 0, 0, 7996, 7998, 0, 46, 0,
        47, 0, 555, 556, 757, 8000, 8003, 8005, 761, 762, 0, 763, 764, 765, 0,
        0, 323, 766, 0, 8007, 1005, 0, 0, 0, 217, 0, 79, 0, 38, 39, 40, 0, 0,
        8009, 27, 122, 8011, 8013, 8015, 40, 0, 8017, 0, 219, 46, 896, 47, 0,
        915, 0, 0, 38, 8019, 40, 0, 0, 0, 673, 122, 8021, 43, 44, 0, 0, 45, 0,
        0, 8023, 42, 8026, 44, 286, 0, 45, 0, 0, 46, 0, 47, 0, 0, 122, 8028,
        8031, 44, 0, 0, 45, 0, 0, 46, 32, 8033, 0, 659, 660, 661, 8036, 663,
        8038, 8040, 40, 0, 0, 220, 221, 222, 223, 0, 195, 0, 0, 0, 0, 0, 0, 0,
        8042, 53, 54, 0, 0, 0, 55, 0, 452, 600, 8044, 8046, 8048, 8051, 8053,
        8055, 59, 60, 8057, 8059, 8061, 46, 8063, 8065, 65, 66, 8068, 0, 68, 69,
        70, 71, 8070, 0, 171, 73, 0, 0, 0, 0, 0, 962, 37, 171, 224, 0, 8072, 53,
        8074, 0, 0, 0, 55, 159, 0, 0, 435, 171, 160, 0, 161, 0, 0, 0, 0, 0, 0,
        225, 865, 8076, 8078, 8080, 67, 601, 8082, 8084, 8087, 71, 8089, 53, 54,
        73, 0, 0, 55, 0, 0, 179, 0, 0, 604, 284, 8091, 8093, 8095, 67, 0, 68,
        8098, 70, 71, 8100, 65, 66, 8102, 8106, 8108, 8111, 8114, 8116, 8118, 0,
        0, 8121, 0, 8123, 65, 66, 67, 8126, 68, 69, 70, 71, 8128, 0, 236, 73, 0,
        0, 194, 0, 0, 0, 0, 0, 38, 39, 8130, 0, 52, 53, 54, 0, 0, 0, 55, 1145,
        0, 0, 0, 1145, 471, 1145, 0, 58, 8132, 60, 61, 8134, 8136, 1559, 0, 64,
        65, 8139, 8141, 8146, 8148, 8150, 8152, 71, 8154, 0, 0, 8156, 0, 8159,
        0, 0, 0, 8161, 8163, 8165, 1559, 1559, 8167, 8169, 1145, 1145, 1145,
        1145, 1145, 8171, 1145, 8174, 1559, 171, 8176, 8178, 8182, 1426, 1380,
        0, 1145, 1559, 1145, 1145, 1145, 0, 0, 8185, 8187, 0, 0, 1426, 1426, 0,
        0, 0, 0, 1587, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 52, 53, 54, 0, 80, 0, 55,
        0, 0, 721, 0, 0, 134, 135, 136, 58, 8189, 8191, 61, 62, 8193, 8195, 140,
        64, 8197, 66, 67, 171, 8199, 69, 70, 71, 72, 0, 0, 73, 0, 0, 0, 0, 0,
        949, 0, 950, 0, 0, 0, 585, 0, 113, 0, 8201, 0, 38, 39, 40, 0, 0, 0, 0,
        604, 0, 52, 53, 8203, 0, 0, 0, 55, 0, 0, 935, 0, 0, 471, 0, 0, 287, 0,
        0, 1022, 0, 472, 8205, 8207, 8210, 8214, 66, 67, 8216, 68, 69, 8219, 71,
        8221, 0, 0, 8223, 14, 0, 0, 0, 0, 0, 0, 0, 116, 0, 0, 0, 0, 0, 0, 8225,
        42, 43, 8227, 0, 0, 45, 0, 0, 46, 0, 47, 17, 418, 0, 0, 0, 0, 0, 0, 0,
        477, 0, 0, 0, 0, 0, 0, 0, 866, 0, 0, 141, 142, 0, 0, 0, 0, 0, 0, 0, 0,
        0, 0, 143, 0, 424, 8229, 0, 0, 0, 0, 682, 147, 0, 0, 963, 0, 0, 0, 454,
        0, 18, 8231, 0, 20, 21, 0, 0, 0, 163, 0, 0, 0, 0, 0, 0, 0, 0, 0, 116, 0,
        264, 0, 0, 164, 0, 0, 0, 0, 0, 0, 0, 171, 0, 0, 0, 0, 8233, 53, 54, 0,
        0, 0, 55, 0, 0, 0, 0, 8235, 8238, 8240, 222, 8242, 166, 0, 0, 8244, 474,
        1238, 0, 8246, 8248, 66, 67, 0, 68, 69, 8250, 8252, 8254, 1238, 1240,
        73, 55, 1237, 1238, 505, 0, 0, 1240, 0, 0, 0, 1237, 0, 0, 0, 8256, 8258,
        0, 64, 65, 8260, 67, 0, 8262, 69, 8265, 8267, 8269, 0, 114, 73, 0, 0, 0,
        0, 0, 1240, 0, 0, 8271, 0, 1240, 1240, 0, 0, 642, 0, 0, 0, 0, 0, 0, 0,
        253, 0, 38, 8273, 40, 0, 0, 0, 0, 0, 0, 0, 194, 406, 0, 0, 0, 0, 0, 0,
        0, 0, 0, 906, 0, 229, 0, 0, 829, 0, 0, 0, 122, 8275, 43, 44, 0, 0, 45,
        0, 0, 46, 0, 47, 0, 0, 0, 0, 0, 0, 0, 0, 0, 24, 0, 0, 0, 0, 0, 0, 8277,
        0, 26, 27, 0, 0, 28, 0, 0, 195, 0, 0, 0, 0, 0, 0, 144, 305, 8279, 8281,
        37, 0, 419, 0, 0, 8283, 8285, 8287, 0, 43, 44, 323, 0, 0, 628, 0, 0, 0,
        0, 8289, 146, 0, 0, 0, 0, 29, 8291, 0, 0, 0, 0, 31, 38, 39, 8293, 656,
        609, 0, 0, 0, 32, 33, 0, 0, 0, 171, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
        345, 0, 0, 0, 122, 42, 43, 44, 0, 0, 45, 353, 0, 8295, 0, 47, 0, 0, 0,
        8297, 498, 499, 8299, 8301, 8303, 0, 415, 0, 8305, 0, 0, 0, 0, 0, 8308,
        0, 8310, 8312, 978, 0, 0, 0, 436, 500, 0, 64, 65, 8314, 67, 238, 8316,
        8318, 70, 71, 8320, 0, 0, 8322, 8324, 0, 8326, 0, 0, 0, 0, 590, 8328, 0,
        38, 39, 40, 380, 0, 844, 988, 0, 0, 8330, 53, 54, 0, 8332, 38, 39, 40,
        0, 286, 0, 0, 0, 0, 0, 0, 593, 8334, 0, 594, 8336, 122, 42, 43, 44, 0,
        0, 45, 0, 0, 46, 0, 47, 0, 0, 122, 42, 43, 44, 0, 549, 45, 0, 595, 8338,
        0, 0, 0, 0, 8340, 0, 0, 0, 0, 0, 8342, 53, 54, 0, 0, 37, 55, 0, 0, 550,
        0, 118, 0, 0, 228, 58, 59, 60, 61, 8345, 63, 8347, 8349, 8351, 65, 66,
        8353, 0, 8355, 69, 70, 71, 72, 0, 0, 8357, 561, 38, 39, 40, 0, 0, 0,
        769, 0, 0, 0, 0, 462, 0, 501, 122, 8359, 8361, 44, 597, 0, 45, 0, 125,
        8363, 39, 8365, 503, 0, 0, 0, 8368, 8370, 8372, 44, 575, 121, 8374, 0,
        999, 8376, 194, 47, 845, 0, 0, 0, 37, 0, 8378, 0, 0, 0, 0, 122, 8380,
        43, 44, 8382, 53, 8385, 8387, 42, 8389, 8391, 8394, 0, 45, 0, 0, 46, 0,
        8396, 53, 54, 0, 329, 0, 55, 38, 39, 8398, 65, 8400, 67, 0, 68, 8402,
        70, 8404, 72, 8406, 661, 8408, 8411, 40, 0, 629, 8414, 0, 8416, 8418,
        8420, 8422, 8424, 255, 0, 0, 8426, 8428, 8431, 8433, 8435, 8437, 0, 45,
        8439, 8441, 46, 86, 47, 0, 0, 122, 8443, 43, 44, 0, 0, 45, 0, 0, 46, 0,
        47, 0, 665, 424, 146, 0, 0, 0, 0, 8445, 8447, 54, 0, 171, 604, 55, 0,
        806, 0, 0, 125, 0, 8449, 0, 0, 8451, 53, 54, 241, 0, 0, 8453, 8455, 65,
        66, 8457, 0, 8459, 8461, 70, 8463, 8466, 60, 8468, 8470, 63, 0, 0, 8472,
        8474, 8477, 67, 736, 68, 8479, 8481, 8483, 8485, 0, 0, 8488, 55, 0, 0,
        369, 0, 370, 8490, 171, 990, 58, 8492, 8495, 8497, 8499, 63, 68, 69,
        8501, 8504, 8507, 67, 171, 8509, 69, 8511, 8513, 72, 0, 0, 73, 0, 8515,
        39, 40, 0, 176, 0, 0, 8517, 142, 0, 0, 52, 53, 54, 0, 0, 229, 55, 0,
        143, 0, 0, 937, 0, 0, 52, 8519, 8521, 8523, 61, 8525, 8528, 8534, 8536,
        8538, 8540, 8544, 8546, 0, 8549, 8551, 8554, 71, 72, 0, 0, 73, 0, 64,
        65, 66, 67, 0, 68, 69, 70, 71, 72, 0, 0, 73, 0, 182, 0, 0, 0, 0, 0, 0,
        0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 424, 8556, 0, 311, 242, 0, 0,
        147, 513, 514, 0, 243, 0, 867, 587, 0, 0, 0, 832, 0, 0, 0, 495, 0, 8558,
        1485, 0, 0, 0, 8560, 727, 0, 0, 74, 0, 0, 0, 0, 0, 424, 8562, 37, 0, 0,
        684, 0, 147, 0, 8565, 0, 0, 0, 0, 0, 421, 116, 0, 0, 0, 0, 0, 0, 0, 422,
        0, 0, 0, 0, 0, 0, 0, 8567, 0, 38, 8569, 8571, 53, 8573, 0, 0, 37, 55, 0,
        899, 0, 0, 0, 8576, 979, 0, 58, 59, 60, 61, 62, 63, 0, 0, 64, 65, 66,
        67, 0, 8578, 8580, 8582, 8584, 8586, 0, 45, 73, 474, 8588, 39, 8591, 0,
        168, 121, 0, 38, 39, 8593, 0, 0, 516, 0, 0, 0, 0, 517, 8595, 195, 118,
        229, 0, 0, 0, 0, 0, 0, 1007, 0, 122, 42, 43, 44, 0, 354, 45, 8597, 8599,
        8601, 44, 8603, 144, 45, 554, 0, 8606, 8608, 8610, 0, 457, 144, 8612,
        8614, 0, 0, 0, 0, 0, 0, 0, 807, 0, 0, 0, 145, 146, 0, 953, 38, 39, 8616,
        147, 8618, 0, 0, 8620, 0, 0, 0, 954, 0, 0, 144, 171, 887, 666, 0, 8622,
        0, 0, 0, 0, 0, 0, 0, 971, 0, 91, 122, 8624, 43, 44, 0, 0, 45, 0, 560,
        46, 119, 8626, 0, 124, 8628, 0, 0, 0, 0, 0, 8631, 53, 54, 0, 125, 0, 55,
        0, 0, 244, 0, 8633, 0, 0, 0, 58, 59, 60, 8635, 8638, 63, 0, 390, 64,
        8641, 66, 67, 0, 8643, 69, 70, 71, 72, 0, 0, 73, 561, 698, 0, 52, 53,
        54, 0, 0, 127, 8646, 8648, 53, 8650, 0, 8652, 8654, 8657, 8660, 8662,
        8665, 8667, 8669, 62, 63, 570, 571, 8671, 65, 66, 67, 0, 68, 8674, 8676,
        8678, 8681, 67, 171, 8684, 69, 70, 71, 72, 576, 0, 73, 0, 0, 0, 0, 0, 0,
        0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 384, 0, 0, 0, 0, 0, 645, 0, 346, 0, 52,
        8686, 54, 519, 0, 1583, 55, 0, 0, 0, 520, 521, 0, 522, 0, 291, 1583,
        249, 0, 0, 1583, 1583, 1583, 64, 65, 66, 8688, 0, 68, 69, 70, 71, 72, 0,
        0, 73, 8690, 1583, 194, 1583, 1583, 0, 0, 0, 0, 1023, 0, 0, 0, 0, 1583,
        1583, 991, 0, 8693, 1583, 0, 0, 0, 0, 1585, 0, 0, 0, 0, 0, 0, 116, 0,
        524, 525, 8695, 8697, 54, 0, 0, 0, 308, 0, 0, 94, 0, 0, 241, 0, 0, 0, 0,
        728, 269, 270, 0, 0, 0, 0, 195, 0, 0, 176, 0, 0, 423, 0, 0, 0, 0, 0, 0,
        0, 0, 0, 0, 0, 0, 980, 0, 0, 0, 0, 0, 271, 0, 0, 0, 0, 809, 0, 0, 0,
        332, 0, 0, 0, 0, 0, 0, 0, 0, 272, 0, 606, 0, 389, 0, 118, 0, 0, 231, 0,
        0, 0, 0, 0, 938, 0, 458, 965, 632, 0, 0, 0, 116, 0, 0, 0, 0, 0, 0, 0,
        0, 0, 0, 0, 0, 0, 0, 633, 0, 0, 0, 0, 0, 0, 667, 8699, 1000, 0, 8701,
        0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 37, 0, 528,
        0, 0, 0, 0, 0, 0, 38, 39, 40, 0, 0, 144, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
        0, 390, 0, 0, 0, 874, 0, 38, 39, 40, 0, 0, 1014, 0, 8703, 42, 43, 44,
        0, 0, 45, 0, 889, 8705, 0, 47, 0, 0, 8707, 0, 0, 1034, 0, 0, 0, 0, 0);
end Parse_Tab_5b;