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