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