From: H.G. Muller Date: Thu, 16 Sep 2010 15:43:59 +0000 (+0200) Subject: Allow parsing of upper-case machine moves X-Git-Url: http://winboard.nl/cgi-bin?p=xboard.git;a=commitdiff_plain;h=0b9c1cc5e48c60cd989d7dac4e5476a0893b4ef2 Allow parsing of upper-case machine moves Dubious patch, as it caters to non-compliancy. Some variant engines are very non-compliant, though. --- diff --git a/parser.c b/parser.c index 88897d0..ee1e2b1 100644 --- a/parser.c +++ b/parser.c @@ -366,8 +366,8 @@ static void yy_fatal_error (yyconst char msg[] ); *yy_cp = '\0'; \ (yy_c_buf_p) = yy_cp; -#define YY_NUM_RULES 42 -#define YY_END_OF_BUFFER 43 +#define YY_NUM_RULES 43 +#define YY_END_OF_BUFFER 44 /* This struct is not used in this scanner, but its presence is necessary. */ struct yy_trans_info @@ -375,154 +375,159 @@ struct yy_trans_info flex_int32_t yy_verify; flex_int32_t yy_nxt; }; -static yyconst flex_int16_t yy_acclist[606] = +static yyconst flex_int16_t yy_acclist[623] = { 0, - 43, 41, 42, 41, 42, 41, 42, 40, 41, 42, - 41, 42, 25, 41, 42, 41, 42, 40, 41, 42, - 40, 41, 42,16410, 40, 41, 42,16410, 41, 42, - 40, 41, 42, 40, 41, 42, 40, 41, 42, 40, - 41, 42, 40, 41, 42, 40, 41, 42, 40, 41, - 42, 40, 41, 42, 40, 41, 42, 40, 41, 42, - 41, 42, 40, 41, 42, 40, 41, 42, 40, 41, - 42, 40, 41, 42, 40, 41, 42, 40, 41, 42, - 40, 41, 42, 40, 41, 42, 40, 41, 42, 40, - 41, 42, 40, 41, 42, 40, 41, 42, 40, 41, - - 42, 40, 41, 42, 40, 41, 42, 40, 41, 42, - 40, 41, 42, 41, 42, 41, 42, 40, 41, 42, - 40, 41, 42, 40, 41, 42,16410, 40, 41, 42, - 16410, 41, 42, 40, 41, 42, 40, 41, 42, 40, - 41, 42, 40, 41, 42, 40, 41, 42, 40, 41, - 42, 40, 41, 42, 40, 41, 42, 40, 41, 42, - 40, 41, 42, 40, 41, 42, 40, 41, 42, 40, - 41, 42, 40, 41, 42, 40, 41, 42, 40, 41, - 42, 40, 41, 42, 40, 41, 42, 40, 41, 42, - 40, 41, 42, 40, 41, 42, 40, 41, 42, 40, - - 41, 42, 40, 41, 42, 40, 41, 42, 40, 41, - 42, 40, 41, 42, 41, 42, 33, 40, 17, 40, - 9, 40, 40, 40,16410, 8218, 40, 35, 40, 40, - 40, 40, 40, 40, 40, 40, 40, 40, 9, 40, - 40, 40, 40, 36, 40, 3, 40, 40, 4, 40, - 40, 40, 40, 40, 40, 9, 40, 40, 40, 34, - 40, 40, 9, 40, 40, 40,16410, 8218, 40, 40, - 40, 40, 40, 40, 40, 40, 40, 40, 40, 9, - 40, 40, 40, 40, 40, 3, 40, 40, 4, 40, - 40, 40, 40, 40, 40, 9, 40, 40, 40, 15, - - 9, 40, 23, 40, 23, 8, 40, 8218, 22, 40, - 22, 24, 40, 40, 40, 6, 40, 40, 40, 40, - 40, 40, 9, 40, 40, 40, 40, 4, 40, 40, - 3, 3, 40, 3, 40, 3, 40, 4, 5, 40, - 4, 4, 40, 40, 40, 40, 9, 40, 40, 34, - 39, 9, 40, 23, 40, 8, 40, 22, 40, 35, - 40, 40, 40, 6, 40, 40, 40, 40, 40, 40, - 9, 40, 40, 40, 40, 4, 40, 40, 3, 40, - 3, 40, 3, 40, 5, 40, 4, 40, 40, 40, - 40, 9, 40, 40, 38, 38, 38, 37, 25, 25, - - 6, 40, 10, 6, 40, 7, 40, 6, 40, 6, - 40, 40, 40, 19, 40, 40, 16, 40, 40, 40, - 40, 40, 36, 3, 40, 3, 2, 40, 5, 4, - 5, 5, 40, 40, 4, 4, 40, 40, 25, 39, - 40, 6, 40, 7, 40, 40, 40, 40, 40, 19, - 40, 40, 16, 40, 40, 40, 40, 40, 40, 2, - 40, 5, 40, 40, 4, 40, 40, 38, 7, 7, - 1, 40, 20, 40, 40, 19, 40, 40, 40, 40, - 40, 40, 30, 36, 2, 2, 2, 40, 5, 5, - 5, 40, 39, 1, 40, 40, 40, 19, 40, 40, - - 40, 40, 40, 40, 2, 40, 5, 40, 27, 38, - 1, 23, 23, 22, 22, 24, 24, 1, 1, 40, - 21, 20, 40, 40, 40, 11, 40, 40, 28, 36, - 30, 2, 2, 27, 34, 39, 39, 1, 40, 40, - 40, 40, 11, 40, 40, 18, 1, 24, 1, 21, - 19, 40, 40, 40, 11, 40, 40, 40, 40, 40, - 11, 40, 40, 12, 40, 40, 40, 40, 12, 40, - 40, 14, 40, 40, 40, 14, 40, 40, 40, 39, - 40, 40, 40, 40, 39, 39, 40, 40, 31, 40, - 39, 39, 31, 40, 13, 31, 32, 32, 35, 39, - - 39, 31, 39, 34, 29 + 44, 42, 43, 42, 43, 42, 43, 41, 42, 43, + 42, 43, 26, 42, 43, 42, 43, 41, 42, 43, + 41, 42, 43,16411, 41, 42, 43,16411, 42, 43, + 41, 42, 43, 41, 42, 43, 41, 42, 43, 41, + 42, 43, 41, 42, 43, 41, 42, 43, 41, 42, + 43, 41, 42, 43, 41, 42, 43, 41, 42, 43, + 41, 42, 43, 42, 43, 41, 42, 43, 41, 42, + 43, 41, 42, 43, 41, 42, 43, 41, 42, 43, + 41, 42, 43, 41, 42, 43, 41, 42, 43, 41, + 42, 43, 41, 42, 43, 41, 42, 43, 41, 42, + + 43, 41, 42, 43, 41, 42, 43, 41, 42, 43, + 41, 42, 43, 41, 42, 43, 42, 43, 42, 43, + 41, 42, 43, 41, 42, 43, 41, 42, 43,16411, + 41, 42, 43,16411, 42, 43, 41, 42, 43, 41, + 42, 43, 41, 42, 43, 41, 42, 43, 41, 42, + 43, 41, 42, 43, 41, 42, 43, 41, 42, 43, + 41, 42, 43, 41, 42, 43, 41, 42, 43, 41, + 42, 43, 41, 42, 43, 41, 42, 43, 41, 42, + 43, 41, 42, 43, 41, 42, 43, 41, 42, 43, + 41, 42, 43, 41, 42, 43, 41, 42, 43, 41, + + 42, 43, 41, 42, 43, 41, 42, 43, 41, 42, + 43, 41, 42, 43, 41, 42, 43, 41, 42, 43, + 42, 43, 34, 41, 18, 41, 10, 41, 41, 41, + 16411, 8219, 41, 36, 41, 41, 41, 41, 41, 41, + 41, 41, 41, 41, 41, 10, 41, 41, 41, 41, + 37, 41, 4, 41, 41, 5, 41, 41, 41, 41, + 41, 41, 10, 41, 41, 41, 35, 41, 41, 10, + 41, 41, 41,16411, 8219, 41, 41, 41, 41, 41, + 41, 41, 41, 41, 41, 41, 41, 10, 41, 41, + 41, 41, 41, 4, 41, 41, 5, 41, 41, 41, + + 41, 41, 41, 10, 41, 41, 41, 16, 10, 41, + 24, 41, 24, 9, 41, 8219, 23, 41, 23, 25, + 41, 41, 41, 41, 41, 7, 41, 41, 41, 41, + 41, 41, 10, 41, 41, 41, 41, 5, 41, 41, + 4, 4, 41, 4, 41, 4, 41, 5, 6, 41, + 5, 5, 41, 41, 41, 41, 10, 41, 41, 35, + 40, 10, 41, 24, 41, 9, 41, 23, 41, 36, + 41, 41, 41, 41, 41, 7, 41, 41, 41, 41, + 41, 41, 10, 41, 41, 41, 41, 5, 41, 41, + 4, 41, 4, 41, 4, 41, 6, 41, 5, 41, + + 41, 41, 41, 10, 41, 41, 39, 39, 39, 38, + 26, 26, 7, 41, 11, 7, 41, 3, 41, 8, + 41, 7, 41, 7, 41, 41, 41, 20, 41, 41, + 17, 41, 41, 41, 41, 41, 37, 4, 41, 4, + 2, 41, 6, 5, 6, 6, 41, 41, 5, 5, + 41, 41, 26, 40, 41, 7, 41, 3, 41, 8, + 41, 41, 41, 41, 41, 20, 41, 41, 17, 41, + 41, 41, 41, 41, 41, 2, 41, 6, 41, 41, + 5, 41, 41, 39, 8, 3, 8, 1, 41, 21, + 41, 41, 20, 41, 41, 41, 41, 41, 41, 31, + + 37, 2, 2, 2, 41, 6, 6, 6, 41, 40, + 1, 41, 41, 41, 20, 41, 41, 41, 41, 41, + 41, 2, 41, 6, 41, 28, 39, 1, 24, 24, + 23, 23, 25, 25, 1, 1, 41, 22, 21, 41, + 41, 41, 12, 41, 41, 29, 37, 31, 2, 2, + 28, 35, 40, 40, 1, 41, 41, 41, 41, 12, + 41, 41, 19, 1, 25, 1, 22, 20, 41, 41, + 41, 12, 41, 41, 41, 41, 41, 12, 41, 41, + 13, 41, 41, 41, 41, 13, 41, 41, 15, 41, + 41, 41, 15, 41, 41, 41, 40, 41, 41, 41, + + 41, 40, 40, 41, 41, 32, 41, 40, 40, 32, + 41, 14, 32, 33, 33, 36, 40, 40, 32, 40, + 35, 30 } ; -static yyconst flex_int16_t yy_accept[691] = +static yyconst flex_int16_t yy_accept[705] = { 0, 1, 1, 1, 2, 4, 6, 8, 11, 13, 16, 18, 21, 25, 29, 31, 34, 37, 40, 43, 46, - 49, 52, 55, 58, 61, 63, 66, 69, 72, 75, + 49, 52, 55, 58, 61, 64, 66, 69, 72, 75, 78, 81, 84, 87, 90, 93, 96, 99, 102, 105, - 108, 111, 114, 116, 118, 121, 124, 128, 132, 134, + 108, 111, 114, 117, 119, 121, 124, 127, 131, 135, 137, 140, 143, 146, 149, 152, 155, 158, 161, 164, 167, 170, 173, 176, 179, 182, 185, 188, 191, 194, - 197, 200, 203, 206, 209, 212, 215, 217, 217, 218, - 219, 219, 219, 219, 219, 220, 220, 220, 220, 221, - 221, 223, 223, 223, 223, 224, 224, 224, 226, 226, - - 228, 228, 229, 229, 230, 230, 231, 231, 232, 232, - 233, 234, 235, 236, 237, 238, 239, 241, 242, 243, - 244, 244, 244, 244, 244, 245, 246, 248, 248, 249, - 251, 252, 253, 254, 255, 256, 258, 259, 260, 260, - 260, 260, 261, 261, 262, 262, 263, 265, 265, 266, - 268, 268, 270, 270, 271, 272, 272, 273, 274, 275, - 276, 277, 278, 279, 280, 282, 283, 284, 285, 286, - 288, 288, 289, 291, 292, 293, 294, 295, 296, 298, - 299, 300, 300, 300, 300, 300, 300, 300, 300, 300, - 300, 300, 300, 301, 301, 301, 301, 301, 301, 303, - - 305, 306, 308, 309, 309, 309, 309, 311, 312, 313, - 313, 314, 314, 315, 315, 316, 316, 318, 318, 318, - 318, 318, 318, 318, 319, 320, 321, 322, 323, 325, - 326, 327, 328, 328, 328, 328, 328, 330, 330, 331, - 331, 332, 334, 336, 338, 339, 339, 341, 342, 344, - 345, 346, 347, 349, 350, 351, 351, 351, 351, 351, - 352, 354, 356, 358, 360, 360, 361, 361, 362, 363, - 363, 364, 366, 367, 368, 369, 370, 371, 373, 374, - 375, 376, 378, 379, 379, 381, 383, 385, 387, 389, - 390, 391, 392, 394, 395, 395, 395, 396, 397, 397, - - 397, 398, 398, 398, 399, 399, 399, 400, 400, 401, - 401, 402, 402, 402, 402, 403, 403, 403, 403, 403, - 403, 403, 403, 404, 406, 406, 408, 409, 410, 410, - 411, 412, 412, 412, 412, 412, 412, 412, 413, 414, - 416, 416, 417, 419, 420, 421, 422, 423, 423, 423, - 423, 423, 424, 425, 426, 426, 427, 429, 430, 431, - 431, 431, 432, 434, 435, 436, 436, 438, 439, 439, - 440, 440, 440, 440, 440, 441, 441, 442, 442, 442, - 444, 446, 447, 447, 448, 449, 450, 452, 453, 455, - 456, 457, 458, 459, 460, 462, 464, 465, 467, 468, - - 468, 468, 468, 468, 469, 469, 469, 469, 469, 470, - 470, 470, 470, 470, 470, 470, 470, 470, 470, 471, - 473, 473, 473, 473, 473, 473, 474, 475, 476, 476, - 478, 478, 479, 480, 481, 482, 483, 483, 483, 485, - 485, 485, 486, 486, 487, 489, 490, 490, 491, 491, - 493, 493, 493, 493, 493, 493, 493, 493, 494, 494, - 494, 496, 497, 498, 500, 501, 502, 503, 504, 505, - 507, 509, 509, 509, 509, 509, 509, 509, 511, 511, - 512, 512, 513, 513, 514, 514, 515, 515, 516, 516, - 517, 517, 518, 518, 518, 518, 519, 521, 521, 521, - - 522, 522, 522, 523, 524, 524, 524, 524, 524, 524, - 525, 526, 528, 529, 531, 531, 532, 533, 534, 534, - 534, 536, 536, 536, 537, 538, 538, 538, 540, 541, - 542, 543, 545, 546, 546, 547, 547, 547, 547, 547, - 548, 548, 549, 550, 550, 550, 551, 551, 551, 552, - 552, 552, 552, 552, 553, 554, 555, 557, 558, 558, - 558, 558, 558, 558, 559, 560, 561, 563, 564, 564, - 564, 564, 564, 564, 564, 565, 565, 565, 565, 565, - 566, 567, 567, 567, 567, 567, 568, 569, 569, 569, - 569, 569, 570, 570, 570, 570, 571, 572, 574, 574, - - 574, 574, 574, 575, 575, 576, 578, 578, 578, 578, - 578, 579, 580, 580, 580, 580, 580, 581, 582, 583, - 583, 583, 583, 583, 583, 584, 585, 585, 585, 585, - 585, 586, 587, 588, 589, 589, 589, 589, 589, 589, - 591, 591, 591, 591, 591, 592, 593, 595, 595, 595, - 596, 596, 597, 597, 598, 598, 598, 600, 600, 601, - 602, 602, 602, 602, 602, 604, 604, 604, 604, 604, - 604, 604, 604, 604, 604, 604, 604, 604, 604, 604, - 604, 604, 604, 604, 604, 604, 604, 605, 606, 606 + 197, 200, 203, 206, 209, 212, 215, 218, 221, 223, + 223, 224, 225, 225, 225, 225, 225, 226, 226, 226, + 226, 227, 227, 229, 229, 229, 229, 230, 230, 230, + + 232, 232, 234, 234, 235, 235, 236, 236, 237, 237, + 238, 238, 239, 240, 241, 242, 243, 244, 245, 246, + 248, 249, 250, 251, 251, 251, 251, 251, 252, 253, + 255, 255, 256, 258, 259, 260, 261, 262, 263, 265, + 266, 267, 267, 267, 267, 268, 268, 269, 269, 270, + 272, 272, 273, 275, 275, 277, 277, 278, 279, 279, + 280, 281, 282, 283, 284, 285, 286, 287, 288, 290, + 291, 292, 293, 294, 296, 296, 297, 299, 300, 301, + 302, 303, 304, 306, 307, 308, 308, 308, 308, 308, + 308, 308, 308, 308, 308, 308, 308, 309, 309, 309, + + 309, 309, 309, 311, 313, 314, 316, 317, 317, 317, + 317, 319, 320, 321, 321, 322, 322, 323, 323, 324, + 325, 325, 326, 328, 328, 328, 328, 328, 328, 328, + 328, 329, 330, 331, 332, 333, 335, 336, 337, 338, + 338, 338, 338, 338, 340, 340, 341, 341, 342, 344, + 346, 348, 349, 349, 351, 352, 354, 355, 356, 357, + 359, 360, 361, 361, 361, 361, 361, 362, 364, 366, + 368, 370, 370, 371, 371, 372, 373, 373, 374, 375, + 376, 378, 378, 379, 380, 381, 382, 383, 385, 386, + 387, 388, 390, 391, 391, 393, 395, 397, 399, 401, + + 402, 403, 404, 406, 407, 407, 407, 408, 409, 409, + 409, 410, 410, 410, 411, 411, 411, 412, 412, 413, + 413, 414, 414, 414, 414, 415, 415, 415, 415, 415, + 415, 415, 415, 416, 418, 418, 418, 420, 422, 423, + 424, 424, 425, 426, 426, 426, 426, 426, 426, 426, + 427, 428, 430, 430, 431, 433, 434, 435, 436, 437, + 437, 437, 437, 437, 438, 439, 440, 440, 441, 443, + 444, 445, 445, 445, 446, 448, 449, 450, 450, 452, + 453, 453, 454, 454, 454, 454, 454, 455, 455, 456, + 456, 456, 458, 460, 462, 463, 463, 464, 465, 466, + + 468, 469, 471, 472, 473, 474, 475, 476, 478, 480, + 481, 483, 484, 484, 484, 484, 484, 485, 485, 485, + 485, 485, 486, 486, 486, 486, 486, 486, 486, 486, + 486, 486, 487, 488, 490, 490, 490, 490, 490, 490, + 491, 492, 493, 493, 495, 495, 496, 497, 498, 499, + 500, 500, 500, 502, 502, 502, 503, 503, 504, 506, + 507, 507, 508, 508, 510, 510, 510, 510, 510, 510, + 510, 510, 511, 511, 511, 513, 514, 515, 517, 518, + 519, 520, 521, 522, 524, 526, 526, 526, 526, 526, + 526, 526, 528, 528, 529, 529, 530, 530, 531, 531, + + 532, 532, 533, 533, 534, 534, 535, 535, 535, 535, + 536, 538, 538, 538, 539, 539, 539, 540, 541, 541, + 541, 541, 541, 541, 542, 543, 545, 546, 548, 548, + 549, 550, 551, 551, 551, 553, 553, 553, 554, 555, + 555, 555, 557, 558, 559, 560, 562, 563, 563, 564, + 564, 564, 564, 564, 565, 565, 566, 567, 567, 567, + 568, 568, 568, 569, 569, 569, 569, 569, 570, 571, + 572, 574, 575, 575, 575, 575, 575, 575, 576, 577, + 578, 580, 581, 581, 581, 581, 581, 581, 581, 582, + 582, 582, 582, 582, 583, 584, 584, 584, 584, 584, + + 585, 586, 586, 586, 586, 586, 587, 587, 587, 587, + 588, 589, 591, 591, 591, 591, 591, 592, 592, 593, + 595, 595, 595, 595, 595, 596, 597, 597, 597, 597, + 597, 598, 599, 600, 600, 600, 600, 600, 600, 601, + 602, 602, 602, 602, 602, 603, 604, 605, 606, 606, + 606, 606, 606, 606, 608, 608, 608, 608, 608, 609, + 610, 612, 612, 612, 613, 613, 614, 614, 615, 615, + 615, 617, 617, 618, 619, 619, 619, 619, 619, 621, + 621, 621, 621, 621, 621, 621, 621, 621, 621, 621, + 621, 621, 621, 621, 621, 621, 621, 621, 621, 621, + + 621, 622, 623, 623 } ; static yyconst flex_int32_t yy_ec[256] = @@ -534,13 +539,13 @@ static yyconst flex_int32_t yy_ec[256] = 11, 12, 13, 1, 14, 15, 16, 17, 18, 19, 20, 20, 20, 20, 20, 20, 20, 21, 22, 1, 23, 1, 1, 24, 25, 26, 27, 28, 29, 30, - 31, 32, 33, 33, 34, 35, 36, 37, 38, 34, - 34, 39, 40, 33, 41, 33, 42, 43, 33, 33, - 44, 1, 45, 1, 46, 1, 47, 48, 49, 50, + 31, 32, 33, 33, 34, 35, 36, 37, 38, 39, + 39, 40, 41, 42, 43, 42, 44, 45, 42, 42, + 46, 1, 47, 1, 48, 1, 49, 50, 51, 52, - 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, - 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, - 71, 68, 72, 1, 73, 1, 1, 1, 1, 1, + 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, + 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, + 73, 70, 74, 1, 75, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, @@ -557,629 +562,667 @@ static yyconst flex_int32_t yy_ec[256] = 1, 1, 1, 1, 1 } ; -static yyconst flex_int32_t yy_meta[74] = +static yyconst flex_int32_t yy_meta[76] = { 0, 1, 2, 3, 2, 1, 1, 1, 1, 4, 5, 6, 1, 7, 8, 1, 1, 9, 9, 9, 9, 10, 1, 11, 1, 12, 12, 12, 12, 12, 12, - 12, 12, 13, 12, 13, 13, 12, 12, 12, 13, - 13, 12, 14, 1, 1, 1, 15, 15, 15, 15, - 16, 15, 15, 15, 15, 15, 15, 15, 17, 18, - 18, 18, 18, 18, 17, 17, 17, 17, 17, 19, - 17, 1, 1 + 12, 12, 13, 12, 13, 13, 12, 12, 12, 12, + 13, 13, 13, 12, 14, 1, 1, 1, 15, 15, + 15, 15, 16, 15, 15, 15, 15, 15, 15, 15, + 17, 18, 18, 18, 18, 18, 17, 17, 17, 17, + 17, 19, 17, 1, 1 } ; -static yyconst flex_int16_t yy_base[769] = +static yyconst flex_int16_t yy_base[785] = { 0, - 0, 73, 3831, 3832, 122, 131, 0, 142, 3826, 140, - 151, 171, 162, 3826, 231, 159, 3774, 3763, 119, 3779, - 143, 3774, 3758, 190, 301, 361, 211, 207, 279, 215, - 224, 284, 243, 286, 301, 303, 305, 3776, 232, 3771, - 3755, 264, 351, 3816, 149, 379, 430, 351, 255, 493, - 212, 3765, 3754, 327, 3770, 157, 3765, 3749, 331, 555, - 372, 245, 378, 351, 468, 530, 475, 477, 505, 523, - 508, 576, 578, 385, 579, 610, 615, 3761, 372, 0, - 3803, 309, 630, 431, 3832, 3707, 675, 575, 405, 3683, - 3665, 3645, 450, 639, 3639, 472, 165, 640, 3638, 0, - - 3651, 3832, 0, 699, 0, 744, 0, 648, 787, 652, - 656, 3606, 3611, 3569, 693, 3565, 3564, 697, 3554, 664, - 3555, 856, 352, 929, 3832, 956, 1006, 0, 1031, 1080, - 660, 717, 721, 3533, 3463, 3444, 3421, 3412, 435, 3375, - 757, 3425, 3353, 497, 3352, 517, 607, 550, 681, 1130, - 160, 518, 554, 1193, 1238, 3310, 686, 762, 787, 764, - 617, 676, 750, 3271, 803, 816, 864, 835, 1262, 1312, - 3304, 1337, 1387, 874, 888, 895, 700, 823, 865, 762, - 866, 885, 3243, 583, 610, 626, 652, 676, 944, 949, - 3295, 3232, 3832, 882, 1190, 3290, 3287, 3286, 3196, 3205, - - 3201, 0, 3832, 3200, 3197, 3179, 3160, 2966, 799, 830, - 900, 958, 1412, 928, 962, 966, 1457, 2910, 2902, 2901, - 2914, 2823, 382, 970, 1075, 2804, 759, 2818, 2854, 2812, - 2807, 1108, 572, 1213, 739, 1527, 1591, 0, 1596, 0, - 2837, 2817, 2642, 1118, 1202, 1246, 1645, 2640, 2638, 238, - 2598, 2597, 2631, 2578, 3832, 1210, 979, 2639, 211, 2639, - 1132, 1253, 606, 1263, 697, 2637, 895, 1217, 1688, 2636, - 1259, 1733, 1467, 1472, 901, 1536, 1252, 1261, 1121, 1532, - 1541, 1795, 1800, 2601, 810, 2580, 1556, 1849, 1535, 1573, - 1473, 1474, 1570, 1543, 1566, 2536, 3832, 778, 832, 913, - - 982, 984, 989, 3832, 1585, 2575, 2574, 2450, 2449, 1281, - 1646, 2503, 2487, 2473, 2473, 585, 2470, 367, 2469, 636, - 1680, 1136, 3832, 2462, 1679, 2458, 2457, 1854, 1594, 3832, - 1287, 2414, 2414, 2412, 2410, 2410, 2414, 2416, 2415, 968, - 510, 598, 0, 2433, 2417, 2418, 2417, 1007, 1161, 1046, - 1354, 2462, 2455, 1455, 1479, 3832, 1694, 1560, 2454, 1081, - 1587, 1682, 2453, 1209, 3832, 2400, 0, 2400, 1789, 2456, - 1711, 1744, 2412, 2397, 2454, 403, 1572, 1430, 374, 1545, - 1697, 1866, 2449, 1750, 819, 1698, 1753, 1916, 1009, 1757, - 1789, 1742, 1790, 1921, 1935, 1791, 1942, 1315, 1689, 1584, - - 2401, 1091, 2440, 1221, 1244, 1317, 1392, 1509, 2427, 1711, - 2438, 2375, 2436, 2373, 2434, 2371, 2425, 1757, 3832, 1995, - 2393, 2388, 1452, 2388, 2383, 2372, 2432, 1266, 1921, 2431, - 688, 2401, 2378, 2368, 2368, 2420, 1386, 1891, 3832, 2408, - 1930, 933, 1388, 1711, 2397, 2396, 1417, 3832, 2344, 0, - 2390, 1944, 2386, 1642, 2386, 2343, 2336, 1841, 1603, 1575, - 2030, 1957, 1941, 1963, 1959, 1955, 1981, 1986, 1970, 1852, - 1962, 1979, 1810, 1491, 2389, 1515, 1602, 3832, 2064, 1754, - 2388, 2387, 2324, 2323, 2384, 2383, 2320, 2316, 2376, 2375, - 2307, 2306, 2362, 2358, 1791, 1963, 2365, 2314, 2323, 1943, - - 760, 2320, 3832, 2324, 2359, 2318, 2296, 2336, 2306, 2316, - 2290, 1482, 2307, 3832, 2009, 3832, 2340, 3832, 2331, 2073, - 2336, 2284, 2279, 2328, 1862, 1101, 1720, 1978, 2068, 2076, - 2077, 2078, 2079, 2091, 3832, 2279, 2317, 1655, 2091, 2316, - 2320, 2319, 3832, 2260, 2251, 3832, 2241, 2289, 2288, 2236, - 2293, 2250, 2218, 2227, 2193, 2201, 0, 2181, 2100, 2241, - 2177, 1793, 1633, 2104, 2086, 1994, 1989, 2103, 2118, 2179, - 2219, 1681, 2165, 2158, 1878, 2169, 1755, 2146, 2117, 2191, - 2112, 2052, 2041, 1589, 1812, 2264, 2114, 2127, 2014, 2027, - 1999, 3832, 1950, 1786, 1961, 2337, 1972, 0, 1910, 1874, - - 1993, 598, 2410, 2075, 2089, 2113, 2135, 1850, 1813, 2106, - 1804, 1713, 1668, 1635, 1721, 758, 2124, 1625, 1600, 2136, - 1520, 1489, 2109, 2117, 1380, 1283, 1272, 1235, 1895, 1867, - 2130, 2163, 1194, 1154, 2144, 2103, 1148, 2158, 2121, 0, - 1047, 970, 924, 1998, 2187, 2202, 0, 2153, 839, 3832, - 821, 2126, 787, 3832, 567, 501, 3832, 2172, 2225, 2231, - 2157, 380, 362, 1923, 2228, 2218, 288, 2178, 944, 2175, - 2177, 2238, 2239, 2243, 2246, 2289, 2290, 2291, 2293, 2299, - 2311, 2312, 2315, 2318, 2319, 2216, 190, 3832, 3832, 2480, - 2499, 2512, 2526, 2545, 2564, 2580, 2599, 2618, 2636, 1881, - - 1912, 2027, 2654, 2673, 2031, 2692, 2711, 2730, 2749, 2768, - 2787, 2806, 2825, 2844, 2856, 2875, 2894, 2913, 2932, 2940, - 2169, 2955, 2971, 2990, 3009, 3028, 3047, 3066, 3085, 3104, - 3123, 3142, 3161, 3180, 3192, 3211, 3230, 3249, 3268, 3284, - 3299, 3315, 3334, 3350, 3369, 3388, 3407, 3426, 3445, 3464, - 3483, 3502, 3521, 3540, 3559, 3578, 3593, 3612, 3631, 3646, - 3660, 3679, 3698, 3717, 3736, 3755, 3774, 3793 + 0, 75, 3642, 4141, 126, 135, 0, 146, 3633, 144, + 155, 175, 166, 3633, 237, 163, 3579, 3568, 123, 249, + 245, 261, 253, 283, 300, 356, 418, 256, 259, 272, + 277, 286, 336, 293, 227, 295, 347, 334, 3584, 159, + 3569, 3551, 194, 405, 3614, 153, 412, 489, 396, 309, + 554, 328, 3482, 3471, 124, 430, 423, 562, 434, 566, + 440, 626, 395, 362, 433, 412, 538, 540, 445, 566, + 570, 592, 589, 325, 644, 366, 645, 652, 685, 3478, + 613, 0, 3522, 371, 699, 178, 4141, 3516, 747, 641, + 471, 3493, 3475, 3311, 509, 708, 3308, 533, 164, 711, + + 3307, 0, 3320, 4141, 0, 771, 0, 823, 0, 883, + 928, 3233, 3224, 3226, 3231, 3204, 650, 3118, 3147, 3143, + 3113, 3130, 3120, 3112, 999, 300, 1074, 4141, 1101, 1153, + 0, 1178, 1230, 672, 677, 716, 3072, 2971, 2967, 2962, + 2971, 334, 2874, 720, 2942, 2941, 380, 2939, 733, 735, + 416, 736, 1302, 655, 406, 561, 1367, 1419, 2938, 1479, + 2892, 2887, 722, 737, 764, 757, 2871, 2900, 770, 2870, + 738, 2879, 1503, 1555, 2897, 1580, 1632, 889, 896, 966, + 902, 772, 773, 909, 903, 917, 2821, 587, 607, 626, + 653, 690, 1007, 1019, 2872, 2807, 4141, 741, 1035, 2877, + + 2815, 2814, 2803, 2797, 2783, 0, 4141, 2782, 2779, 2778, + 2777, 2773, 940, 792, 797, 929, 1681, 1717, 933, 978, + 1014, 1032, 1764, 1027, 2719, 2712, 2711, 2724, 2719, 630, + 1051, 1074, 2700, 989, 2717, 2755, 2711, 2707, 1096, 824, + 1128, 701, 1836, 1902, 0, 1907, 0, 2756, 2754, 2753, + 1086, 1124, 1376, 1958, 2753, 2751, 610, 2710, 2709, 2744, + 2689, 4141, 1491, 766, 2752, 666, 2752, 825, 953, 950, + 969, 785, 2750, 1323, 1091, 2003, 2749, 1118, 1383, 1380, + 2050, 2745, 1495, 1708, 1370, 1498, 1497, 1108, 1744, 1770, + 1785, 2114, 2119, 2744, 956, 2736, 1779, 2170, 970, 1368, + + 1496, 1774, 1304, 1833, 1240, 2693, 4141, 859, 911, 915, + 1032, 1040, 1077, 4141, 1744, 2734, 2733, 2668, 2667, 1290, + 1841, 2723, 2722, 2721, 2721, 1091, 2720, 180, 2719, 1421, + 1849, 710, 4141, 2711, 1852, 1503, 0, 2710, 2709, 2175, + 1835, 4141, 1523, 2664, 2664, 2662, 2656, 2656, 2660, 2662, + 2659, 1320, 1118, 1220, 0, 2669, 2647, 2648, 2647, 1152, + 1154, 922, 1676, 2694, 2687, 1701, 1809, 4141, 1875, 1851, + 2686, 1333, 1855, 1867, 2685, 1334, 4141, 2631, 0, 2631, + 1897, 2689, 1905, 2000, 2643, 2628, 2687, 565, 1772, 256, + 1137, 1858, 1421, 1882, 2187, 2685, 2030, 1961, 2006, 2004, + + 2058, 1558, 2059, 1867, 1897, 2060, 2065, 2111, 1771, 2239, + 1635, 2241, 1966, 2635, 1108, 2676, 1113, 1231, 1235, 1267, + 1370, 2663, 1814, 2674, 2608, 2671, 2606, 2669, 2604, 2656, + 1883, 4141, 4141, 2295, 2622, 2618, 2024, 2618, 2613, 2602, + 2664, 420, 2209, 2663, 1411, 2634, 2609, 2599, 2596, 2651, + 1530, 1971, 4141, 2649, 1975, 1996, 2000, 2065, 2638, 2637, + 1743, 4141, 2583, 0, 2631, 2112, 2620, 2073, 2615, 2566, + 2559, 1599, 1807, 1719, 2332, 2247, 2246, 2248, 2244, 2249, + 2255, 2285, 2257, 1996, 2117, 2269, 983, 1424, 2614, 1455, + 1516, 4141, 2171, 2088, 2613, 2612, 2547, 2546, 2609, 2608, + + 2543, 2541, 2604, 2603, 2537, 2533, 2583, 2577, 2261, 2264, + 2580, 2527, 2536, 2224, 1783, 2533, 4141, 2532, 2569, 2521, + 2500, 2539, 2504, 2510, 2480, 1973, 2495, 4141, 2114, 4141, + 2531, 4141, 2522, 2375, 2528, 2464, 2458, 2510, 1949, 392, + 271, 2277, 2370, 2272, 2276, 2375, 2376, 2276, 4141, 2455, + 2464, 1560, 2370, 2463, 2463, 2462, 4141, 2395, 2399, 4141, + 2392, 2438, 2412, 2319, 2352, 2313, 2282, 2307, 2278, 2264, + 0, 2247, 2383, 2310, 2244, 1644, 1500, 2389, 2280, 2395, + 2287, 2396, 2404, 2248, 2290, 1798, 2218, 2195, 2066, 2169, + 2004, 2151, 2116, 2479, 2112, 2024, 2019, 1757, 842, 2554, + + 2390, 2418, 1974, 1956, 1924, 4141, 1903, 2041, 2081, 2629, + 2135, 0, 1897, 1839, 2159, 1721, 2704, 2378, 2169, 2290, + 2421, 1845, 1814, 2389, 1618, 1584, 1583, 1486, 787, 598, + 2405, 1509, 1440, 2423, 1322, 1282, 2264, 2384, 1285, 1198, + 1093, 1124, 2040, 1753, 2410, 2474, 1097, 913, 2437, 2381, + 872, 2398, 2415, 0, 916, 764, 769, 2163, 2473, 2475, + 0, 2449, 718, 4141, 686, 2400, 618, 4141, 440, 373, + 4141, 2349, 2485, 2466, 2458, 293, 273, 1809, 2517, 2468, + 168, 2409, 1309, 2347, 2456, 2504, 2508, 2532, 2535, 2536, + 2538, 2568, 2581, 2583, 2584, 2589, 2590, 2591, 2603, 2470, + + 165, 4141, 4141, 2776, 2795, 2808, 2822, 2841, 2860, 2876, + 2895, 2914, 2932, 1933, 2030, 2148, 2950, 2969, 2170, 2988, + 3007, 3023, 3042, 3061, 3080, 3099, 3118, 3137, 3156, 3168, + 3187, 3206, 3225, 3244, 3252, 2205, 3267, 3283, 3302, 3318, + 3337, 3356, 3375, 3394, 3413, 3432, 3451, 3470, 3489, 3508, + 3520, 3539, 3558, 3577, 3596, 3612, 3627, 3643, 3662, 3678, + 3697, 3716, 3735, 3754, 3773, 3792, 3811, 3830, 3849, 3868, + 3887, 3906, 3921, 3940, 3959, 3974, 3988, 4007, 4026, 4045, + 4064, 4083, 4102, 4121 } ; -static yyconst flex_int16_t yy_def[769] = +static yyconst flex_int16_t yy_def[785] = { 0, - 689, 689, 689, 689, 689, 689, 690, 691, 689, 692, - 690, 689, 12, 693, 690, 15, 15, 15, 15, 15, - 15, 15, 15, 15, 694, 690, 26, 26, 26, 26, - 26, 26, 26, 26, 26, 26, 26, 690, 690, 690, - 690, 690, 695, 689, 696, 696, 689, 47, 693, 696, - 50, 50, 50, 50, 50, 50, 50, 50, 50, 696, - 60, 60, 60, 60, 60, 60, 60, 60, 60, 60, - 60, 696, 696, 696, 696, 696, 695, 689, 689, 690, - 697, 698, 697, 689, 689, 689, 689, 689, 690, 689, - 690, 689, 699, 699, 690, 699, 689, 12, 689, 690, - - 693, 689, 700, 690, 701, 690, 702, 106, 689, 106, - 106, 690, 690, 690, 106, 104, 690, 106, 690, 106, - 703, 694, 703, 704, 689, 690, 689, 705, 690, 690, - 690, 690, 690, 690, 690, 690, 690, 690, 695, 706, - 695, 689, 707, 696, 689, 696, 696, 689, 696, 689, - 689, 696, 708, 696, 154, 702, 155, 155, 155, 696, - 696, 696, 155, 154, 696, 155, 696, 155, 154, 689, - 705, 154, 689, 696, 696, 696, 696, 696, 696, 696, - 696, 695, 689, 709, 710, 710, 711, 712, 709, 709, - 713, 714, 689, 715, 715, 689, 689, 689, 690, 690, - - 689, 690, 689, 689, 689, 689, 690, 689, 689, 689, - 690, 689, 690, 715, 690, 689, 690, 689, 689, 689, - 689, 689, 689, 690, 690, 690, 690, 690, 690, 690, - 690, 690, 716, 717, 718, 719, 690, 720, 690, 721, - 720, 690, 239, 690, 722, 722, 690, 246, 690, 690, - 690, 690, 690, 690, 689, 695, 689, 723, 689, 724, - 696, 696, 696, 696, 725, 723, 726, 696, 696, 214, - 696, 269, 696, 696, 696, 696, 696, 696, 696, 696, - 696, 696, 269, 721, 696, 283, 696, 282, 696, 696, - 696, 696, 696, 696, 695, 689, 689, 727, 728, 729, - - 730, 727, 731, 689, 732, 733, 733, 734, 734, 689, - 735, 689, 689, 689, 690, 689, 689, 689, 689, 689, - 689, 689, 689, 690, 735, 690, 689, 690, 325, 689, - 690, 689, 689, 689, 689, 689, 689, 690, 690, 690, - 689, 690, 690, 690, 690, 690, 690, 736, 736, 737, - 738, 739, 689, 690, 689, 689, 740, 741, 689, 689, - 741, 741, 690, 690, 689, 689, 690, 690, 695, 689, - 689, 689, 689, 689, 742, 689, 696, 743, 743, 696, - 696, 283, 329, 696, 696, 696, 696, 696, 696, 696, - 696, 696, 696, 696, 744, 696, 696, 696, 696, 695, - - 689, 729, 745, 746, 730, 747, 731, 732, 689, 689, - 748, 749, 750, 751, 752, 753, 689, 689, 689, 690, - 689, 689, 689, 689, 689, 689, 690, 690, 689, 690, - 689, 690, 690, 690, 690, 690, 754, 755, 689, 756, - 689, 757, 757, 757, 690, 689, 689, 689, 689, 690, - 689, 695, 689, 689, 689, 689, 689, 758, 743, 743, - 696, 696, 696, 696, 696, 696, 696, 696, 696, 696, - 696, 695, 689, 746, 759, 730, 747, 689, 732, 760, - 748, 748, 749, 749, 750, 750, 751, 751, 752, 752, - 753, 753, 689, 689, 760, 760, 690, 689, 689, 689, - - 689, 689, 689, 690, 761, 689, 689, 689, 689, 690, - 690, 690, 690, 689, 689, 689, 689, 689, 689, 695, - 689, 689, 689, 758, 758, 743, 743, 696, 696, 696, - 696, 696, 696, 695, 689, 689, 759, 746, 732, 689, - 689, 689, 689, 689, 689, 689, 689, 761, 761, 689, - 689, 689, 689, 690, 690, 690, 690, 690, 695, 689, - 689, 743, 743, 696, 696, 696, 696, 696, 695, 689, - 689, 689, 689, 689, 689, 689, 689, 689, 689, 762, - 690, 689, 689, 743, 743, 763, 696, 695, 689, 689, - 689, 689, 689, 764, 764, 762, 596, 690, 689, 689, - - 743, 743, 763, 764, 603, 696, 695, 689, 689, 764, - 596, 596, 689, 689, 743, 743, 765, 603, 603, 695, - 689, 689, 764, 764, 596, 596, 689, 689, 743, 743, - 765, 765, 603, 603, 695, 689, 689, 764, 764, 596, - 766, 689, 767, 743, 765, 765, 603, 695, 689, 689, - 689, 764, 766, 689, 689, 767, 689, 743, 765, 765, - 695, 689, 689, 743, 765, 695, 689, 743, 695, 768, - 768, 768, 768, 768, 768, 768, 768, 768, 768, 768, - 768, 768, 768, 768, 768, 768, 689, 689, 0, 689, - 689, 689, 689, 689, 689, 689, 689, 689, 689, 689, - - 689, 689, 689, 689, 689, 689, 689, 689, 689, 689, - 689, 689, 689, 689, 689, 689, 689, 689, 689, 689, - 689, 689, 689, 689, 689, 689, 689, 689, 689, 689, - 689, 689, 689, 689, 689, 689, 689, 689, 689, 689, - 689, 689, 689, 689, 689, 689, 689, 689, 689, 689, - 689, 689, 689, 689, 689, 689, 689, 689, 689, 689, - 689, 689, 689, 689, 689, 689, 689, 689 + 703, 703, 703, 703, 703, 703, 704, 705, 703, 706, + 704, 703, 12, 707, 704, 15, 15, 15, 15, 15, + 15, 15, 15, 15, 15, 708, 704, 27, 27, 27, + 27, 27, 27, 27, 27, 27, 27, 27, 704, 704, + 704, 704, 704, 709, 703, 710, 710, 703, 48, 707, + 710, 51, 51, 51, 51, 51, 51, 51, 51, 51, + 51, 710, 62, 62, 62, 62, 62, 62, 62, 62, + 62, 62, 62, 710, 710, 710, 710, 710, 709, 703, + 703, 704, 711, 712, 711, 703, 703, 703, 703, 703, + 704, 703, 704, 703, 713, 713, 704, 713, 703, 12, + + 703, 704, 707, 703, 714, 704, 715, 703, 716, 704, + 703, 110, 110, 704, 704, 704, 110, 110, 106, 704, + 110, 704, 110, 717, 708, 717, 718, 703, 704, 703, + 719, 704, 703, 704, 704, 704, 704, 704, 704, 704, + 704, 709, 720, 709, 703, 721, 722, 703, 722, 722, + 703, 722, 703, 703, 722, 723, 722, 703, 716, 157, + 160, 160, 722, 722, 722, 160, 160, 157, 722, 160, + 722, 160, 157, 703, 719, 157, 703, 722, 722, 722, + 722, 722, 722, 722, 722, 709, 703, 724, 725, 725, + 726, 727, 724, 724, 728, 729, 703, 730, 730, 703, + + 703, 703, 704, 704, 703, 704, 703, 703, 703, 703, + 704, 703, 703, 703, 704, 703, 704, 703, 704, 704, + 703, 217, 222, 730, 703, 703, 703, 703, 703, 703, + 704, 704, 704, 704, 704, 704, 704, 704, 704, 731, + 732, 733, 734, 704, 735, 704, 736, 735, 704, 246, + 704, 737, 737, 704, 253, 704, 704, 704, 704, 704, + 704, 703, 709, 703, 738, 703, 739, 740, 740, 740, + 740, 741, 738, 742, 740, 740, 218, 740, 740, 276, + 280, 224, 740, 740, 740, 740, 740, 740, 740, 740, + 740, 740, 280, 736, 740, 293, 740, 292, 740, 740, + + 740, 740, 740, 740, 709, 703, 703, 743, 744, 745, + 746, 743, 747, 703, 748, 749, 749, 750, 750, 703, + 751, 703, 703, 703, 704, 703, 703, 703, 703, 703, + 703, 703, 703, 704, 751, 703, 704, 704, 703, 704, + 335, 703, 704, 703, 703, 703, 703, 703, 703, 704, + 704, 704, 703, 704, 704, 704, 704, 704, 704, 752, + 752, 753, 754, 755, 703, 704, 703, 703, 756, 757, + 703, 703, 757, 757, 704, 704, 703, 703, 704, 704, + 709, 703, 703, 703, 703, 703, 758, 703, 740, 759, + 759, 740, 740, 740, 293, 341, 740, 740, 740, 740, + + 740, 740, 740, 740, 740, 740, 740, 760, 740, 740, + 740, 740, 709, 703, 745, 761, 762, 746, 763, 747, + 748, 703, 703, 764, 765, 766, 767, 768, 769, 703, + 703, 703, 703, 704, 703, 703, 703, 703, 703, 703, + 704, 704, 703, 704, 703, 704, 704, 704, 704, 704, + 770, 771, 703, 772, 703, 773, 773, 773, 704, 703, + 703, 703, 703, 704, 703, 709, 703, 703, 703, 703, + 703, 774, 759, 759, 740, 740, 740, 740, 740, 740, + 740, 740, 740, 740, 740, 709, 703, 762, 775, 746, + 763, 703, 748, 776, 764, 764, 765, 765, 766, 766, + + 767, 767, 768, 768, 769, 769, 703, 703, 776, 776, + 704, 703, 703, 703, 703, 703, 703, 704, 777, 703, + 703, 703, 703, 704, 704, 704, 704, 703, 703, 703, + 703, 703, 703, 709, 703, 703, 703, 774, 774, 759, + 759, 740, 740, 740, 740, 740, 740, 709, 703, 703, + 775, 762, 748, 703, 703, 703, 703, 703, 703, 703, + 703, 777, 777, 703, 703, 703, 703, 704, 704, 704, + 704, 704, 709, 703, 703, 759, 759, 740, 740, 740, + 740, 740, 709, 703, 703, 703, 703, 703, 703, 703, + 703, 703, 703, 778, 704, 703, 703, 759, 759, 779, + + 740, 709, 703, 703, 703, 703, 703, 780, 780, 778, + 610, 704, 703, 703, 759, 759, 779, 780, 617, 740, + 709, 703, 703, 780, 610, 610, 703, 703, 759, 759, + 781, 617, 617, 709, 703, 703, 780, 780, 610, 610, + 703, 703, 759, 759, 781, 781, 617, 617, 709, 703, + 703, 780, 780, 610, 782, 703, 783, 759, 781, 781, + 617, 709, 703, 703, 703, 780, 782, 703, 703, 783, + 703, 759, 781, 781, 709, 703, 703, 759, 781, 709, + 703, 759, 709, 784, 784, 784, 784, 784, 784, 784, + 784, 784, 784, 784, 784, 784, 784, 784, 784, 784, + + 703, 703, 0, 703, 703, 703, 703, 703, 703, 703, + 703, 703, 703, 703, 703, 703, 703, 703, 703, 703, + 703, 703, 703, 703, 703, 703, 703, 703, 703, 703, + 703, 703, 703, 703, 703, 703, 703, 703, 703, 703, + 703, 703, 703, 703, 703, 703, 703, 703, 703, 703, + 703, 703, 703, 703, 703, 703, 703, 703, 703, 703, + 703, 703, 703, 703, 703, 703, 703, 703, 703, 703, + 703, 703, 703, 703, 703, 703, 703, 703, 703, 703, + 703, 703, 703, 703 } ; -static yyconst flex_int16_t yy_nxt[3906] = +static yyconst flex_int16_t yy_nxt[4217] = { 0, 4, 4, 4, 5, 4, 4, 6, 4, 7, 8, 4, 9, 10, 7, 4, 4, 11, 12, 13, 13, 4, 14, 4, 4, 15, 16, 17, 18, 15, 15, - 19, 15, 15, 15, 15, 20, 15, 21, 22, 23, - 15, 24, 15, 25, 4, 4, 26, 27, 28, 29, - 30, 31, 32, 33, 34, 35, 36, 37, 38, 7, - 39, 7, 7, 40, 41, 7, 7, 7, 42, 7, - 7, 43, 4, 4, 4, 4, 5, 4, 44, 6, - 44, 7, 8, 4, 9, 10, 45, 4, 4, 46, - 47, 48, 48, 4, 49, 4, 4, 50, 51, 52, - - 53, 50, 50, 54, 50, 50, 50, 50, 55, 50, - 56, 57, 58, 50, 59, 50, 25, 4, 4, 60, - 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, - 71, 72, 45, 73, 45, 45, 74, 75, 45, 45, - 45, 76, 45, 45, 77, 4, 78, 79, 79, 79, - 79, 82, 85, 86, 88, 113, 116, 80, 83, 83, - 83, 83, 109, 260, 89, 93, 90, 91, 78, 145, - 164, 92, 93, 93, 94, 80, 208, 689, 114, 80, - 117, 208, 689, 209, 95, 96, 97, 98, 98, 98, - 98, 99, 688, 109, 165, 100, 100, 100, 100, 100, - - 100, 100, 100, 80, 100, 80, 80, 100, 100, 100, - 80, 80, 100, 80, 109, 109, 110, 100, 100, 100, - 100, 100, 100, 100, 100, 100, 100, 100, 100, 80, - 100, 100, 100, 100, 100, 80, 80, 80, 80, 80, - 80, 80, 103, 120, 104, 135, 105, 106, 106, 106, - 106, 107, 366, 131, 103, 130, 130, 102, 153, 130, - 133, 131, 131, 373, 130, 130, 130, 109, 132, 158, - 131, 131, 374, 104, 130, 130, 130, 108, 108, 108, - 108, 108, 108, 108, 108, 108, 108, 108, 108, 131, - 131, 174, 136, 173, 173, 130, 130, 130, 176, 367, - - 104, 121, 122, 122, 122, 121, 121, 121, 121, 121, - 121, 121, 121, 121, 123, 121, 121, 138, 187, 188, - 113, 121, 121, 121, 121, 131, 131, 130, 130, 130, - 131, 131, 131, 131, 109, 130, 130, 130, 641, 130, - 130, 130, 112, 114, 121, 125, 121, 131, 131, 131, - 131, 131, 131, 140, 93, 130, 130, 130, 130, 130, - 130, 130, 130, 161, 144, 233, 689, 141, 141, 141, - 141, 145, 121, 121, 126, 109, 102, 127, 127, 127, - 127, 128, 88, 208, 168, 209, 162, 80, 79, 79, - 79, 79, 146, 80, 90, 147, 125, 174, 174, 148, - - 173, 173, 173, 129, 458, 145, 458, 130, 130, 131, - 131, 131, 131, 131, 131, 131, 131, 131, 131, 667, - 173, 199, 200, 142, 174, 174, 173, 173, 173, 175, - 129, 93, 93, 94, 460, 180, 337, 140, 80, 535, - 191, 160, 337, 149, 96, 97, 150, 150, 150, 150, - 151, 93, 93, 93, 152, 152, 152, 152, 152, 152, - 152, 152, 144, 152, 144, 144, 152, 152, 152, 144, - 144, 152, 144, 93, 93, 93, 152, 152, 152, 152, - 152, 152, 152, 152, 152, 152, 152, 152, 144, 152, - 152, 152, 152, 152, 144, 144, 144, 144, 144, 144, - - 144, 80, 192, 657, 103, 80, 154, 142, 105, 155, - 155, 155, 155, 156, 174, 174, 103, 145, 173, 173, - 173, 174, 174, 174, 174, 80, 80, 173, 173, 173, - 173, 173, 173, 261, 262, 154, 431, 145, 145, 157, - 157, 157, 157, 157, 157, 157, 157, 157, 157, 157, - 157, 174, 174, 260, 174, 174, 266, 267, 431, 173, - 173, 173, 154, 80, 173, 173, 161, 201, 169, 174, - 174, 170, 170, 170, 170, 171, 174, 174, 173, 173, - 173, 173, 173, 173, 80, 349, 80, 80, 196, 162, - 197, 178, 185, 297, 411, 198, 145, 172, 145, 145, - - 102, 173, 173, 174, 174, 174, 174, 174, 174, 174, - 174, 174, 174, 109, 80, 80, 125, 140, 80, 187, - 298, 663, 177, 263, 172, 80, 145, 145, 182, 432, - 145, 141, 141, 141, 141, 187, 298, 145, 179, 185, - 93, 93, 93, 93, 167, 413, 189, 189, 189, 189, - 190, 433, 204, 80, 205, 689, 412, 276, 616, 206, - 689, 300, 301, 181, 217, 217, 217, 217, 217, 217, - 217, 217, 217, 217, 217, 217, 247, 247, 247, 247, - 217, 217, 217, 217, 80, 303, 304, 142, 107, 80, - 105, 194, 194, 194, 194, 107, 145, 264, 224, 266, - - 267, 145, 272, 272, 272, 272, 225, 414, 80, 217, - 217, 217, 217, 217, 217, 217, 217, 107, 232, 508, - 145, 195, 195, 195, 195, 195, 195, 195, 195, 195, - 195, 195, 195, 247, 247, 247, 247, 247, 247, 247, - 247, 509, 276, 351, 107, 211, 211, 211, 211, 211, - 211, 211, 211, 211, 211, 211, 211, 213, 228, 140, - 102, 230, 341, 251, 214, 277, 272, 272, 272, 272, - 80, 252, 80, 141, 141, 141, 141, 256, 272, 272, - 272, 272, 145, 352, 145, 342, 213, 303, 304, 654, - 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, - - 215, 215, 321, 272, 272, 272, 272, 342, 273, 546, - 275, 80, 322, 213, 218, 277, 219, 630, 80, 322, - 356, 220, 221, 145, 503, 222, 279, 80, 223, 142, - 145, 80, 272, 272, 272, 272, 218, 274, 219, 145, - 263, 300, 301, 145, 220, 221, 323, 323, 323, 323, - 222, 272, 272, 272, 272, 223, 121, 122, 122, 122, - 121, 121, 121, 121, 121, 121, 121, 121, 121, 121, - 121, 121, 80, 80, 80, 462, 121, 121, 121, 121, - 279, 662, 80, 293, 145, 145, 145, 140, 650, 281, - 288, 288, 288, 288, 145, 214, 80, 102, 295, 121, - - 125, 121, 214, 80, 288, 288, 288, 288, 145, 80, - 280, 288, 288, 288, 288, 145, 324, 324, 324, 324, - 294, 145, 403, 404, 214, 263, 657, 121, 121, 121, - 234, 234, 234, 235, 291, 121, 121, 121, 121, 121, - 121, 689, 443, 121, 121, 292, 670, 378, 689, 121, - 121, 214, 121, 185, 297, 444, 379, 142, 185, 297, - 189, 189, 189, 189, 190, 305, 305, 305, 305, 387, - 689, 429, 121, 125, 325, 325, 325, 325, 326, 326, - 326, 326, 327, 327, 327, 327, 326, 326, 326, 326, - 370, 406, 188, 303, 304, 371, 372, 689, 406, 188, - - 121, 121, 237, 237, 237, 237, 237, 237, 237, 237, - 237, 237, 237, 237, 80, 238, 142, 80, 338, 239, - 349, 655, 80, 80, 80, 80, 240, 430, 241, 145, - 242, 242, 242, 242, 242, 242, 242, 242, 242, 242, - 242, 242, 242, 242, 242, 242, 242, 242, 243, 654, - 351, 125, 244, 244, 244, 244, 244, 244, 244, 244, - 244, 244, 244, 244, 242, 242, 242, 242, 242, 242, - 242, 242, 242, 242, 242, 243, 242, 130, 130, 130, - 130, 130, 130, 130, 130, 130, 130, 130, 130, 246, - 352, 326, 326, 326, 326, 366, 247, 247, 247, 247, - - 403, 404, 248, 102, 249, 249, 249, 249, 249, 249, - 249, 249, 249, 249, 249, 249, 249, 249, 249, 249, - 249, 249, 249, 339, 326, 326, 326, 326, 356, 80, - 250, 93, 93, 93, 357, 357, 357, 357, 80, 417, - 80, 145, 365, 144, 96, 377, 150, 150, 150, 150, - 145, 562, 145, 418, 152, 152, 152, 152, 152, 152, - 152, 152, 144, 152, 144, 144, 152, 152, 152, 144, - 144, 152, 144, 347, 437, 391, 152, 152, 152, 152, - 152, 152, 152, 152, 152, 152, 152, 152, 144, 152, - 152, 152, 152, 152, 144, 144, 144, 144, 144, 144, - - 144, 80, 651, 214, 647, 125, 311, 311, 311, 311, - 214, 246, 140, 145, 234, 234, 234, 235, 358, 358, - 358, 358, 647, 449, 248, 80, 369, 369, 369, 369, - 475, 476, 214, 380, 380, 380, 380, 145, 642, 268, - 268, 268, 268, 268, 268, 268, 268, 268, 268, 268, - 268, 269, 360, 406, 188, 689, 316, 125, 270, 214, - 80, 80, 689, 689, 689, 689, 320, 80, 689, 80, - 450, 80, 145, 145, 390, 381, 381, 381, 381, 145, - 269, 145, 142, 145, 271, 271, 271, 271, 271, 271, - 271, 271, 271, 271, 271, 271, 689, 409, 409, 409, - - 409, 504, 389, 420, 420, 420, 420, 269, 282, 282, - 282, 282, 282, 282, 282, 282, 282, 282, 282, 282, - 80, 238, 641, 80, 504, 283, 475, 476, 144, 144, - 144, 144, 284, 640, 241, 145, 285, 285, 285, 285, - 285, 285, 285, 285, 285, 285, 285, 285, 285, 285, - 285, 285, 285, 285, 286, 438, 438, 438, 287, 287, - 287, 287, 287, 287, 287, 287, 287, 287, 287, 287, - 285, 285, 285, 285, 285, 285, 285, 285, 285, 285, - 285, 286, 285, 173, 173, 173, 173, 173, 173, 173, - 173, 173, 173, 173, 173, 80, 246, 689, 439, 437, - - 144, 406, 188, 288, 288, 288, 288, 145, 640, 248, - 689, 289, 289, 289, 289, 289, 289, 289, 289, 289, - 289, 289, 289, 289, 289, 289, 289, 289, 289, 289, - 514, 449, 102, 144, 144, 144, 144, 290, 144, 144, - 144, 144, 144, 144, 144, 144, 144, 144, 144, 144, - 144, 144, 144, 144, 144, 144, 144, 144, 215, 215, + 19, 15, 15, 15, 15, 20, 21, 22, 21, 23, + 24, 21, 21, 25, 21, 26, 4, 4, 27, 28, + 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, + 39, 7, 40, 7, 7, 41, 42, 7, 7, 7, + 43, 7, 7, 44, 4, 4, 4, 4, 5, 4, + 45, 6, 45, 7, 8, 4, 9, 10, 46, 4, + 4, 47, 48, 49, 49, 4, 50, 4, 4, 51, + + 52, 53, 54, 51, 51, 55, 51, 51, 51, 51, + 56, 57, 58, 57, 59, 60, 57, 57, 61, 57, + 26, 4, 4, 62, 63, 64, 65, 66, 67, 68, + 69, 70, 71, 72, 73, 74, 46, 75, 46, 46, + 76, 77, 46, 46, 46, 78, 46, 46, 79, 4, + 80, 81, 81, 81, 81, 84, 87, 88, 90, 115, + 164, 82, 85, 85, 85, 85, 111, 702, 91, 95, + 92, 93, 138, 148, 80, 94, 95, 95, 96, 82, + 212, 703, 213, 82, 116, 165, 703, 195, 97, 98, + 99, 100, 100, 100, 100, 101, 212, 111, 213, 102, + + 102, 102, 102, 102, 102, 102, 102, 82, 102, 82, + 82, 102, 102, 102, 102, 82, 82, 82, 102, 82, + 655, 139, 112, 102, 102, 102, 102, 102, 102, 102, + 102, 102, 102, 102, 102, 82, 102, 102, 102, 102, + 102, 82, 82, 82, 82, 82, 82, 82, 105, 141, + 106, 196, 107, 108, 108, 108, 108, 109, 104, 111, + 105, 117, 117, 117, 117, 117, 117, 117, 117, 117, + 117, 117, 117, 104, 119, 134, 134, 117, 117, 117, + 117, 106, 133, 133, 133, 110, 110, 110, 110, 110, + 110, 110, 110, 110, 110, 110, 110, 118, 120, 117, + + 117, 117, 117, 111, 473, 121, 133, 134, 106, 133, + 133, 104, 156, 240, 136, 135, 117, 117, 117, 117, + 134, 134, 133, 133, 133, 134, 134, 577, 133, 133, + 133, 111, 681, 82, 134, 134, 143, 114, 133, 133, + 133, 134, 134, 134, 134, 148, 128, 133, 133, 133, + 122, 133, 133, 133, 549, 123, 124, 125, 125, 125, + 124, 124, 124, 124, 124, 124, 124, 124, 124, 126, + 124, 124, 115, 181, 82, 671, 124, 124, 124, 124, + 191, 192, 134, 134, 134, 134, 148, 161, 82, 133, + 133, 133, 133, 133, 104, 134, 134, 116, 111, 95, + + 148, 124, 128, 124, 133, 133, 133, 143, 145, 147, + 178, 703, 177, 177, 82, 90, 148, 180, 184, 267, + 82, 144, 144, 144, 144, 149, 148, 92, 150, 124, + 124, 129, 151, 205, 130, 130, 130, 130, 131, 166, + 166, 166, 166, 111, 576, 177, 166, 166, 166, 166, + 166, 166, 166, 166, 179, 518, 166, 166, 166, 166, + 178, 178, 132, 177, 177, 177, 133, 133, 134, 134, + 134, 134, 134, 134, 134, 134, 134, 134, 167, 145, + 518, 178, 178, 177, 177, 177, 170, 203, 204, 132, + 95, 95, 96, 178, 178, 172, 677, 82, 163, 177, + + 177, 177, 152, 98, 99, 153, 153, 153, 153, 154, + 95, 95, 95, 155, 155, 155, 155, 155, 155, 155, + 155, 147, 155, 147, 147, 155, 155, 155, 155, 147, + 147, 147, 155, 147, 95, 95, 95, 155, 155, 155, + 155, 155, 155, 155, 155, 155, 155, 155, 155, 147, + 155, 155, 155, 155, 155, 147, 147, 147, 147, 147, + 147, 147, 82, 273, 274, 105, 472, 157, 472, 107, + 158, 158, 158, 158, 159, 168, 164, 105, 166, 166, + 166, 166, 166, 166, 166, 166, 178, 178, 178, 178, + 177, 177, 177, 177, 177, 177, 189, 307, 157, 169, + + 104, 165, 160, 160, 160, 160, 160, 160, 160, 160, + 160, 160, 160, 160, 178, 178, 191, 308, 178, 178, + 668, 177, 177, 177, 378, 157, 177, 177, 177, 81, + 81, 81, 81, 171, 82, 191, 308, 178, 178, 173, + 178, 178, 174, 174, 174, 174, 175, 177, 177, 177, + 177, 177, 82, 82, 200, 111, 201, 182, 267, 644, + 82, 202, 310, 311, 148, 148, 82, 82, 82, 82, + 176, 212, 148, 379, 177, 177, 178, 178, 178, 178, + 178, 178, 178, 178, 178, 178, 349, 143, 254, 254, + 254, 254, 349, 254, 254, 254, 254, 176, 186, 313, + + 314, 144, 144, 144, 144, 363, 183, 185, 189, 95, + 95, 95, 171, 430, 95, 193, 193, 193, 193, 194, + 385, 208, 143, 209, 82, 258, 703, 431, 210, 386, + 82, 703, 254, 254, 254, 254, 144, 144, 144, 144, + 263, 82, 148, 82, 82, 82, 82, 364, 676, 268, + 269, 270, 271, 148, 224, 148, 148, 148, 148, 145, + 109, 224, 107, 198, 198, 198, 198, 109, 259, 664, + 285, 671, 82, 147, 147, 147, 147, 382, 82, 286, + 82, 82, 383, 384, 148, 224, 290, 273, 274, 104, + 148, 109, 148, 148, 145, 199, 199, 199, 199, 199, + + 199, 199, 199, 199, 199, 199, 199, 270, 333, 333, + 333, 333, 224, 334, 334, 334, 334, 669, 109, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, - 328, 357, 357, 357, 357, 80, 459, 329, 448, 330, - 80, 80, 80, 381, 381, 381, 381, 145, 381, 381, - 381, 381, 145, 145, 145, 442, 442, 442, 442, 328, - - 475, 476, 500, 331, 331, 331, 331, 331, 331, 331, - 331, 331, 331, 331, 331, 385, 500, 500, 185, 478, - 386, 385, 386, 479, 406, 188, 328, 121, 234, 234, - 234, 235, 556, 121, 121, 121, 121, 121, 121, 341, - 80, 121, 121, 80, 80, 365, 557, 121, 121, 80, - 121, 80, 145, 80, 637, 145, 145, 381, 381, 381, - 381, 145, 388, 145, 80, 145, 356, 330, 140, 361, - 121, 125, 395, 395, 395, 395, 145, 102, 80, 400, - 80, 80, 362, 399, 388, 636, 140, 366, 263, 392, - 145, 102, 145, 145, 185, 297, 689, 472, 121, 121, - - 246, 408, 408, 408, 408, 102, 393, 689, 393, 689, - 447, 475, 476, 248, 689, 249, 249, 249, 249, 249, + 215, 82, 286, 82, 303, 270, 217, 361, 389, 82, + 82, 82, 82, 218, 104, 148, 643, 219, 219, 219, + 219, 219, 219, 219, 219, 219, 219, 219, 82, 82, + 82, 82, 82, 82, 82, 82, 82, 217, 313, 314, + 128, 220, 220, 220, 220, 220, 220, 220, 220, 220, + 220, 220, 220, 82, 82, 82, 82, 82, 82, 82, + 82, 82, 82, 82, 217, 82, 222, 82, 616, 223, + + 223, 223, 223, 224, 82, 298, 298, 298, 298, 148, + 82, 82, 298, 298, 298, 298, 148, 82, 668, 143, + 310, 311, 148, 148, 416, 417, 363, 222, 665, 148, + 305, 220, 220, 220, 220, 220, 220, 220, 220, 220, + 220, 220, 220, 331, 301, 335, 335, 335, 335, 337, + 337, 337, 337, 332, 222, 225, 326, 226, 82, 304, + 332, 82, 227, 228, 82, 661, 368, 229, 364, 287, + 148, 230, 330, 148, 82, 289, 148, 82, 82, 225, + 377, 226, 298, 298, 298, 298, 148, 227, 228, 148, + 148, 145, 353, 229, 338, 338, 338, 338, 230, 124, + + 125, 125, 125, 124, 124, 124, 124, 124, 124, 124, + 124, 124, 124, 124, 124, 354, 189, 307, 302, 124, + 124, 124, 124, 193, 193, 193, 193, 194, 189, 307, + 339, 339, 339, 339, 549, 315, 315, 315, 315, 354, + 703, 419, 192, 550, 124, 128, 124, 703, 224, 313, + 314, 321, 321, 321, 321, 224, 82, 82, 82, 82, + 82, 82, 82, 82, 82, 82, 82, 338, 338, 338, + 338, 703, 124, 124, 124, 241, 241, 241, 242, 224, + 124, 124, 124, 124, 124, 124, 419, 192, 124, 124, + 338, 338, 338, 338, 124, 124, 368, 124, 703, 82, + + 424, 350, 369, 369, 369, 369, 224, 392, 392, 392, + 392, 148, 338, 338, 338, 338, 82, 416, 417, 124, + 128, 403, 489, 490, 351, 661, 82, 656, 148, 241, + 241, 241, 242, 253, 393, 393, 393, 393, 148, 104, + 370, 370, 370, 370, 445, 655, 255, 124, 124, 244, + 244, 244, 244, 244, 244, 244, 244, 244, 244, 244, + 244, 82, 245, 359, 425, 361, 246, 451, 445, 82, + 82, 82, 82, 247, 128, 248, 372, 249, 249, 249, 249, 249, 249, 249, 249, 249, 249, 249, 249, 249, - 249, 249, 249, 249, 398, 102, 689, 689, 142, 527, - 601, 250, 354, 354, 354, 354, 354, 354, 354, 354, - 354, 354, 354, 354, 361, 204, 142, 205, 634, 329, - 633, 526, 206, 689, 475, 476, 329, 362, 330, 363, - 363, 363, 363, 363, 363, 363, 363, 363, 363, 363, - 363, 363, 363, 363, 363, 363, 363, 363, 329, 415, - 415, 361, 329, 322, 628, 364, 80, 80, 585, 329, - - 322, 689, 80, 443, 689, 80, 80, 80, 145, 145, - 80, 80, 80, 80, 88, 329, 444, 145, 145, 419, - 443, 329, 102, 102, 453, 627, 90, 480, 480, 480, - 480, 92, 689, 689, 271, 271, 271, 271, 271, 271, - 271, 271, 271, 271, 271, 271, 382, 454, 329, 263, - 80, 416, 416, 383, 463, 330, 429, 455, 80, 97, - 493, 80, 145, 495, 99, 80, 461, 461, 461, 461, - 145, 626, 494, 145, 563, 382, 496, 145, 629, 384, - 384, 384, 384, 384, 384, 384, 384, 384, 384, 384, - 384, 140, 468, 506, 263, 102, 584, 80, 80, 80, - - 689, 448, 382, 80, 246, 452, 452, 452, 452, 145, - 145, 145, 464, 689, 102, 145, 610, 248, 506, 289, - 289, 289, 289, 289, 289, 289, 289, 289, 289, 289, - 289, 289, 289, 289, 289, 289, 289, 289, 610, 625, - 469, 467, 525, 376, 525, 290, 394, 394, 394, 394, - 394, 394, 394, 394, 394, 394, 394, 394, 361, 535, - 80, 142, 518, 525, 376, 525, 602, 622, 536, 102, - 644, 362, 145, 396, 396, 396, 396, 396, 396, 396, - 396, 396, 396, 396, 396, 396, 396, 396, 396, 396, - 396, 396, 438, 438, 438, 210, 210, 102, 621, 397, - - 331, 331, 331, 331, 331, 331, 331, 331, 331, 331, - 331, 331, 384, 384, 384, 384, 384, 384, 384, 384, - 384, 384, 384, 384, 80, 102, 212, 212, 591, 80, - 505, 515, 515, 515, 614, 439, 145, 395, 395, 395, - 395, 145, 592, 80, 443, 643, 140, 465, 144, 80, - 80, 144, 144, 144, 144, 145, 449, 444, 520, 506, - 109, 145, 145, 80, 613, 80, 429, 80, 507, 466, - 80, 80, 495, 109, 516, 145, 529, 145, 80, 145, - 668, 140, 145, 145, 506, 689, 80, 530, 543, 80, - 145, 610, 534, 500, 80, 102, 611, 80, 145, 529, - - 102, 145, 80, 471, 495, 531, 145, 500, 500, 145, - 515, 515, 515, 610, 145, 609, 521, 496, 612, 497, - 497, 497, 497, 497, 497, 497, 497, 497, 497, 497, - 497, 497, 497, 497, 497, 497, 497, 497, 80, 495, - 532, 216, 216, 567, 533, 245, 245, 615, 592, 658, - 145, 142, 496, 516, 528, 528, 528, 528, 528, 528, - 528, 528, 528, 528, 528, 528, 528, 528, 528, 528, - 528, 528, 528, 185, 297, 140, 80, 608, 617, 535, - 539, 539, 539, 539, 80, 80, 80, 80, 145, 559, - 559, 559, 559, 140, 80, 600, 145, 145, 145, 145, - - 185, 478, 140, 599, 569, 610, 145, 539, 539, 539, - 539, 80, 80, 618, 177, 564, 559, 559, 559, 559, - 140, 80, 80, 145, 145, 568, 376, 610, 566, 140, - 623, 588, 376, 145, 145, 619, 610, 140, 140, 610, - 607, 565, 567, 586, 638, 142, 140, 610, 620, 635, - 586, 610, 624, 649, 632, 140, 610, 648, 610, 140, - 632, 610, 598, 142, 606, 376, 661, 650, 587, 610, - 666, 652, 521, 610, 102, 639, 632, 672, 610, 672, - 102, 594, 632, 355, 355, 594, 652, 645, 610, 376, - 142, 595, 595, 632, 595, 595, 595, 595, 595, 142, - - 595, 595, 595, 595, 376, 595, 595, 142, 142, 646, - 610, 595, 595, 595, 595, 632, 142, 632, 672, 593, - 140, 597, 659, 575, 590, 142, 664, 376, 643, 142, - 376, 669, 632, 376, 595, 595, 595, 542, 589, 632, - 672, 672, 583, 597, 582, 672, 581, 255, 672, 255, - 557, 673, 674, 665, 632, 632, 675, 580, 632, 676, - 660, 632, 595, 595, 595, 595, 580, 595, 595, 595, - 595, 595, 596, 595, 595, 595, 595, 632, 595, 595, - 632, 665, 579, 632, 604, 595, 595, 595, 687, 578, - 142, 672, 672, 672, 605, 672, 577, 576, 549, 549, - - 575, 672, 677, 678, 679, 574, 680, 595, 595, 595, - 255, 255, 681, 672, 672, 255, 605, 672, 255, 573, - 672, 672, 572, 571, 682, 683, 543, 538, 684, 570, - 376, 685, 686, 561, 560, 595, 595, 595, 595, 257, - 595, 595, 595, 595, 595, 448, 595, 595, 595, 595, - 518, 595, 595, 558, 555, 554, 553, 595, 595, 595, - 595, 255, 255, 255, 552, 255, 551, 597, 550, 549, - 134, 255, 547, 545, 544, 543, 542, 541, 492, 492, - 595, 595, 595, 255, 255, 490, 490, 255, 488, 597, - 255, 255, 488, 486, 486, 484, 484, 482, 482, 538, - - 523, 522, 208, 201, 365, 519, 448, 518, 595, 595, - 595, 595, 441, 595, 595, 595, 595, 595, 596, 595, - 595, 595, 595, 109, 595, 595, 513, 512, 511, 510, - 604, 595, 595, 595, 429, 109, 503, 502, 501, 499, - 605, 498, 418, 492, 490, 488, 486, 484, 482, 419, - 297, 473, 260, 595, 595, 595, 376, 457, 456, 84, - 202, 451, 605, 448, 365, 356, 441, 436, 435, 434, - 202, 428, 427, 426, 425, 424, 423, 422, 421, 330, - 419, 595, 595, 80, 330, 208, 208, 80, 80, 202, - 201, 80, 80, 80, 80, 80, 80, 80, 80, 81, - - 81, 81, 81, 81, 201, 81, 81, 81, 81, 81, - 81, 81, 81, 81, 81, 81, 81, 81, 87, 87, - 201, 309, 309, 87, 87, 87, 101, 101, 101, 101, - 101, 101, 101, 101, 101, 101, 101, 101, 101, 101, - 101, 101, 101, 101, 101, 124, 124, 124, 124, 124, - 124, 124, 124, 124, 124, 124, 124, 124, 124, 124, - 124, 124, 124, 124, 139, 139, 139, 139, 139, 139, - 139, 139, 139, 139, 139, 139, 139, 139, 139, 139, - 139, 139, 139, 144, 307, 307, 401, 144, 144, 144, - 356, 144, 144, 144, 144, 144, 144, 144, 144, 184, - - 184, 184, 184, 184, 260, 184, 184, 184, 184, 184, - 184, 184, 184, 184, 184, 184, 184, 184, 186, 186, - 186, 186, 186, 186, 186, 186, 186, 186, 186, 186, - 186, 186, 186, 186, 186, 186, 186, 203, 203, 260, - 259, 376, 259, 347, 368, 339, 338, 203, 365, 246, - 203, 203, 356, 203, 121, 121, 121, 121, 121, 121, - 121, 121, 121, 121, 121, 121, 121, 121, 121, 121, - 121, 121, 121, 236, 236, 236, 236, 236, 236, 236, - 236, 236, 236, 236, 236, 236, 236, 236, 236, 236, - 236, 236, 140, 140, 140, 140, 140, 140, 140, 140, - - 140, 140, 140, 140, 140, 140, 140, 140, 140, 140, - 140, 258, 258, 258, 258, 258, 258, 258, 258, 258, - 258, 258, 258, 258, 258, 258, 258, 258, 258, 258, - 265, 265, 265, 265, 265, 265, 265, 265, 265, 265, - 265, 265, 265, 265, 265, 265, 265, 265, 265, 184, - 184, 184, 184, 184, 184, 184, 184, 184, 184, 184, - 184, 184, 184, 184, 184, 184, 184, 184, 186, 186, - 186, 186, 186, 186, 186, 186, 186, 186, 186, 186, - 186, 186, 186, 186, 186, 186, 186, 299, 299, 299, + 249, 249, 249, 249, 249, 249, 249, 250, 128, 474, + + 128, 251, 251, 251, 251, 251, 251, 251, 251, 251, + 251, 251, 251, 249, 249, 249, 249, 249, 249, 249, + 249, 249, 249, 249, 250, 249, 133, 133, 133, 133, + 133, 133, 133, 133, 133, 133, 133, 133, 82, 253, + 419, 192, 143, 82, 489, 490, 254, 254, 254, 254, + 654, 446, 255, 413, 256, 256, 256, 256, 256, 256, + 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, + 256, 256, 256, 256, 256, 447, 419, 192, 82, 82, + 82, 82, 257, 82, 82, 82, 82, 82, 82, 82, + 82, 82, 82, 82, 82, 82, 82, 82, 82, 82, + + 82, 82, 82, 95, 95, 95, 422, 422, 422, 422, + 82, 684, 82, 654, 145, 147, 98, 412, 153, 153, + 153, 153, 148, 443, 148, 104, 155, 155, 155, 155, + 155, 155, 155, 155, 147, 155, 147, 147, 155, 155, + 155, 155, 147, 147, 147, 155, 147, 378, 463, 651, + 155, 155, 155, 155, 155, 155, 155, 155, 155, 155, + 155, 155, 147, 155, 155, 155, 155, 155, 147, 147, + 147, 147, 147, 147, 147, 82, 82, 390, 82, 189, + 492, 444, 378, 145, 493, 703, 391, 148, 148, 650, + 148, 82, 703, 703, 703, 703, 377, 464, 703, 394, + + 394, 394, 394, 148, 147, 147, 147, 147, 147, 147, + 147, 147, 147, 147, 147, 275, 275, 275, 275, 275, + 275, 275, 275, 275, 275, 275, 275, 82, 703, 82, + 426, 411, 276, 489, 490, 147, 147, 147, 147, 277, + 400, 148, 522, 278, 278, 278, 278, 278, 278, 278, + 278, 278, 278, 278, 147, 147, 147, 147, 147, 147, + 147, 147, 147, 276, 419, 192, 523, 279, 279, 279, + 279, 279, 279, 279, 279, 279, 279, 279, 279, 147, + 147, 147, 147, 147, 147, 147, 147, 147, 147, 147, + 276, 147, 280, 143, 427, 281, 281, 281, 281, 282, + + 648, 353, 104, 82, 82, 82, 82, 381, 381, 381, + 381, 394, 394, 394, 394, 148, 148, 148, 148, 432, + 432, 432, 432, 280, 401, 489, 490, 279, 279, 279, + 279, 279, 279, 279, 279, 279, 279, 279, 279, 434, + 434, 434, 434, 451, 647, 398, 398, 642, 401, 402, + 280, 292, 292, 292, 292, 292, 292, 292, 292, 292, + 292, 292, 292, 82, 245, 145, 82, 599, 293, 489, + 490, 147, 147, 147, 147, 294, 528, 248, 148, 295, + 295, 295, 295, 295, 295, 295, 295, 295, 295, 295, + 295, 295, 295, 295, 295, 295, 295, 295, 295, 296, + + 539, 388, 539, 297, 297, 297, 297, 297, 297, 297, + 297, 297, 297, 297, 297, 295, 295, 295, 295, 295, + 295, 295, 295, 295, 295, 295, 296, 295, 177, 177, + 177, 177, 177, 177, 177, 177, 177, 177, 177, 177, + 82, 253, 641, 82, 640, 147, 104, 598, 298, 298, + 298, 298, 148, 639, 255, 148, 299, 299, 299, 299, 299, 299, 299, 299, 299, 299, 299, 299, 299, 299, - - 299, 299, 299, 299, 299, 299, 302, 302, 302, 302, - 302, 302, 302, 302, 302, 302, 302, 302, 302, 302, - 302, 302, 302, 302, 302, 306, 306, 356, 306, 306, - 306, 306, 306, 306, 306, 306, 306, 306, 306, 306, - 306, 306, 306, 306, 308, 308, 238, 308, 308, 308, - 308, 308, 308, 308, 308, 308, 308, 308, 308, 308, - 308, 308, 308, 310, 346, 310, 345, 344, 343, 310, - 310, 310, 340, 336, 310, 348, 348, 348, 348, 348, - 348, 348, 348, 348, 348, 348, 348, 348, 348, 348, - 348, 348, 348, 348, 121, 121, 121, 121, 121, 121, - - 121, 121, 121, 121, 121, 121, 121, 121, 121, 121, - 121, 121, 121, 350, 350, 350, 350, 350, 350, 350, - 350, 350, 350, 350, 350, 350, 350, 350, 350, 350, - 350, 350, 236, 236, 236, 236, 236, 236, 236, 236, - 236, 236, 236, 236, 236, 236, 236, 236, 236, 236, - 236, 353, 353, 353, 353, 353, 353, 353, 353, 359, - 335, 334, 333, 359, 332, 359, 359, 359, 359, 320, - 359, 258, 258, 258, 258, 258, 258, 258, 258, 258, - 258, 258, 258, 258, 258, 258, 258, 258, 258, 258, + 299, 299, 299, 299, 299, 299, 299, 452, 452, 452, + 147, 147, 147, 147, 300, 147, 147, 147, 147, 147, + 147, 147, 147, 147, 147, 147, 147, 147, 147, 147, + + 147, 147, 147, 147, 147, 219, 219, 219, 219, 219, + 219, 219, 219, 219, 219, 219, 82, 369, 369, 369, + 369, 104, 453, 104, 394, 394, 394, 394, 148, 220, + 220, 220, 220, 220, 220, 220, 220, 220, 220, 220, + 220, 336, 336, 336, 336, 336, 336, 336, 336, 336, + 336, 336, 82, 189, 307, 104, 658, 463, 399, 104, + 421, 421, 421, 421, 148, 320, 320, 320, 320, 320, + 320, 320, 320, 320, 320, 320, 320, 340, 82, 82, + 82, 462, 82, 630, 341, 541, 342, 82, 270, 368, + 148, 148, 148, 82, 148, 408, 408, 408, 408, 148, + + 404, 394, 394, 394, 394, 148, 462, 428, 340, 104, + 615, 104, 343, 343, 343, 343, 343, 343, 343, 343, + 343, 343, 343, 343, 399, 456, 456, 456, 456, 405, + 494, 494, 494, 494, 560, 340, 124, 241, 241, 241, + 242, 82, 124, 124, 124, 124, 124, 124, 703, 517, + 124, 124, 406, 148, 341, 703, 124, 124, 428, 124, + 373, 341, 332, 342, 703, 341, 82, 540, 682, 332, + 636, 429, 341, 374, 703, 82, 373, 703, 148, 703, + 342, 124, 128, 82, 457, 341, 507, 148, 82, 703, + 82, 82, 82, 82, 82, 635, 341, 458, 508, 143, + + 406, 628, 148, 461, 433, 82, 703, 703, 90, 124, + 124, 253, 341, 466, 466, 466, 466, 148, 467, 703, + 92, 481, 429, 341, 255, 94, 256, 256, 256, 256, + 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, + 256, 256, 256, 256, 256, 256, 256, 214, 214, 482, + 539, 388, 539, 627, 257, 366, 366, 366, 366, 366, + 366, 366, 366, 366, 366, 366, 366, 373, 143, 82, + 623, 145, 452, 452, 452, 606, 529, 529, 529, 486, + 374, 148, 375, 375, 375, 375, 375, 375, 375, 375, 375, 375, 375, 375, 375, 375, 375, 375, 375, 375, - 375, 375, 375, 375, 375, 375, 375, 375, 375, 265, - 265, 265, 265, 265, 265, 265, 265, 265, 265, 265, - 265, 265, 265, 265, 265, 265, 265, 265, 101, 101, - 101, 101, 101, 101, 101, 101, 101, 101, 101, 101, - 101, 101, 101, 101, 101, 101, 101, 302, 302, 302, - 302, 302, 302, 302, 302, 302, 302, 302, 302, 302, - 302, 302, 302, 302, 302, 302, 299, 299, 299, 299, + 375, 375, 375, 468, 82, 457, 532, 443, 622, 703, + 376, 82, 82, 469, 82, 99, 148, 453, 458, 476, + 101, 530, 703, 148, 148, 570, 148, 278, 278, 278, + 278, 278, 278, 278, 278, 278, 278, 278, 82, 571, + 145, 549, 104, 520, 216, 216, 475, 475, 475, 475, + 148, 279, 279, 279, 279, 279, 279, 279, 279, 279, + 279, 279, 279, 395, 477, 478, 82, 82, 82, 520, + 396, 624, 342, 82, 457, 614, 514, 613, 148, 148, + 148, 408, 408, 408, 408, 148, 208, 703, 209, 479, + 514, 514, 657, 210, 395, 624, 270, 509, 397, 397, + + 397, 397, 397, 397, 397, 397, 397, 397, 397, 397, + 510, 624, 483, 480, 143, 529, 529, 529, 605, 82, + 457, 395, 82, 253, 147, 82, 534, 147, 147, 147, + 147, 148, 606, 458, 148, 624, 255, 148, 299, 299, 299, 299, 299, 299, 299, 299, 299, 299, 299, 299, - 299, 299, 299, 299, 299, 402, 402, 402, 402, 402, - 402, 402, 402, 402, 402, 402, 402, 402, 402, 402, - - 402, 402, 402, 402, 405, 405, 405, 405, 405, 405, - 405, 405, 405, 405, 405, 405, 405, 405, 405, 405, - 405, 405, 405, 407, 407, 407, 407, 407, 407, 407, - 407, 407, 407, 407, 407, 407, 407, 407, 407, 407, - 407, 407, 184, 184, 184, 184, 184, 184, 184, 184, - 184, 184, 184, 184, 184, 184, 184, 184, 184, 184, - 184, 306, 306, 320, 306, 306, 306, 306, 306, 306, - 306, 306, 306, 306, 306, 306, 306, 306, 306, 306, - 308, 308, 319, 308, 308, 308, 308, 308, 308, 308, - 308, 308, 308, 308, 308, 308, 308, 308, 308, 410, - - 318, 410, 410, 317, 316, 410, 410, 410, 316, 315, - 410, 348, 348, 348, 348, 348, 348, 348, 348, 348, - 348, 348, 348, 348, 348, 348, 348, 348, 348, 348, - 350, 350, 350, 350, 350, 350, 350, 350, 350, 350, - 350, 350, 350, 350, 350, 350, 350, 350, 350, 121, - 121, 121, 121, 121, 121, 121, 121, 121, 121, 121, - 121, 121, 121, 121, 121, 121, 121, 121, 440, 440, - 440, 440, 440, 440, 440, 440, 440, 440, 440, 440, - 440, 440, 440, 440, 440, 440, 440, 445, 445, 314, - 313, 445, 445, 312, 445, 445, 445, 445, 445, 445, - - 445, 445, 445, 446, 309, 307, 296, 260, 278, 446, - 446, 446, 446, 260, 446, 375, 375, 375, 375, 375, - 375, 375, 375, 375, 375, 375, 375, 375, 375, 375, - 375, 375, 375, 375, 101, 101, 101, 101, 101, 101, - 101, 101, 101, 101, 101, 101, 101, 101, 101, 101, - 101, 101, 101, 470, 470, 260, 259, 470, 470, 470, - 470, 470, 470, 470, 470, 470, 470, 470, 470, 403, - 403, 403, 403, 403, 403, 403, 403, 403, 403, 403, - 403, 403, 403, 403, 403, 403, 403, 403, 474, 474, - 474, 474, 474, 474, 474, 474, 474, 474, 474, 474, - - 474, 474, 474, 474, 474, 474, 474, 477, 477, 477, - 477, 477, 477, 477, 477, 477, 477, 477, 477, 477, - 477, 477, 477, 477, 477, 477, 481, 481, 257, 481, - 481, 481, 481, 481, 481, 481, 481, 481, 481, 481, - 481, 481, 481, 481, 481, 483, 483, 255, 483, 483, - 483, 483, 483, 483, 483, 483, 483, 483, 483, 483, - 483, 483, 483, 483, 485, 485, 254, 485, 485, 485, - 485, 485, 485, 485, 485, 485, 485, 485, 485, 485, - 485, 485, 485, 487, 487, 230, 487, 487, 487, 487, - 487, 487, 487, 487, 487, 487, 487, 487, 487, 487, - - 487, 487, 489, 489, 202, 489, 489, 489, 489, 489, - 489, 489, 489, 489, 489, 489, 489, 489, 489, 489, - 489, 491, 491, 253, 491, 491, 491, 491, 491, 491, + 299, 299, 299, 299, 299, 299, 299, 299, 299, 625, + 530, 104, 221, 221, 612, 104, 300, 407, 407, 407, + 407, 407, 407, 407, 407, 407, 407, 407, 407, 373, + 189, 307, 608, 626, 252, 252, 535, 553, 553, 553, + 553, 608, 374, 632, 409, 409, 409, 409, 409, 409, + + 409, 409, 409, 409, 409, 409, 409, 409, 409, 409, + 409, 409, 409, 409, 409, 629, 672, 633, 519, 367, + 367, 607, 410, 343, 343, 343, 343, 343, 343, 343, + 343, 343, 343, 343, 343, 397, 397, 397, 397, 397, + 397, 397, 397, 397, 397, 397, 397, 82, 520, 82, + 111, 443, 82, 463, 82, 82, 82, 82, 521, 148, + 111, 148, 589, 82, 148, 82, 148, 148, 148, 148, + 703, 143, 544, 509, 520, 148, 514, 148, 143, 604, + 82, 543, 548, 703, 82, 82, 703, 557, 82, 583, + 514, 514, 148, 82, 624, 82, 148, 148, 82, 652, + + 148, 545, 485, 270, 509, 148, 543, 148, 556, 603, + 148, 597, 578, 596, 595, 571, 546, 510, 624, 511, + 511, 511, 511, 511, 511, 511, 511, 511, 511, 511, + 511, 511, 511, 511, 511, 511, 511, 511, 511, 511, + 82, 509, 579, 145, 594, 547, 600, 594, 593, 686, + 145, 104, 148, 592, 510, 591, 542, 542, 542, 542, + 542, 542, 542, 542, 542, 542, 542, 542, 542, 542, + 542, 542, 542, 542, 542, 542, 542, 143, 82, 189, + 492, 631, 590, 82, 82, 143, 553, 553, 553, 553, + 148, 573, 573, 573, 573, 148, 148, 82, 82, 573, + + 573, 573, 573, 82, 82, 678, 143, 388, 624, 148, + 148, 104, 388, 637, 624, 148, 148, 602, 181, 624, + 143, 262, 563, 143, 582, 143, 666, 580, 624, 600, + 624, 621, 624, 663, 634, 646, 649, 638, 624, 143, + 646, 581, 620, 624, 653, 624, 581, 664, 563, 145, + 662, 143, 624, 589, 624, 588, 587, 535, 686, 646, + 143, 657, 675, 601, 646, 586, 585, 666, 388, 624, + 143, 680, 686, 557, 552, 388, 388, 388, 145, 609, + 609, 683, 609, 609, 609, 609, 609, 388, 609, 609, + 609, 609, 145, 609, 609, 145, 646, 145, 659, 609, + + 609, 609, 609, 646, 646, 646, 686, 584, 673, 611, + 686, 145, 388, 679, 575, 646, 574, 687, 679, 388, + 646, 688, 660, 145, 609, 609, 609, 646, 646, 646, + 262, 264, 145, 611, 686, 674, 462, 686, 686, 646, + 686, 532, 145, 572, 701, 689, 569, 646, 690, 691, + 568, 692, 609, 609, 609, 609, 567, 609, 609, 609, + 609, 609, 610, 609, 609, 609, 609, 566, 609, 609, + 686, 646, 565, 564, 618, 609, 609, 609, 262, 563, + 137, 693, 262, 686, 619, 686, 686, 561, 559, 558, + 557, 686, 686, 686, 694, 556, 695, 696, 555, 609, + + 609, 609, 697, 698, 699, 686, 262, 506, 619, 262, + 262, 506, 262, 504, 504, 502, 700, 502, 500, 500, + 498, 498, 496, 496, 552, 537, 536, 609, 609, 609, + 609, 212, 609, 609, 609, 609, 609, 205, 609, 609, + 609, 609, 262, 609, 609, 377, 533, 462, 532, 609, + 609, 609, 609, 455, 111, 262, 527, 262, 262, 611, + 526, 525, 524, 262, 262, 262, 443, 111, 517, 516, + 515, 513, 512, 431, 609, 609, 609, 262, 506, 504, + 502, 500, 498, 611, 496, 433, 307, 487, 267, 388, + 471, 470, 86, 206, 465, 462, 377, 368, 455, 450, + + 449, 448, 609, 609, 609, 609, 206, 609, 609, 609, + 609, 609, 610, 609, 609, 609, 609, 442, 609, 609, + 441, 440, 439, 438, 618, 609, 609, 609, 437, 436, + 435, 342, 433, 342, 619, 212, 212, 206, 205, 205, + 205, 319, 319, 317, 317, 414, 368, 267, 267, 609, + 609, 609, 267, 266, 388, 266, 359, 380, 619, 351, + 350, 377, 253, 368, 368, 245, 358, 357, 356, 355, + 352, 348, 347, 346, 345, 344, 330, 609, 609, 82, + 330, 329, 328, 82, 82, 327, 326, 82, 82, 82, + 82, 82, 82, 82, 82, 83, 83, 83, 83, 83, + + 326, 83, 83, 83, 83, 83, 83, 83, 83, 83, + 83, 83, 83, 83, 89, 89, 325, 324, 323, 89, + 89, 89, 103, 103, 103, 103, 103, 103, 103, 103, + 103, 103, 103, 103, 103, 103, 103, 103, 103, 103, + 103, 127, 127, 127, 127, 127, 127, 127, 127, 127, + 127, 127, 127, 127, 127, 127, 127, 127, 127, 127, + 142, 142, 142, 142, 142, 142, 142, 142, 142, 142, + 142, 142, 142, 142, 142, 142, 142, 142, 142, 147, + 322, 319, 317, 147, 147, 147, 306, 147, 147, 147, + 147, 147, 147, 147, 147, 188, 188, 188, 188, 188, + + 267, 188, 188, 188, 188, 188, 188, 188, 188, 188, + 188, 188, 188, 188, 190, 190, 190, 190, 190, 190, + 190, 190, 190, 190, 190, 190, 190, 190, 190, 190, + 190, 190, 190, 207, 207, 291, 289, 288, 287, 284, + 283, 267, 267, 207, 266, 264, 207, 207, 262, 207, + 124, 124, 124, 124, 124, 124, 124, 124, 124, 124, + 124, 124, 124, 124, 124, 124, 124, 124, 124, 243, + 243, 243, 243, 243, 243, 243, 243, 243, 243, 243, + 243, 243, 243, 243, 243, 243, 243, 243, 143, 143, + 143, 143, 143, 143, 143, 143, 143, 143, 143, 143, + + 143, 143, 143, 143, 143, 143, 143, 265, 265, 265, + 265, 265, 265, 265, 265, 265, 265, 265, 265, 265, + 265, 265, 265, 265, 265, 265, 147, 261, 237, 206, + 147, 147, 147, 260, 147, 147, 147, 147, 147, 147, + 147, 147, 272, 272, 272, 272, 272, 272, 272, 272, + 272, 272, 272, 272, 272, 272, 272, 272, 272, 272, + 272, 188, 188, 188, 188, 188, 188, 188, 188, 188, + 188, 188, 188, 188, 188, 188, 188, 188, 188, 188, + 190, 190, 190, 190, 190, 190, 190, 190, 190, 190, + 190, 190, 190, 190, 190, 190, 190, 190, 190, 309, + + 309, 309, 309, 309, 309, 309, 309, 309, 309, 309, + 309, 309, 309, 309, 309, 309, 309, 309, 312, 312, + 312, 312, 312, 312, 312, 312, 312, 312, 312, 312, + 312, 312, 312, 312, 312, 312, 312, 316, 316, 235, + 316, 316, 316, 316, 316, 316, 316, 316, 316, 316, + 316, 316, 316, 316, 316, 316, 318, 318, 128, 318, + 318, 318, 318, 318, 318, 318, 318, 318, 318, 318, + 318, 318, 318, 318, 318, 320, 239, 320, 238, 237, + 206, 320, 320, 320, 236, 235, 320, 360, 360, 360, + 360, 360, 360, 360, 360, 360, 360, 360, 360, 360, + + 360, 360, 360, 360, 360, 360, 124, 124, 124, 124, + 124, 124, 124, 124, 124, 124, 124, 124, 124, 124, + 124, 124, 124, 124, 124, 362, 362, 362, 362, 362, + 362, 362, 362, 362, 362, 362, 362, 362, 362, 362, + 362, 362, 362, 362, 243, 243, 243, 243, 243, 243, + 243, 243, 243, 243, 243, 243, 243, 243, 243, 243, + 243, 243, 243, 365, 365, 365, 365, 365, 365, 365, + 365, 371, 234, 234, 233, 371, 232, 371, 371, 371, + 371, 231, 371, 265, 265, 265, 265, 265, 265, 265, + 265, 265, 265, 265, 265, 265, 265, 265, 265, 265, + + 265, 265, 387, 387, 387, 387, 387, 387, 387, 387, + 387, 387, 387, 387, 387, 387, 387, 387, 387, 387, + 387, 147, 104, 212, 211, 147, 147, 147, 205, 147, + 147, 147, 147, 147, 147, 147, 147, 272, 272, 272, + 272, 272, 272, 272, 272, 272, 272, 272, 272, 272, + 272, 272, 272, 272, 272, 272, 103, 103, 103, 103, + 103, 103, 103, 103, 103, 103, 103, 103, 103, 103, + 103, 103, 103, 103, 103, 312, 312, 312, 312, 312, + 312, 312, 312, 312, 312, 312, 312, 312, 312, 312, + 312, 312, 312, 312, 309, 309, 309, 309, 309, 309, + + 309, 309, 309, 309, 309, 309, 309, 309, 309, 309, + 309, 309, 309, 415, 415, 415, 415, 415, 415, 415, + 415, 415, 415, 415, 415, 415, 415, 415, 415, 415, + 415, 415, 418, 418, 418, 418, 418, 418, 418, 418, + 418, 418, 418, 418, 418, 418, 418, 418, 418, 418, + 418, 420, 420, 420, 420, 420, 420, 420, 420, 420, + 420, 420, 420, 420, 420, 420, 420, 420, 420, 420, + 188, 188, 188, 188, 188, 188, 188, 188, 188, 188, + 188, 188, 188, 188, 188, 188, 188, 188, 188, 316, + 316, 206, 316, 316, 316, 316, 316, 316, 316, 316, + + 316, 316, 316, 316, 316, 316, 316, 316, 318, 318, + 205, 318, 318, 318, 318, 318, 318, 318, 318, 318, + 318, 318, 318, 318, 318, 318, 318, 423, 197, 423, + 423, 189, 187, 423, 423, 423, 163, 162, 423, 360, + 360, 360, 360, 360, 360, 360, 360, 360, 360, 360, + 360, 360, 360, 360, 360, 360, 360, 360, 362, 362, + 362, 362, 362, 362, 362, 362, 362, 362, 362, 362, + 362, 362, 362, 362, 362, 362, 362, 124, 124, 124, + 124, 124, 124, 124, 124, 124, 124, 124, 124, 124, + 124, 124, 124, 124, 124, 124, 454, 454, 454, 454, + + 454, 454, 454, 454, 454, 454, 454, 454, 454, 454, + 454, 454, 454, 454, 454, 459, 459, 146, 122, 459, + 459, 140, 459, 459, 459, 459, 459, 459, 459, 459, + 459, 460, 137, 114, 113, 104, 86, 460, 460, 460, + 460, 703, 460, 387, 387, 387, 387, 387, 387, 387, + 387, 387, 387, 387, 387, 387, 387, 387, 387, 387, + 387, 387, 103, 103, 103, 103, 103, 103, 103, 103, + 103, 103, 103, 103, 103, 103, 103, 103, 103, 103, + 103, 484, 484, 703, 703, 484, 484, 484, 484, 484, + 484, 484, 484, 484, 484, 484, 484, 416, 416, 416, + + 416, 416, 416, 416, 416, 416, 416, 416, 416, 416, + 416, 416, 416, 416, 416, 416, 488, 488, 488, 488, + 488, 488, 488, 488, 488, 488, 488, 488, 488, 488, + 488, 488, 488, 488, 488, 491, 491, 491, 491, 491, 491, 491, 491, 491, 491, 491, 491, 491, 491, 491, - 348, 348, 348, 348, 348, 348, 348, 348, 348, 348, - 348, 348, 348, 348, 348, 348, 348, 348, 348, 121, - 121, 121, 121, 121, 121, 121, 121, 121, 121, 121, - 121, 121, 121, 121, 121, 121, 121, 121, 440, 440, - 440, 440, 440, 440, 440, 440, 440, 440, 440, 440, - 440, 440, 440, 440, 440, 440, 440, 517, 228, 125, - - 231, 202, 229, 517, 517, 517, 517, 517, 517, 517, - 517, 517, 524, 524, 524, 524, 524, 524, 524, 524, - 524, 524, 524, 524, 524, 524, 524, 524, 524, 524, - 524, 537, 537, 537, 537, 227, 537, 537, 537, 537, - 537, 537, 537, 537, 537, 537, 537, 537, 537, 537, - 540, 227, 226, 102, 208, 207, 540, 540, 540, 540, - 548, 548, 201, 548, 548, 548, 548, 548, 548, 548, - 548, 548, 548, 548, 548, 548, 548, 548, 548, 596, - 596, 202, 596, 596, 596, 596, 596, 596, 596, 596, - 596, 596, 596, 596, 596, 596, 596, 596, 603, 603, - - 201, 603, 603, 603, 603, 603, 603, 603, 603, 603, - 603, 603, 603, 603, 603, 603, 603, 595, 595, 193, - 595, 595, 595, 595, 595, 595, 595, 595, 595, 595, - 595, 595, 595, 595, 595, 595, 631, 631, 631, 631, - 631, 631, 631, 631, 631, 631, 631, 631, 631, 631, - 631, 631, 631, 631, 631, 653, 653, 653, 653, 653, - 653, 653, 653, 653, 653, 653, 653, 653, 653, 653, - 653, 653, 653, 653, 656, 656, 656, 656, 656, 656, - 656, 656, 656, 656, 656, 656, 656, 656, 656, 656, - 656, 656, 656, 671, 671, 671, 671, 671, 671, 671, - - 671, 671, 671, 671, 671, 671, 671, 671, 671, 671, - 671, 671, 185, 183, 167, 166, 163, 160, 159, 143, - 119, 137, 134, 119, 118, 115, 112, 111, 102, 84, - 689, 3, 689, 689, 689, 689, 689, 689, 689, 689, - 689, 689, 689, 689, 689, 689, 689, 689, 689, 689, - 689, 689, 689, 689, 689, 689, 689, 689, 689, 689, - 689, 689, 689, 689, 689, 689, 689, 689, 689, 689, - 689, 689, 689, 689, 689, 689, 689, 689, 689, 689, - 689, 689, 689, 689, 689, 689, 689, 689, 689, 689, - 689, 689, 689, 689, 689, 689, 689, 689, 689, 689, - - 689, 689, 689, 689, 689 + 491, 491, 491, 491, 495, 495, 703, 495, 495, 495, + 495, 495, 495, 495, 495, 495, 495, 495, 495, 495, + 495, 495, 495, 497, 497, 703, 497, 497, 497, 497, + 497, 497, 497, 497, 497, 497, 497, 497, 497, 497, + 497, 497, 499, 499, 703, 499, 499, 499, 499, 499, + + 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, + 499, 501, 501, 703, 501, 501, 501, 501, 501, 501, + 501, 501, 501, 501, 501, 501, 501, 501, 501, 501, + 503, 503, 703, 503, 503, 503, 503, 503, 503, 503, + 503, 503, 503, 503, 503, 503, 503, 503, 503, 505, + 505, 703, 505, 505, 505, 505, 505, 505, 505, 505, + 505, 505, 505, 505, 505, 505, 505, 505, 360, 360, + 360, 360, 360, 360, 360, 360, 360, 360, 360, 360, + 360, 360, 360, 360, 360, 360, 360, 124, 124, 124, + 124, 124, 124, 124, 124, 124, 124, 124, 124, 124, + + 124, 124, 124, 124, 124, 124, 454, 454, 454, 454, + 454, 454, 454, 454, 454, 454, 454, 454, 454, 454, + 454, 454, 454, 454, 454, 531, 703, 703, 703, 703, + 703, 531, 531, 531, 531, 531, 531, 531, 531, 531, + 538, 538, 538, 538, 538, 538, 538, 538, 538, 538, + 538, 538, 538, 538, 538, 538, 538, 538, 538, 551, + 551, 551, 551, 703, 551, 551, 551, 551, 551, 551, + 551, 551, 551, 551, 551, 551, 551, 551, 554, 703, + 703, 703, 703, 703, 554, 554, 554, 554, 562, 562, + 703, 562, 562, 562, 562, 562, 562, 562, 562, 562, + + 562, 562, 562, 562, 562, 562, 562, 610, 610, 703, + 610, 610, 610, 610, 610, 610, 610, 610, 610, 610, + 610, 610, 610, 610, 610, 610, 617, 617, 703, 617, + 617, 617, 617, 617, 617, 617, 617, 617, 617, 617, + 617, 617, 617, 617, 617, 609, 609, 703, 609, 609, + 609, 609, 609, 609, 609, 609, 609, 609, 609, 609, + 609, 609, 609, 609, 645, 645, 645, 645, 645, 645, + 645, 645, 645, 645, 645, 645, 645, 645, 645, 645, + 645, 645, 645, 667, 667, 667, 667, 667, 667, 667, + 667, 667, 667, 667, 667, 667, 667, 667, 667, 667, + + 667, 667, 670, 670, 670, 670, 670, 670, 670, 670, + 670, 670, 670, 670, 670, 670, 670, 670, 670, 670, + 670, 685, 685, 685, 685, 685, 685, 685, 685, 685, + 685, 685, 685, 685, 685, 685, 685, 685, 685, 685, + 3, 703, 703, 703, 703, 703, 703, 703, 703, 703, + 703, 703, 703, 703, 703, 703, 703, 703, 703, 703, + 703, 703, 703, 703, 703, 703, 703, 703, 703, 703, + 703, 703, 703, 703, 703, 703, 703, 703, 703, 703, + 703, 703, 703, 703, 703, 703, 703, 703, 703, 703, + 703, 703, 703, 703, 703, 703, 703, 703, 703, 703, + + 703, 703, 703, 703, 703, 703, 703, 703, 703, 703, + 703, 703, 703, 703, 703, 703 } ; -static yyconst flex_int16_t yy_chk[3906] = +static yyconst flex_int16_t yy_chk[4217] = { 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, @@ -1188,7 +1231,7 @@ static yyconst flex_int16_t yy_chk[3906] = 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, - 1, 1, 1, 2, 2, 2, 2, 2, 2, 2, + 1, 1, 1, 1, 1, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, @@ -1196,421 +1239,455 @@ static yyconst flex_int16_t yy_chk[3906] = 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, - 2, 2, 2, 2, 2, 2, 5, 6, 6, 6, - 6, 8, 10, 10, 11, 19, 21, 45, 8, 8, - 8, 8, 16, 151, 11, 13, 11, 11, 5, 45, - 56, 11, 12, 12, 12, 13, 151, 13, 19, 12, - 21, 97, 13, 97, 12, 12, 12, 12, 12, 12, - 12, 12, 687, 24, 56, 12, 12, 12, 12, 12, + 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, + 5, 6, 6, 6, 6, 8, 10, 10, 11, 19, + 55, 46, 8, 8, 8, 8, 16, 701, 11, 13, + 11, 11, 40, 46, 5, 11, 12, 12, 12, 13, + 99, 13, 99, 12, 19, 55, 13, 86, 12, 12, + 12, 12, 12, 12, 12, 12, 328, 43, 328, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, - 12, 12, 12, 12, 27, 51, 16, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, + 681, 40, 16, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, - 12, 12, 15, 24, 15, 39, 15, 15, 15, 15, - 15, 15, 250, 28, 15, 28, 28, 49, 49, 27, - 28, 30, 30, 259, 30, 30, 30, 42, 27, 51, - 31, 31, 259, 15, 31, 31, 31, 15, 15, 15, - 15, 15, 15, 15, 15, 15, 15, 15, 15, 33, - 33, 62, 39, 62, 62, 33, 33, 33, 62, 250, - - 15, 25, 25, 25, 25, 25, 25, 25, 25, 25, - 25, 25, 25, 25, 25, 25, 25, 42, 82, 82, - 32, 25, 25, 25, 25, 29, 29, 29, 29, 29, - 32, 32, 34, 34, 59, 32, 32, 32, 667, 34, - 34, 34, 29, 32, 25, 25, 25, 35, 35, 36, - 36, 37, 37, 43, 48, 35, 35, 35, 36, 36, - 36, 37, 37, 54, 48, 123, 48, 43, 43, 43, - 43, 48, 25, 25, 26, 61, 379, 26, 26, 26, - 26, 26, 46, 318, 59, 318, 54, 46, 79, 79, - 79, 79, 46, 74, 46, 46, 123, 64, 64, 46, - - 64, 64, 64, 26, 376, 74, 376, 26, 26, 26, - 26, 26, 26, 26, 26, 26, 26, 26, 26, 663, - 61, 89, 89, 43, 63, 63, 63, 63, 63, 61, - 26, 47, 47, 47, 379, 74, 223, 139, 47, 662, - 84, 63, 223, 47, 47, 47, 47, 47, 47, 47, - 47, 93, 93, 93, 47, 47, 47, 47, 47, 47, - 47, 47, 47, 47, 47, 47, 47, 47, 47, 47, - 47, 47, 47, 96, 96, 96, 47, 47, 47, 47, - 47, 47, 47, 47, 47, 47, 47, 47, 47, 47, - 47, 47, 47, 47, 47, 47, 47, 47, 47, 47, - - 47, 50, 84, 656, 50, 144, 50, 139, 50, 50, - 50, 50, 50, 50, 65, 65, 50, 144, 65, 65, - 65, 67, 67, 68, 68, 146, 152, 67, 67, 67, - 68, 68, 68, 146, 146, 50, 341, 146, 152, 50, - 50, 50, 50, 50, 50, 50, 50, 50, 50, 50, - 50, 69, 69, 148, 71, 71, 153, 153, 341, 69, - 69, 69, 50, 60, 71, 71, 66, 148, 60, 70, - 70, 60, 60, 60, 60, 60, 66, 66, 70, 70, - 70, 66, 66, 66, 72, 233, 73, 75, 88, 66, - 88, 73, 184, 184, 316, 88, 72, 60, 73, 75, - - 602, 60, 60, 60, 60, 60, 60, 60, 60, 60, - 60, 60, 60, 76, 263, 147, 233, 77, 76, 185, - 185, 655, 72, 147, 60, 161, 263, 147, 77, 342, - 76, 77, 77, 77, 77, 186, 186, 161, 73, 83, - 94, 94, 94, 98, 75, 320, 83, 83, 83, 83, - 83, 342, 94, 98, 94, 98, 316, 161, 602, 94, - 98, 187, 187, 76, 108, 108, 108, 108, 110, 110, - 110, 110, 111, 111, 111, 111, 131, 131, 131, 131, - 120, 120, 120, 120, 162, 188, 188, 77, 87, 149, - 87, 87, 87, 87, 87, 87, 162, 149, 110, 265, - - 265, 149, 157, 157, 157, 157, 111, 320, 177, 115, - 115, 115, 115, 118, 118, 118, 118, 87, 120, 431, - 177, 87, 87, 87, 87, 87, 87, 87, 87, 87, - 87, 87, 87, 132, 132, 132, 132, 133, 133, 133, - 133, 431, 162, 235, 87, 104, 104, 104, 104, 104, - 104, 104, 104, 104, 104, 104, 104, 106, 115, 141, - 616, 118, 227, 132, 106, 177, 163, 163, 163, 163, - 180, 133, 160, 141, 141, 141, 141, 141, 158, 158, - 158, 158, 180, 235, 160, 227, 106, 298, 298, 653, + 12, 12, 12, 12, 12, 12, 12, 12, 15, 43, + 15, 86, 15, 15, 15, 15, 15, 15, 390, 28, + 15, 21, 21, 21, 21, 20, 20, 20, 20, 23, + 23, 23, 23, 541, 22, 35, 35, 22, 22, 22, + 22, 15, 35, 35, 35, 15, 15, 15, 15, 15, + 15, 15, 15, 15, 15, 15, 15, 20, 22, 24, + + 24, 24, 24, 25, 390, 23, 28, 29, 15, 29, + 29, 50, 50, 126, 29, 28, 25, 25, 25, 25, + 30, 30, 30, 30, 30, 31, 31, 541, 31, 31, + 31, 52, 677, 74, 32, 32, 142, 30, 32, 32, + 32, 34, 34, 36, 36, 74, 126, 34, 34, 34, + 24, 36, 36, 36, 676, 25, 26, 26, 26, 26, + 26, 26, 26, 26, 26, 26, 26, 26, 26, 26, + 26, 26, 33, 74, 76, 670, 26, 26, 26, 26, + 84, 84, 38, 38, 33, 33, 76, 52, 147, 33, + 33, 33, 38, 38, 540, 37, 37, 33, 63, 49, + + 147, 26, 26, 26, 37, 37, 37, 44, 142, 49, + 64, 49, 64, 64, 155, 47, 49, 64, 76, 151, + 47, 44, 44, 44, 44, 47, 155, 47, 47, 26, + 26, 27, 47, 151, 27, 27, 27, 27, 27, 57, + 57, 57, 57, 61, 540, 63, 56, 56, 56, 56, + 59, 59, 59, 59, 63, 442, 61, 61, 61, 61, + 66, 66, 27, 66, 66, 66, 27, 27, 27, 27, + 27, 27, 27, 27, 27, 27, 27, 27, 56, 44, + 442, 65, 65, 65, 65, 65, 59, 91, 91, 27, + 48, 48, 48, 69, 69, 61, 669, 48, 65, 69, + + 69, 69, 48, 48, 48, 48, 48, 48, 48, 48, + 95, 95, 95, 48, 48, 48, 48, 48, 48, 48, + 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, + 48, 48, 48, 48, 98, 98, 98, 48, 48, 48, + 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, + 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, + 48, 48, 51, 156, 156, 51, 388, 51, 388, 51, + 51, 51, 51, 51, 51, 58, 68, 51, 58, 58, + 58, 58, 60, 60, 60, 60, 67, 67, 68, 68, + 67, 67, 67, 68, 68, 68, 188, 188, 51, 58, + + 630, 68, 51, 51, 51, 51, 51, 51, 51, 51, + 51, 51, 51, 51, 70, 70, 189, 189, 71, 71, + 667, 70, 70, 70, 257, 51, 71, 71, 71, 81, + 81, 81, 81, 60, 62, 190, 190, 73, 73, 62, + 72, 72, 62, 62, 62, 62, 62, 73, 73, 72, + 72, 72, 75, 77, 90, 78, 90, 75, 154, 630, + 78, 90, 191, 191, 75, 77, 117, 117, 117, 117, + 62, 154, 78, 257, 62, 62, 62, 62, 62, 62, + 62, 62, 62, 62, 62, 62, 230, 79, 134, 134, + 134, 134, 230, 135, 135, 135, 135, 62, 79, 192, + + 192, 79, 79, 79, 79, 242, 75, 78, 85, 96, + 96, 96, 77, 332, 100, 85, 85, 85, 85, 85, + 266, 96, 144, 96, 100, 135, 100, 332, 96, 266, + 163, 100, 136, 136, 136, 136, 144, 144, 144, 144, + 144, 149, 163, 150, 152, 164, 171, 242, 665, 149, + 149, 150, 152, 149, 198, 150, 152, 164, 171, 79, + 89, 198, 89, 89, 89, 89, 89, 89, 136, 663, + 163, 657, 165, 166, 166, 166, 166, 264, 169, 164, + 182, 183, 264, 264, 165, 198, 171, 272, 272, 629, + 169, 89, 182, 183, 144, 89, 89, 89, 89, 89, + + 89, 89, 89, 89, 89, 89, 89, 169, 214, 214, + 214, 214, 198, 215, 215, 215, 215, 656, 89, 106, 106, 106, 106, 106, 106, 106, 106, 106, 106, 106, - - 106, 106, 209, 159, 159, 159, 159, 227, 158, 501, - 160, 165, 209, 106, 109, 163, 109, 616, 285, 209, - 285, 109, 109, 165, 501, 109, 180, 385, 109, 141, - 285, 178, 166, 166, 166, 166, 109, 159, 109, 385, - 165, 299, 299, 178, 109, 109, 210, 210, 210, 210, - 109, 168, 168, 168, 168, 109, 122, 122, 122, 122, - 122, 122, 122, 122, 122, 122, 122, 122, 122, 122, - 122, 122, 167, 179, 181, 385, 122, 122, 122, 122, - 166, 651, 174, 178, 167, 179, 181, 182, 649, 168, - 174, 174, 174, 174, 174, 194, 175, 267, 182, 122, - - 122, 122, 194, 176, 175, 175, 175, 175, 175, 275, - 167, 176, 176, 176, 176, 176, 211, 211, 211, 211, - 181, 275, 300, 300, 194, 179, 643, 122, 122, 124, - 124, 124, 124, 124, 175, 124, 124, 124, 124, 124, - 124, 214, 442, 124, 124, 176, 669, 267, 214, 124, - 124, 194, 124, 189, 189, 442, 267, 182, 190, 190, - 189, 189, 189, 189, 189, 190, 190, 190, 190, 275, - 214, 340, 124, 124, 212, 212, 212, 212, 215, 215, - 215, 215, 216, 216, 216, 216, 224, 224, 224, 224, - 257, 301, 301, 302, 302, 257, 257, 214, 303, 303, - - 124, 124, 126, 126, 126, 126, 126, 126, 126, 126, - 126, 126, 126, 126, 127, 127, 669, 389, 224, 127, - 348, 642, 127, 127, 127, 127, 127, 340, 127, 389, - 127, 127, 127, 127, 127, 127, 127, 127, 127, 127, - 127, 127, 127, 127, 127, 127, 127, 127, 127, 641, - 350, 348, 127, 127, 127, 127, 127, 127, 127, 127, - 127, 127, 127, 127, 127, 127, 127, 127, 127, 127, - 127, 127, 127, 127, 127, 127, 127, 129, 129, 129, - 129, 129, 129, 129, 129, 129, 129, 129, 129, 130, - 350, 225, 225, 225, 225, 360, 130, 130, 130, 130, - - 402, 402, 130, 526, 130, 130, 130, 130, 130, 130, + 106, 108, 165, 268, 182, 183, 108, 240, 268, 108, + 108, 108, 108, 108, 599, 268, 629, 108, 108, 108, + 108, 108, 108, 108, 108, 108, 108, 108, 108, 108, + 108, 108, 108, 108, 108, 108, 108, 108, 308, 308, + 240, 108, 108, 108, 108, 108, 108, 108, 108, 108, + 108, 108, 108, 108, 108, 108, 108, 108, 108, 108, + 108, 108, 108, 108, 108, 108, 110, 178, 599, 110, + + 110, 110, 110, 110, 179, 178, 178, 178, 178, 178, + 181, 185, 179, 179, 179, 179, 179, 184, 655, 186, + 309, 309, 181, 185, 310, 310, 362, 110, 651, 184, + 186, 110, 110, 110, 110, 110, 110, 110, 110, 110, + 110, 110, 110, 213, 179, 216, 216, 216, 216, 219, + 219, 219, 219, 213, 110, 111, 269, 111, 270, 185, + 213, 269, 111, 111, 295, 648, 295, 111, 362, 181, + 270, 111, 271, 269, 180, 184, 295, 271, 299, 111, + 299, 111, 180, 180, 180, 180, 180, 111, 111, 271, + 299, 186, 234, 111, 220, 220, 220, 220, 111, 125, + + 125, 125, 125, 125, 125, 125, 125, 125, 125, 125, + 125, 125, 125, 125, 125, 234, 193, 193, 180, 125, + 125, 125, 125, 193, 193, 193, 193, 193, 194, 194, + 221, 221, 221, 221, 487, 194, 194, 194, 194, 234, + 224, 311, 311, 487, 125, 125, 125, 224, 199, 312, + 312, 199, 199, 199, 199, 199, 222, 222, 222, 222, + 222, 222, 222, 222, 222, 222, 222, 231, 231, 231, + 231, 224, 125, 125, 127, 127, 127, 127, 127, 199, + 127, 127, 127, 127, 127, 127, 313, 313, 127, 127, + 232, 232, 232, 232, 127, 127, 251, 127, 224, 275, + + 326, 231, 251, 251, 251, 251, 199, 275, 275, 275, + 275, 275, 239, 239, 239, 239, 288, 415, 415, 127, + 127, 288, 417, 417, 232, 647, 278, 642, 288, 241, + 241, 241, 241, 252, 278, 278, 278, 278, 278, 391, + 252, 252, 252, 252, 353, 641, 252, 127, 127, 129, + 129, 129, 129, 129, 129, 129, 129, 129, 129, 129, + 129, 130, 130, 239, 326, 360, 130, 361, 353, 130, + 130, 130, 130, 130, 241, 130, 252, 130, 130, 130, 130, 130, 130, 130, 130, 130, 130, 130, 130, 130, - 130, 130, 130, 225, 232, 232, 232, 232, 244, 279, - 130, 150, 150, 150, 244, 244, 244, 244, 150, 322, - 261, 279, 360, 150, 150, 261, 150, 150, 150, 150, - 150, 526, 261, 322, 150, 150, 150, 150, 150, 150, - 150, 150, 150, 150, 150, 150, 150, 150, 150, 150, - 150, 150, 150, 232, 349, 279, 150, 150, 150, 150, - 150, 150, 150, 150, 150, 150, 150, 150, 150, 150, - 150, 150, 150, 150, 150, 150, 150, 150, 150, 150, - - 150, 154, 637, 195, 634, 349, 195, 195, 195, 195, - 195, 245, 256, 154, 234, 234, 234, 234, 245, 245, - 245, 245, 633, 364, 245, 268, 256, 256, 256, 256, - 404, 404, 195, 268, 268, 268, 268, 268, 628, 154, - 154, 154, 154, 154, 154, 154, 154, 154, 154, 154, - 154, 155, 245, 405, 405, 246, 262, 234, 155, 195, - 277, 262, 246, 246, 246, 246, 264, 271, 246, 278, - 364, 264, 277, 262, 278, 271, 271, 271, 271, 271, - 155, 278, 256, 264, 155, 155, 155, 155, 155, 155, - 155, 155, 155, 155, 155, 155, 246, 310, 310, 310, - - 310, 428, 277, 331, 331, 331, 331, 155, 169, 169, - 169, 169, 169, 169, 169, 169, 169, 169, 169, 169, - 170, 170, 627, 398, 428, 170, 406, 406, 170, 170, - 170, 170, 170, 626, 170, 398, 170, 170, 170, 170, - 170, 170, 170, 170, 170, 170, 170, 170, 170, 170, - 170, 170, 170, 170, 170, 351, 351, 351, 170, 170, - 170, 170, 170, 170, 170, 170, 170, 170, 170, 170, - 170, 170, 170, 170, 170, 170, 170, 170, 170, 170, - 170, 170, 170, 172, 172, 172, 172, 172, 172, 172, - 172, 172, 172, 172, 172, 173, 173, 443, 351, 437, - - 173, 407, 407, 173, 173, 173, 173, 173, 625, 173, - 443, 173, 173, 173, 173, 173, 173, 173, 173, 173, - 173, 173, 173, 173, 173, 173, 173, 173, 173, 173, - 437, 447, 378, 173, 173, 173, 173, 173, 173, 173, - 173, 173, 173, 173, 173, 173, 173, 173, 173, 173, - 173, 173, 173, 173, 173, 173, 173, 173, 213, 213, - 213, 213, 213, 213, 213, 213, 213, 213, 213, 213, - 217, 354, 354, 354, 354, 273, 378, 217, 447, 217, - 274, 291, 292, 273, 273, 273, 273, 273, 274, 274, - 274, 274, 274, 291, 292, 355, 355, 355, 355, 217, - - 474, 474, 423, 217, 217, 217, 217, 217, 217, 217, - 217, 217, 217, 217, 217, 273, 423, 423, 408, 408, - 274, 291, 292, 408, 476, 476, 217, 236, 236, 236, - 236, 236, 512, 236, 236, 236, 236, 236, 236, 276, - 280, 236, 236, 289, 276, 289, 512, 236, 236, 281, - 236, 294, 280, 380, 622, 289, 276, 281, 281, 281, - 281, 281, 276, 294, 287, 380, 287, 380, 295, 358, - 236, 236, 287, 287, 287, 287, 287, 460, 293, 295, - 377, 290, 358, 293, 276, 621, 400, 290, 377, 280, - 293, 584, 377, 290, 305, 305, 361, 400, 236, 236, - - 237, 305, 305, 305, 305, 459, 281, 329, 294, 361, - 358, 477, 477, 237, 329, 237, 237, 237, 237, 237, - 237, 237, 237, 237, 237, 237, 237, 237, 237, 237, - 237, 237, 237, 237, 290, 563, 329, 361, 295, 460, - 584, 237, 239, 239, 239, 239, 239, 239, 239, 239, - 239, 239, 239, 239, 247, 454, 400, 454, 619, 311, - 618, 459, 454, 329, 538, 538, 311, 247, 311, 247, - 247, 247, 247, 247, 247, 247, 247, 247, 247, 247, - 247, 247, 247, 247, 247, 247, 247, 247, 311, 321, - 572, 362, 325, 321, 614, 247, 269, 399, 563, 325, - - 321, 325, 357, 357, 362, 381, 386, 357, 269, 399, - 357, 357, 357, 357, 371, 311, 357, 381, 386, 381, - 444, 325, 527, 615, 371, 613, 371, 410, 410, 410, - 410, 371, 362, 444, 269, 269, 269, 269, 269, 269, - 269, 269, 269, 269, 269, 269, 272, 372, 325, 399, - 392, 321, 572, 272, 386, 272, 387, 372, 384, 372, - 418, 387, 392, 480, 372, 390, 384, 384, 384, 384, - 384, 612, 418, 387, 527, 272, 480, 390, 615, 272, - 272, 272, 272, 272, 272, 272, 272, 272, 272, 272, - 272, 369, 392, 577, 390, 562, 562, 391, 393, 396, - - 495, 396, 272, 282, 282, 369, 369, 369, 369, 391, - 393, 396, 387, 495, 585, 282, 594, 282, 577, 282, - 282, 282, 282, 282, 282, 282, 282, 282, 282, 282, - 282, 282, 282, 282, 282, 282, 282, 282, 594, 611, - 393, 391, 458, 458, 458, 282, 283, 283, 283, 283, - 283, 283, 283, 283, 283, 283, 283, 283, 288, 473, - 470, 369, 470, 525, 525, 525, 585, 609, 473, 630, - 630, 288, 470, 288, 288, 288, 288, 288, 288, 288, - 288, 288, 288, 288, 288, 288, 288, 288, 288, 288, - 288, 288, 438, 438, 438, 700, 700, 629, 608, 288, - - 328, 328, 328, 328, 328, 328, 328, 328, 328, 328, - 328, 328, 382, 382, 382, 382, 382, 382, 382, 382, - 382, 382, 382, 382, 388, 664, 701, 701, 575, 394, - 429, 441, 441, 441, 600, 438, 388, 394, 394, 394, - 394, 394, 575, 395, 395, 629, 452, 388, 395, 463, - 397, 395, 395, 395, 395, 395, 397, 395, 452, 429, - 462, 463, 397, 466, 599, 462, 464, 465, 429, 388, - 471, 464, 496, 469, 441, 466, 463, 462, 469, 465, - 664, 472, 471, 464, 429, 496, 528, 465, 528, 467, - 469, 595, 472, 500, 468, 601, 597, 567, 528, 463, - - 644, 467, 566, 397, 420, 466, 468, 500, 500, 567, - 515, 515, 515, 595, 566, 593, 452, 420, 597, 420, - 420, 420, 420, 420, 420, 420, 420, 420, 420, 420, - 420, 420, 420, 420, 420, 420, 420, 420, 461, 461, - 467, 702, 702, 566, 468, 705, 705, 601, 591, 644, - 461, 472, 461, 515, 461, 461, 461, 461, 461, 461, - 461, 461, 461, 461, 461, 461, 461, 461, 461, 461, - 461, 461, 461, 479, 479, 520, 529, 590, 604, 589, - 479, 479, 479, 479, 530, 531, 532, 533, 529, 520, - 520, 520, 520, 534, 565, 583, 530, 531, 532, 533, - - 539, 539, 559, 582, 534, 604, 565, 539, 539, 539, - 539, 568, 564, 605, 529, 530, 559, 559, 559, 559, - 569, 606, 587, 568, 564, 533, 617, 604, 532, 588, - 610, 569, 631, 606, 587, 605, 610, 607, 620, 623, - 588, 531, 532, 564, 623, 520, 635, 624, 607, 620, - 565, 639, 610, 636, 617, 648, 652, 635, 610, 661, - 631, 623, 581, 534, 587, 632, 648, 636, 568, 624, - 661, 639, 559, 639, 658, 624, 617, 670, 652, 671, - 668, 579, 631, 721, 721, 578, 638, 632, 638, 645, - 569, 580, 580, 632, 580, 580, 580, 580, 580, 588, - - 580, 580, 580, 580, 646, 580, 580, 607, 620, 632, - 638, 580, 580, 580, 580, 632, 635, 645, 686, 576, - 666, 580, 645, 574, 573, 648, 658, 659, 668, 661, - 665, 666, 646, 660, 580, 580, 580, 571, 570, 645, - 672, 673, 561, 580, 560, 674, 558, 670, 675, 671, - 556, 672, 673, 659, 646, 659, 674, 555, 665, 675, - 646, 660, 580, 580, 586, 586, 554, 586, 586, 586, - 586, 586, 586, 586, 586, 586, 586, 659, 586, 586, - 665, 660, 553, 660, 586, 586, 586, 586, 686, 552, - 666, 676, 677, 678, 586, 679, 551, 550, 549, 548, - - 547, 680, 676, 677, 678, 545, 679, 586, 586, 586, - 672, 673, 680, 681, 682, 674, 586, 683, 675, 544, - 684, 685, 542, 541, 681, 682, 540, 537, 683, 536, - 524, 684, 685, 523, 522, 586, 586, 596, 596, 521, - 596, 596, 596, 596, 596, 519, 596, 596, 596, 596, - 517, 596, 596, 513, 511, 510, 509, 596, 596, 596, - 596, 676, 677, 678, 508, 679, 507, 596, 506, 505, - 504, 680, 502, 499, 498, 497, 494, 493, 492, 491, - 596, 596, 596, 681, 682, 490, 489, 683, 488, 596, - 684, 685, 487, 486, 485, 484, 483, 482, 481, 475, - - 457, 456, 455, 453, 451, 449, 446, 445, 596, 596, - 603, 603, 440, 603, 603, 603, 603, 603, 603, 603, - 603, 603, 603, 436, 603, 603, 435, 434, 433, 432, - 603, 603, 603, 603, 430, 427, 426, 425, 424, 422, - 603, 421, 417, 416, 415, 414, 413, 412, 411, 409, - 403, 401, 383, 603, 603, 603, 375, 374, 373, 370, - 368, 366, 603, 363, 359, 353, 352, 347, 346, 345, - 344, 339, 338, 337, 336, 335, 334, 333, 332, 327, - 326, 603, 603, 690, 324, 319, 317, 690, 690, 315, - 314, 690, 690, 690, 690, 690, 690, 690, 690, 691, - - 691, 691, 691, 691, 313, 691, 691, 691, 691, 691, - 691, 691, 691, 691, 691, 691, 691, 691, 692, 692, - 312, 309, 308, 692, 692, 692, 693, 693, 693, 693, - 693, 693, 693, 693, 693, 693, 693, 693, 693, 693, - 693, 693, 693, 693, 693, 694, 694, 694, 694, 694, - 694, 694, 694, 694, 694, 694, 694, 694, 694, 694, - 694, 694, 694, 694, 695, 695, 695, 695, 695, 695, - 695, 695, 695, 695, 695, 695, 695, 695, 695, 695, - 695, 695, 695, 696, 307, 306, 296, 696, 696, 696, - 286, 696, 696, 696, 696, 696, 696, 696, 696, 697, - - 697, 697, 697, 697, 284, 697, 697, 697, 697, 697, - 697, 697, 697, 697, 697, 697, 697, 697, 698, 698, - 698, 698, 698, 698, 698, 698, 698, 698, 698, 698, - 698, 698, 698, 698, 698, 698, 698, 699, 699, 270, - 266, 260, 258, 254, 253, 252, 251, 699, 249, 248, - 699, 699, 243, 699, 703, 703, 703, 703, 703, 703, - 703, 703, 703, 703, 703, 703, 703, 703, 703, 703, - 703, 703, 703, 704, 704, 704, 704, 704, 704, 704, - 704, 704, 704, 704, 704, 704, 704, 704, 704, 704, - 704, 704, 706, 706, 706, 706, 706, 706, 706, 706, + 130, 130, 130, 130, 130, 130, 130, 130, 360, 391, - 706, 706, 706, 706, 706, 706, 706, 706, 706, 706, - 706, 707, 707, 707, 707, 707, 707, 707, 707, 707, + 361, 130, 130, 130, 130, 130, 130, 130, 130, 130, + 130, 130, 130, 130, 130, 130, 130, 130, 130, 130, + 130, 130, 130, 130, 130, 130, 132, 132, 132, 132, + 132, 132, 132, 132, 132, 132, 132, 132, 133, 133, + 418, 418, 305, 133, 419, 419, 133, 133, 133, 133, + 640, 354, 133, 305, 133, 133, 133, 133, 133, 133, + 133, 133, 133, 133, 133, 133, 133, 133, 133, 133, + 133, 133, 133, 133, 133, 354, 420, 420, 133, 133, + 133, 133, 133, 133, 133, 133, 133, 133, 133, 133, + 133, 133, 133, 133, 133, 133, 133, 133, 133, 133, + + 133, 133, 133, 153, 153, 153, 320, 320, 320, 320, + 153, 683, 303, 639, 305, 153, 153, 303, 153, 153, + 153, 153, 153, 352, 303, 274, 153, 153, 153, 153, + 153, 153, 153, 153, 153, 153, 153, 153, 153, 153, + 153, 153, 153, 153, 153, 153, 153, 372, 376, 636, + 153, 153, 153, 153, 153, 153, 153, 153, 153, 153, + 153, 153, 153, 153, 153, 153, 153, 153, 153, 153, + 153, 153, 153, 153, 153, 157, 300, 274, 285, 421, + 421, 352, 300, 683, 421, 253, 274, 157, 300, 635, + 285, 279, 253, 253, 253, 253, 372, 376, 253, 279, + + 279, 279, 279, 279, 280, 280, 280, 280, 280, 280, + 280, 280, 280, 280, 280, 157, 157, 157, 157, 157, + 157, 157, 157, 157, 157, 157, 157, 158, 253, 393, + 330, 300, 158, 488, 488, 158, 158, 158, 158, 158, + 285, 393, 445, 158, 158, 158, 158, 158, 158, 158, + 158, 158, 158, 158, 158, 158, 158, 158, 158, 158, + 158, 158, 158, 158, 490, 490, 445, 158, 158, 158, + 158, 158, 158, 158, 158, 158, 158, 158, 158, 158, + 158, 158, 158, 158, 158, 158, 158, 158, 158, 158, + 158, 158, 160, 263, 330, 160, 160, 160, 160, 160, + + 633, 286, 577, 283, 301, 287, 286, 263, 263, 263, + 263, 283, 283, 283, 283, 283, 301, 287, 286, 336, + 336, 336, 336, 160, 286, 491, 491, 160, 160, 160, + 160, 160, 160, 160, 160, 160, 160, 160, 160, 343, + 343, 343, 343, 451, 632, 283, 301, 628, 286, 287, + 160, 173, 173, 173, 173, 173, 173, 173, 173, 173, + 173, 173, 173, 174, 174, 263, 402, 577, 174, 552, + 552, 174, 174, 174, 174, 174, 451, 174, 402, 174, + 174, 174, 174, 174, 174, 174, 174, 174, 174, 174, + 174, 174, 174, 174, 174, 174, 174, 174, 174, 174, + + 472, 472, 472, 174, 174, 174, 174, 174, 174, 174, + 174, 174, 174, 174, 174, 174, 174, 174, 174, 174, + 174, 174, 174, 174, 174, 174, 174, 174, 176, 176, + 176, 176, 176, 176, 176, 176, 176, 176, 176, 176, + 177, 177, 627, 411, 626, 177, 576, 576, 177, 177, + 177, 177, 177, 625, 177, 411, 177, 177, 177, 177, + 177, 177, 177, 177, 177, 177, 177, 177, 177, 177, + 177, 177, 177, 177, 177, 177, 177, 363, 363, 363, + 177, 177, 177, 177, 177, 177, 177, 177, 177, 177, + 177, 177, 177, 177, 177, 177, 177, 177, 177, 177, + + 177, 177, 177, 177, 177, 217, 217, 217, 217, 217, + 217, 217, 217, 217, 217, 217, 284, 366, 366, 366, + 366, 474, 363, 616, 284, 284, 284, 284, 284, 217, + 217, 217, 217, 217, 217, 217, 217, 217, 217, 217, + 217, 218, 218, 218, 218, 218, 218, 218, 218, 218, + 218, 218, 289, 315, 315, 644, 644, 461, 284, 598, + 315, 315, 315, 315, 289, 218, 218, 218, 218, 218, + 218, 218, 218, 218, 218, 218, 218, 223, 290, 409, + 389, 409, 302, 616, 223, 474, 223, 297, 389, 297, + 290, 409, 389, 291, 302, 297, 297, 297, 297, 297, + + 289, 291, 291, 291, 291, 291, 461, 586, 223, 473, + 598, 678, 223, 223, 223, 223, 223, 223, 223, 223, + 223, 223, 223, 223, 302, 367, 367, 367, 367, 290, + 423, 423, 423, 423, 515, 223, 243, 243, 243, 243, + 243, 304, 243, 243, 243, 243, 243, 243, 341, 515, + 243, 243, 291, 304, 321, 341, 243, 243, 331, 243, + 370, 321, 331, 321, 373, 335, 392, 473, 678, 331, + 623, 586, 335, 370, 335, 404, 374, 373, 392, 341, + 392, 243, 243, 369, 369, 321, 431, 404, 369, 374, + 394, 369, 369, 369, 369, 622, 335, 369, 431, 381, + + 304, 614, 394, 370, 394, 405, 341, 373, 383, 243, + 243, 244, 321, 381, 381, 381, 381, 405, 383, 374, + 383, 404, 331, 335, 244, 383, 244, 244, 244, 244, + 244, 244, 244, 244, 244, 244, 244, 244, 244, 244, + 244, 244, 244, 244, 244, 244, 244, 714, 714, 405, + 539, 539, 539, 613, 244, 246, 246, 246, 246, 246, + 246, 246, 246, 246, 246, 246, 246, 254, 413, 398, + 607, 381, 452, 452, 452, 605, 455, 455, 455, 413, + 254, 398, 254, 254, 254, 254, 254, 254, 254, 254, + 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, + + 254, 254, 254, 384, 484, 456, 484, 400, 604, 457, + 254, 276, 400, 384, 399, 384, 484, 452, 456, 398, + 384, 455, 457, 276, 400, 526, 399, 276, 276, 276, + 276, 276, 276, 276, 276, 276, 276, 276, 397, 526, + 413, 603, 643, 591, 715, 715, 397, 397, 397, 397, + 397, 276, 276, 276, 276, 276, 276, 276, 276, 276, + 276, 276, 276, 281, 399, 400, 401, 403, 406, 591, + 281, 608, 281, 407, 458, 597, 437, 596, 401, 403, + 406, 407, 407, 407, 407, 407, 468, 458, 468, 401, + 437, 437, 643, 468, 281, 608, 403, 494, 281, 281, + + 281, 281, 281, 281, 281, 281, 281, 281, 281, 281, + 494, 609, 406, 401, 466, 529, 529, 529, 589, 408, + 408, 281, 292, 292, 408, 485, 466, 408, 408, 408, + 408, 408, 589, 408, 292, 609, 292, 485, 292, 292, + 292, 292, 292, 292, 292, 292, 292, 292, 292, 292, + 292, 292, 292, 292, 292, 292, 292, 292, 292, 611, + 529, 615, 716, 716, 595, 658, 292, 293, 293, 293, + 293, 293, 293, 293, 293, 293, 293, 293, 293, 298, + 493, 493, 593, 611, 719, 719, 466, 493, 493, 493, + 493, 592, 298, 619, 298, 298, 298, 298, 298, 298, + + 298, 298, 298, 298, 298, 298, 298, 298, 298, 298, + 298, 298, 298, 298, 298, 615, 658, 619, 443, 736, + 736, 590, 298, 340, 340, 340, 340, 340, 340, 340, + 340, 340, 340, 340, 340, 395, 395, 395, 395, 395, + 395, 395, 395, 395, 395, 395, 395, 410, 443, 412, + 476, 478, 479, 410, 477, 476, 478, 480, 443, 410, + 483, 412, 588, 481, 479, 483, 477, 476, 478, 480, + 509, 486, 479, 510, 443, 481, 514, 483, 548, 587, + 544, 477, 486, 509, 545, 542, 510, 542, 579, 548, + 514, 514, 544, 482, 637, 581, 545, 542, 620, 637, + + 579, 480, 410, 412, 434, 482, 477, 581, 585, 584, + 620, 575, 544, 574, 572, 570, 481, 434, 637, 434, + 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, + 434, 434, 434, 434, 434, 434, 434, 434, 434, 434, + 475, 475, 545, 486, 569, 482, 579, 568, 567, 684, + 548, 672, 475, 566, 475, 565, 475, 475, 475, 475, + 475, 475, 475, 475, 475, 475, 475, 475, 475, 475, + 475, 475, 475, 475, 475, 475, 475, 534, 543, 553, + 553, 618, 564, 546, 547, 573, 553, 553, 553, 553, + 543, 534, 534, 534, 534, 546, 547, 578, 601, 573, + + 573, 573, 573, 580, 582, 672, 583, 631, 618, 578, + 601, 682, 645, 624, 638, 580, 582, 583, 543, 624, + 602, 684, 563, 621, 547, 634, 652, 546, 652, 578, + 666, 602, 618, 650, 621, 631, 634, 624, 638, 649, + 645, 546, 601, 624, 638, 653, 580, 650, 562, 534, + 649, 662, 652, 561, 666, 559, 558, 573, 685, 631, + 675, 682, 662, 582, 645, 556, 555, 653, 674, 653, + 680, 675, 700, 554, 551, 659, 646, 660, 583, 594, + 594, 680, 594, 594, 594, 594, 594, 673, 594, 594, + 594, 594, 602, 594, 594, 621, 674, 634, 646, 594, + + 594, 594, 594, 659, 646, 660, 686, 550, 659, 594, + 687, 649, 538, 673, 537, 673, 536, 686, 674, 679, + 674, 687, 646, 662, 594, 594, 594, 659, 646, 660, + 685, 535, 675, 594, 688, 660, 533, 689, 690, 673, + 691, 531, 680, 527, 700, 688, 525, 679, 689, 690, + 524, 691, 594, 594, 600, 600, 523, 600, 600, 600, + 600, 600, 600, 600, 600, 600, 600, 522, 600, 600, + 692, 679, 521, 520, 600, 600, 600, 600, 686, 519, + 518, 692, 687, 693, 600, 694, 695, 516, 513, 512, + 511, 696, 697, 698, 693, 508, 694, 695, 507, 600, + + 600, 600, 696, 697, 698, 699, 688, 506, 600, 689, + 690, 505, 691, 504, 503, 502, 699, 501, 500, 499, + 498, 497, 496, 495, 489, 471, 470, 600, 600, 610, + 610, 469, 610, 610, 610, 610, 610, 467, 610, 610, + 610, 610, 692, 610, 610, 465, 463, 460, 459, 610, + 610, 610, 610, 454, 450, 693, 449, 694, 695, 610, + 448, 447, 446, 696, 697, 698, 444, 441, 440, 439, + 438, 436, 435, 430, 610, 610, 610, 699, 429, 428, + 427, 426, 425, 610, 424, 422, 416, 414, 396, 387, + 386, 385, 382, 380, 378, 375, 371, 365, 364, 359, + + 358, 357, 610, 610, 617, 617, 356, 617, 617, 617, + 617, 617, 617, 617, 617, 617, 617, 351, 617, 617, + 350, 349, 348, 347, 617, 617, 617, 617, 346, 345, + 344, 339, 338, 334, 617, 329, 327, 325, 324, 323, + 322, 319, 318, 317, 316, 306, 296, 294, 282, 617, + 617, 617, 277, 273, 267, 265, 261, 260, 617, 259, + 258, 256, 255, 250, 249, 248, 238, 237, 236, 235, + 233, 229, 228, 227, 226, 225, 212, 617, 617, 704, + 211, 210, 209, 704, 704, 208, 205, 704, 704, 704, + 704, 704, 704, 704, 704, 705, 705, 705, 705, 705, + + 204, 705, 705, 705, 705, 705, 705, 705, 705, 705, + 705, 705, 705, 705, 706, 706, 203, 202, 201, 706, + 706, 706, 707, 707, 707, 707, 707, 707, 707, 707, 707, 707, 707, 707, 707, 707, 707, 707, 707, 707, + 707, 708, 708, 708, 708, 708, 708, 708, 708, 708, 708, 708, 708, 708, 708, 708, 708, 708, 708, 708, - 708, 708, 708, 708, 708, 708, 708, 708, 708, 709, 709, 709, 709, 709, 709, 709, 709, 709, 709, 709, - 709, 709, 709, 709, 709, 709, 709, 709, 710, 710, - 710, 710, 710, 710, 710, 710, 710, 710, 710, 710, - 710, 710, 710, 710, 710, 710, 710, 711, 711, 711, - 711, 711, 711, 711, 711, 711, 711, 711, 711, 711, + 709, 709, 709, 709, 709, 709, 709, 709, 709, 710, + 200, 196, 195, 710, 710, 710, 187, 710, 710, 710, + 710, 710, 710, 710, 710, 711, 711, 711, 711, 711, - 711, 711, 711, 711, 711, 711, 712, 712, 712, 712, + 175, 711, 711, 711, 711, 711, 711, 711, 711, 711, + 711, 711, 711, 711, 712, 712, 712, 712, 712, 712, 712, 712, 712, 712, 712, 712, 712, 712, 712, 712, - 712, 712, 712, 712, 712, 713, 713, 242, 713, 713, - 713, 713, 713, 713, 713, 713, 713, 713, 713, 713, - 713, 713, 713, 713, 714, 714, 241, 714, 714, 714, - 714, 714, 714, 714, 714, 714, 714, 714, 714, 714, - 714, 714, 714, 715, 231, 715, 230, 229, 228, 715, - 715, 715, 226, 222, 715, 716, 716, 716, 716, 716, - 716, 716, 716, 716, 716, 716, 716, 716, 716, 716, - 716, 716, 716, 716, 717, 717, 717, 717, 717, 717, - + 712, 712, 712, 713, 713, 172, 170, 168, 167, 162, + 161, 159, 148, 713, 146, 145, 713, 713, 143, 713, 717, 717, 717, 717, 717, 717, 717, 717, 717, 717, - 717, 717, 717, 718, 718, 718, 718, 718, 718, 718, + 717, 717, 717, 717, 717, 717, 717, 717, 717, 718, 718, 718, 718, 718, 718, 718, 718, 718, 718, 718, - 718, 718, 719, 719, 719, 719, 719, 719, 719, 719, - 719, 719, 719, 719, 719, 719, 719, 719, 719, 719, - 719, 720, 720, 720, 720, 720, 720, 720, 720, 722, - 221, 220, 219, 722, 218, 722, 722, 722, 722, 208, - 722, 723, 723, 723, 723, 723, 723, 723, 723, 723, + 718, 718, 718, 718, 718, 718, 718, 718, 720, 720, + 720, 720, 720, 720, 720, 720, 720, 720, 720, 720, + + 720, 720, 720, 720, 720, 720, 720, 721, 721, 721, + 721, 721, 721, 721, 721, 721, 721, 721, 721, 721, + 721, 721, 721, 721, 721, 721, 722, 141, 140, 139, + 722, 722, 722, 138, 722, 722, 722, 722, 722, 722, + 722, 722, 723, 723, 723, 723, 723, 723, 723, 723, 723, 723, 723, 723, 723, 723, 723, 723, 723, 723, + 723, 724, 724, 724, 724, 724, 724, 724, 724, 724, 724, 724, 724, 724, 724, 724, 724, 724, 724, 724, - - 724, 724, 724, 724, 724, 724, 724, 724, 724, 725, 725, 725, 725, 725, 725, 725, 725, 725, 725, 725, - 725, 725, 725, 725, 725, 725, 725, 725, 726, 726, + 725, 725, 725, 725, 725, 725, 725, 725, 725, 726, + 726, 726, 726, 726, 726, 726, 726, 726, 726, 726, - 726, 726, 726, 726, 726, 726, 726, 727, 727, 727, + 726, 726, 726, 726, 726, 726, 726, 726, 727, 727, 727, 727, 727, 727, 727, 727, 727, 727, 727, 727, - 727, 727, 727, 727, 727, 727, 728, 728, 728, 728, + 727, 727, 727, 727, 727, 727, 727, 728, 728, 137, 728, 728, 728, 728, 728, 728, 728, 728, 728, 728, - 728, 728, 728, 728, 728, 729, 729, 729, 729, 729, + 728, 728, 728, 728, 728, 728, 729, 729, 124, 729, 729, 729, 729, 729, 729, 729, 729, 729, 729, 729, - - 729, 729, 729, 729, 730, 730, 730, 730, 730, 730, - 730, 730, 730, 730, 730, 730, 730, 730, 730, 730, - 730, 730, 730, 731, 731, 731, 731, 731, 731, 731, + 729, 729, 729, 729, 729, 730, 123, 730, 122, 121, + 120, 730, 730, 730, 119, 118, 730, 731, 731, 731, 731, 731, 731, 731, 731, 731, 731, 731, 731, 731, - 731, 731, 732, 732, 732, 732, 732, 732, 732, 732, + + 731, 731, 731, 731, 731, 731, 732, 732, 732, 732, 732, 732, 732, 732, 732, 732, 732, 732, 732, 732, - 732, 733, 733, 207, 733, 733, 733, 733, 733, 733, + 732, 732, 732, 732, 732, 733, 733, 733, 733, 733, 733, 733, 733, 733, 733, 733, 733, 733, 733, 733, - 734, 734, 206, 734, 734, 734, 734, 734, 734, 734, - 734, 734, 734, 734, 734, 734, 734, 734, 734, 735, - - 205, 735, 735, 204, 201, 735, 735, 735, 200, 199, - 735, 736, 736, 736, 736, 736, 736, 736, 736, 736, - 736, 736, 736, 736, 736, 736, 736, 736, 736, 736, - 737, 737, 737, 737, 737, 737, 737, 737, 737, 737, - 737, 737, 737, 737, 737, 737, 737, 737, 737, 738, + 733, 733, 733, 733, 734, 734, 734, 734, 734, 734, + 734, 734, 734, 734, 734, 734, 734, 734, 734, 734, + 734, 734, 734, 735, 735, 735, 735, 735, 735, 735, + 735, 737, 116, 115, 114, 737, 113, 737, 737, 737, + 737, 112, 737, 738, 738, 738, 738, 738, 738, 738, 738, 738, 738, 738, 738, 738, 738, 738, 738, 738, - 738, 738, 738, 738, 738, 738, 738, 738, 739, 739, - 739, 739, 739, 739, 739, 739, 739, 739, 739, 739, - 739, 739, 739, 739, 739, 739, 739, 740, 740, 198, - 197, 740, 740, 196, 740, 740, 740, 740, 740, 740, - 740, 740, 740, 741, 192, 191, 183, 171, 164, 741, - 741, 741, 741, 156, 741, 742, 742, 742, 742, 742, + 738, 738, 739, 739, 739, 739, 739, 739, 739, 739, + 739, 739, 739, 739, 739, 739, 739, 739, 739, 739, + 739, 740, 103, 101, 97, 740, 740, 740, 94, 740, + 740, 740, 740, 740, 740, 740, 740, 741, 741, 741, + 741, 741, 741, 741, 741, 741, 741, 741, 741, 741, + 741, 741, 741, 741, 741, 741, 742, 742, 742, 742, 742, 742, 742, 742, 742, 742, 742, 742, 742, 742, - 742, 742, 742, 742, 743, 743, 743, 743, 743, 743, + 742, 742, 742, 742, 742, 743, 743, 743, 743, 743, 743, 743, 743, 743, 743, 743, 743, 743, 743, 743, - 743, 743, 743, 744, 744, 145, 143, 744, 744, 744, - 744, 744, 744, 744, 744, 744, 744, 744, 744, 745, + 743, 743, 743, 743, 744, 744, 744, 744, 744, 744, + + 744, 744, 744, 744, 744, 744, 744, 744, 744, 744, + 744, 744, 744, 745, 745, 745, 745, 745, 745, 745, 745, 745, 745, 745, 745, 745, 745, 745, 745, 745, - 745, 745, 745, 745, 745, 745, 745, 745, 746, 746, + 745, 745, 746, 746, 746, 746, 746, 746, 746, 746, 746, 746, 746, 746, 746, 746, 746, 746, 746, 746, - - 746, 746, 746, 746, 746, 746, 746, 747, 747, 747, + 746, 747, 747, 747, 747, 747, 747, 747, 747, 747, 747, 747, 747, 747, 747, 747, 747, 747, 747, 747, - 747, 747, 747, 747, 747, 747, 748, 748, 142, 748, 748, 748, 748, 748, 748, 748, 748, 748, 748, 748, - 748, 748, 748, 748, 748, 749, 749, 140, 749, 749, - 749, 749, 749, 749, 749, 749, 749, 749, 749, 749, - 749, 749, 749, 749, 750, 750, 138, 750, 750, 750, - 750, 750, 750, 750, 750, 750, 750, 750, 750, 750, - 750, 750, 750, 751, 751, 137, 751, 751, 751, 751, - 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, - - 751, 751, 752, 752, 136, 752, 752, 752, 752, 752, + 748, 748, 748, 748, 748, 748, 748, 748, 748, 749, + 749, 93, 749, 749, 749, 749, 749, 749, 749, 749, + + 749, 749, 749, 749, 749, 749, 749, 749, 750, 750, + 92, 750, 750, 750, 750, 750, 750, 750, 750, 750, + 750, 750, 750, 750, 750, 750, 750, 751, 88, 751, + 751, 83, 80, 751, 751, 751, 54, 53, 751, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, 752, - 752, 753, 753, 135, 753, 753, 753, 753, 753, 753, + 752, 752, 752, 752, 752, 752, 752, 752, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, + 753, 753, 753, 753, 753, 753, 753, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, - 754, 754, 754, 754, 754, 754, 754, 754, 754, 755, - 755, 755, 755, 755, 755, 755, 755, 755, 755, 755, - 755, 755, 755, 755, 755, 755, 755, 755, 756, 756, - 756, 756, 756, 756, 756, 756, 756, 756, 756, 756, - 756, 756, 756, 756, 756, 756, 756, 757, 134, 121, + 754, 754, 754, 754, 754, 754, 755, 755, 755, 755, - 119, 117, 116, 757, 757, 757, 757, 757, 757, 757, - 757, 757, 758, 758, 758, 758, 758, 758, 758, 758, + 755, 755, 755, 755, 755, 755, 755, 755, 755, 755, + 755, 755, 755, 755, 755, 756, 756, 45, 42, 756, + 756, 41, 756, 756, 756, 756, 756, 756, 756, 756, + 756, 757, 39, 18, 17, 14, 9, 757, 757, 757, + 757, 3, 757, 758, 758, 758, 758, 758, 758, 758, 758, 758, 758, 758, 758, 758, 758, 758, 758, 758, - 758, 759, 759, 759, 759, 114, 759, 759, 759, 759, + 758, 758, 759, 759, 759, 759, 759, 759, 759, 759, 759, 759, 759, 759, 759, 759, 759, 759, 759, 759, - 760, 113, 112, 101, 99, 95, 760, 760, 760, 760, - 761, 761, 92, 761, 761, 761, 761, 761, 761, 761, - 761, 761, 761, 761, 761, 761, 761, 761, 761, 762, - 762, 91, 762, 762, 762, 762, 762, 762, 762, 762, - 762, 762, 762, 762, 762, 762, 762, 762, 763, 763, - - 90, 763, 763, 763, 763, 763, 763, 763, 763, 763, - 763, 763, 763, 763, 763, 763, 763, 764, 764, 86, + 759, 760, 760, 0, 0, 760, 760, 760, 760, 760, + 760, 760, 760, 760, 760, 760, 760, 761, 761, 761, + + 761, 761, 761, 761, 761, 761, 761, 761, 761, 761, + 761, 761, 761, 761, 761, 761, 762, 762, 762, 762, + 762, 762, 762, 762, 762, 762, 762, 762, 762, 762, + 762, 762, 762, 762, 762, 763, 763, 763, 763, 763, + 763, 763, 763, 763, 763, 763, 763, 763, 763, 763, + 763, 763, 763, 763, 764, 764, 0, 764, 764, 764, 764, 764, 764, 764, 764, 764, 764, 764, 764, 764, - 764, 764, 764, 764, 764, 764, 765, 765, 765, 765, + 764, 764, 764, 765, 765, 0, 765, 765, 765, 765, 765, 765, 765, 765, 765, 765, 765, 765, 765, 765, - 765, 765, 765, 765, 765, 766, 766, 766, 766, 766, + 765, 765, 766, 766, 0, 766, 766, 766, 766, 766, + 766, 766, 766, 766, 766, 766, 766, 766, 766, 766, - 766, 766, 766, 766, 767, 767, 767, 767, 767, 767, + 766, 767, 767, 0, 767, 767, 767, 767, 767, 767, 767, 767, 767, 767, 767, 767, 767, 767, 767, 767, - 767, 767, 767, 768, 768, 768, 768, 768, 768, 768, - - 768, 768, 768, 768, 768, 768, 768, 768, 768, 768, - 768, 768, 81, 78, 58, 57, 55, 53, 52, 44, - 41, 40, 38, 23, 22, 20, 18, 17, 14, 9, - 3, 689, 689, 689, 689, 689, 689, 689, 689, 689, - 689, 689, 689, 689, 689, 689, 689, 689, 689, 689, - 689, 689, 689, 689, 689, 689, 689, 689, 689, 689, - 689, 689, 689, 689, 689, 689, 689, 689, 689, 689, - 689, 689, 689, 689, 689, 689, 689, 689, 689, 689, - 689, 689, 689, 689, 689, 689, 689, 689, 689, 689, - 689, 689, 689, 689, 689, 689, 689, 689, 689, 689, - - 689, 689, 689, 689, 689 + 768, 768, 0, 768, 768, 768, 768, 768, 768, 768, + 768, 768, 768, 768, 768, 768, 768, 768, 768, 769, + 769, 0, 769, 769, 769, 769, 769, 769, 769, 769, + 769, 769, 769, 769, 769, 769, 769, 769, 770, 770, + 770, 770, 770, 770, 770, 770, 770, 770, 770, 770, + 770, 770, 770, 770, 770, 770, 770, 771, 771, 771, + 771, 771, 771, 771, 771, 771, 771, 771, 771, 771, + + 771, 771, 771, 771, 771, 771, 772, 772, 772, 772, + 772, 772, 772, 772, 772, 772, 772, 772, 772, 772, + 772, 772, 772, 772, 772, 773, 0, 0, 0, 0, + 0, 773, 773, 773, 773, 773, 773, 773, 773, 773, + 774, 774, 774, 774, 774, 774, 774, 774, 774, 774, + 774, 774, 774, 774, 774, 774, 774, 774, 774, 775, + 775, 775, 775, 0, 775, 775, 775, 775, 775, 775, + 775, 775, 775, 775, 775, 775, 775, 775, 776, 0, + 0, 0, 0, 0, 776, 776, 776, 776, 777, 777, + 0, 777, 777, 777, 777, 777, 777, 777, 777, 777, + + 777, 777, 777, 777, 777, 777, 777, 778, 778, 0, + 778, 778, 778, 778, 778, 778, 778, 778, 778, 778, + 778, 778, 778, 778, 778, 778, 779, 779, 0, 779, + 779, 779, 779, 779, 779, 779, 779, 779, 779, 779, + 779, 779, 779, 779, 779, 780, 780, 0, 780, 780, + 780, 780, 780, 780, 780, 780, 780, 780, 780, 780, + 780, 780, 780, 780, 781, 781, 781, 781, 781, 781, + 781, 781, 781, 781, 781, 781, 781, 781, 781, 781, + 781, 781, 781, 782, 782, 782, 782, 782, 782, 782, + 782, 782, 782, 782, 782, 782, 782, 782, 782, 782, + + 782, 782, 783, 783, 783, 783, 783, 783, 783, 783, + 783, 783, 783, 783, 783, 783, 783, 783, 783, 783, + 783, 784, 784, 784, 784, 784, 784, 784, 784, 784, + 784, 784, 784, 784, 784, 784, 784, 784, 784, 784, + 703, 703, 703, 703, 703, 703, 703, 703, 703, 703, + 703, 703, 703, 703, 703, 703, 703, 703, 703, 703, + 703, 703, 703, 703, 703, 703, 703, 703, 703, 703, + 703, 703, 703, 703, 703, 703, 703, 703, 703, 703, + 703, 703, 703, 703, 703, 703, 703, 703, 703, 703, + 703, 703, 703, 703, 703, 703, 703, 703, 703, 703, + + 703, 703, 703, 703, 703, 703, 703, 703, 703, 703, + 703, 703, 703, 703, 703, 703 } ; extern int yy_flex_debug; @@ -1811,7 +1888,7 @@ int yyback P((int *, int)); int yywrap P((void)); extern void CopyBoard P((Board to, Board from)); -#line 1815 "parser.c" +#line 1892 "parser.c" #define INITIAL 0 @@ -1970,7 +2047,7 @@ YY_DECL #line 179 "parser.l" -#line 1974 "parser.c" +#line 2051 "parser.c" if ( !(yy_init) ) { @@ -2029,14 +2106,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 >= 690 ) + if ( yy_current_state >= 704 ) 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] != 3832 ); + while ( yy_base[yy_current_state] != 4141 ); yy_find_action: yy_current_state = *--(yy_state_ptr); @@ -2242,6 +2319,65 @@ YY_RULE_SETUP case 3: YY_RULE_SETUP #line 331 "parser.l" +{ + /* + * Simple algebraic move, in capitals + * [HGM] Engine moves are received in this format, with lower-case promoChar! + */ + int skip = 0; + ChessMove result; + + if (yyskipmoves) return (int) AmbiguousMove; /* not disambiguated */ + + /* remove the [xX:-] */ + if ((yytext[2] == 'x') || (yytext[2] == 'X') || + (yytext[2] == '-') || (yytext[2] == ':')) skip = 1; + + currentMoveString[0] = yytext[0]+32; + currentMoveString[1] = yytext[1]; + currentMoveString[2] = yytext[2+skip]+32; + currentMoveString[3] = yytext[3+skip]; + currentMoveString[4] = NULLCHAR; + + /* [HGM] do not allow values beyond board size */ + if(currentMoveString[1] - ONE >= BOARD_HEIGHT || + currentMoveString[1] - ONE < 0 || + currentMoveString[0] - AAA >= BOARD_RGHT || + currentMoveString[3] - ONE >= BOARD_HEIGHT || + currentMoveString[3] - ONE < 0 || + currentMoveString[2] - AAA >= BOARD_RGHT || + currentMoveString[0] - AAA < BOARD_LEFT || + currentMoveString[2] - AAA < BOARD_LEFT ) + return ImpossibleMove; + + result = LegalityTest(boards[yyboardindex], + PosFlags(yyboardindex)&~F_MANDATORY_CAPTURE, // [HGM] losers: might think we can e.p.! + currentMoveString[1] - ONE, + currentMoveString[0] - AAA, + currentMoveString[3] - ONE, + currentMoveString[2] - AAA, + currentMoveString[4]); + + if (currentMoveString[4] == NULLCHAR && + (result == WhitePromotionKnight || result == BlackPromotionKnight || + result == WhitePromotionQueen || result == BlackPromotionQueen)) { + if(gameInfo.variant == VariantShatranj || gameInfo.variant == VariantCourier || gameInfo.variant == VariantMakruk) + currentMoveString[4] = PieceToChar(BlackFerz); + else if(gameInfo.variant == VariantGreat) + currentMoveString[4] = PieceToChar(BlackMan); + else + currentMoveString[4] = PieceToChar(BlackQueen); + currentMoveString[5] = NULLCHAR; + } else if(appData.testLegality && // strip off unnecessary and false promo characters + !(result == WhitePromotionQueen || result == BlackPromotionQueen || + result == WhiteNonPromotion || result == BlackNonPromotion)) currentMoveString[4] = NULLCHAR; + + return (int) result; +} + YY_BREAK +case 4: +YY_RULE_SETUP +#line 387 "parser.l" { /* * Pawn move, possibly with promotion @@ -2285,9 +2421,9 @@ YY_RULE_SETUP return (int) cl.kind; } YY_BREAK -case 4: +case 5: YY_RULE_SETUP -#line 375 "parser.l" +#line 431 "parser.l" { /* * Pawn capture, possibly with promotion, possibly ambiguous @@ -2341,9 +2477,9 @@ YY_RULE_SETUP return (int) cl.kind; } YY_BREAK -case 5: +case 6: YY_RULE_SETUP -#line 428 "parser.l" +#line 484 "parser.l" { /* * unambiguously abbreviated Pawn capture, possibly with promotion @@ -2459,9 +2595,9 @@ YY_RULE_SETUP return (int) IllegalMove; } YY_BREAK -case 6: +case 7: YY_RULE_SETUP -#line 543 "parser.l" +#line 599 "parser.l" { /* * piece move, possibly ambiguous @@ -2518,9 +2654,9 @@ YY_RULE_SETUP return (int) cl.kind; } YY_BREAK -case 7: +case 8: YY_RULE_SETUP -#line 599 "parser.l" +#line 655 "parser.l" { /* * piece move with rank or file disambiguator @@ -2581,9 +2717,9 @@ YY_RULE_SETUP return (int) cl.kind; } YY_BREAK -case 8: +case 9: YY_RULE_SETUP -#line 659 "parser.l" +#line 715 "parser.l" { int rf, ff, rt, ft; @@ -2640,9 +2776,9 @@ YY_RULE_SETUP rf, ff, rt, ft, NULLCHAR); } YY_BREAK -case 9: +case 10: YY_RULE_SETUP -#line 715 "parser.l" +#line 771 "parser.l" { int rf, ff, rt, ft; @@ -2698,9 +2834,9 @@ YY_RULE_SETUP rf, ff, rt, ft, NULLCHAR); } YY_BREAK -case 10: +case 11: YY_RULE_SETUP -#line 770 "parser.l" +#line 826 "parser.l" { /* Bughouse piece drop. No legality checking for now. */ currentMoveString[1] = '@'; @@ -2725,9 +2861,9 @@ YY_RULE_SETUP } } YY_BREAK -case 11: +case 12: YY_RULE_SETUP -#line 794 "parser.l" +#line 850 "parser.l" { if (WhiteOnMove(yyboardindex)) return (int) BlackWins; @@ -2735,37 +2871,37 @@ YY_RULE_SETUP return (int) WhiteWins; } YY_BREAK -case 12: +case 13: YY_RULE_SETUP -#line 801 "parser.l" +#line 857 "parser.l" { return (int) (ToUpper(yytext[0]) == 'W' ? BlackWins : WhiteWins); } YY_BREAK -case 13: +case 14: YY_RULE_SETUP -#line 805 "parser.l" +#line 861 "parser.l" { return (int) GameUnfinished; } YY_BREAK -case 14: +case 15: YY_RULE_SETUP -#line 809 "parser.l" +#line 865 "parser.l" { return (int) GameIsDrawn; } YY_BREAK -case 15: +case 16: YY_RULE_SETUP -#line 813 "parser.l" +#line 869 "parser.l" { return (int) GameIsDrawn; } YY_BREAK -case 16: +case 17: YY_RULE_SETUP -#line 817 "parser.l" +#line 873 "parser.l" { if (WhiteOnMove(yyboardindex)) return (int) BlackWins; @@ -2773,9 +2909,9 @@ YY_RULE_SETUP return (int) WhiteWins; } YY_BREAK -case 17: +case 18: YY_RULE_SETUP -#line 824 "parser.l" +#line 880 "parser.l" { if (WhiteOnMove(yyboardindex)) return (int) BlackWins; @@ -2783,205 +2919,205 @@ YY_RULE_SETUP return (int) WhiteWins; } YY_BREAK -case 18: +case 19: YY_RULE_SETUP -#line 831 "parser.l" +#line 887 "parser.l" { return (int) GameIsDrawn; } YY_BREAK -case 19: +case 20: YY_RULE_SETUP -#line 835 "parser.l" +#line 891 "parser.l" { return (int) GameIsDrawn; } YY_BREAK -case 20: +case 21: YY_RULE_SETUP -#line 839 "parser.l" +#line 895 "parser.l" { return (int) (ToUpper(yytext[0]) == 'W' ? WhiteWins : BlackWins); } YY_BREAK -case 21: +case 22: YY_RULE_SETUP -#line 843 "parser.l" +#line 899 "parser.l" { return (int) (ToUpper(yytext[0]) == 'W' ? BlackWins : WhiteWins); } YY_BREAK -case 22: +case 23: YY_RULE_SETUP -#line 847 "parser.l" +#line 903 "parser.l" { return (int) WhiteWins; } YY_BREAK -case 23: +case 24: YY_RULE_SETUP -#line 851 "parser.l" +#line 907 "parser.l" { return (int) BlackWins; } YY_BREAK -case 24: +case 25: YY_RULE_SETUP -#line 855 "parser.l" +#line 911 "parser.l" { return (int) GameIsDrawn; } YY_BREAK -case 25: +case 26: YY_RULE_SETUP -#line 859 "parser.l" +#line 915 "parser.l" { return (int) GameUnfinished; } YY_BREAK -case 26: -/* rule 26 can match eol */ +case 27: +/* rule 27 can match eol */ YY_RULE_SETUP -#line 863 "parser.l" +#line 919 "parser.l" { /* move numbers */ if ((yyleng == 1) && (yytext[0] == '1')) return (int) MoveNumberOne; } YY_BREAK -case 27: +case 28: YY_RULE_SETUP -#line 869 "parser.l" +#line 925 "parser.l" { /* elapsed time indication, e.g. (0:12) or {10:21.071} */ return (int) ElapsedTime; } YY_BREAK -case 28: -/* rule 28 can match eol */ +case 29: +/* rule 29 can match eol */ YY_RULE_SETUP -#line 874 "parser.l" +#line 930 "parser.l" { /* position diagram enclosed in [-- --] */ return (int) PositionDiagram; } YY_BREAK -case 29: -/* rule 29 can match eol */ +case 30: +/* rule 30 can match eol */ *yy_cp = (yy_hold_char); /* undo effects of setting up yytext */ (yy_c_buf_p) = yy_cp -= 1; YY_DO_BEFORE_ACTION; /* set up yytext again */ YY_RULE_SETUP -#line 879 "parser.l" +#line 935 "parser.l" { /* position diagram enclosed in {-- --} */ return (int) PositionDiagram; } YY_BREAK -case 30: -/* rule 30 can match eol */ +case 31: +/* rule 31 can match eol */ YY_RULE_SETUP -#line 884 "parser.l" +#line 940 "parser.l" { return (int) PGNTag; } YY_BREAK -case 31: +case 32: YY_RULE_SETUP -#line 888 "parser.l" +#line 944 "parser.l" { return (int) GNUChessGame; } YY_BREAK -case 32: -/* rule 32 can match eol */ +case 33: +/* rule 33 can match eol */ *yy_cp = (yy_hold_char); /* undo effects of setting up yytext */ (yy_c_buf_p) = yy_cp -= 1; YY_DO_BEFORE_ACTION; /* set up yytext again */ YY_RULE_SETUP -#line 892 "parser.l" +#line 948 "parser.l" { return (int) XBoardGame; } YY_BREAK -case 33: +case 34: YY_RULE_SETUP -#line 896 "parser.l" +#line 952 "parser.l" { /* numeric annotation glyph */ return (int) NAG; } YY_BREAK -case 34: -/* rule 34 can match eol */ +case 35: +/* rule 35 can match eol */ YY_RULE_SETUP -#line 900 "parser.l" +#line 956 "parser.l" { /* anything in {} */ return (int) Comment; } YY_BREAK -case 35: +case 36: *yy_cp = (yy_hold_char); /* undo effects of setting up yytext */ (yy_c_buf_p) = yy_cp -= 1; YY_DO_BEFORE_ACTION; /* set up yytext again */ YY_RULE_SETUP -#line 904 "parser.l" +#line 960 "parser.l" { /* ; to end of line */ return (int) Comment; } YY_BREAK -case 36: -/* rule 36 can match eol */ +case 37: +/* rule 37 can match eol */ YY_RULE_SETUP -#line 908 "parser.l" +#line 964 "parser.l" { /* anything in [] */ return (int) Comment; } YY_BREAK -case 37: -/* rule 37 can match eol */ +case 38: +/* rule 38 can match eol */ YY_RULE_SETUP -#line 912 "parser.l" +#line 968 "parser.l" { /* very nested () */ return (int) Comment; } YY_BREAK -case 38: -/* rule 38 can match eol */ +case 39: +/* rule 39 can match eol */ YY_RULE_SETUP -#line 916 "parser.l" +#line 972 "parser.l" { /* >=2 chars in () */ return (int) Comment; } YY_BREAK -case 39: -/* rule 39 can match eol */ +case 40: +/* rule 40 can match eol */ YY_RULE_SETUP -#line 920 "parser.l" +#line 976 "parser.l" { /* Skip mail headers */ } YY_BREAK -case 40: +case 41: YY_RULE_SETUP -#line 924 "parser.l" +#line 980 "parser.l" { /* Skip random words */ } YY_BREAK -case 41: -/* rule 41 can match eol */ +case 42: +/* rule 42 can match eol */ YY_RULE_SETUP -#line 928 "parser.l" +#line 984 "parser.l" { /* Skip everything else */ } YY_BREAK -case 42: +case 43: YY_RULE_SETUP -#line 932 "parser.l" +#line 988 "parser.l" ECHO; YY_BREAK -#line 2985 "parser.c" +#line 3121 "parser.c" case YY_STATE_EOF(INITIAL): yyterminate(); @@ -3243,7 +3379,7 @@ static int yy_get_next_buffer (void) 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 >= 690 ) + if ( yy_current_state >= 704 ) yy_c = yy_meta[(unsigned int) yy_c]; } yy_current_state = yy_nxt[yy_base[yy_current_state] + (unsigned int) yy_c]; @@ -3266,11 +3402,11 @@ static int yy_get_next_buffer (void) 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 >= 690 ) + if ( yy_current_state >= 704 ) 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 == 689); + yy_is_jam = (yy_current_state == 703); if ( ! yy_is_jam ) *(yy_state_ptr)++ = yy_current_state; @@ -3956,7 +4092,7 @@ void yyfree (void * ptr ) #define YYTABLES_NAME "yytables" -#line 932 "parser.l" +#line 988 "parser.l" diff --git a/parser.l b/parser.l index 033be7f..528b3de 100644 --- a/parser.l +++ b/parser.l @@ -328,6 +328,62 @@ extern void CopyBoard P((Board to, Board from)); return (int) result; } +[A-L][0-9][xX:-]?[A-L][0-9] { + /* + * Simple algebraic move, in capitals + * [HGM] Engine moves are received in this format, with lower-case promoChar! + */ + int skip = 0; + ChessMove result; + + if (yyskipmoves) return (int) AmbiguousMove; /* not disambiguated */ + + /* remove the [xX:-] */ + if ((yytext[2] == 'x') || (yytext[2] == 'X') || + (yytext[2] == '-') || (yytext[2] == ':')) skip = 1; + + currentMoveString[0] = yytext[0]+32; + currentMoveString[1] = yytext[1]; + currentMoveString[2] = yytext[2+skip]+32; + currentMoveString[3] = yytext[3+skip]; + currentMoveString[4] = NULLCHAR; + + /* [HGM] do not allow values beyond board size */ + if(currentMoveString[1] - ONE >= BOARD_HEIGHT || + currentMoveString[1] - ONE < 0 || + currentMoveString[0] - AAA >= BOARD_RGHT || + currentMoveString[3] - ONE >= BOARD_HEIGHT || + currentMoveString[3] - ONE < 0 || + currentMoveString[2] - AAA >= BOARD_RGHT || + currentMoveString[0] - AAA < BOARD_LEFT || + currentMoveString[2] - AAA < BOARD_LEFT ) + return ImpossibleMove; + + result = LegalityTest(boards[yyboardindex], + PosFlags(yyboardindex)&~F_MANDATORY_CAPTURE, // [HGM] losers: might think we can e.p.! + currentMoveString[1] - ONE, + currentMoveString[0] - AAA, + currentMoveString[3] - ONE, + currentMoveString[2] - AAA, + currentMoveString[4]); + + if (currentMoveString[4] == NULLCHAR && + (result == WhitePromotionKnight || result == BlackPromotionKnight || + result == WhitePromotionQueen || result == BlackPromotionQueen)) { + if(gameInfo.variant == VariantShatranj || gameInfo.variant == VariantCourier || gameInfo.variant == VariantMakruk) + currentMoveString[4] = PieceToChar(BlackFerz); + else if(gameInfo.variant == VariantGreat) + currentMoveString[4] = PieceToChar(BlackMan); + else + currentMoveString[4] = PieceToChar(BlackQueen); + currentMoveString[5] = NULLCHAR; + } else if(appData.testLegality && // strip off unnecessary and false promo characters + !(result == WhitePromotionQueen || result == BlackPromotionQueen || + result == WhiteNonPromotion || result == BlackNonPromotion)) currentMoveString[4] = NULLCHAR; + + return (int) result; +} + [a-l][0-9]((=?\(?[A-Za-z]\)?)|=)? { /* * Pawn move, possibly with promotion