!* !* Syntax tables generated from file SYNTAX70 on 13/06/86 at 08.14.50 !* %CONSTSHORTINTEGERARRAY COMP(0:3000)= %C 0, 258, 0, 258, 0, 259, 0, 260, 0, 261, 0, 262, 0, 263, 0, 264, 0, 0, 1, 1025, 50, 5377, 17921, 0, 1, 1026, 70, 5377, 17922, 808, 0, 265, 0, 0, 1, 1027, 94, 5377, 17923, 552, 90, 265, 0, 0, 1, 0, 1, 1028, 114, 266, 108, 17925, 0, 1, 28672, 0, 1, 1029, 146, 5125, 267, 0, 1026, 0, 5377, 5888, 17922, 808, 0, 265, 0, 0, 1, 268, 202, 554, 180, 5379, 5632, 1026, 0, 5377, 5888, 17922, 808, 0, 265, 0, 0, 1, 1026, 0, 5377, 5888, 17922, 808, 0, 265, 0, 0, 1, 1030, 0, 20224, 0, 1, 5383, 0, 1, 269, 0, 573, 0, 270, 0, 15111, 1536, 0, 0, 2, 27392, 1536, 254, 271, 0, 0, 17, 5376, 13568, 1536, 0, 0, 22, 272, 0, 273, 0, 32768, 1536, 354, 554, 302, 15106, 274, 0, 275, 298, 0, 25, 0, 37, 559, 346, 559, 328, 15106, 274, 0, 275, 324, 0, 47, 0, 57, 15106, 274, 0, 275, 342, 0, 64, 0, 76, 275, 0, 0, 86, 0, 94, 555, 372, 15106, 276, 0, 0, 100, 557, 386, 15106, 276, 0, 0, 105, 574, 406, 15360, 1536, 0, 15107, 270, 0, 0, 110, 545, 420, 15108, 270, 0, 0, 114, 550, 434, 15108, 270, 0, 0, 118, 638, 448, 15108, 270, 0, 0, 122, 547, 0, 15108, 270, 0, 0, 128, 1536, 0, 273, 0, 32768, 1536, 528, 554, 498, 15106, 274, 0, 275, 494, 0, 134, 0, 147, 559, 520, 15106, 274, 0, 275, 516, 0, 158, 0, 171, 275, 0, 0, 182, 0, 191, 1536, 0, 273, 0, 554, 554, 15106, 274, 0, 0, 198, 559, 582, 559, 572, 15106, 274, 0, 0, 209, 15106, 274, 0, 0, 218, 0, 229, 277, 0, 1031, 604, 15106, 273, 0, 0, 236, 0, 242, 552, 644, 5382, 1536, 628, 13568, 1536, 0, 0, 245, 15616, 271, 0, 809, 0, 15872, 0, 248, 5376, 552, 776, 14336, 1536, 0, 17664, 1536, 744, 1536, 714, 1536, 686, 278, 0, 28163, 30720, 1536, 0, 0, 253, 553, 700, 1536, 0, 20992, 0, 259, 279, 0, 809, 0, 20992, 0, 261, 280, 0, 13056, 552, 740, 278, 0, 28163, 30720, 1536, 0, 0, 265, 0, 273, 553, 758, 14848, 1536, 0, 0, 278, 281, 0, 809, 0, 14848, 1536, 0, 0, 280, 13568, 1536, 0, 0, 286, 5377, 552, 878, 16640, 1536, 0, 21504, 1536, 854, 1536, 824, 278, 0, 28161, 30720, 1536, 0, 0, 289, 280, 0, 19968, 552, 850, 278, 0, 28161, 30720, 1536, 0, 0, 295, 0, 303, 553, 864, 20480, 0, 308, 282, 0, 809, 0, 20480, 0, 311, 13824, 1536, 0, 0, 314, 555, 898, 15110, 0, 317, 557, 908, 15110, 0, 320, 604, 938, 15109, 555, 924, 15110, 0, 323, 557, 934, 15110, 0, 326, 0, 329, 0, 332, 570, 978, 29696, 1536, 0, 553, 966, 29696, 1536, 0, 0, 335, 283, 0, 809, 0, 0, 337, 283, 0, 826, 0, 553, 1000, 29696, 1536, 0, 0, 341, 283, 0, 809, 0, 0, 345, 15616, 28172, 270, 0, 15111, 15872, 0, 351, 28172, 285, 0, 0, 356, 27392, 1536, 1054, 286, 0, 15111, 0, 359, 5376, 26368, 1536, 0, 0, 364, 272, 0, 287, 0, 288, 1094, 289, 0, 290, 1090, 0, 367, 0, 379, 290, 1102, 0, 389, 0, 397, 291, 1118, 292, 0, 0, 403, 293, 0, 286, 0, 0, 408, 1536, 0, 1536, 0, 287, 0, 288, 1162, 289, 0, 290, 1158, 0, 413, 0, 426, 290, 1170, 0, 437, 0, 446, 1536, 0, 1536, 0, 287, 0, 288, 1198, 289, 0, 0, 453, 0, 464, 294, 0, 1031, 1220, 15106, 287, 0, 0, 471, 0, 480, 552, 1260, 5382, 1536, 1244, 26369, 1536, 0, 0, 483, 15616, 286, 0, 809, 0, 15872, 0, 486, 5376, 26368, 1536, 0, 0, 491, 1032, 1282, 15106, 0, 494, 559, 1292, 15106, 0, 497, 554, 0, 15106, 0, 500, 555, 1312, 15106, 0, 503, 557, 0, 15106, 0, 506, 574, 1338, 15360, 1536, 0, 15107, 0, 509, 545, 1348, 15108, 0, 512, 550, 1358, 15108, 0, 515, 638, 1368, 15108, 0, 518, 547, 0, 15108, 0, 521, 554, 1402, 5379, 12544, 556, 1398, 281, 0, 0, 524, 0, 1, 550, 1426, 5379, 12544, 556, 1422, 281, 0, 0, 527, 0, 1, 1033, 1466, 270, 0, 15111, 1536, 0, 14592, 1536, 0, 553, 0, 556, 1462, 281, 0, 0, 530, 0, 541, 295, 0, 15111, 1536, 0, 14592, 1536, 0, 556, 1494, 281, 0, 0, 544, 0, 555, 27392, 1536, 1512, 270, 0, 0, 564, 5376, 32256, 1536, 0, 0, 567, 270, 0, 15111, 16384, 1536, 0, 556, 1548, 280, 0, 0, 570, 809, 0, 0, 578, 5377, 20736, 556, 1572, 282, 0, 0, 1, 0, 1, 270, 0, 15111, 1536, 0, 21248, 1536, 0, 556, 1604, 279, 0, 0, 584, 0, 597, 32512, 1034, 1638, 5379, 14081, 1536, 0, 1035, 0, 5377, 11776, 1536, 0, 0, 608, 1036, 1666, 2566, 296, 0, 556, 1662, 28161, 297, 0, 0, 614, 0, 626, 1037, 1690, 552, 1682, 298, 0, 0, 635, 299, 0, 0, 641, 1038, 1708, 2561, 5127, 30976, 300, 0, 0, 1, 1039, 1768, 5377, 552, 1754, 16896, 1536, 0, 553, 1736, 1536, 0, 0, 650, 281, 0, 12800, 1536, 0, 553, 0, 0, 655, 16896, 1536, 0, 1536, 0, 0, 663, 1040, 1776, 0, 668, 1041, 1788, 301, 0, 0, 1, 1042, 1802, 6912, 302, 0, 0, 1, 1043, 1834, 5123, 30976, 554, 1826, 5379, 5632, 303, 0, 0, 1, 300, 0, 0, 1, 1029, 1854, 5125, 30976, 267, 0, 303, 0, 0, 1, 1044, 1872, 2562, 5129, 30976, 300, 0, 0, 1, 1045, 1888, 808, 0, 298, 0, 0, 670, 1046, 1900, 304, 0, 0, 1, 1047, 1912, 305, 0, 0, 1, 1048, 1944, 5126, 30976, 554, 1936, 5379, 5632, 303, 0, 0, 1, 300, 0, 0, 1, 1049, 1960, 5128, 30976, 300, 0, 0, 1, 1050, 1996, 33280, 11521, 1536, 0, 1307, 0, 270, 0, 15111, 1536, 0, 809, 0, 33536, 0, 676, 1052, 2008, 306, 0, 0, 1, 1053, 2022, 26624, 307, 0, 0, 1, 1054, 2046, 552, 2038, 298, 0, 0, 682, 299, 0, 0, 688, 1055, 2056, 28931, 0, 697, 1056, 2066, 33024, 0, 700, 1057, 2076, 4865, 0, 702, 1058, 2102, 4864, 5377, 17924, 552, 2098, 265, 0, 0, 1, 0, 1, 1059, 2130, 270, 0, 15111, 1536, 0, 809, 0, 1316, 0, 28929, 0, 704, 1061, 2140, 28930, 0, 713, 1062, 2150, 22528, 0, 1, 1063, 2174, 308, 0, 809, 0, 1836, 0, 270, 0, 0, 716, 1064, 2190, 5376, 14080, 1536, 0, 0, 722, 1065, 2222, 5121, 30976, 554, 2214, 5379, 5632, 303, 0, 0, 1, 303, 0, 0, 1, 1066, 2248, 1067, 2238, 2563, 9985, 0, 1, 309, 0, 9984, 0, 1, 1068, 2262, 26627, 307, 0, 0, 1, 1069, 2278, 808, 0, 298, 0, 0, 724, 1070, 2288, 33792, 0, 1, 1071, 2320, 5124, 30976, 554, 2312, 5379, 5632, 303, 0, 0, 1, 303, 0, 0, 1, 1072, 2342, 2568, 5377, 21760, 815, 0, 310, 0, 0, 1, 1073, 2358, 808, 0, 298, 0, 0, 730, 1074, 2384, 296, 0, 556, 2380, 28161, 297, 0, 0, 736, 0, 748, 1075, 2400, 808, 0, 311, 0, 0, 1, 1076, 2426, 22784, 1536, 2414, 0, 757, 5381, 12288, 1536, 0, 0, 759, 1077, 2458, 5122, 30976, 554, 2450, 5379, 5632, 303, 0, 0, 1, 303, 0, 0, 1, 1078, 2502, 552, 2480, 312, 0, 28161, 297, 0, 0, 761, 296, 0, 556, 2498, 28161, 297, 0, 0, 770, 0, 782, 1079, 2526, 28416, 1536, 2516, 0, 791, 28172, 270, 0, 0, 793, 1080, 2550, 552, 2542, 298, 0, 0, 797, 299, 0, 0, 803, 1081, 2576, 22784, 1536, 2564, 0, 812, 5381, 12288, 1536, 0, 0, 814, 1082, 2600, 30976, 22784, 1536, 2592, 0, 1, 313, 0, 0, 1, 1083, 2628, 2567, 296, 0, 556, 2624, 28161, 297, 0, 0, 816, 0, 828, 1084, 2650, 808, 0, 312, 0, 28161, 297, 0, 0, 837, 1085, 2660, 10240, 0, 1, 1086, 2670, 10241, 0, 1, 1030, 2680, 20224, 0, 1, 1087, 0, 25088, 0, 1, 554, 2748, 552, 2736, 554, 2716, 809, 0, 31488, 1836, 0, 0, 1, 284, 0, 809, 0, 31489, 5632, 1836, 0, 0, 1, 5379, 5632, 1836, 0, 0, 1, 0, 1, 554, 2798, 552, 2790, 554, 2774, 809, 0, 31490, 0, 1, 284, 0, 809, 0, 31489, 6144, 0, 1, 5379, 6144, 0, 1, 0, 1, 1065, 2812, 5121, 0, 1, 1077, 2822, 5122, 0, 1, 1043, 2832, 5123, 0, 1, 1071, 2842, 5124, 0, 1, 1048, 2852, 5126, 0, 1, 1029, 2862, 5125, 0, 1, 1038, 2874, 2561, 5127, 0, 1, 1049, 2884, 5128, 0, 1, 1044, 0, 2562, 5129, 0, 1, 5377, 5888, 315, 0, 556, 2916, 300, 0, 0, 1, 559, 2940, 316, 0, 556, 2936, 300, 0, 0, 1, 0, 1, 0, 1, 5377, 5888, 315, 0, 314, 2996, 556, 2968, 303, 0, 0, 1, 559, 2992, 316, 0, 556, 2988, 303, 0, 0, 1, 0, 1, 0, 1, 556, 3008, 303, 0, 0, 1, 0, 1, 7680, 7936, 317, 0, 0, 1, 552, 3038, 6400, 318, 0, 0, 1, 0, 1, 554, 3058, 29184, 809, 0, 8960, 0, 1, 319, 0, 6656, 556, 3076, 318, 0, 0, 1, 553, 3086, 8960, 0, 1, 826, 0, 554, 3106, 29185, 809, 0, 8960, 0, 1, 319, 0, 6657, 556, 3124, 318, 0, 0, 1, 809, 0, 8960, 0, 1, 284, 0, 0, 846, 5381, 554, 3176, 9216, 5381, 9472, 556, 3166, 317, 0, 0, 1, 815, 0, 9728, 0, 1, 9472, 556, 3190, 317, 0, 0, 1, 815, 0, 9728, 0, 1, 5377, 552, 0, 6400, 318, 0, 556, 3224, 304, 0, 0, 1, 0, 1, 559, 3242, 6912, 302, 0, 0, 1, 5377, 7168, 815, 0, 302, 0, 0, 1, 5377, 7424, 315, 0, 556, 3290, 559, 3282, 301, 0, 0, 1, 302, 0, 0, 1, 559, 3302, 301, 0, 0, 1, 0, 1, 5377, 7680, 321, 0, 815, 0, 317, 0, 31232, 1836, 0, 305, 0, 0, 1, 7680, 322, 0, 559, 0, 317, 0, 31232, 1836, 0, 305, 0, 0, 1, 552, 3388, 323, 0, 556, 3384, 322, 0, 0, 1, 0, 1, 5377, 552, 3416, 8192, 324, 0, 556, 3412, 322, 0, 0, 1, 0, 1, 7936, 556, 3430, 322, 0, 0, 1, 0, 1, 10496, 325, 0, 0, 1, 552, 3464, 323, 0, 812, 0, 325, 0, 0, 1, 5377, 552, 3488, 10497, 326, 0, 812, 0, 325, 0, 0, 1, 829, 0, 10498, 327, 0, 10499, 812, 0, 327, 0, 10500, 556, 3530, 327, 0, 10501, 809, 0, 10503, 0, 1, 809, 0, 10503, 10502, 0, 1, 327, 0, 10504, 556, 3560, 326, 0, 0, 1, 809, 0, 10505, 0, 1, 328, 0, 30208, 0, 1, 285, 0, 0, 851, 552, 3616, 8192, 324, 0, 556, 3612, 5377, 321, 0, 0, 1, 0, 1, 7936, 556, 3632, 5377, 321, 0, 0, 1, 0, 1, 8193, 1536, 3654, 278, 0, 30208, 7937, 0, 1, 329, 0, 0, 1, 284, 0, 30208, 8448, 556, 3682, 329, 0, 0, 1, 809, 0, 552, 3702, 278, 0, 30208, 8705, 0, 1, 8705, 0, 1, 5377, 21761, 556, 3724, 310, 0, 0, 1, 559, 3746, 21762, 5377, 21760, 815, 0, 310, 0, 0, 1, 21762, 0, 1, 330, 0, 30208, 556, 3770, 311, 0, 0, 1, 809, 0, 0, 1, 5377, 829, 0, 26112, 1536, 0, 285, 0, 30720, 1536, 0, 0, 856, 268, 3904, 554, 3880, 552, 3852, 284, 0, 809, 0, 31489, 5632, 808, 0, 331, 0, 556, 3848, 309, 0, 0, 1, 0, 1, 5379, 5632, 808, 0, 331, 0, 556, 3876, 309, 0, 0, 1, 0, 1, 808, 0, 331, 0, 556, 3900, 309, 0, 0, 1, 0, 1, 1088, 0, 2564, 552, 3936, 5120, 331, 0, 556, 3932, 309, 0, 0, 1, 0, 1, 9985, 0, 1, 10752, 557, 3970, 11008, 556, 3962, 331, 0, 0, 1, 809, 0, 0, 1, 556, 3982, 331, 0, 0, 1, 809, 0, 0, 1, 808, 0, 5377, 7680, 321, 0, 809, 0, 11264, 556, 4020, 306, 0, 0, 1, 0, 1, 5379, 12544, 556, 4040, 308, 0, 0, 861, 12800, 1536, 0, 0, 864, 332, 4074, 556, 4066, 333, 0, 0, 867, 809, 0, 0, 872, 299, 0, 556, 4114, 333, 4090, 0, 875, 296, 0, 556, 4106, 333, 0, 0, 883, 809, 0, 0, 896, 809, 0, 0, 907, 332, 0, 556, 4138, 333, 0, 0, 913, 809, 0, 0, 918, 554, 4154, 0, 921, 28161, 270, 0, 0, 924, 554, 4172, 0, 927, 28161, 270, 0, 0, 930, 1089, 4194, 299, 0, 0, 933, 1090, 4206, 296, 0, 0, 939, 1091, 4220, 28161, 270, 0, 0, 945, 1092, 4234, 5376, 1536, 0, 0, 951, 1093, 4248, 5376, 1536, 0, 0, 955, 1094, 0, 28161, 270, 0, 0, 959, 332, 4286, 556, 4278, 334, 0, 0, 965, 809, 0, 0, 970, 334, 4294, 0, 973, 299, 0, 556, 4310, 334, 0, 0, 976, 809, 0, 0, 984, 28161, 332, 4344, 556, 4336, 334, 0, 0, 990, 809, 0, 0, 995, 335, 0, 270, 0, 556, 4364, 334, 0, 0, 998, 809, 0, 0, 1007, 1095, 4380, 0, 1014, 1096, 4388, 0, 1017, 1097, 4396, 0, 1020, 1098, 4404, 0, 1023, 1099, 4412, 0, 1026, 1100, 4420, 0, 1029, 1101, 4428, 0, 1032, 1102, 4436, 0, 1035, 1103, 4444, 0, 1038, 1104, 4452, 0, 1041, 1105, 4460, 0, 1044, 1106, 4468, 0, 1047, 1107, 4476, 0, 1050, 1108, 4484, 0, 1053, 1109, 4492, 0, 1056, 1110, 4500, 0, 1059, 1111, 4508, 0, 1062, 1112, 4516, 0, 1065, 1113, 0, 0, 1068, 552, 4608, 18688, 297, 0, 573, 4594, 19456, 1536, 0, 336, 0, 812, 0, 336, 0, 556, 4576, 336, 0, 809, 0, 337, 0, 0, 1071, 12033, 1536, 0, 809, 0, 337, 0, 0, 1086, 809, 0, 23808, 337, 0, 0, 1099, 32000, 1536, 4640, 1536, 4622, 0, 1, 5377, 32256, 18432, 1536, 0, 337, 0, 0, 1104, 28161, 270, 0, 15111, 337, 0, 0, 1109, 556, 4670, 17408, 297, 0, 0, 1116, 0, 1, 5377, 17152, 556, 4690, 307, 0, 0, 1, 0, 1, 559, 4722, 5377, 31745, 815, 0, 556, 4718, 313, 0, 0, 1, 0, 1, 5377, 31744, 556, 4738, 313, 0, 0, 1, 0, 1, 553, 4750, 0, 1, 554, 4776, 18944, 556, 4768, 265, 0, 0, 1, 809, 0, 0, 1, 5377, 19200, 556, 4792, 265, 0, 0, 1, 809, 0, 0, 1, 1114, 0, 270, 0, 15111, 1536, 0, 809, 0, 16128, 1536, 4868, 4608, 5379, 14080, 4352, 1536, 0, 556, 0, 5379, 14080, 4352, 1536, 0, 556, 0, 5379, 14080, 4352, 1536, 0, 0, 1119, 1114, 4936, 270, 0, 15111, 1536, 0, 553, 0, 16128, 1536, 0, 4608, 5379, 14080, 4352, 1536, 0, 556, 0, 5379, 14080, 4352, 1536, 0, 556, 0, 5379, 14080, 4352, 1536, 0, 0, 1126, 1060, 4946, 28928, 0, 1139, 258, 0, 0, 1148, 1114, 0, 270, 0, 15111, 1536, 0, 809, 0, 19712, 259, 0, 0, 1158, 580, 0, 847, 0, 33280, 11520, 1536, 0, 1836, 0, 5377, 11777, 1536, 0, 829, 0, 336, 0, 812, 0, 336, 0, 556, 5038, 336, 0, 0, 1168, 12033, 1536, 0, 0, 1176, 28169, 270, 0, 15111, 0, 1182, 0(471);