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