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

⟦756c68649⟧ TextFile

    Length: 9344 (0x2480)
    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_5a is
    Act_Tab : constant array (1 .. 2110) of Gc.Parserinteger :=
       (7335, 413, 414, 0, 7337, 0, 7339, 33, 249, 0, 0, 0, 929, 0, 7342, 65,
        7344, 67, 0, 7346, 7348, 7350, 7353, 7355, 0, 0, 73, 672, 0, 0, 0, 893,
        286, 492, 618, 0, 0, 0, 0, 0, 25, 0, 26, 7357, 0, 0, 28, 0, 0, 0, 218,
        0, 219, 106, 0, 0, 0, 0, 0, 0, 0, 0, 0, 195, 0, 0, 0, 0, 0, 0, 0, 265,
        0, 0, 0, 1036, 0, 0, 7360, 7362, 54, 0, 796, 797, 55, 7364, 0, 0, 589,
        0, 0, 333, 0, 58, 59, 60, 61, 7366, 7368, 0, 32, 7370, 65, 66, 67, 0,
        68, 69, 70, 71, 72, 0, 0, 73, 0, 0, 0, 7372, 53, 54, 0, 0, 0, 55, 0,
        174, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 241, 0, 0, 0, 64, 65, 7375, 67, 340,
        68, 69, 70, 71, 7377, 0, 0, 7379, 0, 0, 0, 0, 0, 0, 1578, 0, 0, 0, 0, 0,
        0, 0, 626, 0, 0, 0, 0, 0, 0, 7381, 1578, 7383, 0, 0, 0, 0, 443, 444,
        7385, 7387, 447, 448, 349, 0, 0, 0, 1578, 1578, 243, 1578, 0, 0, 0, 0,
        0, 116, 0, 0, 493, 1578, 1578, 0, 0, 1578, 1578, 0, 269, 270, 0, 1578,
        0, 0, 0, 0, 0, 0, 0, 0, 37, 0, 0, 0, 0, 0, 78, 0, 0, 0, 0, 0, 0, 879, 0,
        0, 0, 1018, 0, 271, 0, 0, 691, 0, 0, 0, 0, 0, 1010, 0, 0, 0, 38, 39,
        40, 0, 0, 272, 0, 604, 0, 0, 7389, 45, 0, 0, 942, 0, 0, 943, 852, 0,
        550, 0, 118, 0, 0, 0, 0, 91, 79, 0, 122, 42, 43, 44, 0, 0, 7391, 0, 0,
        46, 0, 47, 7393, 360, 37, 0, 0, 0, 0, 0, 1143, 0, 0, 0, 0, 0, 0, 0,
        424, 7395, 79, 0, 0, 627, 0, 147, 0, 0, 0, 0, 0, 741, 0, 1143, 0, 0,
        38, 7397, 40, 1143, 0, 0, 1143, 0, 0, 7399, 635, 43, 44, 0, 1143, 84,
        1143, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 456, 799, 555, 7401, 7404, 7406, 44,
        0, 390, 7408, 1143, 7411, 1143, 1143, 7413, 7415, 7417, 1143, 1143,
        1063, 171, 1143, 1143, 1143, 0, 176, 1143, 1143, 0, 1143, 1143, 1143, 0,
        144, 273, 0, 274, 0, 0, 930, 0, 0, 0, 0, 122, 42, 43, 44, 0, 0, 45, 0,
        0, 46, 0, 7419, 53, 7421, 0, 0, 275, 55, 0, 0, 0, 0, 0, 0, 377, 854,
        58, 7423, 7425, 61, 62, 7427, 0, 0, 64, 65, 66, 67, 2, 7430, 7432, 70,
        71, 72, 0, 0, 7434, 0, 0, 86, 0, 503, 7436, 0, 0, 0, 635, 0, 0, 0, 0,
        0, 0, 0, 0, 0, 52, 53, 54, 0, 0, 0, 0, 0, 0, 0, 0, 836, 0, 0, 154, 0,
        7438, 674, 0, 675, 676, 7440, 53, 7442, 0, 0, 0, 7444, 0, 574, 0, 0,
        80, 0, 0, 0, 0, 0, 0, 0, 0, 0, 37, 0, 0, 65, 7450, 67, 0, 7452, 69,
        7454, 71, 72, 0, 0, 7456, 614, 0, 0, 0, 337, 52, 53, 7458, 37, 0, 0,
        55, 0, 0, 0, 0, 0, 38, 39, 40, 58, 59, 7460, 7464, 62, 63, 0, 378, 64,
        7466, 66, 7468, 804, 68, 69, 70, 71, 72, 805, 0, 7470, 39, 40, 0, 0, 0,
        730, 122, 42, 43, 7472, 0, 0, 45, 0, 0, 46, 0, 7474, 0, 0, 0, 0, 0, 0,
        0, 0, 0, 0, 403, 7476, 42, 43, 44, 0, 0, 7478, 0, 0, 46, 0, 47, 0, 0,
        0, 0, 7480, 404, 0, 0, 0, 0, 0, 0, 0, 7482, 0, 0, 86, 247, 0, 0, 38,
        39, 7484, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 381, 692, 7486, 39, 40, 0,
        872, 0, 0, 0, 49, 0, 0, 462, 0, 341, 7488, 42, 43, 7490, 0, 0, 45, 0,
        7492, 46, 0, 47, 0, 0, 0, 0, 309, 42, 310, 44, 50, 429, 7494, 79, 0, 46,
        0, 7496, 126, 0, 424, 7498, 7500, 39, 7502, 0, 0, 7504, 718, 0, 0, 0,
        0, 52, 53, 54, 0, 0, 0, 55, 0, 0, 466, 0, 7506, 649, 7508, 0, 1237,
        0, 0, 826, 122, 7510, 7512, 44, 7514, 7517, 7519, 7523, 7526, 7528,
        7531, 7535, 71, 7538, 0, 0, 7541, 7544, 540, 58, 7546, 7549, 61, 7551,
        7553, 7556, 0, 64, 65, 7558, 7560, 7562, 68, 69, 7564, 7566, 7568, 761,
        7572, 73, 763, 764, 0, 1239, 0, 1238, 145, 7574, 37, 0, 731, 0, 0, 147,
        1240, 79, 123, 1240, 299, 1240, 1240, 0, 0, 0, 0, 0, 52, 53, 54, 189, 0,
        7576, 55, 0, 0, 0, 0, 0, 56, 57, 7579, 7581, 7583, 7587, 7589, 62, 63,
        0, 55, 64, 7592, 66, 67, 125, 68, 69, 70, 7594, 7596, 60, 61, 7598,
        63, 116, 0, 64, 65, 7600, 67, 0, 7602, 7604, 7606, 7609, 7613, 0, 45,
        73, 0, 7615, 0, 47, 0, 0, 0, 0, 7617, 0, 52, 53, 54, 0, 0, 127, 55,
        7619, 0, 129, 0, 130, 7622, 0, 122, 7624, 7626, 7629, 7631, 62, 7633,
        0, 0, 7636, 65, 7638, 7640, 857, 7642, 7646, 7648, 7650, 7653, 0, 0,
        73, 0, 0, 49, 38, 39, 40, 100, 0, 0, 0, 0, 0, 0, 0, 7655, 0, 118, 0,
        0, 0, 0, 0, 0, 7657, 309, 42, 310, 44, 7659, 0, 45, 0, 0, 7661, 7663,
        7665, 44, 0, 0, 7667, 0, 0, 46, 0, 47, 0, 0, 0, 0, 960, 0, 0, 0, 0,
        0, 0, 0, 0, 0, 0, 286, 7669, 7671, 0, 409, 410, 411, 7673, 413, 414,
        7675, 7677, 241, 390, 52, 53, 54, 805, 0, 0, 7680, 416, 0, 313, 314,
        7683, 56, 57, 417, 58, 59, 60, 61, 7685, 63, 192, 0, 64, 65, 7688, 67,
        0, 68, 69, 70, 7690, 7692, 53, 7695, 73, 0, 0, 7697, 0, 0, 7699, 424,
        7701, 0, 0, 0, 58, 7703, 7705, 61, 62, 7707, 975, 0, 7709, 65, 66, 67,
        0, 68, 69, 70, 71, 7712, 0, 102, 7714, 104, 0, 0, 0, 0, 0, 0, 0, 0,
        882, 52, 53, 54, 0, 693, 0, 55, 0, 0, 52, 53, 54, 0, 0, 0, 7716, 59,
        7718, 7720, 7723, 63, 279, 280, 64, 7725, 7727, 67, 581, 68, 69, 70, 71,
        7729, 65, 66, 7731, 0, 68, 69, 70, 71, 72, 0, 0, 73, 0, 323, 0, 82,
        324, 0, 0, 0, 0, 0, 323, 0, 719, 743, 0, 0, 377, 0, 862, 0, 0, 0, 0, 0,
        0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 7733, 0, 0, 733, 0, 0, 0, 25, 0, 0, 0,
        0, 7735, 28, 0, 0, 0, 0, 0, 0, 106, 0, 0, 0, 0, 0, 74, 0, 0, 0, 0, 0,
        0, 0, 0, 0, 363, 0, 0, 620, 0, 0, 0, 0, 0, 841, 863, 1003, 0, 0, 471,
        0, 0, 0, 0, 0, 0, 0, 0, 997, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 281, 0,
        344, 0, 0, 0, 651, 0, 652, 0, 0, 0, 615, 263, 0, 7737, 314, 315, 0,
        818, 0, 0, 0, 0, 0, 37, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 608, 0, 894,
        0, 0, 0, 0, 0, 0, 0, 0, 0, 819, 0, 0, 0, 0, 0, 0, 0, 38, 39, 40, 0,
        0, 0, 0, 0, 931, 0, 0, 0, 0, 0, 98, 0, 0, 0, 0, 0, 0, 0, 790, 0, 0,
        0, 0, 0, 0, 0, 7739, 42, 43, 7742, 744, 0, 45, 0, 0, 0, 0, 0, 0, 0,
        249, 1040, 0, 961, 0, 0, 0, 450, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 37, 0,
        0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 188,
        0, 0, 0, 653, 0, 156, 0, 0, 38, 39, 40, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
        0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 724, 323, 0, 7744, 7746, 42,
        43, 44, 0, 0, 45, 0, 0, 46, 0, 47, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
        364, 0, 0, 194, 0, 0, 0, 0, 0, 0, 0, 52, 53, 54, 0, 0, 0, 55, 0, 0, 0,
        0, 0, 0, 0, 0, 0, 0, 248, 0, 0, 0, 0, 0, 0, 7748, 296, 7750, 0, 68,
        69, 70, 71, 72, 0, 0, 0, 694, 0, 0, 0, 0, 0, 0, 0, 229, 0, 0, 0, 467,
        407, 0, 0, 0, 686, 0, 0, 687, 0, 0, 7752, 0, 0, 0, 0, 0, 0, 0, 0, 0,
        7754, 0, 0, 431, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 241,
        0, 0, 0, 52, 53, 54, 0, 0, 0, 7756, 38, 39, 40, 0, 0, 0, 0, 0, 0, 0,
        108, 176, 0, 0, 0, 0, 64, 65, 66, 7758, 7760, 68, 69, 70, 71, 72, 0, 0,
        73, 0, 122, 42, 43, 44, 0, 944, 45, 7762, 0, 7764, 0, 7767, 0, 0, 0,
        0, 243, 0, 0, 0, 0, 0, 0, 0, 0, 0, 7769, 0, 0, 0, 0, 0, 0, 0, 0, 0,
        543, 229, 0, 433, 0, 495, 0, 496, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
        0, 0, 0, 0, 7771, 800, 190, 0, 0, 0, 655, 0, 472, 116, 0, 553, 0, 0,
        554, 0, 0, 0, 838, 839, 0, 0, 7773, 7775, 1520, 0, 0, 0, 0, 0, 0, 0,
        0, 811, 986, 0, 798, 0, 7777, 1520, 2, 0, 1520, 0, 0, 0, 0, 0, 604,
        0, 593, 1520, 0, 594, 0, 0, 0, 0, 0, 0, 7779, 0, 0, 705, 0, 0, 0, 0,
        52, 7784, 54, 0, 0, 0, 55, 0, 616, 7786, 0, 340, 0, 0, 157, 0, 550, 0,
        118, 0, 0, 0, 0, 64, 7788, 7790, 67, 397, 68, 69, 70, 71, 72, 0, 0, 73,
        194, 0, 0, 0, 0, 7792, 37, 0, 0, 0, 0, 0, 0, 301, 0, 229, 0, 0, 745, 0,
        1425, 561, 0, 0, 0, 545, 0, 0, 0, 0, 0, 1425, 0, 0, 0, 1425, 1425, 1425,
        7794, 39, 7797, 0, 0, 0, 451, 0, 0, 0, 0, 0, 777, 0, 1425, 194, 1425,
        1425, 575, 657, 0, 0, 0, 1029, 7799, 0, 0, 7801, 1425, 0, 7803, 7805,
        7807, 7809, 0, 0, 45, 1588, 0, 46, 895, 47, 351, 0, 0, 0, 0, 0, 0, 0, 0,
        883, 0, 7811, 0, 116, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
        195, 0, 0, 550, 0, 118, 0, 0, 0, 0, 0, 0, 0, 38, 39, 40, 0, 0, 0, 0,
        0, 0, 0, 7813, 251, 0, 0, 0, 7816, 0, 0, 0, 0, 0, 1012, 0, 583, 0, 0,
        0, 468, 0, 0, 41, 7818, 43, 44, 0, 840, 45, 0, 7820, 46, 1237, 47, 0,
        0, 0, 550, 1240, 118, 1238, 0, 1240, 1237, 0, 0, 0, 1214, 1214, 1214,
        249, 1214, 1238, 1240, 0, 0, 1237, 1238, 0, 0, 0, 1240, 0, 0, 0, 7822,
        53, 7824, 0, 0, 0, 55, 0, 390, 1237, 0, 7826, 116, 49, 1239, 0, 1238,
        0, 0, 0, 0, 0, 0, 7828, 7830, 7833, 7835, 5, 7838, 7842, 7845, 7848,
        7850, 0, 0, 73, 0, 0, 0, 50, 352, 0, 0, 0, 175, 0, 0, 0, 0, 0, 51, 0, 0,
        0, 0, 406, 0, 0, 598, 0, 0, 0, 0, 390, 176, 821, 0, 0, 0, 0, 0, 0, 0,
        0, 0, 0, 0, 0, 842, 0, 269, 270, 0, 7853, 0, 52, 7855, 54, 0, 0, 37,
        55, 0, 0, 0, 0, 0, 0, 282, 0, 58, 59, 60, 61, 62, 63, 0, 0, 64, 65,
        7858, 7860, 679, 68, 7862, 7864, 71, 72, 0, 0, 73, 0, 7866, 39, 40,
        0, 0, 0, 1237, 272, 1237, 0, 0, 0, 7868, 0, 1240, 0, 1238, 0, 1240,
        1237, 0, 0, 0, 0, 0, 38, 39, 40, 7870, 7872, 7874, 7876, 7878, 7880,
        0, 932, 7882, 1240, 7886, 46, 502, 7888, 0, 11, 0, 0, 241, 194, 0, 0,
        1237, 7890, 12, 0, 822, 7892, 7894, 7896, 44, 0, 0, 45, 977, 0, 46, 0,
        7898, 0, 0, 1240, 0, 1240, 1240, 0, 621, 0, 680, 7900, 410, 7902, 412,
        413, 414, 111, 415, 0, 0, 706, 0, 7904, 0, 88, 0, 751, 416, 0, 7906);

end Parse_Tab_5a;