{ "schema_version": "0.3", "name": "[[700,2,25]]", "code_type": "CSS", "n": 700, "k": 2, "checks": { "X": [ [ 53, 182, 602, 644 ], [ 52, 183, 603, 645 ], [ 55, 184, 604, 646 ], [ 54, 185, 605, 647 ], [ 57, 186, 606, 648 ], [ 56, 187, 607, 649 ], [ 59, 188, 608, 640 ], [ 58, 189, 609, 641 ], [ 51, 180, 600, 642 ], [ 50, 181, 601, 643 ], [ 63, 192, 612, 654 ], [ 62, 193, 613, 655 ], [ 65, 194, 614, 656 ], [ 64, 195, 615, 657 ], [ 67, 196, 616, 658 ], [ 66, 197, 617, 659 ], [ 69, 198, 618, 650 ], [ 68, 199, 619, 651 ], [ 61, 190, 610, 652 ], [ 60, 191, 611, 653 ], [ 3, 202, 622, 664 ], [ 2, 203, 623, 665 ], [ 5, 204, 624, 666 ], [ 4, 205, 625, 667 ], [ 7, 206, 626, 668 ], [ 6, 207, 627, 669 ], [ 9, 208, 628, 660 ], [ 8, 209, 629, 661 ], [ 1, 200, 620, 662 ], [ 0, 201, 621, 663 ], [ 13, 142, 562, 674 ], [ 12, 143, 563, 675 ], [ 15, 144, 564, 676 ], [ 14, 145, 565, 677 ], [ 17, 146, 566, 678 ], [ 16, 147, 567, 679 ], [ 19, 148, 568, 670 ], [ 18, 149, 569, 671 ], [ 11, 140, 560, 672 ], [ 10, 141, 561, 673 ], [ 23, 152, 572, 684 ], [ 22, 153, 573, 685 ], [ 25, 154, 574, 686 ], [ 24, 155, 575, 687 ], [ 27, 156, 576, 688 ], [ 26, 157, 577, 689 ], [ 29, 158, 578, 680 ], [ 28, 159, 579, 681 ], [ 21, 150, 570, 682 ], [ 20, 151, 571, 683 ], [ 33, 162, 582, 694 ], [ 32, 163, 583, 695 ], [ 35, 164, 584, 696 ], [ 34, 165, 585, 697 ], [ 37, 166, 586, 698 ], [ 36, 167, 587, 699 ], [ 39, 168, 588, 690 ], [ 38, 169, 589, 691 ], [ 31, 160, 580, 692 ], [ 30, 161, 581, 693 ], [ 43, 172, 592, 634 ], [ 42, 173, 593, 635 ], [ 45, 174, 594, 636 ], [ 44, 175, 595, 637 ], [ 47, 176, 596, 638 ], [ 46, 177, 597, 639 ], [ 49, 178, 598, 630 ], [ 48, 179, 599, 631 ], [ 41, 170, 590, 632 ], [ 40, 171, 591, 633 ], [ 123, 252, 364, 672 ], [ 122, 253, 365, 673 ], [ 125, 254, 366, 674 ], [ 124, 255, 367, 675 ], [ 127, 256, 368, 676 ], [ 126, 257, 369, 677 ], [ 129, 258, 360, 678 ], [ 128, 259, 361, 679 ], [ 121, 250, 362, 670 ], [ 120, 251, 363, 671 ], [ 133, 262, 374, 682 ], [ 132, 263, 375, 683 ], [ 135, 264, 376, 684 ], [ 134, 265, 377, 685 ], [ 137, 266, 378, 686 ], [ 136, 267, 379, 687 ], [ 139, 268, 370, 688 ], [ 138, 269, 371, 689 ], [ 131, 260, 372, 680 ], [ 130, 261, 373, 681 ], [ 73, 272, 384, 692 ], [ 72, 273, 385, 693 ], [ 75, 274, 386, 694 ], [ 74, 275, 387, 695 ], [ 77, 276, 388, 696 ], [ 76, 277, 389, 697 ], [ 79, 278, 380, 698 ], [ 78, 279, 381, 699 ], [ 71, 270, 382, 690 ], [ 70, 271, 383, 691 ], [ 83, 212, 394, 632 ], [ 82, 213, 395, 633 ], [ 85, 214, 396, 634 ], [ 84, 215, 397, 635 ], [ 87, 216, 398, 636 ], [ 86, 217, 399, 637 ], [ 89, 218, 390, 638 ], [ 88, 219, 391, 639 ], [ 81, 210, 392, 630 ], [ 80, 211, 393, 631 ], [ 93, 222, 404, 642 ], [ 92, 223, 405, 643 ], [ 95, 224, 406, 644 ], [ 94, 225, 407, 645 ], [ 97, 226, 408, 646 ], [ 96, 227, 409, 647 ], [ 99, 228, 400, 648 ], [ 98, 229, 401, 649 ], [ 91, 220, 402, 640 ], [ 90, 221, 403, 641 ], [ 103, 232, 414, 652 ], [ 102, 233, 415, 653 ], [ 105, 234, 416, 654 ], [ 104, 235, 417, 655 ], [ 107, 236, 418, 656 ], [ 106, 237, 419, 657 ], [ 109, 238, 410, 658 ], [ 108, 239, 411, 659 ], [ 101, 230, 412, 650 ], [ 100, 231, 413, 651 ], [ 113, 242, 354, 662 ], [ 112, 243, 355, 663 ], [ 115, 244, 356, 664 ], [ 114, 245, 357, 665 ], [ 117, 246, 358, 666 ], [ 116, 247, 359, 667 ], [ 119, 248, 350, 668 ], [ 118, 249, 351, 669 ], [ 111, 240, 352, 660 ], [ 110, 241, 353, 661 ], [ 193, 322, 392, 434 ], [ 192, 323, 393, 435 ], [ 195, 324, 394, 436 ], [ 194, 325, 395, 437 ], [ 197, 326, 396, 438 ], [ 196, 327, 397, 439 ], [ 199, 328, 398, 430 ], [ 198, 329, 399, 431 ], [ 191, 320, 390, 432 ], [ 190, 321, 391, 433 ], [ 203, 332, 402, 444 ], [ 202, 333, 403, 445 ], [ 205, 334, 404, 446 ], [ 204, 335, 405, 447 ], [ 207, 336, 406, 448 ], [ 206, 337, 407, 449 ], [ 209, 338, 408, 440 ], [ 208, 339, 409, 441 ], [ 201, 330, 400, 442 ], [ 200, 331, 401, 443 ], [ 143, 342, 412, 454 ], [ 142, 343, 413, 455 ], [ 145, 344, 414, 456 ], [ 144, 345, 415, 457 ], [ 147, 346, 416, 458 ], [ 146, 347, 417, 459 ], [ 149, 348, 418, 450 ], [ 148, 349, 419, 451 ], [ 141, 340, 410, 452 ], [ 140, 341, 411, 453 ], [ 153, 282, 352, 464 ], [ 152, 283, 353, 465 ], [ 155, 284, 354, 466 ], [ 154, 285, 355, 467 ], [ 157, 286, 356, 468 ], [ 156, 287, 357, 469 ], [ 159, 288, 358, 460 ], [ 158, 289, 359, 461 ], [ 151, 280, 350, 462 ], [ 150, 281, 351, 463 ], [ 163, 292, 362, 474 ], [ 162, 293, 363, 475 ], [ 165, 294, 364, 476 ], [ 164, 295, 365, 477 ], [ 167, 296, 366, 478 ], [ 166, 297, 367, 479 ], [ 169, 298, 368, 470 ], [ 168, 299, 369, 471 ], [ 161, 290, 360, 472 ], [ 160, 291, 361, 473 ], [ 173, 302, 372, 484 ], [ 172, 303, 373, 485 ], [ 175, 304, 374, 486 ], [ 174, 305, 375, 487 ], [ 177, 306, 376, 488 ], [ 176, 307, 377, 489 ], [ 179, 308, 378, 480 ], [ 178, 309, 379, 481 ], [ 171, 300, 370, 482 ], [ 170, 301, 371, 483 ], [ 183, 312, 382, 424 ], [ 182, 313, 383, 425 ], [ 185, 314, 384, 426 ], [ 184, 315, 385, 427 ], [ 187, 316, 386, 428 ], [ 186, 317, 387, 429 ], [ 189, 318, 388, 420 ], [ 188, 319, 389, 421 ], [ 181, 310, 380, 422 ], [ 180, 311, 381, 423 ], [ 42, 263, 462, 504 ], [ 43, 262, 463, 505 ], [ 44, 265, 464, 506 ], [ 45, 264, 465, 507 ], [ 46, 267, 466, 508 ], [ 47, 266, 467, 509 ], [ 48, 269, 468, 500 ], [ 49, 268, 469, 501 ], [ 40, 261, 460, 502 ], [ 41, 260, 461, 503 ], [ 52, 273, 472, 514 ], [ 53, 272, 473, 515 ], [ 54, 275, 474, 516 ], [ 55, 274, 475, 517 ], [ 56, 277, 476, 518 ], [ 57, 276, 477, 519 ], [ 58, 279, 478, 510 ], [ 59, 278, 479, 511 ], [ 50, 271, 470, 512 ], [ 51, 270, 471, 513 ], [ 62, 213, 482, 524 ], [ 63, 212, 483, 525 ], [ 64, 215, 484, 526 ], [ 65, 214, 485, 527 ], [ 66, 217, 486, 528 ], [ 67, 216, 487, 529 ], [ 68, 219, 488, 520 ], [ 69, 218, 489, 521 ], [ 60, 211, 480, 522 ], [ 61, 210, 481, 523 ], [ 2, 223, 422, 534 ], [ 3, 222, 423, 535 ], [ 4, 225, 424, 536 ], [ 5, 224, 425, 537 ], [ 6, 227, 426, 538 ], [ 7, 226, 427, 539 ], [ 8, 229, 428, 530 ], [ 9, 228, 429, 531 ], [ 0, 221, 420, 532 ], [ 1, 220, 421, 533 ], [ 12, 233, 432, 544 ], [ 13, 232, 433, 545 ], [ 14, 235, 434, 546 ], [ 15, 234, 435, 547 ], [ 16, 237, 436, 548 ], [ 17, 236, 437, 549 ], [ 18, 239, 438, 540 ], [ 19, 238, 439, 541 ], [ 10, 231, 430, 542 ], [ 11, 230, 431, 543 ], [ 22, 243, 442, 554 ], [ 23, 242, 443, 555 ], [ 24, 245, 444, 556 ], [ 25, 244, 445, 557 ], [ 26, 247, 446, 558 ], [ 27, 246, 447, 559 ], [ 28, 249, 448, 550 ], [ 29, 248, 449, 551 ], [ 20, 241, 440, 552 ], [ 21, 240, 441, 553 ], [ 32, 253, 452, 494 ], [ 33, 252, 453, 495 ], [ 34, 255, 454, 496 ], [ 35, 254, 455, 497 ], [ 36, 257, 456, 498 ], [ 37, 256, 457, 499 ], [ 38, 259, 458, 490 ], [ 39, 258, 459, 491 ], [ 30, 251, 450, 492 ], [ 31, 250, 451, 493 ], [ 112, 333, 532, 574 ], [ 113, 332, 533, 575 ], [ 114, 335, 534, 576 ], [ 115, 334, 535, 577 ], [ 116, 337, 536, 578 ], [ 117, 336, 537, 579 ], [ 118, 339, 538, 570 ], [ 119, 338, 539, 571 ], [ 110, 331, 530, 572 ], [ 111, 330, 531, 573 ], [ 122, 343, 542, 584 ], [ 123, 342, 543, 585 ], [ 124, 345, 544, 586 ], [ 125, 344, 545, 587 ], [ 126, 347, 546, 588 ], [ 127, 346, 547, 589 ], [ 128, 349, 548, 580 ], [ 129, 348, 549, 581 ], [ 120, 341, 540, 582 ], [ 121, 340, 541, 583 ], [ 132, 283, 552, 594 ], [ 133, 282, 553, 595 ], [ 134, 285, 554, 596 ], [ 135, 284, 555, 597 ], [ 136, 287, 556, 598 ], [ 137, 286, 557, 599 ], [ 138, 289, 558, 590 ], [ 139, 288, 559, 591 ], [ 130, 281, 550, 592 ], [ 131, 280, 551, 593 ], [ 72, 293, 492, 604 ], [ 73, 292, 493, 605 ], [ 74, 295, 494, 606 ], [ 75, 294, 495, 607 ], [ 76, 297, 496, 608 ], [ 77, 296, 497, 609 ], [ 78, 299, 498, 600 ], [ 79, 298, 499, 601 ], [ 70, 291, 490, 602 ], [ 71, 290, 491, 603 ], [ 82, 303, 502, 614 ], [ 83, 302, 503, 615 ], [ 84, 305, 504, 616 ], [ 85, 304, 505, 617 ], [ 86, 307, 506, 618 ], [ 87, 306, 507, 619 ], [ 88, 309, 508, 610 ], [ 89, 308, 509, 611 ], [ 80, 301, 500, 612 ], [ 81, 300, 501, 613 ], [ 92, 313, 512, 624 ], [ 93, 312, 513, 625 ], [ 94, 315, 514, 626 ], [ 95, 314, 515, 627 ], [ 96, 317, 516, 628 ], [ 97, 316, 517, 629 ], [ 98, 319, 518, 620 ], [ 99, 318, 519, 621 ], [ 90, 311, 510, 622 ], [ 91, 310, 511, 623 ], [ 102, 323, 522, 564 ], [ 103, 322, 523, 565 ], [ 104, 325, 524, 566 ], [ 105, 324, 525, 567 ], [ 106, 327, 526, 568 ], [ 107, 326, 527, 569 ], [ 108, 329, 528, 560 ], [ 109, 328, 529, 561 ], [ 100, 321, 520, 562 ], [ 101, 320, 521, 563 ] ], "Z": [ [ 136, 178, 379, 598 ], [ 137, 179, 378, 599 ], [ 138, 170, 371, 590 ], [ 139, 171, 370, 591 ], [ 130, 172, 373, 592 ], [ 131, 173, 372, 593 ], [ 132, 174, 375, 594 ], [ 133, 175, 374, 595 ], [ 134, 176, 377, 596 ], [ 135, 177, 376, 597 ], [ 76, 188, 389, 608 ], [ 77, 189, 388, 609 ], [ 78, 180, 381, 600 ], [ 79, 181, 380, 601 ], [ 70, 182, 383, 602 ], [ 71, 183, 382, 603 ], [ 72, 184, 385, 604 ], [ 73, 185, 384, 605 ], [ 74, 186, 387, 606 ], [ 75, 187, 386, 607 ], [ 86, 198, 399, 618 ], [ 87, 199, 398, 619 ], [ 88, 190, 391, 610 ], [ 89, 191, 390, 611 ], [ 80, 192, 393, 612 ], [ 81, 193, 392, 613 ], [ 82, 194, 395, 614 ], [ 83, 195, 394, 615 ], [ 84, 196, 397, 616 ], [ 85, 197, 396, 617 ], [ 96, 208, 409, 628 ], [ 97, 209, 408, 629 ], [ 98, 200, 401, 620 ], [ 99, 201, 400, 621 ], [ 90, 202, 403, 622 ], [ 91, 203, 402, 623 ], [ 92, 204, 405, 624 ], [ 93, 205, 404, 625 ], [ 94, 206, 407, 626 ], [ 95, 207, 406, 627 ], [ 106, 148, 419, 568 ], [ 107, 149, 418, 569 ], [ 108, 140, 411, 560 ], [ 109, 141, 410, 561 ], [ 100, 142, 413, 562 ], [ 101, 143, 412, 563 ], [ 102, 144, 415, 564 ], [ 103, 145, 414, 565 ], [ 104, 146, 417, 566 ], [ 105, 147, 416, 567 ], [ 116, 158, 359, 578 ], [ 117, 159, 358, 579 ], [ 118, 150, 351, 570 ], [ 119, 151, 350, 571 ], [ 110, 152, 353, 572 ], [ 111, 153, 352, 573 ], [ 112, 154, 355, 574 ], [ 113, 155, 354, 575 ], [ 114, 156, 357, 576 ], [ 115, 157, 356, 577 ], [ 126, 168, 369, 588 ], [ 127, 169, 368, 589 ], [ 128, 160, 361, 580 ], [ 129, 161, 360, 581 ], [ 120, 162, 363, 582 ], [ 121, 163, 362, 583 ], [ 122, 164, 365, 584 ], [ 123, 165, 364, 585 ], [ 124, 166, 367, 586 ], [ 125, 167, 366, 587 ], [ 206, 248, 449, 668 ], [ 207, 249, 448, 669 ], [ 208, 240, 441, 660 ], [ 209, 241, 440, 661 ], [ 200, 242, 443, 662 ], [ 201, 243, 442, 663 ], [ 202, 244, 445, 664 ], [ 203, 245, 444, 665 ], [ 204, 246, 447, 666 ], [ 205, 247, 446, 667 ], [ 146, 258, 459, 678 ], [ 147, 259, 458, 679 ], [ 148, 250, 451, 670 ], [ 149, 251, 450, 671 ], [ 140, 252, 453, 672 ], [ 141, 253, 452, 673 ], [ 142, 254, 455, 674 ], [ 143, 255, 454, 675 ], [ 144, 256, 457, 676 ], [ 145, 257, 456, 677 ], [ 156, 268, 469, 688 ], [ 157, 269, 468, 689 ], [ 158, 260, 461, 680 ], [ 159, 261, 460, 681 ], [ 150, 262, 463, 682 ], [ 151, 263, 462, 683 ], [ 152, 264, 465, 684 ], [ 153, 265, 464, 685 ], [ 154, 266, 467, 686 ], [ 155, 267, 466, 687 ], [ 166, 278, 479, 698 ], [ 167, 279, 478, 699 ], [ 168, 270, 471, 690 ], [ 169, 271, 470, 691 ], [ 160, 272, 473, 692 ], [ 161, 273, 472, 693 ], [ 162, 274, 475, 694 ], [ 163, 275, 474, 695 ], [ 164, 276, 477, 696 ], [ 165, 277, 476, 697 ], [ 176, 218, 489, 638 ], [ 177, 219, 488, 639 ], [ 178, 210, 481, 630 ], [ 179, 211, 480, 631 ], [ 170, 212, 483, 632 ], [ 171, 213, 482, 633 ], [ 172, 214, 485, 634 ], [ 173, 215, 484, 635 ], [ 174, 216, 487, 636 ], [ 175, 217, 486, 637 ], [ 186, 228, 429, 648 ], [ 187, 229, 428, 649 ], [ 188, 220, 421, 640 ], [ 189, 221, 420, 641 ], [ 180, 222, 423, 642 ], [ 181, 223, 422, 643 ], [ 182, 224, 425, 644 ], [ 183, 225, 424, 645 ], [ 184, 226, 427, 646 ], [ 185, 227, 426, 647 ], [ 196, 238, 439, 658 ], [ 197, 239, 438, 659 ], [ 198, 230, 431, 650 ], [ 199, 231, 430, 651 ], [ 190, 232, 433, 652 ], [ 191, 233, 432, 653 ], [ 192, 234, 435, 654 ], [ 193, 235, 434, 655 ], [ 194, 236, 437, 656 ], [ 195, 237, 436, 657 ], [ 276, 318, 388, 519 ], [ 277, 319, 389, 518 ], [ 278, 310, 380, 511 ], [ 279, 311, 381, 510 ], [ 270, 312, 382, 513 ], [ 271, 313, 383, 512 ], [ 272, 314, 384, 515 ], [ 273, 315, 385, 514 ], [ 274, 316, 386, 517 ], [ 275, 317, 387, 516 ], [ 216, 328, 398, 529 ], [ 217, 329, 399, 528 ], [ 218, 320, 390, 521 ], [ 219, 321, 391, 520 ], [ 210, 322, 392, 523 ], [ 211, 323, 393, 522 ], [ 212, 324, 394, 525 ], [ 213, 325, 395, 524 ], [ 214, 326, 396, 527 ], [ 215, 327, 397, 526 ], [ 226, 338, 408, 539 ], [ 227, 339, 409, 538 ], [ 228, 330, 400, 531 ], [ 229, 331, 401, 530 ], [ 220, 332, 402, 533 ], [ 221, 333, 403, 532 ], [ 222, 334, 404, 535 ], [ 223, 335, 405, 534 ], [ 224, 336, 406, 537 ], [ 225, 337, 407, 536 ], [ 236, 348, 418, 549 ], [ 237, 349, 419, 548 ], [ 238, 340, 410, 541 ], [ 239, 341, 411, 540 ], [ 230, 342, 412, 543 ], [ 231, 343, 413, 542 ], [ 232, 344, 414, 545 ], [ 233, 345, 415, 544 ], [ 234, 346, 416, 547 ], [ 235, 347, 417, 546 ], [ 246, 288, 358, 559 ], [ 247, 289, 359, 558 ], [ 248, 280, 350, 551 ], [ 249, 281, 351, 550 ], [ 240, 282, 352, 553 ], [ 241, 283, 353, 552 ], [ 242, 284, 354, 555 ], [ 243, 285, 355, 554 ], [ 244, 286, 356, 557 ], [ 245, 287, 357, 556 ], [ 256, 298, 368, 499 ], [ 257, 299, 369, 498 ], [ 258, 290, 360, 491 ], [ 259, 291, 361, 490 ], [ 250, 292, 362, 493 ], [ 251, 293, 363, 492 ], [ 252, 294, 364, 495 ], [ 253, 295, 365, 494 ], [ 254, 296, 366, 497 ], [ 255, 297, 367, 496 ], [ 266, 308, 378, 509 ], [ 267, 309, 379, 508 ], [ 268, 300, 370, 501 ], [ 269, 301, 371, 500 ], [ 260, 302, 372, 503 ], [ 261, 303, 373, 502 ], [ 262, 304, 374, 505 ], [ 263, 305, 375, 504 ], [ 264, 306, 376, 507 ], [ 265, 307, 377, 506 ], [ 38, 346, 458, 589 ], [ 39, 347, 459, 588 ], [ 30, 348, 450, 581 ], [ 31, 349, 451, 580 ], [ 32, 340, 452, 583 ], [ 33, 341, 453, 582 ], [ 34, 342, 454, 585 ], [ 35, 343, 455, 584 ], [ 36, 344, 456, 587 ], [ 37, 345, 457, 586 ], [ 48, 286, 468, 599 ], [ 49, 287, 469, 598 ], [ 40, 288, 460, 591 ], [ 41, 289, 461, 590 ], [ 42, 280, 462, 593 ], [ 43, 281, 463, 592 ], [ 44, 282, 464, 595 ], [ 45, 283, 465, 594 ], [ 46, 284, 466, 597 ], [ 47, 285, 467, 596 ], [ 58, 296, 478, 609 ], [ 59, 297, 479, 608 ], [ 50, 298, 470, 601 ], [ 51, 299, 471, 600 ], [ 52, 290, 472, 603 ], [ 53, 291, 473, 602 ], [ 54, 292, 474, 605 ], [ 55, 293, 475, 604 ], [ 56, 294, 476, 607 ], [ 57, 295, 477, 606 ], [ 68, 306, 488, 619 ], [ 69, 307, 489, 618 ], [ 60, 308, 480, 611 ], [ 61, 309, 481, 610 ], [ 62, 300, 482, 613 ], [ 63, 301, 483, 612 ], [ 64, 302, 484, 615 ], [ 65, 303, 485, 614 ], [ 66, 304, 486, 617 ], [ 67, 305, 487, 616 ], [ 8, 316, 428, 629 ], [ 9, 317, 429, 628 ], [ 0, 318, 420, 621 ], [ 1, 319, 421, 620 ], [ 2, 310, 422, 623 ], [ 3, 311, 423, 622 ], [ 4, 312, 424, 625 ], [ 5, 313, 425, 624 ], [ 6, 314, 426, 627 ], [ 7, 315, 427, 626 ], [ 18, 326, 438, 569 ], [ 19, 327, 439, 568 ], [ 10, 328, 430, 561 ], [ 11, 329, 431, 560 ], [ 12, 320, 432, 563 ], [ 13, 321, 433, 562 ], [ 14, 322, 434, 565 ], [ 15, 323, 435, 564 ], [ 16, 324, 436, 567 ], [ 17, 325, 437, 566 ], [ 28, 336, 448, 579 ], [ 29, 337, 449, 578 ], [ 20, 338, 440, 571 ], [ 21, 339, 441, 570 ], [ 22, 330, 442, 573 ], [ 23, 331, 443, 572 ], [ 24, 332, 444, 575 ], [ 25, 333, 445, 574 ], [ 26, 334, 446, 577 ], [ 27, 335, 447, 576 ], [ 66, 108, 528, 659 ], [ 67, 109, 529, 658 ], [ 68, 100, 520, 651 ], [ 69, 101, 521, 650 ], [ 60, 102, 522, 653 ], [ 61, 103, 523, 652 ], [ 62, 104, 524, 655 ], [ 63, 105, 525, 654 ], [ 64, 106, 526, 657 ], [ 65, 107, 527, 656 ], [ 6, 118, 538, 669 ], [ 7, 119, 539, 668 ], [ 8, 110, 530, 661 ], [ 9, 111, 531, 660 ], [ 0, 112, 532, 663 ], [ 1, 113, 533, 662 ], [ 2, 114, 534, 665 ], [ 3, 115, 535, 664 ], [ 4, 116, 536, 667 ], [ 5, 117, 537, 666 ], [ 16, 128, 548, 679 ], [ 17, 129, 549, 678 ], [ 18, 120, 540, 671 ], [ 19, 121, 541, 670 ], [ 10, 122, 542, 673 ], [ 11, 123, 543, 672 ], [ 12, 124, 544, 675 ], [ 13, 125, 545, 674 ], [ 14, 126, 546, 677 ], [ 15, 127, 547, 676 ], [ 26, 138, 558, 689 ], [ 27, 139, 559, 688 ], [ 28, 130, 550, 681 ], [ 29, 131, 551, 680 ], [ 20, 132, 552, 683 ], [ 21, 133, 553, 682 ], [ 22, 134, 554, 685 ], [ 23, 135, 555, 684 ], [ 24, 136, 556, 687 ], [ 25, 137, 557, 686 ], [ 36, 78, 498, 699 ], [ 37, 79, 499, 698 ], [ 38, 70, 490, 691 ], [ 39, 71, 491, 690 ], [ 30, 72, 492, 693 ], [ 31, 73, 493, 692 ], [ 32, 74, 494, 695 ], [ 33, 75, 495, 694 ], [ 34, 76, 496, 697 ], [ 35, 77, 497, 696 ], [ 46, 88, 508, 639 ], [ 47, 89, 509, 638 ], [ 48, 80, 500, 631 ], [ 49, 81, 501, 630 ], [ 40, 82, 502, 633 ], [ 41, 83, 503, 632 ], [ 42, 84, 504, 635 ], [ 43, 85, 505, 634 ], [ 44, 86, 506, 637 ], [ 45, 87, 507, 636 ], [ 56, 98, 518, 649 ], [ 57, 99, 519, 648 ], [ 58, 90, 510, 641 ], [ 59, 91, 511, 640 ], [ 50, 92, 512, 643 ], [ 51, 93, 513, 642 ], [ 52, 94, 514, 645 ], [ 53, 95, 515, 644 ], [ 54, 96, 516, 647 ], [ 55, 97, 517, 646 ] ] }, "distance": { "d": 25, "X": { "value": 25, "confidence": "upper_bound", "witness": [ 4, 10, 29, 67, 109, 116, 125, 131, 142, 167, 263, 270, 299, 305, 312, 413, 462, 471, 498, 542, 561, 578, 593, 674, 699 ] }, "Z": { "value": 25, "confidence": "upper_bound", "witness": [ 71, 72, 103, 177, 209, 232, 264, 273, 290, 322, 353, 376, 391, 408, 433, 434, 465, 472, 546, 588, 604, 639, 646, 661, 690 ] } }, "provenance": { "authors": [ "@MathysRennela" ], "construction": "Quadricycle code (rank-4 generalized bicycle on the abelian torus G = Z_5 x Z_7 x Z_5 x Z_2): H_X = [A | B], H_Z = [B^T | A^T] with A = x1^2 x2^4 x3 + x2^5 x3 x4 and B = x1^4 x2 x3^2 + x1^3 x2^4 x3, monomials of the four independent cyclic shifts over F_2; check weight 4. Found by uniform random sampling of weight-2+2 monomial sets (1,200 candidates, dims in [2,11] with prod <= 350) screened with a staged RIS funnel (300 -> 3,000 -> 20,000 trials, gf2_fast) and confirmed with a 1M-sample adversarial ladder. Generalizes the bivariate bicycles (arXiv:2308.07915) and the trivariate codes (arXiv:2406.19151) to four independent shifts.", "origin": "submission", "date": "2026-09-20", "model": "GLM 5.3 Flash (Zed agent)", "notes": "Checked against the current board by the validation gate: verifies, not refuted, and no exact or WL-equivalent duplicate of any existing entry; not known to be equivalent to any existing entry under a code symmetry.", "search_budget": { "candidates_screened": 1800, "wall_clock_hours": 0.9 } }, "family": "generalized-bicycle" }