X-Git-Url: http://winboard.nl/cgi-bin?a=blobdiff_plain;f=winboard%2Fparser.c;h=b75d11367c5a48d22938672d47e1cbee203df346;hb=6c7ae8ed3384beea993292faad7444288aa75ac7;hp=81e4c769391f81e4251dbb547d19a7a5db952404;hpb=cf8ee83ef1cee354cad4503b242f724abac1fe68;p=xboard.git diff --git a/winboard/parser.c b/winboard/parser.c index 81e4c76..b75d113 100644 --- a/winboard/parser.c +++ b/winboard/parser.c @@ -286,7 +286,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[650] = +static yyconst short int yy_acclist[602] = { 0, 43, 41, 42, 41, 42, 41, 42, 40, 41, 42, 41, 42, 25, 41, 42, 41, 42, 40, 41, 42, @@ -294,15 +294,15 @@ static yyconst short int yy_acclist[650] = 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, 40, 41, 42, 40, 41, + 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, 41, 42, - 40, 41, 42, 40, 41, 42, 40, 41, 42,16410, - 40, 41, 42,16410, 41, 42, 40, 41, 42, 40, + 40, 41, 42, 41, 42, 41, 42, 40, 41, 42, + 40, 41, 42, 40, 41, 42,16410, 40, 41, 42, + 16410, 41, 42, 40, 41, 42, 40, 41, 42, 40, 41, 42, 40, 41, 42, 40, 41, 42, 40, 41, 42, 40, 41, 42, 40, 41, 42, 40, 41, 42, 40, 41, 42, 40, 41, 42, 40, 41, 42, 40, @@ -311,135 +311,129 @@ static yyconst short int yy_acclist[650] = 40, 41, 42, 40, 41, 42, 40, 41, 42, 40, 41, 42, 40, 41, 42, 40, 41, 42, 40, 41, - 42, 40, 41, 42, 40, 41, 42, 40, 41, 42, - 41, 42, 33, 40, 17, 40, 9, 40, 40, 40, - 16410, 8218, 40, 35, 40, 40, 40, 40, 40, 40, - 40, 40, 40, 40, 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, + 42, 40, 41, 42, 41, 42, 33, 40, 17, 40, + 9, 40, 40, 40,16410, 8218, 40, 35, 40, 40, + 40, 40, 40, 40, 40, 40, 40, 40, 9, 40, + 40, 40, 40, 36, 40, 3, 40, 40, 4, 40, + 40, 40, 40, 40, 40, 9, 40, 40, 40, 34, + 40, 40, 9, 40, 40, 40,16410, 8218, 40, 40, 40, 40, 40, 40, 40, 40, 40, 40, 40, 9, - 40, 40, 40, 40, 40, 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, - 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, - 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 + 40, 40, 40, 40, 40, 3, 40, 40, 4, 40, + 40, 40, 40, 40, 40, 9, 40, 40, 40, 15, + + 9, 40, 23, 40, 23, 8, 40, 8218, 22, 40, + 22, 24, 40, 40, 40, 6, 40, 40, 40, 40, + 40, 40, 9, 40, 40, 40, 40, 4, 40, 40, + 3, 3, 40, 3, 40, 40, 4, 5, 40, 4, + 4, 40, 40, 40, 40, 9, 40, 40, 34, 39, + 9, 40, 23, 40, 8, 40, 22, 40, 35, 40, + 40, 40, 6, 40, 40, 40, 40, 40, 40, 9, + 40, 40, 40, 40, 4, 40, 40, 3, 40, 3, + 40, 40, 5, 40, 4, 40, 40, 40, 40, 9, + 40, 40, 38, 38, 38, 37, 25, 25, 6, 40, + + 10, 6, 40, 7, 40, 6, 40, 6, 40, 40, + 40, 19, 40, 40, 16, 40, 40, 40, 40, 40, + 36, 3, 3, 2, 40, 5, 4, 5, 5, 40, + 40, 4, 4, 40, 40, 25, 39, 40, 6, 40, + 7, 40, 40, 40, 40, 40, 19, 40, 40, 16, + 40, 40, 40, 40, 40, 2, 40, 5, 40, 40, + 4, 40, 40, 38, 7, 7, 1, 40, 20, 40, + 40, 19, 40, 40, 40, 40, 40, 40, 30, 36, + 2, 2, 2, 40, 5, 5, 5, 40, 39, 1, + 40, 40, 40, 19, 40, 40, 40, 40, 40, 40, + + 2, 40, 5, 40, 27, 38, 1, 23, 23, 22, + 22, 24, 24, 1, 1, 40, 21, 20, 40, 40, + 40, 11, 40, 40, 28, 36, 30, 2, 2, 27, + 34, 39, 39, 1, 40, 40, 40, 40, 11, 40, + 40, 18, 1, 24, 1, 21, 19, 40, 40, 40, + 11, 40, 40, 40, 40, 40, 11, 40, 40, 12, + 40, 40, 40, 40, 12, 40, 40, 14, 40, 40, + 40, 14, 40, 40, 40, 39, 40, 40, 40, 40, + 39, 39, 40, 40, 31, 40, 39, 39, 31, 40, + 13, 31, 32, 32, 35, 39, 39, 31, 39, 34, + + 29 } ; -static yyconst short int yy_accept[698] = +static yyconst short int yy_accept[689] = { 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, 66, 69, 72, 75, + 49, 52, 55, 58, 61, 63, 66, 69, 72, 75, 78, 81, 84, 87, 90, 93, 96, 99, 102, 105, - 108, 111, 114, 117, 119, 121, 124, 127, 131, 135, + 108, 111, 114, 116, 118, 121, 124, 128, 132, 134, 137, 140, 143, 146, 149, 152, 155, 158, 161, 164, 167, 170, 173, 176, 179, 182, 185, 188, 191, 194, - 197, 200, 203, 206, 209, 212, 215, 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 - + 197, 200, 203, 206, 209, 212, 215, 217, 217, 218, + 219, 219, 219, 219, 219, 220, 220, 220, 220, 221, + 221, 223, 223, 223, 223, 224, 224, 224, 226, 226, + + 228, 228, 229, 229, 230, 230, 231, 231, 232, 232, + 233, 234, 235, 236, 237, 238, 239, 241, 242, 243, + 244, 244, 244, 244, 244, 245, 246, 248, 248, 249, + 251, 252, 253, 254, 255, 256, 258, 259, 260, 260, + 260, 260, 261, 261, 262, 262, 263, 265, 265, 266, + 268, 268, 270, 270, 271, 272, 272, 273, 274, 275, + 276, 277, 278, 279, 280, 282, 283, 284, 285, 286, + 288, 288, 289, 291, 292, 293, 294, 295, 296, 298, + 299, 300, 300, 300, 300, 300, 300, 300, 300, 300, + 300, 300, 300, 301, 301, 301, 301, 301, 301, 303, + + 305, 306, 308, 309, 309, 309, 309, 311, 312, 313, + 313, 314, 314, 315, 315, 316, 316, 318, 318, 318, + 318, 318, 318, 318, 319, 320, 321, 322, 323, 325, + 326, 327, 328, 328, 328, 328, 328, 330, 330, 331, + 331, 332, 334, 336, 337, 338, 338, 340, 341, 343, + 344, 345, 346, 348, 349, 350, 350, 350, 350, 350, + 351, 353, 355, 357, 359, 359, 360, 360, 361, 362, + 362, 363, 365, 366, 367, 368, 369, 370, 372, 373, + 374, 375, 377, 378, 378, 380, 382, 383, 385, 387, + 388, 389, 390, 392, 393, 393, 393, 394, 395, 395, + + 395, 396, 396, 396, 397, 397, 397, 398, 398, 399, + 399, 400, 400, 400, 400, 401, 401, 401, 401, 401, + 401, 401, 401, 402, 404, 404, 406, 407, 408, 408, + 409, 410, 410, 410, 410, 410, 410, 410, 411, 412, + 414, 414, 415, 417, 418, 419, 420, 421, 421, 421, + 421, 421, 422, 423, 423, 424, 426, 427, 428, 428, + 428, 429, 431, 432, 433, 433, 435, 436, 436, 437, + 437, 437, 437, 437, 438, 438, 439, 439, 439, 441, + 443, 444, 444, 445, 446, 447, 449, 450, 452, 453, + 454, 455, 456, 458, 460, 461, 463, 464, 464, 464, + + 464, 464, 465, 465, 465, 465, 465, 466, 466, 466, + 466, 466, 466, 466, 466, 466, 466, 467, 469, 469, + 469, 469, 469, 469, 470, 471, 472, 472, 474, 474, + 475, 476, 477, 478, 479, 479, 479, 481, 481, 481, + 482, 482, 483, 485, 486, 486, 487, 487, 489, 489, + 489, 489, 489, 489, 489, 489, 490, 490, 490, 492, + 493, 494, 496, 497, 498, 499, 500, 501, 503, 505, + 505, 505, 505, 505, 505, 505, 507, 507, 508, 508, + 509, 509, 510, 510, 511, 511, 512, 512, 513, 513, + 514, 514, 514, 514, 515, 517, 517, 517, 518, 518, + + 518, 519, 520, 520, 520, 520, 520, 520, 521, 522, + 524, 525, 527, 527, 528, 529, 530, 530, 530, 532, + 532, 532, 533, 534, 534, 534, 536, 537, 538, 539, + 541, 542, 542, 543, 543, 543, 543, 543, 544, 544, + 545, 546, 546, 546, 547, 547, 547, 548, 548, 548, + 548, 548, 549, 550, 551, 553, 554, 554, 554, 554, + 554, 554, 555, 556, 557, 559, 560, 560, 560, 560, + 560, 560, 560, 561, 561, 561, 561, 561, 562, 563, + 563, 563, 563, 563, 564, 565, 565, 565, 565, 565, + 566, 566, 566, 566, 567, 568, 570, 570, 570, 570, + + 570, 571, 571, 572, 574, 574, 574, 574, 574, 575, + 576, 576, 576, 576, 576, 577, 578, 579, 579, 579, + 579, 579, 579, 580, 581, 581, 581, 581, 581, 582, + 583, 584, 585, 585, 585, 585, 585, 585, 587, 587, + 587, 587, 587, 588, 589, 591, 591, 591, 592, 592, + 593, 593, 594, 594, 594, 596, 596, 597, 598, 598, + 598, 598, 598, 600, 600, 600, 600, 600, 600, 600, + 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, + 600, 600, 600, 600, 600, 601, 602, 602 } ; static yyconst int yy_ec[256] = @@ -486,695 +480,614 @@ static yyconst int yy_meta[74] = 17, 1, 1 } ; -static yyconst short int yy_base[784] = +static yyconst short int yy_base[767] = { 0, - 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 + 0, 73, 3814, 3815, 122, 131, 0, 142, 3809, 140, + 151, 171, 162, 3809, 231, 159, 3757, 3746, 119, 3762, + 143, 3757, 3741, 190, 301, 361, 211, 207, 279, 215, + 224, 284, 243, 286, 301, 303, 305, 3759, 232, 3754, + 3738, 264, 351, 3799, 149, 379, 430, 351, 255, 493, + 212, 3748, 3737, 327, 3753, 157, 3748, 3732, 331, 555, + 372, 245, 378, 351, 468, 530, 475, 477, 505, 523, + 508, 576, 578, 385, 579, 610, 615, 3744, 372, 0, + 3786, 309, 630, 431, 3815, 3782, 675, 575, 405, 3776, + 3776, 3774, 450, 639, 3774, 472, 165, 640, 3773, 0, + + 3786, 3815, 0, 699, 0, 744, 0, 648, 787, 652, + 656, 3649, 3636, 3591, 693, 3601, 3594, 697, 3584, 664, + 3585, 856, 352, 929, 3815, 956, 1006, 0, 1031, 1080, + 660, 717, 721, 3563, 3567, 3551, 3514, 3523, 435, 3504, + 757, 3572, 3571, 497, 3496, 517, 607, 550, 681, 1130, + 160, 518, 554, 1193, 1238, 3477, 686, 762, 787, 764, + 617, 676, 750, 3424, 803, 816, 864, 835, 1262, 1312, + 3439, 1337, 1387, 874, 888, 895, 700, 823, 865, 762, + 866, 885, 3360, 583, 610, 626, 652, 676, 944, 949, + 3394, 3260, 3815, 882, 1190, 3328, 3286, 3281, 3270, 3279, + + 3278, 0, 3815, 3277, 3266, 3263, 3262, 3182, 799, 830, + 900, 958, 1412, 928, 962, 966, 1457, 3130, 3120, 3119, + 3130, 3108, 382, 970, 1075, 3071, 759, 2895, 2927, 2884, + 2880, 1108, 572, 1213, 739, 1527, 1591, 0, 1596, 0, + 2927, 2844, 2843, 974, 1202, 1246, 1645, 2840, 2838, 238, + 2799, 2797, 2814, 2743, 3815, 1210, 1084, 2630, 211, 2628, + 1121, 1132, 606, 1253, 697, 2626, 895, 1217, 1688, 2624, + 1258, 1733, 1467, 1472, 901, 1536, 1252, 1532, 1535, 1538, + 1549, 1795, 1800, 2623, 810, 2615, 1556, 1849, 1259, 1573, + 1473, 1474, 1541, 1543, 1583, 2574, 3815, 778, 832, 913, + + 985, 989, 1007, 3815, 1593, 2613, 2612, 2549, 2548, 1281, + 1646, 2568, 2554, 2550, 2550, 585, 2549, 367, 2487, 636, + 1680, 1125, 3815, 2480, 1679, 2479, 2463, 1854, 1678, 3815, + 1287, 2407, 2407, 2403, 2401, 2401, 2402, 2404, 2403, 968, + 510, 598, 0, 2421, 2405, 2406, 2405, 1007, 1161, 1046, + 1354, 2450, 2443, 1455, 3815, 1694, 1510, 2442, 1161, 1585, + 1700, 2441, 1209, 3815, 2389, 0, 2389, 1789, 2445, 1577, + 1711, 2401, 2386, 2443, 403, 1709, 1281, 374, 1131, 1710, + 1866, 2441, 1741, 819, 1744, 1921, 1746, 1315, 1686, 1789, + 1748, 1793, 1754, 1852, 1917, 1571, 1919, 1930, 2392, 1127, + + 2431, 1221, 1244, 1392, 1421, 1486, 2418, 1620, 2429, 2366, + 2427, 2361, 2422, 2359, 2413, 1923, 3815, 1994, 2381, 2377, + 1452, 2377, 2372, 2361, 2421, 1266, 1919, 2420, 688, 2394, + 2370, 2359, 2358, 2412, 1684, 1660, 3815, 2406, 1891, 933, + 1388, 1579, 2399, 2398, 1462, 3815, 2346, 0, 2379, 1928, + 2371, 1645, 2371, 2328, 2321, 1603, 1495, 1269, 2029, 1941, + 1925, 1943, 1928, 1939, 1932, 1947, 1950, 1954, 1957, 1971, + 1350, 1515, 2374, 1568, 1573, 3815, 1976, 1756, 2373, 2372, + 2309, 2308, 2369, 2368, 2305, 2304, 2365, 2357, 2287, 2285, + 2341, 2337, 1959, 1966, 2344, 2293, 2302, 1746, 760, 2299, + + 3815, 2304, 2334, 2293, 2267, 2308, 2285, 2292, 2262, 1655, + 2274, 3815, 1995, 3815, 2301, 3815, 2294, 2070, 2297, 2243, + 2232, 2279, 1791, 1814, 1812, 1991, 2032, 2065, 2071, 2072, + 2073, 1974, 3815, 2230, 2269, 1647, 2089, 2268, 2274, 2271, + 3815, 2214, 2215, 3815, 2181, 2228, 2221, 2169, 2225, 2188, + 2161, 2184, 2156, 2164, 0, 2141, 2093, 2197, 2133, 1836, + 1662, 2074, 2076, 2082, 2095, 2106, 2002, 2130, 2146, 1724, + 2016, 1985, 2033, 1997, 958, 2003, 1946, 2172, 1919, 1903, + 1880, 1767, 1842, 2245, 2108, 2004, 1805, 1815, 1814, 3815, + 1794, 1920, 1960, 2318, 2077, 0, 1788, 1630, 2046, 598, + + 2391, 2114, 2097, 2110, 2125, 1592, 1532, 2109, 1524, 1460, + 1444, 1439, 1810, 758, 2118, 1443, 1374, 2132, 1261, 1257, + 2094, 2095, 1253, 1188, 1154, 1199, 2130, 1866, 2139, 2166, + 1117, 1053, 2147, 2087, 995, 2122, 2155, 0, 1027, 895, + 924, 2152, 2206, 2212, 0, 2154, 839, 3815, 821, 2158, + 787, 3815, 567, 501, 3815, 2155, 2209, 2232, 2219, 380, + 362, 1838, 2233, 2220, 288, 2197, 1969, 2005, 2157, 2270, + 2274, 2292, 2293, 2294, 2296, 2297, 2299, 2300, 2301, 2302, + 2332, 2345, 2347, 2199, 190, 3815, 3815, 2461, 2480, 2493, + 2507, 2526, 2545, 2561, 2580, 2599, 2617, 1883, 1994, 1999, + + 2635, 2654, 2030, 2673, 2692, 2711, 2730, 2749, 2768, 2787, + 2806, 2825, 2837, 2856, 2875, 2894, 2913, 2921, 2148, 2931, + 2947, 2966, 2985, 3004, 3023, 3042, 3061, 3080, 3099, 3118, + 3137, 3156, 3168, 3187, 3206, 3225, 3244, 3260, 3275, 3291, + 3310, 3326, 3345, 3364, 3383, 3402, 3421, 3440, 3459, 3478, + 3497, 3516, 3535, 3554, 3569, 3588, 3607, 3622, 3636, 3655, + 3674, 3693, 3712, 3731, 3750, 3769 } ; -static yyconst short int yy_def[784] = +static yyconst short int yy_def[767] = { 0, - 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 + 687, 687, 687, 687, 687, 687, 688, 689, 687, 690, + 688, 687, 12, 691, 688, 15, 15, 15, 15, 15, + 15, 15, 15, 15, 692, 688, 26, 26, 26, 26, + 26, 26, 26, 26, 26, 26, 26, 688, 688, 688, + 688, 688, 693, 687, 694, 694, 687, 47, 691, 694, + 50, 50, 50, 50, 50, 50, 50, 50, 50, 694, + 60, 60, 60, 60, 60, 60, 60, 60, 60, 60, + 60, 694, 694, 694, 694, 694, 693, 687, 687, 688, + 695, 696, 695, 687, 687, 687, 687, 687, 688, 687, + 688, 687, 697, 697, 688, 697, 687, 12, 687, 688, + + 691, 687, 698, 688, 699, 688, 700, 106, 687, 106, + 106, 688, 688, 688, 106, 104, 688, 106, 688, 106, + 701, 692, 701, 702, 687, 688, 687, 703, 688, 688, + 688, 688, 688, 688, 688, 688, 688, 688, 693, 704, + 693, 687, 705, 694, 687, 694, 694, 687, 694, 687, + 687, 694, 706, 694, 154, 700, 155, 155, 155, 694, + 694, 694, 155, 154, 694, 155, 694, 155, 154, 687, + 703, 154, 687, 694, 694, 694, 694, 694, 694, 694, + 694, 693, 687, 707, 708, 708, 709, 710, 707, 707, + 711, 712, 687, 713, 713, 687, 687, 687, 688, 688, + + 687, 688, 687, 687, 687, 687, 688, 687, 687, 687, + 688, 687, 688, 713, 688, 687, 688, 687, 687, 687, + 687, 687, 687, 688, 688, 688, 688, 688, 688, 688, + 688, 688, 714, 715, 716, 717, 688, 718, 688, 719, + 718, 688, 239, 688, 720, 720, 688, 246, 688, 688, + 688, 688, 688, 688, 687, 693, 687, 721, 687, 722, + 694, 694, 694, 694, 723, 721, 724, 694, 694, 214, + 694, 269, 694, 694, 694, 694, 694, 694, 694, 694, + 694, 694, 269, 719, 694, 283, 694, 282, 694, 694, + 694, 694, 694, 694, 693, 687, 687, 725, 726, 727, + + 728, 725, 729, 687, 730, 731, 731, 732, 732, 687, + 733, 687, 687, 687, 688, 687, 687, 687, 687, 687, + 687, 687, 687, 688, 733, 688, 687, 688, 325, 687, + 688, 687, 687, 687, 687, 687, 687, 688, 688, 688, + 687, 688, 688, 688, 688, 688, 688, 734, 734, 735, + 736, 737, 687, 687, 687, 738, 739, 687, 687, 739, + 739, 688, 688, 687, 687, 688, 688, 693, 687, 687, + 687, 687, 687, 740, 687, 694, 741, 741, 694, 694, + 283, 329, 694, 694, 694, 694, 694, 694, 694, 694, + 694, 694, 742, 694, 694, 694, 694, 693, 687, 727, + + 743, 744, 728, 745, 729, 730, 687, 687, 746, 747, + 748, 749, 750, 751, 687, 687, 687, 688, 687, 687, + 687, 687, 687, 687, 688, 688, 687, 688, 687, 688, + 688, 688, 688, 688, 752, 753, 687, 754, 687, 755, + 755, 755, 688, 687, 687, 687, 687, 688, 687, 693, + 687, 687, 687, 687, 687, 756, 741, 741, 694, 694, + 694, 694, 694, 694, 694, 694, 694, 694, 694, 693, + 687, 744, 757, 728, 745, 687, 730, 758, 746, 746, + 747, 747, 748, 748, 749, 749, 750, 750, 751, 751, + 687, 687, 758, 758, 688, 687, 687, 687, 687, 687, + + 687, 688, 759, 687, 687, 687, 687, 688, 688, 688, + 688, 687, 687, 687, 687, 687, 687, 693, 687, 687, + 687, 756, 756, 741, 741, 694, 694, 694, 694, 694, + 694, 693, 687, 687, 757, 744, 730, 687, 687, 687, + 687, 687, 687, 687, 687, 759, 759, 687, 687, 687, + 687, 688, 688, 688, 688, 688, 693, 687, 687, 741, + 741, 694, 694, 694, 694, 694, 693, 687, 687, 687, + 687, 687, 687, 687, 687, 687, 687, 760, 688, 687, + 687, 741, 741, 761, 694, 693, 687, 687, 687, 687, + 687, 762, 762, 760, 594, 688, 687, 687, 741, 741, + + 761, 762, 601, 694, 693, 687, 687, 762, 594, 594, + 687, 687, 741, 741, 763, 601, 601, 693, 687, 687, + 762, 762, 594, 594, 687, 687, 741, 741, 763, 763, + 601, 601, 693, 687, 687, 762, 762, 594, 764, 687, + 765, 741, 763, 763, 601, 693, 687, 687, 687, 762, + 764, 687, 687, 765, 687, 741, 763, 763, 693, 687, + 687, 741, 763, 693, 687, 741, 693, 766, 766, 766, + 766, 766, 766, 766, 766, 766, 766, 766, 766, 766, + 766, 766, 766, 766, 687, 687, 0, 687, 687, 687, + 687, 687, 687, 687, 687, 687, 687, 687, 687, 687, + + 687, 687, 687, 687, 687, 687, 687, 687, 687, 687, + 687, 687, 687, 687, 687, 687, 687, 687, 687, 687, + 687, 687, 687, 687, 687, 687, 687, 687, 687, 687, + 687, 687, 687, 687, 687, 687, 687, 687, 687, 687, + 687, 687, 687, 687, 687, 687, 687, 687, 687, 687, + 687, 687, 687, 687, 687, 687, 687, 687, 687, 687, + 687, 687, 687, 687, 687, 687 } ; -static yyconst short int yy_nxt[4591] = +static yyconst short int yy_nxt[3889] = { 0, 4, 4, 4, 5, 4, 4, 6, 4, 7, 8, 4, 9, 10, 7, 4, 4, 11, 12, 13, 13, 4, 14, 4, 4, 15, 16, 17, 18, 15, 15, - 19, 15, 15, 15, 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, + 19, 15, 15, 15, 15, 20, 15, 21, 22, 23, + 15, 24, 15, 25, 4, 4, 26, 27, 28, 29, + 30, 31, 32, 33, 34, 35, 36, 37, 38, 7, + 39, 7, 7, 40, 41, 7, 7, 7, 42, 7, + 7, 43, 4, 4, 4, 4, 5, 4, 44, 6, + 44, 7, 8, 4, 9, 10, 45, 4, 4, 46, + 47, 48, 48, 4, 49, 4, 4, 50, 51, 52, + + 53, 50, 50, 54, 50, 50, 50, 50, 55, 50, + 56, 57, 58, 50, 59, 50, 25, 4, 4, 60, + 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, + 71, 72, 45, 73, 45, 45, 74, 75, 45, 45, + 45, 76, 45, 45, 77, 4, 78, 79, 79, 79, + 79, 82, 85, 86, 88, 113, 116, 80, 83, 83, + 83, 83, 109, 260, 89, 93, 90, 91, 78, 145, + 164, 92, 93, 93, 94, 80, 208, 687, 114, 80, + 117, 208, 687, 209, 95, 96, 97, 98, 98, 98, + 98, 99, 686, 109, 165, 100, 100, 100, 100, 100, + + 100, 100, 100, 80, 100, 80, 80, 100, 100, 100, + 80, 80, 100, 80, 109, 109, 110, 100, 100, 100, + 100, 100, 100, 100, 100, 100, 100, 100, 100, 80, + 100, 100, 100, 100, 100, 80, 80, 80, 80, 80, + 80, 80, 103, 120, 104, 135, 105, 106, 106, 106, + 106, 107, 365, 131, 103, 130, 130, 102, 153, 130, + 133, 131, 131, 372, 130, 130, 130, 109, 132, 158, + 131, 131, 373, 104, 130, 130, 130, 108, 108, 108, + 108, 108, 108, 108, 108, 108, 108, 108, 108, 131, + 131, 174, 136, 173, 173, 130, 130, 130, 176, 366, + + 104, 121, 122, 122, 122, 121, 121, 121, 121, 121, + 121, 121, 121, 121, 123, 121, 121, 138, 187, 188, + 113, 121, 121, 121, 121, 131, 131, 130, 130, 130, + 131, 131, 131, 131, 109, 130, 130, 130, 639, 130, + 130, 130, 112, 114, 121, 125, 121, 131, 131, 131, + 131, 131, 131, 140, 93, 130, 130, 130, 130, 130, + 130, 130, 130, 161, 144, 233, 687, 141, 141, 141, + 141, 145, 121, 121, 126, 109, 102, 127, 127, 127, + 127, 128, 88, 208, 168, 209, 162, 80, 79, 79, + 79, 79, 146, 80, 90, 147, 125, 174, 174, 148, + + 173, 173, 173, 129, 456, 145, 456, 130, 130, 131, + 131, 131, 131, 131, 131, 131, 131, 131, 131, 665, + 173, 199, 200, 142, 174, 174, 173, 173, 173, 175, + 129, 93, 93, 94, 458, 180, 337, 140, 80, 533, + 191, 160, 337, 149, 96, 97, 150, 150, 150, 150, + 151, 93, 93, 93, 152, 152, 152, 152, 152, 152, + 152, 152, 144, 152, 144, 144, 152, 152, 152, 144, + 144, 152, 144, 93, 93, 93, 152, 152, 152, 152, + 152, 152, 152, 152, 152, 152, 152, 152, 144, 152, + 152, 152, 152, 152, 144, 144, 144, 144, 144, 144, + + 144, 80, 192, 655, 103, 80, 154, 142, 105, 155, + 155, 155, 155, 156, 174, 174, 103, 145, 173, 173, + 173, 174, 174, 174, 174, 80, 80, 173, 173, 173, + 173, 173, 173, 261, 262, 154, 429, 145, 145, 157, + 157, 157, 157, 157, 157, 157, 157, 157, 157, 157, + 157, 174, 174, 260, 174, 174, 266, 267, 429, 173, + 173, 173, 154, 80, 173, 173, 161, 201, 169, 174, + 174, 170, 170, 170, 170, 171, 174, 174, 173, 173, + 173, 173, 173, 173, 80, 349, 80, 80, 196, 162, + 197, 178, 185, 297, 409, 198, 145, 172, 145, 145, + + 102, 173, 173, 174, 174, 174, 174, 174, 174, 174, + 174, 174, 174, 109, 80, 80, 125, 140, 80, 187, + 298, 661, 177, 263, 172, 80, 145, 145, 182, 430, + 145, 141, 141, 141, 141, 187, 298, 145, 179, 185, + 93, 93, 93, 93, 167, 411, 189, 189, 189, 189, + 190, 431, 204, 80, 205, 687, 410, 276, 614, 206, + 687, 300, 301, 181, 217, 217, 217, 217, 217, 217, + 217, 217, 217, 217, 217, 217, 247, 247, 247, 247, + 217, 217, 217, 217, 80, 303, 304, 142, 107, 80, + 105, 194, 194, 194, 194, 107, 145, 264, 224, 266, + + 267, 145, 272, 272, 272, 272, 225, 412, 80, 217, + 217, 217, 217, 217, 217, 217, 217, 107, 232, 506, + 145, 195, 195, 195, 195, 195, 195, 195, 195, 195, + 195, 195, 195, 247, 247, 247, 247, 247, 247, 247, + 247, 507, 276, 351, 107, 211, 211, 211, 211, 211, + 211, 211, 211, 211, 211, 211, 211, 213, 228, 140, + 102, 230, 341, 251, 214, 277, 272, 272, 272, 272, + 80, 252, 80, 141, 141, 141, 141, 256, 272, 272, + 272, 272, 145, 352, 145, 342, 213, 303, 304, 652, + 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, + + 215, 215, 321, 272, 272, 272, 272, 342, 273, 544, + 275, 80, 322, 213, 218, 277, 219, 628, 80, 322, + 355, 220, 221, 145, 501, 222, 279, 80, 223, 142, + 145, 80, 272, 272, 272, 272, 218, 274, 219, 145, + 263, 300, 301, 145, 220, 221, 323, 323, 323, 323, + 222, 272, 272, 272, 272, 223, 121, 122, 122, 122, + 121, 121, 121, 121, 121, 121, 121, 121, 121, 121, + 121, 121, 80, 80, 80, 460, 121, 121, 121, 121, + 279, 660, 80, 293, 145, 145, 145, 140, 648, 281, + 288, 288, 288, 288, 145, 214, 80, 102, 295, 121, + + 125, 121, 214, 80, 288, 288, 288, 288, 145, 80, + 280, 288, 288, 288, 288, 145, 324, 324, 324, 324, + 294, 145, 401, 402, 214, 263, 655, 121, 121, 121, + 234, 234, 234, 235, 291, 121, 121, 121, 121, 121, + 121, 687, 441, 121, 121, 292, 653, 377, 687, 121, + 121, 214, 121, 185, 297, 442, 378, 142, 185, 297, + 189, 189, 189, 189, 190, 305, 305, 305, 305, 386, + 687, 427, 121, 125, 325, 325, 325, 325, 326, 326, + 326, 326, 327, 327, 327, 327, 326, 326, 326, 326, + 356, 356, 356, 356, 404, 188, 504, 687, 303, 304, + + 121, 121, 237, 237, 237, 237, 237, 237, 237, 237, + 237, 237, 237, 237, 80, 238, 404, 188, 338, 239, + 349, 504, 80, 80, 80, 80, 240, 428, 241, 652, + 242, 242, 242, 242, 242, 242, 242, 242, 242, 242, + 242, 242, 242, 242, 242, 242, 242, 242, 243, 649, + 351, 125, 244, 244, 244, 244, 244, 244, 244, 244, + 244, 244, 244, 244, 80, 80, 80, 80, 80, 80, + 80, 80, 80, 80, 80, 239, 80, 130, 130, 130, + 130, 130, 130, 130, 130, 130, 130, 130, 130, 246, + 352, 326, 326, 326, 326, 369, 247, 247, 247, 247, + + 370, 371, 248, 645, 249, 249, 249, 249, 249, 249, + 249, 249, 249, 249, 249, 249, 249, 249, 249, 249, + 249, 249, 249, 339, 326, 326, 326, 326, 415, 80, + 250, 93, 93, 93, 376, 316, 401, 402, 80, 80, + 80, 145, 416, 144, 96, 645, 150, 150, 150, 150, + 145, 145, 145, 330, 152, 152, 152, 152, 152, 152, + 152, 152, 144, 152, 144, 144, 152, 152, 152, 144, + 144, 152, 144, 347, 435, 365, 152, 152, 152, 152, + 152, 152, 152, 152, 152, 152, 152, 152, 144, 152, + 152, 152, 152, 152, 144, 144, 144, 144, 144, 144, + + 144, 80, 640, 214, 639, 125, 311, 311, 311, 311, + 214, 246, 140, 145, 234, 234, 234, 235, 357, 357, + 357, 357, 364, 447, 248, 80, 368, 368, 368, 368, + 473, 474, 214, 379, 379, 379, 379, 145, 638, 268, + 268, 268, 268, 268, 268, 268, 268, 268, 268, 268, + 268, 269, 359, 404, 188, 687, 320, 125, 270, 214, + 80, 80, 687, 687, 687, 687, 80, 80, 687, 364, + 448, 102, 145, 145, 380, 380, 380, 380, 145, 145, + 269, 638, 142, 102, 271, 271, 271, 271, 271, 271, + 271, 271, 271, 271, 271, 271, 687, 407, 407, 407, + + 407, 502, 388, 418, 418, 418, 418, 269, 282, 282, + 282, 282, 282, 282, 282, 282, 282, 282, 282, 282, + 80, 238, 635, 80, 502, 283, 634, 457, 144, 144, + 144, 144, 284, 525, 241, 145, 285, 285, 285, 285, + 285, 285, 285, 285, 285, 285, 285, 285, 285, 285, + 285, 285, 285, 285, 286, 436, 436, 436, 287, 287, + 287, 287, 287, 287, 287, 287, 287, 287, 287, 287, 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, - - 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, - - 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, + 144, 283, 144, 173, 173, 173, 173, 173, 173, 173, + 173, 173, 173, 173, 173, 80, 246, 687, 437, 533, - 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, 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, 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, + 144, 473, 474, 288, 288, 288, 288, 145, 534, 248, + 687, 289, 289, 289, 289, 289, 289, 289, 289, 289, + 289, 289, 289, 289, 289, 289, 289, 289, 289, 289, + 404, 188, 632, 144, 144, 144, 144, 290, 144, 144, + 144, 144, 144, 144, 144, 144, 144, 144, 144, 144, + 144, 144, 144, 144, 144, 144, 144, 144, 215, 215, + 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, + 328, 440, 440, 440, 440, 80, 447, 329, 631, 330, + 80, 80, 80, 380, 380, 380, 380, 145, 380, 380, + 380, 380, 145, 145, 145, 185, 476, 102, 626, 328, + + 477, 625, 498, 331, 331, 331, 331, 331, 331, 331, + 331, 331, 331, 331, 331, 384, 498, 498, 624, 360, + 385, 384, 385, 446, 473, 474, 328, 121, 234, 234, + 234, 235, 361, 121, 121, 121, 121, 121, 121, 341, + 80, 121, 121, 80, 80, 389, 80, 121, 121, 80, + 121, 80, 145, 524, 397, 145, 145, 80, 145, 623, + 445, 145, 387, 145, 80, 380, 380, 380, 380, 145, + 121, 125, 393, 393, 393, 393, 145, 404, 188, 80, + 88, 80, 473, 474, 387, 140, 620, 365, 441, 390, + 451, 145, 90, 145, 687, 391, 398, 92, 121, 121, + + 246, 687, 185, 297, 523, 375, 523, 687, 392, 406, + 406, 406, 406, 248, 392, 249, 249, 249, 249, 249, + 249, 249, 249, 249, 249, 249, 249, 249, 249, 249, + 249, 249, 249, 249, 396, 687, 478, 478, 478, 478, + 619, 250, 244, 244, 244, 244, 244, 244, 244, 244, + 244, 244, 244, 244, 360, 142, 473, 474, 204, 329, + 205, 436, 436, 436, 102, 206, 329, 361, 330, 362, + 362, 362, 362, 362, 362, 362, 362, 362, 362, 362, + 362, 362, 362, 362, 362, 362, 362, 362, 329, 413, + 612, 687, 329, 322, 80, 363, 80, 435, 687, 329, + + 322, 687, 80, 441, 437, 554, 145, 80, 145, 360, + 80, 80, 80, 80, 452, 329, 442, 80, 80, 555, + 687, 329, 687, 263, 453, 263, 97, 583, 512, 145, + 145, 99, 417, 413, 271, 271, 271, 271, 271, 271, + 271, 271, 271, 271, 271, 271, 381, 687, 329, 80, + 687, 414, 80, 382, 80, 330, 80, 459, 459, 459, + 459, 145, 80, 441, 145, 493, 145, 144, 145, 102, + 144, 144, 144, 144, 145, 381, 442, 463, 494, 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, + 383, 140, 523, 375, 523, 414, 498, 80, 466, 464, + + 461, 80, 381, 80, 246, 450, 450, 450, 450, 145, + 498, 498, 102, 145, 102, 145, 102, 248, 599, 289, + 289, 289, 289, 289, 289, 289, 289, 289, 289, 289, + 289, 289, 289, 289, 289, 289, 289, 289, 102, 582, + 102, 465, 611, 467, 102, 290, 287, 287, 287, 287, + 287, 287, 287, 287, 287, 287, 287, 287, 360, 607, + 80, 142, 446, 590, 560, 606, 561, 627, 102, 642, + 533, 361, 145, 394, 394, 394, 394, 394, 394, 394, + 394, 394, 394, 394, 394, 394, 394, 394, 394, 394, + 394, 394, 513, 513, 513, 666, 600, 210, 210, 395, + + 331, 331, 331, 331, 331, 331, 331, 331, 331, 331, + 331, 331, 383, 383, 383, 383, 383, 383, 383, 383, + 383, 383, 383, 383, 427, 80, 491, 80, 503, 80, + 140, 447, 140, 80, 598, 514, 80, 145, 492, 145, + 80, 145, 518, 470, 109, 145, 427, 80, 145, 80, + 608, 80, 145, 109, 597, 80, 528, 504, 80, 145, + 527, 145, 80, 145, 516, 80, 505, 145, 687, 596, + 145, 668, 608, 140, 145, 493, 140, 145, 469, 263, + 462, 687, 504, 527, 532, 185, 297, 567, 687, 529, + 608, 530, 537, 537, 537, 537, 513, 513, 513, 80, + + 519, 541, 142, 493, 140, 531, 140, 670, 212, 212, + 592, 145, 608, 216, 216, 586, 494, 605, 495, 495, + 495, 495, 495, 495, 495, 495, 495, 495, 495, 495, + 495, 495, 495, 495, 495, 495, 495, 80, 493, 514, + 80, 142, 592, 142, 245, 245, 142, 591, 102, 145, + 573, 494, 145, 526, 526, 526, 526, 526, 526, 526, + 526, 526, 526, 526, 526, 526, 526, 526, 526, 526, + 526, 526, 140, 80, 142, 588, 142, 255, 177, 80, + 80, 80, 80, 589, 80, 145, 557, 557, 557, 557, + 80, 145, 145, 145, 145, 140, 145, 590, 185, 476, + + 613, 609, 145, 80, 562, 537, 537, 537, 537, 557, + 557, 557, 557, 584, 80, 145, 80, 615, 80, 566, + 375, 616, 564, 610, 608, 608, 145, 140, 145, 636, + 145, 565, 102, 621, 140, 563, 565, 647, 618, 608, + 584, 375, 142, 617, 608, 633, 608, 608, 630, 140, + 650, 648, 608, 637, 102, 622, 140, 102, 604, 670, + 646, 608, 354, 354, 540, 519, 608, 659, 375, 630, + 630, 585, 593, 593, 608, 593, 593, 593, 593, 593, + 641, 593, 593, 593, 593, 608, 593, 593, 608, 587, + 643, 630, 593, 593, 593, 593, 630, 142, 581, 102, + + 580, 670, 595, 656, 142, 650, 579, 608, 375, 662, + 608, 375, 644, 555, 375, 593, 593, 593, 630, 142, + 578, 140, 140, 578, 595, 577, 142, 576, 575, 255, + 574, 547, 664, 667, 375, 375, 630, 663, 547, 630, + 573, 657, 630, 593, 593, 593, 593, 641, 593, 593, + 593, 593, 593, 594, 593, 593, 593, 593, 630, 593, + 593, 630, 630, 630, 630, 602, 593, 593, 593, 572, + 658, 685, 670, 571, 570, 603, 670, 569, 541, 536, + 568, 375, 663, 671, 630, 630, 559, 672, 593, 593, + 593, 142, 142, 558, 670, 670, 670, 603, 670, 670, + + 257, 670, 670, 670, 670, 673, 674, 675, 446, 676, + 677, 516, 678, 679, 680, 681, 593, 593, 593, 593, + 556, 593, 593, 593, 593, 593, 553, 593, 593, 593, + 593, 552, 593, 593, 670, 551, 550, 549, 593, 593, + 593, 593, 255, 548, 547, 682, 255, 670, 595, 670, + 134, 545, 543, 542, 541, 540, 539, 490, 683, 490, + 684, 593, 593, 593, 255, 255, 255, 488, 255, 255, + 595, 255, 255, 255, 255, 488, 486, 486, 484, 484, + 482, 482, 480, 480, 536, 521, 520, 208, 201, 593, + 593, 593, 593, 364, 593, 593, 593, 593, 593, 594, + + 593, 593, 593, 593, 255, 593, 593, 517, 446, 516, + 439, 602, 593, 593, 593, 109, 511, 255, 510, 255, + 509, 603, 508, 427, 109, 501, 500, 499, 497, 496, + 416, 490, 488, 486, 593, 593, 593, 484, 482, 480, + 417, 297, 471, 603, 260, 375, 455, 454, 84, 202, + 449, 446, 364, 355, 439, 434, 433, 432, 202, 426, + 425, 424, 593, 593, 80, 423, 422, 421, 80, 80, + 420, 419, 80, 80, 80, 80, 80, 80, 80, 80, + 81, 81, 81, 81, 81, 330, 81, 81, 81, 81, + 81, 81, 81, 81, 81, 81, 81, 81, 81, 87, + + 87, 417, 330, 208, 87, 87, 87, 101, 101, 101, + 101, 101, 101, 101, 101, 101, 101, 101, 101, 101, + 101, 101, 101, 101, 101, 101, 124, 124, 124, 124, + 124, 124, 124, 124, 124, 124, 124, 124, 124, 124, + 124, 124, 124, 124, 124, 139, 139, 139, 139, 139, + 139, 139, 139, 139, 139, 139, 139, 139, 139, 139, + 139, 139, 139, 139, 144, 208, 202, 201, 144, 144, + 144, 201, 144, 144, 144, 144, 144, 144, 144, 144, + 184, 184, 184, 184, 184, 201, 184, 184, 184, 184, + 184, 184, 184, 184, 184, 184, 184, 184, 184, 186, + + 186, 186, 186, 186, 186, 186, 186, 186, 186, 186, + 186, 186, 186, 186, 186, 186, 186, 186, 203, 203, + 309, 309, 307, 307, 399, 355, 260, 260, 203, 259, + 375, 203, 203, 259, 203, 121, 121, 121, 121, 121, + 121, 121, 121, 121, 121, 121, 121, 121, 121, 121, + 121, 121, 121, 121, 236, 236, 236, 236, 236, 236, + 236, 236, 236, 236, 236, 236, 236, 236, 236, 236, + 236, 236, 236, 140, 140, 140, 140, 140, 140, 140, + 140, 140, 140, 140, 140, 140, 140, 140, 140, 140, + 140, 140, 258, 258, 258, 258, 258, 258, 258, 258, + + 258, 258, 258, 258, 258, 258, 258, 258, 258, 258, + 258, 265, 265, 265, 265, 265, 265, 265, 265, 265, + 265, 265, 265, 265, 265, 265, 265, 265, 265, 265, + 184, 184, 184, 184, 184, 184, 184, 184, 184, 184, + 184, 184, 184, 184, 184, 184, 184, 184, 184, 186, + 186, 186, 186, 186, 186, 186, 186, 186, 186, 186, + 186, 186, 186, 186, 186, 186, 186, 186, 299, 299, + 299, 299, 299, 299, 299, 299, 299, 299, 299, 299, + 299, 299, 299, 299, 299, 299, 299, 302, 302, 302, + 302, 302, 302, 302, 302, 302, 302, 302, 302, 302, + + 302, 302, 302, 302, 302, 302, 306, 306, 347, 306, + 306, 306, 306, 306, 306, 306, 306, 306, 306, 306, + 306, 306, 306, 306, 306, 308, 308, 367, 308, 308, + 308, 308, 308, 308, 308, 308, 308, 308, 308, 308, + 308, 308, 308, 308, 310, 339, 310, 338, 364, 246, + 310, 310, 310, 355, 355, 310, 348, 348, 348, 348, + 348, 348, 348, 348, 348, 348, 348, 348, 348, 348, + 348, 348, 348, 348, 348, 121, 121, 121, 121, 121, + 121, 121, 121, 121, 121, 121, 121, 121, 121, 121, + 121, 121, 121, 121, 350, 350, 350, 350, 350, 350, + + 350, 350, 350, 350, 350, 350, 350, 350, 350, 350, + 350, 350, 350, 236, 236, 236, 236, 236, 236, 236, + 236, 236, 236, 236, 236, 236, 236, 236, 236, 236, + 236, 236, 353, 353, 353, 358, 238, 346, 345, 358, + 344, 358, 358, 358, 358, 343, 358, 258, 258, 258, + 258, 258, 258, 258, 258, 258, 258, 258, 258, 258, + 258, 258, 258, 258, 258, 258, 374, 374, 374, 374, + 374, 374, 374, 374, 374, 374, 374, 374, 374, 374, + 374, 374, 374, 374, 374, 265, 265, 265, 265, 265, + 265, 265, 265, 265, 265, 265, 265, 265, 265, 265, + + 265, 265, 265, 265, 101, 101, 101, 101, 101, 101, + 101, 101, 101, 101, 101, 101, 101, 101, 101, 101, + 101, 101, 101, 302, 302, 302, 302, 302, 302, 302, + 302, 302, 302, 302, 302, 302, 302, 302, 302, 302, + 302, 302, 299, 299, 299, 299, 299, 299, 299, 299, + 299, 299, 299, 299, 299, 299, 299, 299, 299, 299, + 299, 400, 400, 400, 400, 400, 400, 400, 400, 400, + 400, 400, 400, 400, 400, 400, 400, 400, 400, 400, 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, 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 + 403, 403, 403, 403, 403, 403, 403, 403, 403, 405, + + 405, 405, 405, 405, 405, 405, 405, 405, 405, 405, + 405, 405, 405, 405, 405, 405, 405, 405, 184, 184, + 184, 184, 184, 184, 184, 184, 184, 184, 184, 184, + 184, 184, 184, 184, 184, 184, 184, 306, 306, 340, + 306, 306, 306, 306, 306, 306, 306, 306, 306, 306, + 306, 306, 306, 306, 306, 306, 308, 308, 336, 308, + 308, 308, 308, 308, 308, 308, 308, 308, 308, 308, + 308, 308, 308, 308, 308, 408, 335, 408, 408, 334, + 333, 408, 408, 408, 332, 320, 408, 348, 348, 348, + 348, 348, 348, 348, 348, 348, 348, 348, 348, 348, + + 348, 348, 348, 348, 348, 348, 350, 350, 350, 350, + 350, 350, 350, 350, 350, 350, 350, 350, 350, 350, + 350, 350, 350, 350, 350, 121, 121, 121, 121, 121, + 121, 121, 121, 121, 121, 121, 121, 121, 121, 121, + 121, 121, 121, 121, 438, 438, 438, 438, 438, 438, + 438, 438, 438, 438, 438, 438, 438, 438, 438, 438, + 438, 438, 438, 443, 443, 320, 319, 443, 443, 318, + 443, 443, 443, 443, 443, 443, 443, 443, 443, 444, + 317, 316, 316, 315, 314, 444, 444, 444, 444, 313, + 444, 374, 374, 374, 374, 374, 374, 374, 374, 374, + + 374, 374, 374, 374, 374, 374, 374, 374, 374, 374, + 101, 101, 101, 101, 101, 101, 101, 101, 101, 101, + 101, 101, 101, 101, 101, 101, 101, 101, 101, 468, + 468, 312, 309, 468, 468, 468, 468, 468, 468, 468, + 468, 468, 468, 468, 468, 401, 401, 401, 401, 401, + 401, 401, 401, 401, 401, 401, 401, 401, 401, 401, + 401, 401, 401, 401, 472, 472, 472, 472, 472, 472, + 472, 472, 472, 472, 472, 472, 472, 472, 472, 472, + 472, 472, 472, 475, 475, 475, 475, 475, 475, 475, + 475, 475, 475, 475, 475, 475, 475, 475, 475, 475, + + 475, 475, 479, 479, 307, 479, 479, 479, 479, 479, + 479, 479, 479, 479, 479, 479, 479, 479, 479, 479, + 479, 481, 481, 296, 481, 481, 481, 481, 481, 481, + 481, 481, 481, 481, 481, 481, 481, 481, 481, 481, + 483, 483, 260, 483, 483, 483, 483, 483, 483, 483, + 483, 483, 483, 483, 483, 483, 483, 483, 483, 485, + 485, 278, 485, 485, 485, 485, 485, 485, 485, 485, + 485, 485, 485, 485, 485, 485, 485, 485, 487, 487, + 260, 487, 487, 487, 487, 487, 487, 487, 487, 487, + 487, 487, 487, 487, 487, 487, 487, 489, 489, 260, + + 489, 489, 489, 489, 489, 489, 489, 489, 489, 489, + 489, 489, 489, 489, 489, 489, 348, 348, 348, 348, + 348, 348, 348, 348, 348, 348, 348, 348, 348, 348, + 348, 348, 348, 348, 348, 121, 121, 121, 121, 121, + 121, 121, 121, 121, 121, 121, 121, 121, 121, 121, + 121, 121, 121, 121, 438, 438, 438, 438, 438, 438, + 438, 438, 438, 438, 438, 438, 438, 438, 438, 438, + 438, 438, 438, 515, 259, 257, 255, 254, 230, 515, + 515, 515, 515, 515, 515, 515, 515, 515, 522, 522, + 522, 522, 522, 522, 522, 522, 522, 522, 522, 522, + + 522, 522, 522, 522, 522, 522, 522, 535, 535, 535, + 535, 202, 535, 535, 535, 535, 535, 535, 535, 535, + 535, 535, 535, 535, 535, 535, 538, 253, 228, 125, + 231, 202, 538, 538, 538, 538, 546, 546, 229, 546, + 546, 546, 546, 546, 546, 546, 546, 546, 546, 546, + 546, 546, 546, 546, 546, 594, 594, 227, 594, 594, + 594, 594, 594, 594, 594, 594, 594, 594, 594, 594, + 594, 594, 594, 594, 601, 601, 227, 601, 601, 601, + 601, 601, 601, 601, 601, 601, 601, 601, 601, 601, + 601, 601, 601, 593, 593, 226, 593, 593, 593, 593, + + 593, 593, 593, 593, 593, 593, 593, 593, 593, 593, + 593, 593, 629, 629, 629, 629, 629, 629, 629, 629, + 629, 629, 629, 629, 629, 629, 629, 629, 629, 629, + 629, 651, 651, 651, 651, 651, 651, 651, 651, 651, + 651, 651, 651, 651, 651, 651, 651, 651, 651, 651, + 654, 654, 654, 654, 654, 654, 654, 654, 654, 654, + 654, 654, 654, 654, 654, 654, 654, 654, 654, 669, + 669, 669, 669, 669, 669, 669, 669, 669, 669, 669, + 669, 669, 669, 669, 669, 669, 669, 669, 102, 208, + 207, 201, 202, 201, 193, 185, 183, 167, 166, 163, + + 160, 159, 143, 119, 137, 134, 119, 118, 115, 112, + 111, 102, 84, 687, 3, 687, 687, 687, 687, 687, + 687, 687, 687, 687, 687, 687, 687, 687, 687, 687, + 687, 687, 687, 687, 687, 687, 687, 687, 687, 687, + 687, 687, 687, 687, 687, 687, 687, 687, 687, 687, + 687, 687, 687, 687, 687, 687, 687, 687, 687, 687, + 687, 687, 687, 687, 687, 687, 687, 687, 687, 687, + 687, 687, 687, 687, 687, 687, 687, 687, 687, 687, + 687, 687, 687, 687, 687, 687, 687, 687 } ; -static yyconst short int yy_chk[4591] = +static yyconst short int yy_chk[3889] = { 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, @@ -1192,494 +1105,417 @@ static yyconst short int yy_chk[4591] = 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 5, 6, 6, 6, - 6, 8, 10, 10, 11, 19, 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, + 6, 8, 10, 10, 11, 19, 21, 45, 8, 8, + 8, 8, 16, 151, 11, 13, 11, 11, 5, 45, + 56, 11, 12, 12, 12, 13, 151, 13, 19, 12, + 21, 97, 13, 97, 12, 12, 12, 12, 12, 12, + 12, 12, 685, 24, 56, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, - 12, 12, 12, 12, 25, 28, 16, 12, 12, 12, + 12, 12, 12, 12, 27, 51, 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, 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, + 12, 12, 15, 24, 15, 39, 15, 15, 15, 15, + 15, 15, 250, 28, 15, 28, 28, 49, 49, 27, + 28, 30, 30, 259, 30, 30, 30, 42, 27, 51, + 31, 31, 259, 15, 31, 31, 31, 15, 15, 15, + 15, 15, 15, 15, 15, 15, 15, 15, 15, 33, + 33, 62, 39, 62, 62, 33, 33, 33, 62, 250, + + 15, 25, 25, 25, 25, 25, 25, 25, 25, 25, + 25, 25, 25, 25, 25, 25, 25, 42, 82, 82, + 32, 25, 25, 25, 25, 29, 29, 29, 29, 29, + 32, 32, 34, 34, 59, 32, 32, 32, 665, 34, + 34, 34, 29, 32, 25, 25, 25, 35, 35, 36, + 36, 37, 37, 43, 48, 35, 35, 35, 36, 36, + 36, 37, 37, 54, 48, 123, 48, 43, 43, 43, + 43, 48, 25, 25, 26, 61, 378, 26, 26, 26, + 26, 26, 46, 318, 59, 318, 54, 46, 79, 79, + 79, 79, 46, 74, 46, 46, 123, 64, 64, 46, + + 64, 64, 64, 26, 375, 74, 375, 26, 26, 26, + 26, 26, 26, 26, 26, 26, 26, 26, 26, 661, + 61, 89, 89, 43, 63, 63, 63, 63, 63, 61, + 26, 47, 47, 47, 378, 74, 223, 139, 47, 660, + 84, 63, 223, 47, 47, 47, 47, 47, 47, 47, + 47, 93, 93, 93, 47, 47, 47, 47, 47, 47, + 47, 47, 47, 47, 47, 47, 47, 47, 47, 47, + 47, 47, 47, 96, 96, 96, 47, 47, 47, 47, + 47, 47, 47, 47, 47, 47, 47, 47, 47, 47, + 47, 47, 47, 47, 47, 47, 47, 47, 47, 47, + + 47, 50, 84, 654, 50, 144, 50, 139, 50, 50, + 50, 50, 50, 50, 65, 65, 50, 144, 65, 65, + 65, 67, 67, 68, 68, 146, 152, 67, 67, 67, + 68, 68, 68, 146, 146, 50, 341, 146, 152, 50, + 50, 50, 50, 50, 50, 50, 50, 50, 50, 50, + 50, 69, 69, 148, 71, 71, 153, 153, 341, 69, + 69, 69, 50, 60, 71, 71, 66, 148, 60, 70, + 70, 60, 60, 60, 60, 60, 66, 66, 70, 70, + 70, 66, 66, 66, 72, 233, 73, 75, 88, 66, + 88, 73, 184, 184, 316, 88, 72, 60, 73, 75, + + 600, 60, 60, 60, 60, 60, 60, 60, 60, 60, + 60, 60, 60, 76, 263, 147, 233, 77, 76, 185, + 185, 653, 72, 147, 60, 161, 263, 147, 77, 342, + 76, 77, 77, 77, 77, 186, 186, 161, 73, 83, + 94, 94, 94, 98, 75, 320, 83, 83, 83, 83, + 83, 342, 94, 98, 94, 98, 316, 161, 600, 94, + 98, 187, 187, 76, 108, 108, 108, 108, 110, 110, + 110, 110, 111, 111, 111, 111, 131, 131, 131, 131, + 120, 120, 120, 120, 162, 188, 188, 77, 87, 149, + 87, 87, 87, 87, 87, 87, 162, 149, 110, 265, + + 265, 149, 157, 157, 157, 157, 111, 320, 177, 115, + 115, 115, 115, 118, 118, 118, 118, 87, 120, 429, + 177, 87, 87, 87, 87, 87, 87, 87, 87, 87, + 87, 87, 87, 132, 132, 132, 132, 133, 133, 133, + 133, 429, 162, 235, 87, 104, 104, 104, 104, 104, + 104, 104, 104, 104, 104, 104, 104, 106, 115, 141, + 614, 118, 227, 132, 106, 177, 163, 163, 163, 163, + 180, 133, 160, 141, 141, 141, 141, 141, 158, 158, + 158, 158, 180, 235, 160, 227, 106, 298, 298, 651, + 106, 106, 106, 106, 106, 106, 106, 106, 106, 106, + + 106, 106, 209, 159, 159, 159, 159, 227, 158, 499, + 160, 165, 209, 106, 109, 163, 109, 614, 285, 209, + 285, 109, 109, 165, 499, 109, 180, 384, 109, 141, + 285, 178, 166, 166, 166, 166, 109, 159, 109, 384, + 165, 299, 299, 178, 109, 109, 210, 210, 210, 210, + 109, 168, 168, 168, 168, 109, 122, 122, 122, 122, + 122, 122, 122, 122, 122, 122, 122, 122, 122, 122, + 122, 122, 167, 179, 181, 384, 122, 122, 122, 122, + 166, 649, 174, 178, 167, 179, 181, 182, 647, 168, + 174, 174, 174, 174, 174, 194, 175, 267, 182, 122, + + 122, 122, 194, 176, 175, 175, 175, 175, 175, 275, + 167, 176, 176, 176, 176, 176, 211, 211, 211, 211, + 181, 275, 300, 300, 194, 179, 641, 122, 122, 124, + 124, 124, 124, 124, 175, 124, 124, 124, 124, 124, + 124, 214, 440, 124, 124, 176, 640, 267, 214, 124, + 124, 194, 124, 189, 189, 440, 267, 182, 190, 190, + 189, 189, 189, 189, 189, 190, 190, 190, 190, 275, + 214, 340, 124, 124, 212, 212, 212, 212, 215, 215, + 215, 215, 216, 216, 216, 216, 224, 224, 224, 224, + 244, 244, 244, 244, 301, 301, 575, 214, 302, 302, + + 124, 124, 126, 126, 126, 126, 126, 126, 126, 126, + 126, 126, 126, 126, 127, 127, 303, 303, 224, 127, + 348, 575, 127, 127, 127, 127, 127, 340, 127, 639, + 127, 127, 127, 127, 127, 127, 127, 127, 127, 127, + 127, 127, 127, 127, 127, 127, 127, 127, 127, 635, + 350, 348, 127, 127, 127, 127, 127, 127, 127, 127, + 127, 127, 127, 127, 127, 127, 127, 127, 127, 127, + 127, 127, 127, 127, 127, 127, 127, 129, 129, 129, + 129, 129, 129, 129, 129, 129, 129, 129, 129, 130, + 350, 225, 225, 225, 225, 257, 130, 130, 130, 130, + + 257, 257, 130, 632, 130, 130, 130, 130, 130, 130, + 130, 130, 130, 130, 130, 130, 130, 130, 130, 130, + 130, 130, 130, 225, 232, 232, 232, 232, 322, 261, + 130, 150, 150, 150, 261, 262, 400, 400, 150, 379, + 262, 261, 322, 150, 150, 631, 150, 150, 150, 150, + 150, 379, 262, 379, 150, 150, 150, 150, 150, 150, + 150, 150, 150, 150, 150, 150, 150, 150, 150, 150, + 150, 150, 150, 232, 349, 359, 150, 150, 150, 150, + 150, 150, 150, 150, 150, 150, 150, 150, 150, 150, + 150, 150, 150, 150, 150, 150, 150, 150, 150, 150, + + 150, 154, 626, 195, 625, 349, 195, 195, 195, 195, + 195, 245, 256, 154, 234, 234, 234, 234, 245, 245, + 245, 245, 359, 363, 245, 268, 256, 256, 256, 256, + 402, 402, 195, 268, 268, 268, 268, 268, 624, 154, + 154, 154, 154, 154, 154, 154, 154, 154, 154, 154, + 154, 155, 245, 403, 403, 246, 264, 234, 155, 195, + 277, 264, 246, 246, 246, 246, 271, 289, 246, 289, + 363, 458, 277, 264, 271, 271, 271, 271, 271, 289, + 155, 623, 256, 377, 155, 155, 155, 155, 155, 155, + 155, 155, 155, 155, 155, 155, 246, 310, 310, 310, + + 310, 426, 277, 331, 331, 331, 331, 155, 169, 169, + 169, 169, 169, 169, 169, 169, 169, 169, 169, 169, + 170, 170, 620, 388, 426, 170, 619, 377, 170, 170, + 170, 170, 170, 458, 170, 388, 170, 170, 170, 170, + 170, 170, 170, 170, 170, 170, 170, 170, 170, 170, + 170, 170, 170, 170, 170, 351, 351, 351, 170, 170, + 170, 170, 170, 170, 170, 170, 170, 170, 170, 170, + 170, 170, 170, 170, 170, 170, 170, 170, 170, 170, + 170, 170, 170, 172, 172, 172, 172, 172, 172, 172, + 172, 172, 172, 172, 172, 173, 173, 441, 351, 471, + + 173, 404, 404, 173, 173, 173, 173, 173, 471, 173, + 441, 173, 173, 173, 173, 173, 173, 173, 173, 173, + 173, 173, 173, 173, 173, 173, 173, 173, 173, 173, + 405, 405, 617, 173, 173, 173, 173, 173, 173, 173, + 173, 173, 173, 173, 173, 173, 173, 173, 173, 173, + 173, 173, 173, 173, 173, 173, 173, 173, 213, 213, + 213, 213, 213, 213, 213, 213, 213, 213, 213, 213, + 217, 354, 354, 354, 354, 273, 445, 217, 616, 217, + 274, 291, 292, 273, 273, 273, 273, 273, 274, 274, + 274, 274, 274, 291, 292, 406, 406, 457, 612, 217, + + 406, 611, 421, 217, 217, 217, 217, 217, 217, 217, + 217, 217, 217, 217, 217, 273, 421, 421, 610, 357, + 274, 291, 292, 445, 472, 472, 217, 236, 236, 236, + 236, 236, 357, 236, 236, 236, 236, 236, 236, 276, + 278, 236, 236, 279, 276, 278, 280, 236, 236, 293, + 236, 294, 278, 457, 293, 279, 276, 281, 280, 609, + 357, 293, 276, 294, 287, 281, 281, 281, 281, 281, + 236, 236, 287, 287, 287, 287, 287, 474, 474, 396, + 370, 290, 475, 475, 276, 295, 607, 290, 442, 279, + 370, 396, 370, 290, 360, 280, 295, 370, 236, 236, + + 237, 442, 305, 305, 456, 456, 456, 360, 294, 305, + 305, 305, 305, 237, 281, 237, 237, 237, 237, 237, + 237, 237, 237, 237, 237, 237, 237, 237, 237, 237, + 237, 237, 237, 237, 290, 360, 408, 408, 408, 408, + 606, 237, 239, 239, 239, 239, 239, 239, 239, 239, + 239, 239, 239, 239, 247, 295, 536, 536, 452, 311, + 452, 436, 436, 436, 561, 452, 311, 247, 311, 247, 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, - 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, - 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, - 603, 603, 603, 0, 0, 0, 0, 0, 0, 603, - 0, 0, 0, 0, 0, 0, 0, 0, 0, 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, 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, + 247, 247, 247, 247, 247, 247, 247, 247, 311, 321, + 598, 329, 325, 321, 389, 247, 269, 435, 329, 325, + + 321, 325, 356, 356, 436, 510, 389, 356, 269, 361, + 356, 356, 356, 356, 371, 311, 356, 376, 380, 510, + 329, 325, 361, 389, 371, 376, 371, 561, 435, 376, + 380, 371, 380, 570, 269, 269, 269, 269, 269, 269, + 269, 269, 269, 269, 269, 269, 272, 329, 325, 383, + 361, 321, 385, 272, 387, 272, 391, 383, 383, 383, + 383, 383, 393, 393, 385, 478, 387, 393, 391, 582, + 393, 393, 393, 393, 393, 272, 393, 387, 478, 272, + 272, 272, 272, 272, 272, 272, 272, 272, 272, 272, + 272, 368, 523, 523, 523, 570, 498, 390, 391, 387, + + 385, 392, 272, 282, 282, 368, 368, 368, 368, 390, + 498, 498, 613, 392, 525, 282, 524, 282, 582, 282, + 282, 282, 282, 282, 282, 282, 282, 282, 282, 282, + 282, 282, 282, 282, 282, 282, 282, 282, 560, 560, + 662, 390, 597, 392, 583, 282, 283, 283, 283, 283, + 283, 283, 283, 283, 283, 283, 283, 283, 288, 591, + 394, 368, 394, 589, 524, 588, 525, 613, 628, 628, + 587, 288, 394, 288, 288, 288, 288, 288, 288, 288, + 288, 288, 288, 288, 288, 288, 288, 288, 288, 288, + 288, 288, 439, 439, 439, 662, 583, 698, 698, 288, + + 328, 328, 328, 328, 328, 328, 328, 328, 328, 328, + 328, 328, 381, 381, 381, 381, 381, 381, 381, 381, + 381, 381, 381, 381, 386, 395, 416, 397, 427, 386, + 450, 395, 398, 461, 581, 439, 463, 395, 416, 397, + 465, 386, 450, 398, 460, 461, 462, 464, 463, 460, + 592, 462, 465, 467, 580, 466, 463, 427, 467, 464, + 461, 460, 468, 462, 468, 469, 427, 466, 493, 579, + 467, 667, 592, 470, 468, 494, 532, 469, 395, 397, + 386, 493, 427, 461, 470, 477, 477, 532, 494, 464, + 593, 465, 477, 477, 477, 477, 513, 513, 513, 526, + + 450, 526, 398, 418, 567, 466, 586, 668, 699, 699, + 577, 526, 593, 700, 700, 567, 418, 586, 418, 418, + 418, 418, 418, 418, 418, 418, 418, 418, 418, 418, + 418, 418, 418, 418, 418, 418, 418, 459, 459, 513, + 527, 667, 576, 470, 703, 703, 532, 574, 599, 459, + 572, 459, 527, 459, 459, 459, 459, 459, 459, 459, + 459, 459, 459, 459, 459, 459, 459, 459, 459, 459, + 459, 459, 518, 528, 567, 571, 586, 668, 527, 529, + 530, 531, 562, 573, 563, 528, 518, 518, 518, 518, + 564, 529, 530, 531, 562, 557, 563, 573, 537, 537, + + 599, 595, 564, 565, 528, 537, 537, 537, 537, 557, + 557, 557, 557, 562, 566, 565, 585, 602, 604, 531, + 615, 603, 530, 595, 621, 622, 566, 605, 585, 621, + 604, 564, 627, 608, 618, 529, 530, 634, 605, 608, + 563, 629, 518, 603, 602, 618, 621, 622, 615, 633, + 636, 634, 636, 622, 642, 608, 646, 656, 585, 669, + 633, 608, 719, 719, 569, 557, 602, 646, 630, 629, + 615, 566, 578, 578, 636, 578, 578, 578, 578, 578, + 627, 578, 578, 578, 578, 637, 578, 578, 650, 568, + 630, 629, 578, 578, 578, 578, 630, 605, 559, 666, + + 558, 684, 578, 642, 618, 637, 556, 637, 643, 656, + 650, 657, 630, 554, 644, 578, 578, 578, 630, 633, + 553, 659, 664, 552, 578, 551, 646, 550, 549, 669, + 548, 547, 659, 664, 658, 663, 643, 657, 546, 657, + 545, 643, 644, 578, 578, 584, 584, 666, 584, 584, + 584, 584, 584, 584, 584, 584, 584, 584, 643, 584, + 584, 657, 658, 663, 644, 584, 584, 584, 584, 543, + 644, 684, 670, 542, 540, 584, 671, 539, 538, 535, + 534, 522, 658, 670, 658, 663, 521, 671, 584, 584, + 584, 659, 664, 520, 672, 673, 674, 584, 675, 676, + + 519, 677, 678, 679, 680, 672, 673, 674, 517, 675, + 676, 515, 677, 678, 679, 680, 584, 584, 594, 594, + 511, 594, 594, 594, 594, 594, 509, 594, 594, 594, + 594, 508, 594, 594, 681, 507, 506, 505, 594, 594, + 594, 594, 670, 504, 503, 681, 671, 682, 594, 683, + 502, 500, 497, 496, 495, 492, 491, 490, 682, 489, + 683, 594, 594, 594, 672, 673, 674, 488, 675, 676, + 594, 677, 678, 679, 680, 487, 486, 485, 484, 483, + 482, 481, 480, 479, 473, 455, 454, 453, 451, 594, + 594, 601, 601, 449, 601, 601, 601, 601, 601, 601, + + 601, 601, 601, 601, 681, 601, 601, 447, 444, 443, + 438, 601, 601, 601, 601, 434, 433, 682, 432, 683, + 431, 601, 430, 428, 425, 424, 423, 422, 420, 419, + 415, 414, 413, 412, 601, 601, 601, 411, 410, 409, + 407, 401, 399, 601, 382, 374, 373, 372, 369, 367, + 365, 362, 358, 353, 352, 347, 346, 345, 344, 339, + 338, 337, 601, 601, 688, 336, 335, 334, 688, 688, + 333, 332, 688, 688, 688, 688, 688, 688, 688, 688, + 689, 689, 689, 689, 689, 327, 689, 689, 689, 689, + 689, 689, 689, 689, 689, 689, 689, 689, 689, 690, + + 690, 326, 324, 319, 690, 690, 690, 691, 691, 691, + 691, 691, 691, 691, 691, 691, 691, 691, 691, 691, + 691, 691, 691, 691, 691, 691, 692, 692, 692, 692, + 692, 692, 692, 692, 692, 692, 692, 692, 692, 692, + 692, 692, 692, 692, 692, 693, 693, 693, 693, 693, + 693, 693, 693, 693, 693, 693, 693, 693, 693, 693, + 693, 693, 693, 693, 694, 317, 315, 314, 694, 694, + 694, 313, 694, 694, 694, 694, 694, 694, 694, 694, + 695, 695, 695, 695, 695, 312, 695, 695, 695, 695, + 695, 695, 695, 695, 695, 695, 695, 695, 695, 696, + + 696, 696, 696, 696, 696, 696, 696, 696, 696, 696, + 696, 696, 696, 696, 696, 696, 696, 696, 697, 697, + 309, 308, 307, 306, 296, 286, 284, 270, 697, 266, + 260, 697, 697, 258, 697, 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, + 702, 702, 702, 704, 704, 704, 704, 704, 704, 704, + 704, 704, 704, 704, 704, 704, 704, 704, 704, 704, + 704, 704, 705, 705, 705, 705, 705, 705, 705, 705, - 0, 0, 0, 0, 0, 0, 0, 706, 0, 0, - 706, 706, 0, 706, 710, 710, 710, 710, 710, 710, + 705, 705, 705, 705, 705, 705, 705, 705, 705, 705, + 705, 706, 706, 706, 706, 706, 706, 706, 706, 706, + 706, 706, 706, 706, 706, 706, 706, 706, 706, 706, + 707, 707, 707, 707, 707, 707, 707, 707, 707, 707, + 707, 707, 707, 707, 707, 707, 707, 707, 707, 708, + 708, 708, 708, 708, 708, 708, 708, 708, 708, 708, + 708, 708, 708, 708, 708, 708, 708, 708, 709, 709, + 709, 709, 709, 709, 709, 709, 709, 709, 709, 709, + 709, 709, 709, 709, 709, 709, 709, 710, 710, 710, 710, 710, 710, 710, 710, 710, 710, 710, 710, 710, - 710, 710, 710, 711, 711, 711, 711, 711, 711, 711, + + 710, 710, 710, 710, 710, 710, 711, 711, 254, 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, + 711, 711, 711, 711, 711, 712, 712, 253, 712, 712, + 712, 712, 712, 712, 712, 712, 712, 712, 712, 712, + 712, 712, 712, 712, 713, 252, 713, 251, 249, 248, + 713, 713, 713, 243, 242, 713, 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, + 715, 715, 715, 715, 716, 716, 716, 716, 716, 716, - 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, + 716, 716, 716, 717, 717, 717, 717, 717, 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, + 717, 717, 718, 718, 718, 720, 241, 231, 230, 720, + 229, 720, 720, 720, 720, 228, 720, 721, 721, 721, 721, 721, 721, 721, 721, 721, 721, 721, 721, 721, - 721, 721, 721, 722, 0, 722, 0, 0, 0, 722, - 722, 722, 0, 0, 722, 723, 723, 0, 723, 723, + 721, 721, 721, 721, 721, 721, 722, 722, 722, 722, + 722, 722, 722, 722, 722, 722, 722, 722, 722, 722, + 722, 722, 722, 722, 722, 723, 723, 723, 723, 723, 723, 723, 723, 723, 723, 723, 723, 723, 723, 723, + 723, 723, 723, 723, 724, 724, 724, 724, 724, 724, 724, 724, 724, 724, 724, 724, 724, 724, 724, 724, 724, 724, 724, 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, 726, 726, 726, 726, 727, 727, 727, 727, 727, 727, 727, 727, 727, 727, 727, 727, 727, 727, 727, 727, 727, 727, 727, - 728, 728, 728, 730, 0, 0, 0, 730, 0, 730, - 730, 730, 730, 0, 730, 731, 731, 731, 731, 731, + 728, 728, 728, 728, 728, 728, 728, 728, 728, 728, + 728, 728, 728, 728, 728, 728, 728, 728, 728, 729, + + 729, 729, 729, 729, 729, 729, 729, 729, 729, 729, + 729, 729, 729, 729, 729, 729, 729, 729, 730, 730, + 730, 730, 730, 730, 730, 730, 730, 730, 730, 730, + 730, 730, 730, 730, 730, 730, 730, 731, 731, 226, 731, 731, 731, 731, 731, 731, 731, 731, 731, 731, - 731, 731, 731, 731, 732, 732, 732, 732, 732, 732, + 731, 731, 731, 731, 731, 731, 732, 732, 222, 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, - + 732, 732, 732, 732, 732, 733, 221, 733, 733, 220, + 219, 733, 733, 733, 218, 208, 733, 734, 734, 734, 734, 734, 734, 734, 734, 734, 734, 734, 734, 734, - 734, 734, 734, 734, 734, 734, 734, 734, 735, 735, + + 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, 735, 735, 736, 736, 0, + 735, 735, 735, 735, 735, 736, 736, 736, 736, 736, 736, 736, 736, 736, 736, 736, 736, 736, 736, 736, - 736, 736, 736, 736, 736, 736, 737, 737, 737, 737, + 736, 736, 736, 736, 737, 737, 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, 738, 739, 739, 739, 739, 739, 739, + 737, 737, 737, 738, 738, 207, 206, 738, 738, 205, + 738, 738, 738, 738, 738, 738, 738, 738, 738, 739, + 204, 201, 200, 199, 198, 739, 739, 739, 739, 197, + 739, 740, 740, 740, 740, 740, 740, 740, 740, 740, - 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, + 741, 741, 741, 741, 741, 741, 741, 741, 741, 742, + 742, 196, 192, 742, 742, 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, - 743, 743, 744, 744, 0, 744, 744, 744, 744, 744, + 743, 743, 743, 743, 744, 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, + 744, 744, 744, 745, 745, 745, 745, 745, 745, 745, 745, 745, 745, 745, 745, 745, 745, 745, 745, 745, + + 745, 745, 746, 746, 191, 746, 746, 746, 746, 746, 746, 746, 746, 746, 746, 746, 746, 746, 746, 746, - 746, 746, 746, 746, 746, 746, 746, 746, 746, 747, + 746, 747, 747, 183, 747, 747, 747, 747, 747, 747, 747, 747, 747, 747, 747, 747, 747, 747, 747, 747, - 747, 747, 747, 747, 747, 747, 747, 747, 748, 748, - 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, 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, + 748, 748, 171, 748, 748, 748, 748, 748, 748, 748, + 748, 748, 748, 748, 748, 748, 748, 748, 748, 749, + 749, 164, 749, 749, 749, 749, 749, 749, 749, 749, + 749, 749, 749, 749, 749, 749, 749, 749, 750, 750, + 156, 750, 750, 750, 750, 750, 750, 750, 750, 750, + 750, 750, 750, 750, 750, 750, 750, 751, 751, 145, + + 751, 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, 752, 752, 753, 753, 753, 753, 753, 753, 753, + 752, 752, 752, 752, 752, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, 753, - 753, 753, 754, 754, 0, 754, 754, 754, 754, 754, + 753, 753, 753, 753, 754, 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, + 754, 754, 754, 755, 143, 142, 140, 138, 137, 755, + 755, 755, 755, 755, 755, 755, 755, 755, 756, 756, + 756, 756, 756, 756, 756, 756, 756, 756, 756, 756, + + 756, 756, 756, 756, 756, 756, 756, 757, 757, 757, + 757, 136, 757, 757, 757, 757, 757, 757, 757, 757, + 757, 757, 757, 757, 757, 757, 758, 135, 134, 121, + 119, 117, 758, 758, 758, 758, 759, 759, 116, 759, 759, 759, 759, 759, 759, 759, 759, 759, 759, 759, - 759, 759, 759, 760, 760, 0, 760, 760, 760, 760, + 759, 759, 759, 759, 759, 760, 760, 114, 760, 760, 760, 760, 760, 760, 760, 760, 760, 760, 760, 760, - 760, 760, 761, 761, 0, 761, 761, 761, 761, 761, - + 760, 760, 760, 760, 761, 761, 113, 761, 761, 761, 761, 761, 761, 761, 761, 761, 761, 761, 761, 761, - 761, 762, 762, 0, 762, 762, 762, 762, 762, 762, + 761, 761, 761, 762, 762, 112, 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, + 762, 762, 763, 763, 763, 763, 763, 763, 763, 763, + 763, 763, 763, 763, 763, 763, 763, 763, 763, 763, + 763, 764, 764, 764, 764, 764, 764, 764, 764, 764, + 764, 764, 764, 764, 764, 764, 764, 764, 764, 764, + 765, 765, 765, 765, 765, 765, 765, 765, 765, 765, + 765, 765, 765, 765, 765, 765, 765, 765, 765, 766, 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, 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, - 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 + 766, 766, 766, 766, 766, 766, 766, 766, 101, 99, + 95, 92, 91, 90, 86, 81, 78, 58, 57, 55, + + 53, 52, 44, 41, 40, 38, 23, 22, 20, 18, + 17, 14, 9, 3, 687, 687, 687, 687, 687, 687, + 687, 687, 687, 687, 687, 687, 687, 687, 687, 687, + 687, 687, 687, 687, 687, 687, 687, 687, 687, 687, + 687, 687, 687, 687, 687, 687, 687, 687, 687, 687, + 687, 687, 687, 687, 687, 687, 687, 687, 687, 687, + 687, 687, 687, 687, 687, 687, 687, 687, 687, 687, + 687, 687, 687, 687, 687, 687, 687, 687, 687, 687, + 687, 687, 687, 687, 687, 687, 687, 687 } ; static yy_state_type yy_state_buf[YY_BUF_SIZE + 2], *yy_state_ptr; @@ -1707,12 +1543,12 @@ char *yytext; #define INITIAL 0 /* * parser.l -- lex parser of algebraic chess moves for XBoard - * $Id: parser.l,v 2.1 2003/10/27 19:21:00 mann Exp $ * * Copyright 1991 by Digital Equipment Corporation, Maynard, - * Massachusetts. Enhancements Copyright - * 1992-2001,2002,2003,2004,2005,2006,2007,2008,2009 Free Software - * Foundation, Inc. + * Massachusetts. + * + * Enhancements Copyright 1992-2001, 2002, 2003, 2004, 2005, + * 2006, 2007, 2008, 2009 Free Software Foundation, Inc. * * The following terms apply to Digital Equipment Corporation's copyright * interest in XBoard: @@ -2078,14 +1914,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 >= 697 ) + if ( yy_current_state >= 688 ) 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] != 4517 ); + while ( yy_base[yy_current_state] != 3815 ); yy_find_action: yy_current_state = *--yy_state_ptr; @@ -2202,8 +2038,6 @@ YY_RULE_SETUP result = LegalityTest(boards[yyboardindex], PosFlags(yyboardindex)&~F_MANDATORY_CAPTURE, // [HGM] losers: might think we can e.p.! - EP_UNKNOWN, - initialRights, /* [HGM] assume all castlings allowed */ currentMoveString[1] - ONE, currentMoveString[0] - AAA, currentMoveString[3] - ONE, @@ -2266,8 +2100,6 @@ YY_RULE_SETUP result = LegalityTest(boards[yyboardindex], PosFlags(yyboardindex)&~F_MANDATORY_CAPTURE, // [HGM] losers: might think we can e.p.! - EP_UNKNOWN, - initialRights, /* [HGM] assume all castlings allowed */ currentMoveString[1] - ONE, currentMoveString[0] - AAA, currentMoveString[3] - ONE, @@ -2322,8 +2154,7 @@ YY_RULE_SETUP return IllegalMove; - Disambiguate(boards[yyboardindex], - PosFlags(yyboardindex), EP_UNKNOWN, &cl); + Disambiguate(boards[yyboardindex], PosFlags(yyboardindex), &cl); currentMoveString[0] = cl.ff + AAA; currentMoveString[1] = cl.rf + ONE; @@ -2378,8 +2209,7 @@ YY_RULE_SETUP if(c != '=' && c != '+' && c != NULLCHAR && CharToPiece(c) == EmptySquare) return IllegalMove; - Disambiguate(boards[yyboardindex], - PosFlags(yyboardindex), EP_UNKNOWN, &cl); + Disambiguate(boards[yyboardindex], PosFlags(yyboardindex), &cl); currentMoveString[0] = cl.ff + AAA; currentMoveString[1] = cl.rf + ONE; @@ -2435,9 +2265,13 @@ YY_RULE_SETUP if (WhiteOnMove(yyboardindex)) { if (yytext[2+skip] == ONE) return (int) ImpossibleMove; currentMoveString[1] = yytext[2+skip] - 1; + if(boards[yyboardindex][currentMoveString[1]-ONE][currentMoveString[0]-AAA] != WhitePawn) + return ImpossibleMove; } else { currentMoveString[1] = currentMoveString[3] + 1; if (currentMoveString[3] == ONE+BOARD_HEIGHT-1) return (int) ImpossibleMove; + if(boards[yyboardindex][currentMoveString[1]-ONE][currentMoveString[0]-AAA] != BlackPawn) + return ImpossibleMove; } if (yyleng-skip > 3) { if (yytext[yyleng-1] == ')') @@ -2453,8 +2287,6 @@ YY_RULE_SETUP result = LegalityTest(boards[yyboardindex], PosFlags(yyboardindex)&~F_MANDATORY_CAPTURE, // [HGM] losers: might think we can e.p.! - EP_UNKNOWN, - initialRights, /* [HGM] assume all castlings allowed */ currentMoveString[1] - ONE, currentMoveString[0] - AAA, currentMoveString[3] - ONE, @@ -2494,8 +2326,6 @@ YY_RULE_SETUP result = LegalityTest(boards[yyboardindex], PosFlags(yyboardindex)&~F_MANDATORY_CAPTURE, // [HGM] losers: might think we can e.p.! - EP_UNKNOWN, - initialRights, /* [HGM] assume all castlings allowed */ currentMoveString[1] - ONE, currentMoveString[0] - AAA, currentMoveString[3] - ONE, @@ -2554,8 +2384,7 @@ YY_RULE_SETUP cl.ftIn < BOARD_LEFT ) return 0; - Disambiguate(boards[yyboardindex], - PosFlags(yyboardindex), EP_UNKNOWN, &cl); + Disambiguate(boards[yyboardindex], PosFlags(yyboardindex), &cl); currentMoveString[0] = cl.ff + AAA; currentMoveString[1] = cl.rf + ONE; @@ -2617,8 +2446,7 @@ YY_RULE_SETUP cl.ftIn < BOARD_LEFT ) return 0; - Disambiguate(boards[yyboardindex], - PosFlags(yyboardindex), EP_UNKNOWN, &cl); + Disambiguate(boards[yyboardindex], PosFlags(yyboardindex), &cl); currentMoveString[0] = cl.ff + AAA; currentMoveString[1] = cl.rf + ONE; @@ -2665,7 +2493,7 @@ YY_RULE_SETUP ft = BOARD_LEFT+2; } } - if(gameInfo.variant == VariantFischeRandom) { + if(PosFlags(0) & F_FRC_TYPE_CASTLING) { if (WhiteOnMove(yyboardindex)) { ff = initialRights[2]; ft = initialRights[1]; @@ -2673,7 +2501,10 @@ YY_RULE_SETUP ff = initialRights[5]; ft = initialRights[4]; } - fprintf(debugFP, "Parser FRC long %d %d\n", ff, ft); + if (appData.debugMode) + { + 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); @@ -2682,8 +2513,6 @@ YY_RULE_SETUP } return (int) LegalityTest(boards[yyboardindex], PosFlags(yyboardindex)&~F_MANDATORY_CAPTURE, // [HGM] losers: e.p.! - EP_UNKNOWN, - castlingRights[yyboardindex], /* [HGM] use true castling rights */ rf, ff, rt, ft, NULLCHAR); } YY_BREAK @@ -2721,7 +2550,7 @@ YY_RULE_SETUP ft = BOARD_RGHT-2; } } - if(gameInfo.variant == VariantFischeRandom) { + if(PosFlags(0) & F_FRC_TYPE_CASTLING) { if (WhiteOnMove(yyboardindex)) { ff = initialRights[2]; ft = initialRights[0]; @@ -2741,8 +2570,6 @@ YY_RULE_SETUP return (int) LegalityTest(boards[yyboardindex], PosFlags(yyboardindex)&~F_MANDATORY_CAPTURE, // [HGM] losers: e.p.! - EP_UNKNOWN, - castlingRights[yyboardindex], /* [HGM] use true castling rights */ rf, ff, rt, ft, NULLCHAR); } YY_BREAK @@ -2837,13 +2664,13 @@ YY_RULE_SETUP YY_BREAK case 20: YY_RULE_SETUP -{ +{ return (int) (ToUpper(yytext[0]) == 'W' ? WhiteWins : BlackWins); } YY_BREAK case 21: YY_RULE_SETUP -{ +{ return (int) (ToUpper(yytext[0]) == 'W' ? BlackWins : WhiteWins); } YY_BREAK @@ -2953,7 +2780,7 @@ YY_RULE_SETUP YY_BREAK case 37: YY_RULE_SETUP -{ /* nested () */ +{ /* very nested () */ return (int) Comment; } YY_BREAK @@ -3274,7 +3101,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 >= 697 ) + if ( yy_current_state >= 688 ) yy_c = yy_meta[(unsigned int) yy_c]; } yy_current_state = yy_nxt[yy_base[yy_current_state] + (unsigned int) yy_c]; @@ -3304,11 +3131,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 >= 697 ) + if ( yy_current_state >= 688 ) 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 == 696); + yy_is_jam = (yy_current_state == 687); if ( ! yy_is_jam ) *yy_state_ptr++ = yy_current_state; @@ -3912,7 +3739,7 @@ int yyoffset() static void output(ch) int ch; { - fprintf(stderr, "PARSER BUG: unmatched character '%c' (0%o)\n", + if(appData.debugMode) fprintf(debugFP, "PARSER BUG: unmatched character '%c' (0%o)\n", ch, ch); } @@ -3924,7 +3751,7 @@ static void unput(ch) StringToLex--; } else { if (unputCount >= UNPUT_BUF_SIZE) - fprintf(stderr, "PARSER BUG: unput buffer overflow '%c' (0%o)\n", + if(appData.debugMode) fprintf(debugFP, "PARSER BUG: unput buffer overflow '%c' (0%o)\n", ch, ch); unputBuffer[unputCount++] = ch; }