X-Git-Url: http://winboard.nl/cgi-bin?a=blobdiff_plain;f=parser.c;h=58282bd9b7fa4f6c847c603b499958f180ad723a;hb=0efdc4c5ef60cf4c15e9dddf3658d2115e4d5d93;hp=49ebb34431fa4954ec093a0d001fe5472fa74263;hpb=93077be9f3009b8eb6ad64067f31d000aaf284c3;p=xboard.git diff --git a/parser.c b/parser.c index 49ebb34..58282bd 100644 --- a/parser.c +++ b/parser.c @@ -9,8 +9,7 @@ #define YY_FLEX_MINOR_VERSION 5 #include -// #include - +#include /* cfront 1.2 defines "c_plusplus" instead of "__cplusplus" */ #ifdef c_plusplus @@ -23,6 +22,9 @@ #ifdef __cplusplus #include +#ifndef _WIN32 +#include +#endif /* Use prototypes in function declarations. */ #define YY_USE_PROTOS @@ -62,6 +64,7 @@ #define YY_PROTO(proto) () #endif + /* Returned upon end-of-file. */ #define YY_NULL 0 @@ -286,7 +289,7 @@ static void yy_fatal_error YY_PROTO(( yyconst char msg[] )); #define YY_NUM_RULES 42 #define YY_END_OF_BUFFER 43 -static yyconst short int yy_acclist[661] = +static yyconst short int yy_acclist[650] = { 0, 43, 41, 42, 41, 42, 41, 42, 40, 41, 42, 41, 42, 25, 41, 42, 41, 42, 40, 41, 42, @@ -294,155 +297,152 @@ static yyconst short int yy_acclist[661] = 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, + 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, 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, 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,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, 41, 42, 33, 40, 17, 40, - 9, 40, 40, 40,16410, 8218, 40, 35, 40, 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, 40, 9, 40, 40, 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, 40, 9, - 40, 40, 40, 40, 40, 40, 36, 40, 3, 40, - 40, 40, 4, 40, 40, 3, 40, 40, 4, 40, - 40, 40, 40, 9, 40, 34, 40, 40, 9, 40, - 40, 40,16410, 8218, 40, 40, 40, 40, 40, 40, - 40, 40, 40, 40, 40, 40, 9, 40, 40, 40, - 40, 40, 40, 40, 3, 40, 40, 40, 4, 40, - 40, 3, 40, 40, 4, 40, 40, 40, 40, 9, + 40, 40, 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, 40, 9, 40, 40, 40, 40, - 40, 20, 40, 4, 40, 40, 3, 40, 40, 3, - 40, 4, 5, 40, 4, 40, 40, 4, 40, 40, - 40, 3, 40, 4, 4, 40, 5, 6, 40, 4, - 40, 40, 9, 40, 34, 39, 9, 40, 23, 40, - 8, 40, 22, 40, 35, 40, 40, 40, 6, 40, - 40, 40, 40, 40, 40, 40, 9, 40, 40, 40, - 40, 40, 20, 40, 4, 40, 40, 3, 40, 40, - 3, 40, 5, 40, 4, 40, 40, 4, 40, 40, - 40, 3, 40, 4, 40, 5, 6, 40, 4, 40, - - 40, 9, 40, 38, 38, 37, 25, 25, 40, 6, - 40, 7, 40, 6, 10, 40, 40, 40, 40, 19, - 40, 40, 21, 40, 16, 40, 40, 40, 40, 40, - 20, 20, 40, 20, 40, 36, 3, 3, 2, 40, - 5, 4, 5, 40, 40, 4, 4, 40, 2, 7, - 40, 5, 6, 5, 6, 40, 5, 40, 40, 40, - 25, 39, 40, 6, 40, 7, 40, 40, 40, 40, - 40, 19, 40, 40, 21, 40, 16, 40, 40, 40, - 40, 40, 20, 40, 20, 20, 40, 2, 40, 5, - 40, 40, 4, 40, 2, 7, 40, 5, 6, 40, - - 5, 40, 40, 40, 7, 1, 40, 40, 40, 19, - 40, 40, 40, 21, 21, 40, 21, 40, 40, 40, - 40, 30, 36, 2, 2, 40, 5, 4, 5, 5, - 40, 2, 7, 39, 1, 40, 40, 40, 19, 40, - 40, 40, 21, 40, 21, 21, 40, 40, 40, 40, - 20, 39, 2, 40, 5, 40, 27, 38, 23, 23, - 22, 22, 24, 24, 20, 21, 1, 1, 40, 40, + 20, 40, 4, 40, 40, 3, 3, 40, 3, 40, + 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, 40, 9, 40, 40, 40, 40, + 20, 40, 4, 40, 40, 3, 40, 3, 40, 40, + + 5, 40, 4, 40, 40, 40, 40, 9, 40, 40, + 38, 38, 37, 25, 25, 6, 40, 10, 6, 40, + 7, 40, 6, 40, 6, 40, 40, 40, 19, 40, + 40, 21, 40, 16, 40, 40, 40, 40, 40, 20, + 20, 40, 20, 40, 36, 3, 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, 21, 40, 16, 40, 40, 40, 40, + 40, 20, 40, 20, 20, 40, 2, 40, 5, 40, + 40, 4, 40, 40, 7, 7, 1, 40, 40, 40, + + 19, 40, 40, 40, 21, 21, 40, 21, 40, 40, + 40, 40, 30, 36, 2, 2, 2, 40, 5, 5, + 5, 40, 39, 1, 40, 40, 40, 19, 40, 40, + 40, 21, 40, 21, 21, 40, 40, 40, 40, 20, + 39, 2, 40, 5, 40, 27, 38, 1, 23, 23, + 22, 22, 24, 24, 1, 1, 40, 20, 21, 40, 40, 40, 11, 40, 40, 28, 36, 30, 2, 2, - 5, 27, 34, 39, 39, 1, 40, 40, 40, 40, - 21, 39, 11, 40, 40, 20, 39, 18, 24, 20, - - 21, 1, 1, 19, 40, 40, 40, 11, 40, 40, - 40, 40, 21, 39, 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 + 27, 34, 39, 39, 1, 40, 40, 40, 40, 21, + 39, 11, 40, 40, 20, 39, 18, 1, 24, 1, + 20, 21, 19, 40, 40, 40, 11, 40, 40, 40, + + 40, 21, 39, 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 } ; -static yyconst short int yy_accept[712] = +static yyconst short int yy_accept[698] = { 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, 64, 67, 70, 72, 75, - 78, 81, 84, 87, 90, 93, 96, 99, 101, 103, - 106, 109, 113, 117, 119, 122, 125, 128, 131, 134, + 49, 52, 55, 58, 61, 64, 66, 69, 72, 75, + 78, 81, 84, 87, 90, 93, 96, 99, 102, 105, + 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, 187, 187, 188, - 189, 189, 189, 189, 189, 190, 190, 190, 191, 191, - 193, 193, 193, 193, 194, 194, 194, 196, 196, 198, - 198, 199, 199, 200, 200, 201, 201, 201, 202, 203, - - 204, 205, 206, 207, 208, 209, 210, 212, 213, 214, - 215, 216, 217, 217, 217, 217, 217, 218, 219, 221, - 221, 222, 223, 225, 226, 228, 228, 229, 231, 232, - 233, 234, 236, 236, 236, 236, 237, 237, 238, 238, - 239, 241, 241, 242, 244, 244, 246, 246, 247, 248, - 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, - 259, 260, 261, 262, 263, 264, 265, 267, 267, 268, - 269, 271, 272, 274, 274, 275, 277, 278, 279, 280, - 282, 282, 282, 282, 282, 282, 282, 282, 282, 282, - 282, 282, 283, 283, 283, 283, 285, 287, 288, 290, - - 291, 291, 291, 291, 293, 294, 295, 295, 295, 295, - 295, 296, 296, 297, 297, 298, 298, 298, 300, 301, - 302, 303, 304, 305, 306, 308, 309, 310, 311, 312, - 314, 314, 314, 314, 314, 316, 316, 317, 317, 317, - 319, 320, 322, 323, 325, 325, 325, 327, 328, 330, - 331, 331, 332, 334, 335, 337, 340, 342, 343, 345, - 346, 346, 346, 346, 346, 347, 349, 351, 353, 355, - 355, 356, 356, 357, 358, 358, 359, 361, 362, 363, - 364, 365, 366, 367, 369, 370, 371, 372, 373, 375, - 377, 378, 378, 380, 381, 383, 385, 387, 388, 390, - - 391, 391, 392, 394, 396, 399, 401, 402, 404, 404, - 404, 405, 406, 406, 406, 407, 407, 407, 408, 408, - 409, 409, 409, 409, 410, 410, 410, 410, 410, 410, - 410, 410, 410, 410, 410, 410, 412, 412, 412, 414, - 415, 416, 417, 417, 418, 419, 420, 422, 422, 423, - 425, 427, 428, 429, 430, 431, 432, 434, 436, 436, - 436, 436, 436, 437, 438, 438, 439, 441, 442, 443, - 443, 443, 443, 445, 446, 447, 447, 449, 449, 452, - 454, 457, 459, 460, 461, 461, 462, 462, 462, 462, - 462, 463, 463, 464, 464, 464, 466, 468, 469, 469, - - 470, 471, 472, 474, 475, 477, 479, 480, 481, 482, - 483, 485, 486, 488, 490, 492, 493, 495, 498, 501, - 503, 504, 505, 505, 505, 505, 505, 505, 505, 505, - 505, 505, 505, 505, 505, 505, 505, 505, 505, 505, - 506, 508, 509, 510, 510, 512, 512, 513, 514, 515, - 517, 519, 520, 521, 522, 522, 522, 524, 524, 524, - 525, 525, 525, 527, 528, 528, 529, 530, 530, 532, - 532, 534, 534, 534, 534, 534, 534, 534, 535, 535, - 535, 537, 538, 539, 541, 542, 543, 545, 546, 548, - 549, 550, 551, 553, 555, 557, 557, 557, 559, 559, - - 559, 560, 560, 561, 561, 562, 562, 563, 563, 564, - 564, 565, 565, 565, 565, 565, 567, 567, 568, 568, - 568, 570, 571, 571, 571, 571, 571, 571, 572, 573, - 575, 576, 578, 578, 579, 580, 581, 582, 582, 582, - 584, 584, 584, 585, 586, 586, 586, 588, 589, 590, - 591, 593, 595, 596, 598, 598, 599, 599, 599, 599, - 600, 600, 600, 600, 602, 602, 603, 604, 604, 605, - 605, 605, 605, 605, 606, 607, 608, 610, 611, 611, - 611, 611, 611, 611, 612, 613, 615, 616, 618, 619, - 619, 619, 619, 619, 619, 619, 620, 620, 620, 620, - - 620, 621, 622, 622, 622, 622, 622, 623, 624, 624, - 624, 624, 624, 625, 625, 625, 625, 626, 627, 629, - 629, 629, 629, 629, 630, 630, 631, 633, 633, 633, - 633, 633, 634, 635, 635, 635, 635, 635, 636, 637, - 638, 638, 638, 638, 638, 638, 639, 640, 640, 640, - 640, 640, 641, 642, 643, 644, 644, 644, 644, 644, - 644, 646, 646, 646, 646, 646, 647, 648, 650, 650, - 650, 651, 651, 652, 652, 653, 653, 653, 655, 655, - 656, 657, 657, 657, 657, 657, 659, 659, 659, 659, - 659, 659, 659, 659, 659, 659, 659, 659, 659, 659, - - 659, 659, 659, 659, 659, 659, 659, 659, 660, 661, - 661 + 167, 170, 173, 176, 179, 182, 185, 188, 191, 194, + 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, 252, 253, 253, 253, 253, 253, + 254, 255, 257, 257, 258, 260, 261, 262, 263, 264, + 265, 267, 268, 269, 269, 269, 269, 270, 270, 271, + 271, 272, 274, 274, 275, 277, 277, 279, 279, 280, + 281, 281, 282, 283, 284, 285, 286, 287, 288, 289, + 290, 292, 293, 294, 295, 296, 297, 298, 300, 300, + 301, 303, 304, 305, 306, 307, 308, 310, 311, 312, + 312, 312, 312, 312, 312, 312, 312, 312, 312, 312, + + 312, 313, 313, 313, 313, 313, 313, 315, 317, 318, + 320, 321, 321, 321, 321, 323, 324, 325, 325, 326, + 326, 327, 327, 328, 328, 330, 330, 330, 330, 330, + 331, 332, 333, 334, 335, 336, 338, 339, 340, 341, + 343, 343, 343, 343, 343, 345, 345, 346, 346, 347, + 349, 351, 352, 353, 353, 355, 356, 358, 359, 360, + 361, 363, 364, 365, 365, 365, 365, 365, 366, 368, + 370, 372, 374, 374, 375, 375, 376, 377, 377, 378, + 380, 381, 382, 383, 384, 385, 386, 388, 389, 390, + 391, 393, 395, 396, 396, 398, 400, 401, 403, 405, + + 406, 407, 408, 410, 411, 411, 411, 412, 413, 413, + 413, 414, 414, 414, 415, 415, 416, 416, 417, 417, + 417, 417, 418, 418, 418, 418, 418, 418, 418, 418, + 419, 421, 421, 423, 424, 425, 425, 426, 427, 427, + 427, 427, 427, 428, 429, 431, 431, 432, 434, 436, + 437, 438, 439, 440, 441, 443, 445, 445, 445, 445, + 445, 446, 447, 447, 448, 450, 451, 452, 452, 452, + 453, 455, 456, 457, 457, 459, 460, 460, 461, 461, + 461, 461, 461, 462, 462, 463, 463, 463, 465, 467, + 468, 468, 469, 470, 471, 473, 474, 476, 478, 479, + + 480, 481, 482, 484, 485, 487, 489, 491, 492, 494, + 495, 495, 495, 495, 495, 496, 496, 496, 496, 496, + 496, 496, 496, 496, 496, 497, 499, 499, 499, 499, + 499, 500, 501, 501, 503, 503, 504, 505, 506, 508, + 510, 511, 512, 513, 513, 513, 515, 515, 515, 516, + 516, 517, 519, 520, 520, 521, 521, 523, 523, 523, + 523, 523, 523, 523, 523, 524, 524, 524, 526, 527, + 528, 530, 531, 532, 534, 535, 537, 538, 539, 540, + 542, 544, 546, 546, 546, 548, 548, 549, 549, 550, + 550, 551, 551, 552, 552, 553, 553, 554, 554, 555, + + 555, 555, 555, 556, 558, 558, 558, 560, 560, 561, + 561, 561, 561, 561, 561, 562, 563, 565, 566, 568, + 568, 569, 570, 571, 571, 571, 573, 573, 573, 574, + 575, 575, 575, 577, 578, 579, 580, 582, 584, 585, + 587, 587, 588, 588, 588, 589, 589, 590, 591, 591, + 591, 591, 593, 593, 593, 594, 594, 594, 594, 594, + 595, 596, 597, 599, 600, 600, 600, 600, 600, 600, + 601, 602, 604, 605, 607, 608, 608, 608, 608, 608, + 608, 608, 609, 609, 609, 609, 609, 610, 611, 611, + 611, 611, 611, 612, 613, 613, 613, 613, 613, 614, + + 614, 614, 614, 615, 616, 618, 618, 618, 618, 618, + 619, 619, 620, 622, 622, 622, 622, 622, 623, 624, + 624, 624, 624, 624, 625, 626, 627, 627, 627, 627, + 627, 627, 628, 629, 629, 629, 629, 629, 630, 631, + 632, 633, 633, 633, 633, 633, 633, 635, 635, 635, + 635, 635, 636, 637, 639, 639, 639, 640, 640, 641, + 641, 642, 642, 642, 644, 644, 645, 646, 646, 646, + 646, 646, 648, 648, 648, 648, 648, 648, 648, 648, + 648, 648, 648, 648, 648, 648, 648, 648, 648, 648, + 648, 648, 648, 648, 649, 650, 650 + } ; static yyconst int yy_ec[256] = @@ -452,15 +452,15 @@ static yyconst int yy_ec[256] = 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 4, 1, 5, 6, 7, 8, 1, 9, 10, 11, 12, 13, 1, 14, 15, 16, 17, 18, 19, - 20, 20, 20, 20, 20, 20, 21, 22, 23, 1, - 24, 1, 1, 25, 26, 27, 28, 29, 30, 31, - 32, 33, 34, 34, 35, 36, 37, 38, 39, 40, - 41, 42, 43, 34, 44, 34, 45, 46, 34, 34, - 47, 1, 48, 1, 49, 1, 50, 51, 52, 53, - - 54, 55, 56, 57, 58, 34, 59, 60, 61, 62, - 63, 64, 41, 65, 66, 67, 68, 34, 69, 46, - 70, 34, 71, 1, 72, 1, 1, 1, 1, 1, + 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, + + 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, 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, @@ -477,694 +477,707 @@ static yyconst int yy_ec[256] = 1, 1, 1, 1, 1 } ; -static yyconst int yy_meta[73] = +static yyconst int yy_meta[74] = { 0, 1, 2, 3, 2, 1, 1, 1, 1, 4, 5, - 6, 1, 1, 7, 1, 1, 4, 8, 8, 8, - 4, 9, 1, 10, 1, 4, 11, 4, 4, 4, - 4, 4, 4, 4, 11, 4, 4, 11, 12, 12, - 11, 11, 4, 4, 4, 7, 1, 1, 1, 13, - 14, 13, 13, 15, 13, 13, 13, 4, 11, 4, - 4, 11, 12, 12, 11, 4, 4, 4, 4, 4, - 1, 1 + 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 } ; -static yyconst short int yy_base[787] = +static yyconst short int yy_base[784] = { 0, - 0, 72, 2588, 4394, 119, 129, 0, 141, 2583, 139, - 150, 171, 238, 2583, 257, 2527, 2518, 117, 159, 2518, - 2530, 190, 142, 233, 191, 2512, 239, 317, 376, 420, - 125, 205, 193, 114, 243, 120, 204, 331, 2574, 174, - 353, 476, 258, 260, 543, 244, 282, 346, 311, 334, - 256, 312, 365, 595, 331, 351, 354, 644, 688, 242, - 348, 327, 365, 386, 303, 392, 552, 2521, 432, 0, - 2566, 258, 557, 282, 4394, 2562, 393, 320, 2556, 2554, - 2552, 342, 442, 2551, 457, 364, 605, 2550, 0, 2562, - 4394, 576, 530, 617, 732, 625, 661, 449, 2514, 2509, - - 2512, 2517, 2492, 2493, 2490, 2517, 2515, 463, 572, 2503, - 2494, 2489, 2502, 789, 372, 861, 4394, 669, 924, 705, - 713, 468, 980, 765, 1032, 773, 789, 1076, 481, 637, - 2486, 2485, 390, 2475, 830, 2542, 2541, 383, 2540, 617, - 593, 546, 858, 874, 406, 579, 432, 865, 1120, 1005, - 505, 683, 726, 727, 621, 872, 870, 876, 603, 873, - 905, 665, 891, 884, 882, 973, 1168, 1013, 1049, 936, - 1225, 1057, 1277, 1093, 1101, 1321, 641, 983, 928, 930, - 896, 2478, 538, 543, 612, 2531, 622, 1030, 1221, 2528, - 2466, 4394, 2532, 2531, 2529, 2518, 2527, 2526, 0, 4394, - - 2525, 2524, 2523, 2521, 2520, 443, 2465, 2459, 2471, 2466, - 668, 709, 594, 1218, 732, 753, 756, 1365, 2467, 2466, - 2446, 803, 906, 2460, 2498, 0, 2453, 2449, 2441, 1422, - 689, 1069, 172, 1494, 790, 1251, 1294, 1302, 1415, 2496, - 838, 976, 1288, 1557, 1413, 1449, 678, 629, 910, 1338, - 1346, 992, 1105, 1502, 1057, 1609, 1182, 1100, 2492, 4394, - 1510, 996, 2501, 191, 2501, 1172, 960, 962, 1158, 831, - 2499, 1132, 1237, 889, 1482, 1300, 1653, 1176, 1228, 1010, - 1273, 1315, 1175, 1190, 0, 1204, 1531, 1071, 1710, 1774, - 1550, 1582, 1242, 1443, 1551, 1830, 1272, 1239, 1121, 1493, - - 1590, 1606, 1659, 1141, 1882, 1673, 1721, 1427, 1504, 2447, - 4394, 843, 1025, 2489, 4394, 1727, 2487, 2485, 2423, 2422, - 2475, 2474, 2473, 2473, 1010, 2472, 539, 2471, 1290, 1541, - 610, 2421, 2421, 2414, 2414, 0, 939, 1197, 0, 4394, - 4394, 1699, 1710, 1344, 2420, 2419, 885, 879, 1130, 1939, - 0, 2438, 2420, 2421, 2420, 0, 2011, 2083, 733, 949, - 1131, 1410, 2468, 2461, 1365, 4394, 2146, 1356, 1154, 689, - 1752, 1796, 1157, 715, 2417, 2406, 0, 1386, 0, 1564, - 2202, 1802, 1633, 2406, 1857, 2464, 1571, 1672, 2417, 2403, - 2462, 1187, 1451, 1003, 894, 1295, 1470, 1718, 1855, 1823, - - 1555, 1665, 1782, 1796, 2267, 1574, 1588, 1826, 1647, 1674, - 2339, 2460, 2411, 2475, 1840, 1858, 1608, 0, 2531, 1905, - 1956, 1857, 1728, 2409, 2451, 1639, 2450, 2385, 2445, 2383, - 2443, 2381, 2434, 1281, 2399, 2395, 2395, 2390, 1389, 4394, - 2587, 2443, 1146, 1916, 2442, 1281, 2415, 2390, 0, 2652, - 2724, 2378, 2378, 2428, 1322, 1883, 4394, 2426, 1966, 1457, - 2002, 2076, 2419, 1428, 952, 4394, 2375, 2364, 0, 2410, - 1544, 1774, 2396, 1877, 2392, 2347, 2341, 1521, 1030, 1255, - 2787, 1676, 1881, 1788, 1891, 1861, 2852, 2402, 2924, 1963, - 1841, 1944, 2402, 1691, 1649, 1816, 1235, 4394, 1979, 2393, - - 2392, 2330, 2329, 2389, 2388, 2326, 2325, 2385, 2381, 2319, - 2318, 2366, 2362, 2315, 2323, 1377, 2320, 1778, 2004, 2102, - 2355, 2310, 2348, 2304, 2287, 2326, 2288, 2289, 2264, 1524, - 2279, 4394, 1980, 4394, 2317, 4394, 4394, 2312, 2053, 2319, - 2268, 2261, 2315, 1999, 1555, 548, 1908, 1982, 1951, 1786, - 2301, 2043, 2029, 2297, 2054, 4394, 2243, 2158, 2289, 2284, - 2219, 2205, 2209, 4394, 2198, 2239, 4394, 2235, 2228, 2174, - 2228, 2182, 2157, 2174, 2105, 2086, 0, 2061, 2130, 2120, - 2054, 1040, 358, 2032, 2091, 2073, 2093, 1970, 2136, 2120, - 1988, 2029, 1542, 1985, 1941, 1941, 1923, 884, 1858, 1831, - - 2996, 1815, 1772, 1768, 1617, 651, 3068, 2150, 2149, 1757, - 1745, 1725, 4394, 1623, 1924, 2045, 3140, 2054, 0, 1631, - 1594, 1302, 1202, 3212, 2158, 2066, 2040, 2177, 1577, 1531, - 2110, 1524, 1496, 1455, 1427, 1308, 1895, 2162, 1448, 1422, - 2179, 1319, 1298, 2163, 2154, 1285, 1115, 1083, 1117, 1726, - 1576, 2196, 2198, 1062, 984, 2193, 2056, 930, 2153, 2166, - 0, 902, 804, 803, 1618, 2210, 2238, 0, 2213, 583, - 4394, 497, 2199, 486, 4394, 426, 460, 4394, 2116, 2203, - 2254, 2231, 392, 317, 1804, 2255, 2281, 239, 2027, 829, - 2006, 2117, 2293, 2295, 2298, 2299, 2303, 2317, 2321, 2322, - - 2323, 2365, 2366, 2369, 2370, 2371, 2233, 154, 4394, 4394, - 3281, 3296, 3311, 3326, 3341, 3353, 3368, 3383, 3397, 3412, - 3427, 3442, 3457, 3472, 3487, 3502, 3517, 3532, 3547, 3562, - 3577, 3592, 3607, 3622, 3633, 3648, 3663, 3678, 3693, 3708, - 3723, 3738, 3753, 3768, 3783, 3792, 3807, 3822, 3837, 3852, - 3867, 3882, 3897, 3908, 3923, 3938, 3953, 3968, 3983, 3998, - 4013, 4028, 4043, 4058, 4073, 4088, 4103, 4118, 4133, 4148, - 4163, 4174, 4188, 4203, 4218, 4233, 4244, 4258, 4273, 4288, - 4303, 4318, 4333, 4348, 4363, 4378 + 0, 73, 2729, 4517, 122, 131, 0, 142, 2724, 140, + 151, 171, 162, 2724, 231, 159, 2672, 2661, 119, 2660, + 2673, 143, 2668, 2652, 211, 301, 361, 212, 209, 279, + 243, 284, 301, 286, 221, 303, 309, 329, 2670, 239, + 2665, 2649, 338, 403, 2710, 149, 380, 475, 348, 190, + 538, 240, 2659, 2648, 236, 2650, 2663, 157, 2658, 2642, + 379, 600, 314, 353, 377, 395, 401, 413, 382, 408, + 513, 424, 516, 423, 562, 448, 544, 607, 612, 2654, + 468, 0, 2696, 309, 617, 174, 4517, 2692, 672, 246, + 353, 2686, 2686, 2680, 517, 661, 2680, 576, 280, 655, + + 2679, 0, 2692, 4517, 0, 696, 0, 741, 0, 580, + 644, 586, 622, 2645, 2640, 2592, 2592, 692, 2617, 2616, + 714, 2606, 680, 720, 2592, 2606, 811, 537, 884, 4517, + 911, 961, 0, 986, 1035, 687, 753, 757, 2584, 2588, + 2587, 2582, 2591, 318, 2568, 825, 2636, 2635, 430, 2634, + 747, 820, 253, 830, 1085, 160, 563, 455, 1148, 1193, + 2633, 784, 843, 850, 760, 603, 692, 844, 854, 2596, + 657, 858, 893, 862, 893, 658, 1217, 1267, 2629, 1292, + 1342, 913, 926, 1157, 831, 894, 915, 918, 895, 845, + 2568, 464, 487, 538, 2620, 556, 1162, 1073, 2619, 2556, + + 4517, 1146, 1209, 2624, 2623, 2622, 2611, 2620, 2619, 0, + 4517, 2618, 2616, 2615, 2614, 2613, 384, 1029, 1062, 1078, + 1367, 1147, 1145, 1167, 1412, 2558, 2551, 2564, 2559, 1240, + 1422, 2540, 756, 651, 2557, 2593, 2551, 2547, 1214, 1482, + 722, 1208, 761, 1555, 1619, 0, 1624, 0, 2594, 2592, + 2591, 1174, 1426, 1490, 1673, 2591, 2589, 560, 2550, 2549, + 2583, 2530, 4517, 1499, 1039, 2591, 725, 2587, 928, 845, + 592, 917, 642, 2585, 1156, 1503, 1716, 2584, 1516, 1761, + 1531, 1564, 1470, 1565, 1464, 1429, 1580, 1490, 1566, 1598, + 1831, 1896, 1901, 2583, 1582, 2573, 1613, 1950, 1587, 1676, + + 1588, 1614, 1581, 1149, 1539, 2528, 4517, 775, 799, 2562, + 4517, 1709, 2557, 2556, 2493, 2492, 1202, 1709, 2546, 2545, + 2544, 2544, 615, 2543, 744, 2542, 1099, 1674, 832, 4517, + 2535, 1719, 2534, 2533, 1955, 1622, 4517, 1410, 2490, 2490, + 2487, 2487, 2494, 2493, 778, 892, 920, 2013, 0, 2511, + 2495, 2496, 2495, 0, 2086, 2159, 940, 1210, 1233, 1309, + 2540, 2533, 1434, 4517, 1776, 1424, 2529, 910, 1615, 1616, + 2528, 1173, 4517, 2476, 0, 2476, 1842, 2532, 1727, 1735, + 2488, 2473, 2530, 1003, 1736, 904, 599, 1216, 1523, 2186, + 2528, 1847, 1726, 1767, 1880, 1771, 2244, 1522, 1813, 1849, + + 1848, 1862, 2317, 2527, 2390, 2029, 1869, 1879, 1713, 2021, + 1747, 2479, 2517, 1595, 2500, 1809, 2511, 2443, 2504, 2441, + 2500, 2433, 2460, 1869, 4517, 2454, 2427, 2423, 2423, 2418, + 2468, 1049, 2006, 2467, 1075, 2440, 2410, 0, 2497, 2570, + 2400, 2394, 2448, 1341, 1756, 4517, 2446, 1803, 1343, 1491, + 1768, 2439, 2438, 1416, 4517, 2386, 0, 2425, 1871, 2421, + 1240, 2416, 2373, 2366, 1454, 1718, 1473, 2635, 1888, 2044, + 1889, 2042, 2023, 2678, 2425, 1990, 1886, 2052, 2063, 2425, + 1870, 1899, 1958, 1000, 4517, 2095, 1777, 2416, 2415, 2351, + 2350, 2411, 2410, 2347, 2346, 2407, 2406, 2343, 2342, 2393, + + 2388, 1840, 2017, 2382, 2320, 2326, 2011, 2298, 2303, 2338, + 2296, 2275, 2316, 2293, 2302, 2270, 2018, 2264, 4517, 2117, + 4517, 2296, 4517, 2290, 2119, 2300, 2251, 2231, 2282, 1960, + 1445, 289, 2107, 2108, 2114, 2068, 2281, 2125, 2131, 2280, + 2139, 4517, 2227, 2176, 2262, 2267, 2258, 4517, 2187, 2173, + 2177, 4517, 2166, 2214, 2211, 2157, 2198, 2148, 2103, 2111, + 2085, 2098, 0, 2077, 2196, 2071, 2002, 827, 1575, 2168, + 2135, 2063, 2170, 2136, 2164, 2203, 2000, 2014, 1683, 1939, + 1931, 2030, 1944, 1630, 1954, 1906, 2751, 1919, 1917, 1913, + 1385, 1565, 2824, 2249, 2204, 1850, 1863, 1832, 4517, 1806, + + 1637, 1912, 2897, 1920, 0, 1775, 1762, 1585, 945, 2970, + 2096, 1949, 2188, 2207, 1772, 1743, 2250, 1745, 1677, 1563, + 1551, 1686, 681, 2260, 1568, 1502, 2258, 1408, 1406, 2243, + 2170, 1358, 1313, 1240, 1258, 1751, 1127, 2261, 2312, 1072, + 926, 2279, 2133, 809, 1969, 2073, 0, 855, 705, 711, + 1429, 2317, 2305, 0, 2284, 631, 4517, 546, 2094, 480, + 4517, 413, 392, 4517, 1794, 2351, 2357, 2298, 325, 206, + 1884, 2303, 2352, 203, 1915, 365, 2138, 2221, 2364, 2365, + 2369, 2370, 2371, 2372, 2373, 2427, 2444, 2451, 2452, 2453, + 2454, 2456, 2296, 179, 4517, 4517, 3040, 3059, 3072, 3086, + + 3105, 3124, 3140, 3159, 3178, 3196, 1267, 1342, 1671, 3214, + 3233, 1702, 3252, 3271, 3290, 3309, 3328, 3347, 3366, 3385, + 3404, 3416, 3435, 3454, 3473, 3492, 3511, 3519, 1896, 3529, + 3545, 3564, 3580, 3599, 3618, 3637, 3656, 3675, 3694, 3713, + 3732, 3744, 3763, 3782, 3801, 3820, 3839, 3858, 3877, 3893, + 3908, 3924, 3943, 3962, 3981, 3997, 4016, 4035, 4054, 4073, + 4092, 4111, 4130, 4149, 4168, 4187, 4206, 4225, 4244, 4259, + 4278, 4297, 4316, 4331, 4345, 4364, 4383, 4402, 4421, 4440, + 4459, 4478, 4497 } ; -static yyconst short int yy_def[787] = +static yyconst short int yy_def[784] = { 0, - 710, 710, 710, 710, 710, 710, 711, 712, 710, 710, - 711, 710, 12, 713, 711, 711, 711, 711, 15, 711, - 711, 15, 711, 711, 15, 711, 711, 714, 711, 15, - 29, 29, 29, 29, 29, 29, 711, 715, 710, 716, - 716, 710, 42, 713, 716, 716, 716, 716, 45, 716, - 716, 45, 716, 716, 45, 716, 716, 716, 45, 58, - 58, 58, 58, 58, 58, 716, 715, 710, 710, 711, - 717, 718, 717, 710, 710, 710, 710, 711, 710, 711, - 710, 719, 719, 711, 719, 710, 12, 710, 711, 713, - 710, 710, 711, 710, 711, 710, 710, 95, 711, 711, - - 711, 711, 711, 711, 711, 711, 711, 711, 95, 711, - 711, 711, 720, 714, 720, 721, 710, 711, 711, 710, - 711, 711, 711, 711, 119, 710, 711, 123, 95, 711, - 711, 711, 715, 722, 715, 710, 723, 716, 710, 716, - 716, 710, 716, 42, 710, 716, 724, 716, 148, 710, - 149, 716, 716, 716, 716, 716, 716, 716, 716, 716, - 716, 149, 716, 716, 716, 148, 148, 710, 148, 716, - 716, 148, 167, 710, 148, 171, 149, 716, 716, 716, - 715, 710, 717, 725, 725, 726, 727, 717, 717, 728, - 729, 710, 710, 710, 710, 711, 711, 710, 711, 710, - - 710, 710, 710, 711, 710, 710, 710, 710, 710, 710, - 711, 710, 95, 710, 711, 710, 710, 711, 711, 711, - 711, 711, 711, 711, 711, 218, 711, 711, 711, 730, - 731, 732, 733, 734, 123, 710, 711, 710, 710, 711, - 711, 711, 735, 711, 710, 710, 711, 711, 123, 711, - 710, 711, 711, 735, 123, 244, 711, 711, 711, 710, - 715, 710, 736, 710, 737, 716, 716, 716, 716, 738, - 736, 739, 716, 149, 710, 716, 149, 716, 716, 716, - 716, 716, 716, 716, 277, 716, 716, 716, 740, 716, - 716, 710, 716, 716, 716, 290, 716, 716, 290, 291, - - 710, 716, 716, 290, 296, 716, 716, 716, 715, 710, - 710, 741, 741, 742, 710, 743, 744, 744, 745, 745, - 710, 710, 710, 711, 710, 710, 710, 710, 710, 710, - 710, 710, 710, 710, 710, 711, 746, 710, 711, 710, - 710, 711, 710, 711, 711, 711, 711, 710, 711, 747, - 711, 711, 711, 711, 711, 748, 749, 749, 750, 750, - 751, 752, 753, 710, 710, 710, 711, 754, 710, 710, - 710, 710, 711, 711, 710, 710, 711, 710, 367, 754, - 367, 711, 711, 711, 715, 710, 710, 710, 710, 710, - 755, 710, 716, 756, 756, 716, 716, 291, 710, 716, - - 716, 716, 716, 716, 757, 716, 716, 716, 716, 716, - 758, 748, 758, 716, 716, 716, 716, 414, 414, 716, - 716, 716, 715, 710, 759, 760, 761, 762, 763, 764, - 765, 766, 710, 710, 710, 710, 710, 710, 710, 710, - 711, 711, 711, 710, 711, 710, 711, 711, 767, 768, - 768, 711, 711, 711, 769, 770, 710, 771, 710, 772, - 710, 710, 711, 710, 710, 710, 710, 710, 711, 710, - 772, 715, 710, 710, 710, 710, 710, 773, 774, 774, - 414, 716, 716, 716, 716, 716, 775, 767, 775, 716, - 716, 716, 776, 716, 716, 715, 710, 710, 760, 761, - - 761, 762, 762, 763, 763, 764, 764, 765, 765, 766, - 766, 710, 710, 710, 710, 710, 710, 777, 710, 710, - 711, 711, 778, 710, 710, 710, 710, 711, 711, 711, - 711, 710, 710, 710, 710, 710, 710, 710, 715, 710, - 710, 710, 773, 773, 774, 774, 716, 716, 716, 716, - 779, 716, 716, 776, 715, 710, 710, 760, 710, 710, - 710, 710, 710, 710, 710, 710, 710, 778, 778, 710, - 710, 710, 710, 711, 711, 711, 711, 711, 715, 710, - 710, 774, 774, 716, 716, 779, 716, 716, 716, 715, - 710, 710, 710, 710, 710, 710, 710, 710, 710, 710, - - 780, 711, 710, 710, 774, 774, 781, 716, 715, 710, - 710, 710, 710, 710, 782, 782, 780, 617, 711, 710, - 710, 774, 774, 781, 782, 624, 716, 715, 710, 710, - 782, 617, 617, 710, 710, 774, 774, 783, 624, 624, - 715, 710, 710, 782, 782, 617, 617, 710, 710, 774, - 774, 783, 783, 624, 624, 715, 710, 710, 782, 782, - 617, 784, 710, 785, 774, 783, 783, 624, 715, 710, - 710, 710, 782, 784, 710, 710, 785, 710, 774, 783, - 783, 715, 710, 710, 774, 783, 715, 710, 774, 715, - 786, 786, 786, 786, 786, 786, 786, 786, 786, 786, - - 786, 786, 786, 786, 786, 786, 786, 710, 710, 0, - 710, 710, 710, 710, 710, 710, 710, 710, 710, 710, - 710, 710, 710, 710, 710, 710, 710, 710, 710, 710, - 710, 710, 710, 710, 710, 710, 710, 710, 710, 710, - 710, 710, 710, 710, 710, 710, 710, 710, 710, 710, - 710, 710, 710, 710, 710, 710, 710, 710, 710, 710, - 710, 710, 710, 710, 710, 710, 710, 710, 710, 710, - 710, 710, 710, 710, 710, 710, 710, 710, 710, 710, - 710, 710, 710, 710, 710, 710 + 696, 696, 696, 696, 696, 696, 697, 698, 696, 699, + 697, 696, 12, 700, 697, 15, 15, 15, 15, 15, + 15, 15, 15, 15, 15, 701, 697, 27, 27, 27, + 27, 27, 27, 27, 27, 27, 27, 27, 697, 697, + 697, 697, 697, 702, 696, 703, 703, 696, 48, 700, + 703, 51, 51, 51, 51, 51, 51, 51, 51, 51, + 51, 703, 62, 62, 62, 62, 62, 62, 62, 62, + 62, 62, 62, 703, 703, 703, 703, 703, 702, 696, + 696, 697, 704, 705, 704, 696, 696, 696, 696, 696, + 697, 696, 697, 696, 706, 706, 697, 706, 696, 12, + + 696, 697, 700, 696, 707, 697, 708, 697, 709, 108, + 696, 108, 108, 697, 697, 697, 697, 108, 106, 697, + 108, 697, 108, 108, 697, 710, 701, 710, 711, 696, + 697, 696, 712, 697, 697, 697, 697, 697, 697, 697, + 697, 697, 697, 702, 713, 702, 696, 714, 703, 696, + 703, 703, 696, 703, 696, 696, 703, 715, 703, 159, + 709, 160, 160, 160, 703, 703, 703, 703, 160, 159, + 703, 160, 703, 160, 160, 703, 159, 696, 712, 159, + 696, 703, 703, 703, 703, 703, 703, 703, 703, 702, + 696, 716, 717, 717, 718, 719, 716, 716, 720, 721, + + 696, 722, 722, 696, 696, 696, 697, 697, 696, 697, + 696, 696, 696, 696, 697, 696, 696, 696, 697, 696, + 697, 722, 697, 696, 697, 696, 696, 696, 696, 697, + 697, 697, 697, 697, 697, 697, 697, 697, 697, 723, + 724, 725, 726, 727, 697, 728, 697, 729, 728, 697, + 247, 697, 730, 730, 697, 254, 697, 697, 697, 697, + 697, 697, 696, 702, 696, 731, 696, 732, 733, 733, + 733, 733, 734, 731, 735, 733, 733, 222, 733, 277, + 733, 733, 733, 733, 733, 733, 733, 733, 733, 733, + 736, 733, 277, 729, 733, 293, 733, 292, 733, 733, + + 733, 733, 733, 733, 702, 696, 696, 737, 737, 738, + 696, 739, 740, 740, 741, 741, 696, 742, 696, 696, + 696, 697, 696, 696, 696, 696, 696, 696, 696, 696, + 697, 742, 697, 696, 697, 332, 696, 697, 696, 696, + 696, 696, 697, 697, 697, 696, 697, 743, 697, 697, + 697, 697, 697, 744, 745, 745, 746, 746, 747, 748, + 749, 696, 696, 696, 750, 751, 696, 696, 751, 751, + 697, 697, 696, 696, 697, 697, 702, 696, 696, 696, + 696, 696, 752, 696, 733, 753, 753, 733, 733, 293, + 336, 733, 733, 733, 733, 733, 754, 733, 733, 733, + + 733, 733, 755, 744, 755, 756, 733, 733, 733, 733, + 702, 696, 757, 758, 696, 696, 759, 760, 761, 762, + 763, 764, 696, 696, 696, 697, 696, 696, 696, 696, + 697, 697, 696, 697, 696, 697, 697, 765, 766, 766, + 697, 697, 697, 767, 768, 696, 769, 696, 770, 770, + 770, 697, 696, 696, 696, 696, 697, 696, 702, 696, + 696, 696, 696, 696, 771, 772, 772, 733, 733, 733, + 733, 733, 733, 754, 765, 474, 733, 733, 733, 773, + 733, 733, 702, 696, 696, 758, 774, 759, 759, 760, + 760, 761, 761, 762, 762, 763, 763, 764, 764, 696, + + 696, 774, 774, 697, 696, 696, 696, 696, 697, 775, + 696, 696, 696, 696, 697, 697, 697, 697, 696, 696, + 696, 696, 696, 696, 702, 696, 696, 696, 771, 771, + 772, 772, 733, 733, 733, 733, 776, 733, 733, 773, + 702, 696, 696, 758, 696, 696, 696, 696, 696, 696, + 696, 696, 696, 775, 775, 696, 696, 696, 696, 697, + 697, 697, 697, 697, 702, 696, 696, 772, 772, 733, + 733, 776, 733, 733, 733, 702, 696, 696, 696, 696, + 696, 696, 696, 696, 696, 696, 777, 697, 696, 696, + 772, 772, 778, 733, 702, 696, 696, 696, 696, 696, + + 779, 779, 777, 603, 697, 696, 696, 772, 772, 778, + 779, 610, 733, 702, 696, 696, 779, 603, 603, 696, + 696, 772, 772, 780, 610, 610, 702, 696, 696, 779, + 779, 603, 603, 696, 696, 772, 772, 780, 780, 610, + 610, 702, 696, 696, 779, 779, 603, 781, 696, 782, + 772, 780, 780, 610, 702, 696, 696, 696, 779, 781, + 696, 696, 782, 696, 772, 780, 780, 702, 696, 696, + 772, 780, 702, 696, 772, 702, 783, 783, 783, 783, + 783, 783, 783, 783, 783, 783, 783, 783, 783, 783, + 783, 783, 783, 696, 696, 0, 696, 696, 696, 696, + + 696, 696, 696, 696, 696, 696, 696, 696, 696, 696, + 696, 696, 696, 696, 696, 696, 696, 696, 696, 696, + 696, 696, 696, 696, 696, 696, 696, 696, 696, 696, + 696, 696, 696, 696, 696, 696, 696, 696, 696, 696, + 696, 696, 696, 696, 696, 696, 696, 696, 696, 696, + 696, 696, 696, 696, 696, 696, 696, 696, 696, 696, + 696, 696, 696, 696, 696, 696, 696, 696, 696, 696, + 696, 696, 696, 696, 696, 696, 696, 696, 696, 696, + 696, 696, 696 } ; -static yyconst short int yy_nxt[4467] = +static yyconst short int yy_nxt[4591] = { 0, 4, 4, 4, 5, 4, 4, 6, 4, 7, 8, 4, 9, 10, 7, 4, 4, 11, 12, 13, 13, - 13, 4, 14, 4, 4, 7, 15, 16, 17, 7, - 7, 18, 7, 7, 19, 20, 21, 22, 23, 24, - 22, 25, 26, 7, 27, 7, 28, 4, 4, 29, - 30, 31, 32, 33, 34, 35, 36, 7, 19, 20, - 21, 22, 37, 24, 25, 26, 7, 7, 27, 7, - 38, 4, 4, 4, 4, 5, 4, 39, 6, 39, - 7, 8, 4, 9, 10, 40, 4, 4, 41, 42, - 43, 43, 43, 4, 44, 4, 4, 40, 45, 46, - - 47, 40, 40, 48, 40, 40, 49, 50, 51, 52, - 53, 54, 52, 55, 56, 40, 57, 40, 28, 4, - 4, 58, 59, 60, 61, 62, 63, 64, 65, 40, - 49, 50, 51, 52, 66, 54, 55, 56, 40, 40, - 57, 40, 67, 4, 68, 69, 69, 69, 69, 69, - 72, 75, 76, 77, 102, 106, 709, 73, 73, 73, - 73, 73, 710, 78, 122, 79, 80, 123, 68, 123, - 122, 81, 82, 82, 83, 123, 362, 123, 103, 70, - 107, 130, 70, 710, 84, 85, 86, 87, 87, 87, - 87, 87, 88, 710, 710, 139, 70, 89, 70, 70, - - 70, 70, 70, 70, 70, 89, 70, 70, 89, 89, - 89, 89, 89, 70, 70, 70, 70, 131, 70, 363, - 89, 89, 89, 89, 89, 89, 89, 89, 70, 89, - 70, 70, 89, 89, 89, 89, 70, 70, 70, 70, - 70, 82, 92, 122, 109, 123, 389, 123, 94, 70, - 70, 70, 70, 710, 390, 122, 123, 97, 123, 710, - 92, 82, 91, 147, 70, 139, 132, 186, 187, 101, - 93, 138, 94, 710, 95, 95, 95, 139, 96, 139, - 102, 97, 108, 108, 108, 108, 108, 108, 108, 108, - 70, 190, 662, 122, 171, 111, 112, 123, 178, 123, - - 153, 112, 93, 139, 103, 158, 98, 98, 98, 98, - 98, 98, 98, 98, 710, 710, 99, 113, 114, 114, - 114, 113, 113, 113, 113, 113, 113, 113, 113, 113, - 115, 113, 113, 134, 710, 710, 196, 197, 113, 113, - 113, 113, 70, 82, 82, 82, 154, 135, 135, 135, - 135, 135, 191, 170, 70, 139, 77, 92, 171, 70, - 91, 70, 70, 113, 117, 113, 140, 139, 79, 141, - 138, 138, 139, 70, 142, 139, 688, 170, 159, 171, - 205, 171, 206, 155, 162, 231, 139, 113, 113, 118, - 138, 70, 134, 119, 119, 119, 157, 120, 170, 171, - - 70, 171, 136, 160, 139, 179, 193, 156, 194, 265, - 164, 165, 154, 139, 195, 170, 165, 163, 171, 117, - 171, 121, 205, 155, 606, 122, 123, 122, 122, 122, - 122, 122, 122, 124, 271, 272, 170, 125, 125, 125, - 171, 126, 171, 82, 82, 82, 330, 156, 69, 69, - 69, 69, 69, 556, 180, 201, 331, 202, 82, 82, - 82, 136, 678, 203, 331, 127, 218, 218, 218, 128, - 129, 128, 129, 129, 129, 129, 129, 82, 82, 83, - 226, 226, 226, 684, 70, 244, 244, 244, 675, 143, - 85, 86, 144, 144, 144, 144, 144, 145, 256, 256, - - 256, 138, 146, 138, 138, 138, 138, 138, 138, 138, - 146, 138, 138, 146, 146, 146, 146, 146, 138, 138, - 138, 138, 277, 277, 277, 146, 146, 146, 146, 146, - 146, 146, 146, 138, 146, 138, 138, 146, 146, 146, - 146, 138, 138, 138, 138, 138, 92, 184, 311, 265, - 91, 70, 186, 312, 134, 205, 148, 206, 94, 683, - 149, 149, 149, 198, 150, 181, 184, 97, 135, 135, - 135, 135, 135, 188, 188, 188, 188, 188, 189, 211, - 211, 211, 211, 211, 211, 211, 211, 70, 148, 218, - 218, 218, 151, 151, 151, 151, 151, 151, 151, 151, - - 139, 70, 152, 70, 207, 583, 208, 70, 82, 268, - 94, 70, 209, 433, 139, 710, 139, 210, 70, 97, - 710, 186, 312, 136, 139, 70, 710, 434, 207, 70, - 208, 314, 315, 266, 267, 671, 209, 227, 139, 70, - 210, 284, 139, 376, 161, 161, 161, 161, 161, 161, - 161, 161, 70, 91, 244, 244, 244, 166, 305, 305, - 305, 167, 167, 167, 281, 168, 212, 212, 212, 212, - 212, 212, 212, 212, 216, 216, 216, 216, 216, 216, - 216, 216, 277, 277, 277, 336, 336, 336, 375, 169, - 220, 70, 377, 170, 171, 170, 170, 170, 170, 170, - - 170, 172, 360, 376, 139, 173, 173, 173, 623, 174, - 217, 217, 217, 217, 217, 217, 217, 217, 235, 235, - 235, 235, 235, 235, 235, 235, 337, 337, 337, 468, - 286, 248, 278, 175, 70, 70, 117, 176, 177, 176, - 177, 177, 177, 177, 177, 213, 360, 139, 139, 339, - 339, 339, 466, 214, 243, 243, 243, 243, 243, 243, - 243, 243, 123, 123, 123, 123, 123, 123, 123, 123, - 340, 340, 340, 341, 341, 341, 280, 213, 469, 279, - 117, 215, 215, 215, 215, 215, 215, 215, 215, 113, - 114, 114, 114, 113, 113, 113, 113, 113, 113, 113, - - 113, 113, 113, 113, 113, 678, 348, 70, 70, 70, - 113, 113, 113, 113, 249, 249, 249, 249, 249, 249, - 249, 249, 254, 254, 254, 254, 254, 254, 254, 254, - 349, 691, 134, 271, 272, 113, 117, 113, 255, 255, - 255, 255, 255, 255, 255, 255, 135, 135, 135, 135, - 135, 261, 314, 315, 349, 367, 367, 367, 676, 113, - 113, 113, 232, 232, 232, 233, 70, 113, 113, 113, - 113, 113, 113, 70, 269, 113, 113, 82, 70, 139, - 70, 70, 113, 113, 70, 113, 139, 138, 444, 710, - 70, 139, 70, 139, 139, 139, 91, 139, 134, 70, - - 136, 136, 138, 139, 675, 139, 446, 113, 117, 309, - 139, 268, 139, 70, 273, 273, 273, 273, 273, 273, - 273, 273, 285, 285, 285, 524, 139, 336, 336, 336, - 446, 113, 113, 236, 138, 282, 70, 237, 70, 281, - 287, 288, 283, 289, 70, 238, 445, 239, 524, 139, - 240, 139, 343, 296, 296, 296, 480, 139, 240, 350, - 343, 240, 455, 325, 240, 240, 468, 136, 70, 237, - 70, 350, 350, 241, 242, 241, 241, 241, 241, 241, - 241, 139, 240, 139, 343, 240, 366, 672, 240, 245, - 308, 70, 268, 367, 367, 367, 117, 244, 244, 244, - - 296, 296, 296, 246, 139, 91, 247, 386, 265, 379, - 379, 379, 387, 388, 247, 537, 265, 247, 70, 427, - 247, 247, 290, 290, 290, 290, 290, 290, 290, 290, - 247, 139, 91, 248, 314, 315, 279, 668, 247, 184, - 311, 247, 91, 605, 247, 250, 188, 188, 188, 188, - 188, 189, 479, 251, 216, 216, 216, 216, 216, 216, - 216, 216, 243, 243, 243, 243, 243, 243, 243, 243, - 232, 232, 232, 233, 381, 381, 381, 250, 403, 70, - 428, 252, 253, 252, 252, 252, 252, 252, 252, 213, - 545, 668, 139, 256, 256, 256, 265, 214, 171, 171, - - 171, 171, 171, 171, 171, 171, 299, 299, 299, 299, - 299, 299, 299, 299, 376, 366, 117, 339, 339, 339, - 663, 213, 379, 379, 379, 215, 257, 215, 215, 258, - 215, 215, 215, 274, 91, 362, 662, 410, 396, 396, - 396, 275, 254, 254, 254, 254, 254, 254, 254, 254, - 304, 304, 304, 304, 304, 304, 304, 304, 419, 419, - 419, 329, 447, 377, 375, 274, 70, 467, 661, 276, - 276, 276, 276, 276, 276, 276, 276, 236, 363, 139, - 70, 291, 522, 70, 70, 393, 448, 394, 478, 292, - 478, 239, 375, 139, 293, 395, 139, 139, 70, 339, - - 339, 339, 293, 407, 91, 293, 522, 370, 293, 293, - 374, 139, 70, 291, 440, 440, 440, 294, 295, 294, - 294, 294, 294, 294, 294, 139, 293, 401, 406, 293, - 184, 311, 293, 70, 245, 248, 70, 316, 316, 316, - 316, 316, 296, 296, 296, 70, 139, 70, 246, 139, - 70, 297, 366, 376, 396, 396, 396, 91, 139, 297, - 139, 408, 297, 139, 637, 297, 297, 338, 338, 338, - 338, 338, 338, 338, 338, 297, 348, 364, 298, 402, - 70, 70, 375, 297, 512, 364, 297, 556, 364, 297, - 300, 364, 364, 139, 139, 557, 513, 245, 301, 429, - - 404, 364, 417, 70, 91, 368, 368, 368, 70, 364, - 91, 246, 364, 526, 661, 364, 139, 397, 397, 397, - 546, 139, 300, 70, 404, 298, 302, 303, 302, 302, - 302, 302, 302, 302, 274, 455, 139, 527, 305, 305, - 305, 370, 275, 241, 241, 241, 241, 241, 241, 241, - 241, 365, 365, 365, 365, 365, 365, 365, 365, 636, - 430, 441, 441, 441, 658, 371, 274, 650, 405, 532, - 276, 306, 276, 276, 307, 276, 276, 276, 342, 372, - 405, 405, 460, 460, 460, 657, 343, 252, 252, 252, - 252, 252, 252, 252, 252, 378, 378, 378, 378, 378, - - 378, 378, 378, 471, 471, 471, 518, 518, 518, 465, - 342, 456, 456, 456, 344, 344, 344, 344, 344, 344, - 344, 344, 356, 356, 236, 356, 356, 356, 356, 356, - 563, 356, 356, 356, 356, 70, 356, 356, 467, 369, - 422, 364, 564, 356, 356, 356, 356, 369, 139, 364, - 369, 70, 364, 369, 369, 364, 364, 457, 245, 70, - 414, 414, 414, 369, 139, 364, 461, 268, 356, 356, - 356, 369, 139, 364, 369, 369, 364, 369, 70, 364, - 462, 465, 655, 369, 654, 265, 369, 358, 649, 369, - 369, 139, 356, 356, 113, 232, 232, 232, 233, 369, - - 113, 113, 113, 113, 113, 113, 134, 369, 113, 113, - 369, 245, 134, 369, 648, 113, 113, 423, 113, 380, - 380, 380, 544, 392, 544, 246, 385, 385, 385, 385, - 385, 338, 338, 338, 338, 338, 338, 338, 338, 70, - 113, 117, 302, 302, 302, 302, 302, 302, 302, 302, - 431, 431, 139, 461, 331, 370, 647, 91, 70, 70, - 646, 366, 331, 70, 113, 113, 371, 462, 414, 414, - 414, 139, 139, 371, 77, 136, 139, 576, 91, 665, - 372, 136, 70, 373, 473, 265, 79, 372, 643, 577, - 409, 373, 81, 265, 373, 139, 70, 373, 373, 294, - - 294, 294, 294, 294, 294, 294, 294, 373, 582, 139, - 374, 432, 432, 482, 70, 373, 70, 465, 373, 91, - 91, 373, 342, 418, 418, 418, 268, 139, 642, 139, - 343, 365, 365, 365, 365, 365, 365, 365, 365, 378, - 378, 378, 378, 378, 378, 378, 378, 468, 184, 498, - 441, 441, 441, 499, 342, 70, 635, 70, 344, 382, - 344, 344, 383, 344, 344, 344, 398, 70, 139, 366, - 139, 622, 679, 70, 399, 474, 418, 418, 418, 92, - 139, 70, 70, 375, 70, 475, 139, 86, 634, 630, - 397, 397, 397, 88, 139, 139, 469, 139, 398, 70, - - 491, 536, 400, 400, 400, 400, 400, 400, 400, 400, - 356, 356, 139, 356, 356, 356, 356, 356, 357, 356, - 356, 356, 356, 483, 356, 356, 298, 492, 91, 70, - 134, 412, 356, 356, 356, 376, 184, 311, 397, 397, - 397, 496, 139, 426, 426, 426, 426, 426, 344, 344, - 344, 344, 344, 344, 344, 344, 356, 356, 356, 439, - 439, 439, 439, 439, 439, 439, 439, 400, 400, 400, - 400, 400, 400, 400, 400, 413, 134, 613, 464, 664, - 356, 356, 70, 245, 417, 444, 464, 519, 539, 464, - 70, 444, 464, 464, 70, 139, 70, 246, 629, 136, - - 297, 520, 464, 139, 70, 371, 91, 139, 297, 139, - 464, 297, 467, 464, 297, 297, 464, 139, 134, 441, - 441, 441, 464, 556, 297, 621, 620, 298, 485, 555, - 464, 70, 297, 464, 70, 297, 464, 464, 297, 371, - 481, 481, 481, 484, 139, 540, 464, 139, 70, 70, - 467, 585, 486, 372, 464, 374, 415, 464, 265, 134, - 464, 139, 139, 689, 415, 70, 70, 415, 619, 70, - 415, 415, 468, 472, 472, 472, 472, 472, 139, 139, - 415, 490, 139, 416, 456, 456, 456, 136, 415, 70, - 201, 415, 202, 416, 415, 398, 615, 91, 203, 70, - - 615, 553, 139, 399, 439, 439, 439, 439, 439, 439, - 439, 439, 139, 70, 550, 467, 70, 548, 567, 268, - 549, 495, 481, 481, 481, 523, 139, 398, 136, 139, - 457, 400, 420, 400, 400, 421, 400, 400, 400, 449, - 449, 548, 449, 449, 449, 449, 449, 92, 449, 449, - 449, 449, 70, 449, 449, 631, 651, 524, 416, 70, - 449, 449, 449, 449, 70, 139, 525, 533, 533, 533, - 468, 70, 139, 481, 481, 481, 614, 139, 70, 631, - 524, 533, 533, 533, 139, 449, 449, 449, 184, 311, - 70, 139, 451, 584, 612, 558, 558, 558, 558, 558, - - 544, 392, 544, 139, 451, 451, 613, 596, 693, 449, - 449, 356, 356, 534, 356, 356, 356, 356, 356, 495, - 356, 356, 356, 356, 552, 356, 356, 534, 535, 91, - 566, 158, 356, 356, 356, 356, 535, 70, 566, 535, - 70, 566, 535, 535, 566, 566, 611, 560, 70, 610, - 139, 70, 535, 139, 566, 134, 134, 356, 356, 356, - 535, 139, 566, 535, 139, 566, 535, 590, 566, 579, - 579, 579, 579, 579, 607, 392, 631, 260, 589, 632, - 664, 356, 356, 356, 356, 461, 356, 356, 356, 356, - 356, 639, 356, 356, 356, 356, 587, 356, 356, 70, - - 631, 70, 535, 633, 356, 356, 356, 356, 588, 670, - 535, 519, 139, 535, 139, 640, 535, 535, 91, 693, - 604, 671, 134, 603, 136, 136, 535, 602, 566, 356, - 356, 356, 134, 609, 535, 644, 566, 535, 577, 566, - 535, 631, 566, 566, 70, 588, 579, 579, 579, 579, - 579, 134, 566, 356, 356, 461, 607, 139, 70, 645, - 566, 638, 628, 566, 392, 631, 566, 184, 498, 462, - 601, 139, 463, 685, 558, 558, 558, 558, 558, 134, - 463, 134, 673, 463, 631, 631, 463, 463, 260, 631, - 641, 136, 656, 653, 631, 134, 463, 631, 392, 659, - - 392, 540, 608, 627, 463, 392, 669, 463, 631, 631, - 463, 371, 392, 631, 660, 134, 601, 653, 631, 673, - 136, 631, 600, 666, 599, 372, 682, 653, 373, 653, - 631, 598, 686, 134, 653, 693, 373, 597, 569, 373, - 392, 653, 373, 373, 687, 569, 680, 667, 136, 567, - 136, 653, 373, 653, 631, 374, 392, 392, 653, 596, - 373, 564, 595, 373, 136, 653, 373, 449, 449, 653, - 449, 449, 449, 449, 449, 450, 449, 449, 449, 449, - 594, 449, 449, 134, 136, 653, 653, 593, 488, 449, - 449, 449, 592, 653, 690, 693, 591, 693, 681, 392, - - 693, 693, 136, 392, 708, 693, 694, 686, 695, 653, - 653, 696, 697, 449, 449, 449, 698, 392, 581, 693, - 489, 580, 262, 693, 693, 693, 537, 536, 578, 575, - 699, 574, 489, 489, 700, 701, 702, 449, 449, 356, - 356, 573, 356, 356, 356, 356, 356, 357, 356, 356, - 356, 356, 136, 356, 356, 572, 571, 570, 569, 105, - 412, 356, 356, 356, 260, 567, 260, 693, 693, 260, - 260, 693, 693, 693, 260, 565, 562, 561, 703, 704, - 560, 559, 705, 706, 707, 356, 356, 356, 260, 511, - 511, 509, 260, 260, 260, 509, 507, 507, 505, 505, - - 503, 503, 501, 501, 392, 551, 542, 541, 205, 356, - 356, 356, 356, 198, 356, 356, 356, 356, 356, 357, - 356, 356, 356, 356, 466, 356, 356, 538, 465, 536, - 459, 92, 412, 356, 356, 356, 260, 260, 531, 530, - 260, 260, 260, 529, 528, 444, 92, 517, 516, 515, - 514, 434, 511, 509, 507, 505, 503, 356, 356, 356, - 501, 187, 497, 493, 392, 477, 476, 74, 199, 470, - 370, 366, 459, 454, 453, 452, 199, 443, 442, 438, - 437, 356, 356, 70, 461, 436, 435, 205, 205, 199, - 198, 198, 198, 320, 320, 318, 139, 318, 462, 187, - - 424, 494, 264, 392, 264, 384, 366, 355, 354, 494, - 353, 352, 494, 351, 347, 494, 494, 346, 345, 335, - 334, 333, 332, 329, 329, 494, 328, 327, 326, 325, - 325, 324, 323, 494, 322, 321, 494, 320, 318, 494, - 371, 311, 310, 265, 264, 262, 260, 199, 259, 117, - 230, 229, 228, 199, 372, 225, 224, 415, 223, 222, - 222, 221, 220, 219, 91, 415, 205, 204, 415, 198, - 199, 415, 415, 198, 192, 184, 182, 137, 110, 105, - 104, 415, 101, 100, 416, 91, 74, 710, 710, 415, - 710, 710, 415, 710, 710, 415, 519, 710, 710, 710, - - 710, 710, 710, 710, 710, 710, 710, 710, 710, 710, - 520, 710, 710, 521, 710, 710, 710, 710, 710, 710, - 710, 521, 710, 710, 521, 710, 710, 521, 521, 710, - 710, 710, 710, 710, 710, 710, 710, 521, 710, 710, - 710, 710, 710, 710, 710, 521, 710, 710, 521, 710, - 710, 521, 449, 449, 710, 449, 449, 449, 449, 449, - 710, 449, 449, 449, 449, 710, 449, 449, 710, 710, - 710, 710, 710, 449, 449, 449, 449, 710, 710, 710, - 710, 710, 710, 710, 710, 710, 710, 710, 710, 710, - 710, 710, 710, 710, 710, 710, 710, 710, 449, 449, - - 449, 710, 710, 710, 710, 710, 710, 710, 710, 710, - 710, 710, 710, 710, 710, 710, 710, 710, 710, 710, - 710, 710, 449, 449, 449, 449, 710, 449, 449, 449, - 449, 449, 710, 449, 449, 449, 449, 710, 449, 449, - 710, 710, 710, 710, 710, 449, 449, 449, 449, 710, - 710, 710, 710, 710, 710, 710, 710, 710, 710, 710, - 710, 710, 710, 710, 710, 710, 710, 710, 710, 710, - 449, 449, 449, 710, 710, 710, 710, 451, 710, 710, - 710, 710, 710, 710, 710, 710, 710, 710, 710, 451, - 451, 710, 710, 710, 449, 449, 519, 710, 710, 710, - - 710, 710, 710, 710, 710, 710, 710, 710, 710, 710, - 520, 710, 710, 547, 710, 710, 710, 710, 710, 710, - 710, 547, 710, 710, 547, 710, 710, 547, 547, 710, - 710, 710, 710, 710, 710, 710, 710, 547, 710, 710, - 710, 710, 710, 710, 710, 547, 710, 710, 547, 710, - 710, 547, 449, 449, 710, 449, 449, 449, 449, 449, - 450, 449, 449, 449, 449, 710, 449, 449, 710, 710, - 710, 710, 710, 488, 449, 449, 449, 710, 710, 710, - 710, 710, 710, 710, 710, 710, 710, 710, 710, 710, - 710, 710, 710, 710, 710, 710, 710, 710, 449, 449, - - 449, 710, 710, 710, 710, 710, 710, 710, 710, 710, - 710, 710, 710, 710, 710, 710, 710, 710, 710, 710, - 710, 710, 449, 449, 449, 449, 710, 449, 449, 449, - 449, 449, 450, 449, 449, 449, 449, 710, 449, 449, - 710, 710, 710, 710, 710, 488, 449, 449, 449, 710, - 710, 710, 710, 710, 710, 710, 710, 710, 710, 710, - 710, 710, 710, 710, 710, 710, 710, 710, 710, 710, - 449, 449, 449, 710, 710, 710, 710, 489, 710, 710, - 710, 710, 710, 710, 710, 710, 710, 710, 710, 489, - 489, 710, 710, 710, 449, 449, 616, 616, 710, 616, - - 616, 616, 616, 616, 710, 616, 616, 616, 616, 710, - 616, 616, 710, 710, 710, 710, 710, 616, 616, 616, - 616, 710, 710, 710, 710, 710, 710, 618, 710, 710, - 710, 710, 710, 710, 710, 710, 710, 710, 710, 710, - 710, 710, 616, 616, 616, 710, 710, 710, 710, 710, - 710, 618, 710, 710, 710, 710, 710, 710, 710, 710, - 710, 710, 710, 710, 710, 710, 616, 616, 616, 616, - 710, 616, 616, 616, 616, 616, 617, 616, 616, 616, - 616, 710, 616, 616, 710, 710, 710, 710, 710, 625, - 616, 616, 616, 710, 710, 710, 710, 710, 710, 626, + 4, 14, 4, 4, 15, 16, 17, 18, 15, 15, + 19, 15, 15, 15, 20, 21, 15, 22, 23, 24, + 15, 25, 15, 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, 56, 57, 51, + 58, 59, 60, 51, 61, 51, 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, 119, 82, 85, 85, + 85, 85, 111, 268, 91, 95, 92, 93, 80, 150, + 170, 94, 95, 95, 96, 82, 216, 696, 116, 82, + 120, 695, 696, 199, 97, 98, 99, 100, 100, 100, + 100, 101, 104, 158, 171, 102, 102, 102, 102, 102, + + 102, 102, 102, 82, 102, 82, 82, 102, 102, 102, + 82, 82, 102, 82, 111, 111, 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, 111, 106, 200, 107, 108, 108, 108, + 108, 109, 140, 648, 105, 136, 268, 135, 135, 204, + 135, 205, 138, 674, 123, 124, 206, 136, 136, 137, + 209, 125, 166, 106, 135, 135, 135, 110, 110, 110, + 110, 110, 110, 110, 110, 110, 110, 110, 110, 136, + 136, 104, 135, 135, 135, 167, 216, 163, 217, 141, + + 106, 126, 127, 127, 127, 126, 126, 126, 126, 126, + 126, 126, 126, 126, 128, 126, 126, 111, 195, 196, + 145, 126, 126, 126, 126, 136, 136, 135, 135, 135, + 136, 136, 136, 136, 135, 135, 135, 115, 135, 135, + 135, 111, 114, 569, 126, 130, 126, 136, 136, 136, + 136, 95, 135, 135, 135, 136, 136, 135, 135, 135, + 116, 149, 181, 696, 135, 135, 135, 677, 150, 207, + 208, 183, 126, 126, 131, 136, 136, 132, 132, 132, + 132, 133, 111, 90, 542, 135, 135, 328, 82, 117, + 147, 143, 125, 151, 664, 92, 152, 329, 125, 182, + + 153, 181, 181, 134, 329, 145, 184, 135, 135, 136, + 136, 136, 136, 136, 136, 136, 136, 136, 136, 146, + 146, 146, 146, 182, 182, 181, 181, 181, 182, 182, + 134, 82, 174, 175, 181, 181, 181, 147, 82, 176, + 165, 182, 182, 150, 181, 181, 181, 182, 182, 166, + 150, 181, 181, 181, 182, 182, 82, 274, 275, 182, + 182, 181, 181, 181, 181, 181, 181, 670, 150, 185, + 182, 182, 167, 193, 307, 147, 95, 95, 96, 181, + 181, 181, 661, 82, 81, 81, 81, 81, 154, 98, + 99, 155, 155, 155, 155, 156, 195, 308, 188, 157, + + 157, 157, 157, 157, 157, 157, 157, 149, 157, 149, + 149, 157, 157, 157, 149, 149, 157, 149, 95, 95, + 95, 157, 157, 157, 157, 157, 157, 157, 157, 157, + 157, 157, 157, 149, 157, 157, 157, 157, 157, 149, + 149, 149, 149, 149, 149, 149, 82, 195, 308, 105, + 241, 159, 82, 107, 160, 160, 160, 160, 161, 182, + 182, 105, 182, 182, 150, 310, 311, 181, 181, 181, + 82, 82, 181, 181, 374, 186, 168, 95, 95, 95, + 159, 130, 150, 150, 162, 162, 162, 162, 162, 162, + 162, 162, 162, 162, 162, 162, 225, 225, 225, 225, + + 82, 104, 225, 225, 225, 225, 669, 159, 82, 173, + 111, 82, 150, 177, 145, 82, 178, 178, 178, 178, + 179, 375, 187, 150, 417, 190, 193, 150, 146, 146, + 146, 146, 230, 197, 197, 197, 197, 198, 225, 225, + 225, 225, 180, 284, 274, 275, 181, 181, 182, 182, + 182, 182, 182, 182, 182, 182, 182, 182, 95, 467, + 189, 176, 95, 95, 95, 82, 82, 176, 82, 180, + 696, 226, 231, 227, 212, 696, 213, 150, 150, 228, + 657, 214, 229, 104, 147, 109, 418, 107, 202, 202, + 202, 202, 109, 226, 271, 227, 225, 225, 225, 225, + + 82, 348, 228, 255, 255, 255, 255, 229, 225, 225, + 225, 225, 150, 664, 109, 348, 348, 291, 203, 203, + 203, 203, 203, 203, 203, 203, 203, 203, 203, 203, + 225, 225, 225, 225, 239, 358, 225, 225, 225, 225, + 637, 109, 219, 219, 219, 219, 219, 219, 219, 219, + 219, 219, 219, 219, 221, 82, 662, 235, 284, 346, + 216, 222, 217, 269, 270, 360, 130, 150, 82, 255, + 255, 255, 255, 255, 255, 255, 255, 381, 237, 240, + 150, 433, 347, 221, 310, 311, 382, 223, 223, 223, + 223, 223, 223, 223, 223, 223, 223, 223, 223, 259, + + 280, 280, 280, 280, 347, 361, 283, 260, 310, 311, + 221, 126, 127, 127, 127, 126, 126, 126, 126, 126, + 126, 126, 126, 126, 126, 126, 126, 145, 82, 104, + 591, 126, 126, 126, 126, 423, 271, 434, 82, 82, + 150, 146, 146, 146, 146, 264, 272, 145, 323, 424, + 150, 150, 82, 82, 126, 130, 126, 661, 305, 280, + 280, 280, 280, 658, 150, 150, 280, 280, 280, 280, + 280, 280, 280, 280, 280, 280, 280, 280, 280, 280, + 280, 280, 126, 126, 126, 242, 242, 242, 243, 281, + 126, 126, 126, 126, 126, 126, 286, 147, 126, 126, + + 282, 82, 82, 82, 126, 126, 104, 126, 285, 280, + 280, 280, 280, 150, 150, 150, 290, 147, 435, 286, + 327, 82, 288, 82, 374, 82, 82, 126, 130, 298, + 298, 298, 298, 150, 82, 150, 82, 150, 150, 289, + 435, 385, 298, 298, 298, 298, 150, 104, 150, 304, + 466, 436, 291, 358, 303, 126, 126, 245, 245, 245, + 245, 245, 245, 245, 245, 245, 245, 245, 245, 82, + 246, 373, 301, 437, 247, 271, 654, 82, 82, 82, + 82, 248, 288, 249, 130, 250, 250, 250, 250, 250, + 250, 250, 250, 250, 250, 250, 250, 250, 250, 250, + + 250, 250, 250, 251, 465, 623, 465, 252, 252, 252, + 252, 252, 252, 252, 252, 252, 252, 252, 252, 82, + 82, 82, 82, 82, 82, 82, 82, 82, 82, 82, + 247, 82, 135, 135, 135, 135, 135, 135, 135, 135, + 135, 135, 135, 135, 254, 330, 330, 330, 330, 542, + 378, 255, 255, 255, 255, 379, 380, 256, 543, 257, + 257, 257, 257, 257, 257, 257, 257, 257, 257, 257, + 257, 257, 257, 257, 257, 257, 257, 257, 331, 331, + 331, 331, 193, 307, 509, 258, 95, 95, 95, 312, + 312, 312, 312, 82, 332, 332, 332, 332, 149, 98, + + 654, 155, 155, 155, 155, 150, 513, 509, 419, 157, + 157, 157, 157, 157, 157, 157, 157, 149, 157, 149, + 149, 157, 157, 157, 149, 149, 157, 149, 514, 104, + 651, 157, 157, 157, 157, 157, 157, 157, 157, 157, + 157, 157, 157, 149, 157, 157, 157, 157, 157, 149, + 149, 149, 149, 149, 149, 149, 82, 82, 104, 222, + 696, 333, 333, 333, 333, 82, 222, 696, 150, 150, + 420, 193, 307, 298, 298, 298, 298, 150, 197, 197, + 197, 197, 198, 334, 334, 334, 334, 456, 222, 696, + 365, 365, 365, 365, 276, 276, 276, 276, 276, 276, + + 276, 276, 276, 276, 276, 276, 277, 302, 386, 242, + 242, 242, 243, 278, 402, 222, 696, 387, 415, 415, + 415, 415, 222, 444, 82, 318, 318, 318, 318, 222, + 333, 333, 333, 333, 457, 277, 150, 360, 337, 279, + 279, 279, 279, 279, 279, 279, 279, 279, 279, 279, + 279, 222, 130, 212, 130, 213, 333, 333, 333, 333, + 214, 649, 277, 292, 292, 292, 292, 292, 292, 292, + 292, 292, 292, 292, 292, 82, 246, 361, 222, 353, + 293, 218, 218, 149, 149, 149, 149, 294, 343, 249, + 648, 295, 295, 295, 295, 295, 295, 295, 295, 295, + + 295, 295, 295, 295, 295, 295, 295, 295, 295, 296, + 445, 445, 445, 297, 297, 297, 297, 297, 297, 297, + 297, 297, 297, 297, 297, 149, 149, 149, 149, 149, + 149, 149, 149, 149, 149, 149, 293, 149, 181, 181, + 181, 181, 181, 181, 181, 181, 181, 181, 181, 181, + 82, 254, 450, 446, 444, 149, 220, 220, 298, 298, + 298, 298, 150, 647, 256, 451, 299, 299, 299, 299, + 299, 299, 299, 299, 299, 299, 299, 299, 299, 299, + 299, 299, 299, 299, 299, 519, 647, 104, 149, 149, + 149, 149, 300, 149, 149, 149, 149, 149, 149, 149, + + 149, 149, 149, 149, 149, 149, 149, 149, 149, 149, + 149, 149, 149, 223, 223, 223, 223, 223, 223, 223, + 223, 223, 223, 223, 223, 335, 426, 426, 426, 426, + 456, 104, 336, 369, 337, 254, 608, 82, 333, 333, + 333, 333, 366, 366, 366, 366, 370, 104, 256, 150, + 449, 449, 449, 449, 335, 530, 384, 530, 338, 338, + 338, 338, 338, 338, 338, 338, 338, 338, 338, 338, + 344, 644, 82, 643, 454, 104, 368, 455, 82, 398, + 665, 335, 354, 354, 150, 354, 354, 354, 354, 354, + 150, 354, 354, 354, 354, 568, 354, 354, 82, 696, + + 696, 145, 354, 354, 354, 354, 696, 696, 696, 696, + 150, 82, 696, 696, 397, 377, 377, 377, 377, 388, + 388, 388, 388, 150, 82, 354, 354, 354, 397, 397, + 82, 82, 389, 389, 389, 389, 150, 532, 395, 82, + 696, 145, 150, 150, 400, 425, 356, 389, 389, 389, + 389, 150, 411, 354, 354, 126, 242, 242, 242, 243, + 641, 126, 126, 126, 126, 126, 126, 104, 346, 126, + 126, 147, 82, 82, 82, 126, 126, 104, 126, 393, + 389, 389, 389, 389, 150, 150, 150, 104, 82, 82, + 82, 396, 364, 399, 410, 82, 82, 373, 126, 130, + + 150, 150, 150, 640, 193, 485, 82, 150, 150, 486, + 635, 147, 394, 396, 389, 389, 389, 389, 150, 609, + 634, 82, 82, 401, 696, 369, 126, 126, 254, 406, + 406, 406, 406, 150, 150, 696, 393, 696, 696, 622, + 592, 256, 696, 257, 257, 257, 257, 257, 257, 257, + 257, 257, 257, 257, 257, 257, 257, 257, 257, 257, + 257, 257, 394, 402, 696, 696, 696, 617, 511, 258, + 252, 252, 252, 252, 252, 252, 252, 252, 252, 252, + 252, 252, 369, 421, 82, 224, 224, 329, 104, 617, + 374, 696, 421, 511, 329, 370, 150, 371, 371, 371, + + 371, 371, 371, 371, 371, 371, 371, 371, 371, 371, + 371, 371, 371, 371, 371, 371, 253, 253, 193, 307, + 104, 82, 336, 372, 82, 414, 414, 414, 414, 336, + 90, 337, 336, 150, 82, 633, 150, 409, 461, 336, + 460, 696, 92, 636, 82, 422, 150, 94, 462, 145, + 99, 336, 271, 104, 422, 101, 150, 445, 445, 445, + 483, 336, 279, 279, 279, 279, 279, 279, 279, 279, + 279, 279, 279, 279, 390, 82, 531, 450, 336, 82, + 632, 391, 469, 337, 82, 450, 502, 150, 336, 82, + 696, 150, 82, 82, 82, 82, 104, 629, 451, 503, + + 446, 650, 472, 390, 520, 520, 520, 392, 392, 392, + 392, 392, 392, 392, 392, 392, 392, 392, 392, 147, + 628, 82, 621, 470, 473, 487, 487, 487, 487, 620, + 390, 354, 354, 150, 354, 354, 354, 354, 354, 355, + 354, 354, 354, 354, 145, 354, 354, 521, 671, 696, + 271, 404, 354, 354, 354, 82, 82, 82, 459, 459, + 459, 459, 696, 468, 468, 468, 468, 150, 150, 150, + 82, 616, 500, 145, 354, 354, 354, 82, 82, 455, + 523, 599, 150, 433, 501, 525, 104, 82, 82, 150, + 150, 111, 433, 456, 82, 405, 82, 82, 478, 150, + + 150, 477, 354, 354, 82, 254, 150, 82, 150, 150, + 363, 363, 479, 615, 147, 542, 150, 104, 256, 150, + 299, 299, 299, 299, 299, 299, 299, 299, 299, 299, + 299, 299, 299, 299, 299, 299, 299, 299, 299, 471, + 482, 675, 617, 526, 618, 538, 300, 297, 297, 297, + 297, 297, 297, 297, 297, 297, 297, 297, 297, 369, + 145, 530, 384, 530, 617, 650, 619, 607, 606, 605, + 601, 541, 370, 625, 407, 407, 407, 407, 407, 407, + 407, 407, 407, 407, 407, 407, 407, 407, 407, 407, + 407, 407, 407, 601, 600, 626, 582, 659, 597, 617, + + 408, 338, 338, 338, 338, 338, 338, 338, 338, 338, + 338, 338, 338, 438, 438, 510, 438, 438, 438, 438, + 438, 617, 438, 438, 438, 438, 502, 438, 438, 82, + 147, 82, 547, 438, 438, 438, 438, 82, 450, 696, + 476, 150, 149, 150, 511, 149, 149, 149, 149, 150, + 82, 451, 82, 512, 476, 476, 438, 438, 438, 596, + 82, 551, 150, 440, 150, 384, 111, 590, 562, 511, + 535, 82, 150, 536, 589, 552, 82, 440, 440, 534, + 598, 271, 563, 150, 438, 438, 354, 354, 150, 354, + 354, 354, 354, 354, 599, 354, 354, 354, 354, 624, + + 354, 354, 534, 617, 193, 307, 354, 354, 354, 354, + 539, 544, 544, 544, 544, 82, 82, 548, 520, 520, + 520, 145, 82, 659, 617, 617, 617, 150, 150, 354, + 354, 354, 571, 82, 150, 565, 565, 565, 565, 82, + 679, 145, 588, 82, 82, 150, 617, 563, 617, 587, + 587, 150, 576, 570, 185, 150, 150, 354, 354, 354, + 354, 521, 354, 354, 354, 354, 354, 586, 354, 354, + 354, 354, 82, 354, 354, 573, 82, 575, 82, 354, + 354, 354, 354, 656, 150, 193, 485, 585, 150, 574, + 150, 147, 544, 544, 544, 544, 82, 657, 145, 593, + + 617, 584, 354, 354, 354, 145, 145, 593, 150, 145, + 263, 147, 565, 565, 565, 565, 595, 614, 583, 574, + 627, 555, 617, 679, 555, 582, 552, 581, 646, 594, + 354, 354, 392, 392, 392, 392, 392, 392, 392, 392, + 392, 392, 392, 392, 438, 438, 580, 438, 438, 438, + 438, 438, 439, 438, 438, 438, 438, 82, 438, 438, + 145, 579, 384, 384, 475, 438, 438, 438, 526, 150, + 578, 642, 548, 617, 630, 147, 147, 577, 645, 147, + 617, 145, 384, 384, 384, 567, 145, 438, 438, 438, + 639, 639, 655, 263, 476, 617, 631, 668, 679, 613, + + 145, 566, 617, 265, 455, 384, 523, 384, 476, 476, + 564, 673, 639, 639, 384, 438, 438, 354, 354, 384, + 354, 354, 354, 354, 354, 355, 354, 354, 354, 354, + 147, 354, 354, 639, 561, 639, 652, 404, 354, 354, + 354, 560, 639, 559, 558, 557, 556, 639, 555, 139, + 553, 147, 666, 384, 145, 639, 147, 639, 653, 384, + 354, 354, 354, 667, 639, 676, 679, 679, 694, 639, + 147, 679, 679, 679, 679, 679, 550, 680, 681, 672, + 549, 639, 682, 683, 684, 685, 686, 639, 354, 354, + 354, 354, 548, 354, 354, 354, 354, 354, 355, 354, + + 354, 354, 354, 639, 354, 354, 547, 672, 546, 639, + 404, 354, 354, 354, 499, 499, 497, 497, 495, 495, + 493, 493, 491, 491, 147, 489, 489, 384, 537, 679, + 528, 527, 216, 354, 354, 354, 263, 263, 209, 373, + 687, 263, 263, 263, 263, 263, 679, 524, 455, 523, + 448, 111, 518, 679, 679, 679, 679, 688, 679, 517, + 516, 354, 354, 502, 689, 690, 691, 692, 515, 693, + 433, 111, 508, 507, 506, 505, 503, 424, 504, 504, + 504, 504, 504, 504, 504, 504, 504, 504, 504, 504, + 504, 504, 504, 504, 504, 504, 504, 438, 438, 263, + + 438, 438, 438, 438, 438, 499, 438, 438, 438, 438, + 497, 438, 438, 495, 493, 491, 263, 438, 438, 438, + 438, 489, 425, 263, 263, 263, 263, 196, 263, 484, + 480, 268, 384, 464, 463, 86, 210, 458, 455, 373, + 438, 438, 438, 364, 448, 443, 442, 441, 210, 432, + 431, 430, 429, 428, 427, 337, 425, 337, 216, 216, + 210, 209, 209, 209, 316, 316, 314, 314, 438, 438, + 438, 438, 196, 438, 438, 438, 438, 438, 412, 438, + 438, 438, 438, 364, 438, 438, 268, 268, 267, 384, + 438, 438, 438, 438, 267, 353, 376, 344, 343, 373, + + 254, 364, 364, 246, 352, 351, 350, 349, 345, 342, + 341, 340, 339, 438, 438, 438, 327, 327, 326, 325, + 440, 324, 323, 323, 322, 321, 320, 319, 316, 314, + 307, 306, 268, 287, 440, 440, 268, 268, 267, 265, + 263, 438, 438, 82, 502, 262, 237, 210, 261, 235, + 130, 240, 238, 210, 236, 150, 234, 503, 233, 533, + 533, 533, 533, 533, 533, 533, 533, 533, 533, 533, + 533, 533, 533, 533, 533, 533, 533, 533, 438, 438, + 233, 438, 438, 438, 438, 438, 439, 438, 438, 438, + 438, 232, 438, 438, 104, 216, 215, 209, 475, 438, + + 438, 438, 210, 209, 201, 193, 191, 173, 172, 169, + 168, 165, 164, 148, 122, 142, 139, 122, 121, 118, + 117, 438, 438, 438, 114, 113, 104, 86, 696, 696, + 696, 696, 696, 696, 696, 696, 696, 696, 696, 696, + 696, 696, 696, 696, 696, 696, 696, 696, 696, 438, + 438, 602, 602, 696, 602, 602, 602, 602, 602, 696, + 602, 602, 602, 602, 696, 602, 602, 696, 696, 696, + 696, 602, 602, 602, 602, 696, 696, 696, 696, 696, + 696, 604, 696, 696, 696, 696, 696, 696, 696, 696, + 696, 696, 696, 696, 602, 602, 602, 696, 696, 696, + + 696, 696, 696, 604, 696, 696, 696, 696, 696, 696, + 696, 696, 696, 696, 696, 696, 696, 696, 696, 696, + 696, 696, 602, 602, 602, 602, 696, 602, 602, 602, + 602, 602, 603, 602, 602, 602, 602, 696, 602, 602, + 696, 696, 696, 696, 611, 602, 602, 602, 696, 696, + 696, 696, 696, 696, 612, 696, 696, 696, 696, 696, + 696, 696, 696, 696, 696, 696, 696, 602, 602, 602, + 696, 696, 696, 696, 696, 696, 612, 696, 696, 696, + 696, 696, 696, 696, 696, 696, 696, 696, 696, 696, + 696, 696, 696, 696, 696, 602, 602, 602, 602, 696, + + 602, 602, 602, 602, 602, 696, 602, 602, 602, 602, + 696, 602, 602, 696, 696, 696, 696, 602, 602, 602, + 602, 696, 696, 696, 696, 696, 696, 604, 696, 696, + 696, 696, 696, 696, 696, 696, 696, 696, 696, 696, + 602, 602, 602, 696, 696, 696, 696, 696, 696, 604, + 696, 696, 696, 696, 696, 696, 696, 696, 696, 696, + 696, 696, 696, 696, 696, 696, 696, 696, 602, 602, + 602, 602, 696, 602, 602, 602, 602, 602, 603, 602, + 602, 602, 602, 696, 602, 602, 696, 696, 696, 696, + 611, 602, 602, 602, 696, 696, 696, 696, 696, 696, + + 612, 696, 696, 696, 696, 696, 696, 696, 696, 696, + 696, 696, 696, 602, 602, 602, 696, 696, 696, 696, + 696, 696, 612, 696, 696, 696, 696, 696, 696, 696, + 696, 696, 696, 696, 696, 696, 696, 696, 696, 696, + 696, 602, 602, 82, 696, 696, 696, 82, 82, 696, + 696, 82, 82, 82, 82, 82, 82, 82, 82, 83, + 83, 83, 83, 83, 696, 83, 83, 83, 83, 83, + 83, 83, 83, 83, 83, 83, 83, 83, 89, 89, + 696, 696, 696, 89, 89, 89, 103, 103, 103, 103, + 103, 103, 103, 103, 103, 103, 103, 103, 103, 103, + + 103, 103, 103, 103, 103, 129, 129, 129, 129, 129, + 129, 129, 129, 129, 129, 129, 129, 129, 129, 129, + 129, 129, 129, 129, 144, 144, 144, 144, 144, 144, + 144, 144, 144, 144, 144, 144, 144, 144, 144, 144, + 144, 144, 144, 149, 696, 696, 696, 149, 149, 149, + 696, 149, 149, 149, 149, 149, 149, 149, 149, 192, + 192, 192, 192, 192, 696, 192, 192, 192, 192, 192, + 192, 192, 192, 192, 192, 192, 192, 192, 194, 194, + 194, 194, 194, 194, 194, 194, 194, 194, 194, 194, + 194, 194, 194, 194, 194, 194, 194, 211, 211, 696, + + 696, 696, 696, 696, 696, 696, 696, 211, 696, 696, + 211, 211, 696, 211, 126, 126, 126, 126, 126, 126, + 126, 126, 126, 126, 126, 126, 126, 126, 126, 126, + 126, 126, 126, 244, 244, 244, 244, 244, 244, 244, + 244, 244, 244, 244, 244, 244, 244, 244, 244, 244, + 244, 244, 145, 145, 145, 145, 145, 145, 145, 145, + 145, 145, 145, 145, 145, 145, 145, 145, 145, 145, + 145, 266, 266, 266, 266, 266, 266, 266, 266, 266, + 266, 266, 266, 266, 266, 266, 266, 266, 266, 266, + 273, 273, 273, 273, 273, 273, 273, 273, 273, 273, + + 273, 273, 273, 273, 273, 273, 273, 273, 273, 192, + 192, 192, 192, 192, 192, 192, 192, 192, 192, 192, + 192, 192, 192, 192, 192, 192, 192, 192, 194, 194, + 194, 194, 194, 194, 194, 194, 194, 194, 194, 194, + 194, 194, 194, 194, 194, 194, 194, 195, 195, 195, + 195, 195, 195, 195, 195, 195, 195, 195, 195, 195, + 195, 195, 195, 195, 195, 195, 309, 309, 309, 309, + 309, 309, 309, 309, 309, 309, 309, 309, 309, 309, + 309, 309, 309, 309, 309, 313, 313, 696, 313, 313, + 313, 313, 313, 313, 313, 313, 313, 313, 313, 313, - 710, 710, 710, 710, 710, 710, 710, 710, 710, 710, - 710, 710, 710, 710, 616, 616, 616, 710, 710, 710, - 710, 710, 710, 626, 710, 710, 710, 710, 710, 710, - 710, 710, 710, 710, 710, 710, 710, 710, 616, 616, - 616, 616, 710, 616, 616, 616, 616, 616, 710, 616, - 616, 616, 616, 710, 616, 616, 710, 710, 710, 710, - 710, 616, 616, 616, 616, 710, 710, 710, 710, 710, - 710, 618, 710, 710, 710, 710, 710, 710, 710, 710, - 710, 710, 710, 710, 710, 710, 616, 616, 616, 710, - 710, 710, 710, 710, 710, 618, 710, 710, 710, 710, + 313, 313, 313, 313, 315, 315, 696, 315, 315, 315, + 315, 315, 315, 315, 315, 315, 315, 315, 315, 315, + 315, 315, 315, 317, 696, 317, 696, 696, 696, 317, + 317, 317, 696, 696, 317, 355, 355, 696, 355, 355, + 355, 355, 355, 355, 355, 355, 355, 355, 355, 355, + 355, 355, 355, 355, 357, 357, 357, 357, 357, 357, + 357, 357, 357, 357, 357, 357, 357, 357, 357, 357, + 357, 357, 357, 126, 126, 126, 126, 126, 126, 126, + 126, 126, 126, 126, 126, 126, 126, 126, 126, 126, + 126, 126, 359, 359, 359, 359, 359, 359, 359, 359, - 710, 710, 710, 710, 710, 710, 710, 710, 710, 710, - 616, 616, 616, 616, 710, 616, 616, 616, 616, 616, - 617, 616, 616, 616, 616, 710, 616, 616, 710, 710, - 710, 710, 710, 625, 616, 616, 616, 710, 710, 710, - 710, 710, 710, 626, 710, 710, 710, 710, 710, 710, - 710, 710, 710, 710, 710, 710, 710, 710, 616, 616, - 616, 710, 710, 710, 710, 710, 710, 626, 710, 710, - 710, 710, 710, 710, 710, 710, 710, 710, 710, 710, - 710, 710, 616, 616, 70, 710, 710, 70, 70, 710, - 710, 70, 70, 70, 70, 70, 71, 71, 71, 71, - - 71, 710, 71, 71, 71, 71, 71, 71, 71, 71, - 71, 90, 90, 90, 90, 90, 90, 90, 90, 90, - 90, 90, 90, 90, 90, 90, 116, 116, 116, 116, - 116, 116, 116, 116, 116, 116, 116, 116, 116, 116, - 116, 133, 133, 133, 133, 133, 133, 133, 133, 133, - 133, 133, 133, 133, 133, 133, 138, 710, 710, 138, - 138, 138, 710, 138, 138, 138, 138, 138, 183, 183, - 183, 183, 183, 710, 183, 183, 183, 183, 183, 183, - 183, 183, 183, 185, 185, 185, 185, 185, 185, 185, - 185, 185, 185, 185, 185, 185, 185, 185, 200, 200, - - 710, 710, 710, 710, 710, 710, 710, 200, 200, 200, - 200, 200, 113, 113, 113, 113, 113, 113, 113, 113, - 113, 113, 113, 113, 113, 113, 113, 234, 234, 234, - 234, 234, 234, 234, 234, 234, 234, 234, 234, 234, - 234, 234, 134, 134, 134, 134, 134, 134, 134, 134, - 134, 134, 134, 134, 134, 134, 134, 263, 263, 263, - 263, 263, 263, 263, 263, 263, 263, 263, 263, 263, - 263, 263, 270, 270, 270, 270, 270, 270, 270, 270, - 270, 270, 270, 270, 270, 270, 270, 185, 185, 185, - 185, 185, 185, 185, 185, 185, 185, 185, 185, 185, - - 185, 185, 186, 186, 186, 186, 186, 186, 186, 186, - 186, 186, 186, 186, 186, 186, 186, 313, 313, 313, + 359, 359, 359, 359, 359, 359, 359, 359, 359, 359, + 359, 244, 244, 244, 244, 244, 244, 244, 244, 244, + 244, 244, 244, 244, 244, 244, 244, 244, 244, 244, + 362, 362, 362, 367, 696, 696, 696, 367, 696, 367, + 367, 367, 367, 696, 367, 266, 266, 266, 266, 266, + 266, 266, 266, 266, 266, 266, 266, 266, 266, 266, + 266, 266, 266, 266, 383, 383, 383, 383, 383, 383, + 383, 383, 383, 383, 383, 383, 383, 383, 383, 383, + 383, 383, 383, 149, 696, 696, 696, 149, 149, 149, + 696, 149, 149, 149, 149, 149, 149, 149, 149, 273, + + 273, 273, 273, 273, 273, 273, 273, 273, 273, 273, + 273, 273, 273, 273, 273, 273, 273, 273, 103, 103, + 103, 103, 103, 103, 103, 103, 103, 103, 103, 103, + 103, 103, 103, 103, 103, 103, 103, 403, 403, 696, + 403, 403, 403, 403, 403, 403, 403, 403, 403, 403, + 403, 403, 403, 403, 403, 403, 309, 309, 309, 309, + 309, 309, 309, 309, 309, 309, 309, 309, 309, 309, + 309, 309, 309, 309, 309, 413, 413, 413, 413, 696, + 413, 413, 413, 413, 413, 413, 413, 413, 413, 413, + 413, 413, 413, 413, 192, 192, 192, 192, 192, 192, + + 192, 192, 192, 192, 192, 192, 192, 192, 192, 192, + 192, 192, 192, 313, 313, 696, 313, 313, 313, 313, 313, 313, 313, 313, 313, 313, 313, 313, 313, 313, - 313, 313, 317, 317, 710, 317, 317, 317, 317, 317, - 317, 317, 317, 317, 317, 317, 317, 319, 319, 710, - 319, 319, 319, 319, 319, 319, 319, 319, 319, 319, - 319, 319, 357, 357, 710, 357, 357, 357, 357, 357, - 357, 357, 357, 357, 357, 357, 357, 359, 359, 359, + 313, 313, 315, 315, 696, 315, 315, 315, 315, 315, + 315, 315, 315, 315, 315, 315, 315, 315, 315, 315, + 315, 416, 696, 416, 416, 696, 696, 416, 416, 416, + 696, 696, 416, 439, 439, 696, 439, 439, 439, 439, + 439, 439, 439, 439, 439, 439, 439, 439, 439, 439, + 439, 439, 354, 354, 696, 354, 354, 354, 354, 354, + 354, 354, 354, 354, 354, 354, 354, 354, 354, 354, + + 354, 355, 355, 696, 355, 355, 355, 355, 355, 355, + 355, 355, 355, 355, 355, 355, 355, 355, 355, 355, + 357, 357, 357, 357, 357, 357, 357, 357, 357, 357, + 357, 357, 357, 357, 357, 357, 357, 357, 357, 359, 359, 359, 359, 359, 359, 359, 359, 359, 359, 359, - 359, 359, 113, 113, 113, 113, 113, 113, 113, 113, - - 113, 113, 113, 113, 113, 113, 113, 361, 361, 361, - 361, 361, 361, 361, 361, 361, 361, 361, 361, 361, - 361, 361, 234, 234, 234, 234, 234, 234, 234, 234, - 234, 234, 234, 234, 234, 234, 234, 369, 710, 710, - 369, 710, 369, 369, 710, 710, 369, 369, 263, 263, - 263, 263, 263, 263, 263, 263, 263, 263, 263, 263, - 263, 263, 263, 391, 391, 391, 391, 391, 391, 391, - 391, 391, 391, 391, 391, 391, 391, 391, 270, 270, - 270, 270, 270, 270, 270, 270, 270, 270, 270, 270, - 270, 270, 270, 90, 90, 90, 90, 90, 90, 90, - - 90, 90, 90, 90, 90, 90, 90, 90, 411, 411, - 710, 411, 411, 411, 411, 411, 411, 411, 411, 411, - 411, 411, 411, 313, 313, 313, 313, 313, 313, 313, - 313, 313, 313, 313, 313, 313, 313, 313, 425, 425, - 425, 425, 710, 425, 425, 425, 425, 425, 425, 425, - 425, 425, 425, 183, 183, 183, 183, 183, 183, 183, - 183, 183, 183, 183, 183, 183, 183, 183, 317, 317, - 710, 317, 317, 317, 317, 317, 317, 317, 317, 317, - 317, 317, 317, 319, 319, 710, 319, 319, 319, 319, - 319, 319, 319, 319, 319, 319, 319, 319, 439, 710, - - 439, 710, 710, 710, 439, 439, 439, 450, 450, 710, - 450, 450, 450, 450, 450, 450, 450, 450, 450, 450, - 450, 450, 356, 356, 710, 356, 356, 356, 356, 356, - 356, 356, 356, 356, 356, 356, 356, 357, 357, 710, + 359, 359, 359, 359, 359, 359, 359, 359, 126, 126, + 126, 126, 126, 126, 126, 126, 126, 126, 126, 126, + 126, 126, 126, 126, 126, 126, 126, 447, 447, 447, + 447, 447, 447, 447, 447, 447, 447, 447, 447, 447, + 447, 447, 447, 447, 447, 447, 452, 452, 696, 696, + + 452, 452, 696, 452, 452, 452, 452, 452, 452, 452, + 452, 452, 453, 696, 696, 696, 696, 696, 453, 453, + 453, 453, 696, 453, 383, 383, 383, 383, 383, 383, + 383, 383, 383, 383, 383, 383, 383, 383, 383, 383, + 383, 383, 383, 103, 103, 103, 103, 103, 103, 103, + 103, 103, 103, 103, 103, 103, 103, 103, 103, 103, + 103, 103, 474, 474, 696, 474, 474, 474, 474, 474, + 474, 474, 474, 474, 474, 474, 474, 474, 474, 474, + 474, 403, 403, 696, 403, 403, 403, 403, 403, 403, + 403, 403, 403, 403, 403, 403, 403, 403, 403, 403, + + 481, 481, 696, 696, 481, 481, 481, 481, 481, 481, + 481, 481, 481, 481, 481, 481, 413, 413, 413, 413, + 696, 413, 413, 413, 413, 413, 413, 413, 413, 413, + 413, 413, 413, 413, 413, 192, 192, 192, 192, 192, + 192, 192, 192, 192, 192, 192, 192, 192, 192, 192, + 192, 192, 192, 192, 488, 488, 696, 488, 488, 488, + 488, 488, 488, 488, 488, 488, 488, 488, 488, 488, + 488, 488, 488, 490, 490, 696, 490, 490, 490, 490, + 490, 490, 490, 490, 490, 490, 490, 490, 490, 490, + 490, 490, 492, 492, 696, 492, 492, 492, 492, 492, + + 492, 492, 492, 492, 492, 492, 492, 492, 492, 492, + 492, 494, 494, 696, 494, 494, 494, 494, 494, 494, + 494, 494, 494, 494, 494, 494, 494, 494, 494, 494, + 496, 496, 696, 496, 496, 496, 496, 496, 496, 496, + 496, 496, 496, 496, 496, 496, 496, 496, 496, 498, + 498, 696, 498, 498, 498, 498, 498, 498, 498, 498, + 498, 498, 498, 498, 498, 498, 498, 498, 438, 438, + 696, 438, 438, 438, 438, 438, 438, 438, 438, 438, + 438, 438, 438, 438, 438, 438, 438, 439, 439, 696, + 439, 439, 439, 439, 439, 439, 439, 439, 439, 439, + + 439, 439, 439, 439, 439, 439, 357, 357, 357, 357, 357, 357, 357, 357, 357, 357, 357, 357, 357, 357, - 357, 357, 359, 359, 359, 359, 359, 359, 359, 359, - 359, 359, 359, 359, 359, 359, 359, 361, 361, 361, - 361, 361, 361, 361, 361, 361, 361, 361, 361, 361, - 361, 361, 113, 113, 113, 113, 113, 113, 113, 113, - 113, 113, 113, 113, 113, 113, 113, 458, 458, 458, - - 458, 458, 458, 458, 458, 458, 458, 458, 458, 458, - 458, 458, 464, 710, 710, 710, 710, 464, 464, 710, - 710, 464, 464, 391, 391, 391, 391, 391, 391, 391, - 391, 391, 391, 391, 391, 391, 391, 391, 90, 90, - 90, 90, 90, 90, 90, 90, 90, 90, 90, 90, - 90, 90, 90, 487, 487, 710, 487, 487, 487, 487, - 487, 487, 487, 487, 487, 487, 487, 487, 411, 411, - 710, 411, 411, 411, 411, 411, 411, 411, 411, 411, - 411, 411, 411, 425, 425, 425, 425, 710, 425, 425, - 425, 425, 425, 425, 425, 425, 425, 425, 183, 183, - - 183, 183, 183, 183, 183, 183, 183, 183, 183, 183, - 183, 183, 183, 500, 500, 710, 500, 500, 500, 500, - 500, 500, 500, 500, 500, 500, 500, 500, 502, 502, - 710, 502, 502, 502, 502, 502, 502, 502, 502, 502, - 502, 502, 502, 504, 504, 710, 504, 504, 504, 504, - 504, 504, 504, 504, 504, 504, 504, 504, 506, 506, - 710, 506, 506, 506, 506, 506, 506, 506, 506, 506, - 506, 506, 506, 508, 508, 710, 508, 508, 508, 508, - 508, 508, 508, 508, 508, 508, 508, 508, 510, 510, - 710, 510, 510, 510, 510, 510, 510, 510, 510, 510, - - 510, 510, 510, 449, 449, 710, 449, 449, 449, 449, - 449, 449, 449, 449, 449, 449, 449, 449, 450, 450, - 710, 450, 450, 450, 450, 450, 450, 450, 450, 450, - 450, 450, 450, 359, 359, 359, 359, 359, 359, 359, - 359, 359, 359, 359, 359, 359, 359, 359, 113, 113, - 113, 113, 113, 113, 113, 113, 113, 113, 113, 113, - 113, 113, 113, 458, 458, 458, 458, 458, 458, 458, - 458, 458, 458, 458, 458, 458, 458, 458, 535, 710, - 710, 710, 710, 535, 535, 710, 710, 535, 543, 543, - 543, 543, 543, 543, 543, 543, 543, 543, 543, 543, - - 543, 543, 543, 90, 90, 90, 90, 90, 90, 90, - 90, 90, 90, 90, 90, 90, 90, 90, 487, 487, - 710, 487, 487, 487, 487, 487, 487, 487, 487, 487, - 487, 487, 487, 554, 554, 554, 554, 554, 554, 554, - 554, 554, 554, 554, 554, 554, 554, 554, 566, 710, - 710, 710, 710, 566, 566, 710, 710, 566, 568, 568, - 710, 568, 568, 568, 568, 568, 568, 568, 568, 568, - 568, 568, 568, 586, 586, 586, 586, 586, 586, 586, - 586, 586, 586, 586, 586, 586, 586, 586, 617, 617, - 710, 617, 617, 617, 617, 617, 617, 617, 617, 617, - - 617, 617, 617, 624, 624, 710, 624, 624, 624, 624, - 624, 624, 624, 624, 624, 624, 624, 624, 616, 616, - 710, 616, 616, 616, 616, 616, 616, 616, 616, 616, - 616, 616, 616, 652, 652, 652, 652, 652, 652, 652, - 652, 652, 652, 652, 652, 652, 652, 652, 674, 674, - 674, 674, 674, 674, 674, 674, 674, 674, 674, 674, - 674, 674, 674, 677, 677, 677, 677, 677, 677, 677, - 677, 677, 677, 677, 677, 677, 677, 677, 692, 692, - 692, 692, 692, 692, 692, 692, 692, 692, 692, 692, - 692, 692, 692, 3, 710, 710, 710, 710, 710, 710, - - 710, 710, 710, 710, 710, 710, 710, 710, 710, 710, - 710, 710, 710, 710, 710, 710, 710, 710, 710, 710, - 710, 710, 710, 710, 710, 710, 710, 710, 710, 710, - 710, 710, 710, 710, 710, 710, 710, 710, 710, 710, - 710, 710, 710, 710, 710, 710, 710, 710, 710, 710, - 710, 710, 710, 710, 710, 710, 710, 710, 710, 710, - 710, 710, 710, 710, 710, 710 + 357, 357, 357, 357, 357, 126, 126, 126, 126, 126, + 126, 126, 126, 126, 126, 126, 126, 126, 126, 126, + 126, 126, 126, 126, 447, 447, 447, 447, 447, 447, + 447, 447, 447, 447, 447, 447, 447, 447, 447, 447, + 447, 447, 447, 522, 696, 696, 696, 696, 696, 522, + 522, 522, 522, 522, 522, 522, 522, 522, 529, 529, + 529, 529, 529, 529, 529, 529, 529, 529, 529, 529, + 529, 529, 529, 529, 529, 529, 529, 103, 103, 103, + + 103, 103, 103, 103, 103, 103, 103, 103, 103, 103, + 103, 103, 103, 103, 103, 103, 540, 540, 540, 540, + 540, 540, 540, 540, 540, 540, 540, 540, 540, 540, + 540, 540, 540, 540, 540, 545, 696, 696, 696, 696, + 696, 545, 545, 545, 545, 554, 554, 696, 554, 554, + 554, 554, 554, 554, 554, 554, 554, 554, 554, 554, + 554, 554, 554, 554, 572, 572, 572, 572, 572, 572, + 572, 572, 572, 572, 572, 572, 572, 572, 572, 572, + 572, 572, 572, 603, 603, 696, 603, 603, 603, 603, + 603, 603, 603, 603, 603, 603, 603, 603, 603, 603, + + 603, 603, 610, 610, 696, 610, 610, 610, 610, 610, + 610, 610, 610, 610, 610, 610, 610, 610, 610, 610, + 610, 602, 602, 696, 602, 602, 602, 602, 602, 602, + 602, 602, 602, 602, 602, 602, 602, 602, 602, 602, + 638, 638, 638, 638, 638, 638, 638, 638, 638, 638, + 638, 638, 638, 638, 638, 638, 638, 638, 638, 660, + 660, 660, 660, 660, 660, 660, 660, 660, 660, 660, + 660, 660, 660, 660, 660, 660, 660, 660, 663, 663, + 663, 663, 663, 663, 663, 663, 663, 663, 663, 663, + 663, 663, 663, 663, 663, 663, 663, 678, 678, 678, + + 678, 678, 678, 678, 678, 678, 678, 678, 678, 678, + 678, 678, 678, 678, 678, 678, 3, 696, 696, 696, + 696, 696, 696, 696, 696, 696, 696, 696, 696, 696, + 696, 696, 696, 696, 696, 696, 696, 696, 696, 696, + 696, 696, 696, 696, 696, 696, 696, 696, 696, 696, + 696, 696, 696, 696, 696, 696, 696, 696, 696, 696, + 696, 696, 696, 696, 696, 696, 696, 696, 696, 696, + 696, 696, 696, 696, 696, 696, 696, 696, 696, 696, + 696, 696, 696, 696, 696, 696, 696, 696, 696, 696 } ; -static yyconst short int yy_chk[4467] = +static yyconst short int yy_chk[4591] = { 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, @@ -1173,7 +1186,7 @@ static yyconst short int yy_chk[4467] = 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, 2, + 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, 2, 2, @@ -1181,482 +1194,495 @@ static yyconst short int yy_chk[4467] = 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, 6, - 8, 10, 10, 11, 18, 23, 708, 8, 8, 8, - 8, 8, 19, 11, 34, 11, 11, 34, 5, 34, - 36, 11, 12, 12, 12, 36, 233, 31, 18, 12, - 23, 31, 40, 19, 12, 12, 12, 12, 12, 12, - 12, 12, 12, 22, 25, 40, 12, 12, 12, 12, + 2, 2, 2, 2, 2, 2, 5, 6, 6, 6, + 6, 8, 10, 10, 11, 19, 22, 46, 8, 8, + 8, 8, 16, 156, 11, 13, 11, 11, 5, 46, + 58, 11, 12, 12, 12, 13, 156, 13, 19, 12, + 22, 694, 13, 86, 12, 12, 12, 12, 12, 12, + 12, 12, 50, 50, 58, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, - 12, 12, 12, 12, 12, 12, 12, 37, 19, 233, + 12, 12, 12, 12, 25, 28, 16, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, - 12, 13, 27, 33, 25, 33, 264, 33, 24, 22, - 25, 13, 46, 13, 264, 32, 32, 24, 32, 13, - 15, 43, 44, 44, 51, 46, 37, 72, 72, 32, - 15, 43, 15, 43, 15, 15, 15, 51, 15, 43, - 35, 15, 24, 24, 24, 24, 24, 24, 24, 24, - 47, 74, 688, 35, 60, 27, 27, 35, 60, 35, - - 46, 27, 15, 47, 35, 51, 15, 15, 15, 15, - 15, 15, 15, 15, 49, 52, 15, 28, 28, 28, - 28, 28, 28, 28, 28, 28, 28, 28, 28, 28, - 28, 28, 28, 38, 55, 49, 78, 78, 28, 28, - 28, 28, 50, 82, 82, 82, 47, 38, 38, 38, - 38, 38, 74, 65, 48, 50, 41, 57, 65, 56, - 583, 41, 57, 28, 28, 28, 41, 48, 41, 41, - 49, 52, 56, 53, 41, 57, 684, 62, 53, 62, - 86, 62, 86, 48, 55, 115, 53, 28, 28, 29, - 55, 138, 133, 29, 29, 29, 50, 29, 61, 61, - - 66, 61, 38, 53, 138, 66, 77, 48, 77, 145, - 57, 57, 61, 66, 77, 63, 57, 56, 63, 115, - 63, 29, 145, 64, 583, 29, 29, 29, 29, 29, - 29, 29, 29, 30, 147, 147, 64, 30, 30, 30, - 64, 30, 64, 83, 83, 83, 206, 64, 69, 69, - 69, 69, 69, 683, 66, 83, 206, 83, 85, 85, - 85, 133, 677, 83, 206, 30, 98, 98, 98, 30, - 30, 30, 30, 30, 30, 30, 30, 42, 42, 42, - 108, 108, 108, 676, 42, 122, 122, 122, 674, 42, - 42, 42, 42, 42, 42, 42, 42, 42, 129, 129, - - 129, 42, 42, 42, 42, 42, 42, 42, 42, 42, - 42, 42, 42, 42, 42, 42, 42, 42, 42, 42, - 42, 42, 151, 151, 151, 42, 42, 42, 42, 42, - 42, 42, 42, 42, 42, 42, 42, 42, 42, 42, - 42, 42, 42, 42, 42, 42, 45, 183, 183, 142, - 546, 45, 184, 184, 67, 327, 45, 327, 45, 672, - 45, 45, 45, 142, 45, 67, 73, 45, 67, 67, - 67, 67, 67, 73, 73, 73, 73, 73, 73, 93, - 93, 93, 93, 93, 93, 93, 93, 146, 45, 109, - 109, 109, 45, 45, 45, 45, 45, 45, 45, 45, - - 146, 141, 45, 54, 92, 546, 92, 213, 87, 141, - 54, 159, 92, 331, 141, 213, 54, 92, 87, 54, - 87, 185, 185, 67, 159, 140, 87, 331, 92, 155, - 92, 187, 187, 140, 140, 670, 92, 109, 140, 213, - 92, 159, 155, 248, 54, 54, 54, 54, 54, 54, - 54, 54, 58, 606, 130, 130, 130, 58, 177, 177, - 177, 58, 58, 58, 155, 58, 94, 94, 94, 94, - 94, 94, 94, 94, 96, 96, 96, 96, 96, 96, - 96, 96, 162, 162, 162, 211, 211, 211, 247, 58, - 130, 152, 248, 58, 58, 58, 58, 58, 58, 58, - - 58, 59, 231, 370, 152, 59, 59, 59, 606, 59, - 97, 97, 97, 97, 97, 97, 97, 97, 118, 118, - 118, 118, 118, 118, 118, 118, 212, 212, 212, 374, - 162, 247, 152, 59, 153, 154, 231, 59, 59, 59, - 59, 59, 59, 59, 59, 95, 359, 153, 154, 215, - 215, 215, 370, 95, 120, 120, 120, 120, 120, 120, - 120, 120, 121, 121, 121, 121, 121, 121, 121, 121, - 216, 216, 216, 217, 217, 217, 154, 95, 374, 153, - 359, 95, 95, 95, 95, 95, 95, 95, 95, 114, - 114, 114, 114, 114, 114, 114, 114, 114, 114, 114, - - 114, 114, 114, 114, 114, 664, 222, 235, 235, 235, - 114, 114, 114, 114, 124, 124, 124, 124, 124, 124, - 124, 124, 126, 126, 126, 126, 126, 126, 126, 126, - 222, 690, 135, 270, 270, 114, 114, 114, 127, 127, - 127, 127, 127, 127, 127, 127, 135, 135, 135, 135, - 135, 135, 312, 312, 222, 241, 241, 241, 663, 114, - 114, 116, 116, 116, 116, 116, 143, 116, 116, 116, - 116, 116, 116, 148, 143, 116, 116, 144, 157, 143, - 156, 160, 116, 116, 158, 116, 148, 144, 347, 144, - 165, 157, 164, 156, 160, 144, 395, 158, 181, 163, - - 690, 135, 274, 165, 662, 164, 348, 116, 116, 181, - 274, 160, 163, 161, 148, 148, 148, 148, 148, 148, - 148, 148, 161, 161, 161, 598, 161, 249, 249, 249, - 348, 116, 116, 119, 274, 157, 179, 119, 180, 156, - 163, 164, 158, 165, 170, 119, 347, 119, 598, 179, - 119, 180, 337, 170, 170, 170, 395, 170, 119, 223, - 337, 119, 360, 267, 119, 119, 465, 181, 267, 119, - 268, 223, 223, 119, 119, 119, 119, 119, 119, 119, - 119, 267, 119, 268, 337, 119, 242, 658, 119, 123, - 179, 178, 180, 242, 242, 242, 360, 123, 123, 123, - - 178, 178, 178, 123, 178, 394, 123, 262, 150, 252, - 252, 252, 262, 262, 123, 465, 168, 123, 280, 325, - 123, 123, 166, 166, 166, 166, 166, 166, 166, 166, - 123, 280, 479, 123, 313, 313, 178, 655, 123, 188, - 188, 123, 582, 582, 123, 125, 188, 188, 188, 188, - 188, 188, 394, 125, 150, 150, 150, 150, 150, 150, - 150, 150, 168, 168, 168, 168, 168, 168, 168, 168, - 232, 232, 232, 232, 255, 255, 255, 125, 280, 288, - 325, 125, 125, 125, 125, 125, 125, 125, 125, 128, - 479, 654, 288, 128, 128, 128, 174, 128, 169, 169, - - 169, 169, 169, 169, 169, 169, 172, 172, 172, 172, - 172, 172, 172, 172, 258, 253, 232, 258, 258, 258, - 649, 128, 253, 253, 253, 128, 128, 128, 128, 128, - 128, 128, 128, 149, 272, 361, 648, 288, 299, 299, - 299, 149, 174, 174, 174, 174, 174, 174, 174, 174, - 175, 175, 175, 175, 175, 175, 175, 175, 304, 304, - 304, 269, 349, 258, 369, 149, 269, 373, 647, 149, - 149, 149, 149, 149, 149, 149, 149, 167, 361, 269, - 266, 167, 443, 283, 278, 266, 349, 272, 392, 167, - 392, 167, 257, 266, 167, 272, 283, 278, 284, 257, - - 257, 257, 167, 284, 623, 167, 443, 369, 167, 167, - 373, 284, 286, 167, 338, 338, 338, 167, 167, 167, - 167, 167, 167, 167, 167, 286, 167, 278, 283, 167, - 189, 189, 167, 171, 171, 257, 279, 189, 189, 189, - 189, 189, 171, 171, 171, 273, 171, 298, 171, 279, - 293, 171, 293, 298, 273, 273, 273, 480, 273, 171, - 298, 286, 171, 293, 623, 171, 171, 214, 214, 214, - 214, 214, 214, 214, 214, 171, 281, 236, 171, 279, - 297, 281, 297, 171, 434, 236, 171, 497, 236, 171, - 173, 236, 236, 297, 281, 497, 434, 243, 173, 329, - - 281, 236, 298, 396, 622, 243, 243, 243, 276, 236, - 636, 243, 236, 446, 646, 236, 396, 276, 276, 276, - 480, 276, 173, 282, 281, 297, 173, 173, 173, 173, - 173, 173, 173, 173, 176, 455, 282, 446, 176, 176, - 176, 243, 176, 237, 237, 237, 237, 237, 237, 237, - 237, 238, 238, 238, 238, 238, 238, 238, 238, 622, - 329, 344, 344, 344, 643, 368, 176, 636, 282, 455, - 176, 176, 176, 176, 176, 176, 176, 176, 218, 368, - 282, 282, 365, 365, 365, 642, 218, 250, 250, 250, - 250, 250, 250, 250, 250, 251, 251, 251, 251, 251, - - 251, 251, 251, 378, 378, 378, 439, 439, 439, 368, - 218, 362, 362, 362, 218, 218, 218, 218, 218, 218, - 218, 218, 230, 230, 239, 230, 230, 230, 230, 230, - 516, 230, 230, 230, 230, 308, 230, 230, 464, 245, - 308, 239, 516, 230, 230, 230, 230, 245, 308, 239, - 245, 294, 239, 245, 245, 239, 239, 362, 246, 393, - 294, 294, 294, 245, 294, 239, 460, 393, 230, 230, - 230, 245, 393, 239, 245, 246, 239, 245, 397, 239, - 460, 464, 640, 246, 639, 275, 246, 230, 635, 246, - 246, 397, 230, 230, 234, 234, 234, 234, 234, 246, - - 234, 234, 234, 234, 234, 234, 309, 246, 234, 234, - 246, 254, 261, 246, 634, 234, 234, 309, 234, 254, - 254, 254, 478, 478, 478, 254, 261, 261, 261, 261, - 261, 275, 275, 275, 275, 275, 275, 275, 275, 287, - 234, 234, 300, 300, 300, 300, 300, 300, 300, 300, - 330, 593, 287, 471, 330, 254, 633, 545, 291, 295, - 632, 295, 330, 401, 234, 234, 244, 471, 295, 295, - 295, 291, 295, 380, 387, 309, 401, 530, 651, 651, - 244, 261, 406, 244, 387, 292, 387, 380, 630, 530, - 287, 244, 387, 301, 244, 406, 407, 244, 244, 291, - - 291, 291, 291, 291, 291, 291, 291, 244, 545, 407, - 244, 330, 593, 401, 302, 244, 417, 380, 244, 605, - 665, 244, 256, 302, 302, 302, 407, 302, 629, 417, - 256, 292, 292, 292, 292, 292, 292, 292, 292, 301, - 301, 301, 301, 301, 301, 301, 301, 383, 426, 426, - 383, 383, 383, 426, 256, 409, 621, 495, 256, 256, - 256, 256, 256, 256, 256, 256, 277, 303, 409, 303, - 495, 605, 665, 402, 277, 388, 303, 303, 303, 482, - 303, 306, 410, 306, 482, 388, 402, 388, 620, 614, - 306, 306, 306, 388, 306, 410, 383, 482, 277, 494, - - 409, 494, 277, 277, 277, 277, 277, 277, 277, 277, - 289, 289, 494, 289, 289, 289, 289, 289, 289, 289, - 289, 289, 289, 402, 289, 289, 306, 410, 650, 307, - 423, 289, 289, 289, 289, 307, 316, 316, 307, 307, - 307, 423, 307, 316, 316, 316, 316, 316, 342, 342, - 342, 342, 342, 342, 342, 342, 289, 289, 289, 343, - 343, 343, 343, 343, 343, 343, 343, 398, 398, 398, - 398, 398, 398, 398, 398, 289, 472, 612, 371, 650, - 289, 289, 290, 290, 307, 403, 371, 518, 472, 371, - 403, 484, 371, 371, 550, 290, 484, 290, 611, 423, - - 290, 518, 371, 403, 404, 372, 685, 550, 290, 484, - 371, 290, 382, 371, 290, 290, 371, 404, 496, 382, - 382, 382, 372, 610, 290, 604, 603, 290, 404, 496, - 372, 400, 290, 372, 408, 290, 372, 372, 290, 296, - 400, 400, 400, 403, 400, 472, 372, 408, 415, 491, - 415, 550, 404, 296, 372, 382, 296, 372, 399, 385, - 372, 415, 491, 685, 296, 422, 416, 296, 602, 486, - 296, 296, 416, 385, 385, 385, 385, 385, 422, 416, - 296, 408, 486, 296, 456, 456, 456, 496, 296, 483, - 474, 296, 474, 415, 296, 305, 600, 637, 474, 485, - - 599, 491, 483, 305, 399, 399, 399, 399, 399, 399, - 399, 399, 485, 420, 486, 420, 547, 483, 547, 422, - 485, 416, 420, 420, 420, 444, 420, 305, 385, 547, - 456, 305, 305, 305, 305, 305, 305, 305, 305, 350, - 350, 483, 350, 350, 350, 350, 350, 492, 350, 350, - 350, 350, 492, 350, 350, 615, 637, 444, 420, 549, - 350, 350, 350, 350, 421, 492, 444, 459, 459, 459, - 421, 490, 549, 421, 421, 421, 597, 421, 588, 615, - 444, 533, 533, 533, 490, 350, 350, 350, 499, 499, - 548, 588, 350, 549, 596, 499, 499, 499, 499, 499, - - 544, 544, 544, 548, 350, 350, 596, 595, 691, 350, - 350, 357, 357, 459, 357, 357, 357, 357, 357, 421, - 357, 357, 357, 357, 490, 357, 357, 533, 461, 689, - 519, 548, 357, 357, 357, 357, 461, 553, 519, 461, - 584, 519, 461, 461, 519, 519, 594, 592, 627, 591, - 553, 552, 461, 584, 519, 539, 555, 357, 357, 357, - 461, 627, 519, 461, 552, 519, 461, 555, 519, 539, - 539, 539, 539, 539, 584, 586, 616, 691, 553, 618, - 689, 357, 357, 358, 358, 462, 358, 358, 358, 358, - 358, 626, 358, 358, 358, 358, 552, 358, 358, 585, - - 616, 587, 462, 618, 358, 358, 358, 358, 552, 657, - 462, 520, 585, 462, 587, 626, 462, 462, 679, 692, - 581, 657, 590, 580, 539, 555, 462, 578, 520, 358, - 358, 358, 579, 590, 462, 631, 520, 462, 576, 520, - 462, 631, 520, 520, 589, 587, 579, 579, 579, 579, - 579, 609, 520, 358, 358, 367, 585, 589, 608, 631, - 520, 625, 609, 520, 638, 631, 520, 558, 558, 367, - 575, 608, 367, 679, 558, 558, 558, 558, 558, 628, - 367, 641, 659, 367, 659, 645, 367, 367, 692, 625, - 628, 590, 641, 638, 644, 656, 367, 660, 652, 644, - - 653, 579, 589, 608, 367, 680, 656, 367, 659, 645, - 367, 381, 666, 625, 645, 669, 574, 638, 644, 660, - 609, 660, 573, 653, 572, 381, 669, 652, 381, 653, - 673, 571, 680, 682, 680, 707, 381, 570, 569, 381, - 667, 666, 381, 381, 682, 568, 666, 653, 628, 566, - 641, 652, 381, 653, 673, 381, 681, 686, 680, 565, - 381, 563, 562, 381, 656, 666, 381, 405, 405, 667, - 405, 405, 405, 405, 405, 405, 405, 405, 405, 405, - 561, 405, 405, 687, 669, 681, 686, 560, 405, 405, - 405, 405, 559, 667, 687, 693, 557, 694, 667, 554, - - 695, 696, 682, 551, 707, 697, 693, 681, 694, 681, - 686, 695, 696, 405, 405, 405, 697, 543, 542, 698, - 405, 541, 540, 699, 700, 701, 538, 535, 531, 529, - 698, 528, 405, 405, 699, 700, 701, 405, 405, 411, - 411, 527, 411, 411, 411, 411, 411, 411, 411, 411, - 411, 411, 687, 411, 411, 526, 525, 524, 523, 522, - 411, 411, 411, 411, 693, 521, 694, 702, 703, 695, - 696, 704, 705, 706, 697, 517, 515, 514, 702, 703, - 513, 512, 704, 705, 706, 411, 411, 411, 698, 511, - 510, 509, 699, 700, 701, 508, 507, 506, 505, 504, - - 503, 502, 501, 500, 493, 488, 477, 476, 475, 411, - 411, 413, 413, 473, 413, 413, 413, 413, 413, 413, - 413, 413, 413, 413, 470, 413, 413, 468, 467, 463, - 458, 454, 413, 413, 413, 413, 702, 703, 453, 452, - 704, 705, 706, 448, 447, 445, 442, 438, 437, 436, - 435, 433, 432, 431, 430, 429, 428, 413, 413, 413, - 427, 425, 424, 412, 391, 390, 389, 386, 384, 376, - 375, 364, 363, 355, 354, 353, 352, 346, 345, 335, - 334, 413, 413, 414, 414, 333, 332, 328, 326, 324, - 323, 322, 321, 320, 319, 318, 414, 317, 414, 314, - - 310, 414, 271, 265, 263, 259, 240, 229, 228, 414, - 227, 225, 414, 224, 221, 414, 414, 220, 219, 210, - 209, 208, 207, 205, 204, 414, 203, 202, 201, 198, - 197, 196, 195, 414, 194, 193, 414, 191, 190, 414, - 419, 186, 182, 139, 137, 136, 134, 132, 131, 113, - 112, 111, 110, 107, 419, 106, 105, 419, 104, 103, - 102, 101, 100, 99, 90, 419, 88, 84, 419, 81, - 80, 419, 419, 79, 76, 71, 68, 39, 26, 21, - 20, 419, 17, 16, 419, 14, 9, 3, 0, 419, - 0, 0, 419, 0, 0, 419, 441, 0, 0, 0, - + 12, 12, 15, 52, 15, 86, 15, 15, 15, 15, + 15, 15, 40, 674, 15, 29, 153, 29, 29, 90, + 28, 90, 29, 670, 25, 25, 90, 35, 35, 28, + 153, 25, 55, 15, 35, 35, 35, 15, 15, 15, + 15, 15, 15, 15, 15, 15, 15, 15, 15, 31, + 31, 532, 31, 31, 31, 55, 99, 52, 99, 40, + + 15, 26, 26, 26, 26, 26, 26, 26, 26, 26, + 26, 26, 26, 26, 26, 26, 26, 63, 84, 84, + 144, 26, 26, 26, 26, 30, 30, 30, 30, 30, + 32, 32, 34, 34, 32, 32, 32, 33, 34, 34, + 34, 43, 30, 532, 26, 26, 26, 33, 33, 36, + 36, 49, 33, 33, 33, 37, 37, 36, 36, 36, + 33, 49, 63, 49, 37, 37, 37, 676, 49, 91, + 91, 63, 26, 26, 27, 38, 38, 27, 27, 27, + 27, 27, 61, 47, 669, 38, 38, 217, 47, 38, + 144, 43, 43, 47, 663, 47, 47, 217, 43, 64, + + 47, 64, 64, 27, 217, 44, 64, 27, 27, 27, + 27, 27, 27, 27, 27, 27, 27, 27, 27, 44, + 44, 44, 44, 65, 65, 65, 65, 65, 69, 69, + 27, 74, 61, 61, 69, 69, 69, 676, 149, 61, + 65, 66, 66, 74, 66, 66, 66, 67, 67, 68, + 149, 67, 67, 67, 70, 70, 76, 158, 158, 68, + 68, 70, 70, 70, 68, 68, 68, 662, 76, 74, + 72, 72, 68, 192, 192, 44, 48, 48, 48, 72, + 72, 72, 660, 48, 81, 81, 81, 81, 48, 48, + 48, 48, 48, 48, 48, 48, 193, 193, 76, 48, + + 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, + 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, 48, 48, 48, 48, 51, 194, 194, 51, + 128, 51, 77, 51, 51, 51, 51, 51, 51, 71, + 71, 51, 73, 73, 77, 196, 196, 71, 71, 71, + 75, 157, 73, 73, 258, 75, 73, 98, 98, 98, + 51, 128, 75, 157, 51, 51, 51, 51, 51, 51, + 51, 51, 51, 51, 51, 51, 110, 110, 110, 110, + + 271, 387, 112, 112, 112, 112, 658, 51, 62, 77, + 78, 166, 271, 62, 79, 78, 62, 62, 62, 62, + 62, 258, 75, 166, 323, 79, 85, 78, 79, 79, + 79, 79, 112, 85, 85, 85, 85, 85, 113, 113, + 113, 113, 62, 166, 273, 273, 62, 62, 62, 62, + 62, 62, 62, 62, 62, 62, 62, 62, 100, 387, + 78, 78, 96, 96, 96, 171, 176, 78, 100, 62, + 100, 111, 113, 111, 96, 100, 96, 171, 176, 111, + 656, 96, 111, 623, 79, 89, 323, 89, 89, 89, + 89, 89, 89, 111, 171, 111, 123, 123, 123, 123, + + 167, 234, 111, 136, 136, 136, 136, 111, 118, 118, + 118, 118, 167, 650, 89, 234, 234, 176, 89, 89, + 89, 89, 89, 89, 89, 89, 89, 89, 89, 89, + 121, 121, 121, 121, 123, 241, 124, 124, 124, 124, + 623, 89, 106, 106, 106, 106, 106, 106, 106, 106, + 106, 106, 106, 106, 108, 151, 649, 118, 167, 233, + 325, 108, 325, 151, 151, 243, 241, 151, 165, 137, + 137, 137, 137, 138, 138, 138, 138, 267, 121, 124, + 165, 345, 233, 108, 308, 308, 267, 108, 108, 108, + 108, 108, 108, 108, 108, 108, 108, 108, 108, 137, + + 162, 162, 162, 162, 233, 243, 165, 138, 309, 309, + 108, 127, 127, 127, 127, 127, 127, 127, 127, 127, + 127, 127, 127, 127, 127, 127, 127, 146, 152, 568, + 568, 127, 127, 127, 127, 329, 152, 345, 154, 185, + 152, 146, 146, 146, 146, 146, 154, 190, 270, 329, + 154, 185, 168, 270, 127, 127, 127, 648, 190, 163, + 163, 163, 163, 644, 168, 270, 164, 164, 164, 164, + 169, 169, 169, 169, 172, 172, 172, 172, 174, 174, + 174, 174, 127, 127, 129, 129, 129, 129, 129, 163, + 129, 129, 129, 129, 129, 129, 185, 146, 129, 129, + + 164, 173, 186, 189, 129, 129, 386, 129, 168, 175, + 175, 175, 175, 173, 186, 189, 174, 190, 346, 169, + 272, 182, 172, 187, 368, 272, 188, 129, 129, 182, + 182, 182, 182, 182, 183, 187, 269, 272, 188, 173, + 346, 269, 183, 183, 183, 183, 183, 609, 269, 189, + 386, 347, 175, 357, 186, 129, 129, 131, 131, 131, + 131, 131, 131, 131, 131, 131, 131, 131, 131, 132, + 132, 368, 183, 347, 132, 187, 641, 132, 132, 132, + 132, 132, 188, 132, 357, 132, 132, 132, 132, 132, + 132, 132, 132, 132, 132, 132, 132, 132, 132, 132, + + 132, 132, 132, 132, 384, 609, 384, 132, 132, 132, + 132, 132, 132, 132, 132, 132, 132, 132, 132, 132, + 132, 132, 132, 132, 132, 132, 132, 132, 132, 132, + 132, 132, 134, 134, 134, 134, 134, 134, 134, 134, + 134, 134, 134, 134, 135, 218, 218, 218, 218, 484, + 265, 135, 135, 135, 135, 265, 265, 135, 484, 135, + 135, 135, 135, 135, 135, 135, 135, 135, 135, 135, + 135, 135, 135, 135, 135, 135, 135, 135, 219, 219, + 219, 219, 198, 198, 432, 135, 155, 155, 155, 198, + 198, 198, 198, 155, 220, 220, 220, 220, 155, 155, + + 640, 155, 155, 155, 155, 155, 435, 432, 327, 155, + 155, 155, 155, 155, 155, 155, 155, 155, 155, 155, + 155, 155, 155, 155, 155, 155, 155, 155, 435, 637, + 637, 155, 155, 155, 155, 155, 155, 155, 155, 155, + 155, 155, 155, 155, 155, 155, 155, 155, 155, 155, + 155, 155, 155, 155, 155, 155, 159, 304, 275, 202, + 222, 223, 223, 223, 223, 184, 202, 222, 159, 304, + 327, 197, 197, 184, 184, 184, 184, 184, 197, 197, + 197, 197, 197, 224, 224, 224, 224, 372, 202, 222, + 252, 252, 252, 252, 159, 159, 159, 159, 159, 159, + + 159, 159, 159, 159, 159, 159, 160, 184, 275, 242, + 242, 242, 242, 160, 304, 202, 222, 275, 317, 317, + 317, 317, 203, 358, 388, 203, 203, 203, 203, 203, + 239, 239, 239, 239, 372, 160, 388, 359, 388, 160, + 160, 160, 160, 160, 160, 160, 160, 160, 160, 160, + 160, 203, 242, 461, 358, 461, 230, 230, 230, 230, + 461, 635, 160, 177, 177, 177, 177, 177, 177, 177, + 177, 177, 177, 177, 177, 178, 178, 359, 203, 239, + 178, 707, 707, 178, 178, 178, 178, 178, 230, 178, + 634, 178, 178, 178, 178, 178, 178, 178, 178, 178, + + 178, 178, 178, 178, 178, 178, 178, 178, 178, 178, + 360, 360, 360, 178, 178, 178, 178, 178, 178, 178, + 178, 178, 178, 178, 178, 178, 178, 178, 178, 178, + 178, 178, 178, 178, 178, 178, 178, 178, 180, 180, + 180, 180, 180, 180, 180, 180, 180, 180, 180, 180, + 181, 181, 449, 360, 444, 181, 708, 708, 181, 181, + 181, 181, 181, 633, 181, 449, 181, 181, 181, 181, + 181, 181, 181, 181, 181, 181, 181, 181, 181, 181, + 181, 181, 181, 181, 181, 444, 632, 591, 181, 181, + 181, 181, 181, 181, 181, 181, 181, 181, 181, 181, + + 181, 181, 181, 181, 181, 181, 181, 181, 181, 181, + 181, 181, 181, 221, 221, 221, 221, 221, 221, 221, + 221, 221, 221, 221, 221, 225, 338, 338, 338, 338, + 454, 651, 225, 366, 225, 253, 591, 286, 231, 231, + 231, 231, 253, 253, 253, 253, 366, 531, 253, 286, + 363, 363, 363, 363, 225, 465, 465, 465, 225, 225, + 225, 225, 225, 225, 225, 225, 225, 225, 225, 225, + 231, 629, 285, 628, 366, 467, 253, 454, 283, 286, + 651, 225, 240, 240, 285, 240, 240, 240, 240, 240, + 283, 240, 240, 240, 240, 531, 240, 240, 288, 254, + + 450, 264, 240, 240, 240, 240, 254, 254, 254, 254, + 288, 276, 254, 450, 285, 264, 264, 264, 264, 276, + 276, 276, 276, 276, 279, 240, 240, 240, 285, 285, + 398, 389, 279, 279, 279, 279, 279, 467, 283, 281, + 254, 305, 398, 389, 288, 389, 240, 281, 281, 281, + 281, 281, 305, 240, 240, 244, 244, 244, 244, 244, + 626, 244, 244, 244, 244, 244, 244, 592, 284, 244, + 244, 264, 282, 284, 289, 244, 244, 569, 244, 281, + 282, 282, 282, 282, 282, 284, 289, 608, 287, 303, + 295, 284, 295, 287, 303, 299, 301, 299, 244, 244, + + 287, 303, 295, 625, 414, 414, 290, 299, 301, 414, + 621, 305, 282, 284, 290, 290, 290, 290, 290, 592, + 620, 297, 302, 289, 369, 370, 244, 244, 245, 297, + 297, 297, 297, 297, 302, 336, 301, 369, 370, 608, + 569, 245, 336, 245, 245, 245, 245, 245, 245, 245, + 245, 245, 245, 245, 245, 245, 245, 245, 245, 245, + 245, 245, 302, 290, 336, 369, 370, 601, 584, 245, + 247, 247, 247, 247, 247, 247, 247, 247, 247, 247, + 247, 247, 255, 328, 300, 709, 709, 328, 622, 601, + 300, 336, 579, 584, 328, 255, 300, 255, 255, 255, + + 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, + 255, 255, 255, 255, 255, 255, 712, 712, 312, 312, + 466, 409, 318, 255, 277, 312, 312, 312, 312, 318, + 379, 318, 332, 409, 393, 619, 277, 300, 380, 332, + 379, 332, 379, 622, 385, 328, 393, 379, 380, 411, + 380, 318, 385, 636, 579, 380, 385, 445, 445, 445, + 411, 332, 277, 277, 277, 277, 277, 277, 277, 277, + 277, 277, 277, 277, 280, 394, 466, 451, 318, 396, + 618, 280, 393, 280, 365, 365, 487, 394, 332, 365, + 451, 396, 365, 365, 365, 365, 665, 616, 365, 487, + + 445, 636, 396, 280, 448, 448, 448, 280, 280, 280, + 280, 280, 280, 280, 280, 280, 280, 280, 280, 411, + 615, 399, 607, 394, 396, 416, 416, 416, 416, 606, + 280, 291, 291, 399, 291, 291, 291, 291, 291, 291, + 291, 291, 291, 291, 377, 291, 291, 448, 665, 502, + 399, 291, 291, 291, 291, 392, 401, 400, 377, 377, + 377, 377, 502, 392, 392, 392, 392, 392, 401, 400, + 402, 600, 424, 459, 291, 291, 291, 407, 481, 407, + 481, 598, 402, 395, 424, 459, 671, 408, 395, 407, + 481, 469, 471, 408, 477, 291, 469, 471, 401, 408, + + 395, 400, 291, 291, 292, 292, 477, 482, 469, 471, + 729, 729, 402, 597, 377, 596, 292, 675, 292, 482, + 292, 292, 292, 292, 292, 292, 292, 292, 292, 292, + 292, 292, 292, 292, 292, 292, 292, 292, 292, 395, + 408, 671, 602, 459, 604, 477, 292, 293, 293, 293, + 293, 293, 293, 293, 293, 293, 293, 293, 293, 298, + 483, 530, 530, 530, 602, 675, 604, 590, 589, 588, + 586, 483, 298, 612, 298, 298, 298, 298, 298, 298, + 298, 298, 298, 298, 298, 298, 298, 298, 298, 298, + 298, 298, 298, 585, 583, 612, 581, 645, 580, 645, + + 298, 335, 335, 335, 335, 335, 335, 335, 335, 335, + 335, 335, 335, 348, 348, 433, 348, 348, 348, 348, + 348, 645, 348, 348, 348, 348, 503, 348, 348, 410, + 483, 473, 578, 348, 348, 348, 348, 406, 406, 503, + 476, 410, 406, 473, 433, 406, 406, 406, 406, 406, + 472, 406, 470, 433, 476, 476, 348, 348, 348, 577, + 478, 507, 472, 348, 470, 572, 479, 567, 517, 433, + 472, 479, 478, 473, 566, 507, 536, 348, 348, 470, + 582, 410, 517, 479, 348, 348, 355, 355, 536, 355, + 355, 355, 355, 355, 582, 355, 355, 355, 355, 611, + + 355, 355, 470, 646, 486, 486, 355, 355, 355, 355, + 478, 486, 486, 486, 486, 533, 534, 533, 520, 520, + 520, 525, 535, 646, 659, 646, 611, 533, 534, 355, + 355, 355, 536, 538, 535, 525, 525, 525, 525, 539, + 677, 541, 564, 571, 574, 538, 659, 562, 611, 561, + 560, 539, 541, 535, 534, 571, 574, 355, 355, 356, + 356, 520, 356, 356, 356, 356, 356, 559, 356, 356, + 356, 356, 575, 356, 356, 538, 570, 539, 573, 356, + 356, 356, 356, 643, 575, 544, 544, 558, 570, 538, + 573, 525, 544, 544, 544, 544, 613, 643, 565, 571, + + 631, 557, 356, 356, 356, 576, 595, 570, 613, 614, + 677, 541, 565, 565, 565, 565, 576, 595, 556, 573, + 614, 555, 631, 678, 554, 553, 551, 550, 631, 575, + 356, 356, 390, 390, 390, 390, 390, 390, 390, 390, + 390, 390, 390, 390, 397, 397, 549, 397, 397, 397, + 397, 397, 397, 397, 397, 397, 397, 594, 397, 397, + 627, 547, 624, 638, 397, 397, 397, 397, 565, 594, + 546, 627, 545, 630, 617, 576, 595, 543, 630, 614, + 617, 642, 540, 537, 529, 528, 655, 397, 397, 397, + 624, 638, 642, 678, 397, 630, 617, 655, 693, 594, + + 668, 527, 617, 526, 524, 672, 522, 653, 397, 397, + 518, 668, 624, 638, 639, 397, 397, 403, 403, 652, + 403, 403, 403, 403, 403, 403, 403, 403, 403, 403, + 627, 403, 403, 672, 516, 653, 639, 403, 403, 403, + 403, 515, 639, 514, 513, 512, 511, 652, 510, 509, + 508, 642, 652, 666, 673, 672, 655, 653, 639, 667, + 403, 403, 403, 653, 639, 673, 679, 680, 693, 652, + 668, 681, 682, 683, 684, 685, 506, 679, 680, 666, + 505, 666, 681, 682, 683, 684, 685, 667, 403, 403, + 405, 405, 504, 405, 405, 405, 405, 405, 405, 405, + + 405, 405, 405, 666, 405, 405, 501, 667, 500, 667, + 405, 405, 405, 405, 499, 498, 497, 496, 495, 494, + 493, 492, 491, 490, 673, 489, 488, 480, 475, 686, + 464, 463, 462, 405, 405, 405, 679, 680, 460, 458, + 686, 681, 682, 683, 684, 685, 687, 456, 453, 452, + 447, 443, 442, 688, 689, 690, 691, 687, 692, 441, + 437, 405, 405, 426, 688, 689, 690, 691, 436, 692, + 434, 431, 430, 429, 428, 427, 426, 423, 426, 426, + 426, 426, 426, 426, 426, 426, 426, 426, 426, 426, + 426, 426, 426, 426, 426, 426, 426, 439, 439, 686, + + 439, 439, 439, 439, 439, 422, 439, 439, 439, 439, + 421, 439, 439, 420, 419, 418, 687, 439, 439, 439, + 439, 417, 415, 688, 689, 690, 691, 413, 692, 412, + 404, 391, 383, 382, 381, 378, 376, 374, 371, 367, + 439, 439, 439, 362, 361, 353, 352, 351, 350, 344, + 343, 342, 341, 340, 339, 334, 333, 331, 326, 324, + 322, 321, 320, 319, 316, 315, 314, 313, 439, 439, + 440, 440, 310, 440, 440, 440, 440, 440, 306, 440, + 440, 440, 440, 296, 440, 440, 294, 278, 274, 268, + 440, 440, 440, 440, 266, 262, 261, 260, 259, 257, + + 256, 251, 250, 249, 238, 237, 236, 235, 232, 229, + 228, 227, 226, 440, 440, 440, 216, 215, 214, 213, + 440, 212, 209, 208, 207, 206, 205, 204, 200, 199, + 195, 191, 179, 170, 440, 440, 161, 150, 148, 147, + 145, 440, 440, 468, 468, 143, 142, 141, 140, 139, + 126, 125, 122, 120, 119, 468, 117, 468, 116, 468, + 468, 468, 468, 468, 468, 468, 468, 468, 468, 468, + 468, 468, 468, 468, 468, 468, 468, 468, 474, 474, + 115, 474, 474, 474, 474, 474, 474, 474, 474, 474, + 474, 114, 474, 474, 103, 101, 97, 94, 474, 474, + + 474, 474, 93, 92, 88, 83, 80, 60, 59, 57, + 56, 54, 53, 45, 42, 41, 39, 24, 23, 21, + 20, 474, 474, 474, 18, 17, 14, 9, 3, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, - 441, 0, 0, 441, 0, 0, 0, 0, 0, 0, - 0, 441, 0, 0, 441, 0, 0, 441, 441, 0, - 0, 0, 0, 0, 0, 0, 0, 441, 0, 0, - 0, 0, 0, 0, 0, 441, 0, 0, 441, 0, - 0, 441, 450, 450, 0, 450, 450, 450, 450, 450, - 0, 450, 450, 450, 450, 0, 450, 450, 0, 0, - 0, 0, 0, 450, 450, 450, 450, 0, 0, 0, - 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, - 0, 0, 0, 0, 0, 0, 0, 0, 450, 450, - - 450, 0, 0, 0, 0, 0, 0, 0, 0, 0, - 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, - 0, 0, 450, 450, 451, 451, 0, 451, 451, 451, - 451, 451, 0, 451, 451, 451, 451, 0, 451, 451, - 0, 0, 0, 0, 0, 451, 451, 451, 451, 0, + 0, 0, 0, 0, 0, 0, 0, 0, 0, 474, + 474, 587, 587, 0, 587, 587, 587, 587, 587, 0, + 587, 587, 587, 587, 0, 587, 587, 0, 0, 0, + 0, 587, 587, 587, 587, 0, 0, 0, 0, 0, + 0, 587, 0, 0, 0, 0, 0, 0, 0, 0, + 0, 0, 0, 0, 587, 587, 587, 0, 0, 0, + + 0, 0, 0, 587, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, + 0, 0, 587, 587, 593, 593, 0, 593, 593, 593, + 593, 593, 593, 593, 593, 593, 593, 0, 593, 593, + 0, 0, 0, 0, 593, 593, 593, 593, 0, 0, + 0, 0, 0, 0, 593, 0, 0, 0, 0, 0, + 0, 0, 0, 0, 0, 0, 0, 593, 593, 593, + 0, 0, 0, 0, 0, 0, 593, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, - 451, 451, 451, 0, 0, 0, 0, 451, 0, 0, - 0, 0, 0, 0, 0, 0, 0, 0, 0, 451, - 451, 0, 0, 0, 451, 451, 481, 0, 0, 0, + 0, 0, 0, 0, 0, 593, 593, 603, 603, 0, + 603, 603, 603, 603, 603, 0, 603, 603, 603, 603, + 0, 603, 603, 0, 0, 0, 0, 603, 603, 603, + 603, 0, 0, 0, 0, 0, 0, 603, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, - 481, 0, 0, 481, 0, 0, 0, 0, 0, 0, - 0, 481, 0, 0, 481, 0, 0, 481, 481, 0, - 0, 0, 0, 0, 0, 0, 0, 481, 0, 0, - 0, 0, 0, 0, 0, 481, 0, 0, 481, 0, - 0, 481, 487, 487, 0, 487, 487, 487, 487, 487, - 487, 487, 487, 487, 487, 0, 487, 487, 0, 0, - 0, 0, 0, 487, 487, 487, 487, 0, 0, 0, - 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, - 0, 0, 0, 0, 0, 0, 0, 0, 487, 487, - - 487, 0, 0, 0, 0, 0, 0, 0, 0, 0, + 603, 603, 603, 0, 0, 0, 0, 0, 0, 603, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, - 0, 0, 487, 487, 489, 489, 0, 489, 489, 489, - 489, 489, 489, 489, 489, 489, 489, 0, 489, 489, - 0, 0, 0, 0, 0, 489, 489, 489, 489, 0, + 0, 0, 0, 0, 0, 0, 0, 0, 603, 603, + 610, 610, 0, 610, 610, 610, 610, 610, 610, 610, + 610, 610, 610, 0, 610, 610, 0, 0, 0, 0, + 610, 610, 610, 610, 0, 0, 0, 0, 0, 0, + + 610, 0, 0, 0, 0, 0, 0, 0, 0, 0, + 0, 0, 0, 610, 610, 610, 0, 0, 0, 0, + 0, 0, 610, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, - 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, - 489, 489, 489, 0, 0, 0, 0, 489, 0, 0, - 0, 0, 0, 0, 0, 0, 0, 0, 0, 489, - 489, 0, 0, 0, 489, 489, 601, 601, 0, 601, - - 601, 601, 601, 601, 0, 601, 601, 601, 601, 0, - 601, 601, 0, 0, 0, 0, 0, 601, 601, 601, - 601, 0, 0, 0, 0, 0, 0, 601, 0, 0, - 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, - 0, 0, 601, 601, 601, 0, 0, 0, 0, 0, - 0, 601, 0, 0, 0, 0, 0, 0, 0, 0, - 0, 0, 0, 0, 0, 0, 601, 601, 607, 607, - 0, 607, 607, 607, 607, 607, 607, 607, 607, 607, - 607, 0, 607, 607, 0, 0, 0, 0, 0, 607, - 607, 607, 607, 0, 0, 0, 0, 0, 0, 607, - - 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, - 0, 0, 0, 0, 607, 607, 607, 0, 0, 0, - 0, 0, 0, 607, 0, 0, 0, 0, 0, 0, - 0, 0, 0, 0, 0, 0, 0, 0, 607, 607, - 617, 617, 0, 617, 617, 617, 617, 617, 0, 617, - 617, 617, 617, 0, 617, 617, 0, 0, 0, 0, - 0, 617, 617, 617, 617, 0, 0, 0, 0, 0, - 0, 617, 0, 0, 0, 0, 0, 0, 0, 0, - 0, 0, 0, 0, 0, 0, 617, 617, 617, 0, - 0, 0, 0, 0, 0, 617, 0, 0, 0, 0, - - 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, - 617, 617, 624, 624, 0, 624, 624, 624, 624, 624, - 624, 624, 624, 624, 624, 0, 624, 624, 0, 0, - 0, 0, 0, 624, 624, 624, 624, 0, 0, 0, - 0, 0, 0, 624, 0, 0, 0, 0, 0, 0, - 0, 0, 0, 0, 0, 0, 0, 0, 624, 624, - 624, 0, 0, 0, 0, 0, 0, 624, 0, 0, - 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, - 0, 0, 624, 624, 711, 0, 0, 711, 711, 0, - 0, 711, 711, 711, 711, 711, 712, 712, 712, 712, - - 712, 0, 712, 712, 712, 712, 712, 712, 712, 712, - 712, 713, 713, 713, 713, 713, 713, 713, 713, 713, - 713, 713, 713, 713, 713, 713, 714, 714, 714, 714, + 0, 610, 610, 697, 0, 0, 0, 697, 697, 0, + 0, 697, 697, 697, 697, 697, 697, 697, 697, 698, + 698, 698, 698, 698, 0, 698, 698, 698, 698, 698, + 698, 698, 698, 698, 698, 698, 698, 698, 699, 699, + 0, 0, 0, 699, 699, 699, 700, 700, 700, 700, + 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, + + 700, 700, 700, 700, 700, 701, 701, 701, 701, 701, + 701, 701, 701, 701, 701, 701, 701, 701, 701, 701, + 701, 701, 701, 701, 702, 702, 702, 702, 702, 702, + 702, 702, 702, 702, 702, 702, 702, 702, 702, 702, + 702, 702, 702, 703, 0, 0, 0, 703, 703, 703, + 0, 703, 703, 703, 703, 703, 703, 703, 703, 704, + 704, 704, 704, 704, 0, 704, 704, 704, 704, 704, + 704, 704, 704, 704, 704, 704, 704, 704, 705, 705, + 705, 705, 705, 705, 705, 705, 705, 705, 705, 705, + 705, 705, 705, 705, 705, 705, 705, 706, 706, 0, + + 0, 0, 0, 0, 0, 0, 0, 706, 0, 0, + 706, 706, 0, 706, 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, 711, 711, 711, 711, + 711, 711, 713, 713, 713, 713, 713, 713, 713, 713, + 713, 713, 713, 713, 713, 713, 713, 713, 713, 713, + 713, 714, 714, 714, 714, 714, 714, 714, 714, 714, 714, 714, 714, 714, 714, 714, 714, 714, 714, 714, - 714, 715, 715, 715, 715, 715, 715, 715, 715, 715, - 715, 715, 715, 715, 715, 715, 716, 0, 0, 716, - 716, 716, 0, 716, 716, 716, 716, 716, 717, 717, - 717, 717, 717, 0, 717, 717, 717, 717, 717, 717, - 717, 717, 717, 718, 718, 718, 718, 718, 718, 718, - 718, 718, 718, 718, 718, 718, 718, 718, 719, 719, - - 0, 0, 0, 0, 0, 0, 0, 719, 719, 719, - 719, 719, 720, 720, 720, 720, 720, 720, 720, 720, - 720, 720, 720, 720, 720, 720, 720, 721, 721, 721, + 715, 715, 715, 715, 715, 715, 715, 715, 715, 715, + + 715, 715, 715, 715, 715, 715, 715, 715, 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, 717, 717, 717, 717, 717, 717, + 717, 717, 717, 717, 717, 717, 717, 718, 718, 718, + 718, 718, 718, 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, 0, 720, 720, + 720, 720, 720, 720, 720, 720, 720, 720, 720, 720, + + 720, 720, 720, 720, 721, 721, 0, 721, 721, 721, 721, 721, 721, 721, 721, 721, 721, 721, 721, 721, - 721, 721, 722, 722, 722, 722, 722, 722, 722, 722, - 722, 722, 722, 722, 722, 722, 722, 723, 723, 723, + 721, 721, 721, 722, 0, 722, 0, 0, 0, 722, + 722, 722, 0, 0, 722, 723, 723, 0, 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, 725, 725, 725, + 723, 723, 723, 723, 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, 726, 726, 726, 726, 726, 726, - 726, 726, 726, 726, 726, 726, 726, 727, 727, 727, + + 726, 726, 726, 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, 727, - 727, 727, 728, 728, 0, 728, 728, 728, 728, 728, - 728, 728, 728, 728, 728, 728, 728, 729, 729, 0, - 729, 729, 729, 729, 729, 729, 729, 729, 729, 729, - 729, 729, 730, 730, 0, 730, 730, 730, 730, 730, - 730, 730, 730, 730, 730, 730, 730, 731, 731, 731, + 728, 728, 728, 730, 0, 0, 0, 730, 0, 730, + 730, 730, 730, 0, 730, 731, 731, 731, 731, 731, 731, 731, 731, 731, 731, 731, 731, 731, 731, 731, - 731, 731, 732, 732, 732, 732, 732, 732, 732, 732, - - 732, 732, 732, 732, 732, 732, 732, 733, 733, 733, - 733, 733, 733, 733, 733, 733, 733, 733, 733, 733, - 733, 733, 734, 734, 734, 734, 734, 734, 734, 734, - 734, 734, 734, 734, 734, 734, 734, 735, 0, 0, - 735, 0, 735, 735, 0, 0, 735, 735, 736, 736, + 731, 731, 731, 731, 732, 732, 732, 732, 732, 732, + 732, 732, 732, 732, 732, 732, 732, 732, 732, 732, + 732, 732, 732, 733, 0, 0, 0, 733, 733, 733, + 0, 733, 733, 733, 733, 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, 735, 735, 735, 735, + 735, 735, 735, 735, 735, 735, 735, 736, 736, 0, 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, 738, 738, + 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, 738, 738, 738, 0, 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, 740, 740, - 0, 740, 740, 740, 740, 740, 740, 740, 740, 740, - 740, 740, 740, 741, 741, 741, 741, 741, 741, 741, - 741, 741, 741, 741, 741, 741, 741, 741, 742, 742, - 742, 742, 0, 742, 742, 742, 742, 742, 742, 742, - 742, 742, 742, 743, 743, 743, 743, 743, 743, 743, - 743, 743, 743, 743, 743, 743, 743, 743, 744, 744, - 0, 744, 744, 744, 744, 744, 744, 744, 744, 744, - 744, 744, 744, 745, 745, 0, 745, 745, 745, 745, - 745, 745, 745, 745, 745, 745, 745, 745, 746, 0, - - 746, 0, 0, 0, 746, 746, 746, 747, 747, 0, + 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, 0, 740, 740, 740, 740, + 740, 740, 740, 740, 740, 740, 740, 740, 740, 740, + 740, 740, 741, 741, 0, 741, 741, 741, 741, 741, + 741, 741, 741, 741, 741, 741, 741, 741, 741, 741, + 741, 742, 0, 742, 742, 0, 0, 742, 742, 742, + 0, 0, 742, 743, 743, 0, 743, 743, 743, 743, + 743, 743, 743, 743, 743, 743, 743, 743, 743, 743, + 743, 743, 744, 744, 0, 744, 744, 744, 744, 744, + 744, 744, 744, 744, 744, 744, 744, 744, 744, 744, + + 744, 745, 745, 0, 745, 745, 745, 745, 745, 745, + 745, 745, 745, 745, 745, 745, 745, 745, 745, 745, + 746, 746, 746, 746, 746, 746, 746, 746, 746, 746, + 746, 746, 746, 746, 746, 746, 746, 746, 746, 747, 747, 747, 747, 747, 747, 747, 747, 747, 747, 747, - 747, 747, 748, 748, 0, 748, 748, 748, 748, 748, - 748, 748, 748, 748, 748, 748, 748, 749, 749, 0, + 747, 747, 747, 747, 747, 747, 747, 747, 748, 748, + 748, 748, 748, 748, 748, 748, 748, 748, 748, 748, + 748, 748, 748, 748, 748, 748, 748, 749, 749, 749, 749, 749, 749, 749, 749, 749, 749, 749, 749, 749, - 749, 749, 750, 750, 750, 750, 750, 750, 750, 750, - 750, 750, 750, 750, 750, 750, 750, 751, 751, 751, - 751, 751, 751, 751, 751, 751, 751, 751, 751, 751, - 751, 751, 752, 752, 752, 752, 752, 752, 752, 752, - 752, 752, 752, 752, 752, 752, 752, 753, 753, 753, + 749, 749, 749, 749, 749, 749, 750, 750, 0, 0, + 750, 750, 0, 750, 750, 750, 750, 750, 750, 750, + 750, 750, 751, 0, 0, 0, 0, 0, 751, 751, + 751, 751, 0, 751, 752, 752, 752, 752, 752, 752, + 752, 752, 752, 752, 752, 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, 0, 0, 0, 0, 754, 754, 0, - 0, 754, 754, 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, 757, 757, 0, 757, 757, 757, 757, - 757, 757, 757, 757, 757, 757, 757, 757, 758, 758, - 0, 758, 758, 758, 758, 758, 758, 758, 758, 758, - 758, 758, 758, 759, 759, 759, 759, 0, 759, 759, - 759, 759, 759, 759, 759, 759, 759, 759, 760, 760, - + 753, 753, 754, 754, 0, 754, 754, 754, 754, 754, + 754, 754, 754, 754, 754, 754, 754, 754, 754, 754, + 754, 755, 755, 0, 755, 755, 755, 755, 755, 755, + 755, 755, 755, 755, 755, 755, 755, 755, 755, 755, + + 756, 756, 0, 0, 756, 756, 756, 756, 756, 756, + 756, 756, 756, 756, 756, 756, 757, 757, 757, 757, + 0, 757, 757, 757, 757, 757, 757, 757, 757, 757, + 757, 757, 757, 757, 757, 758, 758, 758, 758, 758, + 758, 758, 758, 758, 758, 758, 758, 758, 758, 758, + 758, 758, 758, 758, 759, 759, 0, 759, 759, 759, + 759, 759, 759, 759, 759, 759, 759, 759, 759, 759, + 759, 759, 759, 760, 760, 0, 760, 760, 760, 760, 760, 760, 760, 760, 760, 760, 760, 760, 760, 760, - 760, 760, 760, 761, 761, 0, 761, 761, 761, 761, - 761, 761, 761, 761, 761, 761, 761, 761, 762, 762, - 0, 762, 762, 762, 762, 762, 762, 762, 762, 762, - 762, 762, 762, 763, 763, 0, 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, 765, 765, 0, 765, 765, 765, 765, - 765, 765, 765, 765, 765, 765, 765, 765, 766, 766, - 0, 766, 766, 766, 766, 766, 766, 766, 766, 766, - - 766, 766, 766, 767, 767, 0, 767, 767, 767, 767, - 767, 767, 767, 767, 767, 767, 767, 767, 768, 768, - 0, 768, 768, 768, 768, 768, 768, 768, 768, 768, - 768, 768, 768, 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, 771, 771, 771, 771, 771, 771, 771, - 771, 771, 771, 771, 771, 771, 771, 771, 772, 0, - 0, 0, 0, 772, 772, 0, 0, 772, 773, 773, + 760, 760, 761, 761, 0, 761, 761, 761, 761, 761, + + 761, 761, 761, 761, 761, 761, 761, 761, 761, 761, + 761, 762, 762, 0, 762, 762, 762, 762, 762, 762, + 762, 762, 762, 762, 762, 762, 762, 762, 762, 762, + 763, 763, 0, 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, 765, 765, + 0, 765, 765, 765, 765, 765, 765, 765, 765, 765, + 765, 765, 765, 765, 765, 765, 765, 766, 766, 0, + 766, 766, 766, 766, 766, 766, 766, 766, 766, 766, + + 766, 766, 766, 766, 766, 766, 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, 769, 769, 769, 769, 769, 769, + 769, 769, 769, 769, 769, 769, 769, 769, 769, 769, + 769, 769, 769, 770, 0, 0, 0, 0, 0, 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, 773, 773, 773, 773, 773, 773, 773, 773, 773, 773, 773, 773, 773, - - 773, 773, 773, 774, 774, 774, 774, 774, 774, 774, - 774, 774, 774, 774, 774, 774, 774, 774, 775, 775, - 0, 775, 775, 775, 775, 775, 775, 775, 775, 775, - 775, 775, 775, 776, 776, 776, 776, 776, 776, 776, - 776, 776, 776, 776, 776, 776, 776, 776, 777, 0, - 0, 0, 0, 777, 777, 0, 0, 777, 778, 778, - 0, 778, 778, 778, 778, 778, 778, 778, 778, 778, - 778, 778, 778, 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, 781, 781, 0, 781, 781, 781, 781, + 773, 773, 773, 773, 773, 774, 0, 0, 0, 0, + 0, 774, 774, 774, 774, 775, 775, 0, 775, 775, + 775, 775, 775, 775, 775, 775, 775, 775, 775, 775, + 775, 775, 775, 775, 776, 776, 776, 776, 776, 776, + 776, 776, 776, 776, 776, 776, 776, 776, 776, 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, 780, 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, - 0, 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, 784, 784, - 784, 784, 784, 784, 784, 784, 784, 784, 784, 784, - 784, 784, 784, 785, 785, 785, 785, 785, 785, 785, - 785, 785, 785, 785, 785, 785, 785, 785, 786, 786, - 786, 786, 786, 786, 786, 786, 786, 786, 786, 786, - 786, 786, 786, 710, 710, 710, 710, 710, 710, 710, - - 710, 710, 710, 710, 710, 710, 710, 710, 710, 710, - 710, 710, 710, 710, 710, 710, 710, 710, 710, 710, - 710, 710, 710, 710, 710, 710, 710, 710, 710, 710, - 710, 710, 710, 710, 710, 710, 710, 710, 710, 710, - 710, 710, 710, 710, 710, 710, 710, 710, 710, 710, - 710, 710, 710, 710, 710, 710, 710, 710, 710, 710, - 710, 710, 710, 710, 710, 710 + 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, 696, 696, 696, 696, + 696, 696, 696, 696, 696, 696, 696, 696, 696, 696, + 696, 696, 696, 696, 696, 696, 696, 696, 696, 696, + 696, 696, 696, 696, 696, 696, 696, 696, 696, 696, + 696, 696, 696, 696, 696, 696, 696, 696, 696, 696, + 696, 696, 696, 696, 696, 696, 696, 696, 696, 696, + 696, 696, 696, 696, 696, 696, 696, 696, 696, 696, + 696, 696, 696, 696, 696, 696, 696, 696, 696, 696 } ; static yy_state_type yy_state_buf[YY_BUF_SIZE + 2], *yy_state_ptr; @@ -1681,9 +1707,7 @@ goto find_rule; \ #define YY_MORE_ADJ 0 #define YY_RESTORE_YY_MORE_OFFSET char *yytext; -#line 1 "../parser.l" #define INITIAL 0 -#line 8 "../parser.l" /* * parser.l -- lex parser of algebraic chess moves for XBoard * $Id: parser.l,v 2.1 2003/10/27 19:21:00 mann Exp $ @@ -1735,6 +1759,16 @@ char *yytext; /* This parser handles all forms of promotion. * The parser resolves ambiguous moves by searching and check-testing. * It also parses comments of the form [anything] or (anything). + * + * [HGM] Parser extensively modified for bigger boards, Shogi-like syntax, + * and unknow pieces. All pieces are now mandatory upper case, but can be + * any letter A-Z. Files must be lower case (as before), but can run upto 'l'. + * Ranks can be 0-9. The parser returns 0 for off-board files and ranks. + * For an unknown piece (as mover or promotion piece) it returns + * IllegalMove, like it does when the piece doesn't match. + * Promotions can now also be appended Shogi-style, a bare '=' or '+', + * and this is then returned as promotion character. The piece indicator + * can be prefixed by a '+' to indicate it is a promoted piece. */ #include "config.h" @@ -1831,7 +1865,6 @@ int yyback P((int *, int)); int yywrap P((void)); extern void CopyBoard P((Board to, Board from)); -#line 1835 "lex.yy.c" /* Macros after this point can all be overridden by user definitions in * section 1. @@ -1931,9 +1964,20 @@ YY_MALLOC_DECL YY_FATAL_ERROR( "input in flex scanner failed" ); \ result = n; \ } \ - else if ( ((result = fread( buf, 1, max_size, yyin )) == 0) \ - && ferror( yyin ) ) \ - YY_FATAL_ERROR( "input in flex scanner failed" ); + else \ + { \ + errno=0; \ + while ( (result = fread(buf, 1, max_size, yyin))==0 && ferror(yyin)) \ + { \ + if( errno != EINTR) \ + { \ + YY_FATAL_ERROR( "input in flex scanner failed" ); \ + break; \ + } \ + errno=0; \ + clearerr(yyin); \ + } \ + } #endif /* No semi-colon after return; correct usage is to write "yyterminate();" - @@ -1982,13 +2026,11 @@ YY_MALLOC_DECL YY_DECL { register yy_state_type yy_current_state; - register char *yy_cp = NULL, *yy_bp = NULL; + register char *yy_cp, *yy_bp; register int yy_act; -#line 156 "../parser.l" -#line 1992 "lex.yy.c" if ( yy_init ) { @@ -2037,14 +2079,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 >= 711 ) + if ( yy_current_state >= 697 ) 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] != 4394 ); + while ( yy_base[yy_current_state] != 4517 ); yy_find_action: yy_current_state = *--yy_state_ptr; @@ -2095,55 +2137,83 @@ do_action: /* This label is used only to access EOF actions. */ { /* beginning of action switch */ case 1: YY_RULE_SETUP -#line 158 "../parser.l" { /* * Fully-qualified algebraic move, possibly with promotion */ - int skip1 = 0, skip2 = 0; + int skip1 = 0, skip2 = 0, skip3 = 0, promoted = 0; ChessSquare piece; ChessMove result; - + char c; + if (yyskipmoves) return (int) AmbiguousMove; /* not disambiguated */ - /* remove the / */ - if (yytext[1] == '/') skip1 = 1; + if (yytext[0] == '+') skip1 = skip3 = promoted = 1; /* [HGM] Shogi promoted */ + /* remove the / */ + if (yytext[1+skip1] == '/') skip1++; + /* remove the [xX:-] */ if ((yytext[3+skip1] == 'x') || (yytext[3+skip1] == 'X') || - (yytext[3+skip1] == '-') || (yytext[3+skip1] == ':')) skip2 = 1; - + (yytext[3+skip1] == '-') || (yytext[3+skip1] == ':')) skip2 = 1; + currentMoveString[0] = yytext[1+skip1]; currentMoveString[1] = yytext[2+skip1]; currentMoveString[2] = yytext[3+skip1+skip2]; currentMoveString[3] = yytext[4+skip1+skip2]; currentMoveString[4] = NULLCHAR; + + if (appData.debugMode) { + fprintf(debugFP, "Parser Qa1b2: yyleng=%d\n", + yyleng); + } - if (yyleng-skip1-skip2 > 5) { - if (yytext[yyleng-1] == ')') { - currentMoveString[4] = ToLower(yytext[yyleng-2]); + if (yyleng-skip1-skip2 > 5) { char c; + if (yytext[yyleng-1] == ')') { + c = currentMoveString[4] = ToLower(yytext[yyleng-2]); } else { - currentMoveString[4] = ToLower(yytext[yyleng-1]); + c = currentMoveString[4] = ToLower(yytext[yyleng-1]); } currentMoveString[5] = NULLCHAR; + if(c != '=' && c != '+' && CharToPiece(c) == EmptySquare) + return IllegalMove; /* [HGM] promotion to invalid piece */ + } + + if (appData.debugMode) { + fprintf(debugFP, "parser: %s\n", currentMoveString); } + /* [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 0; piece = boards[yyboardindex] - [currentMoveString[1] - '1'][currentMoveString[0] - 'a']; - if (ToLower(yytext[0]) != ToLower(PieceToChar(piece))) + [currentMoveString[1] - ONE][currentMoveString[0] - AAA]; + if(promoted) piece = (ChessSquare) (DEMOTED piece); + c = PieceToChar(piece); + if(c == '~') c = PieceToChar((ChessSquare) (DEMOTED piece)); + if (ToLower(yytext[skip3]) != ToLower(c)) return (int) IllegalMove; result = LegalityTest(boards[yyboardindex], PosFlags(yyboardindex), EP_UNKNOWN, - currentMoveString[1] - '1', - currentMoveString[0] - 'a', - currentMoveString[3] - '1', - currentMoveString[2] - 'a', + initialRights, /* [HGM] assume all castlings allowed */ + currentMoveString[1] - ONE, + currentMoveString[0] - AAA, + currentMoveString[3] - ONE, + currentMoveString[2] - AAA, currentMoveString[4]); if (currentMoveString[4] == NULLCHAR && - (result == WhitePromotionQueen || result == BlackPromotionQueen)) { - currentMoveString[4] = 'q'; + (result == WhitePromotionKnight || result == BlackPromotionKnight || + result == WhitePromotionQueen || result == BlackPromotionQueen)) { + currentMoveString[4] = PieceToChar(BlackQueen); currentMoveString[5] = NULLCHAR; } @@ -2152,10 +2222,10 @@ YY_RULE_SETUP YY_BREAK case 2: YY_RULE_SETUP -#line 212 "../parser.l" { /* * Simple algebraic move, possibly with promotion + * [HGM] Engine moves are received in this format, with lower-case promoChar! */ int skip = 0; ChessMove result; @@ -2172,26 +2242,44 @@ YY_RULE_SETUP currentMoveString[3] = yytext[3+skip]; currentMoveString[4] = NULLCHAR; - if (yyleng-skip > 4) { + if (yyleng-skip > 4) { char c; if (yytext[yyleng-1] == ')') { - currentMoveString[4] = ToLower(yytext[yyleng-2]); + c = currentMoveString[4] = ToLower(yytext[yyleng-2]); } else { - currentMoveString[4] = ToLower(yytext[yyleng-1]); + c = currentMoveString[4] = ToLower(yytext[yyleng-1]); } currentMoveString[5] = NULLCHAR; + if(c != '=' && c != '+' && CharToPiece(c) == EmptySquare) + return IllegalMove; } + /* [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 0; + result = LegalityTest(boards[yyboardindex], PosFlags(yyboardindex), EP_UNKNOWN, - currentMoveString[1] - '1', - currentMoveString[0] - 'a', - currentMoveString[3] - '1', - currentMoveString[2] - 'a', + initialRights, /* [HGM] assume all castlings allowed */ + currentMoveString[1] - ONE, + currentMoveString[0] - AAA, + currentMoveString[3] - ONE, + currentMoveString[2] - AAA, currentMoveString[4]); if (currentMoveString[4] == NULLCHAR && - (result == WhitePromotionQueen || result == BlackPromotionQueen)) { - currentMoveString[4] = 'q'; + (result == WhitePromotionKnight || result == BlackPromotionKnight || + result == WhitePromotionQueen || result == BlackPromotionQueen)) { + if(gameInfo.variant == VariantShatranj || gameInfo.variant == VariantCourier) + currentMoveString[4] = PieceToChar(BlackFerz); + else + currentMoveString[4] = PieceToChar(BlackQueen); currentMoveString[5] = NULLCHAR; } @@ -2200,33 +2288,44 @@ YY_RULE_SETUP YY_BREAK case 3: YY_RULE_SETUP -#line 257 "../parser.l" { /* * Pawn move, possibly with promotion */ DisambiguateClosure cl; - int skip = 0; + int skip = 0; char c; if (yyskipmoves) return (int) AmbiguousMove; /* not disambiguated */ /* remove the =() */ - if (yytext[2] == '=') skip++; + if (yytext[2] == '=' && yytext[3] != NULLCHAR) skip++; if (yytext[2+skip] == '(') skip++; cl.pieceIn = WhiteOnMove(yyboardindex) ? WhitePawn : BlackPawn; cl.rfIn = -1; - cl.ffIn = yytext[0] - 'a'; - cl.rtIn = yytext[1] - '1'; - cl.ftIn = yytext[0] - 'a'; - cl.promoCharIn = yytext[2+skip]; + cl.ffIn = yytext[0] - AAA; + cl.rtIn = yytext[1] - ONE; + cl.ftIn = yytext[0] - AAA; + c = cl.promoCharIn = yytext[2+skip]; + + /* [HGM] do not allow values beyond board size */ + if(cl.rtIn >= BOARD_HEIGHT || + cl.rtIn < 0 || + cl.ffIn >= BOARD_RGHT || + cl.ftIn < BOARD_LEFT ) + return 0; + + if(c != '=' && c != '+' && c != NULLCHAR && CharToPiece(c) == EmptySquare) + return IllegalMove; + + Disambiguate(boards[yyboardindex], PosFlags(yyboardindex), EP_UNKNOWN, &cl); - currentMoveString[0] = cl.ff + 'a'; - currentMoveString[1] = cl.rf + '1'; - currentMoveString[2] = cl.ft + 'a'; - currentMoveString[3] = cl.rt + '1'; + currentMoveString[0] = cl.ff + AAA; + currentMoveString[1] = cl.rf + ONE; + currentMoveString[2] = cl.ft + AAA; + currentMoveString[3] = cl.rt + ONE; currentMoveString[4] = cl.promoChar; currentMoveString[5] = NULLCHAR; @@ -2235,13 +2334,12 @@ YY_RULE_SETUP YY_BREAK case 4: YY_RULE_SETUP -#line 290 "../parser.l" { /* * Pawn capture, possibly with promotion, possibly ambiguous */ DisambiguateClosure cl; - int skip1 = 0, skip2 = 0; + int skip1 = 0, skip2 = 0; char c; if (yyskipmoves) return (int) AmbiguousMove; /* not disambiguated */ @@ -2257,22 +2355,33 @@ YY_RULE_SETUP /* remove the [xX:-] and =() */ if ((yytext[1] == 'x') || (yytext[1] == 'X') || (yytext[1] == ':') || (yytext[1] == '-')) skip1 = 1; - if (yytext[2+skip1] == '=') skip2++; + if (yytext[2+skip1] == '=' && yytext[3+skip1] != NULLCHAR) skip2++; if (yytext[2+skip1+skip2] == '(') skip2++; cl.pieceIn = WhiteOnMove(yyboardindex) ? WhitePawn : BlackPawn; cl.rfIn = -1; - cl.ffIn = yytext[0] - 'a'; + cl.ffIn = yytext[0] - AAA; cl.rtIn = -1; - cl.ftIn = yytext[1+skip1] - 'a'; - cl.promoCharIn = yytext[2+skip1+skip2]; + cl.ftIn = yytext[1+skip1] - AAA; + c = cl.promoCharIn = yytext[2+skip1+skip2]; + + /* [HGM] do not allow values beyond board size */ + if(cl.ffIn >= BOARD_RGHT || + cl.ffIn < BOARD_LEFT || + cl.ftIn >= BOARD_RGHT || + cl.ftIn < BOARD_LEFT ) + return 0; + + if(c != '=' && c != '+' && c != NULLCHAR && CharToPiece(c) == EmptySquare) + return IllegalMove; + Disambiguate(boards[yyboardindex], PosFlags(yyboardindex), EP_UNKNOWN, &cl); - currentMoveString[0] = cl.ff + 'a'; - currentMoveString[1] = cl.rf + '1'; - currentMoveString[2] = cl.ft + 'a'; - currentMoveString[3] = cl.rt + '1'; + currentMoveString[0] = cl.ff + AAA; + currentMoveString[1] = cl.rf + ONE; + currentMoveString[2] = cl.ft + AAA; + currentMoveString[3] = cl.rt + ONE; currentMoveString[4] = cl.promoChar; currentMoveString[5] = NULLCHAR; @@ -2281,13 +2390,12 @@ YY_RULE_SETUP YY_BREAK case 5: YY_RULE_SETUP -#line 333 "../parser.l" { /* * unambiguously abbreviated Pawn capture, possibly with promotion */ int skip = 0; - ChessMove result; + ChessMove result; char c; if (yyskipmoves) return (int) AmbiguousMove; /* not disambiguated */ @@ -2307,34 +2415,53 @@ YY_RULE_SETUP currentMoveString[0] = yytext[0]; currentMoveString[2] = yytext[1+skip]; currentMoveString[3] = yytext[2+skip]; + + /* [HGM] do not allow values beyond board size */ + if(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 0; + + if (gameInfo.variant == VariantXiangqi && /* [HGM] In Xiangqi rank stays same */ + currentMoveString[0] != currentMoveString[2] ) { + if (yytext[2+skip] == ONE) return (int) ImpossibleMove; + currentMoveString[1] = yytext[2+skip]; + } else if (WhiteOnMove(yyboardindex)) { - if (yytext[2+skip] == '1') return (int) ImpossibleMove; + if (yytext[2+skip] == ONE) return (int) ImpossibleMove; currentMoveString[1] = yytext[2+skip] - 1; } else { - if (yytext[2+skip] == '8') return (int) ImpossibleMove; - currentMoveString[1] = yytext[2+skip] + 1; + currentMoveString[1] = currentMoveString[3] + 1; + if (currentMoveString[3] == ONE+BOARD_HEIGHT-1) return (int) ImpossibleMove; } if (yyleng-skip > 3) { if (yytext[yyleng-1] == ')') - currentMoveString[4] = ToLower(yytext[yyleng-2]); + c = currentMoveString[4] = ToLower(yytext[yyleng-2]); else - currentMoveString[4] = ToLower(yytext[yyleng-1]); + c = currentMoveString[4] = ToLower(yytext[yyleng-1]); currentMoveString[5] = NULLCHAR; + if(c != '=' && c != '+' && CharToPiece(c) == EmptySquare) + return IllegalMove; } else { currentMoveString[4] = NULLCHAR; } result = LegalityTest(boards[yyboardindex], PosFlags(yyboardindex), EP_UNKNOWN, - currentMoveString[1] - '1', - currentMoveString[0] - 'a', - currentMoveString[3] - '1', - currentMoveString[2] - 'a', + initialRights, /* [HGM] assume all castlings allowed */ + currentMoveString[1] - ONE, + currentMoveString[0] - AAA, + currentMoveString[3] - ONE, + currentMoveString[2] - AAA, currentMoveString[4]); if (currentMoveString[4] == NULLCHAR && - (result == WhitePromotionQueen || result == BlackPromotionQueen)) { - currentMoveString[4] = 'q'; + (result == WhitePromotionQueen || result == BlackPromotionQueen || + result == WhitePromotionKnight || result == BlackPromotionKnight)) { + currentMoveString[4] = PieceToChar(BlackQueen); currentMoveString[5] = NULLCHAR; } @@ -2359,10 +2486,11 @@ YY_RULE_SETUP result = LegalityTest(boards[yyboardindex], PosFlags(yyboardindex), EP_UNKNOWN, - currentMoveString[1] - '1', - currentMoveString[0] - 'a', - currentMoveString[3] - '1', - currentMoveString[2] - 'a', + initialRights, /* [HGM] assume all castlings allowed */ + currentMoveString[1] - ONE, + currentMoveString[0] - AAA, + currentMoveString[3] - ONE, + currentMoveString[2] - AAA, currentMoveString[4]); if (result == WhiteCapturesEnPassant || result == BlackCapturesEnPassant) @@ -2373,37 +2501,57 @@ YY_RULE_SETUP YY_BREAK case 6: YY_RULE_SETUP -#line 422 "../parser.l" { /* * piece move, possibly ambiguous */ DisambiguateClosure cl; - int skip = 0; + int skip = 0, skip2 = 0, promoted = 0; if (yyskipmoves) return (int) AmbiguousMove; /* not disambiguated */ + if(yytext[0] == '+') promoted = skip = skip2 = 1; + /* remove the [xX:-] */ - if ((yytext[1] == 'x') || (yytext[1] == 'X') - || (yytext[1] == ':') || (yytext[1] == '-')) skip = 1; + if ((yytext[1+skip] == 'x') || (yytext[1+skip] == 'X') + || (yytext[1+skip] == ':') || (yytext[1+skip] == '-')) skip++; if (WhiteOnMove(yyboardindex)) { - cl.pieceIn = CharToPiece(ToUpper(yytext[0])); + cl.pieceIn = CharToPiece(ToUpper(yytext[skip2])); } else { - cl.pieceIn = CharToPiece(ToLower(yytext[0])); + cl.pieceIn = CharToPiece(ToLower(yytext[skip2])); } + if(promoted) cl.pieceIn = (ChessSquare) (PROMOTED cl.pieceIn); + cl.rfIn = -1; cl.ffIn = -1; - cl.rtIn = yytext[2+skip] - '1'; - cl.ftIn = yytext[1+skip] - 'a'; + cl.rtIn = yytext[2+skip] - ONE; + cl.ftIn = yytext[1+skip] - AAA; cl.promoCharIn = NULLCHAR; + + if(yyleng-skip > 3) /* [HGM] can have Shogi-style promotion */ + cl.promoCharIn = yytext[yyleng-1]; + + if (appData.debugMode) { + fprintf(debugFP, "Parser Qa1: yyleng=%d, %d(%d,%d)-(%d,%d) = %d (%c)\n", + yyleng, + cl.pieceIn,cl.ffIn,cl.rfIn,cl.ftIn,cl.rtIn,cl.promoCharIn,cl.promoCharIn?cl.promoCharIn:' '); + } + + /* [HGM] but do not allow values beyond board size */ + if(cl.rtIn >= BOARD_HEIGHT || + cl.rtIn < 0 || + cl.ftIn >= BOARD_RGHT || + cl.ftIn < BOARD_LEFT ) + return 0; + Disambiguate(boards[yyboardindex], PosFlags(yyboardindex), EP_UNKNOWN, &cl); - currentMoveString[0] = cl.ff + 'a'; - currentMoveString[1] = cl.rf + '1'; - currentMoveString[2] = cl.ft + 'a'; - currentMoveString[3] = cl.rt + '1'; + currentMoveString[0] = cl.ff + AAA; + currentMoveString[1] = cl.rf + ONE; + currentMoveString[2] = cl.ft + AAA; + currentMoveString[3] = cl.rt + ONE; currentMoveString[4] = cl.promoChar; currentMoveString[5] = NULLCHAR; @@ -2412,42 +2560,61 @@ YY_RULE_SETUP YY_BREAK case 7: YY_RULE_SETUP -#line 458 "../parser.l" { /* * piece move with rank or file disambiguator */ DisambiguateClosure cl; - int skip = 0; + int skip = 0, skip2 = 0; int promoted=0; if (yyskipmoves) return (int) AmbiguousMove; /* not disambiguated */ + if(yytext[0]=='+') promoted = skip = skip2 = 1; + /* remove the [xX:-] */ - if ((yytext[2] == 'x') || (yytext[2] == 'X') - || (yytext[2] == ':') || (yytext[2] == '-')) skip = 1; + if ((yytext[2+skip] == 'x') || (yytext[2+skip] == 'X') + || (yytext[2+skip] == ':') || (yytext[2+skip] == '-')) skip++; if (WhiteOnMove(yyboardindex)) { - cl.pieceIn = CharToPiece(ToUpper(yytext[0])); + cl.pieceIn = CharToPiece(ToUpper(yytext[skip2])); } else { - cl.pieceIn = CharToPiece(ToLower(yytext[0])); + cl.pieceIn = CharToPiece(ToLower(yytext[skip2])); } - if (isalpha(yytext[1])) { + if(promoted) cl.pieceIn = (ChessSquare) (PROMOTED cl.pieceIn); + + if (isalpha(yytext[1+skip2])) { cl.rfIn = -1; - cl.ffIn = yytext[1] - 'a'; + cl.ffIn = yytext[1+skip2] - AAA; + + if(cl.ffIn >= BOARD_RGHT || + cl.ffIn < BOARD_LEFT ) return 0; } else { - cl.rfIn = yytext[1] - '1'; + cl.rfIn = yytext[1+skip2] - ONE; cl.ffIn = -1; + if(cl.rfIn >= BOARD_HEIGHT || + cl.rfIn < 0) return 0; } - cl.rtIn = yytext[3+skip] - '1'; - cl.ftIn = yytext[2+skip] - 'a'; + cl.rtIn = yytext[3+skip] - ONE; + cl.ftIn = yytext[2+skip] - AAA; cl.promoCharIn = NULLCHAR; + + if(yyleng-skip > 4) /* [HGM] can have Shogi-style promotion */ + cl.promoCharIn = yytext[yyleng-1]; + + /* [HGM] do not allow values beyond board size */ + if(cl.rtIn >= BOARD_HEIGHT || + cl.rtIn < 0 || + cl.ftIn >= BOARD_RGHT || + cl.ftIn < BOARD_LEFT ) + return 0; + Disambiguate(boards[yyboardindex], PosFlags(yyboardindex), EP_UNKNOWN, &cl); - currentMoveString[0] = cl.ff + 'a'; - currentMoveString[1] = cl.rf + '1'; - currentMoveString[2] = cl.ft + 'a'; - currentMoveString[3] = cl.rt + '1'; + currentMoveString[0] = cl.ff + AAA; + currentMoveString[1] = cl.rf + ONE; + currentMoveString[2] = cl.ft + AAA; + currentMoveString[3] = cl.rt + ONE; currentMoveString[4] = cl.promoChar; currentMoveString[5] = NULLCHAR; @@ -2456,101 +2623,135 @@ YY_RULE_SETUP YY_BREAK case 8: YY_RULE_SETUP -#line 499 "../parser.l" { int rf, ff, rt, ft; if (yyskipmoves) return (int) AmbiguousMove; /* not disambiguated */ + /* [HGM] all squares referenced to board edges in stead of absolute */ if (WhiteOnMove(yyboardindex)) { - if (boards[yyboardindex][0][3] == WhiteKing) { + if (boards[yyboardindex][0][(BOARD_WIDTH-1)>>1] == WhiteKing) { /* ICS wild castling */ - strcpy(currentMoveString, "d1f1"); rf = 0; - ff = 3; + ff = (BOARD_WIDTH-1)>>1; rt = 0; - ft = 5; + ft = BOARD_RGHT-3; } else { - strcpy(currentMoveString, "e1c1"); rf = 0; - ff = 4; + ff = BOARD_WIDTH>>1; rt = 0; - ft = 2; + ft = BOARD_LEFT+2; } - } else{ - if (boards[yyboardindex][7][3] == BlackKing) { + } else{ + if (boards[yyboardindex][BOARD_HEIGHT-1][(BOARD_WIDTH-1)>>1] == BlackKing) { /* ICS wild castling */ - strcpy(currentMoveString, "d8f8"); - rf = 7; - ff = 3; - rt = 7; - ft = 5; + rf = BOARD_HEIGHT-1; + ff = (BOARD_WIDTH-1)>>1; + rt = BOARD_HEIGHT-1; + ft = BOARD_RGHT-3; } else { - strcpy(currentMoveString, "e8c8"); - rf = 7; - ff = 4; - rt = 7; - ft = 2; + rf = BOARD_HEIGHT-1; + ff = BOARD_WIDTH>>1; + rt = BOARD_HEIGHT-1; + ft = BOARD_LEFT+2; } } + if(gameInfo.variant == VariantFischeRandom) { + if (WhiteOnMove(yyboardindex)) { + ff = initialRights[2]; + ft = initialRights[1]; + } else { + ff = initialRights[5]; + ft = initialRights[4]; + } + fprintf(debugFP, "Parser FRC long %d %d\n", ff, ft); + if(ff < 0 || ft < 0) return 0; + } + sprintf(currentMoveString, "%c%c%c%c",ff+AAA,rf+ONE,ft+AAA,rt+ONE); + if (appData.debugMode) { + fprintf(debugFP, "long castling %d %d\n", ff, ft); + } return (int) LegalityTest(boards[yyboardindex], PosFlags(yyboardindex), EP_UNKNOWN, + castlingRights[yyboardindex], /* [HGM] use true castling rights */ rf, ff, rt, ft, NULLCHAR); } YY_BREAK case 9: YY_RULE_SETUP -#line 540 "../parser.l" { int rf, ff, rt, ft; if (yyskipmoves) return (int) AmbiguousMove; /* not disambiguated */ if (WhiteOnMove(yyboardindex)) { - if (boards[yyboardindex][0][3] == WhiteKing) { + if (boards[yyboardindex][0][(BOARD_WIDTH-1)>>1] == WhiteKing) { /* ICS wild castling */ - strcpy(currentMoveString, "d1b1"); rf = 0; - ff = 3; + ff = (BOARD_WIDTH-1)>>1; rt = 0; - ft = 1; + ft = BOARD_LEFT+1; } else { - strcpy(currentMoveString, "e1g1"); rf = 0; - ff = 4; + ff = BOARD_WIDTH>>1; rt = 0; - ft = 6; + ft = BOARD_RGHT-2; } } else { - if (boards[yyboardindex][7][3] == BlackKing) { + if (boards[yyboardindex][BOARD_HEIGHT-1][(BOARD_WIDTH-1)>>1] == BlackKing) { /* ICS wild castling */ - strcpy(currentMoveString, "d8b8"); - rf = 7; - ff = 3; - rt = 7; - ft = 1; + rf = BOARD_HEIGHT-1; + ff = (BOARD_WIDTH-1)>>1; + rt = BOARD_HEIGHT-1; + ft = BOARD_LEFT+1; } else { - strcpy(currentMoveString, "e8g8"); - rf = 7; - ff = 4; - rt = 7; - ft = 6; + rf = BOARD_HEIGHT-1; + ff = BOARD_WIDTH>>1; + rt = BOARD_HEIGHT-1; + ft = BOARD_RGHT-2; } } + if(gameInfo.variant == VariantFischeRandom) { + if (WhiteOnMove(yyboardindex)) { + ff = initialRights[2]; + ft = initialRights[0]; + } else { + ff = initialRights[5]; + ft = initialRights[3]; + } + if (appData.debugMode) { + fprintf(debugFP, "Parser FRC short %d %d\n", ff, ft); + } + if(ff < 0 || ft < 0) return 0; + } + sprintf(currentMoveString, "%c%c%c%c",ff+AAA,rf+ONE,ft+AAA,rt+ONE); + if (appData.debugMode) { + fprintf(debugFP, "short castling %d %d\n", ff, ft); + } + return (int) LegalityTest(boards[yyboardindex], - PosFlags(yyboardindex), EP_UNKNOWN, + PosFlags(yyboardindex), EP_UNKNOWN, + castlingRights[yyboardindex], /* [HGM] use true castling rights */ rf, ff, rt, ft, NULLCHAR); } YY_BREAK case 10: YY_RULE_SETUP -#line 581 "../parser.l" { /* Bughouse piece drop. No legality checking for now. */ currentMoveString[1] = '@'; currentMoveString[2] = yytext[2]; currentMoveString[3] = yytext[3]; currentMoveString[4] = NULLCHAR; + + if (appData.debugMode) { + fprintf(debugFP, "Drop: %s\n", currentMoveString); + } + /* [HGM] do not allow values beyond board size */ + if(currentMoveString[3] - ONE >= BOARD_HEIGHT || + currentMoveString[2] - AAA >= BOARD_WIDTH ) + return 0; + if (WhiteOnMove(yyboardindex)) { currentMoveString[0] = ToUpper(yytext[0]); return (int) WhiteDrop; @@ -2562,7 +2763,6 @@ YY_RULE_SETUP YY_BREAK case 11: YY_RULE_SETUP -#line 596 "../parser.l" { if (WhiteOnMove(yyboardindex)) return (int) BlackWins; @@ -2572,35 +2772,30 @@ YY_RULE_SETUP YY_BREAK case 12: YY_RULE_SETUP -#line 603 "../parser.l" { return (int) (ToUpper(yytext[0]) == 'W' ? BlackWins : WhiteWins); } YY_BREAK case 13: YY_RULE_SETUP -#line 607 "../parser.l" { return (int) GameUnfinished; } YY_BREAK case 14: YY_RULE_SETUP -#line 611 "../parser.l" { return (int) GameIsDrawn; } YY_BREAK case 15: YY_RULE_SETUP -#line 615 "../parser.l" { return (int) GameIsDrawn; } YY_BREAK case 16: YY_RULE_SETUP -#line 619 "../parser.l" { if (WhiteOnMove(yyboardindex)) return (int) BlackWins; @@ -2610,7 +2805,6 @@ YY_RULE_SETUP YY_BREAK case 17: YY_RULE_SETUP -#line 626 "../parser.l" { if (WhiteOnMove(yyboardindex)) return (int) BlackWins; @@ -2620,63 +2814,54 @@ YY_RULE_SETUP YY_BREAK case 18: YY_RULE_SETUP -#line 633 "../parser.l" { return (int) GameIsDrawn; } YY_BREAK case 19: YY_RULE_SETUP -#line 637 "../parser.l" { return (int) GameIsDrawn; } YY_BREAK case 20: YY_RULE_SETUP -#line 641 "../parser.l" { return (int) (ToUpper(yytext[0]) == 'W' ? WhiteWins : BlackWins); } YY_BREAK case 21: YY_RULE_SETUP -#line 645 "../parser.l" { return (int) (ToUpper(yytext[0]) == 'W' ? BlackWins : WhiteWins); } YY_BREAK case 22: YY_RULE_SETUP -#line 649 "../parser.l" -{ +{ return (int) WhiteWins; } YY_BREAK case 23: YY_RULE_SETUP -#line 653 "../parser.l" -{ +{ return (int) BlackWins; } YY_BREAK case 24: YY_RULE_SETUP -#line 657 "../parser.l" { return (int) GameIsDrawn; } YY_BREAK case 25: YY_RULE_SETUP -#line 661 "../parser.l" { return (int) GameUnfinished; } YY_BREAK case 26: YY_RULE_SETUP -#line 665 "../parser.l" { /* move numbers */ if ((yyleng == 1) && (yytext[0] == '1')) @@ -2685,15 +2870,13 @@ YY_RULE_SETUP YY_BREAK case 27: YY_RULE_SETUP -#line 671 "../parser.l" { - /* elapsed time indication, e.g. (0:12) or {10:21.071} */ + /* elapsed time indication, e.g. (0:12) or {10:21.071} */ return (int) ElapsedTime; } YY_BREAK case 28: YY_RULE_SETUP -#line 676 "../parser.l" { /* position diagram enclosed in [-- --] */ return (int) PositionDiagram; @@ -2704,7 +2887,6 @@ case 29: yy_c_buf_p = yy_cp -= 1; YY_DO_BEFORE_ACTION; /* set up yytext again */ YY_RULE_SETUP -#line 681 "../parser.l" { /* position diagram enclosed in {-- --} */ return (int) PositionDiagram; @@ -2712,14 +2894,12 @@ YY_RULE_SETUP YY_BREAK case 30: YY_RULE_SETUP -#line 686 "../parser.l" { return (int) PGNTag; -} +} YY_BREAK case 31: YY_RULE_SETUP -#line 690 "../parser.l" { return (int) GNUChessGame; } @@ -2729,23 +2909,20 @@ case 32: yy_c_buf_p = yy_cp -= 1; YY_DO_BEFORE_ACTION; /* set up yytext again */ YY_RULE_SETUP -#line 694 "../parser.l" { return (int) XBoardGame; } YY_BREAK case 33: YY_RULE_SETUP -#line 698 "../parser.l" { /* numeric annotation glyph */ return (int) NAG; } YY_BREAK case 34: YY_RULE_SETUP -#line 702 "../parser.l" { /* anything in {} */ - return (int) Comment; + return (int) Comment; } YY_BREAK case 35: @@ -2753,59 +2930,50 @@ case 35: yy_c_buf_p = yy_cp -= 1; YY_DO_BEFORE_ACTION; /* set up yytext again */ YY_RULE_SETUP -#line 706 "../parser.l" { /* ; to end of line */ return (int) Comment; } YY_BREAK case 36: YY_RULE_SETUP -#line 710 "../parser.l" { /* anything in [] */ - return (int) Comment; + return (int) Comment; } YY_BREAK case 37: YY_RULE_SETUP -#line 714 "../parser.l" { /* nested () */ - return (int) Comment; + return (int) Comment; } YY_BREAK case 38: YY_RULE_SETUP -#line 718 "../parser.l" { /* >=2 chars in () */ - return (int) Comment; -} + return (int) Comment; +} YY_BREAK case 39: YY_RULE_SETUP -#line 722 "../parser.l" { /* Skip mail headers */ } YY_BREAK case 40: YY_RULE_SETUP -#line 726 "../parser.l" { /* Skip random words */ } YY_BREAK case 41: YY_RULE_SETUP -#line 730 "../parser.l" { /* Skip everything else */ } YY_BREAK case 42: YY_RULE_SETUP -#line 734 "../parser.l" ECHO; YY_BREAK -#line 2809 "lex.yy.c" case YY_STATE_EOF(INITIAL): yyterminate(); @@ -3095,7 +3263,7 @@ static yy_state_type yy_get_previous_state() while ( yy_chk[yy_base[yy_current_state] + yy_c] != yy_current_state ) { yy_current_state = (int) yy_def[yy_current_state]; - if ( yy_current_state >= 711 ) + if ( yy_current_state >= 697 ) yy_c = yy_meta[(unsigned int) yy_c]; } yy_current_state = yy_nxt[yy_base[yy_current_state] + (unsigned int) yy_c]; @@ -3125,11 +3293,11 @@ yy_state_type yy_current_state; while ( yy_chk[yy_base[yy_current_state] + yy_c] != yy_current_state ) { yy_current_state = (int) yy_def[yy_current_state]; - if ( yy_current_state >= 711 ) + if ( yy_current_state >= 697 ) 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 == 710); + yy_is_jam = (yy_current_state == 696); if ( ! yy_is_jam ) *yy_state_ptr++ = yy_current_state; @@ -3182,7 +3350,6 @@ register char *yy_bp; #endif /* ifndef YY_NO_UNPUT */ -#ifndef YY_NO_INPUT #ifdef __cplusplus static int yyinput() #else @@ -3255,7 +3422,7 @@ static int input() return c; } -#endif /* YY_NO_INPUT */ + #ifdef YY_USE_PROTOS void yyrestart( FILE *input_file ) @@ -3366,6 +3533,15 @@ YY_BUFFER_STATE b; } +#ifndef _WIN32 +#include +#else +#ifndef YY_ALWAYS_INTERACTIVE +#ifndef YY_NEVER_INTERACTIVE +extern int isatty YY_PROTO(( int )); +#endif +#endif +#endif #ifdef YY_USE_PROTOS void yy_init_buffer( YY_BUFFER_STATE b, FILE *file ) @@ -3683,7 +3859,6 @@ int main() return 0; } #endif -#line 734 "../parser.l" @@ -3695,7 +3870,7 @@ static FILE *lexFP; static int input() { int ret; - + if (StringToLex != NULL) { ret = *StringToLex; if (ret == NULLCHAR) @@ -3706,9 +3881,9 @@ static int input() ret = unputBuffer[--unputCount]; } else { ret = fgetc(lexFP); - } + } - if (ret == EOF) + if (ret == EOF) return 0; else return ret; @@ -3726,7 +3901,7 @@ int yyoffset() } return(offset); } - + static void output(ch) int ch; { @@ -3798,7 +3973,7 @@ void my_yy_input(buf, result, max_size) *result = count; } return; - } + } } static YY_BUFFER_STATE my_file_buffer = NULL; @@ -3852,7 +4027,7 @@ ChessMove yylexstr(boardIndex, s) #ifdef FLEX_SCANNER YY_BUFFER_STATE buffer, oldBuffer; #endif - + yyboardindex = boardIndex; oldStringToLex = StringToLex; StringToLex = s; @@ -3865,7 +4040,7 @@ ChessMove yylexstr(boardIndex, s) ret = (ChessMove) yylex(); #ifdef FLEX_SCANNER - if (oldBuffer != NULL) + if (oldBuffer != NULL) yy_switch_to_buffer(oldBuffer); yy_delete_buffer(buffer); #endif /*FLEX_SCANNER*/