From 1893ddfbfa787e2cbc18d0c787f9c42692a2e1ef Mon Sep 17 00:00:00 2001 From: Lev Walkin Date: Sun, 20 Mar 2005 14:28:32 +0000 Subject: parsing support for CONSTRAINED BY --- libasn1parser/asn1p_l.c | 1771 ++++++++++++++++++++++++----------------------- 1 file changed, 888 insertions(+), 883 deletions(-) (limited to 'libasn1parser/asn1p_l.c') diff --git a/libasn1parser/asn1p_l.c b/libasn1parser/asn1p_l.c index 8d4c7f6a..9e33d8f1 100644 --- a/libasn1parser/asn1p_l.c +++ b/libasn1parser/asn1p_l.c @@ -314,7 +314,7 @@ static void yy_fatal_error YY_PROTO(( yyconst char msg[] )); #define YY_NUM_RULES 129 #define YY_END_OF_BUFFER 130 -static yyconst short int yy_acclist[1259] = +static yyconst short int yy_acclist[1261] = { 0, 130, 128, 129, 121, 128, 129, 121, 129, 122, 128, 129, 15, 128, 129, 122, 128, 129, 128, 129, 122, @@ -434,29 +434,29 @@ static yyconst short int yy_acclist[1259] = 65, 117, 116, 117, 116, 117, 116, 117, 117, 116, 117, 117, 117, 116, 117, 117, 116, 117, 99, 117, 116, 117, 117, 106, 116, 117, 117, 117, 117, 117, - 21, 116, 117, 44, 116, 117, 45, 116, 117, 46, - 116, 117, 116, 117, 116, 117, 54, 116, 117, 116, - - 117, 117, 117, 117, 66, 116, 117, 116, 117, 116, - 117, 117, 116, 117, 117, 117, 116, 117, 117, 116, - 117, 116, 117, 117, 109, 117, 117, 117, 117, 21, - 33, 116, 117, 49, 116, 117, 116, 117, 116, 117, - 117, 117, 117, 116, 117, 116, 117, 117, 116, 117, - 117, 117, 116, 117, 117, 116, 117, 116, 117, 117, - 117, 117, 117, 21, 116, 117, 116, 117, 117, 117, - 117, 72, 116, 117, 74, 116, 117, 75, 117, 116, - 117, 117, 117, 116, 117, 117, 93, 116, 117, 116, - 117, 117, 117, 117, 117, 21, 116, 117, 58, 116, - - 117, 63, 117, 117, 64, 117, 116, 117, 80, 117, - 117, 88, 116, 117, 117, 116, 117, 101, 117, 117, - 117, 111, 117, 21, 116, 117, 117, 78, 116, 117, - 117, 117, 116, 117, 117, 110, 117, 21, 116, 117, - 62, 117, 117, 90, 117, 103, 116, 117, 107, 117, - 21, 52, 116, 117, 82, 117, 19, 21 + 21, 116, 117, 44, 116, 117, 116, 117, 46, 116, + 117, 116, 117, 116, 117, 54, 116, 117, 116, 117, + + 117, 117, 117, 66, 116, 117, 116, 117, 116, 117, + 117, 116, 117, 117, 117, 116, 117, 117, 116, 117, + 116, 117, 117, 109, 117, 117, 117, 117, 21, 33, + 116, 117, 45, 116, 117, 49, 116, 117, 116, 117, + 116, 117, 117, 117, 117, 116, 117, 116, 117, 117, + 116, 117, 117, 117, 116, 117, 117, 116, 117, 116, + 117, 117, 117, 117, 117, 21, 116, 117, 116, 117, + 117, 117, 117, 72, 116, 117, 74, 116, 117, 75, + 117, 116, 117, 117, 117, 116, 117, 117, 93, 116, + 117, 116, 117, 117, 117, 117, 117, 21, 116, 117, + + 58, 116, 117, 63, 117, 117, 64, 117, 116, 117, + 80, 117, 117, 88, 116, 117, 117, 116, 117, 101, + 117, 117, 117, 111, 117, 21, 116, 117, 117, 78, + 116, 117, 117, 117, 116, 117, 117, 110, 117, 21, + 116, 117, 62, 117, 117, 90, 117, 103, 116, 117, + 107, 117, 21, 52, 116, 117, 82, 117, 19, 21 } ; -static yyconst short int yy_accept[671] = +static yyconst short int yy_accept[672] = { 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 4, 7, 9, 12, @@ -519,18 +519,19 @@ static yyconst short int yy_accept[671] = 1025, 1028, 1030, 1033, 1036, 1038, 1040, 1042, 1044, 1046, 1048, 1049, 1050, 1051, 1053, 1055, 1057, 1059, 1060, 1062, 1063, 1064, 1066, 1067, 1069, 1071, 1073, 1074, 1077, 1078, - 1079, 1080, 1081, 1082, 1084, 1087, 1090, 1093, 1095, 1097, - 1100, 1102, 1103, 1104, 1105, 1108, 1110, 1112, 1113, 1115, - 1116, 1117, 1119, 1120, 1122, 1124, 1125, 1127, 1128, 1129, - 1130, 1131, 1134, 1137, 1139, 1141, 1142, 1143, 1144, 1146, - - 1148, 1149, 1151, 1152, 1153, 1155, 1156, 1158, 1160, 1161, - 1162, 1163, 1164, 1165, 1167, 1169, 1170, 1171, 1172, 1175, - 1178, 1180, 1182, 1183, 1184, 1186, 1187, 1190, 1192, 1193, - 1194, 1195, 1196, 1197, 1199, 1202, 1204, 1205, 1207, 1209, - 1211, 1212, 1215, 1216, 1218, 1220, 1221, 1222, 1224, 1225, - 1227, 1228, 1231, 1232, 1233, 1235, 1236, 1238, 1239, 1241, - 1243, 1244, 1246, 1249, 1251, 1252, 1255, 1257, 1259, 1259 + 1079, 1080, 1081, 1082, 1084, 1087, 1089, 1092, 1094, 1096, + 1099, 1101, 1102, 1103, 1104, 1107, 1109, 1111, 1112, 1114, + 1115, 1116, 1118, 1119, 1121, 1123, 1124, 1126, 1127, 1128, + 1129, 1130, 1133, 1136, 1139, 1141, 1143, 1144, 1145, 1146, + + 1148, 1150, 1151, 1153, 1154, 1155, 1157, 1158, 1160, 1162, + 1163, 1164, 1165, 1166, 1167, 1169, 1171, 1172, 1173, 1174, + 1177, 1180, 1182, 1184, 1185, 1186, 1188, 1189, 1192, 1194, + 1195, 1196, 1197, 1198, 1199, 1201, 1204, 1206, 1207, 1209, + 1211, 1213, 1214, 1217, 1218, 1220, 1222, 1223, 1224, 1226, + 1227, 1229, 1230, 1233, 1234, 1235, 1237, 1238, 1240, 1241, + 1243, 1245, 1246, 1248, 1251, 1253, 1254, 1257, 1259, 1261, + 1261 } ; static yyconst int yy_ec[256] = @@ -577,27 +578,27 @@ static yyconst int yy_meta[78] = 10, 10, 10, 10, 11, 1, 11 } ; -static yyconst short int yy_base[688] = +static yyconst short int yy_base[689] = { 0, 0, 0, 75, 77, 79, 80, 81, 88, 82, 92, 169, 246, 108, 119, 797, 777, 94, 97, 775, 774, - 316, 116, 4249, 117, 767, 99, 4249, 124, 751, 4249, + 316, 116, 4266, 117, 767, 99, 4266, 124, 751, 4266, 380, 173, 191, 120, 236, 254, 269, 188, 275, 430, 431, 447, 453, 468, 474, 490, 498, 514, 515, 762, - 0, 760, 0, 4249, 4249, 756, 4249, 4249, 753, 754, - 0, 0, 757, 0, 0, 740, 4249, 4249, 4249, 0, - 4249, 4249, 575, 651, 0, 148, 151, 256, 4249, 746, - 159, 0, 745, 743, 0, 95, 0, 325, 739, 4249, - 223, 733, 4249, 550, 715, 564, 565, 580, 593, 596, + 0, 760, 0, 4266, 4266, 756, 4266, 4266, 753, 754, + 0, 0, 757, 0, 0, 740, 4266, 4266, 4266, 0, + 4266, 4266, 575, 651, 0, 148, 151, 256, 4266, 746, + 159, 0, 745, 743, 0, 95, 0, 325, 739, 4266, + 223, 733, 4266, 550, 715, 564, 565, 580, 593, 596, 609, 0, 640, 643, 656, 669, 680, 696, 704, 717, 720, 733, 748, 754, 751, 769, 673, 684, 784, 787, 795, 810, 821, 832, 838, 849, 669, 862, 865, 878, 886, 669, 889, 902, 913, 926, 667, 942, 948, 959, 965, 976, 991, 992, 1007, 1008, 663, 1023, 1024, 663, - 58, 1039, 0, 0, 4249, 4249, 0, 4249, 0, 699, - 0, 681, 159, 0, 201, 4249, 706, 0, 0, 163, - 683, 1071, 4249, 4249, 1066, 1067, 1082, 1083, 1098, 1106, + 58, 1039, 0, 0, 4266, 4266, 0, 4266, 0, 699, + 0, 681, 159, 0, 201, 4266, 706, 0, 0, 163, + 683, 1071, 4266, 4266, 1066, 1067, 1082, 1083, 1098, 1106, 1109, 1122, 1130, 1138, 1146, 1159, 1167, 1170, 1191, 1192, 1207, 1213, 1224, 1230, 1241, 1247, 1258, 1269, 656, 645, @@ -605,137 +606,137 @@ static yyconst short int yy_base[688] = 654, 1356, 1371, 1377, 653, 1388, 1399, 1405, 1416, 1427, 639, 1438, 1444, 1455, 1461, 1476, 1477, 1492, 1503, 1509, 1524, 1530, 643, 1541, 1552, 1563, 627, 641, 636, 1574, - 4249, 162, 655, 640, 4249, 4249, 1585, 1591, 1602, 1608, - 1619, 1625, 1641, 1642, 1657, 1665, 1673, 1681, 1694, 1697, - 1710, 1721, 1727, 1738, 1744, 1755, 1766, 1781, 1787, 622, - 626, 1798, 1804, 1819, 1820, 1835, 1841, 1856, 1859, 1867, - 1880, 616, 1888, 1891, 1904, 622, 1912, 1928, 1927, 1944, - 600, 1945, 1960, 1973, 1981, 1984, 2002, 1999, 2005, 2020, - - 2023, 598, 2026, 2041, 2044, 2052, 2065, 610, 599, 601, - 2076, 187, 2089, 2092, 2110, 2113, 582, 2116, 2133, 2136, - 2144, 2157, 2160, 2168, 2181, 2189, 2202, 2210, 2218, 2226, - 2241, 2247, 2258, 2264, 2279, 595, 585, 576, 2280, 2300, - 2297, 2318, 2317, 2333, 2339, 2350, 2361, 2372, 582, 2378, - 2389, 2395, 570, 2406, 2417, 2423, 2434, 586, 2447, 2450, - 2458, 2471, 569, 2482, 573, 2488, 2503, 2504, 564, 2519, - 556, 553, 558, 227, 2525, 2541, 2547, 556, 2558, 2564, - 2575, 2581, 2592, 2598, 2609, 2620, 2626, 2643, 2649, 2660, - 2666, 2677, 2683, 2694, 2700, 2716, 552, 559, 552, 2717, - - 2732, 2738, 2749, 2755, 2770, 2776, 2787, 2802, 2808, 2819, - 557, 2830, 2836, 583, 2847, 2853, 2864, 2877, 553, 2885, - 2900, 2903, 2906, 534, 2921, 521, 2924, 2927, 536, 524, - 520, 522, 521, 539, 2942, 2955, 509, 2958, 2973, 2979, - 2990, 2996, 3007, 3013, 3024, 3035, 3041, 3052, 3058, 3069, - 3080, 3086, 3097, 105, 530, 507, 3103, 3114, 3125, 3131, - 3142, 3148, 3163, 3164, 3179, 3185, 3196, 528, 3202, 505, - 3213, 3224, 3230, 3241, 498, 3247, 3262, 493, 3268, 514, - 3284, 0, 495, 496, 473, 502, 251, 3285, 3300, 485, - 3306, 3317, 3330, 3338, 3341, 3356, 3362, 3377, 3359, 3383, - - 3394, 467, 459, 461, 470, 3400, 3411, 3417, 3428, 3434, - 3445, 459, 3456, 455, 3462, 453, 3473, 463, 3484, 3490, - 458, 3501, 441, 3507, 440, 436, 453, 420, 196, 3518, - 3524, 0, 3535, 3541, 3557, 3556, 3572, 3573, 3588, 3589, - 420, 429, 416, 0, 3604, 3612, 3627, 421, 3628, 412, - 417, 3643, 422, 3651, 0, 3659, 396, 3672, 403, 418, - 390, 391, 431, 3675, 3683, 3696, 3699, 3707, 3720, 3728, - 3736, 371, 375, 343, 3744, 3752, 3760, 338, 3768, 341, - 333, 3776, 323, 3784, 3792, 331, 0, 297, 268, 274, - 295, 3800, 3808, 3816, 3824, 267, 287, 265, 3837, 3845, - - 266, 3853, 254, 256, 3861, 248, 3874, 3877, 245, 238, - 243, 237, 255, 3885, 3898, 232, 227, 228, 3901, 3914, - 0, 3922, 227, 218, 3925, 222, 3942, 3943, 218, 210, - 201, 204, 217, 3958, 3959, 0, 171, 0, 3975, 0, - 162, 3976, 154, 3993, 0, 151, 149, 0, 146, 4001, - 127, 4009, 102, 105, 4017, 86, 0, 90, 4025, 0, - 40, 0, 4038, 0, 68, 4041, 0, 0, 4249, 4086, - 4097, 4108, 4119, 4130, 4141, 4152, 4162, 4164, 4174, 4185, - 4196, 4206, 4216, 4226, 4230, 4234, 4238 + 4266, 162, 655, 640, 4266, 4266, 1585, 1591, 1602, 1608, + 1619, 1625, 1641, 1642, 1657, 1665, 1673, 1689, 1686, 1697, + 1710, 1713, 1728, 1734, 1745, 1751, 1762, 1777, 1783, 622, + 626, 1794, 1800, 1815, 1816, 1831, 1837, 1852, 1855, 1863, + 1876, 616, 1884, 1887, 1900, 622, 1908, 1924, 1923, 1940, + 600, 1941, 1956, 1969, 1977, 1980, 1998, 1995, 2001, 2016, + + 2019, 598, 2022, 2037, 2040, 2048, 2061, 610, 599, 601, + 2072, 187, 2085, 2088, 2106, 2109, 582, 2112, 2129, 2132, + 2140, 2153, 2161, 2169, 2182, 2190, 2203, 2211, 2219, 2227, + 2242, 2248, 2259, 2265, 2280, 595, 585, 576, 2281, 2301, + 2298, 2319, 2318, 2334, 2340, 2351, 2362, 2373, 582, 2379, + 2390, 2396, 570, 2407, 2418, 2424, 2435, 586, 2448, 2451, + 2459, 2472, 569, 2483, 573, 2489, 2504, 2505, 564, 2520, + 556, 553, 558, 227, 2526, 2542, 2548, 556, 2559, 2565, + 2576, 2582, 2598, 2599, 2614, 2625, 2631, 2648, 2654, 2665, + 2671, 2682, 2688, 2699, 2705, 2721, 552, 559, 552, 2722, + + 2737, 2743, 2754, 2760, 2775, 2781, 2792, 2807, 2813, 2824, + 557, 2835, 2841, 583, 2852, 2858, 2869, 2882, 553, 2890, + 2905, 2908, 2911, 534, 2926, 521, 2929, 2932, 536, 524, + 520, 522, 521, 539, 2947, 2960, 509, 2963, 2978, 2984, + 2995, 3001, 3012, 3018, 3029, 3040, 3046, 3057, 3063, 3074, + 3085, 3091, 3102, 105, 530, 507, 3108, 3119, 3130, 3136, + 3147, 3153, 3168, 3169, 3184, 3190, 3201, 528, 3207, 505, + 3218, 3229, 3235, 3246, 498, 3252, 3267, 493, 3273, 514, + 3289, 0, 495, 496, 473, 502, 251, 3290, 3305, 485, + 3311, 3322, 3333, 3339, 3350, 3356, 3372, 3371, 3387, 3388, + + 3403, 467, 459, 461, 470, 3409, 3420, 3426, 3437, 3443, + 3454, 459, 3465, 455, 3471, 453, 3482, 463, 3493, 3499, + 458, 3510, 441, 3516, 440, 436, 453, 420, 196, 3527, + 3533, 0, 3544, 3550, 3565, 3566, 3581, 3582, 3597, 3598, + 420, 429, 416, 0, 3613, 3621, 3636, 421, 3637, 412, + 417, 3652, 422, 3660, 0, 3668, 396, 3681, 403, 418, + 390, 391, 431, 3684, 3692, 3705, 3708, 3716, 3729, 3737, + 3745, 371, 375, 343, 3753, 3761, 3769, 338, 3777, 341, + 333, 3785, 323, 3793, 3801, 331, 0, 297, 268, 274, + 295, 3809, 3817, 3825, 3833, 3841, 267, 287, 265, 3854, + + 3862, 266, 3870, 254, 256, 3878, 248, 3891, 3894, 245, + 238, 243, 237, 255, 3902, 3915, 232, 227, 228, 3918, + 3931, 0, 3939, 227, 218, 3942, 222, 3959, 3960, 218, + 210, 201, 204, 217, 3975, 3976, 0, 171, 0, 3992, + 0, 162, 3993, 154, 4010, 0, 151, 149, 0, 146, + 4018, 127, 4026, 102, 105, 4034, 86, 0, 90, 4042, + 0, 40, 0, 4055, 0, 68, 4058, 0, 0, 4266, + 4103, 4114, 4125, 4136, 4147, 4158, 4169, 4179, 4181, 4191, + 4202, 4213, 4223, 4233, 4243, 4247, 4251, 4255 } ; -static yyconst short int yy_def[688] = +static yyconst short int yy_def[689] = { 0, - 669, 1, 670, 670, 671, 671, 672, 672, 673, 673, - 674, 674, 675, 675, 669, 669, 669, 669, 669, 676, - 669, 677, 669, 669, 669, 669, 669, 669, 669, 669, - 669, 31, 31, 31, 31, 31, 31, 31, 31, 31, - 31, 31, 31, 31, 31, 31, 31, 31, 31, 669, - 678, 669, 679, 669, 669, 669, 669, 669, 669, 669, - 680, 680, 669, 681, 681, 669, 669, 669, 669, 682, - 669, 669, 683, 683, 684, 669, 669, 21, 669, 669, - 669, 676, 676, 669, 685, 669, 686, 677, 677, 669, - 669, 669, 669, 669, 669, 31, 31, 31, 31, 31, - - 31, 687, 31, 31, 31, 31, 31, 31, 31, 31, - 31, 31, 31, 31, 31, 31, 687, 687, 31, 31, - 31, 31, 31, 31, 31, 31, 687, 31, 31, 31, - 31, 687, 31, 31, 31, 31, 687, 31, 31, 31, - 31, 31, 31, 31, 31, 31, 687, 31, 31, 687, - 687, 31, 678, 679, 669, 669, 680, 669, 681, 669, - 682, 74, 74, 684, 669, 669, 669, 685, 686, 669, - 669, 669, 669, 669, 31, 31, 31, 31, 31, 31, + 670, 1, 671, 671, 672, 672, 673, 673, 674, 674, + 675, 675, 676, 676, 670, 670, 670, 670, 670, 677, + 670, 678, 670, 670, 670, 670, 670, 670, 670, 670, + 670, 31, 31, 31, 31, 31, 31, 31, 31, 31, + 31, 31, 31, 31, 31, 31, 31, 31, 31, 670, + 679, 670, 680, 670, 670, 670, 670, 670, 670, 670, + 681, 681, 670, 682, 682, 670, 670, 670, 670, 683, + 670, 670, 684, 684, 685, 670, 670, 21, 670, 670, + 670, 677, 677, 670, 686, 670, 687, 678, 678, 670, + 670, 670, 670, 670, 670, 31, 31, 31, 31, 31, + + 31, 688, 31, 31, 31, 31, 31, 31, 31, 31, + 31, 31, 31, 31, 31, 31, 688, 688, 31, 31, + 31, 31, 31, 31, 31, 31, 688, 31, 31, 31, + 31, 688, 31, 31, 31, 31, 688, 31, 31, 31, + 31, 31, 31, 31, 31, 31, 688, 31, 31, 688, + 688, 31, 679, 680, 670, 670, 681, 670, 682, 670, + 683, 74, 74, 685, 670, 670, 670, 686, 687, 670, + 670, 670, 670, 670, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, - 31, 31, 31, 31, 31, 31, 31, 31, 687, 687, + 31, 31, 31, 31, 31, 31, 31, 31, 688, 688, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, - 687, 31, 31, 31, 687, 31, 31, 31, 31, 31, - 687, 31, 31, 31, 31, 31, 31, 31, 31, 31, - 31, 31, 687, 31, 31, 31, 687, 687, 687, 31, - 669, 74, 74, 669, 669, 669, 31, 31, 31, 31, + 688, 31, 31, 31, 688, 31, 31, 31, 31, 31, + 688, 31, 31, 31, 31, 31, 31, 31, 31, 31, + 31, 31, 688, 31, 31, 31, 688, 688, 688, 31, + 670, 74, 74, 670, 670, 670, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, - 31, 31, 31, 31, 31, 31, 31, 31, 31, 687, - 687, 31, 31, 31, 31, 31, 31, 31, 31, 31, - 31, 687, 31, 31, 31, 687, 31, 31, 31, 31, - 687, 31, 31, 31, 31, 31, 31, 31, 31, 31, + 31, 31, 31, 31, 31, 31, 31, 31, 31, 688, + 688, 31, 31, 31, 31, 31, 31, 31, 31, 31, + 31, 688, 31, 31, 31, 688, 31, 31, 31, 31, + 688, 31, 31, 31, 31, 31, 31, 31, 31, 31, - 31, 687, 31, 31, 31, 31, 31, 687, 687, 687, - 31, 74, 31, 31, 31, 31, 687, 31, 31, 31, + 31, 688, 31, 31, 31, 31, 31, 688, 688, 688, + 31, 74, 31, 31, 31, 31, 688, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, - 31, 31, 31, 31, 31, 687, 687, 687, 31, 31, - 31, 31, 31, 31, 31, 31, 31, 31, 687, 31, - 31, 31, 687, 31, 31, 31, 31, 687, 31, 31, - 31, 31, 687, 31, 687, 31, 31, 31, 687, 31, - 687, 687, 687, 74, 31, 31, 31, 687, 31, 31, + 31, 31, 31, 31, 31, 688, 688, 688, 31, 31, + 31, 31, 31, 31, 31, 31, 31, 31, 688, 31, + 31, 31, 688, 31, 31, 31, 31, 688, 31, 31, + 31, 31, 688, 31, 688, 31, 31, 31, 688, 31, + 688, 688, 688, 74, 31, 31, 31, 688, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, - 31, 31, 31, 31, 31, 31, 687, 687, 687, 31, + 31, 31, 31, 31, 31, 31, 688, 688, 688, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, - 687, 31, 31, 687, 31, 31, 31, 31, 687, 31, - 31, 31, 31, 687, 31, 687, 31, 31, 687, 687, - 687, 687, 687, 74, 31, 31, 687, 31, 31, 31, + 688, 31, 31, 688, 31, 31, 31, 31, 688, 31, + 31, 31, 31, 688, 31, 688, 31, 31, 688, 688, + 688, 688, 688, 74, 31, 31, 688, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, - 31, 31, 31, 687, 687, 687, 31, 31, 31, 31, - 31, 31, 31, 31, 31, 31, 31, 687, 31, 687, - 31, 31, 31, 31, 687, 31, 31, 687, 31, 687, - 31, 687, 687, 687, 687, 687, 74, 31, 31, 687, + 31, 31, 31, 688, 688, 688, 31, 31, 31, 31, + 31, 31, 31, 31, 31, 31, 31, 688, 31, 688, + 31, 31, 31, 31, 688, 31, 31, 688, 31, 688, + 31, 688, 688, 688, 688, 688, 74, 31, 31, 688, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, - 31, 687, 687, 687, 687, 31, 31, 31, 31, 31, - 31, 687, 31, 687, 31, 687, 31, 687, 31, 31, - 687, 31, 687, 31, 687, 687, 687, 687, 74, 31, - 31, 687, 31, 31, 31, 31, 31, 31, 31, 31, - 687, 687, 687, 687, 31, 31, 31, 687, 31, 687, - 687, 31, 687, 31, 687, 31, 687, 31, 687, 687, - 687, 687, 682, 31, 31, 31, 31, 31, 31, 31, - 31, 687, 687, 687, 31, 31, 31, 687, 31, 687, - 687, 31, 687, 31, 31, 687, 687, 687, 687, 687, - 682, 31, 31, 31, 31, 687, 687, 687, 31, 31, - - 687, 31, 687, 687, 31, 687, 31, 31, 687, 687, - 687, 687, 682, 31, 31, 687, 687, 687, 31, 31, - 687, 31, 687, 687, 31, 687, 31, 31, 687, 687, - 687, 687, 682, 31, 31, 687, 687, 687, 31, 687, - 687, 31, 687, 31, 687, 687, 687, 687, 682, 31, - 687, 31, 687, 687, 31, 687, 687, 682, 31, 687, - 687, 687, 31, 687, 682, 31, 687, 682, 0, 669, - 669, 669, 669, 669, 669, 669, 669, 669, 669, 669, - 669, 669, 669, 669, 669, 669, 669 + 31, 688, 688, 688, 688, 31, 31, 31, 31, 31, + 31, 688, 31, 688, 31, 688, 31, 688, 31, 31, + 688, 31, 688, 31, 688, 688, 688, 688, 74, 31, + 31, 688, 31, 31, 31, 31, 31, 31, 31, 31, + 688, 688, 688, 688, 31, 31, 31, 688, 31, 688, + 688, 31, 688, 31, 688, 31, 688, 31, 688, 688, + 688, 688, 683, 31, 31, 31, 31, 31, 31, 31, + 31, 688, 688, 688, 31, 31, 31, 688, 31, 688, + 688, 31, 688, 31, 31, 688, 688, 688, 688, 688, + 683, 31, 31, 31, 31, 31, 688, 688, 688, 31, + + 31, 688, 31, 688, 688, 31, 688, 31, 31, 688, + 688, 688, 688, 683, 31, 31, 688, 688, 688, 31, + 31, 688, 31, 688, 688, 31, 688, 31, 31, 688, + 688, 688, 688, 683, 31, 31, 688, 688, 688, 31, + 688, 688, 31, 688, 31, 688, 688, 688, 688, 683, + 31, 688, 31, 688, 688, 31, 688, 688, 683, 31, + 688, 688, 688, 31, 688, 683, 31, 688, 683, 0, + 670, 670, 670, 670, 670, 670, 670, 670, 670, 670, + 670, 670, 670, 670, 670, 670, 670, 670 } ; -static yyconst short int yy_nxt[4327] = +static yyconst short int yy_nxt[4344] = { 0, 16, 17, 18, 17, 19, 20, 21, 22, 23, 16, 24, 25, 26, 27, 28, 28, 28, 28, 28, 28, @@ -748,43 +749,43 @@ static yyconst short int yy_nxt[4327] = 55, 58, 58, 62, 65, 56, 63, 56, 59, 59, 62, 60, 60, 63, 65, 81, 81, 81, 81, 81, - 81, 80, 66, 668, 80, 67, 80, 667, 93, 76, + 81, 80, 66, 669, 80, 67, 80, 668, 93, 76, 77, 76, 66, 238, 78, 67, 84, 88, 88, 88, - 76, 77, 76, 80, 80, 78, 239, 90, 665, 88, + 76, 77, 76, 80, 80, 78, 239, 90, 666, 88, 88, 91, 91, 91, 91, 91, 91, 94, 94, 94, - 94, 94, 94, 94, 664, 96, 86, 502, 111, 165, + 94, 94, 94, 94, 665, 96, 86, 502, 111, 165, 165, 165, 165, 165, 165, 96, 68, 96, 69, 96, - 81, 81, 81, 662, 96, 503, 68, 661, 69, 70, + 81, 81, 81, 663, 96, 503, 68, 662, 69, 70, 71, 72, 71, 70, 70, 70, 70, 70, 70, 70, - 70, 70, 30, 660, 79, 242, 243, 658, 245, 70, + 70, 70, 30, 661, 79, 242, 243, 659, 245, 70, 70, 70, 70, 30, 246, 79, 162, 74, 96, 162, - 312, 103, 165, 165, 165, 104, 563, 657, 96, 105, - 96, 106, 96, 96, 374, 656, 96, 96, 654, 70, + 312, 103, 165, 165, 165, 104, 563, 658, 96, 105, + 96, 106, 96, 96, 374, 657, 96, 96, 655, 70, 70, 107, 108, 96, 162, 96, 109, 96, 96, 110, - 96, 653, 96, 162, 651, 96, 172, 172, 172, 172, + 96, 654, 96, 162, 652, 96, 172, 172, 172, 172, 172, 172, 172, 71, 70, 71, 70, 71, 72, 71, 70, 70, 70, 70, 70, 70, 70, 70, 70, 434, - 649, 96, 648, 669, 162, 647, 70, 70, 70, 70, - 646, 96, 112, 113, 74, 96, 645, 669, 115, 96, - 96, 529, 643, 114, 641, 640, 638, 637, 162, 96, - 636, 96, 633, 96, 96, 116, 70, 70, 96, 119, - - 96, 632, 120, 631, 96, 630, 96, 669, 96, 629, - 96, 121, 122, 96, 96, 626, 624, 123, 623, 96, - 71, 70, 71, 80, 621, 117, 88, 88, 88, 618, - 617, 616, 170, 613, 612, 611, 118, 84, 88, 88, + 650, 96, 649, 670, 162, 648, 70, 70, 70, 70, + 647, 96, 112, 113, 74, 96, 646, 670, 115, 96, + 96, 529, 644, 114, 642, 641, 639, 638, 162, 96, + 637, 96, 634, 96, 96, 116, 70, 70, 96, 119, + + 96, 633, 120, 632, 96, 631, 96, 670, 96, 630, + 96, 121, 122, 96, 96, 627, 625, 123, 624, 96, + 71, 70, 71, 80, 622, 117, 88, 88, 88, 619, + 618, 617, 170, 614, 613, 612, 118, 84, 88, 88, 85, 85, 85, 85, 85, 85, 85, 85, 85, 85, 85, 85, 85, 85, 85, 85, 85, 85, 85, 85, - 85, 85, 85, 85, 85, 85, 610, 86, 87, 87, + 85, 85, 85, 85, 85, 85, 611, 86, 87, 87, 87, 87, 87, 87, 87, 87, 87, 87, 87, 87, 87, 87, 87, 87, 87, 87, 87, 87, 87, 87, - 96, 609, 606, 96, 96, 96, 96, 96, 96, 96, + 96, 610, 607, 96, 96, 96, 96, 96, 96, 96, - 604, 603, 601, 598, 96, 97, 96, 96, 96, 96, + 605, 604, 602, 599, 96, 97, 96, 96, 96, 96, 96, 96, 96, 96, 96, 98, 96, 99, 96, 100, 96, 96, 96, 96, 101, 96, 96, 96, 96, 96, - 597, 596, 102, 102, 102, 102, 102, 102, 102, 102, + 598, 597, 102, 102, 102, 102, 102, 102, 102, 102, 102, 102, 102, 102, 102, 102, 102, 102, 102, 102, 102, 102, 102, 102, 124, 96, 96, 591, 590, 589, 588, 587, 125, 586, 583, 96, 96, 96, 96, 96, @@ -823,399 +824,401 @@ static yyconst short int yy_nxt[4327] = 160, 96, 158, 93, 96, 156, 155, 80, 96, 80, 96, 95, 96, 96, 191, 192, 96, 96, 92, 96, 194, 83, 80, 96, 80, 96, 197, 96, 96, 96, - 96, 96, 193, 195, 96, 96, 669, 196, 96, 669, - - 669, 201, 669, 669, 96, 669, 96, 198, 96, 96, - 669, 669, 96, 96, 669, 202, 669, 669, 669, 96, - 96, 96, 96, 96, 96, 669, 96, 669, 96, 669, - 96, 96, 96, 669, 203, 96, 204, 669, 669, 96, - 669, 669, 669, 669, 669, 96, 96, 96, 669, 96, - 669, 669, 205, 206, 96, 669, 96, 96, 96, 207, - 96, 669, 669, 96, 669, 96, 669, 96, 669, 96, - 669, 96, 669, 96, 96, 209, 96, 96, 669, 208, - 669, 669, 96, 669, 210, 669, 96, 96, 96, 669, - 96, 669, 669, 96, 669, 212, 669, 96, 669, 96, - - 96, 96, 96, 96, 96, 669, 96, 669, 213, 96, - 669, 96, 669, 96, 96, 96, 669, 96, 669, 669, - 669, 96, 96, 96, 96, 96, 96, 96, 96, 214, - 96, 669, 216, 96, 669, 669, 669, 96, 96, 96, - 669, 96, 669, 669, 669, 669, 96, 217, 96, 669, - 96, 96, 96, 669, 219, 669, 669, 218, 220, 669, - 669, 96, 669, 96, 669, 96, 222, 96, 669, 669, - 96, 669, 669, 96, 669, 669, 669, 223, 669, 96, - 669, 96, 669, 96, 96, 96, 96, 96, 224, 669, - 96, 225, 96, 669, 96, 669, 96, 669, 96, 669, - - 96, 96, 96, 96, 96, 229, 227, 669, 226, 96, - 669, 96, 669, 228, 669, 96, 96, 96, 669, 669, - 96, 669, 230, 669, 669, 669, 96, 96, 96, 96, - 96, 96, 96, 96, 669, 96, 96, 669, 669, 669, - 669, 669, 96, 96, 96, 96, 96, 232, 96, 96, - 235, 231, 96, 236, 669, 234, 669, 669, 96, 96, - 96, 96, 96, 96, 96, 669, 669, 96, 96, 669, - 669, 669, 669, 669, 96, 669, 96, 669, 96, 669, - 669, 669, 240, 96, 172, 172, 172, 172, 172, 172, - 172, 96, 96, 669, 247, 669, 669, 669, 669, 669, - - 669, 96, 96, 96, 96, 96, 96, 96, 96, 669, - 96, 96, 669, 669, 669, 669, 669, 96, 248, 96, - 96, 96, 96, 96, 669, 669, 96, 96, 669, 669, - 669, 96, 669, 96, 96, 96, 249, 96, 250, 669, - 669, 96, 96, 96, 96, 96, 96, 96, 96, 669, - 96, 669, 669, 96, 669, 96, 669, 96, 669, 96, - 669, 96, 669, 96, 251, 252, 96, 96, 669, 96, - 669, 96, 669, 96, 96, 96, 669, 96, 254, 253, - 669, 96, 96, 96, 96, 96, 669, 669, 669, 669, - 96, 669, 96, 669, 96, 96, 96, 669, 96, 669, - - 669, 255, 96, 96, 96, 96, 256, 96, 669, 96, - 669, 96, 257, 258, 96, 259, 96, 96, 669, 669, - 261, 669, 669, 260, 669, 669, 96, 96, 96, 96, - 96, 96, 96, 669, 669, 96, 96, 669, 96, 669, - 669, 669, 96, 669, 96, 262, 96, 669, 96, 96, - 96, 96, 96, 669, 669, 96, 669, 96, 264, 96, - 263, 96, 669, 96, 669, 96, 96, 96, 96, 96, - 669, 669, 96, 669, 96, 267, 265, 669, 96, 266, - 96, 669, 96, 96, 96, 96, 96, 669, 669, 669, - 669, 96, 669, 96, 96, 96, 669, 96, 669, 669, - - 268, 669, 96, 669, 96, 269, 96, 96, 96, 669, - 669, 669, 669, 96, 669, 96, 669, 96, 96, 96, - 669, 96, 669, 669, 272, 96, 96, 273, 274, 96, - 96, 275, 96, 96, 96, 669, 96, 96, 669, 96, - 669, 669, 278, 276, 669, 96, 96, 96, 96, 96, - 96, 96, 96, 96, 277, 96, 279, 96, 96, 669, - 96, 669, 669, 96, 669, 669, 669, 96, 669, 96, + 96, 96, 193, 195, 96, 96, 670, 196, 96, 670, + + 670, 201, 670, 670, 96, 670, 96, 198, 96, 96, + 670, 670, 96, 96, 670, 202, 670, 670, 670, 96, + 96, 96, 96, 96, 96, 670, 96, 670, 96, 670, + 96, 96, 96, 670, 203, 96, 204, 670, 670, 96, + 670, 670, 670, 670, 670, 96, 96, 96, 670, 96, + 670, 670, 205, 206, 96, 670, 96, 96, 96, 207, + 96, 670, 670, 96, 670, 96, 670, 96, 670, 96, + 670, 96, 670, 96, 96, 209, 96, 96, 670, 208, + 670, 670, 96, 670, 210, 670, 96, 96, 96, 670, + 96, 670, 670, 96, 670, 212, 670, 96, 670, 96, + + 96, 96, 96, 96, 96, 670, 96, 670, 213, 96, + 670, 96, 670, 96, 96, 96, 670, 96, 670, 670, + 670, 96, 96, 96, 96, 96, 96, 96, 96, 214, + 96, 670, 216, 96, 670, 670, 670, 96, 96, 96, + 670, 96, 670, 670, 670, 670, 96, 217, 96, 670, + 96, 96, 96, 670, 219, 670, 670, 218, 220, 670, + 670, 96, 670, 96, 670, 96, 222, 96, 670, 670, + 96, 670, 670, 96, 670, 670, 670, 223, 670, 96, + 670, 96, 670, 96, 96, 96, 96, 96, 224, 670, + 96, 225, 96, 670, 96, 670, 96, 670, 96, 670, + + 96, 96, 96, 96, 96, 229, 227, 670, 226, 96, + 670, 96, 670, 228, 670, 96, 96, 96, 670, 670, + 96, 670, 230, 670, 670, 670, 96, 96, 96, 96, + 96, 96, 96, 96, 670, 96, 96, 670, 670, 670, + 670, 670, 96, 96, 96, 96, 96, 232, 96, 96, + 235, 231, 96, 236, 670, 234, 670, 670, 96, 96, + 96, 96, 96, 96, 96, 670, 670, 96, 96, 670, + 670, 670, 670, 670, 96, 670, 96, 670, 96, 670, + 670, 670, 240, 96, 172, 172, 172, 172, 172, 172, + 172, 96, 96, 670, 247, 670, 670, 670, 670, 670, + + 670, 96, 96, 96, 96, 96, 96, 96, 96, 670, + 96, 96, 670, 670, 670, 670, 670, 96, 248, 96, + 96, 96, 96, 96, 670, 670, 96, 96, 670, 670, + 670, 96, 670, 96, 96, 96, 249, 96, 250, 670, + 670, 96, 96, 96, 96, 96, 96, 96, 96, 670, + 96, 670, 670, 96, 670, 96, 670, 96, 670, 96, + 670, 96, 670, 96, 251, 252, 96, 96, 670, 96, + 670, 96, 670, 96, 96, 96, 670, 96, 254, 253, + 670, 96, 96, 96, 96, 96, 670, 670, 670, 670, + 96, 670, 96, 670, 96, 96, 96, 670, 96, 670, + + 670, 255, 96, 96, 96, 96, 256, 96, 670, 96, + 670, 96, 257, 258, 96, 259, 96, 96, 670, 670, + 261, 670, 670, 260, 670, 670, 96, 96, 96, 96, + 96, 96, 96, 670, 670, 96, 96, 670, 96, 670, + 670, 670, 96, 670, 96, 262, 96, 670, 96, 96, + 96, 96, 96, 670, 670, 96, 670, 96, 264, 96, + 263, 96, 670, 96, 670, 96, 96, 96, 96, 96, + 670, 670, 96, 670, 96, 267, 265, 670, 96, 266, + 96, 670, 96, 96, 96, 96, 96, 670, 670, 670, + 670, 96, 670, 96, 96, 96, 670, 96, 670, 670, + + 268, 670, 96, 670, 96, 269, 96, 96, 96, 670, + 670, 670, 670, 96, 670, 96, 670, 96, 96, 96, + 670, 96, 670, 670, 272, 96, 96, 273, 274, 96, + 96, 275, 96, 96, 96, 670, 96, 96, 670, 96, + 670, 670, 278, 276, 670, 96, 96, 96, 96, 96, + 96, 96, 96, 96, 277, 96, 279, 96, 96, 670, + 96, 670, 670, 96, 670, 670, 670, 96, 670, 96, 96, 96, 96, 96, 96, 96, 96, 96, 96, 280, - 669, 96, 96, 669, 283, 669, 669, 669, 281, 669, - 96, 96, 96, 96, 669, 96, 96, 96, 669, 284, - - 96, 669, 96, 669, 669, 669, 96, 669, 96, 285, - 96, 669, 96, 96, 96, 96, 96, 669, 669, 669, - 669, 96, 669, 96, 96, 96, 669, 96, 669, 669, - 96, 287, 96, 669, 96, 669, 96, 669, 96, 669, - 96, 96, 96, 96, 96, 669, 669, 288, 669, 96, - 669, 96, 96, 96, 669, 96, 669, 669, 289, 669, - 96, 669, 96, 96, 96, 669, 96, 669, 293, 96, - 669, 96, 290, 292, 669, 96, 669, 96, 669, 96, - 96, 96, 96, 96, 669, 669, 96, 669, 96, 669, - 96, 669, 96, 669, 96, 669, 96, 669, 96, 294, - - 96, 96, 96, 669, 295, 96, 669, 669, 669, 296, - 669, 96, 96, 96, 96, 96, 96, 96, 669, 669, - 96, 96, 669, 669, 669, 669, 669, 96, 96, 96, - 669, 96, 669, 669, 96, 297, 96, 669, 96, 669, - 96, 669, 96, 669, 96, 298, 96, 96, 96, 96, - 669, 299, 300, 96, 669, 96, 669, 669, 301, 96, - 669, 96, 669, 96, 669, 96, 96, 96, 96, 96, - 669, 669, 669, 669, 96, 669, 96, 96, 96, 303, - 96, 304, 307, 669, 669, 96, 305, 96, 96, 96, - 669, 96, 669, 669, 669, 306, 96, 669, 96, 96, - - 96, 669, 96, 669, 669, 311, 669, 96, 669, 96, - 96, 96, 669, 96, 669, 669, 96, 669, 96, 669, - 96, 669, 313, 314, 96, 669, 96, 96, 96, 96, - 96, 669, 669, 96, 669, 96, 669, 96, 315, 96, - 669, 96, 669, 96, 96, 316, 96, 96, 669, 669, - 96, 669, 96, 318, 96, 669, 96, 669, 96, 669, - 96, 669, 96, 96, 96, 319, 96, 96, 320, 96, - 669, 669, 669, 669, 669, 669, 96, 96, 96, 96, - 96, 96, 96, 669, 669, 96, 96, 669, 317, 669, - 96, 669, 96, 669, 96, 669, 96, 669, 96, 321, - - 96, 96, 96, 322, 96, 324, 96, 669, 96, 96, - 96, 669, 96, 669, 323, 669, 96, 96, 96, 96, - 96, 669, 96, 669, 669, 96, 669, 669, 669, 96, - 669, 96, 96, 96, 326, 96, 96, 327, 325, 669, - 669, 96, 669, 669, 669, 96, 96, 96, 328, 96, - 669, 669, 96, 669, 96, 329, 96, 669, 96, 669, - 96, 669, 96, 96, 96, 96, 96, 669, 669, 96, - 669, 96, 669, 96, 669, 96, 331, 330, 669, 96, - 96, 96, 96, 96, 669, 669, 669, 669, 96, 669, - 96, 96, 96, 669, 96, 669, 332, 669, 669, 96, - - 669, 96, 669, 333, 669, 96, 96, 334, 669, 335, - 96, 669, 96, 669, 669, 669, 96, 669, 96, 669, - 96, 669, 96, 96, 96, 96, 96, 669, 669, 96, - 669, 96, 669, 96, 669, 96, 669, 96, 669, 96, - 669, 96, 96, 96, 96, 96, 669, 339, 96, 669, - 669, 340, 669, 669, 96, 96, 96, 96, 96, 96, - 96, 341, 669, 96, 96, 343, 96, 338, 669, 669, - 96, 669, 96, 669, 96, 347, 96, 669, 96, 342, - 96, 96, 344, 669, 96, 96, 345, 669, 669, 669, - 669, 96, 96, 96, 96, 96, 96, 346, 96, 669, - - 96, 669, 96, 96, 96, 96, 96, 669, 669, 348, - 669, 96, 669, 96, 350, 96, 96, 96, 669, 96, - 669, 669, 669, 96, 96, 96, 96, 96, 96, 96, - 96, 669, 96, 669, 351, 96, 669, 96, 355, 96, - 354, 96, 352, 96, 669, 669, 669, 96, 96, 96, - 669, 96, 96, 96, 669, 356, 96, 669, 669, 669, - 669, 669, 96, 96, 96, 96, 96, 96, 357, 96, - 96, 96, 96, 669, 669, 669, 669, 669, 669, 96, - 96, 96, 96, 96, 96, 96, 669, 669, 96, 96, - 669, 669, 669, 669, 669, 96, 669, 96, 96, 96, - - 669, 360, 669, 359, 96, 669, 96, 669, 96, 96, - 96, 669, 96, 669, 669, 669, 96, 96, 96, 96, - 96, 361, 669, 96, 96, 96, 362, 96, 96, 669, - 96, 669, 669, 364, 96, 669, 96, 96, 96, 96, - 96, 96, 96, 96, 96, 96, 96, 669, 96, 96, - 669, 96, 669, 669, 669, 96, 669, 96, 96, 96, - 96, 96, 96, 366, 96, 96, 96, 96, 363, 96, - 96, 669, 368, 669, 669, 669, 96, 96, 96, 96, - 96, 96, 669, 96, 669, 367, 669, 96, 96, 96, - 96, 96, 669, 669, 669, 669, 96, 669, 669, 669, - - 96, 96, 96, 669, 96, 669, 669, 370, 669, 96, - 669, 96, 369, 96, 96, 96, 669, 96, 376, 669, - 96, 669, 669, 669, 96, 669, 96, 96, 96, 96, - 669, 96, 375, 96, 377, 96, 96, 669, 96, 669, - 379, 96, 669, 669, 669, 96, 669, 96, 96, 96, - 96, 96, 96, 96, 96, 96, 669, 96, 96, 380, - 96, 96, 669, 669, 381, 669, 669, 669, 96, 96, - 96, 96, 96, 96, 669, 96, 669, 96, 669, 96, - 96, 96, 96, 96, 383, 96, 669, 669, 96, 669, - 669, 669, 96, 96, 382, 96, 96, 96, 669, 96, - - 384, 96, 669, 96, 96, 96, 96, 96, 669, 669, - 669, 669, 96, 669, 96, 669, 385, 386, 96, 669, - 96, 387, 669, 669, 96, 96, 96, 96, 96, 388, - 669, 669, 669, 96, 669, 96, 669, 96, 389, 96, - 669, 96, 390, 96, 669, 96, 96, 96, 669, 96, - 669, 96, 669, 96, 96, 96, 669, 96, 669, 391, - 669, 96, 96, 96, 669, 96, 96, 393, 669, 392, - 96, 669, 96, 669, 669, 669, 96, 669, 96, 669, - 96, 669, 96, 96, 96, 96, 96, 669, 669, 96, - 394, 96, 669, 96, 669, 96, 669, 96, 669, 96, - - 395, 396, 96, 96, 96, 96, 669, 669, 96, 669, - 669, 669, 400, 669, 96, 96, 96, 96, 96, 96, - 669, 669, 96, 96, 96, 96, 401, 669, 402, 669, - 669, 669, 96, 669, 96, 96, 96, 96, 669, 96, - 403, 96, 96, 96, 96, 404, 669, 669, 669, 669, - 669, 669, 96, 96, 405, 96, 96, 96, 96, 669, - 669, 96, 96, 669, 96, 669, 669, 407, 96, 669, - 96, 669, 96, 669, 96, 96, 96, 406, 96, 409, - 669, 669, 410, 96, 669, 96, 96, 96, 669, 96, - 669, 669, 408, 669, 96, 669, 96, 96, 96, 669, - - 96, 669, 669, 96, 669, 96, 669, 96, 669, 96, - 669, 96, 669, 96, 96, 96, 96, 96, 669, 669, - 96, 412, 96, 669, 96, 669, 96, 669, 96, 669, - 96, 96, 413, 96, 96, 669, 669, 669, 669, 96, - 669, 96, 96, 96, 669, 96, 669, 415, 96, 416, - 96, 669, 96, 669, 96, 669, 96, 669, 96, 96, - 417, 96, 96, 669, 669, 669, 669, 96, 669, 96, - 669, 96, 96, 96, 669, 96, 669, 418, 96, 420, - 669, 669, 96, 96, 96, 96, 96, 421, 422, 96, - 669, 96, 669, 96, 96, 96, 96, 96, 669, 669, - - 669, 669, 96, 669, 669, 669, 96, 96, 96, 669, - 96, 669, 669, 96, 425, 96, 669, 96, 423, 96, - 669, 96, 669, 96, 669, 96, 96, 96, 96, 96, - 669, 427, 96, 669, 669, 669, 669, 669, 96, 96, - 96, 96, 96, 96, 96, 428, 669, 96, 96, 669, - 96, 669, 669, 669, 96, 669, 96, 669, 96, 669, - 96, 669, 96, 96, 96, 435, 96, 669, 669, 96, - 669, 669, 96, 669, 669, 669, 96, 669, 96, 669, - 96, 669, 96, 96, 96, 96, 96, 669, 430, 96, - 436, 96, 669, 96, 669, 438, 669, 96, 669, 96, - - 96, 96, 96, 96, 669, 669, 96, 439, 96, 440, - 96, 669, 96, 669, 96, 669, 96, 96, 96, 96, - 96, 669, 669, 96, 441, 96, 669, 96, 669, 96, - 669, 96, 669, 96, 96, 442, 96, 96, 669, 669, - 669, 669, 96, 669, 96, 96, 96, 444, 96, 669, - 669, 96, 443, 96, 669, 96, 669, 96, 669, 96, - 669, 96, 669, 96, 96, 96, 669, 669, 96, 445, - 96, 446, 669, 669, 96, 669, 447, 669, 96, 669, - 96, 669, 96, 669, 96, 96, 96, 96, 96, 669, - 449, 96, 669, 96, 669, 96, 669, 448, 669, 96, - - 669, 96, 96, 96, 96, 96, 669, 669, 96, 669, - 96, 669, 96, 669, 96, 450, 96, 669, 96, 96, - 96, 96, 96, 669, 669, 96, 669, 96, 669, 96, - 669, 96, 452, 96, 669, 96, 451, 96, 96, 96, - 453, 96, 96, 669, 96, 669, 457, 669, 669, 669, - 669, 96, 96, 96, 96, 96, 96, 96, 669, 669, - 96, 96, 669, 96, 458, 459, 669, 96, 669, 96, - 669, 96, 669, 96, 96, 96, 96, 96, 669, 669, - 96, 669, 96, 461, 96, 669, 96, 669, 96, 669, - 96, 460, 96, 96, 96, 96, 462, 669, 669, 96, - - 669, 96, 463, 669, 669, 96, 669, 96, 669, 96, - 669, 96, 96, 96, 96, 96, 669, 669, 669, 669, - 96, 669, 96, 669, 96, 669, 96, 96, 464, 669, - 465, 96, 669, 96, 669, 669, 669, 96, 669, 96, - 669, 96, 669, 96, 96, 96, 96, 96, 669, 669, - 466, 467, 96, 669, 96, 96, 96, 669, 96, 669, - 469, 96, 669, 96, 669, 96, 669, 96, 669, 96, - 669, 96, 96, 96, 96, 96, 669, 669, 96, 669, - 96, 669, 96, 669, 471, 669, 96, 669, 96, 96, - 472, 96, 96, 669, 669, 669, 669, 96, 669, 96, - - 669, 96, 96, 96, 669, 474, 669, 473, 96, 669, - 96, 669, 96, 669, 96, 669, 96, 669, 669, 669, - 96, 96, 96, 669, 96, 96, 477, 669, 96, 96, - 476, 96, 669, 669, 669, 96, 669, 96, 96, 96, - 96, 96, 96, 96, 96, 96, 96, 96, 479, 96, - 96, 669, 96, 669, 669, 669, 96, 669, 96, 96, - 96, 96, 96, 96, 96, 96, 96, 96, 96, 481, - 669, 96, 669, 669, 669, 669, 669, 96, 669, 96, - 96, 96, 669, 96, 669, 488, 96, 489, 669, 669, - 96, 669, 96, 96, 96, 96, 669, 96, 96, 96, - - 669, 491, 96, 669, 96, 669, 669, 669, 96, 669, - 96, 669, 96, 669, 96, 96, 492, 96, 96, 669, - 669, 96, 669, 96, 669, 96, 669, 493, 494, 96, - 669, 96, 96, 96, 96, 96, 669, 669, 96, 669, - 96, 669, 96, 669, 96, 669, 96, 669, 96, 96, - 96, 96, 96, 669, 669, 669, 495, 96, 669, 96, - 96, 96, 496, 96, 669, 669, 96, 669, 96, 669, - 96, 669, 96, 669, 96, 669, 96, 96, 96, 96, - 96, 669, 497, 96, 669, 96, 669, 96, 669, 96, - 669, 96, 669, 96, 96, 96, 96, 96, 669, 669, - - 669, 498, 96, 669, 96, 96, 96, 669, 96, 669, - 669, 500, 499, 96, 669, 96, 669, 96, 669, 96, - 669, 96, 96, 96, 96, 96, 669, 669, 96, 669, - 96, 669, 501, 669, 96, 506, 96, 669, 96, 96, - 96, 96, 96, 669, 669, 669, 669, 96, 669, 96, - 96, 96, 669, 96, 669, 669, 96, 507, 96, 669, - 96, 669, 96, 669, 96, 669, 96, 96, 96, 96, - 96, 669, 669, 96, 669, 96, 509, 96, 669, 96, - 669, 96, 669, 96, 508, 96, 96, 96, 96, 96, - 669, 669, 96, 669, 669, 669, 669, 669, 96, 96, - - 96, 96, 96, 96, 96, 511, 510, 96, 96, 669, - 96, 669, 669, 669, 96, 669, 96, 669, 96, 669, - 96, 96, 96, 96, 96, 669, 669, 96, 669, 96, - 669, 96, 669, 513, 669, 96, 669, 515, 96, 96, - 96, 96, 669, 669, 669, 669, 96, 669, 96, 96, - 96, 669, 96, 517, 512, 96, 669, 96, 669, 96, - 669, 96, 669, 96, 669, 96, 96, 96, 96, 96, - 669, 669, 96, 669, 96, 519, 96, 669, 96, 669, - 96, 669, 96, 669, 96, 96, 96, 96, 669, 669, - 520, 96, 669, 96, 669, 669, 522, 96, 669, 96, - - 669, 96, 669, 96, 669, 96, 96, 96, 524, 96, - 96, 669, 96, 669, 669, 669, 669, 530, 669, 96, - 96, 96, 96, 96, 96, 96, 531, 669, 96, 96, - 669, 96, 669, 669, 669, 96, 669, 96, 669, 96, - 669, 96, 96, 96, 96, 96, 669, 533, 669, 669, - 96, 669, 96, 669, 96, 96, 96, 669, 535, 669, - 534, 96, 669, 96, 669, 96, 96, 96, 669, 96, - 669, 669, 538, 96, 96, 536, 96, 96, 96, 537, - 96, 96, 96, 669, 96, 96, 669, 96, 669, 669, - 669, 96, 669, 96, 96, 96, 96, 96, 96, 96, - - 96, 96, 96, 96, 669, 539, 96, 669, 96, 669, - 669, 669, 96, 669, 96, 540, 96, 669, 96, 96, - 96, 96, 96, 669, 669, 96, 669, 96, 545, 96, - 669, 96, 669, 96, 669, 96, 96, 96, 96, 96, - 669, 669, 96, 669, 96, 669, 96, 669, 96, 669, - 96, 669, 96, 96, 96, 96, 96, 669, 669, 96, - 669, 96, 669, 96, 669, 96, 546, 96, 669, 96, - 96, 96, 96, 96, 669, 669, 669, 669, 96, 669, - 96, 96, 96, 669, 96, 549, 669, 96, 547, 96, - 669, 96, 669, 96, 554, 96, 669, 96, 96, 96, - - 96, 96, 669, 669, 669, 552, 96, 669, 96, 96, - 96, 669, 96, 669, 669, 96, 669, 96, 669, 96, - 669, 96, 669, 96, 669, 96, 96, 96, 96, 96, - 669, 669, 96, 669, 96, 669, 96, 669, 556, 669, - 96, 669, 558, 96, 96, 96, 96, 669, 669, 96, - 669, 96, 669, 96, 669, 96, 564, 96, 669, 96, - 96, 96, 96, 96, 669, 669, 96, 669, 96, 669, - 96, 669, 96, 669, 96, 669, 96, 669, 96, 96, - 96, 96, 96, 565, 566, 96, 567, 669, 669, 669, - 669, 96, 96, 96, 96, 96, 96, 96, 96, 569, - - 96, 96, 669, 669, 669, 669, 669, 96, 96, 568, - 96, 96, 96, 96, 96, 570, 96, 96, 669, 669, - 669, 669, 669, 96, 571, 96, 96, 96, 96, 96, - 669, 669, 96, 96, 669, 669, 669, 96, 669, 96, - 669, 96, 669, 96, 669, 575, 669, 96, 96, 96, - 576, 96, 96, 96, 669, 669, 96, 669, 669, 577, - 579, 669, 96, 96, 96, 96, 96, 96, 96, 669, - 669, 96, 96, 669, 669, 669, 96, 669, 96, 669, - 582, 669, 96, 669, 96, 669, 96, 96, 96, 584, - 96, 669, 669, 669, 96, 96, 96, 96, 96, 669, - - 96, 669, 585, 96, 669, 669, 669, 96, 96, 96, - 96, 96, 592, 669, 96, 669, 96, 669, 96, 96, - 96, 96, 96, 669, 96, 669, 669, 96, 669, 669, - 669, 96, 96, 96, 96, 96, 96, 669, 96, 669, - 96, 669, 96, 96, 96, 96, 96, 669, 669, 593, - 669, 96, 669, 96, 669, 96, 669, 96, 594, 96, - 669, 96, 669, 96, 96, 96, 669, 96, 595, 96, - 669, 96, 96, 96, 669, 96, 669, 96, 669, 96, - 96, 96, 669, 96, 669, 96, 669, 96, 96, 599, - 669, 96, 669, 96, 669, 96, 96, 96, 600, 96, - - 669, 96, 669, 96, 96, 602, 669, 96, 605, 96, - 669, 96, 96, 96, 669, 96, 607, 96, 669, 96, - 96, 96, 669, 96, 608, 96, 669, 96, 96, 96, - 669, 96, 669, 96, 669, 96, 96, 96, 669, 96, - 669, 96, 669, 96, 96, 96, 669, 96, 669, 96, - 669, 96, 96, 614, 669, 96, 669, 669, 669, 96, - 96, 96, 96, 96, 669, 669, 669, 615, 96, 669, - 96, 669, 96, 669, 96, 669, 96, 669, 96, 619, - 96, 96, 620, 669, 96, 622, 96, 669, 96, 96, - 96, 669, 96, 669, 669, 669, 96, 96, 96, 96, - - 96, 627, 96, 669, 625, 96, 628, 669, 669, 96, - 96, 96, 96, 96, 96, 669, 96, 669, 96, 669, - 96, 96, 96, 96, 96, 669, 96, 669, 634, 96, - 669, 669, 669, 96, 669, 96, 96, 96, 96, 96, - 96, 669, 96, 669, 669, 96, 635, 96, 669, 96, - 96, 96, 669, 96, 669, 669, 669, 96, 96, 96, - 96, 96, 96, 669, 96, 639, 96, 96, 96, 96, - 669, 669, 669, 642, 669, 644, 669, 96, 96, 96, - 96, 96, 96, 96, 96, 669, 96, 96, 669, 669, - 669, 669, 669, 96, 96, 96, 96, 96, 96, 650, - - 96, 96, 96, 96, 669, 669, 669, 669, 669, 669, - 96, 96, 96, 96, 96, 96, 669, 669, 96, 96, - 96, 655, 669, 652, 669, 669, 96, 669, 96, 669, - 96, 669, 96, 669, 96, 669, 96, 96, 96, 659, - 96, 669, 96, 669, 96, 96, 96, 669, 96, 669, - 96, 669, 96, 96, 96, 669, 96, 669, 663, 669, - 666, 96, 96, 96, 96, 669, 96, 669, 669, 96, - 669, 669, 669, 96, 669, 96, 96, 96, 96, 669, - 96, 669, 96, 669, 669, 96, 53, 53, 53, 53, - 53, 53, 53, 53, 53, 53, 53, 57, 57, 57, - - 57, 57, 57, 57, 57, 57, 57, 57, 61, 61, - 61, 61, 61, 61, 61, 61, 61, 61, 61, 64, - 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, - 73, 73, 73, 73, 73, 73, 73, 73, 73, 73, - 73, 75, 75, 75, 75, 75, 75, 75, 75, 75, - 75, 75, 82, 82, 82, 669, 82, 82, 82, 82, - 82, 82, 82, 89, 89, 669, 669, 89, 669, 89, - 153, 153, 669, 153, 154, 154, 669, 154, 154, 154, - 669, 154, 154, 154, 154, 157, 157, 157, 669, 157, - 157, 157, 157, 157, 157, 157, 159, 159, 159, 159, - - 159, 159, 159, 159, 669, 159, 161, 669, 669, 161, - 161, 161, 161, 161, 161, 161, 162, 669, 669, 162, - 162, 162, 162, 162, 162, 162, 164, 669, 669, 164, - 669, 164, 164, 164, 164, 164, 168, 168, 669, 168, - 169, 169, 669, 169, 102, 102, 669, 102, 15, 669, - 669, 669, 669, 669, 669, 669, 669, 669, 669, 669, - 669, 669, 669, 669, 669, 669, 669, 669, 669, 669, - 669, 669, 669, 669, 669, 669, 669, 669, 669, 669, - 669, 669, 669, 669, 669, 669, 669, 669, 669, 669, - 669, 669, 669, 669, 669, 669, 669, 669, 669, 669, - - 669, 669, 669, 669, 669, 669, 669, 669, 669, 669, - 669, 669, 669, 669, 669, 669, 669, 669, 669, 669, - 669, 669, 669, 669, 669, 669 + 670, 96, 96, 670, 283, 670, 670, 670, 281, 670, + 96, 96, 96, 96, 670, 96, 96, 96, 670, 284, + + 96, 670, 96, 670, 670, 670, 96, 670, 96, 285, + 96, 670, 96, 96, 96, 96, 96, 670, 670, 670, + 670, 96, 670, 96, 96, 96, 670, 96, 670, 670, + 96, 287, 96, 670, 96, 670, 96, 670, 96, 670, + 96, 96, 96, 96, 96, 670, 670, 288, 670, 96, + 670, 96, 96, 96, 670, 96, 670, 670, 289, 670, + 96, 670, 96, 96, 96, 670, 96, 670, 293, 96, + 670, 96, 290, 292, 670, 96, 670, 96, 670, 96, + 96, 96, 96, 96, 670, 670, 96, 670, 96, 670, + 96, 670, 96, 670, 96, 670, 96, 670, 96, 294, + + 96, 96, 96, 670, 295, 96, 670, 670, 670, 296, + 670, 96, 96, 96, 96, 96, 96, 96, 670, 670, + 96, 96, 670, 670, 670, 670, 670, 96, 96, 96, + 670, 96, 670, 670, 96, 297, 96, 670, 96, 670, + 96, 670, 96, 670, 96, 298, 96, 96, 96, 96, + 670, 299, 300, 96, 670, 96, 670, 670, 301, 96, + 670, 96, 670, 96, 670, 96, 96, 96, 96, 96, + 670, 670, 670, 670, 96, 670, 96, 96, 96, 303, + 96, 304, 307, 670, 670, 96, 305, 96, 96, 96, + 670, 96, 670, 670, 670, 306, 96, 670, 96, 96, + + 96, 670, 96, 670, 670, 311, 670, 96, 670, 96, + 96, 96, 670, 96, 670, 670, 96, 670, 96, 670, + 96, 670, 313, 314, 96, 670, 96, 96, 96, 96, + 96, 670, 670, 96, 670, 96, 670, 96, 315, 96, + 670, 96, 670, 96, 96, 316, 96, 96, 670, 670, + 96, 670, 96, 318, 96, 670, 96, 670, 96, 670, + 96, 670, 96, 96, 96, 319, 96, 96, 320, 96, + 670, 670, 670, 670, 670, 670, 96, 96, 96, 96, + 96, 96, 96, 670, 670, 96, 96, 670, 317, 670, + 96, 670, 96, 670, 96, 670, 96, 670, 96, 321, + + 96, 96, 96, 322, 96, 670, 670, 670, 96, 96, + 96, 96, 96, 324, 96, 670, 323, 96, 670, 670, + 670, 96, 96, 96, 96, 96, 96, 670, 96, 670, + 325, 670, 96, 96, 326, 96, 96, 327, 96, 670, + 328, 96, 670, 670, 670, 96, 670, 96, 96, 96, + 96, 670, 96, 96, 96, 670, 329, 96, 670, 96, + 670, 670, 670, 96, 670, 96, 670, 96, 670, 96, + 96, 96, 96, 330, 670, 670, 96, 331, 96, 670, + 96, 670, 96, 670, 96, 670, 96, 96, 96, 96, + 96, 670, 332, 670, 670, 96, 670, 96, 670, 333, + + 670, 96, 96, 334, 670, 335, 96, 670, 96, 670, + 670, 670, 96, 670, 96, 670, 96, 670, 96, 96, + 96, 96, 96, 670, 670, 96, 670, 96, 670, 96, + 670, 96, 670, 96, 670, 96, 670, 96, 96, 96, + 96, 96, 670, 339, 96, 670, 670, 340, 670, 670, + 96, 96, 96, 96, 96, 96, 96, 341, 670, 96, + 96, 343, 96, 338, 670, 670, 96, 670, 96, 670, + 96, 347, 96, 670, 96, 342, 96, 96, 344, 670, + 96, 96, 345, 670, 670, 670, 670, 96, 96, 96, + 96, 96, 96, 346, 96, 670, 96, 670, 96, 96, + + 96, 96, 96, 670, 670, 348, 670, 96, 670, 96, + 350, 96, 96, 96, 670, 96, 670, 670, 670, 96, + 96, 96, 96, 96, 96, 96, 96, 670, 96, 670, + 351, 96, 670, 96, 355, 96, 354, 96, 352, 96, + 670, 670, 670, 96, 96, 96, 670, 96, 96, 96, + 670, 356, 96, 670, 670, 670, 670, 670, 96, 96, + 96, 96, 96, 96, 357, 96, 96, 96, 96, 670, + 670, 670, 670, 670, 670, 96, 96, 96, 96, 96, + 96, 96, 670, 670, 96, 96, 670, 670, 670, 670, + 670, 96, 670, 96, 96, 96, 670, 360, 670, 359, + + 96, 670, 96, 670, 96, 96, 96, 670, 96, 670, + 670, 670, 96, 96, 96, 96, 96, 361, 670, 96, + 96, 96, 362, 96, 96, 670, 96, 670, 670, 364, + 96, 670, 96, 96, 96, 96, 96, 96, 96, 96, + 96, 96, 96, 670, 96, 96, 670, 96, 670, 670, + 670, 96, 670, 96, 96, 96, 96, 96, 96, 366, + 96, 96, 96, 96, 363, 96, 96, 670, 368, 670, + 670, 670, 96, 96, 96, 96, 96, 96, 670, 96, + 670, 367, 670, 96, 96, 96, 96, 96, 670, 670, + 670, 670, 96, 670, 670, 670, 96, 96, 96, 670, + + 96, 670, 670, 370, 670, 96, 670, 96, 369, 96, + 96, 96, 670, 96, 376, 670, 96, 670, 670, 670, + 96, 670, 96, 96, 96, 96, 670, 96, 375, 96, + 377, 96, 96, 670, 96, 670, 379, 96, 670, 670, + 670, 96, 670, 96, 96, 96, 96, 96, 96, 96, + 96, 96, 670, 96, 96, 380, 96, 96, 670, 670, + 381, 670, 670, 670, 96, 96, 96, 96, 96, 96, + 670, 96, 670, 96, 670, 96, 96, 96, 96, 96, + 670, 670, 670, 670, 96, 670, 96, 670, 96, 670, + 382, 670, 96, 670, 96, 670, 96, 96, 96, 670, + + 96, 384, 383, 670, 96, 96, 96, 96, 96, 670, + 670, 670, 670, 96, 670, 96, 670, 385, 386, 96, + 670, 96, 387, 670, 670, 96, 96, 96, 96, 96, + 388, 670, 670, 670, 96, 670, 96, 670, 96, 389, + 96, 670, 96, 390, 96, 670, 96, 96, 96, 670, + 96, 670, 96, 670, 96, 96, 96, 670, 96, 670, + 391, 670, 96, 96, 96, 670, 96, 96, 393, 670, + 392, 96, 670, 96, 670, 670, 670, 96, 670, 96, + 670, 96, 670, 96, 96, 96, 96, 96, 670, 670, + 96, 394, 96, 670, 96, 670, 96, 670, 96, 670, + + 96, 395, 396, 96, 96, 96, 96, 670, 670, 96, + 670, 670, 670, 400, 670, 96, 96, 96, 96, 96, + 96, 670, 670, 96, 96, 96, 96, 401, 670, 402, + 670, 670, 670, 96, 670, 96, 96, 96, 96, 670, + 96, 403, 96, 96, 96, 96, 404, 670, 670, 670, + 670, 670, 670, 96, 96, 405, 96, 96, 96, 96, + 670, 670, 96, 96, 670, 96, 670, 670, 407, 96, + 670, 96, 670, 96, 670, 96, 96, 96, 406, 96, + 409, 670, 670, 410, 96, 670, 96, 96, 96, 670, + 96, 670, 670, 408, 670, 96, 670, 96, 96, 96, + + 670, 96, 670, 670, 96, 670, 96, 670, 96, 670, + 96, 670, 96, 670, 96, 96, 96, 96, 96, 670, + 670, 96, 412, 96, 670, 96, 670, 96, 670, 96, + 670, 96, 96, 413, 96, 96, 670, 670, 670, 670, + 96, 670, 96, 96, 96, 670, 96, 670, 415, 96, + 416, 96, 670, 96, 670, 96, 670, 96, 670, 96, + 96, 417, 96, 96, 670, 670, 670, 670, 96, 670, + 96, 670, 96, 96, 96, 670, 96, 670, 418, 96, + 420, 670, 670, 96, 96, 96, 96, 96, 421, 422, + 96, 670, 96, 670, 96, 96, 96, 96, 96, 670, + + 670, 670, 670, 96, 670, 670, 670, 96, 96, 96, + 670, 96, 670, 670, 96, 425, 96, 670, 96, 423, + 96, 670, 96, 670, 96, 670, 96, 96, 96, 96, + 96, 670, 427, 96, 670, 670, 670, 670, 670, 96, + 96, 96, 96, 96, 96, 96, 428, 670, 96, 96, + 670, 96, 670, 670, 670, 96, 670, 96, 670, 96, + 670, 96, 670, 96, 96, 96, 435, 96, 670, 670, + 96, 670, 670, 96, 670, 670, 670, 96, 670, 96, + 670, 96, 670, 96, 96, 96, 96, 96, 670, 430, + 96, 436, 96, 670, 96, 670, 438, 670, 96, 670, + + 96, 96, 96, 96, 96, 670, 670, 96, 439, 96, + 440, 96, 670, 96, 670, 96, 670, 96, 670, 96, + 96, 96, 441, 96, 96, 670, 96, 670, 670, 670, + 670, 670, 670, 96, 96, 96, 442, 96, 96, 96, + 670, 670, 96, 96, 670, 670, 670, 670, 670, 96, + 96, 96, 444, 96, 670, 670, 96, 443, 96, 670, + 96, 670, 96, 670, 96, 670, 96, 670, 96, 96, + 96, 670, 670, 96, 445, 96, 446, 670, 670, 96, + 670, 447, 670, 96, 670, 96, 670, 96, 670, 96, + 96, 96, 96, 96, 670, 449, 96, 670, 96, 670, + + 96, 670, 448, 670, 96, 670, 96, 96, 96, 96, + 96, 670, 670, 96, 670, 96, 670, 96, 670, 96, + 450, 96, 670, 96, 96, 96, 96, 96, 670, 670, + 96, 670, 96, 670, 96, 670, 96, 452, 96, 670, + 96, 451, 96, 96, 96, 453, 96, 96, 670, 96, + 670, 457, 670, 670, 670, 670, 96, 96, 96, 96, + 96, 96, 96, 670, 670, 96, 96, 670, 96, 458, + 459, 670, 96, 670, 96, 670, 96, 670, 96, 96, + 96, 96, 96, 670, 670, 96, 670, 96, 461, 96, + 670, 96, 670, 96, 670, 96, 460, 96, 96, 96, + + 96, 462, 670, 670, 96, 670, 96, 463, 670, 670, + 96, 670, 96, 670, 96, 670, 96, 96, 96, 96, + 96, 670, 670, 670, 670, 96, 670, 96, 670, 96, + 670, 96, 96, 464, 670, 465, 96, 670, 96, 670, + 670, 670, 96, 670, 96, 670, 96, 670, 96, 96, + 96, 96, 96, 670, 670, 466, 467, 96, 670, 96, + 96, 96, 670, 96, 670, 469, 96, 670, 96, 670, + 96, 670, 96, 670, 96, 670, 96, 96, 96, 96, + 96, 670, 670, 96, 670, 96, 670, 96, 670, 471, + 670, 96, 670, 96, 96, 472, 96, 96, 670, 670, + + 670, 670, 96, 670, 96, 670, 96, 96, 96, 670, + 474, 670, 473, 96, 670, 96, 670, 96, 670, 96, + 670, 96, 670, 670, 670, 96, 96, 96, 670, 96, + 96, 477, 670, 96, 96, 476, 96, 670, 670, 670, + 96, 670, 96, 96, 96, 96, 96, 96, 96, 96, + 96, 96, 96, 479, 96, 96, 670, 96, 670, 670, + 670, 96, 670, 96, 96, 96, 96, 96, 96, 96, + 96, 96, 96, 96, 481, 670, 96, 670, 670, 670, + 670, 670, 96, 670, 96, 96, 96, 670, 96, 670, + 488, 96, 489, 670, 670, 96, 670, 96, 96, 96, + + 96, 670, 96, 96, 96, 670, 491, 96, 670, 96, + 670, 670, 670, 96, 670, 96, 670, 96, 670, 96, + 96, 492, 96, 96, 670, 670, 96, 493, 96, 670, + 96, 670, 96, 494, 96, 670, 96, 96, 96, 96, + 96, 670, 670, 96, 670, 96, 670, 96, 670, 96, + 670, 96, 670, 96, 96, 96, 96, 96, 670, 670, + 670, 495, 96, 670, 96, 96, 96, 496, 96, 670, + 670, 96, 670, 96, 670, 96, 670, 96, 670, 96, + 670, 96, 96, 96, 96, 96, 670, 497, 96, 670, + 96, 670, 96, 670, 96, 670, 96, 670, 96, 96, + + 96, 96, 96, 670, 670, 670, 498, 96, 670, 96, + 96, 96, 670, 96, 670, 670, 500, 499, 96, 670, + 96, 670, 96, 670, 96, 670, 96, 96, 96, 96, + 96, 670, 670, 96, 670, 96, 670, 501, 670, 96, + 506, 96, 670, 96, 96, 96, 96, 96, 670, 670, + 670, 670, 96, 670, 96, 96, 96, 670, 96, 670, + 670, 96, 507, 96, 670, 96, 670, 96, 670, 96, + 670, 96, 96, 96, 96, 96, 670, 670, 96, 670, + 96, 509, 96, 670, 96, 670, 96, 670, 96, 508, + 96, 96, 96, 96, 96, 670, 670, 96, 670, 670, + + 670, 670, 670, 96, 96, 96, 96, 96, 96, 96, + 511, 510, 96, 96, 670, 96, 670, 670, 670, 96, + 670, 96, 670, 96, 670, 96, 96, 96, 96, 96, + 670, 670, 96, 670, 96, 670, 96, 670, 513, 670, + 96, 670, 515, 96, 96, 96, 96, 670, 670, 670, + 670, 96, 670, 96, 96, 96, 670, 96, 517, 512, + 96, 670, 96, 670, 96, 670, 96, 670, 96, 670, + 96, 96, 96, 96, 96, 670, 670, 96, 670, 96, + 519, 96, 670, 96, 670, 96, 670, 96, 670, 96, + 96, 96, 96, 670, 670, 520, 96, 670, 96, 670, + + 670, 522, 96, 670, 96, 670, 96, 670, 96, 670, + 96, 96, 96, 524, 96, 96, 670, 96, 670, 670, + 670, 670, 530, 670, 96, 96, 96, 96, 96, 96, + 96, 531, 670, 96, 96, 670, 96, 670, 670, 670, + 96, 670, 96, 670, 96, 670, 96, 96, 96, 96, + 96, 670, 533, 670, 670, 96, 670, 96, 96, 96, + 670, 96, 670, 670, 96, 534, 96, 670, 96, 670, + 535, 670, 96, 670, 96, 96, 536, 96, 96, 670, + 670, 96, 538, 96, 670, 96, 670, 96, 537, 96, + 670, 96, 670, 96, 96, 96, 96, 96, 670, 539, + + 96, 670, 670, 670, 670, 670, 96, 96, 96, 96, + 96, 96, 96, 96, 670, 96, 96, 670, 670, 670, + 540, 670, 96, 96, 96, 96, 96, 96, 96, 670, + 670, 96, 96, 670, 96, 670, 670, 545, 96, 670, + 96, 670, 96, 670, 96, 96, 96, 96, 96, 670, + 670, 96, 670, 96, 670, 96, 670, 96, 670, 96, + 670, 96, 96, 96, 96, 96, 670, 670, 96, 670, + 96, 670, 96, 670, 96, 546, 96, 670, 96, 96, + 96, 96, 96, 670, 670, 670, 670, 96, 670, 96, + 96, 96, 670, 96, 549, 670, 96, 547, 96, 670, + + 96, 670, 96, 554, 96, 670, 96, 96, 96, 96, + 96, 670, 670, 670, 552, 96, 670, 96, 96, 96, + 670, 96, 670, 670, 96, 670, 96, 670, 96, 670, + 96, 670, 96, 670, 96, 96, 96, 96, 96, 670, + 670, 96, 670, 96, 670, 96, 670, 556, 670, 96, + 670, 558, 96, 96, 96, 96, 670, 670, 96, 670, + 96, 670, 96, 670, 96, 564, 96, 670, 96, 96, + 96, 96, 96, 670, 670, 96, 670, 96, 670, 96, + 670, 96, 670, 96, 670, 96, 670, 96, 96, 96, + 96, 96, 565, 566, 96, 670, 567, 670, 670, 670, + + 96, 96, 96, 96, 96, 96, 96, 96, 569, 96, + 96, 670, 670, 670, 670, 670, 96, 96, 568, 96, + 96, 96, 96, 96, 570, 96, 96, 670, 670, 670, + 670, 670, 96, 571, 96, 96, 96, 96, 96, 670, + 670, 96, 96, 670, 670, 670, 96, 670, 96, 670, + 96, 670, 96, 670, 575, 670, 96, 96, 96, 576, + 96, 96, 96, 670, 670, 96, 670, 670, 577, 579, + 670, 96, 96, 96, 96, 96, 96, 96, 670, 670, + 96, 96, 670, 670, 670, 96, 670, 96, 670, 582, + 670, 96, 670, 96, 670, 96, 96, 96, 584, 96, + + 670, 670, 670, 96, 96, 96, 96, 96, 670, 96, + 670, 585, 96, 670, 670, 670, 96, 96, 96, 96, + 96, 592, 670, 96, 670, 96, 670, 96, 96, 96, + 96, 96, 593, 96, 670, 670, 96, 670, 670, 670, + 96, 96, 96, 96, 96, 96, 670, 96, 670, 96, + 670, 96, 96, 96, 96, 96, 670, 670, 594, 670, + 96, 670, 96, 670, 96, 670, 96, 595, 96, 670, + 96, 670, 96, 96, 96, 670, 96, 596, 96, 670, + 96, 96, 96, 670, 96, 670, 96, 670, 96, 96, + 96, 670, 96, 670, 96, 670, 96, 96, 600, 670, + + 96, 670, 96, 670, 96, 96, 96, 601, 96, 670, + 96, 670, 96, 96, 603, 670, 96, 606, 96, 670, + 96, 96, 96, 670, 96, 608, 96, 670, 96, 96, + 96, 670, 96, 609, 96, 670, 96, 96, 96, 670, + 96, 670, 96, 670, 96, 96, 96, 670, 96, 670, + 96, 670, 96, 96, 96, 670, 96, 670, 96, 670, + 96, 96, 96, 670, 96, 670, 96, 670, 96, 96, + 615, 670, 96, 670, 670, 670, 96, 96, 96, 96, + 96, 670, 670, 670, 616, 96, 670, 96, 670, 96, + 670, 96, 670, 96, 670, 96, 620, 96, 96, 621, + + 670, 96, 623, 96, 670, 96, 96, 96, 670, 96, + 670, 670, 670, 96, 96, 96, 96, 96, 628, 96, + 670, 626, 96, 629, 670, 670, 96, 96, 96, 96, + 96, 96, 670, 96, 670, 96, 670, 96, 96, 96, + 96, 96, 670, 96, 670, 635, 96, 670, 670, 670, + 96, 670, 96, 96, 96, 96, 96, 96, 670, 96, + 670, 670, 96, 636, 96, 670, 96, 96, 96, 670, + 96, 670, 670, 670, 96, 96, 96, 96, 96, 96, + 670, 96, 640, 96, 96, 96, 96, 670, 670, 670, + 643, 670, 645, 670, 96, 96, 96, 96, 96, 96, + + 96, 96, 670, 96, 96, 670, 670, 670, 670, 670, + 96, 96, 96, 96, 96, 96, 651, 96, 96, 96, + 96, 670, 670, 670, 670, 670, 670, 96, 96, 96, + 96, 96, 96, 670, 670, 96, 96, 96, 656, 670, + 653, 670, 670, 96, 670, 96, 670, 96, 670, 96, + 670, 96, 670, 96, 96, 96, 660, 96, 670, 96, + 670, 96, 96, 96, 670, 96, 670, 96, 670, 96, + 96, 96, 670, 96, 670, 664, 670, 667, 96, 96, + 96, 96, 670, 96, 670, 670, 96, 670, 670, 670, + 96, 670, 96, 96, 96, 96, 670, 96, 670, 96, + + 670, 670, 96, 53, 53, 53, 53, 53, 53, 53, + 53, 53, 53, 53, 57, 57, 57, 57, 57, 57, + 57, 57, 57, 57, 57, 61, 61, 61, 61, 61, + 61, 61, 61, 61, 61, 61, 64, 64, 64, 64, + 64, 64, 64, 64, 64, 64, 64, 73, 73, 73, + 73, 73, 73, 73, 73, 73, 73, 73, 75, 75, + 75, 75, 75, 75, 75, 75, 75, 75, 75, 82, + 82, 82, 670, 82, 82, 82, 82, 82, 82, 82, + 89, 89, 670, 670, 89, 670, 89, 153, 153, 670, + 153, 154, 154, 670, 154, 154, 154, 670, 154, 154, + + 154, 154, 157, 157, 157, 670, 157, 157, 157, 157, + 157, 157, 157, 159, 159, 159, 159, 159, 159, 159, + 159, 670, 159, 161, 670, 670, 161, 161, 161, 161, + 161, 161, 161, 162, 670, 670, 162, 162, 162, 162, + 162, 162, 162, 164, 670, 670, 164, 670, 164, 164, + 164, 164, 164, 168, 168, 670, 168, 169, 169, 670, + 169, 102, 102, 670, 102, 15, 670, 670, 670, 670, + 670, 670, 670, 670, 670, 670, 670, 670, 670, 670, + 670, 670, 670, 670, 670, 670, 670, 670, 670, 670, + 670, 670, 670, 670, 670, 670, 670, 670, 670, 670, + + 670, 670, 670, 670, 670, 670, 670, 670, 670, 670, + 670, 670, 670, 670, 670, 670, 670, 670, 670, 670, + 670, 670, 670, 670, 670, 670, 670, 670, 670, 670, + 670, 670, 670, 670, 670, 670, 670, 670, 670, 670, + 670, 670, 670 } ; -static yyconst short int yy_chk[4327] = +static yyconst short int yy_chk[4344] = { 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, @@ -1228,32 +1231,32 @@ static yyconst short int yy_chk[4327] = 4, 5, 6, 7, 9, 3, 7, 4, 5, 6, 8, 5, 6, 8, 10, 17, 17, 17, 18, 18, - 18, 17, 9, 665, 18, 9, 26, 661, 26, 13, + 18, 17, 9, 666, 18, 9, 26, 662, 26, 13, 13, 13, 10, 151, 13, 10, 86, 22, 22, 22, - 14, 14, 14, 22, 24, 14, 151, 24, 658, 22, + 14, 14, 14, 22, 24, 14, 151, 24, 659, 22, 22, 24, 24, 24, 24, 24, 24, 28, 28, 28, - 28, 28, 28, 28, 656, 34, 86, 454, 34, 76, + 28, 28, 28, 28, 657, 34, 86, 454, 34, 76, 76, 76, 77, 77, 77, 34, 9, 34, 9, 34, - 81, 81, 81, 654, 34, 454, 10, 653, 10, 11, + 81, 81, 81, 655, 34, 454, 10, 654, 10, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, - 11, 11, 13, 651, 13, 163, 163, 649, 170, 11, + 11, 11, 13, 652, 13, 163, 163, 650, 170, 11, 11, 11, 11, 14, 170, 14, 163, 11, 32, 242, - 242, 32, 165, 165, 165, 32, 529, 647, 32, 32, - 32, 32, 32, 38, 312, 646, 33, 32, 643, 11, + 242, 32, 165, 165, 165, 32, 529, 648, 32, 32, + 32, 32, 32, 38, 312, 647, 33, 32, 644, 11, 11, 32, 33, 38, 312, 38, 33, 38, 33, 33, - 33, 641, 38, 529, 637, 33, 91, 91, 91, 91, + 33, 642, 38, 529, 638, 33, 91, 91, 91, 91, 91, 91, 91, 11, 11, 11, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 374, - 633, 35, 632, 78, 374, 631, 12, 12, 12, 12, - 630, 35, 35, 35, 12, 35, 629, 78, 36, 36, - 35, 487, 626, 35, 624, 623, 618, 617, 487, 36, - 616, 36, 613, 36, 37, 36, 12, 12, 36, 39, - - 39, 612, 39, 611, 37, 610, 37, 78, 37, 609, - 39, 39, 39, 37, 39, 606, 604, 39, 603, 39, - 12, 12, 12, 21, 601, 37, 88, 88, 88, 598, - 597, 596, 88, 591, 590, 589, 37, 21, 88, 88, + 634, 35, 633, 78, 374, 632, 12, 12, 12, 12, + 631, 35, 35, 35, 12, 35, 630, 78, 36, 36, + 35, 487, 627, 35, 625, 624, 619, 618, 487, 36, + 617, 36, 614, 36, 37, 36, 12, 12, 36, 39, + + 39, 613, 39, 612, 37, 611, 37, 78, 37, 610, + 39, 39, 39, 37, 39, 607, 605, 39, 604, 39, + 12, 12, 12, 21, 602, 37, 88, 88, 88, 599, + 598, 597, 88, 591, 590, 589, 37, 21, 88, 88, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 588, 21, 21, 21, @@ -1404,295 +1407,297 @@ static yyconst short int yy_chk[4327] = 253, 254, 255, 0, 0, 253, 254, 0, 251, 0, 256, 0, 255, 0, 255, 0, 255, 0, 257, 255, - 256, 255, 256, 256, 256, 258, 258, 0, 257, 256, - 257, 0, 257, 0, 257, 0, 258, 257, 258, 259, - 258, 0, 260, 0, 0, 258, 0, 0, 0, 259, - 0, 259, 260, 259, 260, 261, 260, 261, 259, 0, - 0, 260, 0, 0, 0, 261, 262, 261, 262, 261, - 0, 0, 263, 0, 261, 263, 262, 0, 262, 0, - 262, 0, 263, 264, 263, 262, 263, 0, 0, 265, - 0, 263, 0, 264, 0, 264, 265, 264, 0, 265, - 266, 265, 264, 265, 0, 0, 0, 0, 265, 0, - 266, 267, 266, 0, 266, 0, 266, 0, 0, 266, - - 0, 267, 0, 267, 0, 267, 268, 267, 0, 268, - 267, 0, 269, 0, 0, 0, 268, 0, 268, 0, - 268, 0, 269, 272, 269, 268, 269, 0, 0, 273, - 0, 269, 0, 272, 0, 272, 0, 272, 0, 273, - 0, 273, 272, 273, 274, 275, 0, 273, 273, 0, - 0, 274, 0, 0, 274, 275, 274, 275, 274, 275, - 276, 275, 0, 274, 275, 277, 277, 272, 0, 0, - 276, 0, 276, 0, 276, 279, 277, 0, 277, 276, - 277, 278, 277, 0, 279, 277, 278, 0, 0, 0, - 0, 278, 280, 278, 279, 278, 279, 278, 279, 0, - - 278, 0, 280, 279, 280, 281, 280, 0, 0, 280, - 0, 280, 0, 283, 283, 281, 284, 281, 0, 281, - 0, 0, 0, 283, 281, 283, 284, 283, 284, 285, - 284, 0, 283, 0, 284, 284, 0, 287, 288, 285, - 287, 285, 285, 285, 0, 0, 0, 287, 285, 287, - 0, 287, 289, 288, 0, 289, 287, 0, 0, 0, - 0, 0, 289, 288, 289, 288, 289, 288, 290, 290, - 292, 289, 288, 0, 0, 0, 0, 0, 0, 290, - 292, 290, 292, 290, 292, 293, 0, 0, 290, 292, - 0, 0, 0, 0, 0, 293, 0, 293, 294, 293, - - 0, 294, 0, 293, 293, 0, 295, 0, 294, 296, - 294, 0, 294, 0, 0, 0, 295, 294, 295, 296, - 295, 296, 0, 296, 298, 295, 297, 297, 296, 0, - 299, 0, 0, 301, 298, 0, 298, 297, 298, 297, - 299, 297, 299, 298, 299, 300, 297, 0, 301, 299, - 0, 303, 0, 0, 0, 300, 0, 300, 301, 300, - 301, 303, 301, 303, 300, 303, 304, 301, 298, 305, - 303, 0, 305, 0, 0, 0, 304, 306, 304, 305, - 304, 305, 0, 305, 0, 304, 0, 306, 305, 306, - 307, 306, 0, 0, 0, 0, 306, 0, 0, 0, - - 307, 311, 307, 0, 307, 0, 0, 307, 0, 307, - 0, 311, 306, 311, 313, 311, 0, 314, 314, 0, - 311, 0, 0, 0, 313, 0, 313, 314, 313, 314, - 0, 314, 313, 313, 315, 315, 314, 0, 316, 0, - 318, 318, 0, 0, 0, 315, 0, 315, 316, 315, - 316, 318, 316, 318, 315, 318, 0, 316, 319, 319, - 318, 320, 0, 0, 320, 0, 0, 0, 319, 321, - 319, 320, 319, 320, 0, 320, 0, 319, 0, 321, - 320, 321, 322, 321, 323, 323, 0, 0, 321, 0, - 0, 0, 322, 324, 322, 323, 322, 323, 0, 323, - - 324, 322, 0, 324, 323, 324, 325, 324, 0, 0, - 0, 0, 324, 0, 326, 0, 325, 326, 325, 0, - 325, 326, 0, 0, 326, 325, 326, 327, 326, 327, - 0, 0, 0, 326, 0, 328, 0, 327, 328, 327, - 0, 327, 328, 329, 0, 328, 327, 328, 0, 328, - 0, 330, 0, 329, 328, 329, 0, 329, 0, 329, - 0, 330, 329, 330, 0, 330, 331, 331, 0, 330, - 330, 0, 332, 0, 0, 0, 331, 0, 331, 0, - 331, 0, 332, 333, 332, 331, 332, 0, 0, 334, - 332, 332, 0, 333, 0, 333, 0, 333, 0, 334, - - 333, 334, 333, 334, 335, 339, 0, 0, 334, 0, - 0, 0, 339, 0, 335, 339, 335, 339, 335, 339, - 0, 0, 341, 335, 339, 340, 340, 0, 340, 0, - 0, 0, 341, 0, 341, 340, 341, 340, 0, 340, - 341, 341, 343, 342, 340, 342, 0, 0, 0, 0, - 0, 0, 343, 342, 343, 342, 343, 342, 344, 0, - 0, 343, 342, 0, 345, 0, 0, 345, 344, 0, - 344, 0, 344, 0, 345, 346, 345, 344, 345, 347, - 0, 0, 348, 345, 0, 346, 347, 346, 0, 346, - 0, 0, 346, 0, 346, 0, 347, 348, 347, 0, - - 347, 0, 0, 350, 0, 347, 0, 348, 0, 348, - 0, 348, 0, 350, 351, 350, 348, 350, 0, 0, - 352, 350, 350, 0, 351, 0, 351, 0, 351, 0, - 352, 354, 352, 351, 352, 0, 0, 0, 0, 352, - 0, 354, 355, 354, 0, 354, 0, 354, 356, 355, - 354, 0, 355, 0, 355, 0, 355, 0, 356, 357, - 356, 355, 356, 0, 0, 0, 0, 356, 0, 357, - 0, 357, 359, 357, 0, 360, 0, 357, 357, 359, - 0, 0, 359, 361, 359, 360, 359, 360, 361, 360, - 0, 359, 0, 361, 360, 361, 362, 361, 0, 0, - - 0, 0, 361, 0, 0, 0, 362, 364, 362, 0, - 362, 0, 0, 366, 364, 362, 0, 364, 362, 364, - 0, 364, 0, 366, 0, 366, 364, 366, 367, 368, - 0, 367, 366, 0, 0, 0, 0, 0, 367, 368, - 367, 368, 367, 368, 370, 368, 0, 367, 368, 0, - 375, 0, 0, 0, 370, 0, 370, 0, 370, 0, - 375, 0, 375, 370, 375, 376, 376, 0, 0, 375, - 0, 0, 377, 0, 0, 0, 376, 0, 376, 0, - 376, 0, 377, 379, 377, 376, 377, 0, 370, 380, - 377, 377, 0, 379, 0, 379, 0, 379, 0, 380, - - 381, 380, 379, 380, 0, 0, 382, 380, 380, 382, - 381, 0, 381, 0, 381, 0, 382, 383, 382, 381, - 382, 0, 0, 384, 383, 382, 0, 383, 0, 383, - 0, 383, 0, 384, 385, 384, 383, 384, 0, 0, - 0, 0, 384, 0, 385, 386, 385, 386, 385, 0, - 0, 387, 385, 385, 0, 386, 0, 386, 0, 386, - 0, 387, 0, 387, 386, 387, 0, 0, 388, 387, - 387, 388, 0, 0, 389, 0, 389, 0, 388, 0, - 388, 0, 388, 0, 389, 390, 389, 388, 389, 0, - 391, 391, 0, 389, 0, 390, 0, 390, 0, 390, - - 0, 391, 392, 391, 390, 391, 0, 0, 393, 0, - 391, 0, 392, 0, 392, 393, 392, 0, 393, 394, - 393, 392, 393, 0, 0, 395, 0, 393, 0, 394, - 0, 394, 395, 394, 0, 395, 394, 395, 394, 395, - 396, 396, 400, 0, 395, 0, 400, 0, 0, 0, - 0, 396, 400, 396, 400, 396, 400, 401, 0, 0, - 396, 400, 0, 402, 401, 402, 0, 401, 0, 401, - 0, 401, 0, 402, 403, 402, 401, 402, 0, 0, - 404, 0, 402, 404, 403, 0, 403, 0, 403, 0, - 404, 403, 404, 403, 404, 405, 405, 0, 0, 404, - - 0, 406, 406, 0, 0, 405, 0, 405, 0, 405, - 0, 406, 407, 406, 405, 406, 0, 0, 0, 0, - 406, 0, 407, 0, 407, 0, 407, 408, 407, 0, - 408, 407, 0, 409, 0, 0, 0, 408, 0, 408, - 0, 408, 0, 409, 410, 409, 408, 409, 0, 0, - 409, 410, 409, 0, 410, 412, 410, 0, 410, 0, - 413, 413, 0, 410, 0, 412, 0, 412, 0, 412, - 0, 413, 415, 413, 412, 413, 0, 0, 416, 0, - 413, 0, 415, 0, 415, 0, 415, 0, 416, 417, - 416, 415, 416, 0, 0, 0, 0, 416, 0, 417, - - 0, 417, 418, 417, 0, 418, 0, 417, 417, 0, - 420, 0, 418, 0, 418, 0, 418, 0, 0, 0, - 420, 418, 420, 0, 420, 421, 421, 0, 422, 420, - 420, 423, 0, 0, 0, 421, 0, 421, 422, 421, - 422, 423, 422, 423, 421, 423, 425, 422, 425, 427, - 423, 0, 428, 0, 0, 0, 425, 0, 425, 427, - 425, 427, 428, 427, 428, 425, 428, 435, 427, 428, - 0, 428, 0, 0, 0, 0, 0, 435, 0, 435, - 436, 435, 0, 438, 0, 435, 435, 436, 0, 0, - 436, 0, 436, 438, 436, 438, 0, 438, 439, 436, - - 0, 439, 438, 0, 440, 0, 0, 0, 439, 0, - 439, 0, 439, 0, 440, 441, 440, 439, 440, 0, - 0, 442, 0, 440, 0, 441, 0, 441, 442, 441, - 0, 442, 443, 442, 441, 442, 0, 0, 444, 0, - 442, 0, 443, 0, 443, 0, 443, 0, 444, 445, - 444, 443, 444, 0, 0, 0, 445, 444, 0, 445, - 446, 445, 446, 445, 0, 0, 447, 0, 445, 0, - 446, 0, 446, 0, 446, 0, 447, 448, 447, 446, - 447, 0, 448, 449, 0, 447, 0, 448, 0, 448, - 0, 448, 0, 449, 450, 449, 448, 449, 0, 0, - - 0, 449, 449, 0, 450, 451, 450, 0, 450, 0, - 0, 452, 450, 450, 0, 451, 0, 451, 0, 451, - 0, 452, 453, 452, 451, 452, 0, 0, 457, 0, - 452, 0, 453, 0, 453, 457, 453, 0, 457, 458, - 457, 453, 457, 0, 0, 0, 0, 457, 0, 458, - 459, 458, 0, 458, 0, 0, 460, 458, 458, 0, - 459, 0, 459, 0, 459, 0, 460, 461, 460, 459, - 460, 0, 0, 462, 0, 460, 462, 461, 0, 461, - 0, 461, 0, 462, 461, 462, 461, 462, 463, 464, - 0, 0, 462, 0, 0, 0, 0, 0, 463, 464, - - 463, 464, 463, 464, 465, 465, 463, 463, 464, 0, - 466, 0, 0, 0, 465, 0, 465, 0, 465, 0, - 466, 467, 466, 465, 466, 0, 0, 469, 0, 466, - 0, 467, 0, 467, 0, 467, 0, 469, 471, 469, - 467, 469, 0, 0, 0, 0, 469, 0, 471, 472, - 471, 0, 471, 472, 466, 473, 0, 471, 0, 472, - 0, 472, 0, 472, 0, 473, 474, 473, 472, 473, - 0, 0, 476, 0, 473, 476, 474, 0, 474, 0, - 474, 0, 476, 0, 476, 474, 476, 477, 0, 0, - 477, 476, 0, 479, 0, 0, 479, 477, 0, 477, - - 0, 477, 0, 479, 0, 479, 477, 479, 481, 481, - 488, 0, 479, 0, 0, 0, 0, 488, 0, 481, - 488, 481, 488, 481, 488, 489, 489, 0, 481, 488, - 0, 491, 0, 0, 0, 489, 0, 489, 0, 489, - 0, 491, 492, 491, 489, 491, 0, 491, 0, 0, - 491, 0, 492, 0, 492, 493, 492, 0, 493, 0, - 492, 492, 0, 494, 0, 493, 495, 493, 0, 493, - 0, 0, 497, 494, 493, 494, 495, 494, 495, 495, - 495, 496, 494, 0, 499, 495, 0, 497, 0, 0, - 0, 496, 0, 496, 499, 496, 499, 497, 499, 497, - - 496, 497, 498, 499, 0, 498, 497, 0, 500, 0, - 0, 0, 498, 0, 498, 500, 498, 0, 500, 501, - 500, 498, 500, 0, 0, 506, 0, 500, 506, 501, - 0, 501, 0, 501, 0, 506, 507, 506, 501, 506, - 0, 0, 508, 0, 506, 0, 507, 0, 507, 0, - 507, 0, 508, 509, 508, 507, 508, 0, 0, 510, - 0, 508, 0, 509, 0, 509, 510, 509, 0, 510, - 511, 510, 509, 510, 0, 0, 0, 0, 510, 0, - 511, 513, 511, 0, 511, 513, 0, 515, 511, 511, - 0, 513, 0, 513, 519, 513, 0, 515, 517, 515, - - 513, 515, 0, 0, 0, 517, 515, 0, 517, 519, - 517, 0, 517, 0, 0, 520, 0, 517, 0, 519, - 0, 519, 0, 519, 0, 520, 522, 520, 519, 520, - 0, 0, 524, 0, 520, 0, 522, 0, 522, 0, - 522, 0, 524, 530, 524, 522, 524, 0, 0, 531, - 0, 524, 0, 530, 0, 530, 530, 530, 0, 531, - 533, 531, 530, 531, 0, 0, 534, 0, 531, 0, - 533, 0, 533, 0, 533, 0, 534, 0, 534, 533, - 534, 536, 535, 534, 535, 534, 536, 0, 0, 0, - 0, 536, 535, 536, 535, 536, 535, 537, 538, 538, - - 536, 535, 0, 0, 0, 0, 0, 537, 538, 537, - 538, 537, 538, 539, 540, 539, 537, 538, 0, 0, - 0, 0, 0, 539, 540, 539, 540, 539, 540, 545, - 0, 0, 539, 540, 0, 0, 0, 546, 0, 545, - 0, 545, 0, 545, 0, 545, 0, 546, 545, 546, - 546, 546, 547, 549, 0, 0, 546, 0, 0, 547, - 549, 0, 547, 549, 547, 549, 547, 549, 552, 0, - 0, 547, 549, 0, 0, 0, 554, 0, 552, 0, - 552, 0, 552, 0, 556, 0, 554, 552, 554, 554, - 554, 0, 0, 0, 556, 554, 556, 558, 556, 0, - - 564, 0, 556, 556, 0, 0, 0, 558, 565, 558, - 564, 558, 564, 0, 564, 0, 558, 0, 565, 564, - 565, 566, 565, 0, 567, 0, 0, 565, 0, 0, - 0, 566, 568, 566, 567, 566, 567, 0, 567, 0, - 566, 0, 568, 567, 568, 569, 568, 0, 0, 568, - 0, 568, 0, 570, 0, 569, 0, 569, 569, 569, - 0, 571, 0, 570, 569, 570, 0, 570, 571, 575, - 0, 571, 570, 571, 0, 571, 0, 576, 0, 575, - 571, 575, 0, 575, 0, 577, 0, 576, 575, 576, - 0, 576, 0, 579, 0, 577, 576, 577, 577, 577, - - 0, 582, 0, 579, 577, 579, 0, 579, 582, 584, - 0, 582, 579, 582, 0, 582, 584, 585, 0, 584, - 582, 584, 0, 584, 585, 592, 0, 585, 584, 585, - 0, 585, 0, 593, 0, 592, 585, 592, 0, 592, - 0, 594, 0, 593, 592, 593, 0, 593, 0, 595, - 0, 594, 593, 594, 0, 594, 0, 0, 0, 595, - 594, 595, 599, 595, 0, 0, 0, 595, 595, 0, - 600, 0, 599, 0, 599, 0, 599, 0, 602, 599, - 600, 599, 600, 0, 600, 602, 605, 0, 602, 600, - 602, 0, 602, 0, 0, 0, 605, 602, 605, 607, - - 605, 607, 608, 0, 605, 605, 608, 0, 0, 607, - 614, 607, 608, 607, 608, 0, 608, 0, 607, 0, - 614, 608, 614, 615, 614, 0, 619, 0, 614, 614, - 0, 0, 0, 615, 0, 615, 619, 615, 619, 620, - 619, 0, 615, 0, 0, 619, 615, 622, 0, 620, - 625, 620, 0, 620, 0, 0, 0, 622, 620, 622, - 625, 622, 625, 0, 625, 622, 622, 627, 628, 625, - 0, 0, 0, 625, 0, 628, 0, 627, 628, 627, - 628, 627, 628, 634, 635, 0, 627, 628, 0, 0, - 0, 0, 0, 634, 635, 634, 635, 634, 635, 634, - - 639, 642, 634, 635, 0, 0, 0, 0, 0, 0, - 639, 642, 639, 642, 639, 642, 0, 0, 644, 639, - 642, 644, 0, 639, 0, 0, 650, 0, 644, 0, - 644, 0, 644, 0, 652, 0, 650, 644, 650, 650, - 650, 0, 655, 0, 652, 650, 652, 0, 652, 0, - 659, 0, 655, 652, 655, 0, 655, 0, 655, 0, - 659, 655, 659, 663, 659, 0, 666, 0, 0, 659, - 0, 0, 0, 663, 0, 663, 666, 663, 666, 0, - 666, 0, 663, 0, 0, 666, 670, 670, 670, 670, - 670, 670, 670, 670, 670, 670, 670, 671, 671, 671, - - 671, 671, 671, 671, 671, 671, 671, 671, 672, 672, - 672, 672, 672, 672, 672, 672, 672, 672, 672, 673, - 673, 673, 673, 673, 673, 673, 673, 673, 673, 673, - 674, 674, 674, 674, 674, 674, 674, 674, 674, 674, - 674, 675, 675, 675, 675, 675, 675, 675, 675, 675, - 675, 675, 676, 676, 676, 0, 676, 676, 676, 676, - 676, 676, 676, 677, 677, 0, 0, 677, 0, 677, - 678, 678, 0, 678, 679, 679, 0, 679, 679, 679, - 0, 679, 679, 679, 679, 680, 680, 680, 0, 680, - 680, 680, 680, 680, 680, 680, 681, 681, 681, 681, - - 681, 681, 681, 681, 0, 681, 682, 0, 0, 682, - 682, 682, 682, 682, 682, 682, 683, 0, 0, 683, - 683, 683, 683, 683, 683, 683, 684, 0, 0, 684, - 0, 684, 684, 684, 684, 684, 685, 685, 0, 685, - 686, 686, 0, 686, 687, 687, 0, 687, 669, 669, - 669, 669, 669, 669, 669, 669, 669, 669, 669, 669, - 669, 669, 669, 669, 669, 669, 669, 669, 669, 669, - 669, 669, 669, 669, 669, 669, 669, 669, 669, 669, - 669, 669, 669, 669, 669, 669, 669, 669, 669, 669, - 669, 669, 669, 669, 669, 669, 669, 669, 669, 669, - - 669, 669, 669, 669, 669, 669, 669, 669, 669, 669, - 669, 669, 669, 669, 669, 669, 669, 669, 669, 669, - 669, 669, 669, 669, 669, 669 + 256, 255, 256, 256, 256, 0, 0, 0, 257, 256, + 257, 259, 257, 258, 258, 0, 257, 257, 0, 0, + 0, 259, 260, 259, 258, 259, 258, 0, 258, 0, + 259, 0, 260, 258, 260, 261, 260, 261, 262, 0, + 262, 260, 0, 0, 0, 261, 0, 261, 262, 261, + 262, 0, 262, 263, 261, 0, 263, 262, 0, 264, + 0, 0, 0, 263, 0, 263, 0, 263, 0, 264, + 265, 264, 263, 264, 0, 0, 266, 265, 264, 0, + 265, 0, 265, 0, 265, 0, 266, 267, 266, 265, + 266, 0, 266, 0, 0, 266, 0, 267, 0, 267, + + 0, 267, 268, 267, 0, 268, 267, 0, 269, 0, + 0, 0, 268, 0, 268, 0, 268, 0, 269, 272, + 269, 268, 269, 0, 0, 273, 0, 269, 0, 272, + 0, 272, 0, 272, 0, 273, 0, 273, 272, 273, + 274, 275, 0, 273, 273, 0, 0, 274, 0, 0, + 274, 275, 274, 275, 274, 275, 276, 275, 0, 274, + 275, 277, 277, 272, 0, 0, 276, 0, 276, 0, + 276, 279, 277, 0, 277, 276, 277, 278, 277, 0, + 279, 277, 278, 0, 0, 0, 0, 278, 280, 278, + 279, 278, 279, 278, 279, 0, 278, 0, 280, 279, + + 280, 281, 280, 0, 0, 280, 0, 280, 0, 283, + 283, 281, 284, 281, 0, 281, 0, 0, 0, 283, + 281, 283, 284, 283, 284, 285, 284, 0, 283, 0, + 284, 284, 0, 287, 288, 285, 287, 285, 285, 285, + 0, 0, 0, 287, 285, 287, 0, 287, 289, 288, + 0, 289, 287, 0, 0, 0, 0, 0, 289, 288, + 289, 288, 289, 288, 290, 290, 292, 289, 288, 0, + 0, 0, 0, 0, 0, 290, 292, 290, 292, 290, + 292, 293, 0, 0, 290, 292, 0, 0, 0, 0, + 0, 293, 0, 293, 294, 293, 0, 294, 0, 293, + + 293, 0, 295, 0, 294, 296, 294, 0, 294, 0, + 0, 0, 295, 294, 295, 296, 295, 296, 0, 296, + 298, 295, 297, 297, 296, 0, 299, 0, 0, 301, + 298, 0, 298, 297, 298, 297, 299, 297, 299, 298, + 299, 300, 297, 0, 301, 299, 0, 303, 0, 0, + 0, 300, 0, 300, 301, 300, 301, 303, 301, 303, + 300, 303, 304, 301, 298, 305, 303, 0, 305, 0, + 0, 0, 304, 306, 304, 305, 304, 305, 0, 305, + 0, 304, 0, 306, 305, 306, 307, 306, 0, 0, + 0, 0, 306, 0, 0, 0, 307, 311, 307, 0, + + 307, 0, 0, 307, 0, 307, 0, 311, 306, 311, + 313, 311, 0, 314, 314, 0, 311, 0, 0, 0, + 313, 0, 313, 314, 313, 314, 0, 314, 313, 313, + 315, 315, 314, 0, 316, 0, 318, 318, 0, 0, + 0, 315, 0, 315, 316, 315, 316, 318, 316, 318, + 315, 318, 0, 316, 319, 319, 318, 320, 0, 0, + 320, 0, 0, 0, 319, 321, 319, 320, 319, 320, + 0, 320, 0, 319, 0, 321, 320, 321, 322, 321, + 0, 0, 0, 0, 321, 0, 323, 0, 322, 0, + 322, 0, 322, 0, 324, 0, 323, 322, 323, 0, + + 323, 324, 323, 0, 324, 323, 324, 325, 324, 0, + 0, 0, 0, 324, 0, 326, 0, 325, 326, 325, + 0, 325, 326, 0, 0, 326, 325, 326, 327, 326, + 327, 0, 0, 0, 326, 0, 328, 0, 327, 328, + 327, 0, 327, 328, 329, 0, 328, 327, 328, 0, + 328, 0, 330, 0, 329, 328, 329, 0, 329, 0, + 329, 0, 330, 329, 330, 0, 330, 331, 331, 0, + 330, 330, 0, 332, 0, 0, 0, 331, 0, 331, + 0, 331, 0, 332, 333, 332, 331, 332, 0, 0, + 334, 332, 332, 0, 333, 0, 333, 0, 333, 0, + + 334, 333, 334, 333, 334, 335, 339, 0, 0, 334, + 0, 0, 0, 339, 0, 335, 339, 335, 339, 335, + 339, 0, 0, 341, 335, 339, 340, 340, 0, 340, + 0, 0, 0, 341, 0, 341, 340, 341, 340, 0, + 340, 341, 341, 343, 342, 340, 342, 0, 0, 0, + 0, 0, 0, 343, 342, 343, 342, 343, 342, 344, + 0, 0, 343, 342, 0, 345, 0, 0, 345, 344, + 0, 344, 0, 344, 0, 345, 346, 345, 344, 345, + 347, 0, 0, 348, 345, 0, 346, 347, 346, 0, + 346, 0, 0, 346, 0, 346, 0, 347, 348, 347, + + 0, 347, 0, 0, 350, 0, 347, 0, 348, 0, + 348, 0, 348, 0, 350, 351, 350, 348, 350, 0, + 0, 352, 350, 350, 0, 351, 0, 351, 0, 351, + 0, 352, 354, 352, 351, 352, 0, 0, 0, 0, + 352, 0, 354, 355, 354, 0, 354, 0, 354, 356, + 355, 354, 0, 355, 0, 355, 0, 355, 0, 356, + 357, 356, 355, 356, 0, 0, 0, 0, 356, 0, + 357, 0, 357, 359, 357, 0, 360, 0, 357, 357, + 359, 0, 0, 359, 361, 359, 360, 359, 360, 361, + 360, 0, 359, 0, 361, 360, 361, 362, 361, 0, + + 0, 0, 0, 361, 0, 0, 0, 362, 364, 362, + 0, 362, 0, 0, 366, 364, 362, 0, 364, 362, + 364, 0, 364, 0, 366, 0, 366, 364, 366, 367, + 368, 0, 367, 366, 0, 0, 0, 0, 0, 367, + 368, 367, 368, 367, 368, 370, 368, 0, 367, 368, + 0, 375, 0, 0, 0, 370, 0, 370, 0, 370, + 0, 375, 0, 375, 370, 375, 376, 376, 0, 0, + 375, 0, 0, 377, 0, 0, 0, 376, 0, 376, + 0, 376, 0, 377, 379, 377, 376, 377, 0, 370, + 380, 377, 377, 0, 379, 0, 379, 0, 379, 0, + + 380, 381, 380, 379, 380, 0, 0, 382, 380, 380, + 382, 381, 0, 381, 0, 381, 0, 382, 0, 382, + 381, 382, 383, 383, 384, 0, 382, 0, 0, 0, + 0, 0, 0, 383, 384, 383, 384, 383, 384, 385, + 0, 0, 383, 384, 0, 0, 0, 0, 0, 385, + 386, 385, 386, 385, 0, 0, 387, 385, 385, 0, + 386, 0, 386, 0, 386, 0, 387, 0, 387, 386, + 387, 0, 0, 388, 387, 387, 388, 0, 0, 389, + 0, 389, 0, 388, 0, 388, 0, 388, 0, 389, + 390, 389, 388, 389, 0, 391, 391, 0, 389, 0, + + 390, 0, 390, 0, 390, 0, 391, 392, 391, 390, + 391, 0, 0, 393, 0, 391, 0, 392, 0, 392, + 393, 392, 0, 393, 394, 393, 392, 393, 0, 0, + 395, 0, 393, 0, 394, 0, 394, 395, 394, 0, + 395, 394, 395, 394, 395, 396, 396, 400, 0, 395, + 0, 400, 0, 0, 0, 0, 396, 400, 396, 400, + 396, 400, 401, 0, 0, 396, 400, 0, 402, 401, + 402, 0, 401, 0, 401, 0, 401, 0, 402, 403, + 402, 401, 402, 0, 0, 404, 0, 402, 404, 403, + 0, 403, 0, 403, 0, 404, 403, 404, 403, 404, + + 405, 405, 0, 0, 404, 0, 406, 406, 0, 0, + 405, 0, 405, 0, 405, 0, 406, 407, 406, 405, + 406, 0, 0, 0, 0, 406, 0, 407, 0, 407, + 0, 407, 408, 407, 0, 408, 407, 0, 409, 0, + 0, 0, 408, 0, 408, 0, 408, 0, 409, 410, + 409, 408, 409, 0, 0, 409, 410, 409, 0, 410, + 412, 410, 0, 410, 0, 413, 413, 0, 410, 0, + 412, 0, 412, 0, 412, 0, 413, 415, 413, 412, + 413, 0, 0, 416, 0, 413, 0, 415, 0, 415, + 0, 415, 0, 416, 417, 416, 415, 416, 0, 0, + + 0, 0, 416, 0, 417, 0, 417, 418, 417, 0, + 418, 0, 417, 417, 0, 420, 0, 418, 0, 418, + 0, 418, 0, 0, 0, 420, 418, 420, 0, 420, + 421, 421, 0, 422, 420, 420, 423, 0, 0, 0, + 421, 0, 421, 422, 421, 422, 423, 422, 423, 421, + 423, 425, 422, 425, 427, 423, 0, 428, 0, 0, + 0, 425, 0, 425, 427, 425, 427, 428, 427, 428, + 425, 428, 435, 427, 428, 0, 428, 0, 0, 0, + 0, 0, 435, 0, 435, 436, 435, 0, 438, 0, + 435, 435, 436, 0, 0, 436, 0, 436, 438, 436, + + 438, 0, 438, 439, 436, 0, 439, 438, 0, 440, + 0, 0, 0, 439, 0, 439, 0, 439, 0, 440, + 441, 440, 439, 440, 0, 0, 442, 441, 440, 0, + 441, 0, 441, 442, 441, 0, 442, 443, 442, 441, + 442, 0, 0, 444, 0, 442, 0, 443, 0, 443, + 0, 443, 0, 444, 445, 444, 443, 444, 0, 0, + 0, 445, 444, 0, 445, 446, 445, 446, 445, 0, + 0, 447, 0, 445, 0, 446, 0, 446, 0, 446, + 0, 447, 448, 447, 446, 447, 0, 448, 449, 0, + 447, 0, 448, 0, 448, 0, 448, 0, 449, 450, + + 449, 448, 449, 0, 0, 0, 449, 449, 0, 450, + 451, 450, 0, 450, 0, 0, 452, 450, 450, 0, + 451, 0, 451, 0, 451, 0, 452, 453, 452, 451, + 452, 0, 0, 457, 0, 452, 0, 453, 0, 453, + 457, 453, 0, 457, 458, 457, 453, 457, 0, 0, + 0, 0, 457, 0, 458, 459, 458, 0, 458, 0, + 0, 460, 458, 458, 0, 459, 0, 459, 0, 459, + 0, 460, 461, 460, 459, 460, 0, 0, 462, 0, + 460, 462, 461, 0, 461, 0, 461, 0, 462, 461, + 462, 461, 462, 463, 464, 0, 0, 462, 0, 0, + + 0, 0, 0, 463, 464, 463, 464, 463, 464, 465, + 465, 463, 463, 464, 0, 466, 0, 0, 0, 465, + 0, 465, 0, 465, 0, 466, 467, 466, 465, 466, + 0, 0, 469, 0, 466, 0, 467, 0, 467, 0, + 467, 0, 469, 471, 469, 467, 469, 0, 0, 0, + 0, 469, 0, 471, 472, 471, 0, 471, 472, 466, + 473, 0, 471, 0, 472, 0, 472, 0, 472, 0, + 473, 474, 473, 472, 473, 0, 0, 476, 0, 473, + 476, 474, 0, 474, 0, 474, 0, 476, 0, 476, + 474, 476, 477, 0, 0, 477, 476, 0, 479, 0, + + 0, 479, 477, 0, 477, 0, 477, 0, 479, 0, + 479, 477, 479, 481, 481, 488, 0, 479, 0, 0, + 0, 0, 488, 0, 481, 488, 481, 488, 481, 488, + 489, 489, 0, 481, 488, 0, 491, 0, 0, 0, + 489, 0, 489, 0, 489, 0, 491, 492, 491, 489, + 491, 0, 491, 0, 0, 491, 0, 492, 493, 492, + 0, 492, 0, 0, 494, 492, 492, 0, 493, 0, + 493, 0, 493, 0, 494, 495, 494, 493, 494, 0, + 0, 496, 497, 494, 0, 495, 0, 495, 495, 495, + 0, 496, 0, 496, 495, 496, 498, 497, 0, 498, + + 496, 0, 0, 0, 0, 0, 498, 497, 498, 497, + 498, 497, 499, 500, 0, 498, 497, 0, 0, 0, + 500, 0, 499, 500, 499, 500, 499, 500, 501, 0, + 0, 499, 500, 0, 506, 0, 0, 506, 501, 0, + 501, 0, 501, 0, 506, 507, 506, 501, 506, 0, + 0, 508, 0, 506, 0, 507, 0, 507, 0, 507, + 0, 508, 509, 508, 507, 508, 0, 0, 510, 0, + 508, 0, 509, 0, 509, 510, 509, 0, 510, 511, + 510, 509, 510, 0, 0, 0, 0, 510, 0, 511, + 513, 511, 0, 511, 513, 0, 515, 511, 511, 0, + + 513, 0, 513, 519, 513, 0, 515, 517, 515, 513, + 515, 0, 0, 0, 517, 515, 0, 517, 519, 517, + 0, 517, 0, 0, 520, 0, 517, 0, 519, 0, + 519, 0, 519, 0, 520, 522, 520, 519, 520, 0, + 0, 524, 0, 520, 0, 522, 0, 522, 0, 522, + 0, 524, 530, 524, 522, 524, 0, 0, 531, 0, + 524, 0, 530, 0, 530, 530, 530, 0, 531, 533, + 531, 530, 531, 0, 0, 534, 0, 531, 0, 533, + 0, 533, 0, 533, 0, 534, 0, 534, 533, 534, + 535, 536, 534, 535, 534, 0, 536, 0, 0, 0, + + 535, 536, 535, 536, 535, 536, 537, 538, 538, 535, + 536, 0, 0, 0, 0, 0, 537, 538, 537, 538, + 537, 538, 539, 540, 539, 537, 538, 0, 0, 0, + 0, 0, 539, 540, 539, 540, 539, 540, 545, 0, + 0, 539, 540, 0, 0, 0, 546, 0, 545, 0, + 545, 0, 545, 0, 545, 0, 546, 545, 546, 546, + 546, 547, 549, 0, 0, 546, 0, 0, 547, 549, + 0, 547, 549, 547, 549, 547, 549, 552, 0, 0, + 547, 549, 0, 0, 0, 554, 0, 552, 0, 552, + 0, 552, 0, 556, 0, 554, 552, 554, 554, 554, + + 0, 0, 0, 556, 554, 556, 558, 556, 0, 564, + 0, 556, 556, 0, 0, 0, 558, 565, 558, 564, + 558, 564, 0, 564, 0, 558, 0, 565, 564, 565, + 566, 565, 566, 567, 0, 0, 565, 0, 0, 0, + 566, 568, 566, 567, 566, 567, 0, 567, 0, 566, + 0, 568, 567, 568, 569, 568, 0, 0, 568, 0, + 568, 0, 570, 0, 569, 0, 569, 569, 569, 0, + 571, 0, 570, 569, 570, 0, 570, 571, 575, 0, + 571, 570, 571, 0, 571, 0, 576, 0, 575, 571, + 575, 0, 575, 0, 577, 0, 576, 575, 576, 0, + + 576, 0, 579, 0, 577, 576, 577, 577, 577, 0, + 582, 0, 579, 577, 579, 0, 579, 582, 584, 0, + 582, 579, 582, 0, 582, 584, 585, 0, 584, 582, + 584, 0, 584, 585, 592, 0, 585, 584, 585, 0, + 585, 0, 593, 0, 592, 585, 592, 0, 592, 0, + 594, 0, 593, 592, 593, 0, 593, 0, 595, 0, + 594, 593, 594, 0, 594, 0, 596, 0, 595, 594, + 595, 0, 595, 0, 0, 0, 596, 595, 596, 600, + 596, 0, 0, 0, 596, 596, 0, 601, 0, 600, + 0, 600, 0, 600, 0, 603, 600, 601, 600, 601, + + 0, 601, 603, 606, 0, 603, 601, 603, 0, 603, + 0, 0, 0, 606, 603, 606, 608, 606, 608, 609, + 0, 606, 606, 609, 0, 0, 608, 615, 608, 609, + 608, 609, 0, 609, 0, 608, 0, 615, 609, 615, + 616, 615, 0, 620, 0, 615, 615, 0, 0, 0, + 616, 0, 616, 620, 616, 620, 621, 620, 0, 616, + 0, 0, 620, 616, 623, 0, 621, 626, 621, 0, + 621, 0, 0, 0, 623, 621, 623, 626, 623, 626, + 0, 626, 623, 623, 628, 629, 626, 0, 0, 0, + 626, 0, 629, 0, 628, 629, 628, 629, 628, 629, + + 635, 636, 0, 628, 629, 0, 0, 0, 0, 0, + 635, 636, 635, 636, 635, 636, 635, 640, 643, 635, + 636, 0, 0, 0, 0, 0, 0, 640, 643, 640, + 643, 640, 643, 0, 0, 645, 640, 643, 645, 0, + 640, 0, 0, 651, 0, 645, 0, 645, 0, 645, + 0, 653, 0, 651, 645, 651, 651, 651, 0, 656, + 0, 653, 651, 653, 0, 653, 0, 660, 0, 656, + 653, 656, 0, 656, 0, 656, 0, 660, 656, 660, + 664, 660, 0, 667, 0, 0, 660, 0, 0, 0, + 664, 0, 664, 667, 664, 667, 0, 667, 0, 664, + + 0, 0, 667, 671, 671, 671, 671, 671, 671, 671, + 671, 671, 671, 671, 672, 672, 672, 672, 672, 672, + 672, 672, 672, 672, 672, 673, 673, 673, 673, 673, + 673, 673, 673, 673, 673, 673, 674, 674, 674, 674, + 674, 674, 674, 674, 674, 674, 674, 675, 675, 675, + 675, 675, 675, 675, 675, 675, 675, 675, 676, 676, + 676, 676, 676, 676, 676, 676, 676, 676, 676, 677, + 677, 677, 0, 677, 677, 677, 677, 677, 677, 677, + 678, 678, 0, 0, 678, 0, 678, 679, 679, 0, + 679, 680, 680, 0, 680, 680, 680, 0, 680, 680, + + 680, 680, 681, 681, 681, 0, 681, 681, 681, 681, + 681, 681, 681, 682, 682, 682, 682, 682, 682, 682, + 682, 0, 682, 683, 0, 0, 683, 683, 683, 683, + 683, 683, 683, 684, 0, 0, 684, 684, 684, 684, + 684, 684, 684, 685, 0, 0, 685, 0, 685, 685, + 685, 685, 685, 686, 686, 0, 686, 687, 687, 0, + 687, 688, 688, 0, 688, 670, 670, 670, 670, 670, + 670, 670, 670, 670, 670, 670, 670, 670, 670, 670, + 670, 670, 670, 670, 670, 670, 670, 670, 670, 670, + 670, 670, 670, 670, 670, 670, 670, 670, 670, 670, + + 670, 670, 670, 670, 670, 670, 670, 670, 670, 670, + 670, 670, 670, 670, 670, 670, 670, 670, 670, 670, + 670, 670, 670, 670, 670, 670, 670, 670, 670, 670, + 670, 670, 670, 670, 670, 670, 670, 670, 670, 670, + 670, 670, 670 } ; extern int yy_flex_debug; @@ -1827,7 +1832,7 @@ static asn1c_integer_t asn1p_atoi(char *ptr); /* errno is either 0 or ERANGE */ /* Newline */ /* White-space */ -#line 1831 "asn1p_l.c" +#line 1836 "asn1p_l.c" /* Macros after this point can all be overridden by user definitions in * section 1. @@ -1981,7 +1986,7 @@ YY_DECL #line 101 "asn1p_l.l" -#line 1985 "asn1p_l.c" +#line 1990 "asn1p_l.c" if ( yy_init ) { @@ -2029,14 +2034,14 @@ yy_match: while ( yy_chk[yy_base[yy_current_state] + yy_c] != yy_current_state ) { yy_current_state = (int) yy_def[yy_current_state]; - if ( yy_current_state >= 670 ) + if ( yy_current_state >= 671 ) yy_c = yy_meta[(unsigned int) yy_c]; } yy_current_state = yy_nxt[yy_base[yy_current_state] + (unsigned int) yy_c]; *yy_state_ptr++ = yy_current_state; ++yy_cp; } - while ( yy_base[yy_current_state] != 4249 ); + while ( yy_base[yy_current_state] != 4266 ); yy_find_action: yy_current_state = *--yy_state_ptr; @@ -2925,7 +2930,7 @@ YY_RULE_SETUP #line 460 "asn1p_l.l" YY_FATAL_ERROR( "flex scanner jammed" ); YY_BREAK -#line 2929 "asn1p_l.c" +#line 2934 "asn1p_l.c" case YY_END_OF_BUFFER: { @@ -3212,7 +3217,7 @@ static yy_state_type yy_get_previous_state() while ( yy_chk[yy_base[yy_current_state] + yy_c] != yy_current_state ) { yy_current_state = (int) yy_def[yy_current_state]; - if ( yy_current_state >= 670 ) + if ( yy_current_state >= 671 ) yy_c = yy_meta[(unsigned int) yy_c]; } yy_current_state = yy_nxt[yy_base[yy_current_state] + (unsigned int) yy_c]; @@ -3242,11 +3247,11 @@ yy_state_type yy_current_state; while ( yy_chk[yy_base[yy_current_state] + yy_c] != yy_current_state ) { yy_current_state = (int) yy_def[yy_current_state]; - if ( yy_current_state >= 670 ) + if ( yy_current_state >= 671 ) yy_c = yy_meta[(unsigned int) yy_c]; } yy_current_state = yy_nxt[yy_base[yy_current_state] + (unsigned int) yy_c]; - yy_is_jam = (yy_current_state == 669); + yy_is_jam = (yy_current_state == 670); if ( ! yy_is_jam ) *yy_state_ptr++ = yy_current_state; -- cgit v1.2.3