{ "schema_version": "0.1", "name": "[[490,40,20]] [[4,2,2]]-amplified [[102,20,10]]", "code_type": "CSS", "n": 490, "k": 40, "checks": { "X": [ [ 0, 76, 108, 140, 192, 204, 232, 240, 280, 449 ], [ 1, 77, 109, 141, 193, 205, 233, 241, 281, 449 ], [ 2, 78, 110, 142, 194, 206, 234, 242, 282, 449 ], [ 3, 79, 111, 143, 195, 207, 235, 243, 283, 449 ], [ 12, 44, 96, 108, 184, 312, 340, 348, 388, 450 ], [ 13, 45, 97, 109, 185, 313, 341, 349, 389, 450 ], [ 14, 46, 98, 110, 186, 314, 342, 350, 390, 450 ], [ 15, 47, 99, 111, 187, 315, 343, 351, 391, 450 ], [ 16, 48, 100, 112, 188, 316, 344, 352, 392, 451 ], [ 17, 49, 101, 113, 189, 317, 345, 353, 393, 451 ], [ 18, 50, 102, 114, 190, 318, 346, 354, 394, 451 ], [ 19, 51, 103, 115, 191, 319, 347, 355, 395, 451 ], [ 20, 52, 104, 116, 192, 320, 348, 356, 396, 452 ], [ 21, 53, 105, 117, 193, 321, 349, 357, 397, 452 ], [ 22, 54, 106, 118, 194, 322, 350, 358, 398, 452 ], [ 23, 55, 107, 119, 195, 323, 351, 359, 399, 452 ], [ 24, 56, 108, 120, 196, 324, 352, 360, 400, 453 ], [ 25, 57, 109, 121, 197, 325, 353, 361, 401, 453 ], [ 26, 58, 110, 122, 198, 326, 354, 362, 402, 453 ], [ 27, 59, 111, 123, 199, 327, 355, 363, 403, 453 ], [ 28, 60, 112, 124, 200, 328, 356, 364, 404, 454 ], [ 29, 61, 113, 125, 201, 329, 357, 365, 405, 454 ], [ 30, 62, 114, 126, 202, 330, 358, 366, 406, 454 ], [ 31, 63, 115, 127, 203, 331, 359, 367, 407, 454 ], [ 0, 32, 64, 116, 128, 204, 332, 360, 368, 455 ], [ 1, 33, 65, 117, 129, 205, 333, 361, 369, 455 ], [ 2, 34, 66, 118, 130, 206, 334, 362, 370, 455 ], [ 3, 35, 67, 119, 131, 207, 335, 363, 371, 455 ], [ 4, 36, 68, 120, 132, 208, 336, 364, 372, 456 ], [ 5, 37, 69, 121, 133, 209, 337, 365, 373, 456 ], [ 6, 38, 70, 122, 134, 210, 338, 366, 374, 456 ], [ 7, 39, 71, 123, 135, 211, 339, 367, 375, 456 ], [ 8, 40, 72, 124, 136, 212, 340, 368, 376, 457 ], [ 9, 41, 73, 125, 137, 213, 341, 369, 377, 457 ], [ 10, 42, 74, 126, 138, 214, 342, 370, 378, 457 ], [ 11, 43, 75, 127, 139, 215, 343, 371, 379, 457 ], [ 12, 44, 76, 128, 140, 216, 344, 372, 380, 458 ], [ 13, 45, 77, 129, 141, 217, 345, 373, 381, 458 ], [ 14, 46, 78, 130, 142, 218, 346, 374, 382, 458 ], [ 15, 47, 79, 131, 143, 219, 347, 375, 383, 458 ], [ 16, 48, 80, 132, 144, 220, 348, 376, 384, 459 ], [ 17, 49, 81, 133, 145, 221, 349, 377, 385, 459 ], [ 18, 50, 82, 134, 146, 222, 350, 378, 386, 459 ], [ 19, 51, 83, 135, 147, 223, 351, 379, 387, 459 ], [ 8, 40, 92, 104, 180, 308, 336, 344, 384, 460 ], [ 9, 41, 93, 105, 181, 309, 337, 345, 385, 460 ], [ 10, 42, 94, 106, 182, 310, 338, 346, 386, 460 ], [ 11, 43, 95, 107, 183, 311, 339, 347, 387, 460 ], [ 20, 52, 84, 136, 148, 224, 352, 380, 388, 461 ], [ 21, 53, 85, 137, 149, 225, 353, 381, 389, 461 ], [ 22, 54, 86, 138, 150, 226, 354, 382, 390, 461 ], [ 23, 55, 87, 139, 151, 227, 355, 383, 391, 461 ], [ 28, 60, 92, 144, 156, 232, 360, 388, 396, 462 ], [ 29, 61, 93, 145, 157, 233, 361, 389, 397, 462 ], [ 30, 62, 94, 146, 158, 234, 362, 390, 398, 462 ], [ 31, 63, 95, 147, 159, 235, 363, 391, 399, 462 ], [ 32, 64, 96, 148, 160, 236, 364, 392, 400, 463 ], [ 33, 65, 97, 149, 161, 237, 365, 393, 401, 463 ], [ 34, 66, 98, 150, 162, 238, 366, 394, 402, 463 ], [ 35, 67, 99, 151, 163, 239, 367, 395, 403, 463 ], [ 36, 68, 100, 152, 164, 240, 368, 396, 404, 464 ], [ 37, 69, 101, 153, 165, 241, 369, 397, 405, 464 ], [ 38, 70, 102, 154, 166, 242, 370, 398, 406, 464 ], [ 39, 71, 103, 155, 167, 243, 371, 399, 407, 464 ], [ 40, 72, 104, 156, 168, 204, 244, 372, 400, 465 ], [ 41, 73, 105, 157, 169, 205, 245, 373, 401, 465 ], [ 42, 74, 106, 158, 170, 206, 246, 374, 402, 465 ], [ 43, 75, 107, 159, 171, 207, 247, 375, 403, 465 ], [ 44, 76, 108, 160, 172, 208, 248, 376, 404, 466 ], [ 45, 77, 109, 161, 173, 209, 249, 377, 405, 466 ], [ 46, 78, 110, 162, 174, 210, 250, 378, 406, 466 ], [ 47, 79, 111, 163, 175, 211, 251, 379, 407, 466 ], [ 48, 80, 112, 164, 176, 204, 212, 252, 380, 467 ], [ 49, 81, 113, 165, 177, 205, 213, 253, 381, 467 ], [ 50, 82, 114, 166, 178, 206, 214, 254, 382, 467 ], [ 51, 83, 115, 167, 179, 207, 215, 255, 383, 467 ], [ 52, 84, 116, 168, 180, 208, 216, 256, 384, 468 ], [ 53, 85, 117, 169, 181, 209, 217, 257, 385, 468 ], [ 54, 86, 118, 170, 182, 210, 218, 258, 386, 468 ], [ 55, 87, 119, 171, 183, 211, 219, 259, 387, 468 ], [ 56, 88, 120, 172, 184, 212, 220, 260, 388, 469 ], [ 57, 89, 121, 173, 185, 213, 221, 261, 389, 469 ], [ 58, 90, 122, 174, 186, 214, 222, 262, 390, 469 ], [ 59, 91, 123, 175, 187, 215, 223, 263, 391, 469 ], [ 60, 92, 124, 176, 188, 216, 224, 264, 392, 470 ], [ 61, 93, 125, 177, 189, 217, 225, 265, 393, 470 ], [ 62, 94, 126, 178, 190, 218, 226, 266, 394, 470 ], [ 63, 95, 127, 179, 191, 219, 227, 267, 395, 470 ], [ 64, 96, 128, 180, 192, 220, 228, 268, 396, 471 ], [ 65, 97, 129, 181, 193, 221, 229, 269, 397, 471 ], [ 66, 98, 130, 182, 194, 222, 230, 270, 398, 471 ], [ 67, 99, 131, 183, 195, 223, 231, 271, 399, 471 ], [ 24, 56, 88, 140, 152, 228, 356, 384, 392, 472 ], [ 25, 57, 89, 141, 153, 229, 357, 385, 393, 472 ], [ 26, 58, 90, 142, 154, 230, 358, 386, 394, 472 ], [ 27, 59, 91, 143, 155, 231, 359, 387, 395, 472 ], [ 68, 100, 132, 184, 196, 224, 232, 272, 400, 473 ], [ 69, 101, 133, 185, 197, 225, 233, 273, 401, 473 ], [ 70, 102, 134, 186, 198, 226, 234, 274, 402, 473 ], [ 71, 103, 135, 187, 199, 227, 235, 275, 403, 473 ], [ 4, 36, 88, 100, 176, 304, 332, 340, 380, 474 ], [ 5, 37, 89, 101, 177, 305, 333, 341, 381, 474 ], [ 6, 38, 90, 102, 178, 306, 334, 342, 382, 474 ], [ 7, 39, 91, 103, 179, 307, 335, 343, 383, 474 ], [ 28, 80, 92, 168, 200, 296, 324, 332, 372, 475 ], [ 29, 81, 93, 169, 201, 297, 325, 333, 373, 475 ], [ 30, 82, 94, 170, 202, 298, 326, 334, 374, 475 ], [ 31, 83, 95, 171, 203, 299, 327, 335, 375, 475 ], [ 4, 80, 112, 144, 196, 208, 236, 244, 284, 476 ], [ 5, 81, 113, 145, 197, 209, 237, 245, 285, 476 ], [ 6, 82, 114, 146, 198, 210, 238, 246, 286, 476 ], [ 7, 83, 115, 147, 199, 211, 239, 247, 287, 476 ], [ 8, 84, 116, 148, 200, 212, 240, 248, 288, 477 ], [ 9, 85, 117, 149, 201, 213, 241, 249, 289, 477 ], [ 10, 86, 118, 150, 202, 214, 242, 250, 290, 477 ], [ 11, 87, 119, 151, 203, 215, 243, 251, 291, 477 ], [ 0, 12, 88, 120, 152, 216, 244, 252, 292, 478 ], [ 1, 13, 89, 121, 153, 217, 245, 253, 293, 478 ], [ 2, 14, 90, 122, 154, 218, 246, 254, 294, 478 ], [ 3, 15, 91, 123, 155, 219, 247, 255, 295, 478 ], [ 4, 16, 92, 124, 156, 220, 248, 256, 296, 479 ], [ 5, 17, 93, 125, 157, 221, 249, 257, 297, 479 ], [ 6, 18, 94, 126, 158, 222, 250, 258, 298, 479 ], [ 7, 19, 95, 127, 159, 223, 251, 259, 299, 479 ], [ 8, 20, 96, 128, 160, 224, 252, 260, 300, 480 ], [ 9, 21, 97, 129, 161, 225, 253, 261, 301, 480 ], [ 10, 22, 98, 130, 162, 226, 254, 262, 302, 480 ], [ 11, 23, 99, 131, 163, 227, 255, 263, 303, 480 ], [ 12, 24, 100, 132, 164, 228, 256, 264, 304, 481 ], [ 13, 25, 101, 133, 165, 229, 257, 265, 305, 481 ], [ 14, 26, 102, 134, 166, 230, 258, 266, 306, 481 ], [ 15, 27, 103, 135, 167, 231, 259, 267, 307, 481 ], [ 16, 28, 104, 136, 168, 232, 260, 268, 308, 482 ], [ 17, 29, 105, 137, 169, 233, 261, 269, 309, 482 ], [ 18, 30, 106, 138, 170, 234, 262, 270, 310, 482 ], [ 19, 31, 107, 139, 171, 235, 263, 271, 311, 482 ], [ 20, 32, 108, 140, 172, 236, 264, 272, 312, 483 ], [ 21, 33, 109, 141, 173, 237, 265, 273, 313, 483 ], [ 22, 34, 110, 142, 174, 238, 266, 274, 314, 483 ], [ 23, 35, 111, 143, 175, 239, 267, 275, 315, 483 ], [ 24, 36, 112, 144, 176, 240, 268, 276, 316, 484 ], [ 25, 37, 113, 145, 177, 241, 269, 277, 317, 484 ], [ 26, 38, 114, 146, 178, 242, 270, 278, 318, 484 ], [ 27, 39, 115, 147, 179, 243, 271, 279, 319, 484 ], [ 28, 40, 116, 148, 180, 244, 272, 280, 320, 485 ], [ 29, 41, 117, 149, 181, 245, 273, 281, 321, 485 ], [ 30, 42, 118, 150, 182, 246, 274, 282, 322, 485 ], [ 31, 43, 119, 151, 183, 247, 275, 283, 323, 485 ], [ 0, 32, 84, 96, 172, 300, 328, 336, 376, 486 ], [ 1, 33, 85, 97, 173, 301, 329, 337, 377, 486 ], [ 2, 34, 86, 98, 174, 302, 330, 338, 378, 486 ], [ 3, 35, 87, 99, 175, 303, 331, 339, 379, 486 ], [ 32, 44, 120, 152, 184, 248, 276, 284, 324, 487 ], [ 33, 45, 121, 153, 185, 249, 277, 285, 325, 487 ], [ 34, 46, 122, 154, 186, 250, 278, 286, 326, 487 ], [ 35, 47, 123, 155, 187, 251, 279, 287, 327, 487 ], [ 48, 60, 136, 168, 200, 264, 292, 300, 340, 488 ], [ 49, 61, 137, 169, 201, 265, 293, 301, 341, 488 ], [ 50, 62, 138, 170, 202, 266, 294, 302, 342, 488 ], [ 51, 63, 139, 171, 203, 267, 295, 303, 343, 488 ], [ 8, 60, 72, 148, 180, 276, 304, 312, 352, 489 ], [ 9, 61, 73, 149, 181, 277, 305, 313, 353, 489 ], [ 10, 62, 74, 150, 182, 278, 306, 314, 354, 489 ], [ 11, 63, 75, 151, 183, 279, 307, 315, 355, 489 ], [ 0, 1, 2, 3, 408, 441, 443 ], [ 4, 5, 6, 7, 435, 442, 444 ], [ 8, 9, 10, 11, 436, 443, 446 ], [ 12, 13, 14, 15, 437, 444 ], [ 16, 17, 18, 19, 434, 438, 446, 447 ], [ 20, 21, 22, 23, 439, 445, 448 ], [ 24, 25, 26, 27, 433, 440, 447 ], [ 28, 29, 30, 31, 419, 441, 448 ], [ 32, 33, 34, 35, 409, 442 ], [ 36, 37, 38, 39, 410, 443 ], [ 40, 41, 42, 43, 411, 444 ], [ 44, 45, 46, 47, 412, 446 ], [ 48, 49, 50, 51, 413 ], [ 52, 53, 54, 55, 414, 447 ], [ 56, 57, 58, 59, 415, 434, 448 ], [ 60, 61, 62, 63, 416, 445 ], [ 64, 65, 66, 67, 417, 433, 434 ], [ 68, 69, 70, 71, 418, 419, 445 ], [ 72, 73, 74, 75, 409, 420, 433 ], [ 76, 77, 78, 79, 410, 419, 431 ], [ 80, 81, 82, 83, 409, 411, 421 ], [ 84, 85, 86, 87, 410, 412, 422 ], [ 88, 89, 90, 91, 411, 413, 423 ], [ 92, 93, 94, 95, 412, 414, 424, 434 ], [ 96, 97, 98, 99, 413, 415, 425, 445 ], [ 100, 101, 102, 103, 414, 416, 426, 433 ], [ 104, 105, 106, 107, 415, 417, 419, 427 ], [ 108, 109, 110, 111, 409, 416, 418, 428 ], [ 112, 113, 114, 115, 410, 417, 420, 429 ], [ 116, 117, 118, 119, 411, 418, 430, 431 ], [ 120, 121, 122, 123, 412, 420, 421, 432 ], [ 124, 125, 126, 127, 413, 422, 431 ], [ 128, 129, 130, 131, 408, 414, 421, 423 ], [ 132, 133, 134, 135, 415, 422, 424, 435 ], [ 136, 137, 138, 139, 416, 423, 425, 436 ], [ 140, 141, 142, 143, 417, 424, 426, 437 ], [ 144, 145, 146, 147, 418, 425, 427, 438 ], [ 148, 149, 150, 151, 420, 426, 428, 439 ], [ 152, 153, 154, 155, 427, 429, 431, 440 ], [ 156, 157, 158, 159, 421, 428, 430, 441 ], [ 160, 161, 162, 163, 422, 429, 432, 442 ], [ 164, 165, 166, 167, 423, 430, 443 ], [ 168, 169, 170, 171, 408, 424, 432, 444 ], [ 172, 173, 174, 175, 425, 435, 446 ], [ 176, 177, 178, 179, 408, 426, 436 ], [ 180, 181, 182, 183, 427, 435, 437, 447 ], [ 184, 185, 186, 187, 428, 436, 438, 448 ], [ 188, 189, 190, 191, 429, 437, 439 ], [ 192, 193, 194, 195, 430, 438, 440 ], [ 196, 197, 198, 199, 432, 439, 441 ], [ 200, 201, 202, 203, 440, 442 ], [ 204, 205, 206, 207, 408, 409, 417, 430 ], [ 208, 209, 210, 211, 410, 418, 432, 435 ], [ 212, 213, 214, 215, 411, 420, 436 ], [ 216, 217, 218, 219, 408, 412, 431, 437 ], [ 220, 221, 222, 223, 413, 421, 434, 435, 438 ], [ 224, 225, 226, 227, 414, 422, 436, 439, 445 ], [ 228, 229, 230, 231, 415, 423, 433, 437, 440 ], [ 232, 233, 234, 235, 416, 419, 424, 438, 441 ], [ 236, 237, 238, 239, 409, 417, 425, 439, 442 ], [ 240, 241, 242, 243, 410, 418, 426, 440, 443 ], [ 244, 245, 246, 247, 411, 420, 427, 441, 444 ], [ 248, 249, 250, 251, 412, 428, 431, 442, 446 ], [ 252, 253, 254, 255, 413, 421, 429, 443 ], [ 256, 257, 258, 259, 414, 422, 430, 444, 447 ], [ 260, 261, 262, 263, 415, 423, 432, 446, 448 ], [ 264, 265, 266, 267, 416, 424 ], [ 268, 269, 270, 271, 408, 417, 425, 447 ], [ 272, 273, 274, 275, 418, 426, 435, 448 ], [ 276, 277, 278, 279, 420, 427, 436 ], [ 280, 281, 282, 283, 428, 431, 437 ], [ 284, 285, 286, 287, 421, 429, 438 ], [ 288, 289, 290, 291, 422, 430, 439 ], [ 292, 293, 294, 295, 423, 432, 440 ], [ 296, 297, 298, 299, 424, 434, 441 ], [ 300, 301, 302, 303, 408, 425, 442, 445 ], [ 304, 305, 306, 307, 426, 433, 435, 443 ], [ 308, 309, 310, 311, 419, 427, 434, 436, 444 ], [ 312, 313, 314, 315, 409, 428, 437, 445, 446 ], [ 316, 317, 318, 319, 410, 429, 433, 438 ], [ 320, 321, 322, 323, 411, 419, 430, 439, 447 ], [ 324, 325, 326, 327, 409, 412, 432, 440, 448 ], [ 328, 329, 330, 331, 410, 413, 441 ], [ 332, 333, 334, 335, 408, 411, 414, 442 ], [ 336, 337, 338, 339, 412, 415, 435, 443 ], [ 340, 341, 342, 343, 413, 416, 436, 444 ], [ 344, 345, 346, 347, 414, 417, 437, 446 ], [ 348, 349, 350, 351, 415, 418, 438 ], [ 352, 353, 354, 355, 416, 420, 439, 447 ], [ 356, 357, 358, 359, 417, 431, 440, 448 ], [ 360, 361, 362, 363, 418, 421, 434, 441 ], [ 364, 365, 366, 367, 420, 422, 442, 445 ], [ 368, 369, 370, 371, 423, 431, 433, 443 ], [ 372, 373, 374, 375, 419, 421, 424, 444 ], [ 376, 377, 378, 379, 409, 422, 425, 446 ], [ 380, 381, 382, 383, 410, 423, 426 ], [ 384, 385, 386, 387, 411, 424, 427, 447 ], [ 388, 389, 390, 391, 412, 425, 428, 448 ], [ 392, 393, 394, 395, 413, 426, 429, 434 ], [ 396, 397, 398, 399, 414, 427, 430, 445 ], [ 400, 401, 402, 403, 415, 428, 432, 433 ], [ 404, 405, 406, 407, 416, 419, 429 ] ], "Z": [ [ 0, 128, 168, 176, 204, 216, 268, 300, 332, 408 ], [ 1, 129, 169, 177, 205, 217, 269, 301, 333, 408 ], [ 2, 130, 170, 178, 206, 218, 270, 302, 334, 408 ], [ 3, 131, 171, 179, 207, 219, 271, 303, 335, 408 ], [ 32, 72, 80, 108, 204, 236, 312, 324, 376, 409 ], [ 33, 73, 81, 109, 205, 237, 313, 325, 377, 409 ], [ 34, 74, 82, 110, 206, 238, 314, 326, 378, 409 ], [ 35, 75, 83, 111, 207, 239, 315, 327, 379, 409 ], [ 36, 76, 84, 112, 208, 240, 316, 328, 380, 410 ], [ 37, 77, 85, 113, 209, 241, 317, 329, 381, 410 ], [ 38, 78, 86, 114, 210, 242, 318, 330, 382, 410 ], [ 39, 79, 87, 115, 211, 243, 319, 331, 383, 410 ], [ 40, 80, 88, 116, 212, 244, 320, 332, 384, 411 ], [ 41, 81, 89, 117, 213, 245, 321, 333, 385, 411 ], [ 42, 82, 90, 118, 214, 246, 322, 334, 386, 411 ], [ 43, 83, 91, 119, 215, 247, 323, 335, 387, 411 ], [ 44, 84, 92, 120, 216, 248, 324, 336, 388, 412 ], [ 45, 85, 93, 121, 217, 249, 325, 337, 389, 412 ], [ 46, 86, 94, 122, 218, 250, 326, 338, 390, 412 ], [ 47, 87, 95, 123, 219, 251, 327, 339, 391, 412 ], [ 48, 88, 96, 124, 220, 252, 328, 340, 392, 413 ], [ 49, 89, 97, 125, 221, 253, 329, 341, 393, 413 ], [ 50, 90, 98, 126, 222, 254, 330, 342, 394, 413 ], [ 51, 91, 99, 127, 223, 255, 331, 343, 395, 413 ], [ 52, 92, 100, 128, 224, 256, 332, 344, 396, 414 ], [ 53, 93, 101, 129, 225, 257, 333, 345, 397, 414 ], [ 54, 94, 102, 130, 226, 258, 334, 346, 398, 414 ], [ 55, 95, 103, 131, 227, 259, 335, 347, 399, 414 ], [ 56, 96, 104, 132, 228, 260, 336, 348, 400, 415 ], [ 57, 97, 105, 133, 229, 261, 337, 349, 401, 415 ], [ 58, 98, 106, 134, 230, 262, 338, 350, 402, 415 ], [ 59, 99, 107, 135, 231, 263, 339, 351, 403, 415 ], [ 60, 100, 108, 136, 232, 264, 340, 352, 404, 416 ], [ 61, 101, 109, 137, 233, 265, 341, 353, 405, 416 ], [ 62, 102, 110, 138, 234, 266, 342, 354, 406, 416 ], [ 63, 103, 111, 139, 235, 267, 343, 355, 407, 416 ], [ 64, 104, 112, 140, 204, 236, 268, 344, 356, 417 ], [ 65, 105, 113, 141, 205, 237, 269, 345, 357, 417 ], [ 66, 106, 114, 142, 206, 238, 270, 346, 358, 417 ], [ 67, 107, 115, 143, 207, 239, 271, 347, 359, 417 ], [ 68, 108, 116, 144, 208, 240, 272, 348, 360, 418 ], [ 69, 109, 117, 145, 209, 241, 273, 349, 361, 418 ], [ 70, 110, 118, 146, 210, 242, 274, 350, 362, 418 ], [ 71, 111, 119, 147, 211, 243, 275, 351, 363, 418 ], [ 28, 68, 76, 104, 232, 308, 320, 372, 404, 419 ], [ 29, 69, 77, 105, 233, 309, 321, 373, 405, 419 ], [ 30, 70, 78, 106, 234, 310, 322, 374, 406, 419 ], [ 31, 71, 79, 107, 235, 311, 323, 375, 407, 419 ], [ 72, 112, 120, 148, 212, 244, 276, 352, 364, 420 ], [ 73, 113, 121, 149, 213, 245, 277, 353, 365, 420 ], [ 74, 114, 122, 150, 214, 246, 278, 354, 366, 420 ], [ 75, 115, 123, 151, 215, 247, 279, 355, 367, 420 ], [ 80, 120, 128, 156, 220, 252, 284, 360, 372, 421 ], [ 81, 121, 129, 157, 221, 253, 285, 361, 373, 421 ], [ 82, 122, 130, 158, 222, 254, 286, 362, 374, 421 ], [ 83, 123, 131, 159, 223, 255, 287, 363, 375, 421 ], [ 84, 124, 132, 160, 224, 256, 288, 364, 376, 422 ], [ 85, 125, 133, 161, 225, 257, 289, 365, 377, 422 ], [ 86, 126, 134, 162, 226, 258, 290, 366, 378, 422 ], [ 87, 127, 135, 163, 227, 259, 291, 367, 379, 422 ], [ 88, 128, 136, 164, 228, 260, 292, 368, 380, 423 ], [ 89, 129, 137, 165, 229, 261, 293, 369, 381, 423 ], [ 90, 130, 138, 166, 230, 262, 294, 370, 382, 423 ], [ 91, 131, 139, 167, 231, 263, 295, 371, 383, 423 ], [ 92, 132, 140, 168, 232, 264, 296, 372, 384, 424 ], [ 93, 133, 141, 169, 233, 265, 297, 373, 385, 424 ], [ 94, 134, 142, 170, 234, 266, 298, 374, 386, 424 ], [ 95, 135, 143, 171, 235, 267, 299, 375, 387, 424 ], [ 96, 136, 144, 172, 236, 268, 300, 376, 388, 425 ], [ 97, 137, 145, 173, 237, 269, 301, 377, 389, 425 ], [ 98, 138, 146, 174, 238, 270, 302, 378, 390, 425 ], [ 99, 139, 147, 175, 239, 271, 303, 379, 391, 425 ], [ 100, 140, 148, 176, 240, 272, 304, 380, 392, 426 ], [ 101, 141, 149, 177, 241, 273, 305, 381, 393, 426 ], [ 102, 142, 150, 178, 242, 274, 306, 382, 394, 426 ], [ 103, 143, 151, 179, 243, 275, 307, 383, 395, 426 ], [ 104, 144, 152, 180, 244, 276, 308, 384, 396, 427 ], [ 105, 145, 153, 181, 245, 277, 309, 385, 397, 427 ], [ 106, 146, 154, 182, 246, 278, 310, 386, 398, 427 ], [ 107, 147, 155, 183, 247, 279, 311, 387, 399, 427 ], [ 108, 148, 156, 184, 248, 280, 312, 388, 400, 428 ], [ 109, 149, 157, 185, 249, 281, 313, 389, 401, 428 ], [ 110, 150, 158, 186, 250, 282, 314, 390, 402, 428 ], [ 111, 151, 159, 187, 251, 283, 315, 391, 403, 428 ], [ 112, 152, 160, 188, 252, 284, 316, 392, 404, 429 ], [ 113, 153, 161, 189, 253, 285, 317, 393, 405, 429 ], [ 114, 154, 162, 190, 254, 286, 318, 394, 406, 429 ], [ 115, 155, 163, 191, 255, 287, 319, 395, 407, 429 ], [ 116, 156, 164, 192, 204, 256, 288, 320, 396, 430 ], [ 117, 157, 165, 193, 205, 257, 289, 321, 397, 430 ], [ 118, 158, 166, 194, 206, 258, 290, 322, 398, 430 ], [ 119, 159, 167, 195, 207, 259, 291, 323, 399, 430 ], [ 76, 116, 124, 152, 216, 248, 280, 356, 368, 431 ], [ 77, 117, 125, 153, 217, 249, 281, 357, 369, 431 ], [ 78, 118, 126, 154, 218, 250, 282, 358, 370, 431 ], [ 79, 119, 127, 155, 219, 251, 283, 359, 371, 431 ], [ 120, 160, 168, 196, 208, 260, 292, 324, 400, 432 ], [ 121, 161, 169, 197, 209, 261, 293, 325, 401, 432 ], [ 122, 162, 170, 198, 210, 262, 294, 326, 402, 432 ], [ 123, 163, 171, 199, 211, 263, 295, 327, 403, 432 ], [ 24, 64, 72, 100, 228, 304, 316, 368, 400, 433 ], [ 25, 65, 73, 101, 229, 305, 317, 369, 401, 433 ], [ 26, 66, 74, 102, 230, 306, 318, 370, 402, 433 ], [ 27, 67, 75, 103, 231, 307, 319, 371, 403, 433 ], [ 16, 56, 64, 92, 220, 296, 308, 360, 392, 434 ], [ 17, 57, 65, 93, 221, 297, 309, 361, 393, 434 ], [ 18, 58, 66, 94, 222, 298, 310, 362, 394, 434 ], [ 19, 59, 67, 95, 223, 299, 311, 363, 395, 434 ], [ 4, 132, 172, 180, 208, 220, 272, 304, 336, 435 ], [ 5, 133, 173, 181, 209, 221, 273, 305, 337, 435 ], [ 6, 134, 174, 182, 210, 222, 274, 306, 338, 435 ], [ 7, 135, 175, 183, 211, 223, 275, 307, 339, 435 ], [ 8, 136, 176, 184, 212, 224, 276, 308, 340, 436 ], [ 9, 137, 177, 185, 213, 225, 277, 309, 341, 436 ], [ 10, 138, 178, 186, 214, 226, 278, 310, 342, 436 ], [ 11, 139, 179, 187, 215, 227, 279, 311, 343, 436 ], [ 12, 140, 180, 188, 216, 228, 280, 312, 344, 437 ], [ 13, 141, 181, 189, 217, 229, 281, 313, 345, 437 ], [ 14, 142, 182, 190, 218, 230, 282, 314, 346, 437 ], [ 15, 143, 183, 191, 219, 231, 283, 315, 347, 437 ], [ 16, 144, 184, 192, 220, 232, 284, 316, 348, 438 ], [ 17, 145, 185, 193, 221, 233, 285, 317, 349, 438 ], [ 18, 146, 186, 194, 222, 234, 286, 318, 350, 438 ], [ 19, 147, 187, 195, 223, 235, 287, 319, 351, 438 ], [ 20, 148, 188, 196, 224, 236, 288, 320, 352, 439 ], [ 21, 149, 189, 197, 225, 237, 289, 321, 353, 439 ], [ 22, 150, 190, 198, 226, 238, 290, 322, 354, 439 ], [ 23, 151, 191, 199, 227, 239, 291, 323, 355, 439 ], [ 24, 152, 192, 200, 228, 240, 292, 324, 356, 440 ], [ 25, 153, 193, 201, 229, 241, 293, 325, 357, 440 ], [ 26, 154, 194, 202, 230, 242, 294, 326, 358, 440 ], [ 27, 155, 195, 203, 231, 243, 295, 327, 359, 440 ], [ 0, 28, 156, 196, 232, 244, 296, 328, 360, 441 ], [ 1, 29, 157, 197, 233, 245, 297, 329, 361, 441 ], [ 2, 30, 158, 198, 234, 246, 298, 330, 362, 441 ], [ 3, 31, 159, 199, 235, 247, 299, 331, 363, 441 ], [ 4, 32, 160, 200, 236, 248, 300, 332, 364, 442 ], [ 5, 33, 161, 201, 237, 249, 301, 333, 365, 442 ], [ 6, 34, 162, 202, 238, 250, 302, 334, 366, 442 ], [ 7, 35, 163, 203, 239, 251, 303, 335, 367, 442 ], [ 0, 8, 36, 164, 240, 252, 304, 336, 368, 443 ], [ 1, 9, 37, 165, 241, 253, 305, 337, 369, 443 ], [ 2, 10, 38, 166, 242, 254, 306, 338, 370, 443 ], [ 3, 11, 39, 167, 243, 255, 307, 339, 371, 443 ], [ 4, 12, 40, 168, 244, 256, 308, 340, 372, 444 ], [ 5, 13, 41, 169, 245, 257, 309, 341, 373, 444 ], [ 6, 14, 42, 170, 246, 258, 310, 342, 374, 444 ], [ 7, 15, 43, 171, 247, 259, 311, 343, 375, 444 ], [ 20, 60, 68, 96, 224, 300, 312, 364, 396, 445 ], [ 21, 61, 69, 97, 225, 301, 313, 365, 397, 445 ], [ 22, 62, 70, 98, 226, 302, 314, 366, 398, 445 ], [ 23, 63, 71, 99, 227, 303, 315, 367, 399, 445 ], [ 8, 16, 44, 172, 248, 260, 312, 344, 376, 446 ], [ 9, 17, 45, 173, 249, 261, 313, 345, 377, 446 ], [ 10, 18, 46, 174, 250, 262, 314, 346, 378, 446 ], [ 11, 19, 47, 175, 251, 263, 315, 347, 379, 446 ], [ 16, 24, 52, 180, 256, 268, 320, 352, 384, 447 ], [ 17, 25, 53, 181, 257, 269, 321, 353, 385, 447 ], [ 18, 26, 54, 182, 258, 270, 322, 354, 386, 447 ], [ 19, 27, 55, 183, 259, 271, 323, 355, 387, 447 ], [ 20, 28, 56, 184, 260, 272, 324, 356, 388, 448 ], [ 21, 29, 57, 185, 261, 273, 325, 357, 389, 448 ], [ 22, 30, 58, 186, 262, 274, 326, 358, 390, 448 ], [ 23, 31, 59, 187, 263, 275, 327, 359, 391, 448 ], [ 0, 1, 2, 3, 449, 455, 478, 486 ], [ 4, 5, 6, 7, 456, 474, 476, 479 ], [ 8, 9, 10, 11, 457, 460, 477, 480, 489 ], [ 12, 13, 14, 15, 450, 458, 478, 481 ], [ 16, 17, 18, 19, 451, 459, 479, 482 ], [ 20, 21, 22, 23, 452, 461, 480, 483 ], [ 24, 25, 26, 27, 453, 472, 481, 484 ], [ 28, 29, 30, 31, 454, 462, 475, 482, 485 ], [ 32, 33, 34, 35, 455, 463, 483, 486, 487 ], [ 36, 37, 38, 39, 456, 464, 474, 484 ], [ 40, 41, 42, 43, 457, 460, 465, 485 ], [ 44, 45, 46, 47, 450, 458, 466, 487 ], [ 48, 49, 50, 51, 451, 459, 467, 488 ], [ 52, 53, 54, 55, 452, 461, 468 ], [ 56, 57, 58, 59, 453, 469, 472 ], [ 60, 61, 62, 63, 454, 462, 470, 488, 489 ], [ 64, 65, 66, 67, 455, 463, 471 ], [ 68, 69, 70, 71, 456, 464, 473 ], [ 72, 73, 74, 75, 457, 465, 489 ], [ 76, 77, 78, 79, 449, 458, 466 ], [ 80, 81, 82, 83, 459, 467, 475, 476 ], [ 84, 85, 86, 87, 461, 468, 477, 486 ], [ 88, 89, 90, 91, 469, 472, 474, 478 ], [ 92, 93, 94, 95, 460, 462, 470, 475, 479 ], [ 96, 97, 98, 99, 450, 463, 471, 480, 486 ], [ 100, 101, 102, 103, 451, 464, 473, 474, 481 ], [ 104, 105, 106, 107, 452, 460, 465, 482 ], [ 108, 109, 110, 111, 449, 450, 453, 466, 483 ], [ 112, 113, 114, 115, 451, 454, 467, 476, 484 ], [ 116, 117, 118, 119, 452, 455, 468, 477, 485 ], [ 120, 121, 122, 123, 453, 456, 469, 478, 487 ], [ 124, 125, 126, 127, 454, 457, 470, 479 ], [ 128, 129, 130, 131, 455, 458, 471, 480 ], [ 132, 133, 134, 135, 456, 459, 473, 481 ], [ 136, 137, 138, 139, 457, 461, 482, 488 ], [ 140, 141, 142, 143, 449, 458, 472, 483 ], [ 144, 145, 146, 147, 459, 462, 476, 484 ], [ 148, 149, 150, 151, 461, 463, 477, 485, 489 ], [ 152, 153, 154, 155, 464, 472, 478, 487 ], [ 156, 157, 158, 159, 462, 465, 479 ], [ 160, 161, 162, 163, 463, 466, 480 ], [ 164, 165, 166, 167, 464, 467, 481 ], [ 168, 169, 170, 171, 465, 468, 475, 482, 488 ], [ 172, 173, 174, 175, 466, 469, 483, 486 ], [ 176, 177, 178, 179, 467, 470, 474, 484 ], [ 180, 181, 182, 183, 460, 468, 471, 485, 489 ], [ 184, 185, 186, 187, 450, 469, 473, 487 ], [ 188, 189, 190, 191, 451, 470 ], [ 192, 193, 194, 195, 449, 452, 471 ], [ 196, 197, 198, 199, 453, 473, 476 ], [ 200, 201, 202, 203, 454, 475, 477, 488 ], [ 204, 205, 206, 207, 449, 455, 465, 467 ], [ 208, 209, 210, 211, 456, 466, 468, 476 ], [ 212, 213, 214, 215, 457, 467, 469, 477 ], [ 216, 217, 218, 219, 458, 468, 470, 478 ], [ 220, 221, 222, 223, 459, 469, 471, 479 ], [ 224, 225, 226, 227, 461, 470, 473, 480 ], [ 228, 229, 230, 231, 471, 472, 481 ], [ 232, 233, 234, 235, 449, 462, 473, 482 ], [ 236, 237, 238, 239, 463, 476, 483 ], [ 240, 241, 242, 243, 449, 464, 477, 484 ], [ 244, 245, 246, 247, 465, 476, 478, 485 ], [ 248, 249, 250, 251, 466, 477, 479, 487 ], [ 252, 253, 254, 255, 467, 478, 480 ], [ 256, 257, 258, 259, 468, 479, 481 ], [ 260, 261, 262, 263, 469, 480, 482 ], [ 264, 265, 266, 267, 470, 481, 483, 488 ], [ 268, 269, 270, 271, 471, 482, 484 ], [ 272, 273, 274, 275, 473, 483, 485 ], [ 276, 277, 278, 279, 484, 487, 489 ], [ 280, 281, 282, 283, 449, 485 ], [ 284, 285, 286, 287, 476, 487 ], [ 288, 289, 290, 291, 477 ], [ 292, 293, 294, 295, 478, 488 ], [ 296, 297, 298, 299, 475, 479 ], [ 300, 301, 302, 303, 480, 486, 488 ], [ 304, 305, 306, 307, 474, 481, 489 ], [ 308, 309, 310, 311, 460, 482 ], [ 312, 313, 314, 315, 450, 483, 489 ], [ 316, 317, 318, 319, 451, 484 ], [ 320, 321, 322, 323, 452, 485 ], [ 324, 325, 326, 327, 453, 475, 487 ], [ 328, 329, 330, 331, 454, 486 ], [ 332, 333, 334, 335, 455, 474, 475 ], [ 336, 337, 338, 339, 456, 460, 486 ], [ 340, 341, 342, 343, 450, 457, 474, 488 ], [ 344, 345, 346, 347, 451, 458, 460 ], [ 348, 349, 350, 351, 450, 452, 459 ], [ 352, 353, 354, 355, 451, 453, 461, 489 ], [ 356, 357, 358, 359, 452, 454, 472 ], [ 360, 361, 362, 363, 453, 455, 462 ], [ 364, 365, 366, 367, 454, 456, 463 ], [ 368, 369, 370, 371, 455, 457, 464 ], [ 372, 373, 374, 375, 456, 458, 465, 475 ], [ 376, 377, 378, 379, 457, 459, 466, 486 ], [ 380, 381, 382, 383, 458, 461, 467, 474 ], [ 384, 385, 386, 387, 459, 460, 468, 472 ], [ 388, 389, 390, 391, 450, 461, 462, 469 ], [ 392, 393, 394, 395, 451, 463, 470, 472 ], [ 396, 397, 398, 399, 452, 462, 464, 471 ], [ 400, 401, 402, 403, 453, 463, 465, 473 ], [ 404, 405, 406, 407, 454, 464, 466 ] ] }, "distance": { "d": 20, "X": { "value": 20, "confidence": "upper_bound", "witness": [ 28, 29, 56, 57, 164, 165, 192, 193, 212, 213, 240, 241, 244, 245, 308, 309, 348, 349, 380, 381 ] }, "Z": { "value": 20, "confidence": "upper_bound", "witness": [ 32, 33, 44, 45, 84, 85, 108, 109, 204, 205, 216, 217, 224, 225, 252, 253, 288, 289, 400, 401 ] } }, "provenance": { "authors": [ "@MathysRennela" ], "construction": "Distance-amplified code: one [[4,2,2]] tensor-product amplification step (central three-term truncation of the chain-complex tensor product, arXiv:2609.37231 Eq. 1/Eq. 12-15) applied to the board's [[102,20,10]] entry, using a sparse independent-row presentation of its checks: n' = 4n + m_X + m_Z = 490, k' = 2k = 40, check weight w' = w+1 = 10. X/Z witnesses are the base witnesses tensored with the weight-2 [[4,2,2]] logical on the central register (weights 20/20); a 100000-trial fast-backend search (seed 5000) found nothing lighter (min weight 20). Base provenance: Generalized bicycle code over Z_51: a = 1 + x^19 + x^27 + x^35 + x^48, b = 1 + x^7 + x^9 + x^19 mod x^51 - 1; H_X = [A|B], H_Z = [B^T|A^T]", "references": [ "arXiv:2609.37231" ], "date": "2026-09-30", "notes": "Constructed and packaged with the Space Bunny Alpha 1.0 model.", "model": "Space Bunny Alpha 1.0" }, "family": "distance-amplified" }