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