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

⟦0a70e4f90⟧ TextFile

    Length: 12825 (0x3219)
    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_9 is
    Followsymbolmap : constant Followsymbolarray :=
       (96, 96, 72, 2, 4, 10, 12, 14, 15, 19, 20, 21, 22, 23, 24, 25, 26, 27,
        28, 29, 33, 37, 39, 42, 43, 44, 45, 46, 51, 53, 54, 55, 56, 57, 59, 60,
        61, 62, 63, 65, 67, 68, 92, 10, 21, 25, 26, 27, 42, 43, 44, 45, 55, 56,
        59, 60, 65, 10, 21, 25, 26, 27, 42, 43, 44, 45, 55, 56, 59, 60, 65, 10,
        21, 25, 26, 27, 42, 43, 44, 45, 55, 56, 59, 60, 65, 10, 21, 25, 26, 27,
        42, 43, 44, 45, 54, 55, 56, 59, 60, 63, 65, 96, 10, 21, 25, 26, 27, 42,
        43, 44, 45, 54, 55, 56, 59, 60, 63, 65, 96, 10, 21, 25, 26, 27, 42, 43,
        44, 45, 55, 56, 59, 60, 65, 10, 21, 25, 26, 27, 42, 43, 44, 45, 54, 55,
        56, 59, 60, 63, 65, 96, 10, 21, 25, 26, 27, 42, 43, 44, 45, 54, 55, 56,
        59, 60, 63, 65, 96, 10, 21, 25, 26, 27, 42, 43, 44, 45, 55, 56, 59, 60,
        65, 10, 21, 25, 26, 27, 42, 43, 44, 45, 55, 56, 59, 60, 65, 10, 21, 25,
        26, 27, 42, 43, 44, 45, 55, 56, 59, 60, 65, 10, 21, 25, 26, 27, 42, 43,
        44, 45, 55, 56, 59, 60, 65, 10, 21, 25, 26, 27, 42, 43, 44, 45, 55, 56,
        59, 60, 65, 10, 21, 25, 26, 27, 42, 43, 44, 45, 55, 56, 59, 60, 65, 79,
        80, 88, 72, 80, 8, 80, 88, 80, 88, 31, 33, 58, 72, 75, 80, 85, 75, 79,
        75, 79, 10, 21, 25, 26, 27, 42, 43, 44, 45, 55, 56, 59, 60, 65, 10, 21,
        25, 26, 27, 42, 43, 44, 45, 55, 56, 59, 60, 65, 10, 21, 25, 26, 27, 42,
        43, 44, 45, 55, 56, 59, 60, 65, 31, 71, 80, 10, 21, 25, 26, 27, 42, 43,
        44, 45, 55, 56, 59, 60, 65, 3, 35, 36, 37, 65, 66, 67, 68, 71, 74, 76,
        72, 80, 72, 80, 18, 31, 50, 51, 71, 80, 80, 80, 80, 80, 80, 80, 80, 7,
        16, 17, 30, 31, 33, 34, 36, 39, 47, 49, 50, 58, 64, 69, 71, 72, 73, 74,
        75, 76, 78, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 80, 88, 7,
        16, 17, 30, 31, 33, 34, 36, 39, 47, 49, 50, 58, 64, 69, 71, 72, 73, 74,
        75, 76, 78, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 33, 72, 75,
        80, 84, 85, 88, 80, 88, 80, 88, 65, 7, 30, 31, 33, 36, 39, 47, 58, 64,
        72, 75, 80, 81, 82, 83, 84, 85, 86, 88, 89, 90, 91, 72, 75, 72, 75, 72,
        75, 47, 80, 88, 80, 88, 47, 80, 88, 80, 72, 75, 72, 75, 38, 7, 9, 30,
        31, 33, 34, 36, 39, 47, 49, 58, 64, 69, 70, 71, 72, 73, 74, 75, 76, 77,
        78, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 33, 72, 75, 72, 75,
        7, 31, 33, 39, 58, 64, 72, 75, 80, 85, 48, 12, 37, 43, 65, 21, 61, 10,
        12, 21, 22, 25, 26, 27, 42, 43, 44, 45, 54, 55, 56, 59, 60, 61, 63, 65,
        67, 68, 12, 65, 12, 21, 43, 61, 65, 21, 61, 12, 21, 43, 61, 2, 4, 10,
        12, 14, 15, 19, 20, 21, 23, 24, 25, 28, 29, 33, 37, 39, 43, 46, 51, 53,
        61, 62, 65, 67, 68, 92, 43, 61, 21, 61, 12, 37, 43, 65, 21, 61, 12, 37,
        43, 65, 84, 85, 10, 21, 25, 26, 27, 42, 43, 45, 55, 56, 59, 60, 65, 10,
        21, 25, 26, 27, 42, 44, 45, 55, 56, 59, 60, 10, 21, 10, 21, 26, 27, 42,
        43, 45, 56, 60, 10, 21, 26, 27, 42, 45, 56, 60, 10, 21, 25, 26, 27, 42,
        43, 44, 45, 55, 56, 59, 60, 65, 10, 21, 25, 26, 27, 42, 43, 44, 45, 55,
        56, 59, 60, 65, 10, 21, 25, 26, 27, 42, 43, 44, 45, 54, 55, 56, 59, 60,
        63, 65, 10, 21, 26, 27, 42, 43, 45, 56, 60, 10, 21, 26, 27, 42, 43, 45,
        54, 56, 60, 63, 96, 10, 21, 26, 27, 42, 43, 45, 56, 60, 10, 21, 26, 27,
        42, 43, 45, 54, 56, 60, 63, 96, 10, 21, 26, 27, 42, 43, 45, 54, 56, 60,
        63, 96, 10, 21, 26, 27, 42, 43, 45, 54, 56, 60, 63, 96, 7, 9, 30, 31,
        33, 34, 36, 39, 47, 49, 58, 64, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78,
        80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 7, 9, 30, 31, 33, 34,
        36, 39, 47, 49, 58, 64, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 80, 81,
        82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 7, 9, 30, 31, 33, 34, 36, 39,
        47, 49, 58, 60, 64, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 80, 81, 82,
        83, 84, 85, 86, 87, 88, 89, 90, 91, 7, 9, 30, 31, 33, 34, 36, 39, 47,
        49, 58, 64, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 80, 81, 82, 83, 84,
        85, 86, 87, 88, 89, 90, 91, 7, 9, 30, 31, 33, 34, 36, 39, 47, 49, 58,
        60, 64, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 80, 81, 82, 83, 84, 85,
        86, 87, 88, 89, 90, 91, 72, 7, 30, 31, 33, 34, 36, 39, 47, 49, 58, 64,
        69, 72, 73, 74, 75, 76, 78, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90,
        91, 72, 75, 72, 72, 75, 72, 75, 72, 72, 75, 72, 75, 72, 75, 7, 31, 33,
        39, 58, 64, 72, 75, 80, 85, 7, 31, 33, 58, 72, 75, 80, 85, 31, 33, 39,
        58, 72, 75, 80, 85, 31, 33, 58, 64, 72, 75, 80, 85, 7, 31, 33, 58, 72,
        75, 80, 85, 31, 33, 39, 58, 72, 75, 80, 85, 7, 31, 33, 39, 58, 64, 72,
        75, 80, 85, 3, 35, 36, 37, 65, 66, 67, 68, 71, 74, 76, 7, 30, 31, 33,
        36, 39, 47, 58, 64, 69, 72, 74, 75, 76, 80, 81, 82, 83, 84, 85, 86, 88,
        89, 90, 91, 7, 30, 31, 33, 34, 36, 39, 47, 49, 58, 64, 69, 72, 73, 74,
        75, 76, 78, 80, 81, 82, 83, 84, 85, 86, 88, 89, 90, 91, 7, 30, 31, 33,
        36, 39, 47, 58, 64, 69, 72, 74, 75, 76, 80, 81, 82, 83, 84, 85, 86, 88,
        89, 90, 91, 7, 30, 31, 33, 34, 36, 39, 47, 49, 58, 64, 69, 72, 73, 74,
        75, 76, 78, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 7, 30, 31,
        33, 34, 36, 39, 47, 49, 58, 64, 69, 72, 73, 74, 75, 76, 78, 80, 81, 82,
        83, 84, 85, 86, 88, 89, 90, 91, 7, 30, 31, 33, 34, 36, 39, 47, 49, 58,
        64, 69, 72, 73, 74, 75, 76, 78, 80, 81, 82, 83, 84, 85, 86, 88, 89, 90,
        91, 35, 37, 65, 66, 67, 68, 71, 7, 30, 31, 33, 34, 36, 39, 47, 49, 58,
        64, 69, 72, 73, 74, 75, 76, 78, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89,
        90, 91, 7, 30, 31, 33, 34, 36, 39, 47, 49, 58, 64, 69, 72, 73, 74, 75,
        76, 78, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 7, 30, 31, 33,
        34, 36, 39, 47, 49, 58, 64, 69, 72, 73, 74, 75, 76, 78, 80, 81, 82, 83,
        84, 85, 86, 87, 88, 89, 90, 91, 3, 35, 36, 37, 65, 66, 67, 68, 71, 74,
        76, 3, 35, 36, 37, 65, 66, 67, 68, 71, 3, 35, 36, 37, 65, 66, 67, 68,
        71, 3, 35, 36, 37, 65, 66, 67, 68, 71, 35, 37, 65, 66, 67, 68, 71, 7,
        16, 17, 30, 31, 33, 34, 36, 39, 47, 49, 50, 58, 61, 64, 69, 70, 71, 72,
        73, 74, 75, 76, 77, 78, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91,
        2, 4, 10, 12, 14, 15, 19, 20, 21, 23, 24, 25, 28, 29, 33, 37, 39, 43,
        46, 51, 53, 57, 61, 62, 65, 67, 68, 92, 2, 4, 10, 12, 14, 15, 19, 20,
        21, 23, 24, 25, 28, 29, 33, 37, 39, 43, 46, 51, 53, 61, 62, 65, 67, 68,
        92, 2, 4, 10, 12, 14, 15, 19, 20, 21, 23, 24, 25, 28, 29, 33, 37, 39,
        46, 51, 53, 61, 62, 65, 67, 68, 92, 19, 20, 21, 23, 61, 2, 4, 10, 12,
        14, 15, 19, 20, 21, 23, 24, 25, 28, 29, 33, 37, 39, 43, 46, 51, 53, 61,
        62, 65, 67, 68, 92, 2, 4, 10, 12, 14, 15, 19, 20, 21, 23, 24, 25, 28,
        29, 33, 37, 39, 43, 46, 51, 53, 61, 62, 65, 67, 68, 92, 2, 4, 10, 12,
        14, 15, 19, 20, 21, 23, 24, 25, 28, 29, 33, 37, 39, 43, 46, 51, 53, 61,
        62, 65, 67, 68, 92, 2, 4, 10, 12, 14, 15, 24, 25, 28, 29, 33, 37, 46,
        51, 53, 62, 65, 67, 68, 92, 2, 4, 15, 28, 37, 46, 12, 24, 29, 53, 2,
        4, 10, 12, 14, 15, 19, 20, 21, 23, 24, 25, 28, 29, 33, 37, 39, 43, 46,
        51, 53, 61, 62, 65, 67, 68, 92, 51, 2, 4, 10, 12, 14, 15, 19, 20, 21,
        23, 24, 25, 28, 29, 33, 37, 39, 43, 46, 51, 53, 61, 62, 65, 67, 68, 92,
        2, 4, 10, 12, 14, 15, 19, 20, 21, 23, 24, 25, 28, 29, 33, 37, 39, 43,
        46, 51, 53, 61, 62, 65, 67, 68, 92, 2, 4, 10, 12, 14, 15, 19, 20, 21,
        23, 24, 25, 28, 29, 33, 37, 39, 43, 46, 51, 53, 61, 62, 65, 67, 68, 92,
        2, 4, 10, 12, 14, 15, 19, 20, 21, 23, 24, 25, 28, 29, 33, 37, 39, 43,
        46, 51, 53, 61, 62, 65, 67, 68, 92, 2, 4, 10, 12, 14, 15, 19, 20, 21,
        23, 24, 25, 28, 29, 33, 37, 39, 43, 46, 51, 53, 61, 62, 65, 67, 68, 92,
        2, 4, 10, 12, 14, 15, 19, 20, 21, 23, 24, 25, 28, 29, 33, 37, 39, 43,
        46, 51, 53, 61, 62, 65, 67, 68, 92, 2, 4, 10, 12, 14, 15, 19, 20, 21,
        23, 24, 25, 28, 29, 33, 37, 39, 43, 46, 51, 53, 61, 62, 65, 67, 68, 92,
        2, 4, 10, 12, 14, 15, 19, 20, 21, 23, 24, 25, 28, 29, 33, 37, 39, 43,
        46, 51, 53, 61, 62, 65, 67, 68, 92, 2, 4, 10, 12, 14, 15, 19, 20, 21,
        23, 24, 25, 28, 29, 33, 37, 39, 43, 46, 51, 53, 61, 62, 65, 67, 68, 92,
        10, 14, 25, 33, 62, 65, 67, 68, 2, 4, 10, 12, 14, 15, 19, 20, 21, 23,
        24, 25, 28, 29, 33, 37, 39, 43, 46, 51, 53, 61, 62, 65, 67, 68, 92, 2,
        4, 10, 12, 14, 15, 19, 20, 21, 23, 24, 25, 28, 29, 33, 37, 39, 43, 46,
        51, 53, 61, 62, 65, 67, 68, 92, 2, 4, 10, 12, 14, 15, 19, 20, 21, 23,
        24, 25, 28, 29, 33, 37, 39, 43, 46, 51, 53, 61, 62, 65, 67, 68, 92, 2,
        4, 10, 12, 14, 15, 19, 20, 21, 23, 24, 25, 28, 29, 33, 37, 39, 43, 46,
        51, 53, 61, 62, 65, 67, 68, 92, 2, 4, 10, 12, 14, 15, 19, 20, 21, 23,
        24, 25, 28, 29, 33, 37, 39, 43, 46, 51, 53, 61, 62, 65, 67, 68, 92, 71,
        80, 88, 2, 4, 10, 12, 14, 15, 24, 25, 28, 29, 33, 37, 46, 51, 53, 62,
        65, 67, 68, 92, 19, 20, 21, 19, 20, 21, 21, 33, 58, 80, 85, 43, 61, 21,
        2, 4, 10, 12, 14, 15, 24, 25, 28, 29, 33, 37, 43, 46, 51, 53, 62, 65,
        67, 68, 92, 21, 61, 2, 4, 10, 12, 14, 15, 24, 25, 28, 29, 33, 37, 43,
        46, 51, 53, 62, 65, 67, 68, 92, 25, 33, 62, 2, 4, 10, 12, 14, 15, 24,
        25, 28, 29, 33, 37, 43, 46, 51, 53, 62, 65, 67, 68, 92, 80, 33, 65, 67,
        80, 65, 67, 80, 2, 4, 10, 12, 14, 15, 24, 25, 28, 29, 33, 37, 43, 46,
        51, 53, 62, 65, 67, 68, 92, 21, 23, 21, 10, 14, 10, 25, 26, 27, 42, 43,
        45, 55, 56, 59, 60, 65, 31, 50, 80, 18, 31, 50, 71, 80, 72, 80, 72, 80,
        31, 51, 71, 65, 65, 10, 25, 26, 27, 42, 43, 45, 55, 56, 59, 60, 65, 80,
        80, 21, 25, 26, 27, 42, 43, 44, 45, 55, 56, 59, 60, 65, 21, 44, 21, 25,
        26, 27, 42, 43, 45, 55, 56, 59, 60, 65, 10, 21, 25, 26, 27, 42, 43, 45,
        55, 56, 59, 60, 65, 21, 75, 80, 75, 80, 21, 22, 25, 43, 21, 21, 22, 25,
        43, 10, 25, 26, 27, 42, 43, 45, 55, 56, 59, 60, 65, 80, 21, 22, 25, 43,
        18, 80, 2, 4, 10, 12, 14, 15, 24, 25, 28, 29, 33, 37, 43, 46, 51, 53,
        62, 65, 67, 68, 92, 3, 35, 36, 37, 65, 66, 67, 68, 71, 74, 76, 80, 2,
        4, 10, 12, 14, 15, 19, 20, 21, 23, 24, 25, 28, 29, 33, 37, 39, 43, 46,
        51, 53, 61, 62, 65, 67, 68, 92, 2, 4, 10, 12, 14, 15, 19, 20, 21, 23,
        24, 25, 28, 29, 33, 37, 39, 43, 46, 51, 53, 61, 62, 65, 67, 68, 92, 2,
        4, 10, 12, 14, 15, 19, 20, 21, 23, 24, 25, 28, 29, 33, 37, 39, 43, 46,
        51, 53, 61, 62, 65, 67, 68, 92, 4, 15, 43, 57, 61, 65, 67, 68, 19, 21,
        39, 19, 21, 39, 19, 21, 39, 19, 21, 39, 19, 21, 39, 19, 21, 39, 19, 21,
        39, 2, 4, 10, 12, 14, 15, 19, 21, 24, 25, 28, 29, 33, 37, 39, 43, 46,
        51, 53, 62, 65, 67, 68, 92, 19, 21, 39, 2, 4, 10, 12, 14, 15, 19, 21,
        24, 25, 28, 29, 33, 37, 39, 43, 46, 51, 53, 62, 65, 67, 68, 92, 19, 21,
        39, 43, 19, 39, 2, 4, 10, 12, 14, 15, 24, 25, 28, 29, 33, 37, 43, 46,
        51, 53, 62, 65, 67, 68, 92, 4, 15, 43, 57, 61, 21, 2, 4, 10, 12, 14,
        15, 19, 24, 25, 28, 29, 33, 37, 39, 43, 46, 51, 53, 62, 65, 67, 68, 92,
        75, 80, 26, 27, 42, 43, 45, 54, 63, 96, 71, 80, 26, 27, 42, 43, 45, 54,
        63, 96, 26, 27, 42, 45, 54, 26, 27, 42, 43, 45, 54, 63, 96, 26, 27, 42,
        43, 45, 54, 63, 96, 26, 27, 42, 45, 54, 63, 75, 80, 75, 80, 26, 27,
        42, 43, 45, 54, 60, 63, 26, 42, 45, 56, 21, 61, 21, 21, 21, 2, 4, 10,
        12, 14, 15, 24, 25, 28, 29, 33, 37, 43, 46, 51, 53, 62, 65, 67, 68,
        92, 21, 61, 2, 4, 10, 12, 14, 15, 24, 25, 28, 29, 33, 37, 43, 46, 51,
        53, 62, 65, 67, 68, 92, 84, 85, 26, 42, 45, 26, 42, 45, 59, 63, 65,
        26, 42, 45, 59, 63, 65, 26, 42, 45, 59, 63, 65, 80, 80, 71, 80, 72,
        75, 72, 75, 35, 72, 75, 85, 72, 75, 10, 21, 25, 26, 27, 42, 43, 44,
        45, 55, 56, 59, 60, 65, 10, 21, 25, 26, 27, 42, 43, 44, 45, 55, 56,
        59, 60, 65, 10, 21, 25, 26, 27, 42, 43, 44, 45, 55, 56, 59, 60, 65,
        10, 21, 25, 26, 27, 42, 43, 44, 45, 55, 56, 59, 60, 65, 21, 43, 65,
        67, 68, 21, 21, 43, 65, 67, 68, 21, 43, 65, 67, 68, 43, 61, 43, 61,
        65, 21, 61, 84, 85, 65, 10, 21, 25, 26, 27, 42, 44, 45, 55, 56, 59,
        60, 72, 75, 84, 85, 2, 4, 10, 12, 14, 15, 24, 25, 28, 29, 33, 37, 43,
        46, 51, 53, 62, 65, 67, 68, 92, 2, 4, 10, 12, 14, 15, 24, 25, 28, 29,
        33, 37, 43, 46, 51, 53, 62, 65, 67, 68, 92, 21, 61, 43, 61, 21, 65,
        21, 22, 25, 21, 25, 19, 21, 39, 26, 27, 42, 45, 54, 60, 63, 84, 85,
        21, 65, 67, 68, 31, 2, 4, 10, 12, 14, 15, 24, 25, 28, 29, 33, 37, 43,
        46, 51, 53, 62, 65, 67, 68, 92, 2, 4, 10, 12, 14, 15, 24, 25, 28, 29,
        33, 37, 43, 46, 51, 53, 62, 65, 67, 68, 92, 4, 15, 57, 72, 65, 65);
end Parse_Tab_9;