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