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

⟦5e78d40b3⟧ TextFile

    Length: 11167 (0x2b9f)
    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_6a is
    Act_Tab : constant array (1 .. 2150) of Gc.Parserinteger :=
       (0, 338484, 338485, 0, 0, 0, 0, 74588, 154907, 0, 0, 0, 344232, 0, 0,
        57385, 0, 57387, 0, 0, 0, 0, 0, 0, 0, 0, 57396, 218033, 0, 0, 0, 321303,
        258197, 160669, 195092, 0, 0, 0, 0, 0, 160676, 0, 160678, 0, 0, 0,
        160682, 0, 0, 0, 160686, 0, 160688, 160689, 0, 0, 0, 0, 0, 0, 0, 0,
        0, 281176, 0, 0, 0, 0, 0, 0, 0, 269710, 0, 0, 0, 407402, 0, 0, 0, 0,
        258245, 0, 269721, 269722, 258249, 0, 0, 0, 177935, 0, 0, 126305, 0,
        258258, 258259, 258260, 258261, 0, 0, 0, 160736, 0, 258267, 258268,
        258269, 0, 258271, 258272, 258273, 258274, 258275, 0, 0, 258278, 0, 0,
        0, 0, 269757, 269758, 0, 0, 0, 269762, 0, 86180, 0, 0, 0, 0, 0, 0, 0,
        0, 0, 0, 137824, 0, 0, 0, 269779, 269780, 0, 269782, 86199, 269784,
        269785, 269786, 269787, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 160795, 0, 0,
        0, 0, 0, 0, 0, 200962, 0, 0, 0, 0, 0, 0, 0, 160811, 0, 0, 0, 0, 0,
        137869, 137870, 0, 0, 137873, 137874, 91979, 0, 0, 0, 160827, 160828,
        137881, 160830, 0, 0, 0, 0, 0, 390316, 0, 0, 160839, 160840, 160841, 0,
        0, 160844, 160845, 0, 57581, 57582, 0, 160850, 0, 0, 0, 0, 0, 0, 0,
        0, 298547, 0, 0, 0, 0, 0, 5966, 0, 0, 0, 0, 0, 0, 315771, 0, 0, 0,
        396093, 0, 57612, 0, 0, 223988, 0, 0, 0, 0, 0, 390367, 0, 0, 0, 298579,
        298580, 298581, 0, 0, 57630, 0, 401852, 0, 0, 0, 57636, 0, 0, 350226, 0,
        0, 350229, 304334, 0, 390391, 0, 390393, 0, 0, 0, 0, 34704, 6020, 0,
        298609, 298610, 298611, 298612, 0, 0, 0, 0, 0, 298618, 0, 298620, 0,
        97827, 28984, 0, 0, 0, 0, 0, 321577, 0, 0, 0, 0, 0, 0, 0, 247004, 0,
        132266, 0, 0, 201113, 0, 247011, 0, 0, 0, 0, 0, 252754, 0, 321600, 0,
        0, 29016, 0, 29018, 321606, 0, 0, 321609, 0, 0, 0, 298665, 373247,
        373248, 0, 321617, 195404, 321619, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 155257,
        269998, 218366, 0, 0, 0, 29049, 0, 390482, 0, 321640, 0, 321642, 321643,
        0, 0, 0, 321647, 321648, 321649, 298702, 321651, 321652, 321653, 0,
        92175, 321656, 321657, 0, 321659, 321660, 321661, 0, 218397, 57762, 0,
        57764, 0, 0, 344617, 0, 0, 0, 0, 333148, 333149, 333150, 333151, 0, 0,
        333154, 0, 0, 333157, 0, 0, 298738, 0, 0, 0, 57788, 298743, 0, 0, 0, 0,
        0, 0, 103692, 304488, 298752, 0, 0, 298755, 298756, 0, 0, 0, 298760,
        298761, 298762, 298763, 440, 0, 0, 298767, 298768, 298769, 0, 0, 0, 0,
        0, 86506, 0, 304514, 0, 0, 0, 0, 333204, 0, 0, 0, 0, 0, 0, 0, 0, 0,
        373373, 373374, 373375, 0, 0, 0, 0, 0, 0, 0, 0, 293066, 0, 0, 23430, 0,
        0, 218491, 0, 218493, 218494, 0, 29175, 0, 0, 0, 0, 0, 0, 218503, 0, 0,
        6237, 0, 0, 0, 0, 0, 0, 0, 0, 0, 149672, 0, 0, 29198, 0, 29200, 0,
        0, 29203, 0, 29205, 29206, 0, 0, 0, 189846, 0, 0, 0, 230009, 333276,
        333277, 0, 98062, 0, 0, 333282, 0, 0, 0, 0, 0, 149704, 149705, 149706,
        333291, 333292, 0, 0, 333295, 333296, 0, 103818, 333299, 0, 333301, 0,
        407884, 333304, 333305, 333306, 333307, 333308, 407890, 0, 0, 98095,
        98096, 0, 0, 0, 247262, 149734, 149735, 149736, 0, 0, 0, 149740, 0, 0,
        149743, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 126808, 0, 98125, 98126,
        98127, 0, 0, 0, 0, 0, 98133, 0, 98135, 0, 0, 0, 0, 0, 126826, 0, 0, 0,
        0, 0, 0, 0, 0, 0, 0, 195681, 46520, 0, 0, 57997, 57998, 0, 0, 0, 0, 0,
        0, 0, 0, 0, 0, 0, 0, 109644, 224385, 0, 121121, 121122, 0, 310445, 0, 0,
        0, 98180, 0, 0, 149816, 0, 86711, 0, 58028, 58029, 0, 0, 0, 58033, 0, 0,
        58036, 0, 58038, 0, 0, 0, 0, 121150, 121151, 121152, 121153, 98206,
        132629, 0, 6417, 0, 121159, 0, 0, 149847, 0, 299011, 0, 0, 17901, 0, 0,
        0, 0, 235912, 0, 0, 0, 0, 149862, 149863, 149864, 0, 0, 0, 149868, 0, 0,
        149871, 0, 0, 258877, 0, 0, 385094, 0, 0, 287568, 17930, 0, 0, 17933, 0,
        0, 0, 0, 0, 0, 0, 0, 149893, 0, 0, 0, 0, 0, 167110, 98267, 0, 0, 98270,
        0, 0, 0, 0, 98275, 98276, 0, 0, 0, 98280, 98281, 0, 0, 0, 304817, 0,
        98287, 304820, 304821, 0, 385141, 0, 385143, 322037, 0, 167140, 0,
        247460, 0, 0, 322044, 385152, 92566, 17986, 385155, 69621, 385157,
        385158, 0, 0, 0, 0, 0, 58155, 58156, 58157, 35210, 0, 0, 58161, 0, 0, 0,
        0, 0, 58167, 58168, 0, 0, 0, 0, 0, 58174, 58175, 0, 121284, 58178, 0,
        58180, 58181, 18023, 58183, 58184, 58185, 0, 0, 121295, 121296, 0,
        121298, 281935, 0, 121301, 121302, 0, 121304, 0, 0, 0, 0, 0, 0, 0,
        167208, 121313, 0, 0, 0, 167213, 0, 0, 0, 0, 0, 0, 18058, 18059, 18060,
        0, 0, 18063, 18064, 0, 0, 18067, 0, 18069, 0, 0, 293448, 0, 0, 0, 0,
        18077, 0, 0, 0, 0, 18082, 0, 0, 304935, 0, 0, 0, 0, 0, 0, 0, 18093, 0,
        0, 167258, 368054, 368055, 368056, 12363, 0, 0, 0, 0, 0, 0, 0, 0, 0,
        282012, 0, 0, 0, 0, 0, 0, 0, 190228, 190229, 190230, 190231, 0, 0,
        190234, 0, 0, 0, 0, 0, 368087, 0, 0, 0, 0, 0, 368093, 0, 368095, 0, 0,
        0, 0, 356626, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 293530, 0, 0, 0, 385326,
        385327, 385328, 0, 385330, 385331, 0, 0, 379597, 155855, 167330, 167331,
        167332, 408287, 0, 0, 0, 385343, 0, 121443, 121444, 0, 167342, 167343,
        385350, 167345, 167346, 167347, 167348, 0, 167350, 35400, 0, 167353,
        167354, 0, 167356, 0, 167358, 167359, 167360, 0, 0, 293577, 0, 167365,
        0, 0, 0, 0, 0, 0, 391115, 0, 0, 0, 0, 293591, 0, 0, 293594, 293595, 0,
        368178, 0, 0, 293600, 293601, 293602, 0, 293604, 293605, 293606, 293607,
        0, 0, 12497, 0, 12499, 0, 0, 0, 0, 0, 0, 0, 0, 316569, 190356, 190357,
        190358, 0, 224782, 0, 190362, 0, 0, 368212, 368213, 368214, 0, 0, 0, 0,
        190372, 0, 0, 0, 190376, 58426, 58427, 190379, 0, 0, 190382, 173172,
        190384, 190385, 190386, 190387, 0, 368236, 368237, 0, 0, 368240, 368241,
        368242, 368243, 368244, 0, 0, 368247, 0, 75662, 0, 6820, 75665, 0,
        0, 0, 0, 0, 253518, 0, 236309, 253521, 0, 0, 184680, 0, 305159, 0,
        0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 247808, 0, 0, 0,
        12595, 0, 0, 0, 0, 0, 12601, 0, 0, 0, 0, 0, 0, 12608, 0, 0, 0, 0, 0,
        167513, 0, 0, 0, 0, 0, 0, 0, 0, 0, 98679, 0, 0, 196211, 0, 0, 0, 0, 0,
        305220, 305221, 385540, 0, 0, 322436, 0, 0, 0, 0, 0, 0, 0, 0, 379815, 0,
        0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 58555, 0, 87242, 0, 0, 0, 213460, 0,
        213462, 0, 0, 0, 190518, 52831, 0, 0, 190522, 190523, 0, 282317, 0, 0,
        0, 0, 0, 64317, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 184806, 0, 322496, 0,
        0, 0, 0, 0, 0, 0, 0, 0, 282347, 0, 0, 0, 0, 0, 0, 0, 64349, 64350,
        64351, 0, 0, 0, 0, 0, 345470, 0, 0, 0, 0, 0, 12730, 0, 0, 0, 0, 0, 0, 0,
        265166, 0, 0, 0, 0, 0, 0, 0, 0, 64380, 64381, 0, 253704, 0, 64385,
        0, 0, 0, 0, 0, 0, 0, 356980, 1287, 0, 356983, 0, 0, 0, 138981, 0, 0,
        0, 0, 0, 0, 0, 0, 0, 0, 150466, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
        0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 213596, 0, 0, 0, 213600, 0, 24281, 0,
        0, 150498, 150499, 150500, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
        0, 0, 0, 0, 0, 0, 0, 0, 0, 242316, 334109, 0, 0, 0, 150529, 150530,
        150531, 0, 0, 150534, 0, 0, 150537, 0, 150539, 0, 0, 0, 0, 0, 0, 0,
        0, 0, 0, 0, 98918, 0, 0, 339875, 0, 0, 0, 0, 0, 0, 0, 64507, 64508,
        64509, 0, 0, 0, 64513, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 47313, 0, 0, 0,
        0, 0, 0, 0, 64532, 0, 0, 64535, 64536, 64537, 64538, 64539, 0, 0, 0,
        225179, 0, 0, 0, 0, 0, 0, 0, 173554, 0, 0, 0, 150610, 339932, 0, 0, 0,
        351410, 0, 0, 351413, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
        133423, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 70334, 0, 0,
        0, 150656, 150657, 150658, 0, 0, 0, 0, 374406, 374407, 374408, 0, 0,
        0, 0, 0, 0, 0, 12985, 133463, 0, 0, 0, 0, 150679, 150680, 150681, 0,
        0, 150684, 150685, 150686, 150687, 150688, 0, 0, 150691, 0, 374436,
        374437, 374438, 374439, 0, 351493, 374442, 0, 0, 0, 0, 0, 0, 0, 0, 0,
        70391, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 167940,
        93360, 0, 133521, 0, 162208, 0, 162210, 0, 0, 0, 0, 0, 0, 0, 0, 0,
        0, 0, 0, 0, 0, 0, 0, 0, 271231, 213862, 0, 0, 0, 213866, 0, 156498,
        219606, 0, 179449, 0, 0, 179452, 0, 0, 0, 294196, 294197, 0, 0, 0, 0,
        1615, 0, 0, 0, 0, 0, 0, 0, 0, 374529, 374530, 0, 374532, 0, 0, 1630,
        1631, 0, 1633, 0, 0, 0, 0, 0, 282752, 0, 179488, 1642, 0, 179491, 0, 0,
        0, 0, 0, 0, 0, 0, 0, 231134, 0, 0, 0, 0, 374564, 0, 374566, 0, 0, 0,
        374570, 0, 190988, 0, 0, 127884, 0, 0, 24621, 0, 219681, 0, 219683, 0,
        0, 0, 0, 374587, 0, 0, 374590, 122163, 374592, 374593, 374594, 374595,
        374596, 0, 0, 374599, 254123, 0, 0, 0, 0, 0, 150863, 0, 0, 0, 0, 0, 0,
        70552, 0, 368878, 0, 0, 254141, 0, 36137, 179563, 0, 0, 0, 168093,
        0, 0, 0, 0, 0, 36148, 0, 0, 0, 36152, 36153, 36154, 0, 150896, 0, 0,
        0, 0, 139427, 0, 0, 0, 0, 0, 259910, 0, 36169, 36170, 36171, 36172,
        179598, 254180, 0, 0, 0, 403346, 0, 0, 0, 0, 36183, 0, 0, 0, 0, 0, 0,
        0, 150931, 36192, 0, 150934, 323045, 150936, 93567, 0, 0, 0, 0, 0,
        0, 0, 0, 317319, 0, 0, 0, 391904, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
        0, 0, 0, 0, 0, 36227, 0, 0, 317343, 0, 317345, 0, 0, 0, 0, 0, 0, 0,
        59188, 59189, 59190, 0, 0, 0, 0, 0, 0, 0, 0, 47725, 0, 0, 0, 0, 0, 0,
        0, 0, 0, 391955, 0, 173951, 0, 0, 0, 151007, 0, 0, 59218, 0, 59220,
        59221, 0, 294440, 59224, 0, 0, 59227, 196916, 59229, 0, 0, 0, 391979,
        196922, 391981, 196924, 0, 196926, 196927, 0, 0, 0, 196931, 196932,
        196933, 122353, 196935, 196936, 196937, 0, 0, 196940, 196941, 0, 0, 0,
        196945, 0, 0, 0, 0, 151054, 0, 0, 0, 0, 151059, 0, 317434, 196958, 0, 0,
        133854, 59274, 196963, 0, 196965, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1918,
        0, 0, 0, 0, 0, 0, 0, 151088, 0, 0, 0, 59300, 93723, 0, 0, 0, 30620,
        0, 0, 0, 0, 0, 59311, 0, 0, 0, 0, 197004, 0, 0, 179796, 0, 0, 0, 0,
        392070, 30640, 283069, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 294556, 0,
        168344, 168345, 0, 0, 0, 59346, 0, 59348, 0, 0, 116721, 59352, 0, 0, 0,
        0, 0, 0, 59359, 0, 59361, 59362, 59363, 59364, 59365, 59366, 0, 0,
        59369, 59370, 0, 0, 220009, 59374, 0, 0, 59377, 59378, 0, 0, 59381, 0,
        0, 116754, 116755, 0, 0, 0, 128233, 168393, 128235, 0, 0, 0, 0, 0,
        128241, 0, 128243, 0, 128245, 128246, 0, 0, 0, 0, 0, 357732, 357733,
        357734, 0, 0, 0, 0, 0, 0, 0, 346268, 0, 128264, 0, 116792, 254481, 0, 0,
        2056, 0, 0, 179906, 128274, 0, 0, 128277, 0, 2065, 0, 283180, 0, 0,
        0, 357765, 0, 0, 357768, 369243, 0, 357771, 0, 0, 0, 0, 128296, 0,
        128298, 128299, 0, 197145, 0, 220095, 0, 197149, 0, 197151, 197152,
        197153, 13570, 197155, 0, 0, 231580, 0, 0, 0, 42263, 0, 254534, 197165,
        0, 0, 254538, 0, 0, 0, 0, 0, 0, 0, 0, 0, 76701, 99650, 0, 0, 179971,
        116865, 0, 36549, 36550, 36551, 0, 0, 392248, 0, 403724, 0, 116876,
        0, 0, 0, 271779, 392257, 0, 0, 36566, 260310, 0, 36569, 0, 254577);
end Parse_Tab_6a;