{ "schema_version": "0.3", "name": "[[609,354,3]]", "code_type": "CSS", "n": 609, "k": 354, "checks": { "X": [ [ 0, 87, 145, 174, 205, 234, 321, 379, 411, 440, 527, 585 ], [ 1, 88, 146, 175, 206, 235, 322, 380, 412, 441, 528, 586 ], [ 2, 89, 147, 176, 207, 236, 323, 381, 413, 442, 529, 587 ], [ 3, 90, 148, 177, 208, 237, 324, 382, 414, 443, 530, 588 ], [ 4, 91, 149, 178, 209, 238, 325, 383, 415, 444, 531, 589 ], [ 5, 92, 150, 179, 210, 239, 326, 384, 416, 445, 532, 590 ], [ 6, 93, 151, 180, 211, 240, 327, 385, 417, 446, 533, 591 ], [ 7, 94, 152, 181, 212, 241, 328, 386, 418, 447, 534, 592 ], [ 8, 95, 153, 182, 213, 242, 329, 387, 419, 448, 535, 593 ], [ 9, 96, 154, 183, 214, 243, 330, 388, 420, 449, 536, 594 ], [ 10, 97, 155, 184, 215, 244, 331, 389, 421, 450, 537, 595 ], [ 11, 98, 156, 185, 216, 245, 332, 390, 422, 451, 538, 596 ], [ 12, 99, 157, 186, 217, 246, 333, 391, 423, 452, 539, 597 ], [ 13, 100, 158, 187, 218, 247, 334, 392, 424, 453, 540, 598 ], [ 14, 101, 159, 188, 219, 248, 335, 393, 425, 454, 541, 599 ], [ 15, 102, 160, 189, 220, 249, 336, 394, 426, 455, 542, 600 ], [ 16, 103, 161, 190, 221, 250, 337, 395, 427, 456, 543, 601 ], [ 17, 104, 162, 191, 222, 251, 338, 396, 428, 457, 544, 602 ], [ 18, 105, 163, 192, 223, 252, 339, 397, 429, 458, 545, 603 ], [ 19, 106, 164, 193, 224, 253, 340, 398, 430, 459, 546, 604 ], [ 20, 107, 165, 194, 225, 254, 341, 399, 431, 460, 547, 605 ], [ 21, 108, 166, 195, 226, 255, 342, 400, 432, 461, 548, 606 ], [ 22, 109, 167, 196, 227, 256, 343, 401, 433, 462, 549, 607 ], [ 23, 110, 168, 197, 228, 257, 344, 402, 434, 463, 550, 608 ], [ 24, 111, 169, 198, 229, 258, 345, 403, 406, 435, 464, 551 ], [ 25, 112, 170, 199, 230, 259, 346, 404, 407, 436, 465, 552 ], [ 26, 113, 171, 200, 231, 260, 347, 405, 408, 437, 466, 553 ], [ 27, 114, 172, 201, 203, 232, 261, 348, 409, 438, 467, 554 ], [ 28, 115, 173, 202, 204, 233, 262, 349, 410, 439, 468, 555 ], [ 0, 29, 116, 174, 205, 234, 263, 350, 411, 440, 469, 556 ], [ 1, 30, 117, 175, 206, 235, 264, 351, 412, 441, 470, 557 ], [ 2, 31, 118, 176, 207, 236, 265, 352, 413, 442, 471, 558 ], [ 3, 32, 119, 177, 208, 237, 266, 353, 414, 443, 472, 559 ], [ 4, 33, 120, 178, 209, 238, 267, 354, 415, 444, 473, 560 ], [ 5, 34, 121, 179, 210, 239, 268, 355, 416, 445, 474, 561 ], [ 6, 35, 122, 180, 211, 240, 269, 356, 417, 446, 475, 562 ], [ 7, 36, 123, 181, 212, 241, 270, 357, 418, 447, 476, 563 ], [ 8, 37, 124, 182, 213, 242, 271, 358, 419, 448, 477, 564 ], [ 9, 38, 125, 183, 214, 243, 272, 359, 420, 449, 478, 565 ], [ 10, 39, 126, 184, 215, 244, 273, 360, 421, 450, 479, 566 ], [ 11, 40, 127, 185, 216, 245, 274, 361, 422, 451, 480, 567 ], [ 12, 41, 128, 186, 217, 246, 275, 362, 423, 452, 481, 568 ], [ 13, 42, 129, 187, 218, 247, 276, 363, 424, 453, 482, 569 ], [ 14, 43, 130, 188, 219, 248, 277, 364, 425, 454, 483, 570 ], [ 15, 44, 131, 189, 220, 249, 278, 365, 426, 455, 484, 571 ], [ 16, 45, 132, 190, 221, 250, 279, 366, 427, 456, 485, 572 ], [ 17, 46, 133, 191, 222, 251, 280, 367, 428, 457, 486, 573 ], [ 18, 47, 134, 192, 223, 252, 281, 368, 429, 458, 487, 574 ], [ 19, 48, 135, 193, 224, 253, 282, 369, 430, 459, 488, 575 ], [ 20, 49, 136, 194, 225, 254, 283, 370, 431, 460, 489, 576 ], [ 21, 50, 137, 195, 226, 255, 284, 371, 432, 461, 490, 577 ], [ 22, 51, 138, 196, 227, 256, 285, 372, 433, 462, 491, 578 ], [ 23, 52, 139, 197, 228, 257, 286, 373, 434, 463, 492, 579 ], [ 24, 53, 140, 198, 229, 258, 287, 374, 435, 464, 493, 580 ], [ 25, 54, 141, 199, 230, 259, 288, 375, 436, 465, 494, 581 ], [ 26, 55, 142, 200, 231, 260, 289, 376, 437, 466, 495, 582 ], [ 27, 56, 143, 201, 232, 261, 290, 377, 438, 467, 496, 583 ], [ 28, 57, 144, 202, 233, 262, 291, 378, 439, 468, 497, 584 ], [ 0, 29, 58, 145, 234, 263, 292, 379, 440, 469, 498, 585 ], [ 1, 30, 59, 146, 235, 264, 293, 380, 441, 470, 499, 586 ], [ 2, 31, 60, 147, 236, 265, 294, 381, 442, 471, 500, 587 ], [ 3, 32, 61, 148, 237, 266, 295, 382, 443, 472, 501, 588 ], [ 4, 33, 62, 149, 238, 267, 296, 383, 444, 473, 502, 589 ], [ 5, 34, 63, 150, 239, 268, 297, 384, 445, 474, 503, 590 ], [ 6, 35, 64, 151, 240, 269, 298, 385, 446, 475, 504, 591 ], [ 7, 36, 65, 152, 241, 270, 299, 386, 447, 476, 505, 592 ], [ 8, 37, 66, 153, 242, 271, 300, 387, 448, 477, 506, 593 ], [ 9, 38, 67, 154, 243, 272, 301, 388, 449, 478, 507, 594 ], [ 10, 39, 68, 155, 244, 273, 302, 389, 450, 479, 508, 595 ], [ 11, 40, 69, 156, 245, 274, 303, 390, 451, 480, 509, 596 ], [ 12, 41, 70, 157, 246, 275, 304, 391, 452, 481, 510, 597 ], [ 13, 42, 71, 158, 247, 276, 305, 392, 453, 482, 511, 598 ], [ 14, 43, 72, 159, 248, 277, 306, 393, 454, 483, 512, 599 ], [ 15, 44, 73, 160, 249, 278, 307, 394, 455, 484, 513, 600 ], [ 16, 45, 74, 161, 250, 279, 308, 395, 456, 485, 514, 601 ], [ 17, 46, 75, 162, 251, 280, 309, 396, 457, 486, 515, 602 ], [ 18, 47, 76, 163, 252, 281, 310, 397, 458, 487, 516, 603 ], [ 19, 48, 77, 164, 253, 282, 311, 398, 459, 488, 517, 604 ], [ 20, 49, 78, 165, 254, 283, 312, 399, 460, 489, 518, 605 ], [ 21, 50, 79, 166, 255, 284, 313, 400, 461, 490, 519, 606 ], [ 22, 51, 80, 167, 256, 285, 314, 401, 462, 491, 520, 607 ], [ 23, 52, 81, 168, 257, 286, 315, 402, 463, 492, 521, 608 ], [ 24, 53, 82, 169, 258, 287, 316, 403, 406, 464, 493, 522 ], [ 25, 54, 83, 170, 259, 288, 317, 404, 407, 465, 494, 523 ], [ 26, 55, 84, 171, 260, 289, 318, 405, 408, 466, 495, 524 ], [ 27, 56, 85, 172, 203, 261, 290, 319, 409, 467, 496, 525 ], [ 28, 57, 86, 173, 204, 262, 291, 320, 410, 468, 497, 526 ], [ 29, 58, 87, 174, 205, 263, 292, 321, 411, 469, 498, 527 ], [ 30, 59, 88, 175, 206, 264, 293, 322, 412, 470, 499, 528 ], [ 31, 60, 89, 176, 207, 265, 294, 323, 413, 471, 500, 529 ], [ 32, 61, 90, 177, 208, 266, 295, 324, 414, 472, 501, 530 ], [ 33, 62, 91, 178, 209, 267, 296, 325, 415, 473, 502, 531 ], [ 34, 63, 92, 179, 210, 268, 297, 326, 416, 474, 503, 532 ], [ 35, 64, 93, 180, 211, 269, 298, 327, 417, 475, 504, 533 ], [ 36, 65, 94, 181, 212, 270, 299, 328, 418, 476, 505, 534 ], [ 37, 66, 95, 182, 213, 271, 300, 329, 419, 477, 506, 535 ], [ 38, 67, 96, 183, 214, 272, 301, 330, 420, 478, 507, 536 ], [ 39, 68, 97, 184, 215, 273, 302, 331, 421, 479, 508, 537 ], [ 40, 69, 98, 185, 216, 274, 303, 332, 422, 480, 509, 538 ], [ 41, 70, 99, 186, 217, 275, 304, 333, 423, 481, 510, 539 ], [ 42, 71, 100, 187, 218, 276, 305, 334, 424, 482, 511, 540 ], [ 43, 72, 101, 188, 219, 277, 306, 335, 425, 483, 512, 541 ], [ 44, 73, 102, 189, 220, 278, 307, 336, 426, 484, 513, 542 ], [ 45, 74, 103, 190, 221, 279, 308, 337, 427, 485, 514, 543 ], [ 46, 75, 104, 191, 222, 280, 309, 338, 428, 486, 515, 544 ], [ 47, 76, 105, 192, 223, 281, 310, 339, 429, 487, 516, 545 ], [ 48, 77, 106, 193, 224, 282, 311, 340, 430, 488, 517, 546 ], [ 49, 78, 107, 194, 225, 283, 312, 341, 431, 489, 518, 547 ], [ 50, 79, 108, 195, 226, 284, 313, 342, 432, 490, 519, 548 ], [ 51, 80, 109, 196, 227, 285, 314, 343, 433, 491, 520, 549 ], [ 52, 81, 110, 197, 228, 286, 315, 344, 434, 492, 521, 550 ], [ 53, 82, 111, 198, 229, 287, 316, 345, 435, 493, 522, 551 ], [ 54, 83, 112, 199, 230, 288, 317, 346, 436, 494, 523, 552 ], [ 55, 84, 113, 200, 231, 289, 318, 347, 437, 495, 524, 553 ], [ 56, 85, 114, 201, 232, 290, 319, 348, 438, 496, 525, 554 ], [ 57, 86, 115, 202, 233, 291, 320, 349, 439, 497, 526, 555 ], [ 0, 58, 87, 116, 234, 292, 321, 350, 440, 498, 527, 556 ], [ 1, 59, 88, 117, 235, 293, 322, 351, 441, 499, 528, 557 ], [ 2, 60, 89, 118, 236, 294, 323, 352, 442, 500, 529, 558 ], [ 3, 61, 90, 119, 237, 295, 324, 353, 443, 501, 530, 559 ], [ 4, 62, 91, 120, 238, 296, 325, 354, 444, 502, 531, 560 ], [ 5, 63, 92, 121, 239, 297, 326, 355, 445, 503, 532, 561 ], [ 6, 64, 93, 122, 240, 298, 327, 356, 446, 504, 533, 562 ], [ 7, 65, 94, 123, 241, 299, 328, 357, 447, 505, 534, 563 ], [ 8, 66, 95, 124, 242, 300, 329, 358, 448, 506, 535, 564 ], [ 9, 67, 96, 125, 243, 301, 330, 359, 449, 507, 536, 565 ], [ 10, 68, 97, 126, 244, 302, 331, 360, 450, 508, 537, 566 ], [ 11, 69, 98, 127, 245, 303, 332, 361, 451, 509, 538, 567 ], [ 12, 70, 99, 128, 246, 304, 333, 362, 452, 510, 539, 568 ], [ 13, 71, 100, 129, 247, 305, 334, 363, 453, 511, 540, 569 ], [ 14, 72, 101, 130, 248, 306, 335, 364, 454, 512, 541, 570 ], [ 15, 73, 102, 131, 249, 307, 336, 365, 455, 513, 542, 571 ], [ 16, 74, 103, 132, 250, 308, 337, 366, 456, 514, 543, 572 ], [ 17, 75, 104, 133, 251, 309, 338, 367, 457, 515, 544, 573 ], [ 18, 76, 105, 134, 252, 310, 339, 368, 458, 516, 545, 574 ], [ 19, 77, 106, 135, 253, 311, 340, 369, 459, 517, 546, 575 ], [ 20, 78, 107, 136, 254, 312, 341, 370, 460, 518, 547, 576 ], [ 21, 79, 108, 137, 255, 313, 342, 371, 461, 519, 548, 577 ], [ 22, 80, 109, 138, 256, 314, 343, 372, 462, 520, 549, 578 ], [ 23, 81, 110, 139, 257, 315, 344, 373, 463, 521, 550, 579 ], [ 24, 82, 111, 140, 258, 316, 345, 374, 464, 522, 551, 580 ], [ 25, 83, 112, 141, 259, 317, 346, 375, 465, 523, 552, 581 ], [ 26, 84, 113, 142, 260, 318, 347, 376, 466, 524, 553, 582 ], [ 27, 85, 114, 143, 261, 319, 348, 377, 467, 525, 554, 583 ], [ 28, 86, 115, 144, 262, 320, 349, 378, 468, 526, 555, 584 ], [ 29, 87, 116, 145, 263, 321, 350, 379, 469, 527, 556, 585 ], [ 30, 88, 117, 146, 264, 322, 351, 380, 470, 528, 557, 586 ], [ 31, 89, 118, 147, 265, 323, 352, 381, 471, 529, 558, 587 ], [ 32, 90, 119, 148, 266, 324, 353, 382, 472, 530, 559, 588 ], [ 33, 91, 120, 149, 267, 325, 354, 383, 473, 531, 560, 589 ], [ 34, 92, 121, 150, 268, 326, 355, 384, 474, 532, 561, 590 ], [ 35, 93, 122, 151, 269, 327, 356, 385, 475, 533, 562, 591 ], [ 36, 94, 123, 152, 270, 328, 357, 386, 476, 534, 563, 592 ], [ 37, 95, 124, 153, 271, 329, 358, 387, 477, 535, 564, 593 ], [ 38, 96, 125, 154, 272, 330, 359, 388, 478, 536, 565, 594 ], [ 39, 97, 126, 155, 273, 331, 360, 389, 479, 537, 566, 595 ], [ 40, 98, 127, 156, 274, 332, 361, 390, 480, 538, 567, 596 ], [ 41, 99, 128, 157, 275, 333, 362, 391, 481, 539, 568, 597 ], [ 42, 100, 129, 158, 276, 334, 363, 392, 482, 540, 569, 598 ], [ 43, 101, 130, 159, 277, 335, 364, 393, 483, 541, 570, 599 ], [ 44, 102, 131, 160, 278, 336, 365, 394, 484, 542, 571, 600 ], [ 45, 103, 132, 161, 279, 337, 366, 395, 485, 543, 572, 601 ], [ 46, 104, 133, 162, 280, 338, 367, 396, 486, 544, 573, 602 ], [ 47, 105, 134, 163, 281, 339, 368, 397, 487, 545, 574, 603 ], [ 48, 106, 135, 164, 282, 340, 369, 398, 488, 546, 575, 604 ], [ 49, 107, 136, 165, 283, 341, 370, 399, 489, 547, 576, 605 ], [ 50, 108, 137, 166, 284, 342, 371, 400, 490, 548, 577, 606 ], [ 51, 109, 138, 167, 285, 343, 372, 401, 491, 549, 578, 607 ], [ 52, 110, 139, 168, 286, 344, 373, 402, 492, 550, 579, 608 ], [ 53, 111, 140, 169, 287, 345, 374, 403, 406, 493, 551, 580 ], [ 54, 112, 141, 170, 288, 346, 375, 404, 407, 494, 552, 581 ], [ 55, 113, 142, 171, 289, 347, 376, 405, 408, 495, 553, 582 ], [ 56, 114, 143, 172, 203, 290, 348, 377, 409, 496, 554, 583 ], [ 57, 115, 144, 173, 204, 291, 349, 378, 410, 497, 555, 584 ], [ 58, 116, 145, 174, 205, 292, 350, 379, 411, 498, 556, 585 ], [ 59, 117, 146, 175, 206, 293, 351, 380, 412, 499, 557, 586 ], [ 60, 118, 147, 176, 207, 294, 352, 381, 413, 500, 558, 587 ], [ 61, 119, 148, 177, 208, 295, 353, 382, 414, 501, 559, 588 ], [ 62, 120, 149, 178, 209, 296, 354, 383, 415, 502, 560, 589 ], [ 63, 121, 150, 179, 210, 297, 355, 384, 416, 503, 561, 590 ], [ 64, 122, 151, 180, 211, 298, 356, 385, 417, 504, 562, 591 ], [ 65, 123, 152, 181, 212, 299, 357, 386, 418, 505, 563, 592 ], [ 66, 124, 153, 182, 213, 300, 358, 387, 419, 506, 564, 593 ], [ 67, 125, 154, 183, 214, 301, 359, 388, 420, 507, 565, 594 ], [ 68, 126, 155, 184, 215, 302, 360, 389, 421, 508, 566, 595 ], [ 69, 127, 156, 185, 216, 303, 361, 390, 422, 509, 567, 596 ], [ 70, 128, 157, 186, 217, 304, 362, 391, 423, 510, 568, 597 ], [ 71, 129, 158, 187, 218, 305, 363, 392, 424, 511, 569, 598 ], [ 72, 130, 159, 188, 219, 306, 364, 393, 425, 512, 570, 599 ], [ 73, 131, 160, 189, 220, 307, 365, 394, 426, 513, 571, 600 ], [ 74, 132, 161, 190, 221, 308, 366, 395, 427, 514, 572, 601 ], [ 75, 133, 162, 191, 222, 309, 367, 396, 428, 515, 573, 602 ], [ 76, 134, 163, 192, 223, 310, 368, 397, 429, 516, 574, 603 ], [ 77, 135, 164, 193, 224, 311, 369, 398, 430, 517, 575, 604 ], [ 78, 136, 165, 194, 225, 312, 370, 399, 431, 518, 576, 605 ], [ 79, 137, 166, 195, 226, 313, 371, 400, 432, 519, 577, 606 ], [ 80, 138, 167, 196, 227, 314, 372, 401, 433, 520, 578, 607 ], [ 81, 139, 168, 197, 228, 315, 373, 402, 434, 521, 579, 608 ], [ 82, 140, 169, 198, 229, 316, 374, 403, 406, 435, 522, 580 ], [ 83, 141, 170, 199, 230, 317, 375, 404, 407, 436, 523, 581 ], [ 84, 142, 171, 200, 231, 318, 376, 405, 408, 437, 524, 582 ], [ 85, 143, 172, 201, 203, 232, 319, 377, 409, 438, 525, 583 ], [ 86, 144, 173, 202, 204, 233, 320, 378, 410, 439, 526, 584 ], [ 18, 105, 163, 192, 203, 290, 348, 377, 408, 437, 524, 582 ], [ 19, 106, 164, 193, 204, 291, 349, 378, 409, 438, 525, 583 ], [ 20, 107, 165, 194, 205, 292, 350, 379, 410, 439, 526, 584 ], [ 21, 108, 166, 195, 206, 293, 351, 380, 411, 440, 527, 585 ], [ 22, 109, 167, 196, 207, 294, 352, 381, 412, 441, 528, 586 ], [ 23, 110, 168, 197, 208, 295, 353, 382, 413, 442, 529, 587 ], [ 24, 111, 169, 198, 209, 296, 354, 383, 414, 443, 530, 588 ], [ 25, 112, 170, 199, 210, 297, 355, 384, 415, 444, 531, 589 ], [ 26, 113, 171, 200, 211, 298, 356, 385, 416, 445, 532, 590 ], [ 27, 114, 172, 201, 212, 299, 357, 386, 417, 446, 533, 591 ], [ 28, 115, 173, 202, 213, 300, 358, 387, 418, 447, 534, 592 ], [ 0, 29, 116, 174, 214, 301, 359, 388, 419, 448, 535, 593 ], [ 1, 30, 117, 175, 215, 302, 360, 389, 420, 449, 536, 594 ], [ 2, 31, 118, 176, 216, 303, 361, 390, 421, 450, 537, 595 ], [ 3, 32, 119, 177, 217, 304, 362, 391, 422, 451, 538, 596 ], [ 4, 33, 120, 178, 218, 305, 363, 392, 423, 452, 539, 597 ], [ 5, 34, 121, 179, 219, 306, 364, 393, 424, 453, 540, 598 ], [ 6, 35, 122, 180, 220, 307, 365, 394, 425, 454, 541, 599 ], [ 7, 36, 123, 181, 221, 308, 366, 395, 426, 455, 542, 600 ], [ 8, 37, 124, 182, 222, 309, 367, 396, 427, 456, 543, 601 ], [ 9, 38, 125, 183, 223, 310, 368, 397, 428, 457, 544, 602 ], [ 10, 39, 126, 184, 224, 311, 369, 398, 429, 458, 545, 603 ], [ 11, 40, 127, 185, 225, 312, 370, 399, 430, 459, 546, 604 ], [ 12, 41, 128, 186, 226, 313, 371, 400, 431, 460, 547, 605 ], [ 13, 42, 129, 187, 227, 314, 372, 401, 432, 461, 548, 606 ], [ 14, 43, 130, 188, 228, 315, 373, 402, 433, 462, 549, 607 ], [ 15, 44, 131, 189, 229, 316, 374, 403, 434, 463, 550, 608 ], [ 16, 45, 132, 190, 230, 317, 375, 404, 406, 435, 464, 551 ], [ 17, 46, 133, 191, 231, 318, 376, 405, 407, 436, 465, 552 ], [ 18, 47, 134, 192, 203, 232, 319, 377, 408, 437, 466, 553 ], [ 19, 48, 135, 193, 204, 233, 320, 378, 409, 438, 467, 554 ], [ 20, 49, 136, 194, 205, 234, 321, 379, 410, 439, 468, 555 ], [ 21, 50, 137, 195, 206, 235, 322, 380, 411, 440, 469, 556 ], [ 22, 51, 138, 196, 207, 236, 323, 381, 412, 441, 470, 557 ], [ 23, 52, 139, 197, 208, 237, 324, 382, 413, 442, 471, 558 ], [ 24, 53, 140, 198, 209, 238, 325, 383, 414, 443, 472, 559 ], [ 25, 54, 141, 199, 210, 239, 326, 384, 415, 444, 473, 560 ], [ 26, 55, 142, 200, 211, 240, 327, 385, 416, 445, 474, 561 ], [ 27, 56, 143, 201, 212, 241, 328, 386, 417, 446, 475, 562 ], [ 28, 57, 144, 202, 213, 242, 329, 387, 418, 447, 476, 563 ], [ 0, 29, 58, 145, 214, 243, 330, 388, 419, 448, 477, 564 ], [ 1, 30, 59, 146, 215, 244, 331, 389, 420, 449, 478, 565 ], [ 2, 31, 60, 147, 216, 245, 332, 390, 421, 450, 479, 566 ], [ 3, 32, 61, 148, 217, 246, 333, 391, 422, 451, 480, 567 ], [ 4, 33, 62, 149, 218, 247, 334, 392, 423, 452, 481, 568 ], [ 5, 34, 63, 150, 219, 248, 335, 393, 424, 453, 482, 569 ], [ 6, 35, 64, 151, 220, 249, 336, 394, 425, 454, 483, 570 ], [ 7, 36, 65, 152, 221, 250, 337, 395, 426, 455, 484, 571 ], [ 8, 37, 66, 153, 222, 251, 338, 396, 427, 456, 485, 572 ], [ 9, 38, 67, 154, 223, 252, 339, 397, 428, 457, 486, 573 ], [ 10, 39, 68, 155, 224, 253, 340, 398, 429, 458, 487, 574 ], [ 11, 40, 69, 156, 225, 254, 341, 399, 430, 459, 488, 575 ], [ 12, 41, 70, 157, 226, 255, 342, 400, 431, 460, 489, 576 ], [ 13, 42, 71, 158, 227, 256, 343, 401, 432, 461, 490, 577 ], [ 14, 43, 72, 159, 228, 257, 344, 402, 433, 462, 491, 578 ], [ 15, 44, 73, 160, 229, 258, 345, 403, 434, 463, 492, 579 ], [ 16, 45, 74, 161, 230, 259, 346, 404, 435, 464, 493, 580 ], [ 17, 46, 75, 162, 231, 260, 347, 405, 436, 465, 494, 581 ], [ 18, 47, 76, 163, 203, 232, 261, 348, 437, 466, 495, 582 ], [ 19, 48, 77, 164, 204, 233, 262, 349, 438, 467, 496, 583 ], [ 20, 49, 78, 165, 205, 234, 263, 350, 439, 468, 497, 584 ], [ 21, 50, 79, 166, 206, 235, 264, 351, 440, 469, 498, 585 ], [ 22, 51, 80, 167, 207, 236, 265, 352, 441, 470, 499, 586 ], [ 23, 52, 81, 168, 208, 237, 266, 353, 442, 471, 500, 587 ], [ 24, 53, 82, 169, 209, 238, 267, 354, 443, 472, 501, 588 ], [ 25, 54, 83, 170, 210, 239, 268, 355, 444, 473, 502, 589 ], [ 26, 55, 84, 171, 211, 240, 269, 356, 445, 474, 503, 590 ], [ 27, 56, 85, 172, 212, 241, 270, 357, 446, 475, 504, 591 ], [ 28, 57, 86, 173, 213, 242, 271, 358, 447, 476, 505, 592 ], [ 29, 58, 87, 174, 214, 243, 272, 359, 448, 477, 506, 593 ], [ 30, 59, 88, 175, 215, 244, 273, 360, 449, 478, 507, 594 ], [ 31, 60, 89, 176, 216, 245, 274, 361, 450, 479, 508, 595 ], [ 32, 61, 90, 177, 217, 246, 275, 362, 451, 480, 509, 596 ], [ 33, 62, 91, 178, 218, 247, 276, 363, 452, 481, 510, 597 ], [ 34, 63, 92, 179, 219, 248, 277, 364, 453, 482, 511, 598 ], [ 35, 64, 93, 180, 220, 249, 278, 365, 454, 483, 512, 599 ], [ 36, 65, 94, 181, 221, 250, 279, 366, 455, 484, 513, 600 ], [ 37, 66, 95, 182, 222, 251, 280, 367, 456, 485, 514, 601 ], [ 38, 67, 96, 183, 223, 252, 281, 368, 457, 486, 515, 602 ], [ 39, 68, 97, 184, 224, 253, 282, 369, 458, 487, 516, 603 ], [ 40, 69, 98, 185, 225, 254, 283, 370, 459, 488, 517, 604 ], [ 41, 70, 99, 186, 226, 255, 284, 371, 460, 489, 518, 605 ], [ 42, 71, 100, 187, 227, 256, 285, 372, 461, 490, 519, 606 ], [ 43, 72, 101, 188, 228, 257, 286, 373, 462, 491, 520, 607 ], [ 44, 73, 102, 189, 229, 258, 287, 374, 463, 492, 521, 608 ], [ 45, 74, 103, 190, 230, 259, 288, 375, 406, 464, 493, 522 ], [ 46, 75, 104, 191, 231, 260, 289, 376, 407, 465, 494, 523 ], [ 47, 76, 105, 192, 232, 261, 290, 377, 408, 466, 495, 524 ], [ 48, 77, 106, 193, 233, 262, 291, 378, 409, 467, 496, 525 ], [ 49, 78, 107, 194, 234, 263, 292, 379, 410, 468, 497, 526 ], [ 50, 79, 108, 195, 235, 264, 293, 380, 411, 469, 498, 527 ], [ 51, 80, 109, 196, 236, 265, 294, 381, 412, 470, 499, 528 ], [ 52, 81, 110, 197, 237, 266, 295, 382, 413, 471, 500, 529 ], [ 53, 82, 111, 198, 238, 267, 296, 383, 414, 472, 501, 530 ], [ 54, 83, 112, 199, 239, 268, 297, 384, 415, 473, 502, 531 ], [ 55, 84, 113, 200, 240, 269, 298, 385, 416, 474, 503, 532 ], [ 56, 85, 114, 201, 241, 270, 299, 386, 417, 475, 504, 533 ], [ 57, 86, 115, 202, 242, 271, 300, 387, 418, 476, 505, 534 ], [ 0, 58, 87, 116, 243, 272, 301, 388, 419, 477, 506, 535 ], [ 1, 59, 88, 117, 244, 273, 302, 389, 420, 478, 507, 536 ], [ 2, 60, 89, 118, 245, 274, 303, 390, 421, 479, 508, 537 ], [ 3, 61, 90, 119, 246, 275, 304, 391, 422, 480, 509, 538 ], [ 4, 62, 91, 120, 247, 276, 305, 392, 423, 481, 510, 539 ], [ 5, 63, 92, 121, 248, 277, 306, 393, 424, 482, 511, 540 ], [ 6, 64, 93, 122, 249, 278, 307, 394, 425, 483, 512, 541 ], [ 7, 65, 94, 123, 250, 279, 308, 395, 426, 484, 513, 542 ], [ 8, 66, 95, 124, 251, 280, 309, 396, 427, 485, 514, 543 ], [ 9, 67, 96, 125, 252, 281, 310, 397, 428, 486, 515, 544 ], [ 10, 68, 97, 126, 253, 282, 311, 398, 429, 487, 516, 545 ], [ 11, 69, 98, 127, 254, 283, 312, 399, 430, 488, 517, 546 ], [ 12, 70, 99, 128, 255, 284, 313, 400, 431, 489, 518, 547 ], [ 13, 71, 100, 129, 256, 285, 314, 401, 432, 490, 519, 548 ], [ 14, 72, 101, 130, 257, 286, 315, 402, 433, 491, 520, 549 ], [ 15, 73, 102, 131, 258, 287, 316, 403, 434, 492, 521, 550 ], [ 16, 74, 103, 132, 259, 288, 317, 404, 435, 493, 522, 551 ], [ 17, 75, 104, 133, 260, 289, 318, 405, 436, 494, 523, 552 ], [ 18, 76, 105, 134, 203, 261, 290, 319, 437, 495, 524, 553 ], [ 19, 77, 106, 135, 204, 262, 291, 320, 438, 496, 525, 554 ], [ 20, 78, 107, 136, 205, 263, 292, 321, 439, 497, 526, 555 ], [ 21, 79, 108, 137, 206, 264, 293, 322, 440, 498, 527, 556 ], [ 22, 80, 109, 138, 207, 265, 294, 323, 441, 499, 528, 557 ], [ 23, 81, 110, 139, 208, 266, 295, 324, 442, 500, 529, 558 ], [ 24, 82, 111, 140, 209, 267, 296, 325, 443, 501, 530, 559 ], [ 25, 83, 112, 141, 210, 268, 297, 326, 444, 502, 531, 560 ], [ 26, 84, 113, 142, 211, 269, 298, 327, 445, 503, 532, 561 ], [ 27, 85, 114, 143, 212, 270, 299, 328, 446, 504, 533, 562 ], [ 28, 86, 115, 144, 213, 271, 300, 329, 447, 505, 534, 563 ], [ 29, 87, 116, 145, 214, 272, 301, 330, 448, 506, 535, 564 ], [ 30, 88, 117, 146, 215, 273, 302, 331, 449, 507, 536, 565 ], [ 31, 89, 118, 147, 216, 274, 303, 332, 450, 508, 537, 566 ], [ 32, 90, 119, 148, 217, 275, 304, 333, 451, 509, 538, 567 ], [ 33, 91, 120, 149, 218, 276, 305, 334, 452, 510, 539, 568 ], [ 34, 92, 121, 150, 219, 277, 306, 335, 453, 511, 540, 569 ], [ 35, 93, 122, 151, 220, 278, 307, 336, 454, 512, 541, 570 ], [ 36, 94, 123, 152, 221, 279, 308, 337, 455, 513, 542, 571 ], [ 37, 95, 124, 153, 222, 280, 309, 338, 456, 514, 543, 572 ], [ 38, 96, 125, 154, 223, 281, 310, 339, 457, 515, 544, 573 ], [ 39, 97, 126, 155, 224, 282, 311, 340, 458, 516, 545, 574 ], [ 40, 98, 127, 156, 225, 283, 312, 341, 459, 517, 546, 575 ], [ 41, 99, 128, 157, 226, 284, 313, 342, 460, 518, 547, 576 ], [ 42, 100, 129, 158, 227, 285, 314, 343, 461, 519, 548, 577 ], [ 43, 101, 130, 159, 228, 286, 315, 344, 462, 520, 549, 578 ], [ 44, 102, 131, 160, 229, 287, 316, 345, 463, 521, 550, 579 ], [ 45, 103, 132, 161, 230, 288, 317, 346, 464, 522, 551, 580 ], [ 46, 104, 133, 162, 231, 289, 318, 347, 465, 523, 552, 581 ], [ 47, 105, 134, 163, 232, 290, 319, 348, 466, 524, 553, 582 ], [ 48, 106, 135, 164, 233, 291, 320, 349, 467, 525, 554, 583 ], [ 49, 107, 136, 165, 234, 292, 321, 350, 468, 526, 555, 584 ], [ 50, 108, 137, 166, 235, 293, 322, 351, 469, 527, 556, 585 ], [ 51, 109, 138, 167, 236, 294, 323, 352, 470, 528, 557, 586 ], [ 52, 110, 139, 168, 237, 295, 324, 353, 471, 529, 558, 587 ], [ 53, 111, 140, 169, 238, 296, 325, 354, 472, 530, 559, 588 ], [ 54, 112, 141, 170, 239, 297, 326, 355, 473, 531, 560, 589 ], [ 55, 113, 142, 171, 240, 298, 327, 356, 474, 532, 561, 590 ], [ 56, 114, 143, 172, 241, 299, 328, 357, 475, 533, 562, 591 ], [ 57, 115, 144, 173, 242, 300, 329, 358, 476, 534, 563, 592 ], [ 58, 116, 145, 174, 243, 301, 330, 359, 477, 535, 564, 593 ], [ 59, 117, 146, 175, 244, 302, 331, 360, 478, 536, 565, 594 ], [ 60, 118, 147, 176, 245, 303, 332, 361, 479, 537, 566, 595 ], [ 61, 119, 148, 177, 246, 304, 333, 362, 480, 538, 567, 596 ], [ 62, 120, 149, 178, 247, 305, 334, 363, 481, 539, 568, 597 ], [ 63, 121, 150, 179, 248, 306, 335, 364, 482, 540, 569, 598 ], [ 64, 122, 151, 180, 249, 307, 336, 365, 483, 541, 570, 599 ], [ 65, 123, 152, 181, 250, 308, 337, 366, 484, 542, 571, 600 ], [ 66, 124, 153, 182, 251, 309, 338, 367, 485, 543, 572, 601 ], [ 67, 125, 154, 183, 252, 310, 339, 368, 486, 544, 573, 602 ], [ 68, 126, 155, 184, 253, 311, 340, 369, 487, 545, 574, 603 ], [ 69, 127, 156, 185, 254, 312, 341, 370, 488, 546, 575, 604 ], [ 70, 128, 157, 186, 255, 313, 342, 371, 489, 547, 576, 605 ], [ 71, 129, 158, 187, 256, 314, 343, 372, 490, 548, 577, 606 ], [ 72, 130, 159, 188, 257, 315, 344, 373, 491, 549, 578, 607 ], [ 73, 131, 160, 189, 258, 316, 345, 374, 492, 550, 579, 608 ], [ 74, 132, 161, 190, 259, 317, 346, 375, 406, 493, 551, 580 ], [ 75, 133, 162, 191, 260, 318, 347, 376, 407, 494, 552, 581 ], [ 76, 134, 163, 192, 261, 319, 348, 377, 408, 495, 553, 582 ], [ 77, 135, 164, 193, 262, 320, 349, 378, 409, 496, 554, 583 ], [ 78, 136, 165, 194, 263, 321, 350, 379, 410, 497, 555, 584 ], [ 79, 137, 166, 195, 264, 322, 351, 380, 411, 498, 556, 585 ], [ 80, 138, 167, 196, 265, 323, 352, 381, 412, 499, 557, 586 ], [ 81, 139, 168, 197, 266, 324, 353, 382, 413, 500, 558, 587 ], [ 82, 140, 169, 198, 267, 325, 354, 383, 414, 501, 559, 588 ], [ 83, 141, 170, 199, 268, 326, 355, 384, 415, 502, 560, 589 ], [ 84, 142, 171, 200, 269, 327, 356, 385, 416, 503, 561, 590 ], [ 85, 143, 172, 201, 270, 328, 357, 386, 417, 504, 562, 591 ], [ 86, 144, 173, 202, 271, 329, 358, 387, 418, 505, 563, 592 ], [ 0, 87, 145, 174, 272, 330, 359, 388, 419, 506, 564, 593 ], [ 1, 88, 146, 175, 273, 331, 360, 389, 420, 507, 565, 594 ], [ 2, 89, 147, 176, 274, 332, 361, 390, 421, 508, 566, 595 ], [ 3, 90, 148, 177, 275, 333, 362, 391, 422, 509, 567, 596 ], [ 4, 91, 149, 178, 276, 334, 363, 392, 423, 510, 568, 597 ], [ 5, 92, 150, 179, 277, 335, 364, 393, 424, 511, 569, 598 ], [ 6, 93, 151, 180, 278, 336, 365, 394, 425, 512, 570, 599 ], [ 7, 94, 152, 181, 279, 337, 366, 395, 426, 513, 571, 600 ], [ 8, 95, 153, 182, 280, 338, 367, 396, 427, 514, 572, 601 ], [ 9, 96, 154, 183, 281, 339, 368, 397, 428, 515, 573, 602 ], [ 10, 97, 155, 184, 282, 340, 369, 398, 429, 516, 574, 603 ], [ 11, 98, 156, 185, 283, 341, 370, 399, 430, 517, 575, 604 ], [ 12, 99, 157, 186, 284, 342, 371, 400, 431, 518, 576, 605 ], [ 13, 100, 158, 187, 285, 343, 372, 401, 432, 519, 577, 606 ], [ 14, 101, 159, 188, 286, 344, 373, 402, 433, 520, 578, 607 ], [ 15, 102, 160, 189, 287, 345, 374, 403, 434, 521, 579, 608 ], [ 16, 103, 161, 190, 288, 346, 375, 404, 406, 435, 522, 580 ], [ 17, 104, 162, 191, 289, 347, 376, 405, 407, 436, 523, 581 ] ], "Z": [ [ 24, 54, 82, 141, 169, 170, 198, 199, 209, 230, 267, 288, 354, 375, 383, 404, 406, 415, 435, 464, 473, 522, 560, 589 ], [ 25, 55, 83, 142, 170, 171, 199, 200, 210, 231, 268, 289, 355, 376, 384, 405, 407, 416, 436, 465, 474, 523, 561, 590 ], [ 26, 56, 84, 143, 171, 172, 200, 201, 203, 211, 232, 269, 290, 356, 377, 385, 408, 417, 437, 466, 475, 524, 562, 591 ], [ 27, 57, 85, 144, 172, 173, 201, 202, 204, 212, 233, 270, 291, 357, 378, 386, 409, 418, 438, 467, 476, 525, 563, 592 ], [ 0, 28, 58, 86, 145, 173, 174, 202, 205, 213, 234, 271, 292, 358, 379, 387, 410, 419, 439, 468, 477, 526, 564, 593 ], [ 0, 1, 29, 59, 87, 146, 174, 175, 206, 214, 235, 272, 293, 359, 380, 388, 411, 420, 440, 469, 478, 527, 565, 594 ], [ 1, 2, 30, 60, 88, 147, 175, 176, 207, 215, 236, 273, 294, 360, 381, 389, 412, 421, 441, 470, 479, 528, 566, 595 ], [ 2, 3, 31, 61, 89, 148, 176, 177, 208, 216, 237, 274, 295, 361, 382, 390, 413, 422, 442, 471, 480, 529, 567, 596 ], [ 3, 4, 32, 62, 90, 149, 177, 178, 209, 217, 238, 275, 296, 362, 383, 391, 414, 423, 443, 472, 481, 530, 568, 597 ], [ 4, 5, 33, 63, 91, 150, 178, 179, 210, 218, 239, 276, 297, 363, 384, 392, 415, 424, 444, 473, 482, 531, 569, 598 ], [ 5, 6, 34, 64, 92, 151, 179, 180, 211, 219, 240, 277, 298, 364, 385, 393, 416, 425, 445, 474, 483, 532, 570, 599 ], [ 6, 7, 35, 65, 93, 152, 180, 181, 212, 220, 241, 278, 299, 365, 386, 394, 417, 426, 446, 475, 484, 533, 571, 600 ], [ 7, 8, 36, 66, 94, 153, 181, 182, 213, 221, 242, 279, 300, 366, 387, 395, 418, 427, 447, 476, 485, 534, 572, 601 ], [ 8, 9, 37, 67, 95, 154, 182, 183, 214, 222, 243, 280, 301, 367, 388, 396, 419, 428, 448, 477, 486, 535, 573, 602 ], [ 9, 10, 38, 68, 96, 155, 183, 184, 215, 223, 244, 281, 302, 368, 389, 397, 420, 429, 449, 478, 487, 536, 574, 603 ], [ 10, 11, 39, 69, 97, 156, 184, 185, 216, 224, 245, 282, 303, 369, 390, 398, 421, 430, 450, 479, 488, 537, 575, 604 ], [ 11, 12, 40, 70, 98, 157, 185, 186, 217, 225, 246, 283, 304, 370, 391, 399, 422, 431, 451, 480, 489, 538, 576, 605 ], [ 12, 13, 41, 71, 99, 158, 186, 187, 218, 226, 247, 284, 305, 371, 392, 400, 423, 432, 452, 481, 490, 539, 577, 606 ], [ 13, 14, 42, 72, 100, 159, 187, 188, 219, 227, 248, 285, 306, 372, 393, 401, 424, 433, 453, 482, 491, 540, 578, 607 ], [ 14, 15, 43, 73, 101, 160, 188, 189, 220, 228, 249, 286, 307, 373, 394, 402, 425, 434, 454, 483, 492, 541, 579, 608 ], [ 15, 16, 44, 74, 102, 161, 189, 190, 221, 229, 250, 287, 308, 374, 395, 403, 406, 426, 435, 455, 484, 493, 542, 580 ], [ 16, 17, 45, 75, 103, 162, 190, 191, 222, 230, 251, 288, 309, 375, 396, 404, 407, 427, 436, 456, 485, 494, 543, 581 ], [ 17, 18, 46, 76, 104, 163, 191, 192, 223, 231, 252, 289, 310, 376, 397, 405, 408, 428, 437, 457, 486, 495, 544, 582 ], [ 18, 19, 47, 77, 105, 164, 192, 193, 203, 224, 232, 253, 290, 311, 377, 398, 409, 429, 438, 458, 487, 496, 545, 583 ], [ 19, 20, 48, 78, 106, 165, 193, 194, 204, 225, 233, 254, 291, 312, 378, 399, 410, 430, 439, 459, 488, 497, 546, 584 ], [ 20, 21, 49, 79, 107, 166, 194, 195, 205, 226, 234, 255, 292, 313, 379, 400, 411, 431, 440, 460, 489, 498, 547, 585 ], [ 21, 22, 50, 80, 108, 167, 195, 196, 206, 227, 235, 256, 293, 314, 380, 401, 412, 432, 441, 461, 490, 499, 548, 586 ], [ 22, 23, 51, 81, 109, 168, 196, 197, 207, 228, 236, 257, 294, 315, 381, 402, 413, 433, 442, 462, 491, 500, 549, 587 ], [ 23, 24, 52, 82, 110, 169, 197, 198, 208, 229, 237, 258, 295, 316, 382, 403, 414, 434, 443, 463, 492, 501, 550, 588 ], [ 24, 25, 53, 83, 111, 170, 198, 199, 209, 230, 238, 259, 296, 317, 383, 404, 415, 435, 444, 464, 493, 502, 551, 589 ], [ 25, 26, 54, 84, 112, 171, 199, 200, 210, 231, 239, 260, 297, 318, 384, 405, 416, 436, 445, 465, 494, 503, 552, 590 ], [ 26, 27, 55, 85, 113, 172, 200, 201, 203, 211, 232, 240, 261, 298, 319, 385, 417, 437, 446, 466, 495, 504, 553, 591 ], [ 27, 28, 56, 86, 114, 173, 201, 202, 204, 212, 233, 241, 262, 299, 320, 386, 418, 438, 447, 467, 496, 505, 554, 592 ], [ 0, 28, 29, 57, 87, 115, 174, 202, 205, 213, 234, 242, 263, 300, 321, 387, 419, 439, 448, 468, 497, 506, 555, 593 ], [ 0, 1, 29, 30, 58, 88, 116, 175, 206, 214, 235, 243, 264, 301, 322, 388, 420, 440, 449, 469, 498, 507, 556, 594 ], [ 1, 2, 30, 31, 59, 89, 117, 176, 207, 215, 236, 244, 265, 302, 323, 389, 421, 441, 450, 470, 499, 508, 557, 595 ], [ 2, 3, 31, 32, 60, 90, 118, 177, 208, 216, 237, 245, 266, 303, 324, 390, 422, 442, 451, 471, 500, 509, 558, 596 ], [ 3, 4, 32, 33, 61, 91, 119, 178, 209, 217, 238, 246, 267, 304, 325, 391, 423, 443, 452, 472, 501, 510, 559, 597 ], [ 4, 5, 33, 34, 62, 92, 120, 179, 210, 218, 239, 247, 268, 305, 326, 392, 424, 444, 453, 473, 502, 511, 560, 598 ], [ 5, 6, 34, 35, 63, 93, 121, 180, 211, 219, 240, 248, 269, 306, 327, 393, 425, 445, 454, 474, 503, 512, 561, 599 ], [ 6, 7, 35, 36, 64, 94, 122, 181, 212, 220, 241, 249, 270, 307, 328, 394, 426, 446, 455, 475, 504, 513, 562, 600 ], [ 7, 8, 36, 37, 65, 95, 123, 182, 213, 221, 242, 250, 271, 308, 329, 395, 427, 447, 456, 476, 505, 514, 563, 601 ], [ 8, 9, 37, 38, 66, 96, 124, 183, 214, 222, 243, 251, 272, 309, 330, 396, 428, 448, 457, 477, 506, 515, 564, 602 ], [ 9, 10, 38, 39, 67, 97, 125, 184, 215, 223, 244, 252, 273, 310, 331, 397, 429, 449, 458, 478, 507, 516, 565, 603 ], [ 10, 11, 39, 40, 68, 98, 126, 185, 216, 224, 245, 253, 274, 311, 332, 398, 430, 450, 459, 479, 508, 517, 566, 604 ], [ 11, 12, 40, 41, 69, 99, 127, 186, 217, 225, 246, 254, 275, 312, 333, 399, 431, 451, 460, 480, 509, 518, 567, 605 ], [ 12, 13, 41, 42, 70, 100, 128, 187, 218, 226, 247, 255, 276, 313, 334, 400, 432, 452, 461, 481, 510, 519, 568, 606 ], [ 13, 14, 42, 43, 71, 101, 129, 188, 219, 227, 248, 256, 277, 314, 335, 401, 433, 453, 462, 482, 511, 520, 569, 607 ], [ 14, 15, 43, 44, 72, 102, 130, 189, 220, 228, 249, 257, 278, 315, 336, 402, 434, 454, 463, 483, 512, 521, 570, 608 ], [ 15, 16, 44, 45, 73, 103, 131, 190, 221, 229, 250, 258, 279, 316, 337, 403, 406, 435, 455, 464, 484, 513, 522, 571 ], [ 16, 17, 45, 46, 74, 104, 132, 191, 222, 230, 251, 259, 280, 317, 338, 404, 407, 436, 456, 465, 485, 514, 523, 572 ], [ 17, 18, 46, 47, 75, 105, 133, 192, 223, 231, 252, 260, 281, 318, 339, 405, 408, 437, 457, 466, 486, 515, 524, 573 ], [ 18, 19, 47, 48, 76, 106, 134, 193, 203, 224, 232, 253, 261, 282, 319, 340, 409, 438, 458, 467, 487, 516, 525, 574 ], [ 19, 20, 48, 49, 77, 107, 135, 194, 204, 225, 233, 254, 262, 283, 320, 341, 410, 439, 459, 468, 488, 517, 526, 575 ], [ 20, 21, 49, 50, 78, 108, 136, 195, 205, 226, 234, 255, 263, 284, 321, 342, 411, 440, 460, 469, 489, 518, 527, 576 ], [ 21, 22, 50, 51, 79, 109, 137, 196, 206, 227, 235, 256, 264, 285, 322, 343, 412, 441, 461, 470, 490, 519, 528, 577 ], [ 22, 23, 51, 52, 80, 110, 138, 197, 207, 228, 236, 257, 265, 286, 323, 344, 413, 442, 462, 471, 491, 520, 529, 578 ], [ 23, 24, 52, 53, 81, 111, 139, 198, 208, 229, 237, 258, 266, 287, 324, 345, 414, 443, 463, 472, 492, 521, 530, 579 ], [ 24, 25, 53, 54, 82, 112, 140, 199, 209, 230, 238, 259, 267, 288, 325, 346, 415, 444, 464, 473, 493, 522, 531, 580 ], [ 25, 26, 54, 55, 83, 113, 141, 200, 210, 231, 239, 260, 268, 289, 326, 347, 416, 445, 465, 474, 494, 523, 532, 581 ], [ 26, 27, 55, 56, 84, 114, 142, 201, 211, 232, 240, 261, 269, 290, 327, 348, 417, 446, 466, 475, 495, 524, 533, 582 ], [ 27, 28, 56, 57, 85, 115, 143, 202, 212, 233, 241, 262, 270, 291, 328, 349, 418, 447, 467, 476, 496, 525, 534, 583 ], [ 0, 28, 29, 57, 58, 86, 116, 144, 213, 234, 242, 263, 271, 292, 329, 350, 419, 448, 468, 477, 497, 526, 535, 584 ], [ 1, 29, 30, 58, 59, 87, 117, 145, 214, 235, 243, 264, 272, 293, 330, 351, 420, 449, 469, 478, 498, 527, 536, 585 ], [ 2, 30, 31, 59, 60, 88, 118, 146, 215, 236, 244, 265, 273, 294, 331, 352, 421, 450, 470, 479, 499, 528, 537, 586 ], [ 3, 31, 32, 60, 61, 89, 119, 147, 216, 237, 245, 266, 274, 295, 332, 353, 422, 451, 471, 480, 500, 529, 538, 587 ], [ 4, 32, 33, 61, 62, 90, 120, 148, 217, 238, 246, 267, 275, 296, 333, 354, 423, 452, 472, 481, 501, 530, 539, 588 ], [ 5, 33, 34, 62, 63, 91, 121, 149, 218, 239, 247, 268, 276, 297, 334, 355, 424, 453, 473, 482, 502, 531, 540, 589 ], [ 6, 34, 35, 63, 64, 92, 122, 150, 219, 240, 248, 269, 277, 298, 335, 356, 425, 454, 474, 483, 503, 532, 541, 590 ], [ 7, 35, 36, 64, 65, 93, 123, 151, 220, 241, 249, 270, 278, 299, 336, 357, 426, 455, 475, 484, 504, 533, 542, 591 ], [ 8, 36, 37, 65, 66, 94, 124, 152, 221, 242, 250, 271, 279, 300, 337, 358, 427, 456, 476, 485, 505, 534, 543, 592 ], [ 9, 37, 38, 66, 67, 95, 125, 153, 222, 243, 251, 272, 280, 301, 338, 359, 428, 457, 477, 486, 506, 535, 544, 593 ], [ 10, 38, 39, 67, 68, 96, 126, 154, 223, 244, 252, 273, 281, 302, 339, 360, 429, 458, 478, 487, 507, 536, 545, 594 ], [ 11, 39, 40, 68, 69, 97, 127, 155, 224, 245, 253, 274, 282, 303, 340, 361, 430, 459, 479, 488, 508, 537, 546, 595 ], [ 12, 40, 41, 69, 70, 98, 128, 156, 225, 246, 254, 275, 283, 304, 341, 362, 431, 460, 480, 489, 509, 538, 547, 596 ], [ 13, 41, 42, 70, 71, 99, 129, 157, 226, 247, 255, 276, 284, 305, 342, 363, 432, 461, 481, 490, 510, 539, 548, 597 ], [ 14, 42, 43, 71, 72, 100, 130, 158, 227, 248, 256, 277, 285, 306, 343, 364, 433, 462, 482, 491, 511, 540, 549, 598 ], [ 15, 43, 44, 72, 73, 101, 131, 159, 228, 249, 257, 278, 286, 307, 344, 365, 434, 463, 483, 492, 512, 541, 550, 599 ], [ 16, 44, 45, 73, 74, 102, 132, 160, 229, 250, 258, 279, 287, 308, 345, 366, 435, 464, 484, 493, 513, 542, 551, 600 ], [ 17, 45, 46, 74, 75, 103, 133, 161, 230, 251, 259, 280, 288, 309, 346, 367, 436, 465, 485, 494, 514, 543, 552, 601 ], [ 18, 46, 47, 75, 76, 104, 134, 162, 231, 252, 260, 281, 289, 310, 347, 368, 437, 466, 486, 495, 515, 544, 553, 602 ], [ 19, 47, 48, 76, 77, 105, 135, 163, 232, 253, 261, 282, 290, 311, 348, 369, 438, 467, 487, 496, 516, 545, 554, 603 ], [ 20, 48, 49, 77, 78, 106, 136, 164, 233, 254, 262, 283, 291, 312, 349, 370, 439, 468, 488, 497, 517, 546, 555, 604 ], [ 21, 49, 50, 78, 79, 107, 137, 165, 234, 255, 263, 284, 292, 313, 350, 371, 440, 469, 489, 498, 518, 547, 556, 605 ], [ 22, 50, 51, 79, 80, 108, 138, 166, 235, 256, 264, 285, 293, 314, 351, 372, 441, 470, 490, 499, 519, 548, 557, 606 ], [ 23, 51, 52, 80, 81, 109, 139, 167, 236, 257, 265, 286, 294, 315, 352, 373, 442, 471, 491, 500, 520, 549, 558, 607 ], [ 24, 52, 53, 81, 82, 110, 140, 168, 237, 258, 266, 287, 295, 316, 353, 374, 443, 472, 492, 501, 521, 550, 559, 608 ], [ 25, 53, 54, 82, 83, 111, 141, 169, 238, 259, 267, 288, 296, 317, 354, 375, 406, 444, 473, 493, 502, 522, 551, 560 ], [ 26, 54, 55, 83, 84, 112, 142, 170, 239, 260, 268, 289, 297, 318, 355, 376, 407, 445, 474, 494, 503, 523, 552, 561 ], [ 27, 55, 56, 84, 85, 113, 143, 171, 240, 261, 269, 290, 298, 319, 356, 377, 408, 446, 475, 495, 504, 524, 553, 562 ], [ 28, 56, 57, 85, 86, 114, 144, 172, 241, 262, 270, 291, 299, 320, 357, 378, 409, 447, 476, 496, 505, 525, 554, 563 ], [ 29, 57, 58, 86, 87, 115, 145, 173, 242, 263, 271, 292, 300, 321, 358, 379, 410, 448, 477, 497, 506, 526, 555, 564 ], [ 30, 58, 59, 87, 88, 116, 146, 174, 243, 264, 272, 293, 301, 322, 359, 380, 411, 449, 478, 498, 507, 527, 556, 565 ], [ 31, 59, 60, 88, 89, 117, 147, 175, 244, 265, 273, 294, 302, 323, 360, 381, 412, 450, 479, 499, 508, 528, 557, 566 ], [ 32, 60, 61, 89, 90, 118, 148, 176, 245, 266, 274, 295, 303, 324, 361, 382, 413, 451, 480, 500, 509, 529, 558, 567 ], [ 33, 61, 62, 90, 91, 119, 149, 177, 246, 267, 275, 296, 304, 325, 362, 383, 414, 452, 481, 501, 510, 530, 559, 568 ], [ 34, 62, 63, 91, 92, 120, 150, 178, 247, 268, 276, 297, 305, 326, 363, 384, 415, 453, 482, 502, 511, 531, 560, 569 ], [ 35, 63, 64, 92, 93, 121, 151, 179, 248, 269, 277, 298, 306, 327, 364, 385, 416, 454, 483, 503, 512, 532, 561, 570 ], [ 36, 64, 65, 93, 94, 122, 152, 180, 249, 270, 278, 299, 307, 328, 365, 386, 417, 455, 484, 504, 513, 533, 562, 571 ], [ 37, 65, 66, 94, 95, 123, 153, 181, 250, 271, 279, 300, 308, 329, 366, 387, 418, 456, 485, 505, 514, 534, 563, 572 ], [ 38, 66, 67, 95, 96, 124, 154, 182, 251, 272, 280, 301, 309, 330, 367, 388, 419, 457, 486, 506, 515, 535, 564, 573 ], [ 39, 67, 68, 96, 97, 125, 155, 183, 252, 273, 281, 302, 310, 331, 368, 389, 420, 458, 487, 507, 516, 536, 565, 574 ], [ 40, 68, 69, 97, 98, 126, 156, 184, 253, 274, 282, 303, 311, 332, 369, 390, 421, 459, 488, 508, 517, 537, 566, 575 ], [ 41, 69, 70, 98, 99, 127, 157, 185, 254, 275, 283, 304, 312, 333, 370, 391, 422, 460, 489, 509, 518, 538, 567, 576 ], [ 42, 70, 71, 99, 100, 128, 158, 186, 255, 276, 284, 305, 313, 334, 371, 392, 423, 461, 490, 510, 519, 539, 568, 577 ], [ 43, 71, 72, 100, 101, 129, 159, 187, 256, 277, 285, 306, 314, 335, 372, 393, 424, 462, 491, 511, 520, 540, 569, 578 ], [ 44, 72, 73, 101, 102, 130, 160, 188, 257, 278, 286, 307, 315, 336, 373, 394, 425, 463, 492, 512, 521, 541, 570, 579 ], [ 45, 73, 74, 102, 103, 131, 161, 189, 258, 279, 287, 308, 316, 337, 374, 395, 426, 464, 493, 513, 522, 542, 571, 580 ], [ 46, 74, 75, 103, 104, 132, 162, 190, 259, 280, 288, 309, 317, 338, 375, 396, 427, 465, 494, 514, 523, 543, 572, 581 ], [ 47, 75, 76, 104, 105, 133, 163, 191, 260, 281, 289, 310, 318, 339, 376, 397, 428, 466, 495, 515, 524, 544, 573, 582 ], [ 48, 76, 77, 105, 106, 134, 164, 192, 261, 282, 290, 311, 319, 340, 377, 398, 429, 467, 496, 516, 525, 545, 574, 583 ], [ 49, 77, 78, 106, 107, 135, 165, 193, 262, 283, 291, 312, 320, 341, 378, 399, 430, 468, 497, 517, 526, 546, 575, 584 ], [ 50, 78, 79, 107, 108, 136, 166, 194, 263, 284, 292, 313, 321, 342, 379, 400, 431, 469, 498, 518, 527, 547, 576, 585 ], [ 51, 79, 80, 108, 109, 137, 167, 195, 264, 285, 293, 314, 322, 343, 380, 401, 432, 470, 499, 519, 528, 548, 577, 586 ], [ 52, 80, 81, 109, 110, 138, 168, 196, 265, 286, 294, 315, 323, 344, 381, 402, 433, 471, 500, 520, 529, 549, 578, 587 ], [ 53, 81, 82, 110, 111, 139, 169, 197, 266, 287, 295, 316, 324, 345, 382, 403, 434, 472, 501, 521, 530, 550, 579, 588 ], [ 54, 82, 83, 111, 112, 140, 170, 198, 267, 288, 296, 317, 325, 346, 383, 404, 435, 473, 502, 522, 531, 551, 580, 589 ], [ 55, 83, 84, 112, 113, 141, 171, 199, 268, 289, 297, 318, 326, 347, 384, 405, 436, 474, 503, 523, 532, 552, 581, 590 ], [ 56, 84, 85, 113, 114, 142, 172, 200, 203, 269, 290, 298, 319, 327, 348, 385, 437, 475, 504, 524, 533, 553, 582, 591 ], [ 57, 85, 86, 114, 115, 143, 173, 201, 204, 270, 291, 299, 320, 328, 349, 386, 438, 476, 505, 525, 534, 554, 583, 592 ], [ 58, 86, 87, 115, 116, 144, 174, 202, 205, 271, 292, 300, 321, 329, 350, 387, 439, 477, 506, 526, 535, 555, 584, 593 ], [ 0, 59, 87, 88, 116, 117, 145, 175, 206, 272, 293, 301, 322, 330, 351, 388, 440, 478, 507, 527, 536, 556, 585, 594 ], [ 1, 60, 88, 89, 117, 118, 146, 176, 207, 273, 294, 302, 323, 331, 352, 389, 441, 479, 508, 528, 537, 557, 586, 595 ], [ 2, 61, 89, 90, 118, 119, 147, 177, 208, 274, 295, 303, 324, 332, 353, 390, 442, 480, 509, 529, 538, 558, 587, 596 ], [ 3, 62, 90, 91, 119, 120, 148, 178, 209, 275, 296, 304, 325, 333, 354, 391, 443, 481, 510, 530, 539, 559, 588, 597 ], [ 4, 63, 91, 92, 120, 121, 149, 179, 210, 276, 297, 305, 326, 334, 355, 392, 444, 482, 511, 531, 540, 560, 589, 598 ], [ 5, 64, 92, 93, 121, 122, 150, 180, 211, 277, 298, 306, 327, 335, 356, 393, 445, 483, 512, 532, 541, 561, 590, 599 ], [ 6, 65, 93, 94, 122, 123, 151, 181, 212, 278, 299, 307, 328, 336, 357, 394, 446, 484, 513, 533, 542, 562, 591, 600 ], [ 7, 66, 94, 95, 123, 124, 152, 182, 213, 279, 300, 308, 329, 337, 358, 395, 447, 485, 514, 534, 543, 563, 592, 601 ], [ 8, 67, 95, 96, 124, 125, 153, 183, 214, 280, 301, 309, 330, 338, 359, 396, 448, 486, 515, 535, 544, 564, 593, 602 ], [ 9, 68, 96, 97, 125, 126, 154, 184, 215, 281, 302, 310, 331, 339, 360, 397, 449, 487, 516, 536, 545, 565, 594, 603 ], [ 10, 69, 97, 98, 126, 127, 155, 185, 216, 282, 303, 311, 332, 340, 361, 398, 450, 488, 517, 537, 546, 566, 595, 604 ], [ 11, 70, 98, 99, 127, 128, 156, 186, 217, 283, 304, 312, 333, 341, 362, 399, 451, 489, 518, 538, 547, 567, 596, 605 ], [ 12, 71, 99, 100, 128, 129, 157, 187, 218, 284, 305, 313, 334, 342, 363, 400, 452, 490, 519, 539, 548, 568, 597, 606 ], [ 13, 72, 100, 101, 129, 130, 158, 188, 219, 285, 306, 314, 335, 343, 364, 401, 453, 491, 520, 540, 549, 569, 598, 607 ], [ 14, 73, 101, 102, 130, 131, 159, 189, 220, 286, 307, 315, 336, 344, 365, 402, 454, 492, 521, 541, 550, 570, 599, 608 ], [ 15, 74, 102, 103, 131, 132, 160, 190, 221, 287, 308, 316, 337, 345, 366, 403, 406, 455, 493, 522, 542, 551, 571, 600 ], [ 16, 75, 103, 104, 132, 133, 161, 191, 222, 288, 309, 317, 338, 346, 367, 404, 407, 456, 494, 523, 543, 552, 572, 601 ], [ 17, 76, 104, 105, 133, 134, 162, 192, 223, 289, 310, 318, 339, 347, 368, 405, 408, 457, 495, 524, 544, 553, 573, 602 ], [ 18, 77, 105, 106, 134, 135, 163, 193, 203, 224, 290, 311, 319, 340, 348, 369, 409, 458, 496, 525, 545, 554, 574, 603 ], [ 19, 78, 106, 107, 135, 136, 164, 194, 204, 225, 291, 312, 320, 341, 349, 370, 410, 459, 497, 526, 546, 555, 575, 604 ], [ 20, 79, 107, 108, 136, 137, 165, 195, 205, 226, 292, 313, 321, 342, 350, 371, 411, 460, 498, 527, 547, 556, 576, 605 ], [ 21, 80, 108, 109, 137, 138, 166, 196, 206, 227, 293, 314, 322, 343, 351, 372, 412, 461, 499, 528, 548, 557, 577, 606 ], [ 22, 81, 109, 110, 138, 139, 167, 197, 207, 228, 294, 315, 323, 344, 352, 373, 413, 462, 500, 529, 549, 558, 578, 607 ], [ 23, 82, 110, 111, 139, 140, 168, 198, 208, 229, 295, 316, 324, 345, 353, 374, 414, 463, 501, 530, 550, 559, 579, 608 ], [ 24, 83, 111, 112, 140, 141, 169, 199, 209, 230, 296, 317, 325, 346, 354, 375, 406, 415, 464, 502, 531, 551, 560, 580 ], [ 25, 84, 112, 113, 141, 142, 170, 200, 210, 231, 297, 318, 326, 347, 355, 376, 407, 416, 465, 503, 532, 552, 561, 581 ], [ 26, 85, 113, 114, 142, 143, 171, 201, 211, 232, 298, 319, 327, 348, 356, 377, 408, 417, 466, 504, 533, 553, 562, 582 ], [ 27, 86, 114, 115, 143, 144, 172, 202, 212, 233, 299, 320, 328, 349, 357, 378, 409, 418, 467, 505, 534, 554, 563, 583 ], [ 0, 28, 87, 115, 116, 144, 145, 173, 213, 234, 300, 321, 329, 350, 358, 379, 410, 419, 468, 506, 535, 555, 564, 584 ], [ 1, 29, 88, 116, 117, 145, 146, 174, 214, 235, 301, 322, 330, 351, 359, 380, 411, 420, 469, 507, 536, 556, 565, 585 ], [ 2, 30, 89, 117, 118, 146, 147, 175, 215, 236, 302, 323, 331, 352, 360, 381, 412, 421, 470, 508, 537, 557, 566, 586 ], [ 3, 31, 90, 118, 119, 147, 148, 176, 216, 237, 303, 324, 332, 353, 361, 382, 413, 422, 471, 509, 538, 558, 567, 587 ], [ 4, 32, 91, 119, 120, 148, 149, 177, 217, 238, 304, 325, 333, 354, 362, 383, 414, 423, 472, 510, 539, 559, 568, 588 ], [ 5, 33, 92, 120, 121, 149, 150, 178, 218, 239, 305, 326, 334, 355, 363, 384, 415, 424, 473, 511, 540, 560, 569, 589 ], [ 6, 34, 93, 121, 122, 150, 151, 179, 219, 240, 306, 327, 335, 356, 364, 385, 416, 425, 474, 512, 541, 561, 570, 590 ], [ 7, 35, 94, 122, 123, 151, 152, 180, 220, 241, 307, 328, 336, 357, 365, 386, 417, 426, 475, 513, 542, 562, 571, 591 ], [ 8, 36, 95, 123, 124, 152, 153, 181, 221, 242, 308, 329, 337, 358, 366, 387, 418, 427, 476, 514, 543, 563, 572, 592 ], [ 9, 37, 96, 124, 125, 153, 154, 182, 222, 243, 309, 330, 338, 359, 367, 388, 419, 428, 477, 515, 544, 564, 573, 593 ], [ 10, 38, 97, 125, 126, 154, 155, 183, 223, 244, 310, 331, 339, 360, 368, 389, 420, 429, 478, 516, 545, 565, 574, 594 ], [ 11, 39, 98, 126, 127, 155, 156, 184, 224, 245, 311, 332, 340, 361, 369, 390, 421, 430, 479, 517, 546, 566, 575, 595 ], [ 12, 40, 99, 127, 128, 156, 157, 185, 225, 246, 312, 333, 341, 362, 370, 391, 422, 431, 480, 518, 547, 567, 576, 596 ], [ 13, 41, 100, 128, 129, 157, 158, 186, 226, 247, 313, 334, 342, 363, 371, 392, 423, 432, 481, 519, 548, 568, 577, 597 ], [ 14, 42, 101, 129, 130, 158, 159, 187, 227, 248, 314, 335, 343, 364, 372, 393, 424, 433, 482, 520, 549, 569, 578, 598 ], [ 15, 43, 102, 130, 131, 159, 160, 188, 228, 249, 315, 336, 344, 365, 373, 394, 425, 434, 483, 521, 550, 570, 579, 599 ], [ 16, 44, 103, 131, 132, 160, 161, 189, 229, 250, 316, 337, 345, 366, 374, 395, 426, 435, 484, 522, 551, 571, 580, 600 ], [ 17, 45, 104, 132, 133, 161, 162, 190, 230, 251, 317, 338, 346, 367, 375, 396, 427, 436, 485, 523, 552, 572, 581, 601 ], [ 18, 46, 105, 133, 134, 162, 163, 191, 231, 252, 318, 339, 347, 368, 376, 397, 428, 437, 486, 524, 553, 573, 582, 602 ], [ 19, 47, 106, 134, 135, 163, 164, 192, 232, 253, 319, 340, 348, 369, 377, 398, 429, 438, 487, 525, 554, 574, 583, 603 ], [ 20, 48, 107, 135, 136, 164, 165, 193, 233, 254, 320, 341, 349, 370, 378, 399, 430, 439, 488, 526, 555, 575, 584, 604 ], [ 21, 49, 108, 136, 137, 165, 166, 194, 234, 255, 321, 342, 350, 371, 379, 400, 431, 440, 489, 527, 556, 576, 585, 605 ], [ 22, 50, 109, 137, 138, 166, 167, 195, 235, 256, 322, 343, 351, 372, 380, 401, 432, 441, 490, 528, 557, 577, 586, 606 ], [ 23, 51, 110, 138, 139, 167, 168, 196, 236, 257, 323, 344, 352, 373, 381, 402, 433, 442, 491, 529, 558, 578, 587, 607 ], [ 24, 52, 111, 139, 140, 168, 169, 197, 237, 258, 324, 345, 353, 374, 382, 403, 434, 443, 492, 530, 559, 579, 588, 608 ], [ 25, 53, 112, 140, 141, 169, 170, 198, 238, 259, 325, 346, 354, 375, 383, 404, 406, 435, 444, 493, 531, 560, 580, 589 ], [ 26, 54, 113, 141, 142, 170, 171, 199, 239, 260, 326, 347, 355, 376, 384, 405, 407, 436, 445, 494, 532, 561, 581, 590 ], [ 27, 55, 114, 142, 143, 171, 172, 200, 203, 240, 261, 327, 348, 356, 377, 385, 408, 437, 446, 495, 533, 562, 582, 591 ], [ 28, 56, 115, 143, 144, 172, 173, 201, 204, 241, 262, 328, 349, 357, 378, 386, 409, 438, 447, 496, 534, 563, 583, 592 ], [ 29, 57, 116, 144, 145, 173, 174, 202, 205, 242, 263, 329, 350, 358, 379, 387, 410, 439, 448, 497, 535, 564, 584, 593 ], [ 0, 30, 58, 117, 145, 146, 174, 175, 206, 243, 264, 330, 351, 359, 380, 388, 411, 440, 449, 498, 536, 565, 585, 594 ], [ 1, 31, 59, 118, 146, 147, 175, 176, 207, 244, 265, 331, 352, 360, 381, 389, 412, 441, 450, 499, 537, 566, 586, 595 ], [ 2, 32, 60, 119, 147, 148, 176, 177, 208, 245, 266, 332, 353, 361, 382, 390, 413, 442, 451, 500, 538, 567, 587, 596 ], [ 3, 33, 61, 120, 148, 149, 177, 178, 209, 246, 267, 333, 354, 362, 383, 391, 414, 443, 452, 501, 539, 568, 588, 597 ], [ 4, 34, 62, 121, 149, 150, 178, 179, 210, 247, 268, 334, 355, 363, 384, 392, 415, 444, 453, 502, 540, 569, 589, 598 ], [ 5, 35, 63, 122, 150, 151, 179, 180, 211, 248, 269, 335, 356, 364, 385, 393, 416, 445, 454, 503, 541, 570, 590, 599 ], [ 6, 36, 64, 123, 151, 152, 180, 181, 212, 249, 270, 336, 357, 365, 386, 394, 417, 446, 455, 504, 542, 571, 591, 600 ], [ 7, 37, 65, 124, 152, 153, 181, 182, 213, 250, 271, 337, 358, 366, 387, 395, 418, 447, 456, 505, 543, 572, 592, 601 ], [ 8, 38, 66, 125, 153, 154, 182, 183, 214, 251, 272, 338, 359, 367, 388, 396, 419, 448, 457, 506, 544, 573, 593, 602 ], [ 9, 39, 67, 126, 154, 155, 183, 184, 215, 252, 273, 339, 360, 368, 389, 397, 420, 449, 458, 507, 545, 574, 594, 603 ], [ 10, 40, 68, 127, 155, 156, 184, 185, 216, 253, 274, 340, 361, 369, 390, 398, 421, 450, 459, 508, 546, 575, 595, 604 ], [ 11, 41, 69, 128, 156, 157, 185, 186, 217, 254, 275, 341, 362, 370, 391, 399, 422, 451, 460, 509, 547, 576, 596, 605 ], [ 12, 42, 70, 129, 157, 158, 186, 187, 218, 255, 276, 342, 363, 371, 392, 400, 423, 452, 461, 510, 548, 577, 597, 606 ], [ 13, 43, 71, 130, 158, 159, 187, 188, 219, 256, 277, 343, 364, 372, 393, 401, 424, 453, 462, 511, 549, 578, 598, 607 ], [ 14, 44, 72, 131, 159, 160, 188, 189, 220, 257, 278, 344, 365, 373, 394, 402, 425, 454, 463, 512, 550, 579, 599, 608 ], [ 15, 45, 73, 132, 160, 161, 189, 190, 221, 258, 279, 345, 366, 374, 395, 403, 406, 426, 455, 464, 513, 551, 580, 600 ], [ 16, 46, 74, 133, 161, 162, 190, 191, 222, 259, 280, 346, 367, 375, 396, 404, 407, 427, 456, 465, 514, 552, 581, 601 ], [ 17, 47, 75, 134, 162, 163, 191, 192, 223, 260, 281, 347, 368, 376, 397, 405, 408, 428, 457, 466, 515, 553, 582, 602 ], [ 18, 48, 76, 135, 163, 164, 192, 193, 203, 224, 261, 282, 348, 369, 377, 398, 409, 429, 458, 467, 516, 554, 583, 603 ], [ 19, 49, 77, 136, 164, 165, 193, 194, 204, 225, 262, 283, 349, 370, 378, 399, 410, 430, 459, 468, 517, 555, 584, 604 ], [ 20, 50, 78, 137, 165, 166, 194, 195, 205, 226, 263, 284, 350, 371, 379, 400, 411, 431, 460, 469, 518, 556, 585, 605 ], [ 21, 51, 79, 138, 166, 167, 195, 196, 206, 227, 264, 285, 351, 372, 380, 401, 412, 432, 461, 470, 519, 557, 586, 606 ], [ 22, 52, 80, 139, 167, 168, 196, 197, 207, 228, 265, 286, 352, 373, 381, 402, 413, 433, 462, 471, 520, 558, 587, 607 ], [ 23, 53, 81, 140, 168, 169, 197, 198, 208, 229, 266, 287, 353, 374, 382, 403, 414, 434, 463, 472, 521, 559, 588, 608 ] ] }, "distance": { "d": 3, "X": { "value": 3, "confidence": "upper_bound", "witness": [ 93, 278, 512 ] }, "Z": { "value": 3, "confidence": "upper_bound", "witness": [ 228, 257, 315 ] } }, "provenance": { "authors": [ "@MathysRennela" ], "construction": "Polynomial-minor CSS code from arXiv:2610.19459 (Nourozi, Smarandache, Mitchell), their Eqs. (10)-(11) at parameters of our own: over R_N = F_2[x]/(x^N+1), H_X(x) = [[a^top, b^top, c^top], [d^top, e^top, f^top]] with d = x^t c, e = a, f = b, and H_Z(x) = [b^2+ac, ab+x^t c^2, a^2 + x^t bc]; N = 203, t = 16, a/b/c = 4/4/4 terms, all codewords of the code generated by a sparse divisor g of x^N+1 with deg g = 116 and wt(g) = 4. Not one of the paper's 13 Table I instances, which stop at N = 85; found by enumerating sparse large-degree divisors of x^N+1 and sampling low-weight codewords of .", "origin": "submission", "date": "2026-10-16", "model": "MiMo-V2.6-Flash", "search_budget": { "candidates_screened": 6074, "ris_trials_per_side": 400000, "cpu_hours": 8.0 } }, "family": "other" }