{ "schema_version": "0.2", "name": "[[576,296,<=10]] check-deletion of the board's [[576,294,12]]", "code_type": "CSS", "n": 576, "k": 296, "checks": { "X": [ [ 43, 47, 121, 170, 228, 262, 301, 302, 392, 400, 403, 412, 417, 485, 514, 551 ], [ 35, 41, 44, 52, 183, 241, 317, 318, 320, 338, 378, 408, 443, 447, 470, 501 ], [ 10, 65, 102, 162, 240, 243, 252, 267, 271, 333, 334, 391, 424, 452, 517, 537 ], [ 23, 91, 95, 160, 218, 276, 310, 349, 350, 440, 451, 457, 460, 465, 533, 562 ], [ 80, 83, 92, 100, 231, 289, 365, 366, 377, 386, 426, 456, 491, 495, 518, 549 ], [ 0, 58, 113, 150, 210, 291, 297, 300, 315, 319, 381, 382, 439, 472, 500, 565 ], [ 5, 34, 71, 139, 143, 217, 266, 324, 358, 397, 398, 488, 496, 499, 508, 513 ], [ 21, 131, 137, 140, 148, 279, 337, 413, 414, 416, 434, 474, 504, 539, 543, 566 ], [ 37, 57, 106, 161, 198, 258, 336, 339, 348, 363, 367, 429, 430, 487, 520, 548 ], [ 53, 82, 119, 187, 191, 256, 314, 372, 406, 445, 446, 536, 547, 553, 556, 561 ], [ 11, 15, 38, 69, 176, 179, 188, 196, 327, 385, 461, 462, 473, 482, 522, 552 ], [ 20, 85, 96, 154, 209, 246, 306, 387, 393, 396, 411, 415, 477, 478, 535, 568 ], [ 8, 16, 19, 28, 33, 101, 130, 167, 235, 239, 313, 362, 420, 454, 493, 494 ], [ 24, 59, 63, 86, 117, 227, 233, 236, 244, 375, 433, 509, 510, 512, 530, 570 ], [ 7, 40, 68, 133, 153, 202, 257, 294, 354, 432, 435, 444, 459, 463, 525, 526 ], [ 56, 67, 73, 76, 81, 149, 178, 215, 283, 287, 352, 410, 468, 502, 541, 542 ], [ 2, 42, 72, 107, 111, 134, 165, 272, 275, 284, 292, 423, 481, 557, 558, 569 ], [ 55, 88, 116, 181, 192, 250, 305, 342, 402, 483, 489, 492, 507, 511, 573, 574 ], [ 13, 14, 104, 112, 115, 124, 129, 197, 226, 263, 331, 335, 409, 458, 516, 550 ], [ 29, 30, 32, 50, 90, 120, 155, 159, 182, 213, 323, 329, 332, 340, 471, 529 ], [ 45, 46, 103, 136, 164, 229, 249, 298, 353, 390, 450, 528, 531, 540, 555, 559 ], [ 22, 61, 62, 152, 163, 169, 172, 177, 245, 274, 311, 379, 383, 448, 506, 564 ], [ 1, 77, 78, 89, 98, 138, 168, 203, 207, 230, 261, 368, 371, 380, 388, 519 ], [ 3, 9, 12, 27, 31, 93, 94, 151, 184, 212, 277, 288, 346, 401, 438, 498 ], [ 36, 70, 109, 110, 200, 208, 211, 220, 225, 293, 322, 359, 427, 431, 505, 554 ], [ 49, 125, 126, 128, 146, 186, 216, 251, 255, 278, 309, 419, 425, 428, 436, 567 ], [ 48, 51, 60, 75, 79, 141, 142, 199, 232, 260, 325, 345, 394, 449, 486, 546 ], [ 26, 84, 118, 157, 158, 248, 259, 265, 268, 273, 341, 370, 407, 475, 479, 544 ], [ 39, 97, 173, 174, 185, 194, 234, 264, 299, 303, 326, 357, 464, 467, 476, 484 ], [ 18, 99, 105, 108, 123, 127, 189, 190, 247, 280, 308, 373, 384, 442, 497, 534 ], [ 25, 74, 132, 166, 205, 206, 296, 304, 307, 316, 321, 389, 418, 455, 523, 527 ], [ 87, 145, 221, 222, 224, 242, 282, 312, 347, 351, 374, 405, 515, 521, 524, 532 ], [ 6, 66, 144, 147, 156, 171, 175, 237, 238, 295, 328, 356, 421, 441, 490, 545 ], [ 64, 122, 180, 214, 253, 254, 344, 355, 361, 364, 369, 437, 466, 503, 571, 575 ], [ 4, 135, 193, 269, 270, 281, 290, 330, 360, 395, 399, 422, 453, 560, 563, 572 ], [ 17, 54, 114, 195, 201, 204, 219, 223, 285, 286, 343, 376, 404, 469, 480, 538 ], [ 40, 44, 122, 171, 229, 263, 302, 303, 393, 401, 404, 413, 418, 486, 515, 544 ], [ 36, 42, 45, 53, 176, 242, 318, 319, 321, 339, 379, 409, 440, 444, 471, 502 ], [ 11, 66, 103, 163, 241, 244, 253, 264, 268, 334, 335, 384, 425, 453, 518, 538 ], [ 16, 88, 92, 161, 219, 277, 311, 350, 351, 441, 452, 458, 461, 466, 534, 563 ], [ 81, 84, 93, 101, 224, 290, 366, 367, 378, 387, 427, 457, 488, 492, 519, 550 ], [ 1, 59, 114, 151, 211, 292, 298, 301, 312, 316, 382, 383, 432, 473, 501, 566 ], [ 6, 35, 64, 136, 140, 218, 267, 325, 359, 398, 399, 489, 497, 500, 509, 514 ], [ 22, 132, 138, 141, 149, 272, 338, 414, 415, 417, 435, 475, 505, 536, 540, 567 ], [ 38, 58, 107, 162, 199, 259, 337, 340, 349, 360, 364, 430, 431, 480, 521, 549 ], [ 54, 83, 112, 184, 188, 257, 315, 373, 407, 446, 447, 537, 548, 554, 557, 562 ], [ 8, 12, 39, 70, 177, 180, 189, 197, 320, 386, 462, 463, 474, 483, 523, 553 ], [ 21, 86, 97, 155, 210, 247, 307, 388, 394, 397, 408, 412, 478, 479, 528, 569 ], [ 9, 17, 20, 29, 34, 102, 131, 160, 232, 236, 314, 363, 421, 455, 494, 495 ], [ 25, 56, 60, 87, 118, 228, 234, 237, 245, 368, 434, 510, 511, 513, 531, 571 ], [ 0, 41, 69, 134, 154, 203, 258, 295, 355, 433, 436, 445, 456, 460, 526, 527 ], [ 57, 68, 74, 77, 82, 150, 179, 208, 280, 284, 353, 411, 469, 503, 542, 543 ], [ 3, 43, 73, 104, 108, 135, 166, 273, 276, 285, 293, 416, 482, 558, 559, 570 ], [ 48, 89, 117, 182, 193, 251, 306, 343, 403, 484, 490, 493, 504, 508, 574, 575 ], [ 14, 15, 105, 113, 116, 125, 130, 198, 227, 256, 328, 332, 410, 459, 517, 551 ], [ 30, 31, 33, 51, 91, 121, 152, 156, 183, 214, 324, 330, 333, 341, 464, 530 ], [ 46, 47, 96, 137, 165, 230, 250, 299, 354, 391, 451, 529, 532, 541, 552, 556 ], [ 23, 62, 63, 153, 164, 170, 173, 178, 246, 275, 304, 376, 380, 449, 507, 565 ], [ 2, 78, 79, 90, 99, 139, 169, 200, 204, 231, 262, 369, 372, 381, 389, 512 ], [ 4, 10, 13, 24, 28, 94, 95, 144, 185, 213, 278, 289, 347, 402, 439, 499 ], [ 37, 71, 110, 111, 201, 209, 212, 221, 226, 294, 323, 352, 424, 428, 506, 555 ], [ 50, 126, 127, 129, 147, 187, 217, 248, 252, 279, 310, 420, 426, 429, 437, 560 ], [ 49, 52, 61, 72, 76, 142, 143, 192, 233, 261, 326, 346, 395, 450, 487, 547 ], [ 27, 85, 119, 158, 159, 249, 260, 266, 269, 274, 342, 371, 400, 472, 476, 545 ], [ 32, 98, 174, 175, 186, 195, 235, 265, 296, 300, 327, 358, 465, 468, 477, 485 ], [ 19, 100, 106, 109, 120, 124, 190, 191, 240, 281, 309, 374, 385, 443, 498, 535 ], [ 26, 75, 133, 167, 206, 207, 297, 305, 308, 317, 322, 390, 419, 448, 520, 524 ], [ 80, 146, 222, 223, 225, 243, 283, 313, 344, 348, 375, 406, 516, 522, 525, 533 ], [ 7, 67, 145, 148, 157, 168, 172, 238, 239, 288, 329, 357, 422, 442, 491, 546 ], [ 65, 123, 181, 215, 254, 255, 345, 356, 362, 365, 370, 438, 467, 496, 568, 572 ], [ 5, 128, 194, 270, 271, 282, 291, 331, 361, 392, 396, 423, 454, 561, 564, 573 ], [ 18, 55, 115, 196, 202, 205, 216, 220, 286, 287, 336, 377, 405, 470, 481, 539 ], [ 41, 45, 123, 172, 230, 256, 296, 303, 394, 402, 405, 414, 419, 487, 516, 545 ], [ 37, 43, 46, 54, 177, 243, 312, 319, 322, 340, 380, 410, 441, 445, 464, 503 ], [ 12, 67, 96, 164, 242, 245, 254, 265, 269, 328, 335, 385, 426, 454, 519, 539 ], [ 17, 89, 93, 162, 220, 278, 304, 344, 351, 442, 453, 459, 462, 467, 535, 564 ], [ 82, 85, 94, 102, 225, 291, 360, 367, 379, 388, 428, 458, 489, 493, 512, 551 ], [ 2, 60, 115, 144, 212, 293, 299, 302, 313, 317, 376, 383, 433, 474, 502, 567 ], [ 7, 36, 65, 137, 141, 219, 268, 326, 352, 392, 399, 490, 498, 501, 510, 515 ], [ 23, 133, 139, 142, 150, 273, 339, 408, 415, 418, 436, 476, 506, 537, 541, 560 ], [ 39, 59, 108, 163, 192, 260, 338, 341, 350, 361, 365, 424, 431, 481, 522, 550 ], [ 55, 84, 113, 185, 189, 258, 316, 374, 400, 440, 447, 538, 549, 555, 558, 563 ], [ 9, 13, 32, 71, 178, 181, 190, 198, 321, 387, 456, 463, 475, 484, 524, 554 ], [ 22, 87, 98, 156, 211, 240, 308, 389, 395, 398, 409, 413, 472, 479, 529, 570 ], [ 10, 18, 21, 30, 35, 103, 132, 161, 233, 237, 315, 364, 422, 448, 488, 495 ], [ 26, 57, 61, 80, 119, 229, 235, 238, 246, 369, 435, 504, 511, 514, 532, 572 ], [ 1, 42, 70, 135, 155, 204, 259, 288, 356, 434, 437, 446, 457, 461, 520, 527 ], [ 58, 69, 75, 78, 83, 151, 180, 209, 281, 285, 354, 412, 470, 496, 536, 543 ], [ 4, 44, 74, 105, 109, 128, 167, 274, 277, 286, 294, 417, 483, 552, 559, 571 ], [ 49, 90, 118, 183, 194, 252, 307, 336, 404, 485, 491, 494, 505, 509, 568, 575 ], [ 8, 15, 106, 114, 117, 126, 131, 199, 228, 257, 329, 333, 411, 460, 518, 544 ], [ 24, 31, 34, 52, 92, 122, 153, 157, 176, 215, 325, 331, 334, 342, 465, 531 ], [ 40, 47, 97, 138, 166, 231, 251, 300, 355, 384, 452, 530, 533, 542, 553, 557 ], [ 16, 56, 63, 154, 165, 171, 174, 179, 247, 276, 305, 377, 381, 450, 508, 566 ], [ 3, 72, 79, 91, 100, 140, 170, 201, 205, 224, 263, 370, 373, 382, 390, 513 ], [ 5, 11, 14, 25, 29, 88, 95, 145, 186, 214, 279, 290, 348, 403, 432, 500 ], [ 38, 64, 104, 111, 202, 210, 213, 222, 227, 295, 324, 353, 425, 429, 507, 556 ], [ 51, 120, 127, 130, 148, 188, 218, 249, 253, 272, 311, 421, 427, 430, 438, 561 ], [ 50, 53, 62, 73, 77, 136, 143, 193, 234, 262, 327, 347, 396, 451, 480, 548 ], [ 28, 86, 112, 152, 159, 250, 261, 267, 270, 275, 343, 372, 401, 473, 477, 546 ], [ 33, 99, 168, 175, 187, 196, 236, 266, 297, 301, 320, 359, 466, 469, 478, 486 ], [ 20, 101, 107, 110, 121, 125, 184, 191, 241, 282, 310, 375, 386, 444, 499, 528 ], [ 27, 76, 134, 160, 200, 207, 298, 306, 309, 318, 323, 391, 420, 449, 521, 525 ], [ 81, 147, 216, 223, 226, 244, 284, 314, 345, 349, 368, 407, 517, 523, 526, 534 ], [ 0, 68, 146, 149, 158, 169, 173, 232, 239, 289, 330, 358, 423, 443, 492, 547 ], [ 66, 124, 182, 208, 248, 255, 346, 357, 363, 366, 371, 439, 468, 497, 569, 573 ], [ 6, 129, 195, 264, 271, 283, 292, 332, 362, 393, 397, 416, 455, 562, 565, 574 ], [ 19, 48, 116, 197, 203, 206, 217, 221, 280, 287, 337, 378, 406, 471, 482, 540 ], [ 42, 46, 124, 173, 231, 257, 296, 297, 395, 403, 406, 415, 420, 480, 517, 546 ], [ 38, 44, 47, 55, 178, 244, 312, 313, 323, 341, 381, 411, 442, 446, 465, 496 ], [ 13, 68, 97, 165, 243, 246, 255, 266, 270, 328, 329, 386, 427, 455, 512, 540 ], [ 83, 86, 95, 103, 226, 292, 360, 361, 380, 389, 429, 459, 490, 494, 513, 544 ], [ 3, 61, 116, 145, 213, 294, 300, 303, 314, 318, 376, 377, 434, 475, 503, 560 ], [ 0, 37, 66, 138, 142, 220, 269, 327, 353, 392, 393, 491, 499, 502, 511, 516 ], [ 16, 134, 140, 143, 151, 274, 340, 408, 409, 419, 437, 477, 507, 538, 542, 561 ], [ 32, 60, 109, 164, 193, 261, 339, 342, 351, 362, 366, 424, 425, 482, 523, 551 ], [ 48, 85, 114, 186, 190, 259, 317, 375, 401, 440, 441, 539, 550, 556, 559, 564 ], [ 10, 14, 33, 64, 179, 182, 191, 199, 322, 388, 456, 457, 476, 485, 525, 555 ], [ 23, 80, 99, 157, 212, 241, 309, 390, 396, 399, 410, 414, 472, 473, 530, 571 ], [ 11, 19, 22, 31, 36, 96, 133, 162, 234, 238, 316, 365, 423, 449, 488, 489 ], [ 27, 58, 62, 81, 112, 230, 236, 239, 247, 370, 436, 504, 505, 515, 533, 573 ], [ 2, 43, 71, 128, 156, 205, 260, 289, 357, 435, 438, 447, 458, 462, 520, 521 ], [ 59, 70, 76, 79, 84, 144, 181, 210, 282, 286, 355, 413, 471, 497, 536, 537 ], [ 5, 45, 75, 106, 110, 129, 160, 275, 278, 287, 295, 418, 484, 552, 553, 572 ], [ 50, 91, 119, 176, 195, 253, 308, 337, 405, 486, 492, 495, 506, 510, 568, 569 ], [ 8, 9, 107, 115, 118, 127, 132, 192, 229, 258, 330, 334, 412, 461, 519, 545 ], [ 24, 25, 35, 53, 93, 123, 154, 158, 177, 208, 326, 332, 335, 343, 466, 532 ], [ 40, 41, 98, 139, 167, 224, 252, 301, 356, 385, 453, 531, 534, 543, 554, 558 ], [ 17, 56, 57, 155, 166, 172, 175, 180, 240, 277, 306, 378, 382, 451, 509, 567 ], [ 4, 72, 73, 92, 101, 141, 171, 202, 206, 225, 256, 371, 374, 383, 391, 514 ], [ 6, 12, 15, 26, 30, 88, 89, 146, 187, 215, 272, 291, 349, 404, 433, 501 ], [ 39, 65, 104, 105, 203, 211, 214, 223, 228, 288, 325, 354, 426, 430, 508, 557 ], [ 52, 120, 121, 131, 149, 189, 219, 250, 254, 273, 304, 422, 428, 431, 439, 562 ], [ 51, 54, 63, 74, 78, 136, 137, 194, 235, 263, 320, 348, 397, 452, 481, 549 ], [ 29, 87, 113, 152, 153, 251, 262, 268, 271, 276, 336, 373, 402, 474, 478, 547 ], [ 34, 100, 168, 169, 188, 197, 237, 267, 298, 302, 321, 352, 467, 470, 479, 487 ], [ 21, 102, 108, 111, 122, 126, 184, 185, 242, 283, 311, 368, 387, 445, 500, 529 ], [ 28, 77, 135, 161, 200, 201, 299, 307, 310, 319, 324, 384, 421, 450, 522, 526 ], [ 1, 69, 147, 150, 159, 170, 174, 232, 233, 290, 331, 359, 416, 444, 493, 548 ], [ 67, 125, 183, 209, 248, 249, 347, 358, 364, 367, 372, 432, 469, 498, 570, 574 ], [ 7, 130, 196, 264, 265, 284, 293, 333, 363, 394, 398, 417, 448, 563, 566, 575 ], [ 20, 49, 117, 198, 204, 207, 218, 222, 280, 281, 338, 379, 407, 464, 483, 541 ] ], "Z": [ [ 38, 88, 107, 161, 165, 192, 233, 270, 290, 291, 367, 372, 375, 381, 522, 556 ], [ 57, 123, 188, 196, 200, 205, 208, 306, 307, 346, 369, 373, 438, 478, 487, 575 ], [ 1, 5, 20, 23, 29, 110, 139, 170, 207, 224, 262, 312, 322, 323, 396, 457 ], [ 28, 86, 135, 155, 209, 213, 240, 281, 318, 338, 339, 415, 420, 424, 429, 570 ], [ 47, 105, 171, 236, 244, 247, 253, 256, 354, 355, 394, 417, 421, 486, 526, 536 ], [ 49, 53, 68, 72, 77, 158, 187, 218, 255, 272, 310, 359, 370, 371, 444, 505 ], [ 42, 76, 134, 184, 203, 257, 261, 288, 329, 366, 386, 387, 463, 468, 471, 477 ], [ 7, 95, 153, 219, 284, 292, 296, 301, 304, 402, 403, 442, 465, 469, 534, 574 ], [ 97, 101, 116, 119, 125, 206, 235, 266, 303, 320, 358, 408, 418, 419, 492, 553 ], [ 90, 124, 182, 231, 251, 305, 309, 336, 377, 414, 434, 435, 511, 516, 520, 525 ], [ 6, 46, 56, 143, 201, 267, 332, 340, 343, 349, 352, 450, 451, 490, 513, 517 ], [ 25, 145, 149, 164, 168, 173, 254, 283, 314, 351, 368, 406, 455, 466, 467, 540 ], [ 138, 172, 230, 280, 299, 353, 357, 384, 425, 462, 482, 483, 559, 564, 567, 573 ], [ 54, 94, 103, 191, 249, 315, 380, 388, 392, 397, 400, 498, 499, 538, 561, 565 ], [ 12, 73, 193, 197, 212, 215, 221, 302, 331, 362, 399, 416, 454, 504, 514, 515 ], [ 31, 36, 40, 45, 186, 220, 278, 327, 347, 401, 405, 432, 473, 510, 530, 531 ], [ 10, 33, 37, 102, 142, 152, 239, 297, 363, 428, 436, 439, 445, 448, 546, 547 ], [ 60, 121, 241, 245, 260, 264, 269, 350, 379, 410, 447, 464, 502, 551, 562, 563 ], [ 2, 3, 79, 84, 87, 93, 234, 268, 326, 376, 395, 449, 453, 480, 521, 558 ], [ 18, 19, 58, 81, 85, 150, 190, 199, 287, 345, 411, 476, 484, 488, 493, 496 ], [ 24, 34, 35, 108, 169, 289, 293, 308, 311, 317, 398, 427, 458, 495, 512, 550 ], [ 30, 50, 51, 127, 132, 136, 141, 282, 316, 374, 423, 443, 497, 501, 528, 569 ], [ 66, 67, 106, 129, 133, 198, 238, 248, 335, 393, 459, 524, 532, 535, 541, 544 ], [ 22, 71, 82, 83, 156, 217, 337, 341, 356, 360, 365, 446, 475, 506, 543, 560 ], [ 0, 41, 78, 98, 99, 175, 180, 183, 189, 330, 364, 422, 472, 491, 545, 549 ], [ 4, 8, 13, 16, 114, 115, 154, 177, 181, 246, 286, 295, 383, 441, 507, 572 ], [ 15, 32, 70, 120, 130, 131, 204, 265, 385, 389, 404, 407, 413, 494, 523, 554 ], [ 17, 21, 48, 89, 126, 146, 147, 223, 228, 232, 237, 378, 412, 470, 519, 539 ], [ 44, 52, 55, 61, 64, 162, 163, 202, 225, 229, 294, 334, 344, 431, 489, 555 ], [ 26, 63, 80, 118, 167, 178, 179, 252, 313, 433, 437, 452, 456, 461, 542, 571 ], [ 11, 65, 69, 96, 137, 174, 194, 195, 271, 276, 279, 285, 426, 460, 518, 568 ], [ 27, 92, 100, 104, 109, 112, 210, 211, 250, 273, 277, 342, 382, 391, 479, 537 ], [ 14, 43, 74, 111, 128, 166, 216, 226, 227, 300, 361, 481, 485, 500, 503, 509 ], [ 39, 59, 113, 117, 144, 185, 222, 242, 243, 319, 324, 328, 333, 474, 508, 566 ], [ 9, 75, 140, 148, 151, 157, 160, 258, 259, 298, 321, 325, 390, 430, 440, 527 ], [ 62, 91, 122, 159, 176, 214, 263, 274, 275, 348, 409, 529, 533, 548, 552, 557 ], [ 39, 89, 108, 162, 166, 193, 234, 271, 291, 292, 360, 368, 373, 382, 523, 557 ], [ 58, 124, 189, 197, 201, 206, 209, 307, 308, 347, 370, 374, 439, 479, 480, 568 ], [ 2, 6, 16, 21, 30, 111, 140, 171, 200, 225, 263, 313, 323, 324, 397, 458 ], [ 29, 87, 128, 156, 210, 214, 241, 282, 319, 339, 340, 408, 421, 425, 430, 571 ], [ 40, 106, 172, 237, 240, 245, 254, 257, 355, 356, 395, 418, 422, 487, 527, 537 ], [ 50, 54, 69, 73, 78, 159, 188, 219, 248, 273, 311, 352, 371, 372, 445, 506 ], [ 43, 77, 135, 185, 204, 258, 262, 289, 330, 367, 387, 388, 456, 464, 469, 478 ], [ 0, 88, 154, 220, 285, 293, 297, 302, 305, 403, 404, 443, 466, 470, 535, 575 ], [ 98, 102, 112, 117, 126, 207, 236, 267, 296, 321, 359, 409, 419, 420, 493, 554 ], [ 91, 125, 183, 224, 252, 306, 310, 337, 378, 415, 435, 436, 504, 517, 521, 526 ], [ 7, 47, 57, 136, 202, 268, 333, 336, 341, 350, 353, 451, 452, 491, 514, 518 ], [ 26, 146, 150, 165, 169, 174, 255, 284, 315, 344, 369, 407, 448, 467, 468, 541 ], [ 139, 173, 231, 281, 300, 354, 358, 385, 426, 463, 483, 484, 552, 560, 565, 574 ], [ 55, 95, 96, 184, 250, 316, 381, 389, 393, 398, 401, 499, 500, 539, 562, 566 ], [ 13, 74, 194, 198, 208, 213, 222, 303, 332, 363, 392, 417, 455, 505, 515, 516 ], [ 24, 37, 41, 46, 187, 221, 279, 320, 348, 402, 406, 433, 474, 511, 531, 532 ], [ 11, 34, 38, 103, 143, 153, 232, 298, 364, 429, 432, 437, 446, 449, 547, 548 ], [ 61, 122, 242, 246, 261, 265, 270, 351, 380, 411, 440, 465, 503, 544, 563, 564 ], [ 3, 4, 72, 80, 85, 94, 235, 269, 327, 377, 396, 450, 454, 481, 522, 559 ], [ 19, 20, 59, 82, 86, 151, 191, 192, 280, 346, 412, 477, 485, 489, 494, 497 ], [ 25, 35, 36, 109, 170, 290, 294, 304, 309, 318, 399, 428, 459, 488, 513, 551 ], [ 31, 51, 52, 120, 133, 137, 142, 283, 317, 375, 416, 444, 498, 502, 529, 570 ], [ 67, 68, 107, 130, 134, 199, 239, 249, 328, 394, 460, 525, 528, 533, 542, 545 ], [ 23, 64, 83, 84, 157, 218, 338, 342, 357, 361, 366, 447, 476, 507, 536, 561 ], [ 1, 42, 79, 99, 100, 168, 176, 181, 190, 331, 365, 423, 473, 492, 546, 550 ], [ 5, 9, 14, 17, 115, 116, 155, 178, 182, 247, 287, 288, 376, 442, 508, 573 ], [ 8, 33, 71, 121, 131, 132, 205, 266, 386, 390, 400, 405, 414, 495, 524, 555 ], [ 18, 22, 49, 90, 127, 147, 148, 216, 229, 233, 238, 379, 413, 471, 512, 540 ], [ 45, 48, 53, 62, 65, 163, 164, 203, 226, 230, 295, 335, 345, 424, 490, 556 ], [ 27, 56, 81, 119, 160, 179, 180, 253, 314, 434, 438, 453, 457, 462, 543, 572 ], [ 12, 66, 70, 97, 138, 175, 195, 196, 264, 272, 277, 286, 427, 461, 519, 569 ], [ 28, 93, 101, 105, 110, 113, 211, 212, 251, 274, 278, 343, 383, 384, 472, 538 ], [ 15, 44, 75, 104, 129, 167, 217, 227, 228, 301, 362, 482, 486, 496, 501, 510 ], [ 32, 60, 114, 118, 145, 186, 223, 243, 244, 312, 325, 329, 334, 475, 509, 567 ], [ 10, 76, 141, 144, 149, 158, 161, 259, 260, 299, 322, 326, 391, 431, 441, 520 ], [ 63, 92, 123, 152, 177, 215, 256, 275, 276, 349, 410, 530, 534, 549, 553, 558 ], [ 32, 90, 109, 163, 167, 194, 235, 264, 292, 293, 361, 369, 374, 383, 524, 558 ], [ 59, 125, 190, 198, 202, 207, 210, 308, 309, 348, 371, 375, 432, 472, 481, 569 ], [ 3, 7, 17, 22, 31, 104, 141, 172, 201, 226, 256, 314, 324, 325, 398, 459 ], [ 41, 107, 173, 238, 241, 246, 255, 258, 356, 357, 396, 419, 423, 480, 520, 538 ], [ 51, 55, 70, 74, 79, 152, 189, 220, 249, 274, 304, 353, 372, 373, 446, 507 ], [ 44, 78, 128, 186, 205, 259, 263, 290, 331, 360, 388, 389, 457, 465, 470, 479 ], [ 1, 89, 155, 221, 286, 294, 298, 303, 306, 404, 405, 444, 467, 471, 528, 568 ], [ 99, 103, 113, 118, 127, 200, 237, 268, 297, 322, 352, 410, 420, 421, 494, 555 ], [ 92, 126, 176, 225, 253, 307, 311, 338, 379, 408, 436, 437, 505, 518, 522, 527 ], [ 27, 147, 151, 166, 170, 175, 248, 285, 316, 345, 370, 400, 449, 468, 469, 542 ], [ 140, 174, 224, 282, 301, 355, 359, 386, 427, 456, 484, 485, 553, 561, 566, 575 ], [ 48, 88, 97, 185, 251, 317, 382, 390, 394, 399, 402, 500, 501, 540, 563, 567 ], [ 14, 75, 195, 199, 209, 214, 223, 296, 333, 364, 393, 418, 448, 506, 516, 517 ], [ 25, 38, 42, 47, 188, 222, 272, 321, 349, 403, 407, 434, 475, 504, 532, 533 ], [ 12, 35, 39, 96, 136, 154, 233, 299, 365, 430, 433, 438, 447, 450, 548, 549 ], [ 62, 123, 243, 247, 262, 266, 271, 344, 381, 412, 441, 466, 496, 545, 564, 565 ], [ 4, 5, 73, 81, 86, 95, 236, 270, 320, 378, 397, 451, 455, 482, 523, 552 ], [ 20, 21, 60, 83, 87, 144, 184, 193, 281, 347, 413, 478, 486, 490, 495, 498 ], [ 26, 36, 37, 110, 171, 291, 295, 305, 310, 319, 392, 429, 460, 489, 514, 544 ], [ 24, 52, 53, 121, 134, 138, 143, 284, 318, 368, 417, 445, 499, 503, 530, 571 ], [ 68, 69, 108, 131, 135, 192, 232, 250, 329, 395, 461, 526, 529, 534, 543, 546 ], [ 16, 65, 84, 85, 158, 219, 339, 343, 358, 362, 367, 440, 477, 508, 537, 562 ], [ 2, 43, 72, 100, 101, 169, 177, 182, 191, 332, 366, 416, 474, 493, 547, 551 ], [ 6, 10, 15, 18, 116, 117, 156, 179, 183, 240, 280, 289, 377, 443, 509, 574 ], [ 9, 34, 64, 122, 132, 133, 206, 267, 387, 391, 401, 406, 415, 488, 525, 556 ], [ 19, 23, 50, 91, 120, 148, 149, 217, 230, 234, 239, 380, 414, 464, 513, 541 ], [ 46, 49, 54, 63, 66, 164, 165, 204, 227, 231, 288, 328, 346, 425, 491, 557 ], [ 28, 57, 82, 112, 161, 180, 181, 254, 315, 435, 439, 454, 458, 463, 536, 573 ], [ 13, 67, 71, 98, 139, 168, 196, 197, 265, 273, 278, 287, 428, 462, 512, 570 ], [ 29, 94, 102, 106, 111, 114, 212, 213, 252, 275, 279, 336, 376, 385, 473, 539 ], [ 8, 45, 76, 105, 130, 160, 218, 228, 229, 302, 363, 483, 487, 497, 502, 511 ], [ 33, 61, 115, 119, 146, 187, 216, 244, 245, 313, 326, 330, 335, 476, 510, 560 ], [ 11, 77, 142, 145, 150, 159, 162, 260, 261, 300, 323, 327, 384, 424, 442, 521 ], [ 56, 93, 124, 153, 178, 208, 257, 276, 277, 350, 411, 531, 535, 550, 554, 559 ], [ 33, 91, 110, 160, 164, 195, 236, 265, 293, 294, 362, 370, 375, 376, 525, 559 ], [ 60, 126, 191, 199, 200, 203, 211, 309, 310, 349, 368, 372, 433, 473, 482, 570 ], [ 0, 4, 18, 23, 24, 105, 142, 173, 202, 227, 257, 315, 325, 326, 399, 460 ], [ 31, 81, 130, 158, 208, 212, 243, 284, 313, 341, 342, 410, 423, 424, 427, 573 ], [ 42, 108, 174, 239, 242, 247, 248, 259, 357, 358, 397, 416, 420, 481, 521, 539 ], [ 48, 52, 71, 72, 75, 153, 190, 221, 250, 275, 305, 354, 373, 374, 447, 508 ], [ 45, 79, 129, 187, 206, 256, 260, 291, 332, 361, 389, 390, 458, 466, 471, 472 ], [ 2, 90, 156, 222, 287, 295, 296, 299, 307, 405, 406, 445, 464, 468, 529, 569 ], [ 96, 100, 114, 119, 120, 201, 238, 269, 298, 323, 353, 411, 421, 422, 495, 556 ], [ 93, 127, 177, 226, 254, 304, 308, 339, 380, 409, 437, 438, 506, 519, 520, 523 ], [ 1, 41, 59, 138, 204, 270, 335, 338, 343, 344, 355, 453, 454, 493, 512, 516 ], [ 28, 144, 148, 167, 168, 171, 249, 286, 317, 346, 371, 401, 450, 469, 470, 543 ], [ 141, 175, 225, 283, 302, 352, 356, 387, 428, 457, 485, 486, 554, 562, 567, 568 ], [ 49, 89, 98, 186, 252, 318, 383, 391, 392, 395, 403, 501, 502, 541, 560, 564 ], [ 15, 76, 192, 196, 210, 215, 216, 297, 334, 365, 394, 419, 449, 507, 517, 518 ], [ 26, 39, 40, 43, 189, 223, 273, 322, 350, 400, 404, 435, 476, 505, 533, 534 ], [ 13, 32, 36, 97, 137, 155, 234, 300, 366, 431, 434, 439, 440, 451, 549, 550 ], [ 63, 124, 240, 244, 263, 264, 267, 345, 382, 413, 442, 467, 497, 546, 565, 566 ], [ 5, 6, 74, 82, 87, 88, 237, 271, 321, 379, 398, 448, 452, 483, 524, 553 ], [ 21, 22, 61, 80, 84, 145, 185, 194, 282, 348, 414, 479, 487, 488, 491, 499 ], [ 27, 37, 38, 111, 172, 288, 292, 306, 311, 312, 393, 430, 461, 490, 515, 545 ], [ 25, 53, 54, 122, 135, 136, 139, 285, 319, 369, 418, 446, 496, 500, 531, 572 ], [ 69, 70, 109, 128, 132, 193, 233, 251, 330, 396, 462, 527, 530, 535, 536, 547 ], [ 17, 66, 85, 86, 159, 220, 336, 340, 359, 360, 363, 441, 478, 509, 538, 563 ], [ 3, 44, 73, 101, 102, 170, 178, 183, 184, 333, 367, 417, 475, 494, 544, 548 ], [ 7, 8, 11, 19, 117, 118, 157, 176, 180, 241, 281, 290, 378, 444, 510, 575 ], [ 10, 35, 65, 123, 133, 134, 207, 268, 384, 388, 402, 407, 408, 489, 526, 557 ], [ 16, 20, 51, 92, 121, 149, 150, 218, 231, 232, 235, 381, 415, 465, 514, 542 ], [ 47, 50, 55, 56, 67, 165, 166, 205, 224, 228, 289, 329, 347, 426, 492, 558 ], [ 29, 58, 83, 113, 162, 181, 182, 255, 316, 432, 436, 455, 456, 459, 537, 574 ], [ 14, 64, 68, 99, 140, 169, 197, 198, 266, 274, 279, 280, 429, 463, 513, 571 ], [ 30, 95, 103, 104, 107, 115, 213, 214, 253, 272, 276, 337, 377, 386, 474, 540 ], [ 9, 46, 77, 106, 131, 161, 219, 229, 230, 303, 364, 480, 484, 498, 503, 504 ], [ 34, 62, 112, 116, 147, 188, 217, 245, 246, 314, 327, 328, 331, 477, 511, 561 ], [ 12, 78, 143, 146, 151, 152, 163, 261, 262, 301, 320, 324, 385, 425, 443, 522 ], [ 57, 94, 125, 154, 179, 209, 258, 277, 278, 351, 412, 528, 532, 551, 552, 555 ] ] }, "distance": { "d": 10, "X": { "value": 10, "confidence": "upper_bound", "witness": [ 152, 215, 231, 297, 305, 353, 354, 421, 425, 514 ], "witness_provenance": { "found_by": [ "@mathysrennela" ], "date": "2026-09-10", "found_at_samples": 8000000, "tool": "verify/gate_changed.py RIS-fast (gf2_fast)", "seeds": [ 342512884 ] } }, "Z": { "value": 12, "confidence": "upper_bound", "witness": [ 34, 156, 157, 158, 326, 330, 357, 363, 398, 399, 487, 545 ] } }, "provenance": { "authors": [ "@mathysrennela" ], "construction": "Check deletion from this board's entry codes/576-294-12.json: removed the X-checks with row indices [111, 139] and the Z-checks with row indices [75, 82], keeping the qubit set unchanged. Exactly one removed row per side is independent of the kept rows, so each side's rank drops by one and k' = 296 exact by GF(2) rank arithmetic. By the check-deletion theorem (github.com/MathysRennela/dem-linter @ 1ef09d73, CLAIMS.md claim 12.1), d' = min(d_source, min over the deleted-check cosets of their lightest representative). Term 1: the source's own witnesses remain valid logicals of the child, and the Z witness here is the source's weight-12 term-1 witness. Term 2/3: a deleted check's own weight (16) only upper-bounds its new coset; the trusted PR gate found a weight-10 representative in that coset, which is the X witness here.", "references": [ "https://arxiv.org/abs/1904.02703", "https://arxiv.org/abs/2203.17216", "https://github.com/MathysRennela/dem-linter/blob/1ef09d73/papers/taxonomy/CLAIMS.md" ], "date": "2026-09-09", "notes": "Derived code, honest provenance: a wave-1 census point for the 576-294-12 family, one of the mutually non-dominated submission set chosen by the maintainer. Correction (2026-09-10): the initial d<=12 claim was refuted by the trusted PR gate, whose accelerated RIS pass returned a weight-10 X-type logical (support [152, 215, 231, 297, 305, 353, 354, 421, 425, 514]); the pinned GF(2) stack confirms it commutes with H_Z and lies outside rowspace(H_X). The census screen's 300,000 trials were too shallow to reach it. This file now claims d<=10 with that witness, recorded in distance.X.witness_provenance. The X bound is upper_bound: the gate's 8,000,000-trial accelerated pass (reproduce with seed 342512884) found nothing lighter than 10. The Z side keeps the source's weight-12 term-1 witness, so the global claim is d<=10. The source's circuit schedule does not transfer. Literature novelty unverified.", "novelty": "unknown", "model": "Omen Alpha 1.0" } }