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