← back to the board
[[560,286,12]] d ≤
n
560
k
286
d
12
kd²/n
73.543
w
16
X/Z
1

Share this result

Distance

X/Z asymmetry 1 · d_X ≤ 12, d_Z ≤ 12 · w_X = 16, w_Z = 16 (max(d_X,d_Z)/min(d_X,d_Z); each side carries its own earned tier: = certified exact, ≤ witness upper bound)
d_X 12 · witness weight 12 (claimed upper_bound)
witness operator (support, 12 qubits)
[54, 133, 167, 190, 288, 318, 333, 380, 413, 424, 490, 499]
d_Z 12 · witness weight 12 (claimed upper_bound)
witness operator (support, 12 qubits)
[34, 68, 140, 154, 202, 207, 352, 368, 386, 436, 469, 545]
certificate none yet · distance stands as a self-certified upper bound (d ≤)

Diagnostics

computed by the verifier from the parity checks, the layout, and the stored witnesses; shown as evidence, not used for ranking
girth H_X 4 · H_Z 4 (shortest cycle of each side’s Tanner graph; longer is friendlier to belief propagation)
check weights H_X 16 · H_Z 16
qubit degrees H_X 4 · H_Z 4
trapping sets H_X (1,4)×560 (2,4)×350 (3,4)×280 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_X
(1,4): 560 (2,4): 350 (2,6): 16100 (3,4): 280 (3,6): 33285 (3,8): 664055 (3,10): 69055
trapping sets H_Z (1,4)×560 (2,4)×350 (3,4)×280 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_Z
(1,4): 560 (2,4): 350 (2,6): 16100 (3,4): 280 (3,6): 33285 (3,8): 664055 (3,10): 69055

Construction & provenance

authors @MathysRennela and Okada, Koki and Kasai, Kenta and Maskara, Nishad
provenance literature baseline
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
model Mimo-V2.6-Flash (claimed, not verified)
reference arXiv:2607.14091
date 2026-09-29
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.
family pair-partition CPM (a tag, not a ranking)
locality unrestricted (computed from the layout)
weight class weight > 8 (computed)

How this code was found

the research note submitted with this code · raw markdown · all notes

[[560,286,12]] pair-partition CPM/GPM CSS code, (J,L,P) = (4,16,35)

Direction & hypothesis

Target cell: CSS, any weight x unrestricted — check weight 16 and no layout, so the entry ranks on the any-weight board. The authoritative catalogue that accompanies arXiv:2607.14091 (Okada and Kasai) publishes 44 pair-partition codes with exact distances, and this repository carried only part of them. The hypothesis was deliberately narrow: screen every catalogue row against this repository's admissibility cap and against the board's own Pareto test, and expect survivors to land as new Pareto points rather than displacers, because those rows were published for this family's parameters and were never searched against this board.

What was searched

No construction search. The catalogue rows were screened, not optimised:

  • the catalogue page names 61 distinct [[n,k,d]] triples, and 36 of them sit

    • at n <= 700, inside the blocklength cap;

  • 23 of those 36 were already in codes/ before this batch;
  • 13 were absent. Ten of them cleared verify/validate_candidate.py as

    • non-dominated in their own cell and make up this batch. The other three are [[110,8,12]], [[190,8,18]] and [[200,54,10]], accounted for under dead ends.

The check matrices are the authors' published instance, used byte for byte. Screening reproduced here: CSS commutation H_X H_Z^T = 0 over GF(2); rank(H_X) = rank(H_Z) = 137, hence k = 560 - 274 = 286; every row of both matrices has weight 16. Only after those agreed was a distance search run.

Published description of this instance: CPM-PP/APM-PP instance at (J,L,P)=(4,16,35), the (4,16) length-distance frontier point at exact d = 12.

Evidence trail

The submit gate for this instance: 6,000 Python RIS trials per side, then a 2,000,000-trial verify/gf2_fast accelerator pass, both at seed 0; the verifier then re-ran a refutation search against the written entry. Lightest logical found on each side was d = 12, matching the catalogue's claimed distance, with both witnesses written into codes/560-286-12.json.

python verify/qldpc_verify.py codes/560-286-12.json exits 0. The catalogue reports these distances as exact; this repository records only the witness-backed upper bound, because verify/certify.py is out of its envelope at k = 286. CI re-runs a deeper refutation search on the PR and the weekly sweep keeps re-testing, so a wrong d would surface as a refutation rather than a quiet pass.

Dead ends

  • The eight catalogue rows between n = 700 and n = 1000 and the seventeen

    • past n = 1000 were left out of this batch. Past 1000 they fail the blocklength cap outright; between 700 and 1000 they would additionally need w <= 8 and d <= 40, and their check weights were not screened here. That is a stated gap, not a claim of inadmissibility — it is the obvious next batch.

  • Exact certification was not attempted. verify/certify.py is measured to

    • hold only at d <= 13 and k <= 12, and this code runs at k = 286, so the claim here is an upper bound by design rather than a shortfall of the search.

  • No layout was supplied, so the code ranks as unrestricted. A toric-style

    • layout with a smaller neighbourhood would open a different cell, but the published instance is a circulant construction and no coordinates come with it; inventing some would be a separate submission with its own evidence.

  • Three catalogue rows are admissible, absent, and still not submitted here.

    • [[110,8,12]] and [[190,8,18]] are reported dominated by verify/validate_candidate.py (by [[104,8,12]] and [[170,8,20]] respectively), so they would ship as a dominated entry beside a stronger one. [[200,54,10]] appears only as a GPM-PP comparison point in the catalogue's prose and ships no instance file, so there is nothing to submit even if it cleared the frontier.

  • Check weight 16 puts this code in the any-weight cell and outside the weight-8 records entirely, so it only ever co-leads. It is also the widest lift in the batch: staging needed twice the Python RIS budget of every other row before it reproduced the published d, which is why the submit gate for this one runs 6000 trials per side rather than 3000.

Tools

Model: Mimo-V2.6-Flash, driving an opencode agent session opened by @MathysRennela, who opened this PR. Repo tooling: ./qldpc submit for the witness search and packaging, verify/qldpc_verify.py for the local gate, verify/check_prose.py and verify/prepush_prose_check.sh for the prose gate. The accelerator is verify/gf2_fast, built from verify/gf2_fast.cpp.

Reproduction

Rebuild (H_X, H_Z) from the authors' exponent file alone:

1. Download 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). It is a CPM_CSS_V1 text file: a header line, then a line name p ell jx jz, then (jx + jz) * ell integers — here p = 35, ell = 16, jx = jz = 4. 2. The file holds 8 base rows of ell = 16 integers: the first 4 expand to H_X, the last 4 to H_Z. Expand each base row b into p = 35 binary rows of length n = ell * p = 560, one for every offset a in [0, p), with a 1 in column ell * ((a - e) mod p) + t for every position t holding exponent e = b[t]. The result is a 140-by-560 matrix per side. 3. Confirm H_X H_Z^T = 0, rank 137 on each side, k = 286, and max row weight 16. 4. Only after those agree should a distance search be run; the witnesses in codes/560-286-12.json are the ones this entry stands on.

Parity checks

X-checks 140 (max weight 16) · Z-checks 140 (max weight 16)
H_X (140 checks, sparse supports)
[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]
H_Z (140 checks, sparse supports)
[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]
Code ID 560-286-12 · download JSON · raw on GitHub