diff options
| author | vlm <vlm@59561ff5-6e30-0410-9f3c-9617f08c8826> | 2005-03-20 14:28:32 +0000 |
|---|---|---|
| committer | vlm <vlm@59561ff5-6e30-0410-9f3c-9617f08c8826> | 2005-03-20 14:28:32 +0000 |
| commit | 6611addbc20c3029da2622aa2d89b792d9f7770f (patch) | |
| tree | 00c9f44a36a7b5eea5babc0e35b7ea9db8b3e6d3 /libasn1parser | |
| parent | 3990f893558c3df01be11925f364da1d343c12fb (diff) | |
parsing support for CONSTRAINED BY
git-svn-id: https://asn1c.svn.sourceforge.net/svnroot/asn1c/trunk@826 59561ff5-6e30-0410-9f3c-9617f08c8826
Diffstat (limited to 'libasn1parser')
| -rw-r--r-- | libasn1parser/asn1p_constr.c | 2 | ||||
| -rw-r--r-- | libasn1parser/asn1p_constr.h | 1 | ||||
| -rw-r--r-- | libasn1parser/asn1p_l.c | 1771 | ||||
| -rw-r--r-- | libasn1parser/asn1p_l.l | 2 | ||||
| -rw-r--r-- | libasn1parser/asn1p_y.c | 1082 | ||||
| -rw-r--r-- | libasn1parser/asn1p_y.y | 14 |
6 files changed, 1455 insertions, 1417 deletions
diff --git a/libasn1parser/asn1p_constr.c b/libasn1parser/asn1p_constr.c index 69802698..9e5e6e6a 100644 --- a/libasn1parser/asn1p_constr.c +++ b/libasn1parser/asn1p_constr.c @@ -137,6 +137,8 @@ asn1p_constraint_type2str(enum asn1p_constraint_type_e type) { return "SingleTypeConstraint"; case ACT_CT_WCOMPS: return "MultipleTypeConstraints"; + case ACT_CT_CTDBY: + return "UserDefinedConstraint"; case ACT_CA_SET: return "SET"; case ACT_CA_CRC: diff --git a/libasn1parser/asn1p_constr.h b/libasn1parser/asn1p_constr.h index 90035d7c..324697ef 100644 --- a/libasn1parser/asn1p_constr.h +++ b/libasn1parser/asn1p_constr.h @@ -25,6 +25,7 @@ typedef struct asn1p_constraint_s { ACT_CT_FROM, /* FROM constraint type */ ACT_CT_WCOMP, /* WITH COMPONENT */ ACT_CT_WCOMPS, /* WITH COMPONENTS */ + ACT_CT_CTDBY, /* CONSTRAINED BY */ /* * Arrays of constraints. */ 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; diff --git a/libasn1parser/asn1p_l.l b/libasn1parser/asn1p_l.l index 07fa6767..50a786c9 100644 --- a/libasn1parser/asn1p_l.l +++ b/libasn1parser/asn1p_l.l @@ -269,7 +269,7 @@ CHOICE return TOK_CHOICE; CLASS return TOK_CLASS; COMPONENT return TOK_COMPONENT; COMPONENTS return TOK_COMPONENTS; -CONSRAINED return TOK_CONSTRAINED; +CONSTRAINED return TOK_CONSTRAINED; CONTAINING return TOK_CONTAINING; DEFAULT return TOK_DEFAULT; DEFINED { diff --git a/libasn1parser/asn1p_y.c b/libasn1parser/asn1p_y.c index 6aa19834..04e713f5 100644 --- a/libasn1parser/asn1p_y.c +++ b/libasn1parser/asn1p_y.c @@ -204,11 +204,11 @@ typedef union { -#define YYFINAL 418 +#define YYFINAL 423 #define YYFLAG -32768 #define YYNTBASE 116 -#define YYTRANSLATE(x) ((unsigned)(x) <= 354 ? yytranslate[x] : 218) +#define YYTRANSLATE(x) ((unsigned)(x) <= 354 ? yytranslate[x] : 219) static const char yytranslate[] = { 0, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, @@ -271,64 +271,65 @@ static const short yyprhs[] = { 0, 490, 492, 494, 496, 498, 500, 502, 504, 506, 508, 510, 512, 514, 515, 517, 519, 524, 528, 533, 535, 539, 545, 547, 551, 555, 559, 564, 568, 570, 572, - 576, 580, 584, 588, 590, 592, 594, 597, 600, 604, - 606, 608, 610, 612, 614, 616, 618, 620, 626, 628, - 632, 634, 638, 639, 641, 643, 645, 647, 649, 651, - 655, 660, 662, 666, 669, 673, 675, 679, 680, 682, - 684, 687, 690, 694, 696, 700, 702, 707, 712, 714, - 716, 718, 720, 721, 723, 726, 731, 732, 734, 736, - 738, 739, 741, 743, 745, 747, 749, 750, 752 + 576, 580, 584, 588, 590, 592, 593, 599, 601, 604, + 607, 611, 613, 615, 617, 619, 621, 623, 625, 627, + 633, 635, 639, 641, 645, 646, 648, 650, 652, 654, + 656, 658, 662, 667, 669, 673, 676, 680, 682, 686, + 687, 689, 691, 694, 697, 701, 703, 707, 709, 714, + 719, 721, 723, 725, 727, 728, 730, 733, 738, 739, + 741, 743, 745, 746, 748, 750, 752, 754, 756, 757, + 759 }; static const short yyrhs[] = { 117, - 0, 118, 0, 117, 118, 0, 214, 119, 34, 123, + 0, 118, 0, 117, 118, 0, 215, 119, 34, 123, 3, 21, 126, 39, 0, 0, 120, 0, 103, 121, 104, 0, 103, 104, 0, 122, 0, 121, 122, 0, - 217, 0, 217, 105, 9, 106, 0, 9, 0, 0, + 218, 0, 218, 105, 9, 106, 0, 9, 0, 0, 124, 0, 125, 0, 124, 125, 0, 41, 84, 0, 52, 84, 0, 20, 84, 0, 43, 53, 0, 12, 57, 0, 0, 127, 0, 128, 0, 127, 128, 0, 130, 0, 135, 0, 143, 0, 170, 0, 138, 0, 0, 38, 12, 129, 0, 178, 0, 54, 131, 107, 0, 54, 46, 0, 132, 0, 131, 132, 0, 133, - 46, 214, 119, 0, 134, 0, 133, 108, 134, 0, - 214, 0, 214, 103, 104, 0, 217, 0, 42, 136, + 46, 215, 119, 0, 134, 0, 133, 108, 134, 0, + 215, 0, 215, 103, 104, 0, 218, 0, 42, 136, 107, 0, 42, 17, 107, 0, 42, 107, 0, 137, - 0, 136, 108, 137, 0, 214, 0, 214, 103, 104, - 0, 217, 0, 214, 139, 3, 103, 140, 104, 0, + 0, 136, 108, 137, 0, 215, 0, 215, 103, 104, + 0, 218, 0, 215, 139, 3, 103, 140, 104, 0, 165, 0, 175, 0, 0, 141, 0, 142, 0, 141, - 108, 142, 0, 102, 0, 186, 0, 214, 3, 209, - 87, 0, 214, 3, 163, 0, 214, 3, 153, 0, - 214, 103, 144, 104, 3, 163, 0, 145, 0, 144, - 108, 145, 0, 214, 0, 214, 109, 217, 0, 214, - 109, 214, 0, 175, 109, 217, 0, 147, 0, 146, - 108, 147, 0, 163, 0, 217, 0, 0, 149, 0, - 150, 0, 149, 108, 150, 0, 217, 163, 203, 0, + 108, 142, 0, 102, 0, 186, 0, 215, 3, 210, + 87, 0, 215, 3, 163, 0, 215, 3, 153, 0, + 215, 103, 144, 104, 3, 163, 0, 145, 0, 144, + 108, 145, 0, 215, 0, 215, 109, 218, 0, 215, + 109, 215, 0, 175, 109, 218, 0, 147, 0, 146, + 108, 147, 0, 163, 0, 218, 0, 0, 149, 0, + 150, 0, 149, 108, 150, 0, 218, 163, 204, 0, 30, 68, 163, 0, 162, 0, 152, 0, 151, 108, - 152, 0, 217, 163, 0, 162, 0, 28, 103, 155, + 152, 0, 218, 163, 0, 162, 0, 28, 103, 155, 104, 157, 0, 0, 88, 0, 156, 0, 155, 108, - 156, 0, 168, 203, 0, 168, 163, 154, 203, 0, - 168, 168, 154, 203, 0, 0, 158, 0, 0, 95, + 156, 0, 168, 204, 0, 168, 163, 154, 204, 0, + 168, 168, 154, 204, 0, 0, 158, 0, 0, 95, 82, 103, 159, 160, 104, 0, 161, 0, 160, 161, 0, 4, 0, 168, 0, 102, 0, 102, 110, 173, - 0, 102, 110, 208, 0, 209, 164, 182, 0, 177, + 0, 102, 110, 209, 0, 210, 164, 182, 0, 177, 0, 27, 103, 151, 104, 0, 78, 103, 148, 104, - 0, 79, 103, 148, 104, 0, 78, 182, 68, 216, - 209, 164, 0, 79, 182, 68, 216, 209, 164, 0, - 18, 0, 18, 35, 25, 217, 0, 214, 103, 146, + 0, 79, 103, 148, 104, 0, 78, 182, 68, 217, + 210, 164, 0, 79, 182, 68, 217, 210, 164, 0, + 18, 0, 18, 35, 25, 218, 0, 215, 103, 146, 104, 0, 165, 0, 56, 68, 165, 0, 11, 0, - 11, 111, 214, 0, 215, 111, 214, 0, 11, 111, - 217, 0, 215, 0, 215, 111, 166, 0, 167, 0, + 11, 111, 215, 0, 216, 111, 215, 0, 11, 111, + 218, 0, 216, 0, 216, 111, 166, 0, 167, 0, 166, 111, 167, 0, 169, 0, 169, 0, 13, 0, - 14, 0, 217, 139, 3, 171, 0, 217, 109, 171, + 14, 0, 218, 139, 3, 171, 0, 218, 109, 171, 0, 0, 103, 172, 174, 0, 63, 0, 45, 0, - 86, 0, 5, 0, 7, 0, 6, 0, 208, 0, - 173, 0, 217, 0, 214, 111, 217, 0, 4, 0, + 86, 0, 5, 0, 7, 0, 6, 0, 209, 0, + 173, 0, 218, 0, 215, 111, 218, 0, 4, 0, 174, 4, 0, 24, 0, 63, 0, 76, 0, 176, 0, 67, 81, 0, 65, 51, 0, 77, 0, 44, 0, 36, 71, 0, 26, 81, 0, 91, 0, 47, 0, 178, 0, 58, 0, 40, 0, 22, 81, 0, - 175, 0, 176, 205, 0, 23, 0, 48, 0, 49, + 175, 0, 176, 206, 0, 23, 0, 48, 0, 49, 0, 50, 0, 59, 0, 64, 0, 74, 0, 83, 0, 85, 0, 90, 0, 92, 0, 93, 0, 94, 0, 66, 0, 99, 0, 100, 0, 97, 0, 98, @@ -336,27 +337,27 @@ static const short yyrhs[] = { 117, 185, 106, 0, 105, 185, 106, 0, 184, 105, 185, 106, 0, 186, 0, 186, 108, 102, 0, 186, 108, 102, 108, 186, 0, 187, 0, 186, 179, 187, 0, - 186, 180, 187, 0, 187, 181, 187, 0, 189, 105, - 185, 106, 0, 105, 185, 106, 0, 190, 0, 191, - 0, 190, 188, 190, 0, 61, 188, 190, 0, 190, - 188, 60, 0, 61, 188, 60, 0, 197, 0, 192, - 0, 101, 0, 101, 112, 0, 112, 101, 0, 112, - 101, 112, 0, 80, 0, 46, 0, 45, 0, 86, - 0, 208, 0, 6, 0, 217, 0, 214, 0, 95, - 30, 103, 193, 104, 0, 194, 0, 193, 108, 194, - 0, 102, 0, 217, 182, 195, 0, 0, 196, 0, - 73, 0, 15, 0, 69, 0, 198, 0, 199, 0, - 103, 214, 104, 0, 198, 103, 200, 104, 0, 201, - 0, 200, 108, 201, 0, 113, 202, 0, 113, 111, - 202, 0, 217, 0, 202, 111, 217, 0, 0, 204, - 0, 69, 0, 33, 171, 0, 103, 104, 0, 103, - 206, 104, 0, 207, 0, 206, 108, 207, 0, 217, - 0, 217, 105, 208, 106, 0, 217, 105, 173, 106, - 0, 208, 0, 102, 0, 9, 0, 10, 0, 0, - 210, 0, 211, 213, 0, 114, 212, 9, 115, 0, - 0, 89, 0, 19, 0, 75, 0, 0, 52, 0, - 41, 0, 11, 0, 12, 0, 12, 0, 0, 217, - 0, 8, 0 + 186, 180, 187, 0, 187, 181, 187, 0, 190, 105, + 185, 106, 0, 105, 185, 106, 0, 191, 0, 192, + 0, 191, 189, 191, 0, 61, 189, 191, 0, 191, + 189, 60, 0, 61, 189, 60, 0, 198, 0, 193, + 0, 0, 31, 25, 103, 188, 174, 0, 101, 0, + 101, 112, 0, 112, 101, 0, 112, 101, 112, 0, + 80, 0, 46, 0, 45, 0, 86, 0, 209, 0, + 6, 0, 218, 0, 215, 0, 95, 30, 103, 194, + 104, 0, 195, 0, 194, 108, 195, 0, 102, 0, + 218, 182, 196, 0, 0, 197, 0, 73, 0, 15, + 0, 69, 0, 199, 0, 200, 0, 103, 215, 104, + 0, 199, 103, 201, 104, 0, 202, 0, 201, 108, + 202, 0, 113, 203, 0, 113, 111, 203, 0, 218, + 0, 203, 111, 218, 0, 0, 205, 0, 69, 0, + 33, 171, 0, 103, 104, 0, 103, 207, 104, 0, + 208, 0, 207, 108, 208, 0, 218, 0, 218, 105, + 209, 106, 0, 218, 105, 173, 106, 0, 209, 0, + 102, 0, 9, 0, 10, 0, 0, 211, 0, 212, + 214, 0, 114, 213, 9, 115, 0, 0, 89, 0, + 19, 0, 75, 0, 0, 52, 0, 41, 0, 11, + 0, 12, 0, 12, 0, 0, 218, 0, 8, 0 }; #endif @@ -377,19 +378,20 @@ static const short yyrline[] = { 0, 1110, 1120, 1130, 1136, 1150, 1174, 1181, 1195, 1204, 1214, 1224, 1234, 1242, 1263, 1272, 1281, 1282, 1284, 1291, 1303, 1313, 1321, 1321, 1326, 1331, 1336, 1341, 1345, 1349, 1353, - 1356, 1361, 1373, 1389, 1400, 1414, 1416, 1417, 1418, 1419, - 1420, 1421, 1422, 1423, 1424, 1425, 1426, 1427, 1433, 1435, - 1436, 1439, 1446, 1458, 1460, 1464, 1468, 1469, 1470, 1471, - 1472, 1476, 1477, 1478, 1479, 1483, 1484, 1491, 1491, 1492, - 1492, 1493, 1495, 1497, 1502, 1506, 1515, 1519, 1524, 1528, - 1534, 1544, 1548, 1551, 1554, 1559, 1568, 1576, 1582, 1588, - 1595, 1603, 1611, 1620, 1623, 1628, 1630, 1631, 1632, 1635, - 1639, 1644, 1650, 1655, 1658, 1662, 1675, 1689, 1695, 1699, - 1704, 1710, 1722, 1724, 1727, 1731, 1734, 1739, 1743, 1751, - 1766, 1772, 1779, 1792, 1804, 1819, 1823, 1840, 1845, 1848, - 1853, 1875, 1880, 1885, 1891, 1897, 1905, 1913, 1921, 1928, - 1938, 1943, 1973, 1975, 1978, 1985, 1991, 1993, 1994, 1995, - 1998, 2000, 2001, 2004, 2009, 2016, 2023, 2025, 2029 + 1356, 1361, 1373, 1389, 1399, 1413, 1415, 1416, 1417, 1418, + 1419, 1420, 1421, 1422, 1423, 1424, 1425, 1426, 1432, 1434, + 1435, 1438, 1445, 1457, 1459, 1463, 1467, 1468, 1469, 1470, + 1471, 1475, 1476, 1477, 1478, 1482, 1483, 1490, 1490, 1491, + 1491, 1492, 1494, 1496, 1501, 1505, 1514, 1518, 1523, 1527, + 1533, 1543, 1547, 1550, 1553, 1558, 1567, 1575, 1581, 1587, + 1594, 1602, 1610, 1619, 1622, 1625, 1626, 1636, 1638, 1639, + 1640, 1643, 1647, 1652, 1658, 1663, 1666, 1670, 1683, 1697, + 1703, 1707, 1712, 1718, 1730, 1732, 1735, 1739, 1742, 1747, + 1751, 1759, 1774, 1780, 1787, 1800, 1812, 1827, 1831, 1848, + 1853, 1856, 1861, 1883, 1888, 1893, 1899, 1905, 1913, 1921, + 1929, 1936, 1946, 1951, 1981, 1983, 1986, 1993, 1999, 2001, + 2002, 2003, 2006, 2008, 2009, 2012, 2017, 2024, 2031, 2033, + 2037 }; #endif @@ -432,13 +434,13 @@ static const char * const yytname[] = { "$","error","$undefined.","TOK_PPEQ", "Value","@3","DefinedValue","Opaque","BasicTypeId","BasicTypeId_UniverationCompatible", "BasicType","BasicString","Union","Intersection","Except","optConstraints","Constraints", "SetOfConstraints","ElementSetSpecs","ElementSetSpec","ConstraintSubtypeElement", -"ConstraintRangeSpec","ConstraintSpec","SingleValue","ContainedSubtype","WithComponents", -"WithComponentsList","WithComponentsElement","optPresenceConstraint","PresenceConstraint", -"TableConstraint","SimpleTableConstraint","ComponentRelationConstraint","AtNotationList", -"AtNotationElement","ComponentIdList","optMarker","Marker","UniverationDefinition", -"UniverationList","UniverationElement","SignedNumber","optTag","Tag","TagTypeValue", -"TagClass","TagPlicit","TypeRefName","ObjectClassReference","optIdentifier", -"Identifier", NULL +"@4","ConstraintRangeSpec","ConstraintSpec","SingleValue","ContainedSubtype", +"WithComponents","WithComponentsList","WithComponentsElement","optPresenceConstraint", +"PresenceConstraint","TableConstraint","SimpleTableConstraint","ComponentRelationConstraint", +"AtNotationList","AtNotationElement","ComponentIdList","optMarker","Marker", +"UniverationDefinition","UniverationList","UniverationElement","SignedNumber", +"optTag","Tag","TagTypeValue","TagClass","TagPlicit","TypeRefName","ObjectClassReference", +"optIdentifier","Identifier", NULL }; #endif @@ -463,13 +465,14 @@ static const short yyr1[] = { 0, 178, 178, 178, 178, 178, 178, 178, 179, 179, 180, 180, 181, 182, 182, 183, 183, 184, 184, 185, 185, 185, 186, 186, 186, 186, 187, 187, 187, 187, 187, - 187, 187, 187, 187, 187, 188, 188, 188, 188, 189, - 189, 190, 190, 190, 190, 190, 191, 192, 193, 193, - 194, 194, 195, 195, 196, 196, 196, 197, 197, 198, - 199, 200, 200, 201, 201, 202, 202, 203, 203, 204, - 204, 205, 205, 206, 206, 207, 207, 207, 207, 207, - 208, 208, 209, 209, 210, 211, 212, 212, 212, 212, - 213, 213, 213, 214, 214, 215, 216, 216, 217 + 187, 187, 187, 187, 187, 188, 187, 189, 189, 189, + 189, 190, 190, 191, 191, 191, 191, 191, 192, 193, + 194, 194, 195, 195, 196, 196, 197, 197, 197, 198, + 198, 199, 200, 201, 201, 202, 202, 203, 203, 204, + 204, 205, 205, 206, 206, 207, 207, 208, 208, 208, + 208, 208, 209, 209, 210, 210, 211, 212, 213, 213, + 213, 213, 214, 214, 214, 215, 215, 216, 217, 217, + 218 }; static const short yyr2[] = { 0, @@ -493,17 +496,18 @@ static const short yyr2[] = { 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 4, 3, 4, 1, 3, 5, 1, 3, 3, 3, 4, 3, 1, 1, 3, - 3, 3, 3, 1, 1, 1, 2, 2, 3, 1, - 1, 1, 1, 1, 1, 1, 1, 5, 1, 3, - 1, 3, 0, 1, 1, 1, 1, 1, 1, 3, - 4, 1, 3, 2, 3, 1, 3, 0, 1, 1, - 2, 2, 3, 1, 3, 1, 4, 4, 1, 1, - 1, 1, 0, 1, 2, 4, 0, 1, 1, 1, - 0, 1, 1, 1, 1, 1, 0, 1, 1 + 3, 3, 3, 1, 1, 0, 5, 1, 2, 2, + 3, 1, 1, 1, 1, 1, 1, 1, 1, 5, + 1, 3, 1, 3, 0, 1, 1, 1, 1, 1, + 1, 3, 4, 1, 3, 2, 3, 1, 3, 0, + 1, 1, 2, 2, 3, 1, 3, 1, 4, 4, + 1, 1, 1, 1, 0, 1, 2, 4, 0, 1, + 1, 1, 0, 1, 1, 1, 1, 1, 0, 1, + 1 }; static const short yydefact[] = { 0, - 264, 265, 1, 2, 5, 3, 0, 0, 6, 269, + 266, 267, 1, 2, 5, 3, 0, 0, 6, 271, 13, 8, 0, 9, 11, 14, 7, 10, 0, 0, 0, 0, 0, 0, 0, 15, 16, 0, 22, 20, 18, 21, 19, 0, 17, 12, 23, 164, 0, 0, @@ -511,287 +515,291 @@ static const short yydefact[] = { 0, 173, 174, 175, 176, 0, 24, 25, 27, 28, 31, 29, 30, 34, 0, 0, 32, 0, 47, 0, 48, 50, 52, 36, 0, 37, 0, 40, 42, 44, 4, - 26, 253, 118, 266, 0, 146, 0, 0, 160, 153, + 26, 255, 118, 268, 0, 146, 0, 0, 160, 153, 157, 159, 147, 0, 0, 148, 152, 156, 0, 0, 54, 55, 149, 158, 122, 0, 33, 46, 45, 0, - 0, 35, 38, 0, 0, 0, 0, 257, 64, 63, - 0, 254, 261, 0, 161, 155, 154, 151, 150, 0, + 0, 35, 38, 0, 0, 0, 0, 259, 64, 63, + 0, 256, 263, 0, 161, 155, 154, 151, 150, 0, 66, 0, 68, 0, 0, 0, 49, 51, 5, 41, - 43, 0, 259, 260, 258, 0, 118, 266, 113, 0, + 43, 0, 261, 262, 260, 0, 118, 268, 113, 0, 0, 183, 183, 62, 183, 116, 162, 149, 107, 0, - 263, 262, 255, 119, 121, 0, 0, 0, 0, 56, - 128, 129, 123, 124, 126, 120, 137, 139, 138, 251, - 252, 135, 134, 136, 132, 130, 141, 140, 0, 142, - 39, 0, 90, 253, 127, 0, 0, 0, 0, 0, + 265, 264, 257, 119, 121, 0, 0, 0, 0, 56, + 128, 129, 123, 124, 126, 120, 137, 139, 138, 253, + 254, 135, 134, 136, 132, 130, 141, 140, 0, 142, + 39, 0, 90, 255, 127, 0, 0, 0, 0, 0, 76, 0, 0, 184, 185, 76, 0, 106, 0, 163, - 253, 253, 67, 71, 70, 69, 215, 212, 211, 0, - 210, 213, 0, 60, 0, 0, 0, 57, 58, 61, - 192, 0, 198, 199, 205, 204, 228, 229, 214, 217, - 216, 0, 0, 0, 0, 95, 0, 0, 240, 88, - 88, 92, 239, 0, 256, 0, 103, 0, 83, 86, - 253, 117, 0, 0, 0, 77, 78, 82, 253, 0, - 189, 267, 0, 0, 267, 250, 242, 0, 244, 249, - 246, 0, 72, 74, 75, 65, 206, 0, 0, 0, - 0, 0, 53, 0, 180, 181, 178, 179, 0, 0, - 182, 0, 0, 0, 0, 125, 144, 133, 143, 131, - 0, 87, 96, 91, 241, 89, 238, 238, 114, 0, - 108, 0, 85, 0, 253, 109, 0, 238, 187, 0, - 253, 268, 0, 110, 253, 243, 0, 0, 115, 253, - 207, 208, 203, 201, 0, 230, 197, 59, 193, 194, - 195, 0, 202, 200, 0, 0, 232, 145, 0, 93, - 94, 104, 105, 142, 84, 186, 81, 79, 80, 190, - 0, 188, 0, 245, 0, 0, 73, 209, 221, 0, - 219, 183, 196, 0, 234, 236, 231, 0, 97, 0, - 111, 112, 248, 247, 218, 0, 223, 235, 0, 233, - 0, 191, 220, 226, 227, 225, 222, 224, 237, 101, - 0, 99, 102, 98, 100, 0, 0, 0 + 255, 255, 67, 71, 70, 69, 217, 0, 214, 213, + 0, 212, 215, 0, 60, 0, 0, 0, 57, 58, + 61, 192, 0, 198, 199, 205, 204, 230, 231, 216, + 219, 218, 0, 0, 0, 0, 95, 0, 0, 242, + 88, 88, 92, 241, 0, 258, 0, 103, 0, 83, + 86, 255, 117, 0, 0, 0, 77, 78, 82, 255, + 0, 189, 269, 0, 0, 269, 252, 244, 0, 246, + 251, 248, 0, 72, 74, 75, 65, 0, 208, 0, + 0, 0, 0, 0, 53, 0, 180, 181, 178, 179, + 0, 0, 182, 0, 0, 0, 0, 125, 144, 133, + 143, 131, 0, 87, 96, 91, 243, 89, 240, 240, + 114, 0, 108, 0, 85, 0, 255, 109, 0, 240, + 187, 0, 255, 270, 0, 110, 255, 245, 0, 0, + 115, 255, 206, 209, 210, 203, 201, 0, 232, 197, + 59, 193, 194, 195, 0, 202, 200, 0, 0, 234, + 145, 0, 93, 94, 104, 105, 142, 84, 186, 81, + 79, 80, 190, 0, 188, 0, 247, 0, 0, 73, + 0, 211, 223, 0, 221, 183, 196, 0, 236, 238, + 233, 0, 97, 0, 111, 112, 250, 249, 207, 220, + 0, 225, 237, 0, 235, 0, 191, 222, 228, 229, + 227, 224, 226, 239, 101, 0, 99, 102, 98, 100, + 0, 0, 0 }; -static const short yydefgoto[] = { 416, +static const short yydefgoto[] = { 421, 3, 4, 8, 9, 13, 14, 25, 26, 27, 55, 56, 57, 107, 58, 74, 75, 76, 77, 59, 69, - 70, 60, 100, 227, 228, 229, 61, 130, 131, 282, - 283, 265, 266, 267, 258, 259, 119, 317, 192, 193, - 312, 313, 401, 411, 412, 268, 284, 155, 156, 173, - 174, 194, 195, 62, 186, 243, 187, 308, 157, 103, - 159, 104, 299, 300, 302, 203, 204, 205, 270, 271, - 231, 289, 232, 233, 234, 235, 380, 381, 407, 408, - 236, 237, 238, 356, 357, 385, 252, 253, 210, 278, - 279, 239, 254, 122, 123, 146, 163, 240, 105, 331, - 241 + 70, 60, 100, 228, 229, 230, 61, 130, 131, 283, + 284, 266, 267, 268, 259, 260, 119, 319, 192, 193, + 314, 315, 406, 416, 417, 269, 285, 155, 156, 173, + 174, 194, 195, 62, 186, 244, 187, 310, 157, 103, + 159, 104, 301, 302, 304, 203, 204, 205, 271, 272, + 232, 381, 291, 233, 234, 235, 236, 384, 385, 412, + 413, 237, 238, 239, 359, 360, 389, 253, 254, 210, + 279, 280, 240, 255, 122, 123, 146, 163, 241, 105, + 333, 242 }; -static const short yypact[] = { 228, --32768,-32768, 228,-32768, -71,-32768, 38, 59,-32768,-32768, --32768,-32768, 49,-32768, -3, 58,-32768,-32768, 74, 54, - 60, 67, 112, 84, 136, 58,-32768, 82,-32768,-32768, --32768,-32768,-32768, 152,-32768,-32768, 419,-32768, 178, 33, --32768,-32768,-32768, 61,-32768,-32768,-32768,-32768,-32768,-32768, --32768,-32768,-32768,-32768, 181, 419,-32768,-32768,-32768,-32768, --32768,-32768,-32768, 332, 648,-32768, 121,-32768, 144,-32768, - 132,-32768,-32768, 17,-32768, -22,-32768, 143,-32768,-32768, --32768, -17, 137,-32768, 183,-32768, 194, 186,-32768,-32768, --32768,-32768,-32768, 208, 203,-32768,-32768,-32768, 723, 275, --32768,-32768,-32768,-32768, 179, 288,-32768,-32768,-32768, 184, - 190,-32768,-32768, 228, 184, 191, 193, 20,-32768,-32768, - 496,-32768, 86, 184,-32768,-32768,-32768,-32768,-32768, 79, --32768, 188, 195, 200, 258, 355,-32768,-32768, -71,-32768, --32768, 260,-32768,-32768,-32768, 284, 53, 202, 263, 205, - 238, -15, -14,-32768, 55,-32768,-32768, 206,-32768, 207, --32768,-32768,-32768,-32768,-32768, 308, 723, 304, 184, 197, --32768,-32768, 210,-32768,-32768,-32768,-32768,-32768,-32768,-32768, --32768,-32768,-32768,-32768,-32768,-32768,-32768,-32768, 211, 209, --32768, 93,-32768, 29,-32768, 199, 292, 11, 269, 214, - 10, 221, 255,-32768, 220, 10, 259,-32768, 46,-32768, - 6, 215,-32768,-32768,-32768,-32768,-32768,-32768,-32768, 62, --32768,-32768, 298,-32768, 228, 221, 230, 224,-32768, 189, - 240, 232, 62,-32768,-32768,-32768, 236,-32768,-32768,-32768, --32768, 260, 336, 304, 355, 246, 260, 355,-32768, 254, - 254,-32768,-32768, 573,-32768, 304, 235, 108,-32768,-32768, - 215,-32768, 221, 278, 243, 241,-32768,-32768, 215, 244, - 72, 304, 221, 248, 304,-32768,-32768, 109,-32768,-32768, - 252, 110,-32768,-32768,-32768,-32768, 247, 270, 71, 250, - 266, 267,-32768, 197,-32768,-32768,-32768,-32768, 221, 221, --32768, 221, 221, 176, 261,-32768,-32768, 371,-32768,-32768, - 296,-32768,-32768,-32768,-32768,-32768, 15, 15,-32768, 167, --32768, 11,-32768, 277, 215,-32768, 10, 15,-32768, 282, - 215,-32768, 279,-32768, 215,-32768, 13, 167,-32768, 6, --32768, 274,-32768,-32768, 52,-32768,-32768,-32768,-32768,-32768, --32768, 281,-32768,-32768, 12, 115,-32768,-32768, 285,-32768, --32768,-32768,-32768,-32768,-32768,-32768,-32768,-32768,-32768, 286, - 573,-32768, 573,-32768, 287, 295,-32768,-32768,-32768, 118, --32768, 55,-32768, 304, 294,-32768,-32768, 261,-32768, 221, --32768,-32768,-32768,-32768,-32768, 52, 23, 294, 304,-32768, - 145, 189,-32768,-32768,-32768,-32768,-32768,-32768,-32768,-32768, - 22,-32768,-32768,-32768,-32768, 403, 407,-32768 +static const short yypact[] = { 247, +-32768,-32768, 247,-32768, -74,-32768, 46, 59,-32768,-32768, +-32768,-32768, 49,-32768, -66, 221,-32768,-32768, 57, 55, + 75, 83, 119, 104, 195, 221,-32768, 116,-32768,-32768, +-32768,-32768,-32768, 208,-32768,-32768, 427,-32768, 222, 24, +-32768,-32768,-32768, 86,-32768,-32768,-32768,-32768,-32768,-32768, +-32768,-32768,-32768,-32768, 209, 427,-32768,-32768,-32768,-32768, +-32768,-32768,-32768, 351, 656,-32768, 146,-32768, 189,-32768, + 162,-32768,-32768, 32,-32768, -1,-32768, 167,-32768,-32768, +-32768, -8, 171,-32768, 194,-32768, 203, 223,-32768,-32768, +-32768,-32768,-32768, 249, 225,-32768,-32768,-32768, 731, 299, +-32768,-32768,-32768,-32768, 196, 305,-32768,-32768,-32768, 232, + 205,-32768,-32768, 247, 232, 210, 213, 6,-32768,-32768, + 504,-32768, 18, 232,-32768,-32768,-32768,-32768,-32768, -3, +-32768, 202, 204, 216, 267, 200,-32768,-32768, -74,-32768, +-32768, 285,-32768,-32768,-32768, 303, -42, 218, 288, 224, + 257, -18, 68,-32768, 71,-32768,-32768, 226,-32768, 227, +-32768,-32768,-32768,-32768,-32768, 323, 731, 320, 232, 80, +-32768,-32768, 220,-32768,-32768,-32768,-32768,-32768,-32768,-32768, +-32768,-32768,-32768,-32768,-32768,-32768,-32768,-32768, 229, 228, +-32768, 61,-32768, 5,-32768, 219, 311, 26, 293, 233, + 52, 215, 274,-32768, 238, 52, 276,-32768, 43,-32768, + 8, 231,-32768,-32768,-32768,-32768,-32768, 321,-32768,-32768, + -2,-32768,-32768, 317,-32768, 247, 215, 244, 241,-32768, + 193, 256, 248, -2,-32768,-32768,-32768, 252,-32768,-32768, +-32768,-32768, 285, 352, 320, 200, 262, 285, 200,-32768, + 270, 270,-32768,-32768, 581,-32768, 320, 250, 66,-32768, +-32768, 231,-32768, 215, 291, 260, 253,-32768,-32768, 231, + 261, 81, 320, 215, 265, 320,-32768,-32768, 124,-32768, +-32768, 266, 143,-32768,-32768,-32768,-32768, 263, 258, 271, + 70, 273, 275, 272,-32768, 80,-32768,-32768,-32768,-32768, + 215, 215,-32768, 215, 215, 279, 269,-32768,-32768, 376, +-32768,-32768, 301,-32768,-32768,-32768,-32768,-32768, 31, 31, +-32768, 207,-32768, 26,-32768, 278, 231,-32768, 52, 31, +-32768, 283, 231,-32768, 280,-32768, 231,-32768, 38, 207, +-32768, 8,-32768,-32768, 277,-32768,-32768, 42,-32768,-32768, +-32768,-32768,-32768,-32768, 282,-32768,-32768, 7, 163,-32768, +-32768, 287,-32768,-32768,-32768,-32768,-32768,-32768,-32768,-32768, +-32768,-32768, 284, 581,-32768, 581,-32768, 290, 297,-32768, + 352,-32768,-32768, 164,-32768, 71,-32768, 320, 294,-32768, +-32768, 269,-32768, 215,-32768,-32768,-32768,-32768, 376,-32768, + 42, 2, 294, 320,-32768, 173, 193,-32768,-32768,-32768, +-32768,-32768,-32768,-32768,-32768, 10,-32768,-32768,-32768,-32768, + 393, 406,-32768 }; static const short yypgoto[] = {-32768, --32768, 408, 271,-32768,-32768, 399,-32768,-32768, 387,-32768, --32768, 358,-32768,-32768,-32768, 342,-32768, 305,-32768,-32768, - 309,-32768, 356,-32768,-32768, 134,-32768,-32768, 262,-32768, - 92, 227,-32768, 107,-32768, 114,-32768, 187,-32768, 192, --32768,-32768,-32768,-32768, 26, -188, -80, -312, -52,-32768, - 198, -186, -120,-32768, -1,-32768, -244,-32768, -48, -118, --32768, 69,-32768,-32768,-32768, -148,-32768,-32768, -199, -166, - -39, 212,-32768, -204,-32768,-32768,-32768, 47,-32768,-32768, --32768,-32768,-32768,-32768, 56, 63, -265,-32768,-32768,-32768, - 111, -127, -81,-32768,-32768,-32768,-32768, 31,-32768, 171, - -7 +-32768, 404, 281,-32768,-32768, 395,-32768,-32768, 385,-32768, +-32768, 356,-32768,-32768,-32768, 339,-32768, 304,-32768,-32768, + 312,-32768, 358,-32768,-32768, 125,-32768,-32768, 259,-32768, + 82, 234,-32768, 100,-32768, 106,-32768, 179,-32768, 184, +-32768,-32768,-32768,-32768, 17, -189, -78, -139, -53,-32768, + 206, -186, -122,-32768, -56,-32768, -185, 56, -43, -119, +-32768, 40,-32768,-32768,-32768, -150,-32768,-32768, -201, -163, + -101,-32768, 212,-32768, -264,-32768,-32768,-32768, 47,-32768, +-32768,-32768,-32768,-32768,-32768, 60, 63, -162,-32768,-32768, +-32768, 108, -126, -81,-32768,-32768,-32768,-32768, 28,-32768, + 177, -7 }; -#define YYLAST 817 +#define YYLAST 825 static const short yytable[] = { 15, - 121, 120, 158, 230, 207, 15, 208, 251, 188, 260, - 117, 101, 101, 10, 175, 102, 102, 10, 10, 10, - 10, 180, 181, 114, 10, 410, 292, 1, 2, 65, - 5, 7, 72, 5, 171, 172, 79, 404, 143, 264, - 10, 171, 172, 1, 2, 10, 11, 248, 65, 67, - 132, 360, 361, 10, 180, 181, 10, 11, 391, 10, - 392, 248, 369, 324, 200, 200, 79, 64, 10, 20, - 71, 1, 2, 333, 78, 362, 217, 21, 10, 180, - 181, 280, 28, 249, 344, 115, 64, 201, 206, 202, - 202, 405, 16, 375, 144, 406, 118, 249, 22, 354, - 23, 19, 72, 352, 78, 63, 73, 79, 145, 24, - 29, 257, 257, 250, 276, 218, 165, 188, 132, 118, - 188, 175, 384, 112, 63, 414, 161, 230, 190, 133, - 343, 286, -238, 260, 200, 158, -238, 162, 34, 68, - 71, 12, 118, 30, 139, 78, 262, 276, 410, 277, - 31, 160, 17, 379, 164, -264, 222, 171, 172, 202, - 214, 216, 287, 124, 32, 176, 189, 33, 295, 296, - 297, 298, 37, 288, 10, 180, 181, 1, 2, 330, - 323, 217, 166, 10, 180, 181, 167, 36, 328, 66, - 261, 10, 363, 269, 1, 2, 246, 133, 269, 215, - 247, 281, 217, 285, 10, 180, 181, 1, 2, 280, - 376, 321, 336, 339, 413, 322, 337, 340, 387, 80, - 218, 395, 388, 402, 413, 396, 217, 108, 10, 180, - 181, 1, 2, 397, 111, 353, 309, 190, 1, 2, - 190, 218, 219, 310, 367, 116, 315, 124, 319, 371, - 109, 110, 158, 373, 158, 291, 127, 220, 128, 349, - 350, 222, 351, 125, 332, 218, 219, 332, 1, 2, - 171, 172, 171, 172, 126, 189, 221, 134, 189, 83, - 84, 220, 222, 129, 160, 295, 296, 297, 298, 135, - 136, 223, 196, 138, 141, 142, 168, 197, 224, 225, - 221, 226, 170, 169, -265, 199, 222, 198, 209, 211, - 212, 10, 364, 255, 261, 223, 256, 245, 263, 269, - 242, 244, 272, 225, 273, 226, 275, 290, 118, 281, - 364, 294, 285, 293, 82, 301, 303, 382, 305, 307, - 311, 316, 83, 84, 320, 325, 326, 386, 327, 329, - 189, 334, 345, 85, 38, 86, 338, 87, 341, 177, - 178, 179, 10, 180, 181, 1, 2, 88, 189, 346, - 342, 89, 347, 355, 358, 90, 386, 359, 91, 41, - 42, 43, 366, 370, 372, 378, 383, 389, 382, 92, - 45, 409, 393, 390, 93, 46, 94, 47, 95, 182, - 394, 160, 417, 160, 399, 48, 418, 96, 97, 191, - 6, 18, 35, 81, 49, 113, 50, 183, 137, 140, - 106, 51, 98, 52, 53, 54, 10, 348, 213, 1, - 2, 377, 274, 368, 99, 365, 415, 318, 314, 306, - 184, 38, 403, 400, 304, 335, 398, 374, 0, 0, - 0, 0, 0, 0, 0, 0, 39, 185, 0, 0, - 40, 0, 0, 0, 0, 0, 41, 42, 43, 0, - 0, 0, 44, 0, 0, 0, 0, 45, 0, 0, - 0, 0, 46, 0, 47, 0, 0, 0, 0, 0, - 0, 0, 48, 0, 0, 0, 0, 0, 0, 0, - 0, 49, 0, 50, 0, 0, 147, 148, 51, 0, - 52, 53, 54, 149, 0, 0, 0, 85, 38, 86, - 0, 87, 150, 0, 0, 0, 0, 0, 0, 0, + 121, 158, 207, 120, 208, 15, 231, 252, 261, 188, + 101, 101, 175, 415, 10, 10, 409, 171, 172, 117, + 102, 102, 171, 172, 143, 294, 347, 5, 7, 65, + 5, 10, 72, 10, 1, 2, 79, 249, 19, 10, + 67, 357, 1, 2, 114, 10, 180, 181, 65, 10, + 10, 180, 181, 10, 11, 132, 10, 11, 161, 10, + -266, 200, 326, 249, 64, 28, 79, 71, 124, 162, + 410, 78, 335, 250, 411, 217, 63, 10, 180, 181, + 144, 265, 281, 64, 201, 217, 202, 10, 180, 181, + 1, 2, 16, 10, 145, 63, 1, 2, 289, 250, + 166, 78, 72, 355, 167, 118, 115, 79, -240, 290, + 218, 29, -240, 419, 219, 251, 165, 388, 118, 188, + 175, 118, 188, 132, 219, 220, 133, 258, 190, 346, + 68, 73, 231, 287, 261, 158, 365, 71, 112, 277, + 221, 139, 78, 383, 277, 263, 278, 200, 160, 12, + 200, 164, 17, 258, 378, 223, 363, 364, 30, 222, + 214, 216, 176, 189, 247, 223, 31, 372, 248, 323, + 206, 32, 202, 324, 224, 202, 415, 297, 298, 299, + 300, 225, 226, 325, 227, 171, 172, 33, 332, 312, + 262, 330, 317, 270, 133, 366, 215, 34, 270, 352, + 353, 282, 354, 286, 177, 178, 179, 10, 180, 181, + 1, 2, 281, 379, 10, 180, 181, 1, 2, 418, + 217, 36, 10, 180, 181, 1, 2, 338, 37, 418, + 407, 339, 20, 66, 395, 402, 396, 311, 190, 10, + 21, 190, 1, 2, 182, 218, 341, 80, 370, 321, + 342, 374, 108, 293, 158, 376, 158, 1, 2, 219, + 220, 22, 183, 23, 111, 334, 391, 400, 334, 116, + 392, 401, 24, 189, 125, 221, 189, 1, 2, 171, + 172, 124, 160, 126, 217, 184, 10, 180, 181, 297, + 298, 299, 300, 127, 222, 109, 110, 171, 172, 128, + 223, 134, 185, 83, 84, 129, 135, 136, 138, 224, + 168, 196, 169, 141, 367, 142, 262, 226, 170, 227, + -267, 270, 197, 219, 199, 212, 198, 10, 209, 211, + 243, 282, 367, 256, 286, 257, 246, 264, 356, 245, + 386, 273, 274, 276, 118, 288, 292, 295, 296, 189, + 390, 303, 305, 82, 307, 309, 313, 318, 327, 322, + 329, 83, 84, 328, 223, 343, 331, 189, 336, 344, + 340, 345, 85, 38, 86, 348, 87, 350, 349, 361, + 390, 358, 362, 369, 373, 375, 88, 387, 382, 393, + 89, 394, 422, 386, 90, 397, 414, 91, 41, 42, + 43, 160, 398, 160, 404, 423, 6, 18, 92, 45, + 35, 81, 113, 93, 46, 94, 47, 95, 140, 191, + 351, 137, 106, 380, 48, 213, 96, 97, 371, 368, + 320, 316, 420, 49, 10, 50, 399, 1, 2, 275, + 51, 98, 52, 53, 54, 306, 377, 408, 308, 38, + 403, 405, 337, 99, 0, 0, 0, 0, 0, 0, + 0, 0, 0, 0, 39, 0, 0, 0, 40, 0, + 0, 0, 0, 0, 41, 42, 43, 0, 0, 0, + 44, 0, 0, 0, 0, 45, 0, 0, 0, 0, + 46, 0, 47, 0, 0, 0, 0, 0, 0, 0, + 48, 0, 0, 0, 0, 0, 0, 0, 0, 49, + 0, 50, 0, 0, 147, 148, 51, 0, 52, 53, + 54, 149, 0, 0, 0, 85, 38, 86, 0, 87, + 150, 0, 0, 0, 0, 0, 0, 0, 0, 88, + 0, 0, 0, 89, 0, 0, 0, 90, 0, 0, + 91, 41, 42, 43, 0, 0, 0, 0, 0, 151, + 0, 92, 45, 0, 0, 0, 93, 46, 94, 47, + 95, 0, 0, 0, 0, 0, 0, 48, 0, 96, + 97, 152, 153, 0, 0, 0, 49, 0, 50, 0, + 154, 147, 148, 51, 98, 52, 53, 54, 149, 0, + 0, 0, 85, 38, 86, 0, 87, 150, 0, 0, + 0, 0, 0, 0, 0, 0, 88, 0, 0, 0, + 89, 0, 0, 0, 90, 0, 0, 91, 41, 42, + 43, 0, 0, 0, 0, 0, 151, 0, 92, 45, + 0, 0, 0, 93, 46, 94, 47, 95, 0, 0, + 0, 0, 0, 0, 48, 0, 96, 97, 152, 153, + 0, 0, 0, 49, 0, 50, 83, 84, 0, 0, + 51, 98, 52, 53, 54, 0, 0, 85, 38, 86, + 0, 87, 0, 0, 0, 0, 0, 0, 0, 0, 0, 88, 0, 0, 0, 89, 0, 0, 0, 90, 0, 0, 91, 41, 42, 43, 0, 0, 0, 0, - 0, 151, 0, 92, 45, 0, 0, 0, 93, 46, + 0, 0, 0, 92, 45, 0, 0, 0, 93, 46, 94, 47, 95, 0, 0, 0, 0, 0, 0, 48, - 0, 96, 97, 152, 153, 0, 0, 0, 49, 0, - 50, 0, 154, 147, 148, 51, 98, 52, 53, 54, - 149, 0, 0, 0, 85, 38, 86, 0, 87, 150, - 0, 0, 0, 0, 0, 0, 0, 0, 88, 0, - 0, 0, 89, 0, 0, 0, 90, 0, 0, 91, - 41, 42, 43, 0, 0, 0, 0, 0, 151, 0, - 92, 45, 0, 0, 0, 93, 46, 94, 47, 95, - 0, 0, 0, 0, 0, 0, 48, 0, 96, 97, - 152, 153, 0, 0, 0, 49, 0, 50, 83, 84, - 0, 0, 51, 98, 52, 53, 54, 0, 0, 85, - 38, 86, 0, 87, 0, 0, 0, 0, 0, 0, - 0, 0, 0, 88, 0, 0, 0, 89, 0, 0, - 0, 90, 0, 0, 91, 41, 42, 43, 0, 0, - 0, 0, 0, 0, 0, 92, 45, 0, 0, 0, - 93, 46, 94, 47, 95, 0, 0, 0, 0, 0, - 0, 48, 0, 96, 97, 0, 0, 0, 0, 0, - 49, 0, 50, 1, 2, 0, 0, 51, 98, 52, - 53, 54, 0, 0, 85, 38, 86, 0, 87, 0, - 0, 0, 0, 0, 0, 0, 0, 0, 88, 0, - 0, 0, 89, 0, 0, 0, 90, 0, 0, 91, - 41, 42, 43, 0, 0, 0, 0, 0, 0, 0, - 92, 45, 0, 0, 0, 93, 46, 94, 47, 95, - 0, 0, 0, 0, 0, 0, 48, 0, 96, 97, - 0, 0, 0, 0, 0, 49, 0, 50, 0, 0, - 0, 0, 51, 98, 52, 53, 54 + 0, 96, 97, 0, 0, 0, 0, 0, 49, 0, + 50, 1, 2, 0, 0, 51, 98, 52, 53, 54, + 0, 0, 85, 38, 86, 0, 87, 0, 0, 0, + 0, 0, 0, 0, 0, 0, 88, 0, 0, 0, + 89, 0, 0, 0, 90, 0, 0, 91, 41, 42, + 43, 0, 0, 0, 0, 0, 0, 0, 92, 45, + 0, 0, 0, 93, 46, 94, 47, 95, 0, 0, + 0, 0, 0, 0, 48, 0, 96, 97, 0, 0, + 0, 0, 0, 49, 0, 50, 0, 0, 0, 0, + 51, 98, 52, 53, 54 }; static const short yycheck[] = { 7, - 82, 82, 121, 170, 153, 13, 155, 194, 136, 198, - 28, 64, 65, 8, 135, 64, 65, 8, 8, 8, - 8, 9, 10, 46, 8, 4, 226, 11, 12, 37, - 0, 103, 40, 3, 13, 14, 44, 15, 19, 30, - 8, 13, 14, 11, 12, 8, 9, 33, 56, 17, - 99, 317, 318, 8, 9, 10, 8, 9, 371, 8, - 373, 33, 328, 263, 80, 80, 74, 37, 8, 12, - 40, 11, 12, 273, 44, 320, 6, 20, 8, 9, - 10, 209, 9, 69, 289, 108, 56, 103, 103, 105, - 105, 69, 34, 338, 75, 73, 114, 69, 41, 304, - 43, 105, 110, 303, 74, 37, 46, 115, 89, 52, - 57, 102, 102, 194, 102, 45, 124, 245, 167, 114, - 248, 242, 111, 107, 56, 104, 41, 294, 136, 99, - 60, 212, 104, 322, 80, 254, 108, 52, 3, 107, - 110, 104, 114, 84, 114, 115, 199, 102, 4, 104, - 84, 121, 104, 102, 124, 103, 86, 13, 14, 105, - 168, 169, 101, 111, 53, 135, 136, 84, 97, 98, - 99, 100, 21, 112, 8, 9, 10, 11, 12, 108, - 261, 6, 104, 8, 9, 10, 108, 106, 269, 12, - 198, 8, 320, 201, 11, 12, 104, 167, 206, 169, - 108, 209, 6, 211, 8, 9, 10, 11, 12, 337, - 338, 104, 104, 104, 401, 108, 108, 108, 104, 39, - 45, 104, 108, 390, 411, 108, 6, 107, 8, 9, - 10, 11, 12, 382, 103, 60, 244, 245, 11, 12, - 248, 45, 46, 245, 325, 103, 248, 111, 256, 331, - 107, 108, 371, 335, 373, 225, 71, 61, 51, 299, - 300, 86, 302, 81, 272, 45, 46, 275, 11, 12, - 13, 14, 13, 14, 81, 245, 80, 3, 248, 11, - 12, 61, 86, 81, 254, 97, 98, 99, 100, 111, - 3, 95, 9, 104, 104, 103, 109, 35, 102, 103, - 80, 105, 103, 109, 103, 68, 86, 103, 103, 103, - 3, 8, 320, 115, 322, 95, 25, 109, 105, 327, - 111, 111, 68, 103, 105, 105, 68, 30, 114, 337, - 338, 108, 340, 104, 3, 96, 105, 345, 103, 4, - 95, 88, 11, 12, 110, 68, 104, 355, 108, 106, - 320, 104, 103, 22, 23, 24, 105, 26, 112, 5, - 6, 7, 8, 9, 10, 11, 12, 36, 338, 104, - 101, 40, 106, 113, 4, 44, 384, 82, 47, 48, - 49, 50, 106, 102, 106, 112, 106, 103, 396, 58, - 59, 399, 106, 108, 63, 64, 65, 66, 67, 45, - 106, 371, 0, 373, 111, 74, 0, 76, 77, 139, - 3, 13, 26, 56, 83, 74, 85, 63, 110, 115, - 65, 90, 91, 92, 93, 94, 8, 294, 167, 11, - 12, 340, 206, 327, 103, 322, 411, 251, 247, 242, - 86, 23, 396, 388, 233, 275, 384, 337, -1, -1, - -1, -1, -1, -1, -1, -1, 38, 103, -1, -1, - 42, -1, -1, -1, -1, -1, 48, 49, 50, -1, - -1, -1, 54, -1, -1, -1, -1, 59, -1, -1, - -1, -1, 64, -1, 66, -1, -1, -1, -1, -1, - -1, -1, 74, -1, -1, -1, -1, -1, -1, -1, - -1, 83, -1, 85, -1, -1, 11, 12, 90, -1, - 92, 93, 94, 18, -1, -1, -1, 22, 23, 24, - -1, 26, 27, -1, -1, -1, -1, -1, -1, -1, + 82, 121, 153, 82, 155, 13, 170, 194, 198, 136, + 64, 65, 135, 4, 8, 8, 15, 13, 14, 28, + 64, 65, 13, 14, 19, 227, 291, 0, 103, 37, + 3, 8, 40, 8, 11, 12, 44, 33, 105, 8, + 17, 306, 11, 12, 46, 8, 9, 10, 56, 8, + 8, 9, 10, 8, 9, 99, 8, 9, 41, 8, + 103, 80, 264, 33, 37, 9, 74, 40, 111, 52, + 69, 44, 274, 69, 73, 6, 37, 8, 9, 10, + 75, 30, 209, 56, 103, 6, 105, 8, 9, 10, + 11, 12, 34, 8, 89, 56, 11, 12, 101, 69, + 104, 74, 110, 305, 108, 114, 108, 115, 104, 112, + 31, 57, 108, 104, 45, 194, 124, 111, 114, 246, + 243, 114, 249, 167, 45, 46, 99, 102, 136, 60, + 107, 46, 296, 212, 324, 255, 322, 110, 107, 102, + 61, 114, 115, 102, 102, 199, 104, 80, 121, 104, + 80, 124, 104, 102, 340, 86, 319, 320, 84, 80, + 168, 169, 135, 136, 104, 86, 84, 330, 108, 104, + 103, 53, 105, 108, 95, 105, 4, 97, 98, 99, + 100, 102, 103, 262, 105, 13, 14, 84, 108, 246, + 198, 270, 249, 201, 167, 322, 169, 3, 206, 301, + 302, 209, 304, 211, 5, 6, 7, 8, 9, 10, + 11, 12, 339, 340, 8, 9, 10, 11, 12, 406, + 6, 106, 8, 9, 10, 11, 12, 104, 21, 416, + 394, 108, 12, 12, 374, 386, 376, 245, 246, 8, + 20, 249, 11, 12, 45, 31, 104, 39, 327, 257, + 108, 333, 107, 226, 374, 337, 376, 11, 12, 45, + 46, 41, 63, 43, 103, 273, 104, 104, 276, 103, + 108, 108, 52, 246, 81, 61, 249, 11, 12, 13, + 14, 111, 255, 81, 6, 86, 8, 9, 10, 97, + 98, 99, 100, 71, 80, 107, 108, 13, 14, 51, + 86, 3, 103, 11, 12, 81, 111, 3, 104, 95, + 109, 9, 109, 104, 322, 103, 324, 103, 103, 105, + 103, 329, 35, 45, 68, 3, 103, 8, 103, 103, + 111, 339, 340, 115, 342, 25, 109, 105, 60, 111, + 348, 68, 105, 68, 114, 25, 30, 104, 108, 322, + 358, 96, 105, 3, 103, 4, 95, 88, 68, 110, + 108, 11, 12, 104, 86, 103, 106, 340, 104, 112, + 105, 101, 22, 23, 24, 103, 26, 106, 104, 4, + 388, 113, 82, 106, 102, 106, 36, 106, 112, 103, + 40, 108, 0, 401, 44, 106, 404, 47, 48, 49, + 50, 374, 106, 376, 111, 0, 3, 13, 58, 59, + 26, 56, 74, 63, 64, 65, 66, 67, 115, 139, + 296, 110, 65, 342, 74, 167, 76, 77, 329, 324, + 252, 248, 416, 83, 8, 85, 381, 11, 12, 206, + 90, 91, 92, 93, 94, 234, 339, 401, 243, 23, + 388, 392, 276, 103, -1, -1, -1, -1, -1, -1, + -1, -1, -1, -1, 38, -1, -1, -1, 42, -1, + -1, -1, -1, -1, 48, 49, 50, -1, -1, -1, + 54, -1, -1, -1, -1, 59, -1, -1, -1, -1, + 64, -1, 66, -1, -1, -1, -1, -1, -1, -1, + 74, -1, -1, -1, -1, -1, -1, -1, -1, 83, + -1, 85, -1, -1, 11, 12, 90, -1, 92, 93, + 94, 18, -1, -1, -1, 22, 23, 24, -1, 26, + 27, -1, -1, -1, -1, -1, -1, -1, -1, 36, + -1, -1, -1, 40, -1, -1, -1, 44, -1, -1, + 47, 48, 49, 50, -1, -1, -1, -1, -1, 56, + -1, 58, 59, -1, -1, -1, 63, 64, 65, 66, + 67, -1, -1, -1, -1, -1, -1, 74, -1, 76, + 77, 78, 79, -1, -1, -1, 83, -1, 85, -1, + 87, 11, 12, 90, 91, 92, 93, 94, 18, -1, + -1, -1, 22, 23, 24, -1, 26, 27, -1, -1, + -1, -1, -1, -1, -1, -1, 36, -1, -1, -1, + 40, -1, -1, -1, 44, -1, -1, 47, 48, 49, + 50, -1, -1, -1, -1, -1, 56, -1, 58, 59, + -1, -1, -1, 63, 64, 65, 66, 67, -1, -1, + -1, -1, -1, -1, 74, -1, 76, 77, 78, 79, + -1, -1, -1, 83, -1, 85, 11, 12, -1, -1, + 90, 91, 92, 93, 94, -1, -1, 22, 23, 24, + -1, 26, -1, -1, -1, -1, -1, -1, -1, -1, -1, 36, -1, -1, -1, 40, -1, -1, -1, 44, -1, -1, 47, 48, 49, 50, -1, -1, -1, -1, - -1, 56, -1, 58, 59, -1, -1, -1, 63, 64, + -1, -1, -1, 58, 59, -1, -1, -1, 63, 64, 65, 66, 67, -1, -1, -1, -1, -1, -1, 74, - -1, 76, 77, 78, 79, -1, -1, -1, 83, -1, - 85, -1, 87, 11, 12, 90, 91, 92, 93, 94, - 18, -1, -1, -1, 22, 23, 24, -1, 26, 27, - -1, -1, -1, -1, -1, -1, -1, -1, 36, -1, - -1, -1, 40, -1, -1, -1, 44, -1, -1, 47, - 48, 49, 50, -1, -1, -1, -1, -1, 56, -1, - 58, 59, -1, -1, -1, 63, 64, 65, 66, 67, - -1, -1, -1, -1, -1, -1, 74, -1, 76, 77, - 78, 79, -1, -1, -1, 83, -1, 85, 11, 12, - -1, -1, 90, 91, 92, 93, 94, -1, -1, 22, - 23, 24, -1, 26, -1, -1, -1, -1, -1, -1, - -1, -1, -1, 36, -1, -1, -1, 40, -1, -1, - -1, 44, -1, -1, 47, 48, 49, 50, -1, -1, - -1, -1, -1, -1, -1, 58, 59, -1, -1, -1, - 63, 64, 65, 66, 67, -1, -1, -1, -1, -1, - -1, 74, -1, 76, 77, -1, -1, -1, -1, -1, - 83, -1, 85, 11, 12, -1, -1, 90, 91, 92, - 93, 94, -1, -1, 22, 23, 24, -1, 26, -1, - -1, -1, -1, -1, -1, -1, -1, -1, 36, -1, - -1, -1, 40, -1, -1, -1, 44, -1, -1, 47, - 48, 49, 50, -1, -1, -1, -1, -1, -1, -1, - 58, 59, -1, -1, -1, 63, 64, 65, 66, 67, - -1, -1, -1, -1, -1, -1, 74, -1, 76, 77, - -1, -1, -1, -1, -1, 83, -1, 85, -1, -1, - -1, -1, 90, 91, 92, 93, 94 + -1, 76, 77, -1, -1, -1, -1, -1, 83, -1, + 85, 11, 12, -1, -1, 90, 91, 92, 93, 94, + -1, -1, 22, 23, 24, -1, 26, -1, -1, -1, + -1, -1, -1, -1, -1, -1, 36, -1, -1, -1, + 40, -1, -1, -1, 44, -1, -1, 47, 48, 49, + 50, -1, -1, -1, -1, -1, -1, -1, 58, 59, + -1, -1, -1, 63, 64, 65, 66, 67, -1, -1, + -1, -1, -1, -1, 74, -1, 76, 77, -1, -1, + -1, -1, -1, 83, -1, 85, -1, -1, -1, -1, + 90, 91, 92, 93, 94 }; /* -*-C-*- Note some compilers choke on comments on `#line' lines. */ #line 3 "/usr/share/bison.simple" @@ -2563,18 +2571,17 @@ case 143: case 144: #line 1390 "asn1p_y.y" { - yyval.tv_opaque.len = yyvsp[0].tv_opaque.len + 2; + yyval.tv_opaque.len = yyvsp[0].tv_opaque.len + 1; yyval.tv_opaque.buf = malloc(yyval.tv_opaque.len + 1); checkmem(yyval.tv_opaque.buf); yyval.tv_opaque.buf[0] = '{'; - yyval.tv_opaque.buf[1] = ' '; - memcpy(yyval.tv_opaque.buf + 2, yyvsp[0].tv_opaque.buf, yyvsp[0].tv_opaque.len); + memcpy(yyval.tv_opaque.buf + 1, yyvsp[0].tv_opaque.buf, yyvsp[0].tv_opaque.len); yyval.tv_opaque.buf[yyval.tv_opaque.len] = '\0'; free(yyvsp[0].tv_opaque.buf); ; break;} case 145: -#line 1400 "asn1p_y.y" +#line 1399 "asn1p_y.y" { int newsize = yyvsp[-1].tv_opaque.len + yyvsp[0].tv_opaque.len; char *p = malloc(newsize + 1); @@ -2589,71 +2596,71 @@ case 145: ; break;} case 146: -#line 1415 "asn1p_y.y" +#line 1414 "asn1p_y.y" { yyval.a_type = ASN_BASIC_BOOLEAN; ; break;} case 147: -#line 1416 "asn1p_y.y" +#line 1415 "asn1p_y.y" { yyval.a_type = ASN_BASIC_NULL; ; break;} case 148: -#line 1417 "asn1p_y.y" +#line 1416 "asn1p_y.y" { yyval.a_type = ASN_BASIC_REAL; ; break;} case 149: -#line 1418 "asn1p_y.y" +#line 1417 "asn1p_y.y" { yyval.a_type = yyvsp[0].a_type; ; break;} case 150: -#line 1419 "asn1p_y.y" +#line 1418 "asn1p_y.y" { yyval.a_type = ASN_BASIC_OCTET_STRING; ; break;} case 151: -#line 1420 "asn1p_y.y" +#line 1419 "asn1p_y.y" { yyval.a_type = ASN_BASIC_OBJECT_IDENTIFIER; ; break;} case 152: -#line 1421 "asn1p_y.y" +#line 1420 "asn1p_y.y" { yyval.a_type = ASN_BASIC_RELATIVE_OID; ; break;} case 153: -#line 1422 "asn1p_y.y" +#line 1421 "asn1p_y.y" { yyval.a_type = ASN_BASIC_EXTERNAL; ; break;} case 154: -#line 1423 "asn1p_y.y" +#line 1422 "asn1p_y.y" { yyval.a_type = ASN_BASIC_EMBEDDED_PDV; ; break;} case 155: -#line 1424 "asn1p_y.y" +#line 1423 "asn1p_y.y" { yyval.a_type = ASN_BASIC_CHARACTER_STRING; ; break;} case 156: -#line 1425 "asn1p_y.y" +#line 1424 "asn1p_y.y" { yyval.a_type = ASN_BASIC_UTCTime; ; break;} case 157: -#line 1426 "asn1p_y.y" +#line 1425 "asn1p_y.y" { yyval.a_type = ASN_BASIC_GeneralizedTime; ; break;} case 158: -#line 1427 "asn1p_y.y" +#line 1426 "asn1p_y.y" { yyval.a_type = yyvsp[0].a_type; ; break;} case 159: -#line 1434 "asn1p_y.y" +#line 1433 "asn1p_y.y" { yyval.a_type = ASN_BASIC_INTEGER; ; break;} case 160: -#line 1435 "asn1p_y.y" +#line 1434 "asn1p_y.y" { yyval.a_type = ASN_BASIC_ENUMERATED; ; break;} case 161: -#line 1436 "asn1p_y.y" +#line 1435 "asn1p_y.y" { yyval.a_type = ASN_BASIC_BIT_STRING; ; break;} case 162: -#line 1440 "asn1p_y.y" +#line 1439 "asn1p_y.y" { yyval.a_expr = asn1p_expr_new(yylineno); checkmem(yyval.a_expr); @@ -2662,7 +2669,7 @@ case 162: ; break;} case 163: -#line 1446 "asn1p_y.y" +#line 1445 "asn1p_y.y" { if(yyvsp[0].a_expr) { yyval.a_expr = yyvsp[0].a_expr; @@ -2675,91 +2682,91 @@ case 163: ; break;} case 164: -#line 1459 "asn1p_y.y" +#line 1458 "asn1p_y.y" { yyval.a_type = ASN_STRING_BMPString; ; break;} case 165: -#line 1460 "asn1p_y.y" +#line 1459 "asn1p_y.y" { yyval.a_type = ASN_STRING_GeneralString; fprintf(stderr, "WARNING: GeneralString is not fully supported\n"); ; break;} case 166: -#line 1464 "asn1p_y.y" +#line 1463 "asn1p_y.y" { yyval.a_type = ASN_STRING_GraphicString; fprintf(stderr, "WARNING: GraphicString is not fully supported\n"); ; break;} case 167: -#line 1468 "asn1p_y.y" +#line 1467 "asn1p_y.y" { yyval.a_type = ASN_STRING_IA5String; ; break;} case 168: -#line 1469 "asn1p_y.y" +#line 1468 "asn1p_y.y" { yyval.a_type = ASN_STRING_ISO646String; ; break;} case 169: -#line 1470 "asn1p_y.y" +#line 1469 "asn1p_y.y" { yyval.a_type = ASN_STRING_NumericString; ; break;} case 170: -#line 1471 "asn1p_y.y" +#line 1470 "asn1p_y.y" { yyval.a_type = ASN_STRING_PrintableString; ; break;} case 171: -#line 1472 "asn1p_y.y" +#line 1471 "asn1p_y.y" { yyval.a_type = ASN_STRING_T61String; fprintf(stderr, "WARNING: T61String is not fully supported\n"); ; break;} case 172: -#line 1476 "asn1p_y.y" +#line 1475 "asn1p_y.y" { yyval.a_type = ASN_STRING_TeletexString; ; break;} case 173: -#line 1477 "asn1p_y.y" +#line 1476 "asn1p_y.y" { yyval.a_type = ASN_STRING_UniversalString; ; break;} case 174: -#line 1478 "asn1p_y.y" +#line 1477 "asn1p_y.y" { yyval.a_type = ASN_STRING_UTF8String; ; break;} case 175: -#line 1479 "asn1p_y.y" +#line 1478 "asn1p_y.y" { yyval.a_type = ASN_STRING_VideotexString; fprintf(stderr, "WARNING: VideotexString is not fully supported\n"); ; break;} case 176: -#line 1483 "asn1p_y.y" +#line 1482 "asn1p_y.y" { yyval.a_type = ASN_STRING_VisibleString; ; break;} case 177: -#line 1484 "asn1p_y.y" +#line 1483 "asn1p_y.y" { yyval.a_type = ASN_STRING_ObjectDescriptor; ; break;} case 183: -#line 1496 "asn1p_y.y" +#line 1495 "asn1p_y.y" { yyval.a_constr = 0; ; break;} case 184: -#line 1497 "asn1p_y.y" +#line 1496 "asn1p_y.y" { yyval.a_constr = yyvsp[0].a_constr; ; break;} case 185: -#line 1503 "asn1p_y.y" +#line 1502 "asn1p_y.y" { CONSTRAINT_INSERT(yyval.a_constr, ACT_CA_SET, yyvsp[0].a_constr, 0); ; break;} case 186: -#line 1506 "asn1p_y.y" +#line 1505 "asn1p_y.y" { /* * This is a special case, for compatibility purposes. @@ -2769,25 +2776,25 @@ case 186: ; break;} case 187: -#line 1516 "asn1p_y.y" +#line 1515 "asn1p_y.y" { yyval.a_constr = yyvsp[-1].a_constr; ; break;} case 188: -#line 1519 "asn1p_y.y" +#line 1518 "asn1p_y.y" { CONSTRAINT_INSERT(yyval.a_constr, ACT_CA_SET, yyvsp[-3].a_constr, yyvsp[-1].a_constr); ; break;} case 189: -#line 1525 "asn1p_y.y" +#line 1524 "asn1p_y.y" { yyval.a_constr = yyvsp[0].a_constr; ; break;} case 190: -#line 1528 "asn1p_y.y" +#line 1527 "asn1p_y.y" { asn1p_constraint_t *ct; ct = asn1p_constraint_new(yylineno); @@ -2796,7 +2803,7 @@ case 190: ; break;} case 191: -#line 1534 "asn1p_y.y" +#line 1533 "asn1p_y.y" { asn1p_constraint_t *ct; ct = asn1p_constraint_new(yylineno); @@ -2807,31 +2814,31 @@ case 191: ; break;} case 192: -#line 1545 "asn1p_y.y" +#line 1544 "asn1p_y.y" { yyval.a_constr = yyvsp[0].a_constr; ; break;} case 193: -#line 1548 "asn1p_y.y" +#line 1547 "asn1p_y.y" { CONSTRAINT_INSERT(yyval.a_constr, ACT_CA_UNI, yyvsp[-2].a_constr, yyvsp[0].a_constr); ; break;} case 194: -#line 1551 "asn1p_y.y" +#line 1550 "asn1p_y.y" { CONSTRAINT_INSERT(yyval.a_constr, ACT_CA_INT, yyvsp[-2].a_constr, yyvsp[0].a_constr); ; break;} case 195: -#line 1554 "asn1p_y.y" +#line 1553 "asn1p_y.y" { CONSTRAINT_INSERT(yyval.a_constr, ACT_CA_EXC, yyvsp[-2].a_constr, yyvsp[0].a_constr); ; break;} case 196: -#line 1560 "asn1p_y.y" +#line 1559 "asn1p_y.y" { int ret; yyval.a_constr = asn1p_constraint_new(yylineno); @@ -2842,7 +2849,7 @@ case 196: ; break;} case 197: -#line 1568 "asn1p_y.y" +#line 1567 "asn1p_y.y" { int ret; yyval.a_constr = asn1p_constraint_new(yylineno); @@ -2853,7 +2860,7 @@ case 197: ; break;} case 198: -#line 1576 "asn1p_y.y" +#line 1575 "asn1p_y.y" { yyval.a_constr = asn1p_constraint_new(yylineno); checkmem(yyval.a_constr); @@ -2862,7 +2869,7 @@ case 198: ; break;} case 199: -#line 1582 "asn1p_y.y" +#line 1581 "asn1p_y.y" { yyval.a_constr = asn1p_constraint_new(yylineno); checkmem(yyval.a_constr); @@ -2871,7 +2878,7 @@ case 199: ; break;} case 200: -#line 1588 "asn1p_y.y" +#line 1587 "asn1p_y.y" { yyval.a_constr = asn1p_constraint_new(yylineno); checkmem(yyval.a_constr); @@ -2881,7 +2888,7 @@ case 200: ; break;} case 201: -#line 1595 "asn1p_y.y" +#line 1594 "asn1p_y.y" { yyval.a_constr = asn1p_constraint_new(yylineno); checkmem(yyval.a_constr); @@ -2892,7 +2899,7 @@ case 201: ; break;} case 202: -#line 1603 "asn1p_y.y" +#line 1602 "asn1p_y.y" { yyval.a_constr = asn1p_constraint_new(yylineno); checkmem(yyval.a_constr); @@ -2903,7 +2910,7 @@ case 202: ; break;} case 203: -#line 1611 "asn1p_y.y" +#line 1610 "asn1p_y.y" { yyval.a_constr = asn1p_constraint_new(yylineno); checkmem(yyval.a_constr); @@ -2915,76 +2922,91 @@ case 203: ; break;} case 204: -#line 1620 "asn1p_y.y" +#line 1619 "asn1p_y.y" { yyval.a_constr = yyvsp[0].a_constr; ; break;} case 205: -#line 1623 "asn1p_y.y" +#line 1622 "asn1p_y.y" { yyval.a_constr = yyvsp[0].a_constr; ; break;} case 206: -#line 1629 "asn1p_y.y" -{ yyval.a_ctype = ACT_EL_RANGE; ; +#line 1626 "asn1p_y.y" +{ asn1p_lexer_hack_push_opaque_state(); ; break;} case 207: -#line 1630 "asn1p_y.y" -{ yyval.a_ctype = ACT_EL_RLRANGE; ; +#line 1626 "asn1p_y.y" +{ + yyval.a_constr = asn1p_constraint_new(yylineno); + checkmem(yyval.a_constr); + yyval.a_constr->type = ACT_CT_CTDBY; + yyval.a_constr->value = asn1p_value_frombuf(yyvsp[0].tv_opaque.buf, yyvsp[0].tv_opaque.len, 0); + checkmem(yyval.a_constr->value); + yyval.a_constr->value->type = ATV_UNPARSED; + ; break;} case 208: -#line 1631 "asn1p_y.y" -{ yyval.a_ctype = ACT_EL_LLRANGE; ; +#line 1637 "asn1p_y.y" +{ yyval.a_ctype = ACT_EL_RANGE; ; break;} case 209: -#line 1632 "asn1p_y.y" -{ yyval.a_ctype = ACT_EL_ULRANGE; ; +#line 1638 "asn1p_y.y" +{ yyval.a_ctype = ACT_EL_RLRANGE; ; break;} case 210: -#line 1636 "asn1p_y.y" +#line 1639 "asn1p_y.y" +{ yyval.a_ctype = ACT_EL_LLRANGE; ; + break;} +case 211: +#line 1640 "asn1p_y.y" +{ yyval.a_ctype = ACT_EL_ULRANGE; ; + break;} +case 212: +#line 1644 "asn1p_y.y" { yyval.a_ctype = ACT_CT_SIZE; ; break;} -case 211: -#line 1639 "asn1p_y.y" +case 213: +#line 1647 "asn1p_y.y" { yyval.a_ctype = ACT_CT_FROM; ; break;} -case 212: -#line 1645 "asn1p_y.y" +case 214: +#line 1653 "asn1p_y.y" { yyval.a_value = asn1p_value_fromint(0); checkmem(yyval.a_value); yyval.a_value->type = ATV_FALSE; ; break;} -case 213: -#line 1650 "asn1p_y.y" +case 215: +#line 1658 "asn1p_y.y" { yyval.a_value = asn1p_value_fromint(1); checkmem(yyval.a_value); yyval.a_value->type = ATV_TRUE; ; break;} -case 214: -#line 1655 "asn1p_y.y" +case 216: +#line 1663 "asn1p_y.y" { yyval.a_value = yyvsp[0].a_value; ; break;} -case 215: -#line 1658 "asn1p_y.y" +case 217: +#line 1666 "asn1p_y.y" { yyval.a_value = asn1p_value_frombuf(yyvsp[0].tv_opaque.buf, yyvsp[0].tv_opaque.len, 0); checkmem(yyval.a_value); ; break;} -case 216: -#line 1662 "asn1p_y.y" +case 218: +#line 1670 "asn1p_y.y" { asn1p_ref_t *ref; int ret; @@ -2997,8 +3019,8 @@ case 216: free(yyvsp[0].tv_str); ; break;} -case 217: -#line 1676 "asn1p_y.y" +case 219: +#line 1684 "asn1p_y.y" { asn1p_ref_t *ref; int ret; @@ -3011,34 +3033,34 @@ case 217: free(yyvsp[0].tv_str); ; break;} -case 218: -#line 1690 "asn1p_y.y" +case 220: +#line 1698 "asn1p_y.y" { CONSTRAINT_INSERT(yyval.a_constr, ACT_CT_WCOMPS, yyvsp[-1].a_constr, 0); ; break;} -case 219: -#line 1696 "asn1p_y.y" +case 221: +#line 1704 "asn1p_y.y" { yyval.a_constr = yyvsp[0].a_constr; ; break;} -case 220: -#line 1699 "asn1p_y.y" +case 222: +#line 1707 "asn1p_y.y" { CONSTRAINT_INSERT(yyval.a_constr, ACT_CT_WCOMPS, yyvsp[-2].a_constr, yyvsp[0].a_constr); ; break;} -case 221: -#line 1705 "asn1p_y.y" +case 223: +#line 1713 "asn1p_y.y" { yyval.a_constr = asn1p_constraint_new(yylineno); checkmem(yyval.a_constr); yyval.a_constr->type = ACT_EL_EXT; ; break;} -case 222: -#line 1710 "asn1p_y.y" +case 224: +#line 1718 "asn1p_y.y" { yyval.a_constr = asn1p_constraint_new(yylineno); checkmem(yyval.a_constr); @@ -3047,46 +3069,46 @@ case 222: yyval.a_constr->presence = yyvsp[0].a_pres; ; break;} -case 223: -#line 1723 "asn1p_y.y" +case 225: +#line 1731 "asn1p_y.y" { yyval.a_pres = ACPRES_DEFAULT; ; break;} -case 224: -#line 1724 "asn1p_y.y" +case 226: +#line 1732 "asn1p_y.y" { yyval.a_pres = yyvsp[0].a_pres; ; break;} -case 225: -#line 1728 "asn1p_y.y" +case 227: +#line 1736 "asn1p_y.y" { yyval.a_pres = ACPRES_PRESENT; ; break;} -case 226: -#line 1731 "asn1p_y.y" +case 228: +#line 1739 "asn1p_y.y" { yyval.a_pres = ACPRES_ABSENT; ; break;} -case 227: -#line 1734 "asn1p_y.y" +case 229: +#line 1742 "asn1p_y.y" { yyval.a_pres = ACPRES_OPTIONAL; ; break;} -case 228: -#line 1740 "asn1p_y.y" +case 230: +#line 1748 "asn1p_y.y" { yyval.a_constr = yyvsp[0].a_constr; ; break;} -case 229: -#line 1743 "asn1p_y.y" +case 231: +#line 1751 "asn1p_y.y" { yyval.a_constr = yyvsp[0].a_constr; ; break;} -case 230: -#line 1752 "asn1p_y.y" +case 232: +#line 1760 "asn1p_y.y" { asn1p_ref_t *ref = asn1p_ref_new(yylineno); asn1p_constraint_t *ct; @@ -3100,14 +3122,14 @@ case 230: CONSTRAINT_INSERT(yyval.a_constr, ACT_CA_CRC, ct, 0); ; break;} -case 231: -#line 1767 "asn1p_y.y" +case 233: +#line 1775 "asn1p_y.y" { CONSTRAINT_INSERT(yyval.a_constr, ACT_CA_CRC, yyvsp[-3].a_constr, yyvsp[-1].a_constr); ; break;} -case 232: -#line 1773 "asn1p_y.y" +case 234: +#line 1781 "asn1p_y.y" { yyval.a_constr = asn1p_constraint_new(yylineno); checkmem(yyval.a_constr); @@ -3115,8 +3137,8 @@ case 232: yyval.a_constr->value = asn1p_value_fromref(yyvsp[0].a_ref, 0); ; break;} -case 233: -#line 1779 "asn1p_y.y" +case 235: +#line 1787 "asn1p_y.y" { asn1p_constraint_t *ct; ct = asn1p_constraint_new(yylineno); @@ -3126,8 +3148,8 @@ case 233: CONSTRAINT_INSERT(yyval.a_constr, ACT_CA_CSV, yyvsp[-2].a_constr, ct); ; break;} -case 234: -#line 1793 "asn1p_y.y" +case 236: +#line 1801 "asn1p_y.y" { char *p = malloc(strlen(yyvsp[0].tv_str) + 2); int ret; @@ -3140,8 +3162,8 @@ case 234: free(yyvsp[0].tv_str); ; break;} -case 235: -#line 1804 "asn1p_y.y" +case 237: +#line 1812 "asn1p_y.y" { char *p = malloc(strlen(yyvsp[0].tv_str) + 3); int ret; @@ -3155,14 +3177,14 @@ case 235: free(yyvsp[0].tv_str); ; break;} -case 236: -#line 1820 "asn1p_y.y" +case 238: +#line 1828 "asn1p_y.y" { yyval.tv_str = yyvsp[0].tv_str; ; break;} -case 237: -#line 1823 "asn1p_y.y" +case 239: +#line 1831 "asn1p_y.y" { int l1 = strlen(yyvsp[-2].tv_str); int l3 = strlen(yyvsp[0].tv_str); @@ -3173,61 +3195,61 @@ case 237: yyval.tv_str[l1 + 1 + l3] = '\0'; ; break;} -case 238: -#line 1841 "asn1p_y.y" +case 240: +#line 1849 "asn1p_y.y" { yyval.a_marker.flags = EM_NOMARK; yyval.a_marker.default_value = 0; ; break;} -case 239: -#line 1845 "asn1p_y.y" +case 241: +#line 1853 "asn1p_y.y" { yyval.a_marker = yyvsp[0].a_marker; ; break;} -case 240: -#line 1849 "asn1p_y.y" +case 242: +#line 1857 "asn1p_y.y" { yyval.a_marker.flags = EM_OPTIONAL; yyval.a_marker.default_value = 0; ; break;} -case 241: -#line 1853 "asn1p_y.y" +case 243: +#line 1861 "asn1p_y.y" { yyval.a_marker.flags = EM_DEFAULT; yyval.a_marker.default_value = yyvsp[0].a_value; ; break;} -case 242: -#line 1876 "asn1p_y.y" +case 244: +#line 1884 "asn1p_y.y" { yyval.a_expr = asn1p_expr_new(yylineno); checkmem(yyval.a_expr); ; break;} -case 243: -#line 1880 "asn1p_y.y" +case 245: +#line 1888 "asn1p_y.y" { yyval.a_expr = yyvsp[-1].a_expr; ; break;} -case 244: -#line 1886 "asn1p_y.y" +case 246: +#line 1894 "asn1p_y.y" { yyval.a_expr = asn1p_expr_new(yylineno); checkmem(yyval.a_expr); asn1p_expr_add(yyval.a_expr, yyvsp[0].a_expr); ; break;} -case 245: -#line 1891 "asn1p_y.y" +case 247: +#line 1899 "asn1p_y.y" { yyval.a_expr = yyvsp[-2].a_expr; asn1p_expr_add(yyval.a_expr, yyvsp[0].a_expr); ; break;} -case 246: -#line 1898 "asn1p_y.y" +case 248: +#line 1906 "asn1p_y.y" { yyval.a_expr = asn1p_expr_new(yylineno); checkmem(yyval.a_expr); @@ -3236,8 +3258,8 @@ case 246: yyval.a_expr->Identifier = yyvsp[0].tv_str; ; break;} -case 247: -#line 1905 "asn1p_y.y" +case 249: +#line 1913 "asn1p_y.y" { yyval.a_expr = asn1p_expr_new(yylineno); checkmem(yyval.a_expr); @@ -3247,8 +3269,8 @@ case 247: yyval.a_expr->value = yyvsp[-1].a_value; ; break;} -case 248: -#line 1913 "asn1p_y.y" +case 250: +#line 1921 "asn1p_y.y" { yyval.a_expr = asn1p_expr_new(yylineno); checkmem(yyval.a_expr); @@ -3258,8 +3280,8 @@ case 248: yyval.a_expr->value = yyvsp[-1].a_value; ; break;} -case 249: -#line 1921 "asn1p_y.y" +case 251: +#line 1929 "asn1p_y.y" { yyval.a_expr = asn1p_expr_new(yylineno); checkmem(yyval.a_expr); @@ -3268,8 +3290,8 @@ case 249: yyval.a_expr->value = yyvsp[0].a_value; ; break;} -case 250: -#line 1928 "asn1p_y.y" +case 252: +#line 1936 "asn1p_y.y" { yyval.a_expr = asn1p_expr_new(yylineno); checkmem(yyval.a_expr); @@ -3279,103 +3301,103 @@ case 250: yyval.a_expr->meta_type = AMT_VALUE; ; break;} -case 251: -#line 1939 "asn1p_y.y" +case 253: +#line 1947 "asn1p_y.y" { yyval.a_value = asn1p_value_fromint(yyvsp[0].a_int); checkmem(yyval.a_value); ; break;} -case 252: -#line 1943 "asn1p_y.y" +case 254: +#line 1951 "asn1p_y.y" { yyval.a_value = asn1p_value_fromint(yyvsp[0].a_int); checkmem(yyval.a_value); ; break;} -case 253: -#line 1974 "asn1p_y.y" +case 255: +#line 1982 "asn1p_y.y" { memset(&yyval.a_tag, 0, sizeof(yyval.a_tag)); ; break;} -case 254: -#line 1975 "asn1p_y.y" +case 256: +#line 1983 "asn1p_y.y" { yyval.a_tag = yyvsp[0].a_tag; ; break;} -case 255: -#line 1979 "asn1p_y.y" +case 257: +#line 1987 "asn1p_y.y" { yyval.a_tag = yyvsp[-1].a_tag; yyval.a_tag.tag_mode = yyvsp[0].a_tag.tag_mode; ; break;} -case 256: -#line 1986 "asn1p_y.y" +case 258: +#line 1994 "asn1p_y.y" { yyval.a_tag = yyvsp[-2].a_tag; yyval.a_tag.tag_value = yyvsp[-1].a_int; ; break;} -case 257: -#line 1992 "asn1p_y.y" +case 259: +#line 2000 "asn1p_y.y" { yyval.a_tag.tag_class = TC_CONTEXT_SPECIFIC; ; break;} -case 258: -#line 1993 "asn1p_y.y" +case 260: +#line 2001 "asn1p_y.y" { yyval.a_tag.tag_class = TC_UNIVERSAL; ; break;} -case 259: -#line 1994 "asn1p_y.y" +case 261: +#line 2002 "asn1p_y.y" { yyval.a_tag.tag_class = TC_APPLICATION; ; break;} -case 260: -#line 1995 "asn1p_y.y" +case 262: +#line 2003 "asn1p_y.y" { yyval.a_tag.tag_class = TC_PRIVATE; ; break;} -case 261: -#line 1999 "asn1p_y.y" +case 263: +#line 2007 "asn1p_y.y" { yyval.a_tag.tag_mode = TM_DEFAULT; ; break;} -case 262: -#line 2000 "asn1p_y.y" +case 264: +#line 2008 "asn1p_y.y" { yyval.a_tag.tag_mode = TM_IMPLICIT; ; break;} -case 263: -#line 2001 "asn1p_y.y" +case 265: +#line 2009 "asn1p_y.y" { yyval.a_tag.tag_mode = TM_EXPLICIT; ; break;} -case 264: -#line 2005 "asn1p_y.y" +case 266: +#line 2013 "asn1p_y.y" { checkmem(yyvsp[0].tv_str); yyval.tv_str = yyvsp[0].tv_str; ; break;} -case 265: -#line 2009 "asn1p_y.y" +case 267: +#line 2017 "asn1p_y.y" { checkmem(yyvsp[0].tv_str); yyval.tv_str = yyvsp[0].tv_str; ; break;} -case 266: -#line 2017 "asn1p_y.y" +case 268: +#line 2025 "asn1p_y.y" { checkmem(yyvsp[0].tv_str); yyval.tv_str = yyvsp[0].tv_str; ; break;} -case 267: -#line 2024 "asn1p_y.y" +case 269: +#line 2032 "asn1p_y.y" { yyval.tv_str = 0; ; break;} -case 268: -#line 2025 "asn1p_y.y" +case 270: +#line 2033 "asn1p_y.y" { yyval.tv_str = yyvsp[0].tv_str; ; break;} -case 269: -#line 2030 "asn1p_y.y" +case 271: +#line 2038 "asn1p_y.y" { checkmem(yyvsp[0].tv_str); yyval.tv_str = yyvsp[0].tv_str; @@ -3603,7 +3625,7 @@ yyerrhandle: } return 1; } -#line 2036 "asn1p_y.y" +#line 2044 "asn1p_y.y" diff --git a/libasn1parser/asn1p_y.y b/libasn1parser/asn1p_y.y index b3796675..f9c7ed4f 100644 --- a/libasn1parser/asn1p_y.y +++ b/libasn1parser/asn1p_y.y @@ -1388,12 +1388,11 @@ DefinedValue: Opaque: TOK_opaque { - $$.len = $1.len + 2; + $$.len = $1.len + 1; $$.buf = malloc($$.len + 1); checkmem($$.buf); $$.buf[0] = '{'; - $$.buf[1] = ' '; - memcpy($$.buf + 2, $1.buf, $1.len); + memcpy($$.buf + 1, $1.buf, $1.len); $$.buf[$$.len] = '\0'; free($1.buf); } @@ -1623,6 +1622,15 @@ ConstraintSubtypeElement: | WithComponents { $$ = $1; } + | TOK_CONSTRAINED TOK_BY '{' + { asn1p_lexer_hack_push_opaque_state(); } Opaque /* '}' */ { + $$ = asn1p_constraint_new(yylineno); + checkmem($$); + $$->type = ACT_CT_CTDBY; + $$->value = asn1p_value_frombuf($5.buf, $5.len, 0); + checkmem($$->value); + $$->value->type = ATV_UNPARSED; + } ; ConstraintRangeSpec: |