|
DataMuseum.dkPresents historical artifacts from the history of: Rational R1000/400 Tapes |
This is an automatic "excavation" of a thematic subset of
See our Wiki for more about Rational R1000/400 Tapes Excavated with: AutoArchaeologist - Free & Open Source Software. |
top - metrics - downloadIndex: T V
Length: 5840 (0x16d0)
Types: TextFile
Names: »V«
└─⟦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⟧
with Parsetables;
use Parsetables;
package Parse_Tab_13 is
Shift_State_Map : constant Shift_State_Array :=
(1, 501, 37, 502, 553, 277, 151, 154, 157, 554, 821, 543, 789, 937, 188,
78, 233, 401, 402, 515, 843, 948, 1026, 710, 653, 503, 269, 555, 590,
270, 556, 591, 833, 288, 295, 838, 839, 224, 231, 437, 441, 442, 539,
735, 744, 867, 875, 886, 911, 922, 930, 935, 971, 1004, 1013, 438, 418,
711, 516, 196, 648, 13, 98, 14, 504, 517, 968, 132, 263, 456, 866, 83,
174, 180, 234, 304, 352, 405, 427, 429, 431, 450, 452, 454, 551, 616,
617, 737, 891, 904, 994, 557, 592, 953, 649, 929, 977, 163, 873, 38,
186, 558, 39, 133, 40, 505, 799, 983, 152, 155, 158, 857, 121, 779, 844,
469, 603, 15, 99, 107, 197, 317, 483, 2, 194, 225, 559, 593, 683, 717,
954, 995, 16, 506, 144, 271, 594, 880, 1011, 667, 700, 936, 945, 980,
164, 340, 426, 818, 823, 175, 528, 610, 927, 518, 974, 1003, 1022, 17,
493, 727, 728, 198, 100, 199, 318, 751, 285, 294, 742, 967, 200, 239,
333, 201, 423, 425, 632, 656, 739, 745, 752, 650, 35, 240, 153, 156, 9,
41, 75, 79, 112, 116, 122, 191, 229, 241, 272, 278, 309, 327, 328, 332,
335, 353, 364, 365, 383, 459, 494, 530, 583, 686, 773, 810, 990, 42,
43, 76, 192, 279, 310, 44, 280, 687, 159, 145, 248, 424, 646, 11, 45,
82, 146, 176, 184, 247, 302, 305, 421, 544, 560, 595, 673, 679, 901,
111, 131, 253, 258, 381, 460, 471, 478, 612, 613, 664, 824, 878, 884,
939, 942, 165, 46, 160, 149, 254, 259, 284, 358, 377, 458, 479, 579,
829, 885, 940, 943, 47, 161, 147, 249, 166, 355, 391, 589, 645, 702,
987, 12, 84, 90, 185, 237, 238, 262, 303, 306, 326, 348, 359, 422, 430,
432, 449, 451, 472, 552, 580, 581, 602, 614, 619, 625, 626, 633, 643,
669, 670, 671, 672, 685, 690, 691, 692, 693, 694, 695, 696, 705, 709,
720, 723, 725, 726, 733, 734, 736, 740, 769, 771, 787, 788, 800, 807,
814, 819, 827, 828, 830, 834, 836, 849, 869, 892, 900, 908, 909, 914,
925, 926, 931, 958, 959, 961, 963, 979, 981, 996, 999, 1000, 1002, 1005,
1006, 1008, 1017, 1019, 1021, 1023, 1024, 1034, 1035, 1036, 134, 135,
136, 250, 372, 932, 251, 252, 373, 399, 871, 915, 918, 933, 969, 137,
255, 379, 380, 168, 604, 772, 815, 138, 139, 140, 406, 620, 600, 715,
716, 718, 719, 941, 3, 48, 276, 361, 542, 794, 195, 407, 657, 1014,
202, 203, 204, 18, 205, 484, 19, 206, 485, 207, 486, 20, 208, 487, 21,
209, 488, 210, 443, 444, 445, 446, 447, 242, 300, 448, 577, 946, 549,
678, 712, 801, 816, 883, 1010, 1012, 605, 609, 820, 897, 952, 962, 998,
1025, 713, 817, 561, 822, 898, 902, 960, 49, 123, 311, 366, 367, 368,
374, 464, 631, 635, 644, 666, 722, 831, 865, 896, 243, 606, 357, 211,
212, 213, 336, 562, 955, 177, 182, 433, 453, 706, 731, 956, 965, 578,
599, 893, 703, 721, 473, 477, 808, 825, 894, 906, 957, 966, 1032, 1033,
563, 564, 565, 566, 596, 567, 568, 597, 569, 117, 389, 457, 470, 550,
714, 826, 890, 674, 118, 148, 256, 570, 675, 697, 881, 1009, 571, 676,
572, 677, 183, 299, 316, 337, 684, 724, 806, 50, 124, 264, 265, 267,
268, 286, 371, 462, 467, 468, 547, 629, 665, 681, 682, 934, 982, 688,
944, 802, 689, 573, 698, 699, 574, 575, 795, 984, 879, 680, 51, 125,
171, 329, 436, 531, 601, 622, 753, 796, 811, 876, 903, 905, 985, 797,
812, 928, 975, 986, 882, 266, 798, 545, 576, 701, 803, 1037, 1038, 91,
114, 339, 341, 360, 403, 584, 588, 618, 708, 791, 804, 889, 938, 988,
991, 887, 947, 989, 888, 949, 507, 805, 950, 992, 1015, 1027, 1016,
1039, 1028, 126, 463, 845, 87, 92, 187, 88, 95, 319, 489, 404, 214, 215,
585, 216, 246, 490, 491, 101, 320, 321, 22, 102, 23, 103, 104, 52, 53,
54, 330, 281, 273, 127, 55, 274, 362, 546, 864, 128, 260, 378, 607,
608, 129, 369, 375, 466, 261, 461, 465, 130, 370, 376, 56, 57, 282,
384, 150, 382, 58, 287, 289, 290, 291, 292, 293, 385, 386, 387, 388,
59, 60, 61, 62, 63, 141, 142, 64, 65, 66, 173, 296, 67, 172, 298, 169,
68, 297, 69, 70, 275, 363, 71, 72, 143, 162, 73, 167, 170, 119, 308,
390, 400, 434, 548, 624, 627, 634, 780, 899, 323, 495, 641, 729, 852,
856, 921, 923, 408, 621, 919, 496, 970, 324, 628, 743, 775, 785, 786,
846, 848, 868, 912, 913, 920, 409, 497, 410, 498, 411, 499, 412, 413,
414, 519, 415, 529, 508, 509, 754, 510, 511, 520, 521, 512, 755, 522,
416, 532, 533, 756, 534, 535, 536, 647, 770, 851, 417, 500, 636, 741,
840, 862, 637, 738, 774, 837, 850, 910, 523, 639, 746, 747, 917, 748,
537, 651, 776, 230, 345, 349, 351, 582, 586, 587, 777, 835, 870, 976,
1007, 652, 189, 654, 89, 96, 235, 778, 190, 325, 419, 538, 655, 24, 105,
108, 217, 322, 354, 492, 80, 81, 179, 236, 331, 334, 350, 428, 481,
482, 623, 301, 307, 611, 813, 832, 997, 1001, 394, 397, 895, 907, 1018,
1020, 77, 232, 392, 356, 393, 25, 193, 26, 109, 27, 93, 346, 226, 28,
97, 338, 704, 435, 218, 342, 344, 219, 106, 707, 439, 732, 513, 514,
630, 524, 525, 526, 527, 642, 924, 768, 757, 758, 861, 759, 760, 972,
761, 762, 853, 855, 860, 763, 764, 765, 841, 858, 859, 863, 973, 766,
730, 4, 5, 6, 10, 7, 29, 30, 8, 113, 245, 36, 31, 658, 782, 659, 660,
783, 661, 662, 784, 663, 781, 978, 32, 33, 110, 244, 598, 964, 455, 85,
178, 181, 312, 395, 396, 615, 398, 475, 476, 86, 313, 314, 315, 480,
220, 221, 222, 223, 668, 792, 874, 790, 877, 993, 540, 640, 809, 1031,
257, 916, 94, 227, 74, 283, 120, 638, 842, 847, 420, 541, 474, 343,
440, 854, 115, 872, 793, 951, 749, 1029, 750, 1030, 767, 34, 228, 347);
end Parse_Tab_13;