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