!* !* Syntax tables generated from file SYNTAX62 on 02/06/84 at 12.03.44 !* %CONSTSHORTINTEGERARRAY COMP(0:2500)= %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, 553, 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, 1662, 552, 1654, 296, 0, 0, 614, 297, 0, 0, 620, 1037, 1678, 5127, 30976, 298, 0, 0, 1, 1038, 1738, 5377, 552, 1724, 16896, 1536, 0, 553, 1706, 1536, 0, 0, 629, 281, 0, 12800, 1536, 0, 553, 0, 0, 634, 16896, 1536, 0, 1536, 0, 0, 642, 1039, 1746, 0, 647, 1040, 1758, 299, 0, 0, 1, 1041, 1772, 6912, 300, 0, 0, 1, 1042, 1804, 5123, 30976, 554, 1796, 5379, 5632, 301, 0, 0, 1, 298, 0, 0, 1, 1029, 1824, 5125, 30976, 267, 0, 301, 0, 0, 1, 1043, 1840, 808, 0, 296, 0, 0, 649, 1044, 1852, 302, 0, 0, 1, 1045, 1864, 303, 0, 0, 1, 1046, 1896, 5126, 30976, 554, 1888, 5379, 5632, 301, 0, 0, 1, 298, 0, 0, 1, 1047, 1912, 5128, 30976, 298, 0, 0, 1, 1048, 1948, 33280, 11521, 1536, 0, 1049, 0, 270, 0, 15111, 1536, 0, 809, 0, 33536, 0, 655, 1050, 1960, 304, 0, 0, 1, 1051, 1974, 26625, 305, 0, 0, 1, 1052, 1988, 26624, 305, 0, 0, 1, 1053, 2012, 552, 2004, 296, 0, 0, 661, 297, 0, 0, 667, 1054, 2022, 28931, 0, 676, 1055, 2032, 33024, 0, 679, 1056, 2042, 4865, 0, 681, 1057, 2068, 4864, 5377, 17924, 552, 2064, 265, 0, 0, 1, 0, 1, 1058, 2096, 270, 0, 15111, 1536, 0, 553, 0, 1059, 0, 28929, 0, 683, 1060, 2106, 28930, 0, 692, 1061, 2116, 22528, 0, 1, 1062, 2140, 306, 0, 809, 0, 1836, 0, 270, 0, 0, 695, 1063, 2156, 5376, 14080, 1536, 0, 0, 701, 1064, 2188, 5121, 30976, 554, 2180, 5379, 5632, 301, 0, 0, 1, 301, 0, 0, 1, 1065, 2212, 1066, 2202, 9985, 0, 1, 307, 0, 9984, 0, 1, 1067, 2226, 26627, 305, 0, 0, 1, 1068, 2242, 808, 0, 296, 0, 0, 703, 1069, 2252, 33792, 0, 1, 1070, 2284, 5124, 30976, 554, 2276, 5379, 5632, 301, 0, 0, 1, 301, 0, 0, 1, 1071, 2300, 808, 0, 296, 0, 0, 709, 1072, 2326, 308, 0, 556, 2322, 28161, 309, 0, 0, 715, 0, 727, 1073, 2342, 808, 0, 310, 0, 0, 1, 1074, 2368, 22784, 1536, 2356, 0, 736, 5381, 12288, 1536, 0, 0, 738, 1075, 2400, 5122, 30976, 554, 2392, 5379, 5632, 301, 0, 0, 1, 301, 0, 0, 1, 1076, 2444, 552, 2422, 311, 0, 28161, 309, 0, 0, 740, 308, 0, 556, 2440, 28161, 309, 0, 0, 749, 0, 761, 1077, 2468, 28416, 1536, 2458, 0, 770, 28172, 270, 0, 0, 772, 1078, 2492, 552, 2484, 296, 0, 0, 776, 297, 0, 0, 782, 1079, 2518, 22784, 1536, 2506, 0, 791, 5381, 12288, 1536, 0, 0, 793, 1080, 2542, 30976, 22784, 1536, 2534, 0, 1, 312, 0, 0, 1, 1081, 2564, 808, 0, 311, 0, 28161, 309, 0, 0, 795, 1082, 2574, 10240, 0, 1, 1083, 2584, 10241, 0, 1, 1030, 2594, 20224, 0, 1, 1084, 0, 25088, 0, 1, 554, 2662, 552, 2650, 554, 2630, 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, 2712, 552, 2704, 554, 2688, 809, 0, 31490, 0, 1, 284, 0, 809, 0, 31489, 6144, 0, 1, 5379, 6144, 0, 1, 0, 1, 1064, 2726, 5121, 0, 1, 1075, 2736, 5122, 0, 1, 1042, 2746, 5123, 0, 1, 1070, 2756, 5124, 0, 1, 1046, 2766, 5126, 0, 1, 1029, 2776, 5125, 0, 1, 1037, 2786, 5127, 0, 1, 1047, 0, 5128, 0, 1, 5377, 5888, 314, 0, 556, 2816, 298, 0, 0, 1, 559, 2840, 315, 0, 556, 2836, 298, 0, 0, 1, 0, 1, 0, 1, 5377, 5888, 314, 0, 313, 2896, 556, 2868, 301, 0, 0, 1, 559, 2892, 315, 0, 556, 2888, 301, 0, 0, 1, 0, 1, 0, 1, 556, 2908, 301, 0, 0, 1, 0, 1, 7680, 7936, 316, 0, 0, 1, 552, 2938, 6400, 317, 0, 0, 1, 0, 1, 554, 2958, 29184, 809, 0, 8960, 0, 1, 318, 0, 6656, 556, 2976, 317, 0, 0, 1, 553, 2986, 8960, 0, 1, 826, 0, 554, 3006, 29185, 809, 0, 8960, 0, 1, 318, 0, 6657, 556, 3024, 317, 0, 0, 1, 809, 0, 8960, 0, 1, 284, 0, 0, 804, 5381, 554, 3076, 9216, 5381, 9472, 556, 3066, 316, 0, 0, 1, 815, 0, 9728, 0, 1, 9472, 556, 3090, 316, 0, 0, 1, 815, 0, 9728, 0, 1, 5377, 552, 0, 6400, 317, 0, 556, 3124, 302, 0, 0, 1, 0, 1, 559, 3142, 6912, 300, 0, 0, 1, 5377, 7168, 815, 0, 300, 0, 0, 1, 5377, 7424, 314, 0, 556, 3190, 559, 3182, 299, 0, 0, 1, 300, 0, 0, 1, 559, 3202, 299, 0, 0, 1, 0, 1, 5377, 7680, 320, 0, 815, 0, 316, 0, 31232, 1836, 0, 303, 0, 0, 1, 7680, 321, 0, 559, 0, 316, 0, 31232, 1836, 0, 303, 0, 0, 1, 552, 3288, 322, 0, 556, 3284, 321, 0, 0, 1, 0, 1, 5377, 552, 3316, 8192, 323, 0, 556, 3312, 321, 0, 0, 1, 0, 1, 7936, 556, 3330, 321, 0, 0, 1, 0, 1, 10496, 324, 0, 0, 1, 552, 3364, 322, 0, 812, 0, 324, 0, 0, 1, 5377, 552, 3388, 10497, 325, 0, 812, 0, 324, 0, 0, 1, 829, 0, 10498, 5376, 10499, 812, 0, 5376, 10500, 556, 3424, 5376, 10501, 809, 0, 10503, 0, 1, 809, 0, 10503, 10502, 0, 1, 5376, 10504, 326, 0, 0, 1, 554, 3464, 5376, 10506, 326, 0, 0, 1, 559, 3480, 5376, 10507, 326, 0, 0, 1, 555, 3496, 5376, 10508, 326, 0, 0, 1, 557, 3512, 5376, 10509, 326, 0, 0, 1, 556, 3524, 325, 0, 0, 1, 809, 0, 10505, 0, 1, 552, 3562, 8192, 323, 0, 556, 3558, 5377, 320, 0, 0, 1, 0, 1, 7936, 556, 3578, 5377, 320, 0, 0, 1, 0, 1, 8193, 1536, 3600, 278, 0, 30208, 7937, 0, 1, 327, 0, 0, 1, 284, 0, 30208, 8448, 556, 3628, 327, 0, 0, 1, 809, 0, 552, 3648, 278, 0, 30208, 8705, 0, 1, 8704, 0, 1, 328, 0, 30208, 556, 3672, 310, 0, 0, 1, 809, 0, 0, 1, 5377, 829, 0, 26112, 1536, 0, 285, 0, 30720, 1536, 0, 0, 809, 268, 3806, 554, 3782, 552, 3754, 284, 0, 809, 0, 31489, 5632, 552, 0, 329, 0, 556, 3750, 307, 0, 0, 1, 0, 1, 5379, 5632, 552, 0, 329, 0, 556, 3778, 307, 0, 0, 1, 0, 1, 552, 0, 329, 0, 556, 3802, 307, 0, 0, 1, 0, 1, 1085, 0, 5120, 552, 0, 329, 0, 556, 3832, 307, 0, 0, 1, 0, 1, 10752, 557, 3864, 11008, 556, 3856, 329, 0, 0, 1, 809, 0, 0, 1, 556, 3876, 329, 0, 0, 1, 809, 0, 0, 1, 808, 0, 5377, 7680, 320, 0, 809, 0, 11264, 556, 3914, 304, 0, 0, 1, 0, 1, 5379, 12544, 556, 3934, 306, 0, 0, 814, 12800, 1536, 0, 0, 817, 330, 3968, 556, 3960, 331, 0, 0, 820, 809, 0, 0, 825, 297, 0, 556, 4008, 331, 3984, 0, 828, 308, 0, 556, 4000, 331, 0, 0, 836, 809, 0, 0, 849, 809, 0, 0, 860, 330, 0, 556, 4032, 331, 0, 0, 866, 809, 0, 0, 871, 554, 4048, 0, 874, 28161, 270, 0, 0, 877, 554, 4066, 0, 880, 28161, 270, 0, 0, 883, 1086, 4088, 297, 0, 0, 886, 1087, 4100, 308, 0, 0, 892, 1088, 4114, 28161, 270, 0, 0, 898, 1089, 4128, 5376, 1536, 0, 0, 904, 1090, 4142, 5376, 1536, 0, 0, 908, 1091, 0, 28161, 270, 0, 0, 912, 330, 4180, 556, 4172, 332, 0, 0, 918, 809, 0, 0, 923, 332, 4188, 0, 926, 297, 0, 556, 4204, 332, 0, 0, 929, 809, 0, 0, 937, 28161, 330, 4238, 556, 4230, 332, 0, 0, 943, 809, 0, 0, 948, 333, 0, 829, 0, 270, 0, 556, 4262, 332, 0, 0, 951, 809, 0, 0, 960, 1092, 4278, 0, 967, 1093, 4286, 0, 970, 1094, 4294, 0, 973, 1095, 4302, 0, 976, 1096, 4310, 0, 979, 1097, 4318, 0, 982, 1098, 4326, 0, 985, 1099, 4334, 0, 988, 1100, 4342, 0, 991, 1101, 4350, 0, 994, 1102, 4358, 0, 997, 1103, 4366, 0, 1000, 1104, 4374, 0, 1003, 1105, 4382, 0, 1006, 1106, 4390, 0, 1009, 1107, 4398, 0, 1012, 1108, 4406, 0, 1015, 1109, 4414, 0, 1018, 1110, 0, 0, 1021, 552, 4506, 18688, 309, 0, 573, 4492, 19456, 1536, 0, 334, 0, 812, 0, 334, 0, 556, 4474, 334, 0, 809, 0, 335, 0, 0, 1024, 12033, 1536, 0, 809, 0, 335, 0, 0, 1039, 809, 0, 23808, 335, 0, 0, 1052, 32000, 1536, 4538, 1536, 4520, 0, 1, 5377, 32256, 18432, 1536, 0, 335, 0, 0, 1057, 28161, 270, 0, 15111, 335, 0, 0, 1062, 556, 4568, 17408, 309, 0, 0, 1069, 0, 1, 5377, 17152, 556, 4588, 305, 0, 0, 1, 0, 1, 559, 4620, 5377, 31745, 815, 0, 556, 4616, 312, 0, 0, 1, 0, 1, 5377, 31744, 556, 4636, 312, 0, 0, 1, 0, 1, 553, 4648, 0, 1, 554, 4674, 18944, 556, 4666, 265, 0, 0, 1, 809, 0, 0, 1, 5377, 19200, 556, 4690, 265, 0, 0, 1, 809, 0, 0, 1, 1111, 0, 270, 0, 15111, 1536, 0, 809, 0, 16128, 1536, 4766, 4608, 5379, 14080, 4352, 1536, 0, 556, 0, 5379, 14080, 4352, 1536, 0, 556, 0, 5379, 14080, 4352, 1536, 0, 0, 1072, 1111, 4834, 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, 1079, 1059, 4844, 28928, 0, 1092, 258, 0, 0, 1101, 1111, 0, 270, 0, 15111, 1536, 0, 809, 0, 19712, 259, 0, 0, 1111, 580, 0, 847, 0, 33280, 11520, 1536, 0, 1836, 0, 5377, 11777, 1536, 0, 829, 0, 334, 0, 812, 0, 334, 0, 556, 4936, 334, 0, 0, 1121, 12033, 1536, 0, 0, 1129, 28169, 270, 0, 15111, 0, 1135, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0;