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