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