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