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