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