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