{ "schema_version": "0.2", "name": "[[662,62,89]]", "code_type": "CSS", "n": 662, "k": 62, "distance": { "d": 89, "X": { "value": 89, "confidence": "upper_bound", "witness": [ 0, 5, 6, 8, 19, 28, 31, 41, 42, 44, 45, 49, 55, 68, 69, 75, 85, 115, 116, 122, 146, 152, 157, 167, 174, 210, 215, 220, 224, 231, 238, 246, 247, 262, 265, 273, 280, 311, 317, 319, 321, 322, 327, 351, 369, 389, 396, 402, 410, 419, 422, 440, 446, 454, 459, 464, 468, 476, 483, 486, 494, 497, 501, 506, 513, 521, 528, 530, 533, 536, 538, 542, 564, 565, 574, 581, 590, 592, 594, 604, 606, 618, 619, 622, 625, 631, 632, 635, 660 ] }, "Z": { "value": 94, "confidence": "upper_bound", "witness": [ 3, 6, 8, 19, 22, 24, 47, 48, 57, 62, 65, 67, 73, 74, 76, 81, 87, 99, 115, 117, 120, 134, 141, 142, 146, 148, 158, 169, 183, 189, 195, 197, 205, 213, 217, 221, 222, 261, 268, 276, 278, 295, 301, 303, 304, 315, 320, 327, 329, 341, 344, 347, 355, 374, 386, 393, 399, 402, 403, 404, 410, 417, 418, 424, 434, 442, 444, 453, 459, 467, 473, 476, 479, 480, 492, 538, 543, 546, 567, 569, 582, 586, 592, 599, 600, 603, 608, 614, 616, 620, 623, 641, 643, 646 ] } }, "checks": { "X": [ [ 57, 70, 148, 153, 162, 165, 225, 285, 295, 300, 339, 455, 472, 526, 527, 598, 599, 653 ], [ 58, 71, 149, 154, 163, 166, 226, 286, 296, 301, 340, 456, 473, 527, 528, 599, 600, 654 ], [ 59, 72, 150, 155, 164, 167, 227, 287, 297, 302, 341, 457, 474, 528, 529, 600, 601, 655 ], [ 60, 73, 151, 156, 165, 168, 228, 288, 298, 303, 342, 458, 475, 529, 530, 601, 602, 656 ], [ 61, 74, 152, 157, 166, 169, 229, 289, 299, 304, 343, 459, 476, 530, 531, 602, 603, 657 ], [ 62, 75, 153, 158, 167, 170, 230, 290, 300, 305, 344, 460, 477, 531, 532, 603, 604, 658 ], [ 63, 76, 154, 159, 168, 171, 231, 291, 301, 306, 345, 461, 478, 532, 533, 604, 605, 659 ], [ 64, 77, 155, 160, 169, 172, 232, 292, 302, 307, 346, 462, 479, 533, 534, 605, 606, 660 ], [ 65, 78, 156, 161, 170, 173, 233, 293, 303, 308, 347, 463, 480, 534, 535, 606, 607, 661 ], [ 66, 79, 157, 162, 171, 174, 234, 294, 304, 309, 331, 348, 464, 481, 535, 536, 607, 608 ], [ 67, 80, 158, 163, 172, 175, 235, 295, 305, 310, 332, 349, 465, 482, 536, 537, 608, 609 ], [ 68, 81, 159, 164, 173, 176, 236, 296, 306, 311, 333, 350, 466, 483, 537, 538, 609, 610 ], [ 69, 82, 160, 165, 174, 177, 237, 297, 307, 312, 334, 351, 467, 484, 538, 539, 610, 611 ], [ 70, 83, 161, 166, 175, 178, 238, 298, 308, 313, 335, 352, 468, 485, 539, 540, 611, 612 ], [ 71, 84, 162, 167, 176, 179, 239, 299, 309, 314, 336, 353, 469, 486, 540, 541, 612, 613 ], [ 72, 85, 163, 168, 177, 180, 240, 300, 310, 315, 337, 354, 470, 487, 541, 542, 613, 614 ], [ 73, 86, 164, 169, 178, 181, 241, 301, 311, 316, 338, 355, 471, 488, 542, 543, 614, 615 ], [ 74, 87, 165, 170, 179, 182, 242, 302, 312, 317, 339, 356, 472, 489, 543, 544, 615, 616 ], [ 75, 88, 166, 171, 180, 183, 243, 303, 313, 318, 340, 357, 473, 490, 544, 545, 616, 617 ], [ 76, 89, 167, 172, 181, 184, 244, 304, 314, 319, 341, 358, 474, 491, 545, 546, 617, 618 ], [ 77, 90, 168, 173, 182, 185, 245, 305, 315, 320, 342, 359, 475, 492, 546, 547, 618, 619 ], [ 78, 91, 169, 174, 183, 186, 246, 306, 316, 321, 343, 360, 476, 493, 547, 548, 619, 620 ], [ 79, 92, 170, 175, 184, 187, 247, 307, 317, 322, 344, 361, 477, 494, 548, 549, 620, 621 ], [ 80, 93, 171, 176, 185, 188, 248, 308, 318, 323, 345, 362, 478, 495, 549, 550, 621, 622 ], [ 81, 94, 172, 177, 186, 189, 249, 309, 319, 324, 346, 363, 479, 496, 550, 551, 622, 623 ], [ 82, 95, 173, 178, 187, 190, 250, 310, 320, 325, 347, 364, 480, 497, 551, 552, 623, 624 ], [ 83, 96, 174, 179, 188, 191, 251, 311, 321, 326, 348, 365, 481, 498, 552, 553, 624, 625 ], [ 84, 97, 175, 180, 189, 192, 252, 312, 322, 327, 349, 366, 482, 499, 553, 554, 625, 626 ], [ 85, 98, 176, 181, 190, 193, 253, 313, 323, 328, 350, 367, 483, 500, 554, 555, 626, 627 ], [ 86, 99, 177, 182, 191, 194, 254, 314, 324, 329, 351, 368, 484, 501, 555, 556, 627, 628 ], [ 87, 100, 178, 183, 192, 195, 255, 315, 325, 330, 352, 369, 485, 502, 556, 557, 628, 629 ], [ 0, 88, 101, 179, 184, 193, 196, 256, 316, 326, 353, 370, 486, 503, 557, 558, 629, 630 ], [ 1, 89, 102, 180, 185, 194, 197, 257, 317, 327, 354, 371, 487, 504, 558, 559, 630, 631 ], [ 2, 90, 103, 181, 186, 195, 198, 258, 318, 328, 355, 372, 488, 505, 559, 560, 631, 632 ], [ 3, 91, 104, 182, 187, 196, 199, 259, 319, 329, 356, 373, 489, 506, 560, 561, 632, 633 ], [ 4, 92, 105, 183, 188, 197, 200, 260, 320, 330, 357, 374, 490, 507, 561, 562, 633, 634 ], [ 0, 5, 93, 106, 184, 189, 198, 201, 261, 321, 358, 375, 491, 508, 562, 563, 634, 635 ], [ 1, 6, 94, 107, 185, 190, 199, 202, 262, 322, 359, 376, 492, 509, 563, 564, 635, 636 ], [ 2, 7, 95, 108, 186, 191, 200, 203, 263, 323, 360, 377, 493, 510, 564, 565, 636, 637 ], [ 3, 8, 96, 109, 187, 192, 201, 204, 264, 324, 361, 378, 494, 511, 565, 566, 637, 638 ], [ 4, 9, 97, 110, 188, 193, 202, 205, 265, 325, 362, 379, 495, 512, 566, 567, 638, 639 ], [ 5, 10, 98, 111, 189, 194, 203, 206, 266, 326, 363, 380, 496, 513, 567, 568, 639, 640 ], [ 6, 11, 99, 112, 190, 195, 204, 207, 267, 327, 364, 381, 497, 514, 568, 569, 640, 641 ], [ 7, 12, 100, 113, 191, 196, 205, 208, 268, 328, 365, 382, 498, 515, 569, 570, 641, 642 ], [ 8, 13, 101, 114, 192, 197, 206, 209, 269, 329, 366, 383, 499, 516, 570, 571, 642, 643 ], [ 9, 14, 102, 115, 193, 198, 207, 210, 270, 330, 367, 384, 500, 517, 571, 572, 643, 644 ], [ 0, 10, 15, 103, 116, 194, 199, 208, 211, 271, 368, 385, 501, 518, 572, 573, 644, 645 ], [ 1, 11, 16, 104, 117, 195, 200, 209, 212, 272, 369, 386, 502, 519, 573, 574, 645, 646 ], [ 2, 12, 17, 105, 118, 196, 201, 210, 213, 273, 370, 387, 503, 520, 574, 575, 646, 647 ], [ 3, 13, 18, 106, 119, 197, 202, 211, 214, 274, 371, 388, 504, 521, 575, 576, 647, 648 ], [ 4, 14, 19, 107, 120, 198, 203, 212, 215, 275, 372, 389, 505, 522, 576, 577, 648, 649 ], [ 5, 15, 20, 108, 121, 199, 204, 213, 216, 276, 373, 390, 506, 523, 577, 578, 649, 650 ], [ 6, 16, 21, 109, 122, 200, 205, 214, 217, 277, 374, 391, 507, 524, 578, 579, 650, 651 ], [ 7, 17, 22, 110, 123, 201, 206, 215, 218, 278, 375, 392, 508, 525, 579, 580, 651, 652 ], [ 8, 18, 23, 111, 124, 202, 207, 216, 219, 279, 376, 393, 509, 526, 580, 581, 652, 653 ], [ 9, 19, 24, 112, 125, 203, 208, 217, 220, 280, 377, 394, 510, 527, 581, 582, 653, 654 ], [ 10, 20, 25, 113, 126, 204, 209, 218, 221, 281, 378, 395, 511, 528, 582, 583, 654, 655 ], [ 11, 21, 26, 114, 127, 205, 210, 219, 222, 282, 379, 396, 512, 529, 583, 584, 655, 656 ], [ 12, 22, 27, 115, 128, 206, 211, 220, 223, 283, 380, 397, 513, 530, 584, 585, 656, 657 ], [ 13, 23, 28, 116, 129, 207, 212, 221, 224, 284, 381, 398, 514, 531, 585, 586, 657, 658 ], [ 14, 24, 29, 117, 130, 208, 213, 222, 225, 285, 382, 399, 515, 532, 586, 587, 658, 659 ], [ 15, 25, 30, 118, 131, 209, 214, 223, 226, 286, 383, 400, 516, 533, 587, 588, 659, 660 ], [ 16, 26, 31, 119, 132, 210, 215, 224, 227, 287, 384, 401, 517, 534, 588, 589, 660, 661 ], [ 17, 27, 32, 120, 133, 211, 216, 225, 228, 288, 331, 385, 402, 518, 535, 589, 590, 661 ], [ 18, 28, 33, 121, 134, 212, 217, 226, 229, 289, 331, 332, 386, 403, 519, 536, 590, 591 ], [ 19, 29, 34, 122, 135, 213, 218, 227, 230, 290, 332, 333, 387, 404, 520, 537, 591, 592 ], [ 20, 30, 35, 123, 136, 214, 219, 228, 231, 291, 333, 334, 388, 405, 521, 538, 592, 593 ], [ 21, 31, 36, 124, 137, 215, 220, 229, 232, 292, 334, 335, 389, 406, 522, 539, 593, 594 ], [ 22, 32, 37, 125, 138, 216, 221, 230, 233, 293, 335, 336, 390, 407, 523, 540, 594, 595 ], [ 23, 33, 38, 126, 139, 217, 222, 231, 234, 294, 336, 337, 391, 408, 524, 541, 595, 596 ], [ 24, 34, 39, 127, 140, 218, 223, 232, 235, 295, 337, 338, 392, 409, 525, 542, 596, 597 ], [ 25, 35, 40, 128, 141, 219, 224, 233, 236, 296, 338, 339, 393, 410, 526, 543, 597, 598 ], [ 26, 36, 41, 129, 142, 220, 225, 234, 237, 297, 339, 340, 394, 411, 527, 544, 598, 599 ], [ 27, 37, 42, 130, 143, 221, 226, 235, 238, 298, 340, 341, 395, 412, 528, 545, 599, 600 ], [ 28, 38, 43, 131, 144, 222, 227, 236, 239, 299, 341, 342, 396, 413, 529, 546, 600, 601 ], [ 29, 39, 44, 132, 145, 223, 228, 237, 240, 300, 342, 343, 397, 414, 530, 547, 601, 602 ], [ 30, 40, 45, 133, 146, 224, 229, 238, 241, 301, 343, 344, 398, 415, 531, 548, 602, 603 ], [ 31, 41, 46, 134, 147, 225, 230, 239, 242, 302, 344, 345, 399, 416, 532, 549, 603, 604 ], [ 32, 42, 47, 135, 148, 226, 231, 240, 243, 303, 345, 346, 400, 417, 533, 550, 604, 605 ], [ 33, 43, 48, 136, 149, 227, 232, 241, 244, 304, 346, 347, 401, 418, 534, 551, 605, 606 ], [ 34, 44, 49, 137, 150, 228, 233, 242, 245, 305, 347, 348, 402, 419, 535, 552, 606, 607 ], [ 35, 45, 50, 138, 151, 229, 234, 243, 246, 306, 348, 349, 403, 420, 536, 553, 607, 608 ], [ 36, 46, 51, 139, 152, 230, 235, 244, 247, 307, 349, 350, 404, 421, 537, 554, 608, 609 ], [ 37, 47, 52, 140, 153, 231, 236, 245, 248, 308, 350, 351, 405, 422, 538, 555, 609, 610 ], [ 38, 48, 53, 141, 154, 232, 237, 246, 249, 309, 351, 352, 406, 423, 539, 556, 610, 611 ], [ 39, 49, 54, 142, 155, 233, 238, 247, 250, 310, 352, 353, 407, 424, 540, 557, 611, 612 ], [ 40, 50, 55, 143, 156, 234, 239, 248, 251, 311, 353, 354, 408, 425, 541, 558, 612, 613 ], [ 41, 51, 56, 144, 157, 235, 240, 249, 252, 312, 354, 355, 409, 426, 542, 559, 613, 614 ], [ 42, 52, 57, 145, 158, 236, 241, 250, 253, 313, 355, 356, 410, 427, 543, 560, 614, 615 ], [ 43, 53, 58, 146, 159, 237, 242, 251, 254, 314, 356, 357, 411, 428, 544, 561, 615, 616 ], [ 44, 54, 59, 147, 160, 238, 243, 252, 255, 315, 357, 358, 412, 429, 545, 562, 616, 617 ], [ 45, 55, 60, 148, 161, 239, 244, 253, 256, 316, 358, 359, 413, 430, 546, 563, 617, 618 ], [ 46, 56, 61, 149, 162, 240, 245, 254, 257, 317, 359, 360, 414, 431, 547, 564, 618, 619 ], [ 47, 57, 62, 150, 163, 241, 246, 255, 258, 318, 360, 361, 415, 432, 548, 565, 619, 620 ], [ 48, 58, 63, 151, 164, 242, 247, 256, 259, 319, 361, 362, 416, 433, 549, 566, 620, 621 ], [ 49, 59, 64, 152, 165, 243, 248, 257, 260, 320, 362, 363, 417, 434, 550, 567, 621, 622 ], [ 50, 60, 65, 153, 166, 244, 249, 258, 261, 321, 363, 364, 418, 435, 551, 568, 622, 623 ], [ 51, 61, 66, 154, 167, 245, 250, 259, 262, 322, 364, 365, 419, 436, 552, 569, 623, 624 ], [ 52, 62, 67, 155, 168, 246, 251, 260, 263, 323, 365, 366, 420, 437, 553, 570, 624, 625 ], [ 53, 63, 68, 156, 169, 247, 252, 261, 264, 324, 366, 367, 421, 438, 554, 571, 625, 626 ], [ 54, 64, 69, 157, 170, 248, 253, 262, 265, 325, 367, 368, 422, 439, 555, 572, 626, 627 ], [ 55, 65, 70, 158, 171, 249, 254, 263, 266, 326, 368, 369, 423, 440, 556, 573, 627, 628 ], [ 56, 66, 71, 159, 172, 250, 255, 264, 267, 327, 369, 370, 424, 441, 557, 574, 628, 629 ], [ 57, 67, 72, 160, 173, 251, 256, 265, 268, 328, 370, 371, 425, 442, 558, 575, 629, 630 ], [ 58, 68, 73, 161, 174, 252, 257, 266, 269, 329, 371, 372, 426, 443, 559, 576, 630, 631 ], [ 59, 69, 74, 162, 175, 253, 258, 267, 270, 330, 372, 373, 427, 444, 560, 577, 631, 632 ], [ 0, 60, 70, 75, 163, 176, 254, 259, 268, 271, 373, 374, 428, 445, 561, 578, 632, 633 ], [ 1, 61, 71, 76, 164, 177, 255, 260, 269, 272, 374, 375, 429, 446, 562, 579, 633, 634 ], [ 2, 62, 72, 77, 165, 178, 256, 261, 270, 273, 375, 376, 430, 447, 563, 580, 634, 635 ], [ 3, 63, 73, 78, 166, 179, 257, 262, 271, 274, 376, 377, 431, 448, 564, 581, 635, 636 ], [ 4, 64, 74, 79, 167, 180, 258, 263, 272, 275, 377, 378, 432, 449, 565, 582, 636, 637 ], [ 5, 65, 75, 80, 168, 181, 259, 264, 273, 276, 378, 379, 433, 450, 566, 583, 637, 638 ], [ 6, 66, 76, 81, 169, 182, 260, 265, 274, 277, 379, 380, 434, 451, 567, 584, 638, 639 ], [ 7, 67, 77, 82, 170, 183, 261, 266, 275, 278, 380, 381, 435, 452, 568, 585, 639, 640 ], [ 8, 68, 78, 83, 171, 184, 262, 267, 276, 279, 381, 382, 436, 453, 569, 586, 640, 641 ], [ 9, 69, 79, 84, 172, 185, 263, 268, 277, 280, 382, 383, 437, 454, 570, 587, 641, 642 ], [ 10, 70, 80, 85, 173, 186, 264, 269, 278, 281, 383, 384, 438, 455, 571, 588, 642, 643 ], [ 11, 71, 81, 86, 174, 187, 265, 270, 279, 282, 384, 385, 439, 456, 572, 589, 643, 644 ], [ 12, 72, 82, 87, 175, 188, 266, 271, 280, 283, 385, 386, 440, 457, 573, 590, 644, 645 ], [ 13, 73, 83, 88, 176, 189, 267, 272, 281, 284, 386, 387, 441, 458, 574, 591, 645, 646 ], [ 14, 74, 84, 89, 177, 190, 268, 273, 282, 285, 387, 388, 442, 459, 575, 592, 646, 647 ], [ 15, 75, 85, 90, 178, 191, 269, 274, 283, 286, 388, 389, 443, 460, 576, 593, 647, 648 ], [ 16, 76, 86, 91, 179, 192, 270, 275, 284, 287, 389, 390, 444, 461, 577, 594, 648, 649 ], [ 17, 77, 87, 92, 180, 193, 271, 276, 285, 288, 390, 391, 445, 462, 578, 595, 649, 650 ], [ 18, 78, 88, 93, 181, 194, 272, 277, 286, 289, 391, 392, 446, 463, 579, 596, 650, 651 ], [ 19, 79, 89, 94, 182, 195, 273, 278, 287, 290, 392, 393, 447, 464, 580, 597, 651, 652 ], [ 20, 80, 90, 95, 183, 196, 274, 279, 288, 291, 393, 394, 448, 465, 581, 598, 652, 653 ], [ 21, 81, 91, 96, 184, 197, 275, 280, 289, 292, 394, 395, 449, 466, 582, 599, 653, 654 ], [ 22, 82, 92, 97, 185, 198, 276, 281, 290, 293, 395, 396, 450, 467, 583, 600, 654, 655 ], [ 23, 83, 93, 98, 186, 199, 277, 282, 291, 294, 396, 397, 451, 468, 584, 601, 655, 656 ], [ 24, 84, 94, 99, 187, 200, 278, 283, 292, 295, 397, 398, 452, 469, 585, 602, 656, 657 ], [ 25, 85, 95, 100, 188, 201, 279, 284, 293, 296, 398, 399, 453, 470, 586, 603, 657, 658 ], [ 26, 86, 96, 101, 189, 202, 280, 285, 294, 297, 399, 400, 454, 471, 587, 604, 658, 659 ], [ 27, 87, 97, 102, 190, 203, 281, 286, 295, 298, 400, 401, 455, 472, 588, 605, 659, 660 ], [ 28, 88, 98, 103, 191, 204, 282, 287, 296, 299, 401, 402, 456, 473, 589, 606, 660, 661 ], [ 29, 89, 99, 104, 192, 205, 283, 288, 297, 300, 331, 402, 403, 457, 474, 590, 607, 661 ], [ 30, 90, 100, 105, 193, 206, 284, 289, 298, 301, 331, 332, 403, 404, 458, 475, 591, 608 ], [ 31, 91, 101, 106, 194, 207, 285, 290, 299, 302, 332, 333, 404, 405, 459, 476, 592, 609 ], [ 32, 92, 102, 107, 195, 208, 286, 291, 300, 303, 333, 334, 405, 406, 460, 477, 593, 610 ], [ 33, 93, 103, 108, 196, 209, 287, 292, 301, 304, 334, 335, 406, 407, 461, 478, 594, 611 ], [ 34, 94, 104, 109, 197, 210, 288, 293, 302, 305, 335, 336, 407, 408, 462, 479, 595, 612 ], [ 35, 95, 105, 110, 198, 211, 289, 294, 303, 306, 336, 337, 408, 409, 463, 480, 596, 613 ], [ 36, 96, 106, 111, 199, 212, 290, 295, 304, 307, 337, 338, 409, 410, 464, 481, 597, 614 ], [ 37, 97, 107, 112, 200, 213, 291, 296, 305, 308, 338, 339, 410, 411, 465, 482, 598, 615 ], [ 38, 98, 108, 113, 201, 214, 292, 297, 306, 309, 339, 340, 411, 412, 466, 483, 599, 616 ], [ 39, 99, 109, 114, 202, 215, 293, 298, 307, 310, 340, 341, 412, 413, 467, 484, 600, 617 ], [ 40, 100, 110, 115, 203, 216, 294, 299, 308, 311, 341, 342, 413, 414, 468, 485, 601, 618 ], [ 41, 101, 111, 116, 204, 217, 295, 300, 309, 312, 342, 343, 414, 415, 469, 486, 602, 619 ], [ 42, 102, 112, 117, 205, 218, 296, 301, 310, 313, 343, 344, 415, 416, 470, 487, 603, 620 ], [ 43, 103, 113, 118, 206, 219, 297, 302, 311, 314, 344, 345, 416, 417, 471, 488, 604, 621 ], [ 44, 104, 114, 119, 207, 220, 298, 303, 312, 315, 345, 346, 417, 418, 472, 489, 605, 622 ], [ 45, 105, 115, 120, 208, 221, 299, 304, 313, 316, 346, 347, 418, 419, 473, 490, 606, 623 ], [ 46, 106, 116, 121, 209, 222, 300, 305, 314, 317, 347, 348, 419, 420, 474, 491, 607, 624 ], [ 47, 107, 117, 122, 210, 223, 301, 306, 315, 318, 348, 349, 420, 421, 475, 492, 608, 625 ], [ 48, 108, 118, 123, 211, 224, 302, 307, 316, 319, 349, 350, 421, 422, 476, 493, 609, 626 ], [ 49, 109, 119, 124, 212, 225, 303, 308, 317, 320, 350, 351, 422, 423, 477, 494, 610, 627 ], [ 50, 110, 120, 125, 213, 226, 304, 309, 318, 321, 351, 352, 423, 424, 478, 495, 611, 628 ], [ 51, 111, 121, 126, 214, 227, 305, 310, 319, 322, 352, 353, 424, 425, 479, 496, 612, 629 ], [ 52, 112, 122, 127, 215, 228, 306, 311, 320, 323, 353, 354, 425, 426, 480, 497, 613, 630 ], [ 53, 113, 123, 128, 216, 229, 307, 312, 321, 324, 354, 355, 426, 427, 481, 498, 614, 631 ], [ 54, 114, 124, 129, 217, 230, 308, 313, 322, 325, 355, 356, 427, 428, 482, 499, 615, 632 ], [ 55, 115, 125, 130, 218, 231, 309, 314, 323, 326, 356, 357, 428, 429, 483, 500, 616, 633 ], [ 56, 116, 126, 131, 219, 232, 310, 315, 324, 327, 357, 358, 429, 430, 484, 501, 617, 634 ], [ 57, 117, 127, 132, 220, 233, 311, 316, 325, 328, 358, 359, 430, 431, 485, 502, 618, 635 ], [ 58, 118, 128, 133, 221, 234, 312, 317, 326, 329, 359, 360, 431, 432, 486, 503, 619, 636 ], [ 59, 119, 129, 134, 222, 235, 313, 318, 327, 330, 360, 361, 432, 433, 487, 504, 620, 637 ], [ 0, 60, 120, 130, 135, 223, 236, 314, 319, 328, 361, 362, 433, 434, 488, 505, 621, 638 ], [ 1, 61, 121, 131, 136, 224, 237, 315, 320, 329, 362, 363, 434, 435, 489, 506, 622, 639 ], [ 2, 62, 122, 132, 137, 225, 238, 316, 321, 330, 363, 364, 435, 436, 490, 507, 623, 640 ], [ 0, 3, 63, 123, 133, 138, 226, 239, 317, 322, 364, 365, 436, 437, 491, 508, 624, 641 ], [ 1, 4, 64, 124, 134, 139, 227, 240, 318, 323, 365, 366, 437, 438, 492, 509, 625, 642 ], [ 2, 5, 65, 125, 135, 140, 228, 241, 319, 324, 366, 367, 438, 439, 493, 510, 626, 643 ], [ 3, 6, 66, 126, 136, 141, 229, 242, 320, 325, 367, 368, 439, 440, 494, 511, 627, 644 ], [ 4, 7, 67, 127, 137, 142, 230, 243, 321, 326, 368, 369, 440, 441, 495, 512, 628, 645 ], [ 5, 8, 68, 128, 138, 143, 231, 244, 322, 327, 369, 370, 441, 442, 496, 513, 629, 646 ], [ 6, 9, 69, 129, 139, 144, 232, 245, 323, 328, 370, 371, 442, 443, 497, 514, 630, 647 ], [ 7, 10, 70, 130, 140, 145, 233, 246, 324, 329, 371, 372, 443, 444, 498, 515, 631, 648 ], [ 8, 11, 71, 131, 141, 146, 234, 247, 325, 330, 372, 373, 444, 445, 499, 516, 632, 649 ], [ 0, 9, 12, 72, 132, 142, 147, 235, 248, 326, 373, 374, 445, 446, 500, 517, 633, 650 ], [ 1, 10, 13, 73, 133, 143, 148, 236, 249, 327, 374, 375, 446, 447, 501, 518, 634, 651 ], [ 2, 11, 14, 74, 134, 144, 149, 237, 250, 328, 375, 376, 447, 448, 502, 519, 635, 652 ], [ 3, 12, 15, 75, 135, 145, 150, 238, 251, 329, 376, 377, 448, 449, 503, 520, 636, 653 ], [ 4, 13, 16, 76, 136, 146, 151, 239, 252, 330, 377, 378, 449, 450, 504, 521, 637, 654 ], [ 0, 5, 14, 17, 77, 137, 147, 152, 240, 253, 378, 379, 450, 451, 505, 522, 638, 655 ], [ 1, 6, 15, 18, 78, 138, 148, 153, 241, 254, 379, 380, 451, 452, 506, 523, 639, 656 ], [ 2, 7, 16, 19, 79, 139, 149, 154, 242, 255, 380, 381, 452, 453, 507, 524, 640, 657 ], [ 3, 8, 17, 20, 80, 140, 150, 155, 243, 256, 381, 382, 453, 454, 508, 525, 641, 658 ], [ 4, 9, 18, 21, 81, 141, 151, 156, 244, 257, 382, 383, 454, 455, 509, 526, 642, 659 ], [ 5, 10, 19, 22, 82, 142, 152, 157, 245, 258, 383, 384, 455, 456, 510, 527, 643, 660 ], [ 6, 11, 20, 23, 83, 143, 153, 158, 246, 259, 384, 385, 456, 457, 511, 528, 644, 661 ], [ 7, 12, 21, 24, 84, 144, 154, 159, 247, 260, 331, 385, 386, 457, 458, 512, 529, 645 ], [ 8, 13, 22, 25, 85, 145, 155, 160, 248, 261, 332, 386, 387, 458, 459, 513, 530, 646 ], [ 9, 14, 23, 26, 86, 146, 156, 161, 249, 262, 333, 387, 388, 459, 460, 514, 531, 647 ], [ 10, 15, 24, 27, 87, 147, 157, 162, 250, 263, 334, 388, 389, 460, 461, 515, 532, 648 ], [ 11, 16, 25, 28, 88, 148, 158, 163, 251, 264, 335, 389, 390, 461, 462, 516, 533, 649 ], [ 12, 17, 26, 29, 89, 149, 159, 164, 252, 265, 336, 390, 391, 462, 463, 517, 534, 650 ], [ 13, 18, 27, 30, 90, 150, 160, 165, 253, 266, 337, 391, 392, 463, 464, 518, 535, 651 ], [ 14, 19, 28, 31, 91, 151, 161, 166, 254, 267, 338, 392, 393, 464, 465, 519, 536, 652 ], [ 15, 20, 29, 32, 92, 152, 162, 167, 255, 268, 339, 393, 394, 465, 466, 520, 537, 653 ], [ 16, 21, 30, 33, 93, 153, 163, 168, 256, 269, 340, 394, 395, 466, 467, 521, 538, 654 ], [ 17, 22, 31, 34, 94, 154, 164, 169, 257, 270, 341, 395, 396, 467, 468, 522, 539, 655 ], [ 18, 23, 32, 35, 95, 155, 165, 170, 258, 271, 342, 396, 397, 468, 469, 523, 540, 656 ], [ 19, 24, 33, 36, 96, 156, 166, 171, 259, 272, 343, 397, 398, 469, 470, 524, 541, 657 ], [ 20, 25, 34, 37, 97, 157, 167, 172, 260, 273, 344, 398, 399, 470, 471, 525, 542, 658 ], [ 21, 26, 35, 38, 98, 158, 168, 173, 261, 274, 345, 399, 400, 471, 472, 526, 543, 659 ], [ 22, 27, 36, 39, 99, 159, 169, 174, 262, 275, 346, 400, 401, 472, 473, 527, 544, 660 ], [ 23, 28, 37, 40, 100, 160, 170, 175, 263, 276, 347, 401, 402, 473, 474, 528, 545, 661 ], [ 24, 29, 38, 41, 101, 161, 171, 176, 264, 277, 331, 348, 402, 403, 474, 475, 529, 546 ], [ 25, 30, 39, 42, 102, 162, 172, 177, 265, 278, 332, 349, 403, 404, 475, 476, 530, 547 ], [ 26, 31, 40, 43, 103, 163, 173, 178, 266, 279, 333, 350, 404, 405, 476, 477, 531, 548 ], [ 27, 32, 41, 44, 104, 164, 174, 179, 267, 280, 334, 351, 405, 406, 477, 478, 532, 549 ], [ 28, 33, 42, 45, 105, 165, 175, 180, 268, 281, 335, 352, 406, 407, 478, 479, 533, 550 ], [ 29, 34, 43, 46, 106, 166, 176, 181, 269, 282, 336, 353, 407, 408, 479, 480, 534, 551 ], [ 30, 35, 44, 47, 107, 167, 177, 182, 270, 283, 337, 354, 408, 409, 480, 481, 535, 552 ], [ 31, 36, 45, 48, 108, 168, 178, 183, 271, 284, 338, 355, 409, 410, 481, 482, 536, 553 ], [ 32, 37, 46, 49, 109, 169, 179, 184, 272, 285, 339, 356, 410, 411, 482, 483, 537, 554 ], [ 33, 38, 47, 50, 110, 170, 180, 185, 273, 286, 340, 357, 411, 412, 483, 484, 538, 555 ], [ 34, 39, 48, 51, 111, 171, 181, 186, 274, 287, 341, 358, 412, 413, 484, 485, 539, 556 ], [ 35, 40, 49, 52, 112, 172, 182, 187, 275, 288, 342, 359, 413, 414, 485, 486, 540, 557 ], [ 36, 41, 50, 53, 113, 173, 183, 188, 276, 289, 343, 360, 414, 415, 486, 487, 541, 558 ], [ 37, 42, 51, 54, 114, 174, 184, 189, 277, 290, 344, 361, 415, 416, 487, 488, 542, 559 ], [ 38, 43, 52, 55, 115, 175, 185, 190, 278, 291, 345, 362, 416, 417, 488, 489, 543, 560 ], [ 39, 44, 53, 56, 116, 176, 186, 191, 279, 292, 346, 363, 417, 418, 489, 490, 544, 561 ], [ 40, 45, 54, 57, 117, 177, 187, 192, 280, 293, 347, 364, 418, 419, 490, 491, 545, 562 ], [ 41, 46, 55, 58, 118, 178, 188, 193, 281, 294, 348, 365, 419, 420, 491, 492, 546, 563 ], [ 42, 47, 56, 59, 119, 179, 189, 194, 282, 295, 349, 366, 420, 421, 492, 493, 547, 564 ], [ 43, 48, 57, 60, 120, 180, 190, 195, 283, 296, 350, 367, 421, 422, 493, 494, 548, 565 ], [ 44, 49, 58, 61, 121, 181, 191, 196, 284, 297, 351, 368, 422, 423, 494, 495, 549, 566 ], [ 45, 50, 59, 62, 122, 182, 192, 197, 285, 298, 352, 369, 423, 424, 495, 496, 550, 567 ], [ 46, 51, 60, 63, 123, 183, 193, 198, 286, 299, 353, 370, 424, 425, 496, 497, 551, 568 ], [ 47, 52, 61, 64, 124, 184, 194, 199, 287, 300, 354, 371, 425, 426, 497, 498, 552, 569 ], [ 48, 53, 62, 65, 125, 185, 195, 200, 288, 301, 355, 372, 426, 427, 498, 499, 553, 570 ], [ 49, 54, 63, 66, 126, 186, 196, 201, 289, 302, 356, 373, 427, 428, 499, 500, 554, 571 ], [ 50, 55, 64, 67, 127, 187, 197, 202, 290, 303, 357, 374, 428, 429, 500, 501, 555, 572 ], [ 51, 56, 65, 68, 128, 188, 198, 203, 291, 304, 358, 375, 429, 430, 501, 502, 556, 573 ], [ 52, 57, 66, 69, 129, 189, 199, 204, 292, 305, 359, 376, 430, 431, 502, 503, 557, 574 ], [ 53, 58, 67, 70, 130, 190, 200, 205, 293, 306, 360, 377, 431, 432, 503, 504, 558, 575 ], [ 54, 59, 68, 71, 131, 191, 201, 206, 294, 307, 361, 378, 432, 433, 504, 505, 559, 576 ], [ 55, 60, 69, 72, 132, 192, 202, 207, 295, 308, 362, 379, 433, 434, 505, 506, 560, 577 ], [ 56, 61, 70, 73, 133, 193, 203, 208, 296, 309, 363, 380, 434, 435, 506, 507, 561, 578 ], [ 57, 62, 71, 74, 134, 194, 204, 209, 297, 310, 364, 381, 435, 436, 507, 508, 562, 579 ], [ 58, 63, 72, 75, 135, 195, 205, 210, 298, 311, 365, 382, 436, 437, 508, 509, 563, 580 ], [ 59, 64, 73, 76, 136, 196, 206, 211, 299, 312, 366, 383, 437, 438, 509, 510, 564, 581 ], [ 60, 65, 74, 77, 137, 197, 207, 212, 300, 313, 367, 384, 438, 439, 510, 511, 565, 582 ], [ 61, 66, 75, 78, 138, 198, 208, 213, 301, 314, 368, 385, 439, 440, 511, 512, 566, 583 ], [ 62, 67, 76, 79, 139, 199, 209, 214, 302, 315, 369, 386, 440, 441, 512, 513, 567, 584 ], [ 63, 68, 77, 80, 140, 200, 210, 215, 303, 316, 370, 387, 441, 442, 513, 514, 568, 585 ], [ 64, 69, 78, 81, 141, 201, 211, 216, 304, 317, 371, 388, 442, 443, 514, 515, 569, 586 ], [ 65, 70, 79, 82, 142, 202, 212, 217, 305, 318, 372, 389, 443, 444, 515, 516, 570, 587 ], [ 66, 71, 80, 83, 143, 203, 213, 218, 306, 319, 373, 390, 444, 445, 516, 517, 571, 588 ], [ 67, 72, 81, 84, 144, 204, 214, 219, 307, 320, 374, 391, 445, 446, 517, 518, 572, 589 ], [ 68, 73, 82, 85, 145, 205, 215, 220, 308, 321, 375, 392, 446, 447, 518, 519, 573, 590 ], [ 69, 74, 83, 86, 146, 206, 216, 221, 309, 322, 376, 393, 447, 448, 519, 520, 574, 591 ], [ 70, 75, 84, 87, 147, 207, 217, 222, 310, 323, 377, 394, 448, 449, 520, 521, 575, 592 ], [ 71, 76, 85, 88, 148, 208, 218, 223, 311, 324, 378, 395, 449, 450, 521, 522, 576, 593 ], [ 72, 77, 86, 89, 149, 209, 219, 224, 312, 325, 379, 396, 450, 451, 522, 523, 577, 594 ], [ 73, 78, 87, 90, 150, 210, 220, 225, 313, 326, 380, 397, 451, 452, 523, 524, 578, 595 ], [ 74, 79, 88, 91, 151, 211, 221, 226, 314, 327, 381, 398, 452, 453, 524, 525, 579, 596 ], [ 75, 80, 89, 92, 152, 212, 222, 227, 315, 328, 382, 399, 453, 454, 525, 526, 580, 597 ], [ 76, 81, 90, 93, 153, 213, 223, 228, 316, 329, 383, 400, 454, 455, 526, 527, 581, 598 ], [ 77, 82, 91, 94, 154, 214, 224, 229, 317, 330, 384, 401, 455, 456, 527, 528, 582, 599 ], [ 0, 78, 83, 92, 95, 155, 215, 225, 230, 318, 385, 402, 456, 457, 528, 529, 583, 600 ], [ 1, 79, 84, 93, 96, 156, 216, 226, 231, 319, 386, 403, 457, 458, 529, 530, 584, 601 ], [ 2, 80, 85, 94, 97, 157, 217, 227, 232, 320, 387, 404, 458, 459, 530, 531, 585, 602 ], [ 3, 81, 86, 95, 98, 158, 218, 228, 233, 321, 388, 405, 459, 460, 531, 532, 586, 603 ], [ 4, 82, 87, 96, 99, 159, 219, 229, 234, 322, 389, 406, 460, 461, 532, 533, 587, 604 ], [ 5, 83, 88, 97, 100, 160, 220, 230, 235, 323, 390, 407, 461, 462, 533, 534, 588, 605 ], [ 6, 84, 89, 98, 101, 161, 221, 231, 236, 324, 391, 408, 462, 463, 534, 535, 589, 606 ], [ 7, 85, 90, 99, 102, 162, 222, 232, 237, 325, 392, 409, 463, 464, 535, 536, 590, 607 ], [ 8, 86, 91, 100, 103, 163, 223, 233, 238, 326, 393, 410, 464, 465, 536, 537, 591, 608 ], [ 9, 87, 92, 101, 104, 164, 224, 234, 239, 327, 394, 411, 465, 466, 537, 538, 592, 609 ], [ 10, 88, 93, 102, 105, 165, 225, 235, 240, 328, 395, 412, 466, 467, 538, 539, 593, 610 ], [ 11, 89, 94, 103, 106, 166, 226, 236, 241, 329, 396, 413, 467, 468, 539, 540, 594, 611 ], [ 12, 90, 95, 104, 107, 167, 227, 237, 242, 330, 397, 414, 468, 469, 540, 541, 595, 612 ], [ 0, 13, 91, 96, 105, 108, 168, 228, 238, 243, 398, 415, 469, 470, 541, 542, 596, 613 ], [ 1, 14, 92, 97, 106, 109, 169, 229, 239, 244, 399, 416, 470, 471, 542, 543, 597, 614 ], [ 2, 15, 93, 98, 107, 110, 170, 230, 240, 245, 400, 417, 471, 472, 543, 544, 598, 615 ], [ 3, 16, 94, 99, 108, 111, 171, 231, 241, 246, 401, 418, 472, 473, 544, 545, 599, 616 ], [ 4, 17, 95, 100, 109, 112, 172, 232, 242, 247, 402, 419, 473, 474, 545, 546, 600, 617 ], [ 5, 18, 96, 101, 110, 113, 173, 233, 243, 248, 403, 420, 474, 475, 546, 547, 601, 618 ], [ 6, 19, 97, 102, 111, 114, 174, 234, 244, 249, 404, 421, 475, 476, 547, 548, 602, 619 ], [ 7, 20, 98, 103, 112, 115, 175, 235, 245, 250, 405, 422, 476, 477, 548, 549, 603, 620 ], [ 8, 21, 99, 104, 113, 116, 176, 236, 246, 251, 406, 423, 477, 478, 549, 550, 604, 621 ], [ 9, 22, 100, 105, 114, 117, 177, 237, 247, 252, 407, 424, 478, 479, 550, 551, 605, 622 ], [ 10, 23, 101, 106, 115, 118, 178, 238, 248, 253, 408, 425, 479, 480, 551, 552, 606, 623 ], [ 11, 24, 102, 107, 116, 119, 179, 239, 249, 254, 409, 426, 480, 481, 552, 553, 607, 624 ], [ 12, 25, 103, 108, 117, 120, 180, 240, 250, 255, 410, 427, 481, 482, 553, 554, 608, 625 ], [ 13, 26, 104, 109, 118, 121, 181, 241, 251, 256, 411, 428, 482, 483, 554, 555, 609, 626 ], [ 14, 27, 105, 110, 119, 122, 182, 242, 252, 257, 412, 429, 483, 484, 555, 556, 610, 627 ], [ 15, 28, 106, 111, 120, 123, 183, 243, 253, 258, 413, 430, 484, 485, 556, 557, 611, 628 ], [ 16, 29, 107, 112, 121, 124, 184, 244, 254, 259, 414, 431, 485, 486, 557, 558, 612, 629 ], [ 17, 30, 108, 113, 122, 125, 185, 245, 255, 260, 415, 432, 486, 487, 558, 559, 613, 630 ], [ 18, 31, 109, 114, 123, 126, 186, 246, 256, 261, 416, 433, 487, 488, 559, 560, 614, 631 ], [ 19, 32, 110, 115, 124, 127, 187, 247, 257, 262, 417, 434, 488, 489, 560, 561, 615, 632 ], [ 20, 33, 111, 116, 125, 128, 188, 248, 258, 263, 418, 435, 489, 490, 561, 562, 616, 633 ], [ 21, 34, 112, 117, 126, 129, 189, 249, 259, 264, 419, 436, 490, 491, 562, 563, 617, 634 ], [ 22, 35, 113, 118, 127, 130, 190, 250, 260, 265, 420, 437, 491, 492, 563, 564, 618, 635 ], [ 23, 36, 114, 119, 128, 131, 191, 251, 261, 266, 421, 438, 492, 493, 564, 565, 619, 636 ], [ 24, 37, 115, 120, 129, 132, 192, 252, 262, 267, 422, 439, 493, 494, 565, 566, 620, 637 ], [ 25, 38, 116, 121, 130, 133, 193, 253, 263, 268, 423, 440, 494, 495, 566, 567, 621, 638 ], [ 26, 39, 117, 122, 131, 134, 194, 254, 264, 269, 424, 441, 495, 496, 567, 568, 622, 639 ], [ 27, 40, 118, 123, 132, 135, 195, 255, 265, 270, 425, 442, 496, 497, 568, 569, 623, 640 ], [ 28, 41, 119, 124, 133, 136, 196, 256, 266, 271, 426, 443, 497, 498, 569, 570, 624, 641 ], [ 29, 42, 120, 125, 134, 137, 197, 257, 267, 272, 427, 444, 498, 499, 570, 571, 625, 642 ], [ 30, 43, 121, 126, 135, 138, 198, 258, 268, 273, 428, 445, 499, 500, 571, 572, 626, 643 ], [ 31, 44, 122, 127, 136, 139, 199, 259, 269, 274, 429, 446, 500, 501, 572, 573, 627, 644 ], [ 32, 45, 123, 128, 137, 140, 200, 260, 270, 275, 430, 447, 501, 502, 573, 574, 628, 645 ], [ 33, 46, 124, 129, 138, 141, 201, 261, 271, 276, 431, 448, 502, 503, 574, 575, 629, 646 ], [ 34, 47, 125, 130, 139, 142, 202, 262, 272, 277, 432, 449, 503, 504, 575, 576, 630, 647 ], [ 35, 48, 126, 131, 140, 143, 203, 263, 273, 278, 433, 450, 504, 505, 576, 577, 631, 648 ], [ 36, 49, 127, 132, 141, 144, 204, 264, 274, 279, 434, 451, 505, 506, 577, 578, 632, 649 ], [ 37, 50, 128, 133, 142, 145, 205, 265, 275, 280, 435, 452, 506, 507, 578, 579, 633, 650 ], [ 38, 51, 129, 134, 143, 146, 206, 266, 276, 281, 436, 453, 507, 508, 579, 580, 634, 651 ], [ 39, 52, 130, 135, 144, 147, 207, 267, 277, 282, 437, 454, 508, 509, 580, 581, 635, 652 ], [ 40, 53, 131, 136, 145, 148, 208, 268, 278, 283, 438, 455, 509, 510, 581, 582, 636, 653 ], [ 41, 54, 132, 137, 146, 149, 209, 269, 279, 284, 439, 456, 510, 511, 582, 583, 637, 654 ], [ 42, 55, 133, 138, 147, 150, 210, 270, 280, 285, 440, 457, 511, 512, 583, 584, 638, 655 ], [ 43, 56, 134, 139, 148, 151, 211, 271, 281, 286, 441, 458, 512, 513, 584, 585, 639, 656 ], [ 44, 57, 135, 140, 149, 152, 212, 272, 282, 287, 442, 459, 513, 514, 585, 586, 640, 657 ], [ 45, 58, 136, 141, 150, 153, 213, 273, 283, 288, 443, 460, 514, 515, 586, 587, 641, 658 ], [ 46, 59, 137, 142, 151, 154, 214, 274, 284, 289, 444, 461, 515, 516, 587, 588, 642, 659 ], [ 47, 60, 138, 143, 152, 155, 215, 275, 285, 290, 445, 462, 516, 517, 588, 589, 643, 660 ], [ 48, 61, 139, 144, 153, 156, 216, 276, 286, 291, 446, 463, 517, 518, 589, 590, 644, 661 ], [ 49, 62, 140, 145, 154, 157, 217, 277, 287, 292, 331, 447, 464, 518, 519, 590, 591, 645 ], [ 50, 63, 141, 146, 155, 158, 218, 278, 288, 293, 332, 448, 465, 519, 520, 591, 592, 646 ], [ 51, 64, 142, 147, 156, 159, 219, 279, 289, 294, 333, 449, 466, 520, 521, 592, 593, 647 ], [ 52, 65, 143, 148, 157, 160, 220, 280, 290, 295, 334, 450, 467, 521, 522, 593, 594, 648 ], [ 53, 66, 144, 149, 158, 161, 221, 281, 291, 296, 335, 451, 468, 522, 523, 594, 595, 649 ], [ 54, 67, 145, 150, 159, 162, 222, 282, 292, 297, 336, 452, 469, 523, 524, 595, 596, 650 ], [ 55, 68, 146, 151, 160, 163, 223, 283, 293, 298, 337, 453, 470, 524, 525, 596, 597, 651 ], [ 56, 69, 147, 152, 161, 164, 224, 284, 294, 299, 338, 454, 471, 525, 526, 597, 598, 652 ] ], "Z": [ [ 9, 63, 64, 135, 136, 190, 207, 323, 362, 367, 377, 437, 497, 500, 509, 514, 592, 605 ], [ 10, 64, 65, 136, 137, 191, 208, 324, 363, 368, 378, 438, 498, 501, 510, 515, 593, 606 ], [ 11, 65, 66, 137, 138, 192, 209, 325, 364, 369, 379, 439, 499, 502, 511, 516, 594, 607 ], [ 12, 66, 67, 138, 139, 193, 210, 326, 365, 370, 380, 440, 500, 503, 512, 517, 595, 608 ], [ 13, 67, 68, 139, 140, 194, 211, 327, 366, 371, 381, 441, 501, 504, 513, 518, 596, 609 ], [ 14, 68, 69, 140, 141, 195, 212, 328, 367, 372, 382, 442, 502, 505, 514, 519, 597, 610 ], [ 15, 69, 70, 141, 142, 196, 213, 329, 368, 373, 383, 443, 503, 506, 515, 520, 598, 611 ], [ 16, 70, 71, 142, 143, 197, 214, 330, 369, 374, 384, 444, 504, 507, 516, 521, 599, 612 ], [ 0, 17, 71, 72, 143, 144, 198, 215, 370, 375, 385, 445, 505, 508, 517, 522, 600, 613 ], [ 1, 18, 72, 73, 144, 145, 199, 216, 371, 376, 386, 446, 506, 509, 518, 523, 601, 614 ], [ 2, 19, 73, 74, 145, 146, 200, 217, 372, 377, 387, 447, 507, 510, 519, 524, 602, 615 ], [ 3, 20, 74, 75, 146, 147, 201, 218, 373, 378, 388, 448, 508, 511, 520, 525, 603, 616 ], [ 4, 21, 75, 76, 147, 148, 202, 219, 374, 379, 389, 449, 509, 512, 521, 526, 604, 617 ], [ 5, 22, 76, 77, 148, 149, 203, 220, 375, 380, 390, 450, 510, 513, 522, 527, 605, 618 ], [ 6, 23, 77, 78, 149, 150, 204, 221, 376, 381, 391, 451, 511, 514, 523, 528, 606, 619 ], [ 7, 24, 78, 79, 150, 151, 205, 222, 377, 382, 392, 452, 512, 515, 524, 529, 607, 620 ], [ 8, 25, 79, 80, 151, 152, 206, 223, 378, 383, 393, 453, 513, 516, 525, 530, 608, 621 ], [ 9, 26, 80, 81, 152, 153, 207, 224, 379, 384, 394, 454, 514, 517, 526, 531, 609, 622 ], [ 10, 27, 81, 82, 153, 154, 208, 225, 380, 385, 395, 455, 515, 518, 527, 532, 610, 623 ], [ 11, 28, 82, 83, 154, 155, 209, 226, 381, 386, 396, 456, 516, 519, 528, 533, 611, 624 ], [ 12, 29, 83, 84, 155, 156, 210, 227, 382, 387, 397, 457, 517, 520, 529, 534, 612, 625 ], [ 13, 30, 84, 85, 156, 157, 211, 228, 383, 388, 398, 458, 518, 521, 530, 535, 613, 626 ], [ 14, 31, 85, 86, 157, 158, 212, 229, 384, 389, 399, 459, 519, 522, 531, 536, 614, 627 ], [ 15, 32, 86, 87, 158, 159, 213, 230, 385, 390, 400, 460, 520, 523, 532, 537, 615, 628 ], [ 16, 33, 87, 88, 159, 160, 214, 231, 386, 391, 401, 461, 521, 524, 533, 538, 616, 629 ], [ 17, 34, 88, 89, 160, 161, 215, 232, 387, 392, 402, 462, 522, 525, 534, 539, 617, 630 ], [ 18, 35, 89, 90, 161, 162, 216, 233, 388, 393, 403, 463, 523, 526, 535, 540, 618, 631 ], [ 19, 36, 90, 91, 162, 163, 217, 234, 389, 394, 404, 464, 524, 527, 536, 541, 619, 632 ], [ 20, 37, 91, 92, 163, 164, 218, 235, 390, 395, 405, 465, 525, 528, 537, 542, 620, 633 ], [ 21, 38, 92, 93, 164, 165, 219, 236, 391, 396, 406, 466, 526, 529, 538, 543, 621, 634 ], [ 22, 39, 93, 94, 165, 166, 220, 237, 392, 397, 407, 467, 527, 530, 539, 544, 622, 635 ], [ 23, 40, 94, 95, 166, 167, 221, 238, 393, 398, 408, 468, 528, 531, 540, 545, 623, 636 ], [ 24, 41, 95, 96, 167, 168, 222, 239, 394, 399, 409, 469, 529, 532, 541, 546, 624, 637 ], [ 25, 42, 96, 97, 168, 169, 223, 240, 395, 400, 410, 470, 530, 533, 542, 547, 625, 638 ], [ 26, 43, 97, 98, 169, 170, 224, 241, 396, 401, 411, 471, 531, 534, 543, 548, 626, 639 ], [ 27, 44, 98, 99, 170, 171, 225, 242, 397, 402, 412, 472, 532, 535, 544, 549, 627, 640 ], [ 28, 45, 99, 100, 171, 172, 226, 243, 398, 403, 413, 473, 533, 536, 545, 550, 628, 641 ], [ 29, 46, 100, 101, 172, 173, 227, 244, 399, 404, 414, 474, 534, 537, 546, 551, 629, 642 ], [ 30, 47, 101, 102, 173, 174, 228, 245, 400, 405, 415, 475, 535, 538, 547, 552, 630, 643 ], [ 31, 48, 102, 103, 174, 175, 229, 246, 401, 406, 416, 476, 536, 539, 548, 553, 631, 644 ], [ 32, 49, 103, 104, 175, 176, 230, 247, 402, 407, 417, 477, 537, 540, 549, 554, 632, 645 ], [ 33, 50, 104, 105, 176, 177, 231, 248, 403, 408, 418, 478, 538, 541, 550, 555, 633, 646 ], [ 34, 51, 105, 106, 177, 178, 232, 249, 404, 409, 419, 479, 539, 542, 551, 556, 634, 647 ], [ 35, 52, 106, 107, 178, 179, 233, 250, 405, 410, 420, 480, 540, 543, 552, 557, 635, 648 ], [ 36, 53, 107, 108, 179, 180, 234, 251, 406, 411, 421, 481, 541, 544, 553, 558, 636, 649 ], [ 37, 54, 108, 109, 180, 181, 235, 252, 407, 412, 422, 482, 542, 545, 554, 559, 637, 650 ], [ 38, 55, 109, 110, 181, 182, 236, 253, 408, 413, 423, 483, 543, 546, 555, 560, 638, 651 ], [ 39, 56, 110, 111, 182, 183, 237, 254, 409, 414, 424, 484, 544, 547, 556, 561, 639, 652 ], [ 40, 57, 111, 112, 183, 184, 238, 255, 410, 415, 425, 485, 545, 548, 557, 562, 640, 653 ], [ 41, 58, 112, 113, 184, 185, 239, 256, 411, 416, 426, 486, 546, 549, 558, 563, 641, 654 ], [ 42, 59, 113, 114, 185, 186, 240, 257, 412, 417, 427, 487, 547, 550, 559, 564, 642, 655 ], [ 43, 60, 114, 115, 186, 187, 241, 258, 413, 418, 428, 488, 548, 551, 560, 565, 643, 656 ], [ 44, 61, 115, 116, 187, 188, 242, 259, 414, 419, 429, 489, 549, 552, 561, 566, 644, 657 ], [ 45, 62, 116, 117, 188, 189, 243, 260, 415, 420, 430, 490, 550, 553, 562, 567, 645, 658 ], [ 46, 63, 117, 118, 189, 190, 244, 261, 416, 421, 431, 491, 551, 554, 563, 568, 646, 659 ], [ 47, 64, 118, 119, 190, 191, 245, 262, 417, 422, 432, 492, 552, 555, 564, 569, 647, 660 ], [ 48, 65, 119, 120, 191, 192, 246, 263, 418, 423, 433, 493, 553, 556, 565, 570, 648, 661 ], [ 49, 66, 120, 121, 192, 193, 247, 264, 331, 419, 424, 434, 494, 554, 557, 566, 571, 649 ], [ 50, 67, 121, 122, 193, 194, 248, 265, 332, 420, 425, 435, 495, 555, 558, 567, 572, 650 ], [ 51, 68, 122, 123, 194, 195, 249, 266, 333, 421, 426, 436, 496, 556, 559, 568, 573, 651 ], [ 52, 69, 123, 124, 195, 196, 250, 267, 334, 422, 427, 437, 497, 557, 560, 569, 574, 652 ], [ 53, 70, 124, 125, 196, 197, 251, 268, 335, 423, 428, 438, 498, 558, 561, 570, 575, 653 ], [ 54, 71, 125, 126, 197, 198, 252, 269, 336, 424, 429, 439, 499, 559, 562, 571, 576, 654 ], [ 55, 72, 126, 127, 198, 199, 253, 270, 337, 425, 430, 440, 500, 560, 563, 572, 577, 655 ], [ 56, 73, 127, 128, 199, 200, 254, 271, 338, 426, 431, 441, 501, 561, 564, 573, 578, 656 ], [ 57, 74, 128, 129, 200, 201, 255, 272, 339, 427, 432, 442, 502, 562, 565, 574, 579, 657 ], [ 58, 75, 129, 130, 201, 202, 256, 273, 340, 428, 433, 443, 503, 563, 566, 575, 580, 658 ], [ 59, 76, 130, 131, 202, 203, 257, 274, 341, 429, 434, 444, 504, 564, 567, 576, 581, 659 ], [ 60, 77, 131, 132, 203, 204, 258, 275, 342, 430, 435, 445, 505, 565, 568, 577, 582, 660 ], [ 61, 78, 132, 133, 204, 205, 259, 276, 343, 431, 436, 446, 506, 566, 569, 578, 583, 661 ], [ 62, 79, 133, 134, 205, 206, 260, 277, 331, 344, 432, 437, 447, 507, 567, 570, 579, 584 ], [ 63, 80, 134, 135, 206, 207, 261, 278, 332, 345, 433, 438, 448, 508, 568, 571, 580, 585 ], [ 64, 81, 135, 136, 207, 208, 262, 279, 333, 346, 434, 439, 449, 509, 569, 572, 581, 586 ], [ 65, 82, 136, 137, 208, 209, 263, 280, 334, 347, 435, 440, 450, 510, 570, 573, 582, 587 ], [ 66, 83, 137, 138, 209, 210, 264, 281, 335, 348, 436, 441, 451, 511, 571, 574, 583, 588 ], [ 67, 84, 138, 139, 210, 211, 265, 282, 336, 349, 437, 442, 452, 512, 572, 575, 584, 589 ], [ 68, 85, 139, 140, 211, 212, 266, 283, 337, 350, 438, 443, 453, 513, 573, 576, 585, 590 ], [ 69, 86, 140, 141, 212, 213, 267, 284, 338, 351, 439, 444, 454, 514, 574, 577, 586, 591 ], [ 70, 87, 141, 142, 213, 214, 268, 285, 339, 352, 440, 445, 455, 515, 575, 578, 587, 592 ], [ 71, 88, 142, 143, 214, 215, 269, 286, 340, 353, 441, 446, 456, 516, 576, 579, 588, 593 ], [ 72, 89, 143, 144, 215, 216, 270, 287, 341, 354, 442, 447, 457, 517, 577, 580, 589, 594 ], [ 73, 90, 144, 145, 216, 217, 271, 288, 342, 355, 443, 448, 458, 518, 578, 581, 590, 595 ], [ 74, 91, 145, 146, 217, 218, 272, 289, 343, 356, 444, 449, 459, 519, 579, 582, 591, 596 ], [ 75, 92, 146, 147, 218, 219, 273, 290, 344, 357, 445, 450, 460, 520, 580, 583, 592, 597 ], [ 76, 93, 147, 148, 219, 220, 274, 291, 345, 358, 446, 451, 461, 521, 581, 584, 593, 598 ], [ 77, 94, 148, 149, 220, 221, 275, 292, 346, 359, 447, 452, 462, 522, 582, 585, 594, 599 ], [ 78, 95, 149, 150, 221, 222, 276, 293, 347, 360, 448, 453, 463, 523, 583, 586, 595, 600 ], [ 79, 96, 150, 151, 222, 223, 277, 294, 348, 361, 449, 454, 464, 524, 584, 587, 596, 601 ], [ 80, 97, 151, 152, 223, 224, 278, 295, 349, 362, 450, 455, 465, 525, 585, 588, 597, 602 ], [ 81, 98, 152, 153, 224, 225, 279, 296, 350, 363, 451, 456, 466, 526, 586, 589, 598, 603 ], [ 82, 99, 153, 154, 225, 226, 280, 297, 351, 364, 452, 457, 467, 527, 587, 590, 599, 604 ], [ 83, 100, 154, 155, 226, 227, 281, 298, 352, 365, 453, 458, 468, 528, 588, 591, 600, 605 ], [ 84, 101, 155, 156, 227, 228, 282, 299, 353, 366, 454, 459, 469, 529, 589, 592, 601, 606 ], [ 85, 102, 156, 157, 228, 229, 283, 300, 354, 367, 455, 460, 470, 530, 590, 593, 602, 607 ], [ 86, 103, 157, 158, 229, 230, 284, 301, 355, 368, 456, 461, 471, 531, 591, 594, 603, 608 ], [ 87, 104, 158, 159, 230, 231, 285, 302, 356, 369, 457, 462, 472, 532, 592, 595, 604, 609 ], [ 88, 105, 159, 160, 231, 232, 286, 303, 357, 370, 458, 463, 473, 533, 593, 596, 605, 610 ], [ 89, 106, 160, 161, 232, 233, 287, 304, 358, 371, 459, 464, 474, 534, 594, 597, 606, 611 ], [ 90, 107, 161, 162, 233, 234, 288, 305, 359, 372, 460, 465, 475, 535, 595, 598, 607, 612 ], [ 91, 108, 162, 163, 234, 235, 289, 306, 360, 373, 461, 466, 476, 536, 596, 599, 608, 613 ], [ 92, 109, 163, 164, 235, 236, 290, 307, 361, 374, 462, 467, 477, 537, 597, 600, 609, 614 ], [ 93, 110, 164, 165, 236, 237, 291, 308, 362, 375, 463, 468, 478, 538, 598, 601, 610, 615 ], [ 94, 111, 165, 166, 237, 238, 292, 309, 363, 376, 464, 469, 479, 539, 599, 602, 611, 616 ], [ 95, 112, 166, 167, 238, 239, 293, 310, 364, 377, 465, 470, 480, 540, 600, 603, 612, 617 ], [ 96, 113, 167, 168, 239, 240, 294, 311, 365, 378, 466, 471, 481, 541, 601, 604, 613, 618 ], [ 97, 114, 168, 169, 240, 241, 295, 312, 366, 379, 467, 472, 482, 542, 602, 605, 614, 619 ], [ 98, 115, 169, 170, 241, 242, 296, 313, 367, 380, 468, 473, 483, 543, 603, 606, 615, 620 ], [ 99, 116, 170, 171, 242, 243, 297, 314, 368, 381, 469, 474, 484, 544, 604, 607, 616, 621 ], [ 100, 117, 171, 172, 243, 244, 298, 315, 369, 382, 470, 475, 485, 545, 605, 608, 617, 622 ], [ 101, 118, 172, 173, 244, 245, 299, 316, 370, 383, 471, 476, 486, 546, 606, 609, 618, 623 ], [ 102, 119, 173, 174, 245, 246, 300, 317, 371, 384, 472, 477, 487, 547, 607, 610, 619, 624 ], [ 103, 120, 174, 175, 246, 247, 301, 318, 372, 385, 473, 478, 488, 548, 608, 611, 620, 625 ], [ 104, 121, 175, 176, 247, 248, 302, 319, 373, 386, 474, 479, 489, 549, 609, 612, 621, 626 ], [ 105, 122, 176, 177, 248, 249, 303, 320, 374, 387, 475, 480, 490, 550, 610, 613, 622, 627 ], [ 106, 123, 177, 178, 249, 250, 304, 321, 375, 388, 476, 481, 491, 551, 611, 614, 623, 628 ], [ 107, 124, 178, 179, 250, 251, 305, 322, 376, 389, 477, 482, 492, 552, 612, 615, 624, 629 ], [ 108, 125, 179, 180, 251, 252, 306, 323, 377, 390, 478, 483, 493, 553, 613, 616, 625, 630 ], [ 109, 126, 180, 181, 252, 253, 307, 324, 378, 391, 479, 484, 494, 554, 614, 617, 626, 631 ], [ 110, 127, 181, 182, 253, 254, 308, 325, 379, 392, 480, 485, 495, 555, 615, 618, 627, 632 ], [ 111, 128, 182, 183, 254, 255, 309, 326, 380, 393, 481, 486, 496, 556, 616, 619, 628, 633 ], [ 112, 129, 183, 184, 255, 256, 310, 327, 381, 394, 482, 487, 497, 557, 617, 620, 629, 634 ], [ 113, 130, 184, 185, 256, 257, 311, 328, 382, 395, 483, 488, 498, 558, 618, 621, 630, 635 ], [ 114, 131, 185, 186, 257, 258, 312, 329, 383, 396, 484, 489, 499, 559, 619, 622, 631, 636 ], [ 115, 132, 186, 187, 258, 259, 313, 330, 384, 397, 485, 490, 500, 560, 620, 623, 632, 637 ], [ 0, 116, 133, 187, 188, 259, 260, 314, 385, 398, 486, 491, 501, 561, 621, 624, 633, 638 ], [ 1, 117, 134, 188, 189, 260, 261, 315, 386, 399, 487, 492, 502, 562, 622, 625, 634, 639 ], [ 2, 118, 135, 189, 190, 261, 262, 316, 387, 400, 488, 493, 503, 563, 623, 626, 635, 640 ], [ 3, 119, 136, 190, 191, 262, 263, 317, 388, 401, 489, 494, 504, 564, 624, 627, 636, 641 ], [ 4, 120, 137, 191, 192, 263, 264, 318, 389, 402, 490, 495, 505, 565, 625, 628, 637, 642 ], [ 5, 121, 138, 192, 193, 264, 265, 319, 390, 403, 491, 496, 506, 566, 626, 629, 638, 643 ], [ 6, 122, 139, 193, 194, 265, 266, 320, 391, 404, 492, 497, 507, 567, 627, 630, 639, 644 ], [ 7, 123, 140, 194, 195, 266, 267, 321, 392, 405, 493, 498, 508, 568, 628, 631, 640, 645 ], [ 8, 124, 141, 195, 196, 267, 268, 322, 393, 406, 494, 499, 509, 569, 629, 632, 641, 646 ], [ 9, 125, 142, 196, 197, 268, 269, 323, 394, 407, 495, 500, 510, 570, 630, 633, 642, 647 ], [ 10, 126, 143, 197, 198, 269, 270, 324, 395, 408, 496, 501, 511, 571, 631, 634, 643, 648 ], [ 11, 127, 144, 198, 199, 270, 271, 325, 396, 409, 497, 502, 512, 572, 632, 635, 644, 649 ], [ 12, 128, 145, 199, 200, 271, 272, 326, 397, 410, 498, 503, 513, 573, 633, 636, 645, 650 ], [ 13, 129, 146, 200, 201, 272, 273, 327, 398, 411, 499, 504, 514, 574, 634, 637, 646, 651 ], [ 14, 130, 147, 201, 202, 273, 274, 328, 399, 412, 500, 505, 515, 575, 635, 638, 647, 652 ], [ 15, 131, 148, 202, 203, 274, 275, 329, 400, 413, 501, 506, 516, 576, 636, 639, 648, 653 ], [ 16, 132, 149, 203, 204, 275, 276, 330, 401, 414, 502, 507, 517, 577, 637, 640, 649, 654 ], [ 0, 17, 133, 150, 204, 205, 276, 277, 402, 415, 503, 508, 518, 578, 638, 641, 650, 655 ], [ 1, 18, 134, 151, 205, 206, 277, 278, 403, 416, 504, 509, 519, 579, 639, 642, 651, 656 ], [ 2, 19, 135, 152, 206, 207, 278, 279, 404, 417, 505, 510, 520, 580, 640, 643, 652, 657 ], [ 3, 20, 136, 153, 207, 208, 279, 280, 405, 418, 506, 511, 521, 581, 641, 644, 653, 658 ], [ 4, 21, 137, 154, 208, 209, 280, 281, 406, 419, 507, 512, 522, 582, 642, 645, 654, 659 ], [ 5, 22, 138, 155, 209, 210, 281, 282, 407, 420, 508, 513, 523, 583, 643, 646, 655, 660 ], [ 6, 23, 139, 156, 210, 211, 282, 283, 408, 421, 509, 514, 524, 584, 644, 647, 656, 661 ], [ 7, 24, 140, 157, 211, 212, 283, 284, 331, 409, 422, 510, 515, 525, 585, 645, 648, 657 ], [ 8, 25, 141, 158, 212, 213, 284, 285, 332, 410, 423, 511, 516, 526, 586, 646, 649, 658 ], [ 9, 26, 142, 159, 213, 214, 285, 286, 333, 411, 424, 512, 517, 527, 587, 647, 650, 659 ], [ 10, 27, 143, 160, 214, 215, 286, 287, 334, 412, 425, 513, 518, 528, 588, 648, 651, 660 ], [ 11, 28, 144, 161, 215, 216, 287, 288, 335, 413, 426, 514, 519, 529, 589, 649, 652, 661 ], [ 12, 29, 145, 162, 216, 217, 288, 289, 331, 336, 414, 427, 515, 520, 530, 590, 650, 653 ], [ 13, 30, 146, 163, 217, 218, 289, 290, 332, 337, 415, 428, 516, 521, 531, 591, 651, 654 ], [ 14, 31, 147, 164, 218, 219, 290, 291, 333, 338, 416, 429, 517, 522, 532, 592, 652, 655 ], [ 15, 32, 148, 165, 219, 220, 291, 292, 334, 339, 417, 430, 518, 523, 533, 593, 653, 656 ], [ 16, 33, 149, 166, 220, 221, 292, 293, 335, 340, 418, 431, 519, 524, 534, 594, 654, 657 ], [ 17, 34, 150, 167, 221, 222, 293, 294, 336, 341, 419, 432, 520, 525, 535, 595, 655, 658 ], [ 18, 35, 151, 168, 222, 223, 294, 295, 337, 342, 420, 433, 521, 526, 536, 596, 656, 659 ], [ 19, 36, 152, 169, 223, 224, 295, 296, 338, 343, 421, 434, 522, 527, 537, 597, 657, 660 ], [ 20, 37, 153, 170, 224, 225, 296, 297, 339, 344, 422, 435, 523, 528, 538, 598, 658, 661 ], [ 21, 38, 154, 171, 225, 226, 297, 298, 331, 340, 345, 423, 436, 524, 529, 539, 599, 659 ], [ 22, 39, 155, 172, 226, 227, 298, 299, 332, 341, 346, 424, 437, 525, 530, 540, 600, 660 ], [ 23, 40, 156, 173, 227, 228, 299, 300, 333, 342, 347, 425, 438, 526, 531, 541, 601, 661 ], [ 24, 41, 157, 174, 228, 229, 300, 301, 331, 334, 343, 348, 426, 439, 527, 532, 542, 602 ], [ 25, 42, 158, 175, 229, 230, 301, 302, 332, 335, 344, 349, 427, 440, 528, 533, 543, 603 ], [ 26, 43, 159, 176, 230, 231, 302, 303, 333, 336, 345, 350, 428, 441, 529, 534, 544, 604 ], [ 27, 44, 160, 177, 231, 232, 303, 304, 334, 337, 346, 351, 429, 442, 530, 535, 545, 605 ], [ 28, 45, 161, 178, 232, 233, 304, 305, 335, 338, 347, 352, 430, 443, 531, 536, 546, 606 ], [ 29, 46, 162, 179, 233, 234, 305, 306, 336, 339, 348, 353, 431, 444, 532, 537, 547, 607 ], [ 30, 47, 163, 180, 234, 235, 306, 307, 337, 340, 349, 354, 432, 445, 533, 538, 548, 608 ], [ 31, 48, 164, 181, 235, 236, 307, 308, 338, 341, 350, 355, 433, 446, 534, 539, 549, 609 ], [ 32, 49, 165, 182, 236, 237, 308, 309, 339, 342, 351, 356, 434, 447, 535, 540, 550, 610 ], [ 33, 50, 166, 183, 237, 238, 309, 310, 340, 343, 352, 357, 435, 448, 536, 541, 551, 611 ], [ 34, 51, 167, 184, 238, 239, 310, 311, 341, 344, 353, 358, 436, 449, 537, 542, 552, 612 ], [ 35, 52, 168, 185, 239, 240, 311, 312, 342, 345, 354, 359, 437, 450, 538, 543, 553, 613 ], [ 36, 53, 169, 186, 240, 241, 312, 313, 343, 346, 355, 360, 438, 451, 539, 544, 554, 614 ], [ 37, 54, 170, 187, 241, 242, 313, 314, 344, 347, 356, 361, 439, 452, 540, 545, 555, 615 ], [ 38, 55, 171, 188, 242, 243, 314, 315, 345, 348, 357, 362, 440, 453, 541, 546, 556, 616 ], [ 39, 56, 172, 189, 243, 244, 315, 316, 346, 349, 358, 363, 441, 454, 542, 547, 557, 617 ], [ 40, 57, 173, 190, 244, 245, 316, 317, 347, 350, 359, 364, 442, 455, 543, 548, 558, 618 ], [ 41, 58, 174, 191, 245, 246, 317, 318, 348, 351, 360, 365, 443, 456, 544, 549, 559, 619 ], [ 42, 59, 175, 192, 246, 247, 318, 319, 349, 352, 361, 366, 444, 457, 545, 550, 560, 620 ], [ 43, 60, 176, 193, 247, 248, 319, 320, 350, 353, 362, 367, 445, 458, 546, 551, 561, 621 ], [ 44, 61, 177, 194, 248, 249, 320, 321, 351, 354, 363, 368, 446, 459, 547, 552, 562, 622 ], [ 45, 62, 178, 195, 249, 250, 321, 322, 352, 355, 364, 369, 447, 460, 548, 553, 563, 623 ], [ 46, 63, 179, 196, 250, 251, 322, 323, 353, 356, 365, 370, 448, 461, 549, 554, 564, 624 ], [ 47, 64, 180, 197, 251, 252, 323, 324, 354, 357, 366, 371, 449, 462, 550, 555, 565, 625 ], [ 48, 65, 181, 198, 252, 253, 324, 325, 355, 358, 367, 372, 450, 463, 551, 556, 566, 626 ], [ 49, 66, 182, 199, 253, 254, 325, 326, 356, 359, 368, 373, 451, 464, 552, 557, 567, 627 ], [ 50, 67, 183, 200, 254, 255, 326, 327, 357, 360, 369, 374, 452, 465, 553, 558, 568, 628 ], [ 51, 68, 184, 201, 255, 256, 327, 328, 358, 361, 370, 375, 453, 466, 554, 559, 569, 629 ], [ 52, 69, 185, 202, 256, 257, 328, 329, 359, 362, 371, 376, 454, 467, 555, 560, 570, 630 ], [ 53, 70, 186, 203, 257, 258, 329, 330, 360, 363, 372, 377, 455, 468, 556, 561, 571, 631 ], [ 0, 54, 71, 187, 204, 258, 259, 330, 361, 364, 373, 378, 456, 469, 557, 562, 572, 632 ], [ 0, 1, 55, 72, 188, 205, 259, 260, 362, 365, 374, 379, 457, 470, 558, 563, 573, 633 ], [ 1, 2, 56, 73, 189, 206, 260, 261, 363, 366, 375, 380, 458, 471, 559, 564, 574, 634 ], [ 2, 3, 57, 74, 190, 207, 261, 262, 364, 367, 376, 381, 459, 472, 560, 565, 575, 635 ], [ 3, 4, 58, 75, 191, 208, 262, 263, 365, 368, 377, 382, 460, 473, 561, 566, 576, 636 ], [ 4, 5, 59, 76, 192, 209, 263, 264, 366, 369, 378, 383, 461, 474, 562, 567, 577, 637 ], [ 5, 6, 60, 77, 193, 210, 264, 265, 367, 370, 379, 384, 462, 475, 563, 568, 578, 638 ], [ 6, 7, 61, 78, 194, 211, 265, 266, 368, 371, 380, 385, 463, 476, 564, 569, 579, 639 ], [ 7, 8, 62, 79, 195, 212, 266, 267, 369, 372, 381, 386, 464, 477, 565, 570, 580, 640 ], [ 8, 9, 63, 80, 196, 213, 267, 268, 370, 373, 382, 387, 465, 478, 566, 571, 581, 641 ], [ 9, 10, 64, 81, 197, 214, 268, 269, 371, 374, 383, 388, 466, 479, 567, 572, 582, 642 ], [ 10, 11, 65, 82, 198, 215, 269, 270, 372, 375, 384, 389, 467, 480, 568, 573, 583, 643 ], [ 11, 12, 66, 83, 199, 216, 270, 271, 373, 376, 385, 390, 468, 481, 569, 574, 584, 644 ], [ 12, 13, 67, 84, 200, 217, 271, 272, 374, 377, 386, 391, 469, 482, 570, 575, 585, 645 ], [ 13, 14, 68, 85, 201, 218, 272, 273, 375, 378, 387, 392, 470, 483, 571, 576, 586, 646 ], [ 14, 15, 69, 86, 202, 219, 273, 274, 376, 379, 388, 393, 471, 484, 572, 577, 587, 647 ], [ 15, 16, 70, 87, 203, 220, 274, 275, 377, 380, 389, 394, 472, 485, 573, 578, 588, 648 ], [ 16, 17, 71, 88, 204, 221, 275, 276, 378, 381, 390, 395, 473, 486, 574, 579, 589, 649 ], [ 17, 18, 72, 89, 205, 222, 276, 277, 379, 382, 391, 396, 474, 487, 575, 580, 590, 650 ], [ 18, 19, 73, 90, 206, 223, 277, 278, 380, 383, 392, 397, 475, 488, 576, 581, 591, 651 ], [ 19, 20, 74, 91, 207, 224, 278, 279, 381, 384, 393, 398, 476, 489, 577, 582, 592, 652 ], [ 20, 21, 75, 92, 208, 225, 279, 280, 382, 385, 394, 399, 477, 490, 578, 583, 593, 653 ], [ 21, 22, 76, 93, 209, 226, 280, 281, 383, 386, 395, 400, 478, 491, 579, 584, 594, 654 ], [ 22, 23, 77, 94, 210, 227, 281, 282, 384, 387, 396, 401, 479, 492, 580, 585, 595, 655 ], [ 23, 24, 78, 95, 211, 228, 282, 283, 385, 388, 397, 402, 480, 493, 581, 586, 596, 656 ], [ 24, 25, 79, 96, 212, 229, 283, 284, 386, 389, 398, 403, 481, 494, 582, 587, 597, 657 ], [ 25, 26, 80, 97, 213, 230, 284, 285, 387, 390, 399, 404, 482, 495, 583, 588, 598, 658 ], [ 26, 27, 81, 98, 214, 231, 285, 286, 388, 391, 400, 405, 483, 496, 584, 589, 599, 659 ], [ 27, 28, 82, 99, 215, 232, 286, 287, 389, 392, 401, 406, 484, 497, 585, 590, 600, 660 ], [ 28, 29, 83, 100, 216, 233, 287, 288, 390, 393, 402, 407, 485, 498, 586, 591, 601, 661 ], [ 29, 30, 84, 101, 217, 234, 288, 289, 331, 391, 394, 403, 408, 486, 499, 587, 592, 602 ], [ 30, 31, 85, 102, 218, 235, 289, 290, 332, 392, 395, 404, 409, 487, 500, 588, 593, 603 ], [ 31, 32, 86, 103, 219, 236, 290, 291, 333, 393, 396, 405, 410, 488, 501, 589, 594, 604 ], [ 32, 33, 87, 104, 220, 237, 291, 292, 334, 394, 397, 406, 411, 489, 502, 590, 595, 605 ], [ 33, 34, 88, 105, 221, 238, 292, 293, 335, 395, 398, 407, 412, 490, 503, 591, 596, 606 ], [ 34, 35, 89, 106, 222, 239, 293, 294, 336, 396, 399, 408, 413, 491, 504, 592, 597, 607 ], [ 35, 36, 90, 107, 223, 240, 294, 295, 337, 397, 400, 409, 414, 492, 505, 593, 598, 608 ], [ 36, 37, 91, 108, 224, 241, 295, 296, 338, 398, 401, 410, 415, 493, 506, 594, 599, 609 ], [ 37, 38, 92, 109, 225, 242, 296, 297, 339, 399, 402, 411, 416, 494, 507, 595, 600, 610 ], [ 38, 39, 93, 110, 226, 243, 297, 298, 340, 400, 403, 412, 417, 495, 508, 596, 601, 611 ], [ 39, 40, 94, 111, 227, 244, 298, 299, 341, 401, 404, 413, 418, 496, 509, 597, 602, 612 ], [ 40, 41, 95, 112, 228, 245, 299, 300, 342, 402, 405, 414, 419, 497, 510, 598, 603, 613 ], [ 41, 42, 96, 113, 229, 246, 300, 301, 343, 403, 406, 415, 420, 498, 511, 599, 604, 614 ], [ 42, 43, 97, 114, 230, 247, 301, 302, 344, 404, 407, 416, 421, 499, 512, 600, 605, 615 ], [ 43, 44, 98, 115, 231, 248, 302, 303, 345, 405, 408, 417, 422, 500, 513, 601, 606, 616 ], [ 44, 45, 99, 116, 232, 249, 303, 304, 346, 406, 409, 418, 423, 501, 514, 602, 607, 617 ], [ 45, 46, 100, 117, 233, 250, 304, 305, 347, 407, 410, 419, 424, 502, 515, 603, 608, 618 ], [ 46, 47, 101, 118, 234, 251, 305, 306, 348, 408, 411, 420, 425, 503, 516, 604, 609, 619 ], [ 47, 48, 102, 119, 235, 252, 306, 307, 349, 409, 412, 421, 426, 504, 517, 605, 610, 620 ], [ 48, 49, 103, 120, 236, 253, 307, 308, 350, 410, 413, 422, 427, 505, 518, 606, 611, 621 ], [ 49, 50, 104, 121, 237, 254, 308, 309, 351, 411, 414, 423, 428, 506, 519, 607, 612, 622 ], [ 50, 51, 105, 122, 238, 255, 309, 310, 352, 412, 415, 424, 429, 507, 520, 608, 613, 623 ], [ 51, 52, 106, 123, 239, 256, 310, 311, 353, 413, 416, 425, 430, 508, 521, 609, 614, 624 ], [ 52, 53, 107, 124, 240, 257, 311, 312, 354, 414, 417, 426, 431, 509, 522, 610, 615, 625 ], [ 53, 54, 108, 125, 241, 258, 312, 313, 355, 415, 418, 427, 432, 510, 523, 611, 616, 626 ], [ 54, 55, 109, 126, 242, 259, 313, 314, 356, 416, 419, 428, 433, 511, 524, 612, 617, 627 ], [ 55, 56, 110, 127, 243, 260, 314, 315, 357, 417, 420, 429, 434, 512, 525, 613, 618, 628 ], [ 56, 57, 111, 128, 244, 261, 315, 316, 358, 418, 421, 430, 435, 513, 526, 614, 619, 629 ], [ 57, 58, 112, 129, 245, 262, 316, 317, 359, 419, 422, 431, 436, 514, 527, 615, 620, 630 ], [ 58, 59, 113, 130, 246, 263, 317, 318, 360, 420, 423, 432, 437, 515, 528, 616, 621, 631 ], [ 59, 60, 114, 131, 247, 264, 318, 319, 361, 421, 424, 433, 438, 516, 529, 617, 622, 632 ], [ 60, 61, 115, 132, 248, 265, 319, 320, 362, 422, 425, 434, 439, 517, 530, 618, 623, 633 ], [ 61, 62, 116, 133, 249, 266, 320, 321, 363, 423, 426, 435, 440, 518, 531, 619, 624, 634 ], [ 62, 63, 117, 134, 250, 267, 321, 322, 364, 424, 427, 436, 441, 519, 532, 620, 625, 635 ], [ 63, 64, 118, 135, 251, 268, 322, 323, 365, 425, 428, 437, 442, 520, 533, 621, 626, 636 ], [ 64, 65, 119, 136, 252, 269, 323, 324, 366, 426, 429, 438, 443, 521, 534, 622, 627, 637 ], [ 65, 66, 120, 137, 253, 270, 324, 325, 367, 427, 430, 439, 444, 522, 535, 623, 628, 638 ], [ 66, 67, 121, 138, 254, 271, 325, 326, 368, 428, 431, 440, 445, 523, 536, 624, 629, 639 ], [ 67, 68, 122, 139, 255, 272, 326, 327, 369, 429, 432, 441, 446, 524, 537, 625, 630, 640 ], [ 68, 69, 123, 140, 256, 273, 327, 328, 370, 430, 433, 442, 447, 525, 538, 626, 631, 641 ], [ 69, 70, 124, 141, 257, 274, 328, 329, 371, 431, 434, 443, 448, 526, 539, 627, 632, 642 ], [ 70, 71, 125, 142, 258, 275, 329, 330, 372, 432, 435, 444, 449, 527, 540, 628, 633, 643 ], [ 0, 71, 72, 126, 143, 259, 276, 330, 373, 433, 436, 445, 450, 528, 541, 629, 634, 644 ], [ 0, 1, 72, 73, 127, 144, 260, 277, 374, 434, 437, 446, 451, 529, 542, 630, 635, 645 ], [ 1, 2, 73, 74, 128, 145, 261, 278, 375, 435, 438, 447, 452, 530, 543, 631, 636, 646 ], [ 2, 3, 74, 75, 129, 146, 262, 279, 376, 436, 439, 448, 453, 531, 544, 632, 637, 647 ], [ 3, 4, 75, 76, 130, 147, 263, 280, 377, 437, 440, 449, 454, 532, 545, 633, 638, 648 ], [ 4, 5, 76, 77, 131, 148, 264, 281, 378, 438, 441, 450, 455, 533, 546, 634, 639, 649 ], [ 5, 6, 77, 78, 132, 149, 265, 282, 379, 439, 442, 451, 456, 534, 547, 635, 640, 650 ], [ 6, 7, 78, 79, 133, 150, 266, 283, 380, 440, 443, 452, 457, 535, 548, 636, 641, 651 ], [ 7, 8, 79, 80, 134, 151, 267, 284, 381, 441, 444, 453, 458, 536, 549, 637, 642, 652 ], [ 8, 9, 80, 81, 135, 152, 268, 285, 382, 442, 445, 454, 459, 537, 550, 638, 643, 653 ], [ 9, 10, 81, 82, 136, 153, 269, 286, 383, 443, 446, 455, 460, 538, 551, 639, 644, 654 ], [ 10, 11, 82, 83, 137, 154, 270, 287, 384, 444, 447, 456, 461, 539, 552, 640, 645, 655 ], [ 11, 12, 83, 84, 138, 155, 271, 288, 385, 445, 448, 457, 462, 540, 553, 641, 646, 656 ], [ 12, 13, 84, 85, 139, 156, 272, 289, 386, 446, 449, 458, 463, 541, 554, 642, 647, 657 ], [ 13, 14, 85, 86, 140, 157, 273, 290, 387, 447, 450, 459, 464, 542, 555, 643, 648, 658 ], [ 14, 15, 86, 87, 141, 158, 274, 291, 388, 448, 451, 460, 465, 543, 556, 644, 649, 659 ], [ 15, 16, 87, 88, 142, 159, 275, 292, 389, 449, 452, 461, 466, 544, 557, 645, 650, 660 ], [ 16, 17, 88, 89, 143, 160, 276, 293, 390, 450, 453, 462, 467, 545, 558, 646, 651, 661 ], [ 17, 18, 89, 90, 144, 161, 277, 294, 331, 391, 451, 454, 463, 468, 546, 559, 647, 652 ], [ 18, 19, 90, 91, 145, 162, 278, 295, 332, 392, 452, 455, 464, 469, 547, 560, 648, 653 ], [ 19, 20, 91, 92, 146, 163, 279, 296, 333, 393, 453, 456, 465, 470, 548, 561, 649, 654 ], [ 20, 21, 92, 93, 147, 164, 280, 297, 334, 394, 454, 457, 466, 471, 549, 562, 650, 655 ], [ 21, 22, 93, 94, 148, 165, 281, 298, 335, 395, 455, 458, 467, 472, 550, 563, 651, 656 ], [ 22, 23, 94, 95, 149, 166, 282, 299, 336, 396, 456, 459, 468, 473, 551, 564, 652, 657 ], [ 23, 24, 95, 96, 150, 167, 283, 300, 337, 397, 457, 460, 469, 474, 552, 565, 653, 658 ], [ 24, 25, 96, 97, 151, 168, 284, 301, 338, 398, 458, 461, 470, 475, 553, 566, 654, 659 ], [ 25, 26, 97, 98, 152, 169, 285, 302, 339, 399, 459, 462, 471, 476, 554, 567, 655, 660 ], [ 26, 27, 98, 99, 153, 170, 286, 303, 340, 400, 460, 463, 472, 477, 555, 568, 656, 661 ], [ 27, 28, 99, 100, 154, 171, 287, 304, 331, 341, 401, 461, 464, 473, 478, 556, 569, 657 ], [ 28, 29, 100, 101, 155, 172, 288, 305, 332, 342, 402, 462, 465, 474, 479, 557, 570, 658 ], [ 29, 30, 101, 102, 156, 173, 289, 306, 333, 343, 403, 463, 466, 475, 480, 558, 571, 659 ], [ 30, 31, 102, 103, 157, 174, 290, 307, 334, 344, 404, 464, 467, 476, 481, 559, 572, 660 ], [ 31, 32, 103, 104, 158, 175, 291, 308, 335, 345, 405, 465, 468, 477, 482, 560, 573, 661 ], [ 32, 33, 104, 105, 159, 176, 292, 309, 331, 336, 346, 406, 466, 469, 478, 483, 561, 574 ], [ 33, 34, 105, 106, 160, 177, 293, 310, 332, 337, 347, 407, 467, 470, 479, 484, 562, 575 ], [ 34, 35, 106, 107, 161, 178, 294, 311, 333, 338, 348, 408, 468, 471, 480, 485, 563, 576 ], [ 35, 36, 107, 108, 162, 179, 295, 312, 334, 339, 349, 409, 469, 472, 481, 486, 564, 577 ], [ 36, 37, 108, 109, 163, 180, 296, 313, 335, 340, 350, 410, 470, 473, 482, 487, 565, 578 ], [ 37, 38, 109, 110, 164, 181, 297, 314, 336, 341, 351, 411, 471, 474, 483, 488, 566, 579 ], [ 38, 39, 110, 111, 165, 182, 298, 315, 337, 342, 352, 412, 472, 475, 484, 489, 567, 580 ], [ 39, 40, 111, 112, 166, 183, 299, 316, 338, 343, 353, 413, 473, 476, 485, 490, 568, 581 ], [ 40, 41, 112, 113, 167, 184, 300, 317, 339, 344, 354, 414, 474, 477, 486, 491, 569, 582 ], [ 41, 42, 113, 114, 168, 185, 301, 318, 340, 345, 355, 415, 475, 478, 487, 492, 570, 583 ], [ 42, 43, 114, 115, 169, 186, 302, 319, 341, 346, 356, 416, 476, 479, 488, 493, 571, 584 ], [ 43, 44, 115, 116, 170, 187, 303, 320, 342, 347, 357, 417, 477, 480, 489, 494, 572, 585 ], [ 44, 45, 116, 117, 171, 188, 304, 321, 343, 348, 358, 418, 478, 481, 490, 495, 573, 586 ], [ 45, 46, 117, 118, 172, 189, 305, 322, 344, 349, 359, 419, 479, 482, 491, 496, 574, 587 ], [ 46, 47, 118, 119, 173, 190, 306, 323, 345, 350, 360, 420, 480, 483, 492, 497, 575, 588 ], [ 47, 48, 119, 120, 174, 191, 307, 324, 346, 351, 361, 421, 481, 484, 493, 498, 576, 589 ], [ 48, 49, 120, 121, 175, 192, 308, 325, 347, 352, 362, 422, 482, 485, 494, 499, 577, 590 ], [ 49, 50, 121, 122, 176, 193, 309, 326, 348, 353, 363, 423, 483, 486, 495, 500, 578, 591 ], [ 50, 51, 122, 123, 177, 194, 310, 327, 349, 354, 364, 424, 484, 487, 496, 501, 579, 592 ], [ 51, 52, 123, 124, 178, 195, 311, 328, 350, 355, 365, 425, 485, 488, 497, 502, 580, 593 ], [ 52, 53, 124, 125, 179, 196, 312, 329, 351, 356, 366, 426, 486, 489, 498, 503, 581, 594 ], [ 53, 54, 125, 126, 180, 197, 313, 330, 352, 357, 367, 427, 487, 490, 499, 504, 582, 595 ], [ 0, 54, 55, 126, 127, 181, 198, 314, 353, 358, 368, 428, 488, 491, 500, 505, 583, 596 ], [ 1, 55, 56, 127, 128, 182, 199, 315, 354, 359, 369, 429, 489, 492, 501, 506, 584, 597 ], [ 2, 56, 57, 128, 129, 183, 200, 316, 355, 360, 370, 430, 490, 493, 502, 507, 585, 598 ], [ 3, 57, 58, 129, 130, 184, 201, 317, 356, 361, 371, 431, 491, 494, 503, 508, 586, 599 ], [ 4, 58, 59, 130, 131, 185, 202, 318, 357, 362, 372, 432, 492, 495, 504, 509, 587, 600 ], [ 5, 59, 60, 131, 132, 186, 203, 319, 358, 363, 373, 433, 493, 496, 505, 510, 588, 601 ], [ 6, 60, 61, 132, 133, 187, 204, 320, 359, 364, 374, 434, 494, 497, 506, 511, 589, 602 ], [ 7, 61, 62, 133, 134, 188, 205, 321, 360, 365, 375, 435, 495, 498, 507, 512, 590, 603 ], [ 8, 62, 63, 134, 135, 189, 206, 322, 361, 366, 376, 436, 496, 499, 508, 513, 591, 604 ] ] }, "family": "generalized-bicycle", "provenance": { "authors": [ "@vprusso" ], "model": "Claude Opus 5", "novelty": "unknown", "origin": "submission", "date": "2026-10-14", "construction": "Cyclic generalized-bicycle code on the ring x^331 - 1 with H_X = [circ(a) | circ(b)] and H_Z = [circ(b)^T | circ(a)^T]. Both a and b lie in the ideal generated by a divisor of x^331 - 1 whose degree fixes k = 2 deg gcd(a, b, x^331 - 1).", "notes": "m = 331 is prime with ord_2(m) = 30, so the only proper divisor of m is 1 and every quotient fold is vacuous: the ceiling (m/t) d_t that binds a composite modulus does not exist here. That leaves two mechanisms. The orbit fold over every equal-orbit partition of the qubits returns nothing lighter than the claim. The single-block logicals of H_X form the cyclic code of dimension deg g whose zeros are the residues the divisor leaves out, and the coset subset is chosen among those reachable at the target degree to maximise the longest run of consecutive residues among them, which is what the Bose-Chaudhuri-Hocquenghem bound reads; a direct search confined to one circulant block at 12 seeds of 600,000 trials confirms it. The distance is a witness-backed upper bound from a 24-seed gate at 2,000,000 information-set trials per seed." } }