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