[[672,228,3]] · QEC Challenge

← back to the board

[[672,228,3]] d ≤

672

228

kd²/n

3.054

X/Z

Share this result

Distance

X/Z asymmetry 1 · d_X ≤ 3, d_Z ≤ 3 · w_X = 8, w_Z = 8 (max(d_X,d_Z)/min(d_X,d_Z); each side carries its own earned tier: = certified exact, ≤ witness upper bound)

d_X 3 · witness weight 3 (claimed exact)

witness operator (support, 3 qubits)

[392, 504, 616]

d_Z 3 · witness weight 3 (claimed exact)

witness operator (support, 3 qubits)

[64, 176, 288]

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 8 · H_Z 8

qubit degrees H_X 4 · H_Z 4

trapping sets H_X (1,4)×672 (2,4)×2688 (3,0)×224 (smallest syndrome weight at each size, connected sets of up to 3 qubits)

full (size, syndrome weight): count census for H_X

(1,4): 672 (2,4): 2688 (2,6): 4032 (3,0): 224 (3,4): 10080 (3,6): 34944 (3,8): 33600

trapping sets H_Z (1,4)×672 (2,4)×2688 (3,0)×224 (smallest syndrome weight at each size, connected sets of up to 3 qubits)

full (size, syndrome weight): count census for H_Z

(1,4): 672 (2,4): 2688 (2,6): 4032 (3,0): 224 (3,4): 10080 (3,6): 34944 (3,8): 33600

Construction & provenance

authors @cbjuan

provenance submitted through the challenge

novelty novelty not audited

construction Periodic bivariate-bicycle code on the group algebra Z_21 x Z_16 (n = 2*l*m = 672). Convention: x = S_21 tensor I_16, y = I_21 tensor S_16 (cyclic shifts), qubit index = i*m + j; A = x¹y⁹ + x⁴y⁰ + x⁸y⁹ + x¹¹y⁰, B = x¹y¹² + x⁴y⁰ + x⁸y¹² + x¹¹y⁰; H_X = [A|B], H_Z = [B^T|A^T]. Found by an automated evolutionary/mutation search over (l, m, A, B) exponent sets targeting the unrestricted x weight-6 (or weight-8) board cells, screened by a randomized lightest-logical surrogate and promoted through increasing trial budgets.

date 2026-09-16

notes Internal autoresearch candidate id 40004 (canonical key 6483270b1443581219aa61b1), search lane 'factor-order-continuation', proposal kernel 'explicit-transfer'. Initial NumPy lightest-logical surrogate: trials=8000, seed=978692489. Confirmed with an accelerated bit-packed random-information-set search at rung '1m' (1000000 trials, seed=249566305, pair_depth=16), tightest witness on side X at weight 3. Distance also taken through an internal exact-certification pipeline (MILP, one solve per logical-basis row per side, the same method as this repository's own verify/certify.py). Result: side_status X=exact, Z=exact (solver wall time 40950.3s, CPU time 40544.9s, summed over all per-row MILP solves on both sides). Per CONTRIBUTING.md's confidence-tier policy, this 'exact' claim is self-declared and will display as an upper bound on the board until a maintainer independently re-runs verify/certify.py and confirms it.

family bivariate bicycle (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

[[672,228,3]] — periodic bivariate-bicycle on Z_21 x Z_16

Direction & hypothesis

Target: the unrestricted x weight ≤ 8 board cell, via a periodic bivariate-bicycle (BB) code on Z_21 x Z_16, found by an automated continuous evolutionary/mutation search over BB exponent sets (l, m, A, B) (lane factor-order-continuation, proposal kernel explicit-transfer). This submission independently rebuilds and re-verifies the resulting [[672,228,3]] candidate using only this repository's own trusted tools before submitting.

What was searched

The source campaign's search over Z_21 x Z_16 exponent pairs used lane factor-order-continuation with proposal kernel explicit-transfer (internal candidate id 40004); screening was by a randomized lightest-logical surrogate promoted through increasing trial budgets, the same style of screen described in research/AUTORESEARCH.md step 2-3 (CSS commutation, k, then a randomized distance upper bound) but run in the external campaign above. NumPy surrogate stage: trials=8000, seed=978692489. Bit-packed accelerated confirmation stage: rung 1m, 1000000 trials, seed=249566305, pair_depth=16, tightest witness on side X at weight 3. A later confirmation rung reused the earlier rung's persisted witness as its starting point rather than repeating the search from scratch.

Evidence trail

Rebuilt (H_X, H_Z) from the polynomials below using this repository's own research/kit/bb.py:build_bb, and confirmed the reconstruction reproduces the campaign's own check supports exactly (same X/Z check sets, as sets of qubit supports) before packaging.
research/kit/css.py:verify_css / compute_k -- CSS commutation holds, k = 228 exactly (GF(2) rank), n = 672, max check weight 8 on X and 8 on Z.
Verified locally with this repository's own trustless gate, verify/qldpc_verify.py (verify(doc, refute=True)): schema-valid, connected Tanner graph and stabilizer group, CSS commutation, both witnesses valid (in the kernel of the opposite side's checks, outside the rowspace of their own), and the refutation search found nothing lighter.
Distance was also taken through an internal exact-certification pipeline (one MILP per logical-basis row per side, the same method as this repository's own verify/certify.py), run as part of an internal autoresearch campaign on branch certification/periodic-bb-exact-64core of this same repository. That branch is not merged to main at the time of this submission, so nothing here relies on it being externally checkable. Both sides closed exact (no logical lighter than the claimed weight exists on either side); this is reported only as the basis for the exact confidence self-declared below -- per CONTRIBUTING.md's confidence-tier policy this claim will display as an upper bound on the board until a maintainer independently re-runs verify/certify.py and confirms it.
Final claim: exact, d = 3.

Dead ends

Not applicable -- this submission mines a single already-vetted candidate from an external campaign's sweep rather than running a new search in this repository; the campaign's own dead ends (screened-and-collapsed candidates) are not part of this submission's own evidence trail.

Tools

This candidate's discovery and screening ran as an internal autoresearch campaign on branch certification/periodic-bb-exact-64core of this same repository: an automated (non-LLM) exponent-set mutation search with MILP-based exact certification. That branch is not merged to main at the time of this submission, so nothing here relies on it being externally checkable. No provenance.model is set because no generative model produced this code. This submission's independent reconstruction, re-verification, and packaging in this repository was done separately by Claude Sonnet 5, via Claude Code, operating on this repository's research/kit and verify/ modules only (no edits to verify/). Compute: seconds to a few minutes for the reconstruction and verifier pass.

Reproduction

A = x^1y^9 + x^4y^0 + x^8y^9 + x^11y^0, B = x^1y^12 + x^4y^0 + x^8y^12 + x^11y^0 on Z_21 x Z_16 (n = 2·l·m = 672):

from bb import build_bb
HX, HZ = build_bb(l=21, m=16, A_terms=[(1,9), (4,0), (8,9), (11,0)], B_terms=[(1,12), (4,0), (8,12), (11,0)])

Parity checks

X-checks 336 (max weight 8) · Z-checks 336 (max weight 8)

H_X (336 checks, sparse supports)

[25, 64, 137, 176, 364, 400, 476, 512] [26, 65, 138, 177, 365, 401, 477, 513] [27, 66, 139, 178, 366, 402, 478, 514] [28, 67, 140, 179, 367, 403, 479, 515] [29, 68, 141, 180, 352, 404, 464, 516] [30, 69, 142, 181, 353, 405, 465, 517] [31, 70, 143, 182, 354, 406, 466, 518] [16, 71, 128, 183, 355, 407, 467, 519] [17, 72, 129, 184, 356, 408, 468, 520] [18, 73, 130, 185, 357, 409, 469, 521] [19, 74, 131, 186, 358, 410, 470, 522] [20, 75, 132, 187, 359, 411, 471, 523] [21, 76, 133, 188, 360, 412, 472, 524] [22, 77, 134, 189, 361, 413, 473, 525] [23, 78, 135, 190, 362, 414, 474, 526] [24, 79, 136, 191, 363, 415, 475, 527] [41, 80, 153, 192, 380, 416, 492, 528] [42, 81, 154, 193, 381, 417, 493, 529] [43, 82, 155, 194, 382, 418, 494, 530] [44, 83, 156, 195, 383, 419, 495, 531] [45, 84, 157, 196, 368, 420, 480, 532] [46, 85, 158, 197, 369, 421, 481, 533] [47, 86, 159, 198, 370, 422, 482, 534] [32, 87, 144, 199, 371, 423, 483, 535] [33, 88, 145, 200, 372, 424, 484, 536] [34, 89, 146, 201, 373, 425, 485, 537] [35, 90, 147, 202, 374, 426, 486, 538] [36, 91, 148, 203, 375, 427, 487, 539] [37, 92, 149, 204, 376, 428, 488, 540] [38, 93, 150, 205, 377, 429, 489, 541] [39, 94, 151, 206, 378, 430, 490, 542] [40, 95, 152, 207, 379, 431, 491, 543] [57, 96, 169, 208, 396, 432, 508, 544] [58, 97, 170, 209, 397, 433, 509, 545] [59, 98, 171, 210, 398, 434, 510, 546] [60, 99, 172, 211, 399, 435, 511, 547] [61, 100, 173, 212, 384, 436, 496, 548] [62, 101, 174, 213, 385, 437, 497, 549] [63, 102, 175, 214, 386, 438, 498, 550] [48, 103, 160, 215, 387, 439, 499, 551] [49, 104, 161, 216, 388, 440, 500, 552] [50, 105, 162, 217, 389, 441, 501, 553] [51, 106, 163, 218, 390, 442, 502, 554] [52, 107, 164, 219, 391, 443, 503, 555] [53, 108, 165, 220, 392, 444, 504, 556] [54, 109, 166, 221, 393, 445, 505, 557] [55, 110, 167, 222, 394, 446, 506, 558] [56, 111, 168, 223, 395, 447, 507, 559] [73, 112, 185, 224, 412, 448, 524, 560] [74, 113, 186, 225, 413, 449, 525, 561] [75, 114, 187, 226, 414, 450, 526, 562] [76, 115, 188, 227, 415, 451, 527, 563] [77, 116, 189, 228, 400, 452, 512, 564] [78, 117, 190, 229, 401, 453, 513, 565] [79, 118, 191, 230, 402, 454, 514, 566] [64, 119, 176, 231, 403, 455, 515, 567] [65, 120, 177, 232, 404, 456, 516, 568] [66, 121, 178, 233, 405, 457, 517, 569] [67, 122, 179, 234, 406, 458, 518, 570] [68, 123, 180, 235, 407, 459, 519, 571] [69, 124, 181, 236, 408, 460, 520, 572] [70, 125, 182, 237, 409, 461, 521, 573] [71, 126, 183, 238, 410, 462, 522, 574] [72, 127, 184, 239, 411, 463, 523, 575] [89, 128, 201, 240, 428, 464, 540, 576] [90, 129, 202, 241, 429, 465, 541, 577] [91, 130, 203, 242, 430, 466, 542, 578] [92, 131, 204, 243, 431, 467, 543, 579] [93, 132, 205, 244, 416, 468, 528, 580] [94, 133, 206, 245, 417, 469, 529, 581] [95, 134, 207, 246, 418, 470, 530, 582] [80, 135, 192, 247, 419, 471, 531, 583] [81, 136, 193, 248, 420, 472, 532, 584] [82, 137, 194, 249, 421, 473, 533, 585] [83, 138, 195, 250, 422, 474, 534, 586] [84, 139, 196, 251, 423, 475, 535, 587] [85, 140, 197, 252, 424, 476, 536, 588] [86, 141, 198, 253, 425, 477, 537, 589] [87, 142, 199, 254, 426, 478, 538, 590] [88, 143, 200, 255, 427, 479, 539, 591] [105, 144, 217, 256, 444, 480, 556, 592] [106, 145, 218, 257, 445, 481, 557, 593] [107, 146, 219, 258, 446, 482, 558, 594] [108, 147, 220, 259, 447, 483, 559, 595] [109, 148, 221, 260, 432, 484, 544, 596] [110, 149, 222, 261, 433, 485, 545, 597] [111, 150, 223, 262, 434, 486, 546, 598] [96, 151, 208, 263, 435, 487, 547, 599] [97, 152, 209, 264, 436, 488, 548, 600] [98, 153, 210, 265, 437, 489, 549, 601] [99, 154, 211, 266, 438, 490, 550, 602] [100, 155, 212, 267, 439, 491, 551, 603] [101, 156, 213, 268, 440, 492, 552, 604] [102, 157, 214, 269, 441, 493, 553, 605] [103, 158, 215, 270, 442, 494, 554, 606] [104, 159, 216, 271, 443, 495, 555, 607] [121, 160, 233, 272, 460, 496, 572, 608] [122, 161, 234, 273, 461, 497, 573, 609] [123, 162, 235, 274, 462, 498, 574, 610] [124, 163, 236, 275, 463, 499, 575, 611] [125, 164, 237, 276, 448, 500, 560, 612] [126, 165, 238, 277, 449, 501, 561, 613] [127, 166, 239, 278, 450, 502, 562, 614] [112, 167, 224, 279, 451, 503, 563, 615] [113, 168, 225, 280, 452, 504, 564, 616] [114, 169, 226, 281, 453, 505, 565, 617] [115, 170, 227, 282, 454, 506, 566, 618] [116, 171, 228, 283, 455, 507, 567, 619] [117, 172, 229, 284, 456, 508, 568, 620] [118, 173, 230, 285, 457, 509, 569, 621] [119, 174, 231, 286, 458, 510, 570, 622] [120, 175, 232, 287, 459, 511, 571, 623] [137, 176, 249, 288, 476, 512, 588, 624] [138, 177, 250, 289, 477, 513, 589, 625] [139, 178, 251, 290, 478, 514, 590, 626] [140, 179, 252, 291, 479, 515, 591, 627] [141, 180, 253, 292, 464, 516, 576, 628] [142, 181, 254, 293, 465, 517, 577, 629] [143, 182, 255, 294, 466, 518, 578, 630] [128, 183, 240, 295, 467, 519, 579, 631] [129, 184, 241, 296, 468, 520, 580, 632] [130, 185, 242, 297, 469, 521, 581, 633] [131, 186, 243, 298, 470, 522, 582, 634] [132, 187, 244, 299, 471, 523, 583, 635] [133, 188, 245, 300, 472, 524, 584, 636] [134, 189, 246, 301, 473, 525, 585, 637] [135, 190, 247, 302, 474, 526, 586, 638] [136, 191, 248, 303, 475, 527, 587, 639] [153, 192, 265, 304, 492, 528, 604, 640] [154, 193, 266, 305, 493, 529, 605, 641] [155, 194, 267, 306, 494, 530, 606, 642] [156, 195, 268, 307, 495, 531, 607, 643] [157, 196, 269, 308, 480, 532, 592, 644] [158, 197, 270, 309, 481, 533, 593, 645] [159, 198, 271, 310, 482, 534, 594, 646] [144, 199, 256, 311, 483, 535, 595, 647] [145, 200, 257, 312, 484, 536, 596, 648] [146, 201, 258, 313, 485, 537, 597, 649] [147, 202, 259, 314, 486, 538, 598, 650] [148, 203, 260, 315, 487, 539, 599, 651] [149, 204, 261, 316, 488, 540, 600, 652] [150, 205, 262, 317, 489, 541, 601, 653] [151, 206, 263, 318, 490, 542, 602, 654] [152, 207, 264, 319, 491, 543, 603, 655] [169, 208, 281, 320, 508, 544, 620, 656] [170, 209, 282, 321, 509, 545, 621, 657] [171, 210, 283, 322, 510, 546, 622, 658] [172, 211, 284, 323, 511, 547, 623, 659] [173, 212, 285, 324, 496, 548, 608, 660] [174, 213, 286, 325, 497, 549, 609, 661] [175, 214, 287, 326, 498, 550, 610, 662] [160, 215, 272, 327, 499, 551, 611, 663] [161, 216, 273, 328, 500, 552, 612, 664] [162, 217, 274, 329, 501, 553, 613, 665] [163, 218, 275, 330, 502, 554, 614, 666] [164, 219, 276, 331, 503, 555, 615, 667] [165, 220, 277, 332, 504, 556, 616, 668] [166, 221, 278, 333, 505, 557, 617, 669] [167, 222, 279, 334, 506, 558, 618, 670] [168, 223, 280, 335, 507, 559, 619, 671] [0, 185, 224, 297, 336, 524, 560, 636] [1, 186, 225, 298, 337, 525, 561, 637] [2, 187, 226, 299, 338, 526, 562, 638] [3, 188, 227, 300, 339, 527, 563, 639] [4, 189, 228, 301, 340, 512, 564, 624] [5, 190, 229, 302, 341, 513, 565, 625] [6, 191, 230, 303, 342, 514, 566, 626] [7, 176, 231, 288, 343, 515, 567, 627] [8, 177, 232, 289, 344, 516, 568, 628] [9, 178, 233, 290, 345, 517, 569, 629] [10, 179, 234, 291, 346, 518, 570, 630] [11, 180, 235, 292, 347, 519, 571, 631] [12, 181, 236, 293, 348, 520, 572, 632] [13, 182, 237, 294, 349, 521, 573, 633] [14, 183, 238, 295, 350, 522, 574, 634] [15, 184, 239, 296, 351, 523, 575, 635] [16, 201, 240, 313, 352, 540, 576, 652] [17, 202, 241, 314, 353, 541, 577, 653] [18, 203, 242, 315, 354, 542, 578, 654] [19, 204, 243, 316, 355, 543, 579, 655] [20, 205, 244, 317, 356, 528, 580, 640] [21, 206, 245, 318, 357, 529, 581, 641] [22, 207, 246, 319, 358, 530, 582, 642] [23, 192, 247, 304, 359, 531, 583, 643] [24, 193, 248, 305, 360, 532, 584, 644] [25, 194, 249, 306, 361, 533, 585, 645] [26, 195, 250, 307, 362, 534, 586, 646] [27, 196, 251, 308, 363, 535, 587, 647] [28, 197, 252, 309, 364, 536, 588, 648] [29, 198, 253, 310, 365, 537, 589, 649] [30, 199, 254, 311, 366, 538, 590, 650] [31, 200, 255, 312, 367, 539, 591, 651] [32, 217, 256, 329, 368, 556, 592, 668] [33, 218, 257, 330, 369, 557, 593, 669] [34, 219, 258, 331, 370, 558, 594, 670] [35, 220, 259, 332, 371, 559, 595, 671] [36, 221, 260, 333, 372, 544, 596, 656] [37, 222, 261, 334, 373, 545, 597, 657] [38, 223, 262, 335, 374, 546, 598, 658] [39, 208, 263, 320, 375, 547, 599, 659] [40, 209, 264, 321, 376, 548, 600, 660] [41, 210, 265, 322, 377, 549, 601, 661] [42, 211, 266, 323, 378, 550, 602, 662] [43, 212, 267, 324, 379, 551, 603, 663] [44, 213, 268, 325, 380, 552, 604, 664] [45, 214, 269, 326, 381, 553, 605, 665] [46, 215, 270, 327, 382, 554, 606, 666] [47, 216, 271, 328, 383, 555, 607, 667] [9, 48, 233, 272, 348, 384, 572, 608] [10, 49, 234, 273, 349, 385, 573, 609] [11, 50, 235, 274, 350, 386, 574, 610] [12, 51, 236, 275, 351, 387, 575, 611] [13, 52, 237, 276, 336, 388, 560, 612] [14, 53, 238, 277, 337, 389, 561, 613] [15, 54, 239, 278, 338, 390, 562, 614] [0, 55, 224, 279, 339, 391, 563, 615] [1, 56, 225, 280, 340, 392, 564, 616] [2, 57, 226, 281, 341, 393, 565, 617] [3, 58, 227, 282, 342, 394, 566, 618] [4, 59, 228, 283, 343, 395, 567, 619] [5, 60, 229, 284, 344, 396, 568, 620] [6, 61, 230, 285, 345, 397, 569, 621] [7, 62, 231, 286, 346, 398, 570, 622] [8, 63, 232, 287, 347, 399, 571, 623] [25, 64, 249, 288, 364, 400, 588, 624] [26, 65, 250, 289, 365, 401, 589, 625] [27, 66, 251, 290, 366, 402, 590, 626] [28, 67, 252, 291, 367, 403, 591, 627] [29, 68, 253, 292, 352, 404, 576, 628] [30, 69, 254, 293, 353, 405, 577, 629] [31, 70, 255, 294, 354, 406, 578, 630] [16, 71, 240, 295, 355, 407, 579, 631] [17, 72, 241, 296, 356, 408, 580, 632] [18, 73, 242, 297, 357, 409, 581, 633] [19, 74, 243, 298, 358, 410, 582, 634] [20, 75, 244, 299, 359, 411, 583, 635] [21, 76, 245, 300, 360, 412, 584, 636] [22, 77, 246, 301, 361, 413, 585, 637] [23, 78, 247, 302, 362, 414, 586, 638] [24, 79, 248, 303, 363, 415, 587, 639] [41, 80, 265, 304, 380, 416, 604, 640] [42, 81, 266, 305, 381, 417, 605, 641] [43, 82, 267, 306, 382, 418, 606, 642] [44, 83, 268, 307, 383, 419, 607, 643] [45, 84, 269, 308, 368, 420, 592, 644] [46, 85, 270, 309, 369, 421, 593, 645] [47, 86, 271, 310, 370, 422, 594, 646] [32, 87, 256, 311, 371, 423, 595, 647] [33, 88, 257, 312, 372, 424, 596, 648] [34, 89, 258, 313, 373, 425, 597, 649] [35, 90, 259, 314, 374, 426, 598, 650] [36, 91, 260, 315, 375, 427, 599, 651] [37, 92, 261, 316, 376, 428, 600, 652] [38, 93, 262, 317, 377, 429, 601, 653] [39, 94, 263, 318, 378, 430, 602, 654] [40, 95, 264, 319, 379, 431, 603, 655] [57, 96, 281, 320, 396, 432, 620, 656] [58, 97, 282, 321, 397, 433, 621, 657] [59, 98, 283, 322, 398, 434, 622, 658] [60, 99, 284, 323, 399, 435, 623, 659] [61, 100, 285, 324, 384, 436, 608, 660] [62, 101, 286, 325, 385, 437, 609, 661] [63, 102, 287, 326, 386, 438, 610, 662] [48, 103, 272, 327, 387, 439, 611, 663] [49, 104, 273, 328, 388, 440, 612, 664] [50, 105, 274, 329, 389, 441, 613, 665] [51, 106, 275, 330, 390, 442, 614, 666] [52, 107, 276, 331, 391, 443, 615, 667] [53, 108, 277, 332, 392, 444, 616, 668] [54, 109, 278, 333, 393, 445, 617, 669] [55, 110, 279, 334, 394, 446, 618, 670] [56, 111, 280, 335, 395, 447, 619, 671] [0, 73, 112, 297, 336, 412, 448, 636] [1, 74, 113, 298, 337, 413, 449, 637] [2, 75, 114, 299, 338, 414, 450, 638] [3, 76, 115, 300, 339, 415, 451, 639] [4, 77, 116, 301, 340, 400, 452, 624] [5, 78, 117, 302, 341, 401, 453, 625] [6, 79, 118, 303, 342, 402, 454, 626] [7, 64, 119, 288, 343, 403, 455, 627] [8, 65, 120, 289, 344, 404, 456, 628] [9, 66, 121, 290, 345, 405, 457, 629] [10, 67, 122, 291, 346, 406, 458, 630] [11, 68, 123, 292, 347, 407, 459, 631] [12, 69, 124, 293, 348, 408, 460, 632] [13, 70, 125, 294, 349, 409, 461, 633] [14, 71, 126, 295, 350, 410, 462, 634] [15, 72, 127, 296, 351, 411, 463, 635] [16, 89, 128, 313, 352, 428, 464, 652] [17, 90, 129, 314, 353, 429, 465, 653] [18, 91, 130, 315, 354, 430, 466, 654] [19, 92, 131, 316, 355, 431, 467, 655] [20, 93, 132, 317, 356, 416, 468, 640] [21, 94, 133, 318, 357, 417, 469, 641] [22, 95, 134, 319, 358, 418, 470, 642] [23, 80, 135, 304, 359, 419, 471, 643] [24, 81, 136, 305, 360, 420, 472, 644] [25, 82, 137, 306, 361, 421, 473, 645] [26, 83, 138, 307, 362, 422, 474, 646] [27, 84, 139, 308, 363, 423, 475, 647] [28, 85, 140, 309, 364, 424, 476, 648] [29, 86, 141, 310, 365, 425, 477, 649] [30, 87, 142, 311, 366, 426, 478, 650] [31, 88, 143, 312, 367, 427, 479, 651] [32, 105, 144, 329, 368, 444, 480, 668] [33, 106, 145, 330, 369, 445, 481, 669] [34, 107, 146, 331, 370, 446, 482, 670] [35, 108, 147, 332, 371, 447, 483, 671] [36, 109, 148, 333, 372, 432, 484, 656] [37, 110, 149, 334, 373, 433, 485, 657] [38, 111, 150, 335, 374, 434, 486, 658] [39, 96, 151, 320, 375, 435, 487, 659] [40, 97, 152, 321, 376, 436, 488, 660] [41, 98, 153, 322, 377, 437, 489, 661] [42, 99, 154, 323, 378, 438, 490, 662] [43, 100, 155, 324, 379, 439, 491, 663] [44, 101, 156, 325, 380, 440, 492, 664] [45, 102, 157, 326, 381, 441, 493, 665] [46, 103, 158, 327, 382, 442, 494, 666] [47, 104, 159, 328, 383, 443, 495, 667] [9, 48, 121, 160, 348, 384, 460, 496] [10, 49, 122, 161, 349, 385, 461, 497] [11, 50, 123, 162, 350, 386, 462, 498] [12, 51, 124, 163, 351, 387, 463, 499] [13, 52, 125, 164, 336, 388, 448, 500] [14, 53, 126, 165, 337, 389, 449, 501] [15, 54, 127, 166, 338, 390, 450, 502] [0, 55, 112, 167, 339, 391, 451, 503] [1, 56, 113, 168, 340, 392, 452, 504] [2, 57, 114, 169, 341, 393, 453, 505] [3, 58, 115, 170, 342, 394, 454, 506] [4, 59, 116, 171, 343, 395, 455, 507] [5, 60, 117, 172, 344, 396, 456, 508] [6, 61, 118, 173, 345, 397, 457, 509] [7, 62, 119, 174, 346, 398, 458, 510] [8, 63, 120, 175, 347, 399, 459, 511]

H_Z (336 checks, sparse supports)

[160, 212, 272, 324, 496, 551, 608, 663] [161, 213, 273, 325, 497, 552, 609, 664] [162, 214, 274, 326, 498, 553, 610, 665] [163, 215, 275, 327, 499, 554, 611, 666] [164, 216, 276, 328, 500, 555, 612, 667] [165, 217, 277, 329, 501, 556, 613, 668] [166, 218, 278, 330, 502, 557, 614, 669] [167, 219, 279, 331, 503, 558, 615, 670] [168, 220, 280, 332, 504, 559, 616, 671] [169, 221, 281, 333, 505, 544, 617, 656] [170, 222, 282, 334, 506, 545, 618, 657] [171, 223, 283, 335, 507, 546, 619, 658] [172, 208, 284, 320, 508, 547, 620, 659] [173, 209, 285, 321, 509, 548, 621, 660] [174, 210, 286, 322, 510, 549, 622, 661] [175, 211, 287, 323, 511, 550, 623, 662] [4, 176, 228, 288, 343, 512, 567, 624] [5, 177, 229, 289, 344, 513, 568, 625] [6, 178, 230, 290, 345, 514, 569, 626] [7, 179, 231, 291, 346, 515, 570, 627] [8, 180, 232, 292, 347, 516, 571, 628] [9, 181, 233, 293, 348, 517, 572, 629] [10, 182, 234, 294, 349, 518, 573, 630] [11, 183, 235, 295, 350, 519, 574, 631] [12, 184, 236, 296, 351, 520, 575, 632] [13, 185, 237, 297, 336, 521, 560, 633] [14, 186, 238, 298, 337, 522, 561, 634] [15, 187, 239, 299, 338, 523, 562, 635] [0, 188, 224, 300, 339, 524, 563, 636] [1, 189, 225, 301, 340, 525, 564, 637] [2, 190, 226, 302, 341, 526, 565, 638] [3, 191, 227, 303, 342, 527, 566, 639] [20, 192, 244, 304, 359, 528, 583, 640] [21, 193, 245, 305, 360, 529, 584, 641] [22, 194, 246, 306, 361, 530, 585, 642] [23, 195, 247, 307, 362, 531, 586, 643] [24, 196, 248, 308, 363, 532, 587, 644] [25, 197, 249, 309, 364, 533, 588, 645] [26, 198, 250, 310, 365, 534, 589, 646] [27, 199, 251, 311, 366, 535, 590, 647] [28, 200, 252, 312, 367, 536, 591, 648] [29, 201, 253, 313, 352, 537, 576, 649] [30, 202, 254, 314, 353, 538, 577, 650] [31, 203, 255, 315, 354, 539, 578, 651] [16, 204, 240, 316, 355, 540, 579, 652] [17, 205, 241, 317, 356, 541, 580, 653] [18, 206, 242, 318, 357, 542, 581, 654] [19, 207, 243, 319, 358, 543, 582, 655] [36, 208, 260, 320, 375, 544, 599, 656] [37, 209, 261, 321, 376, 545, 600, 657] [38, 210, 262, 322, 377, 546, 601, 658] [39, 211, 263, 323, 378, 547, 602, 659] [40, 212, 264, 324, 379, 548, 603, 660] [41, 213, 265, 325, 380, 549, 604, 661] [42, 214, 266, 326, 381, 550, 605, 662] [43, 215, 267, 327, 382, 551, 606, 663] [44, 216, 268, 328, 383, 552, 607, 664] [45, 217, 269, 329, 368, 553, 592, 665] [46, 218, 270, 330, 369, 554, 593, 666] [47, 219, 271, 331, 370, 555, 594, 667] [32, 220, 256, 332, 371, 556, 595, 668] [33, 221, 257, 333, 372, 557, 596, 669] [34, 222, 258, 334, 373, 558, 597, 670] [35, 223, 259, 335, 374, 559, 598, 671] [0, 52, 224, 276, 336, 391, 560, 615] [1, 53, 225, 277, 337, 392, 561, 616] [2, 54, 226, 278, 338, 393, 562, 617] [3, 55, 227, 279, 339, 394, 563, 618] [4, 56, 228, 280, 340, 395, 564, 619] [5, 57, 229, 281, 341, 396, 565, 620] [6, 58, 230, 282, 342, 397, 566, 621] [7, 59, 231, 283, 343, 398, 567, 622] [8, 60, 232, 284, 344, 399, 568, 623] [9, 61, 233, 285, 345, 384, 569, 608] [10, 62, 234, 286, 346, 385, 570, 609] [11, 63, 235, 287, 347, 386, 571, 610] [12, 48, 236, 272, 348, 387, 572, 611] [13, 49, 237, 273, 349, 388, 573, 612] [14, 50, 238, 274, 350, 389, 574, 613] [15, 51, 239, 275, 351, 390, 575, 614] [16, 68, 240, 292, 352, 407, 576, 631] [17, 69, 241, 293, 353, 408, 577, 632] [18, 70, 242, 294, 354, 409, 578, 633] [19, 71, 243, 295, 355, 410, 579, 634] [20, 72, 244, 296, 356, 411, 580, 635] [21, 73, 245, 297, 357, 412, 581, 636] [22, 74, 246, 298, 358, 413, 582, 637] [23, 75, 247, 299, 359, 414, 583, 638] [24, 76, 248, 300, 360, 415, 584, 639] [25, 77, 249, 301, 361, 400, 585, 624] [26, 78, 250, 302, 362, 401, 586, 625] [27, 79, 251, 303, 363, 402, 587, 626] [28, 64, 252, 288, 364, 403, 588, 627] [29, 65, 253, 289, 365, 404, 589, 628] [30, 66, 254, 290, 366, 405, 590, 629] [31, 67, 255, 291, 367, 406, 591, 630] [32, 84, 256, 308, 368, 423, 592, 647] [33, 85, 257, 309, 369, 424, 593, 648] [34, 86, 258, 310, 370, 425, 594, 649] [35, 87, 259, 311, 371, 426, 595, 650] [36, 88, 260, 312, 372, 427, 596, 651] [37, 89, 261, 313, 373, 428, 597, 652] [38, 90, 262, 314, 374, 429, 598, 653] [39, 91, 263, 315, 375, 430, 599, 654] [40, 92, 264, 316, 376, 431, 600, 655] [41, 93, 265, 317, 377, 416, 601, 640] [42, 94, 266, 318, 378, 417, 602, 641] [43, 95, 267, 319, 379, 418, 603, 642] [44, 80, 268, 304, 380, 419, 604, 643] [45, 81, 269, 305, 381, 420, 605, 644] [46, 82, 270, 306, 382, 421, 606, 645] [47, 83, 271, 307, 383, 422, 607, 646] [48, 100, 272, 324, 384, 439, 608, 663] [49, 101, 273, 325, 385, 440, 609, 664] [50, 102, 274, 326, 386, 441, 610, 665] [51, 103, 275, 327, 387, 442, 611, 666] [52, 104, 276, 328, 388, 443, 612, 667] [53, 105, 277, 329, 389, 444, 613, 668] [54, 106, 278, 330, 390, 445, 614, 669] [55, 107, 279, 331, 391, 446, 615, 670] [56, 108, 280, 332, 392, 447, 616, 671] [57, 109, 281, 333, 393, 432, 617, 656] [58, 110, 282, 334, 394, 433, 618, 657] [59, 111, 283, 335, 395, 434, 619, 658] [60, 96, 284, 320, 396, 435, 620, 659] [61, 97, 285, 321, 397, 436, 621, 660] [62, 98, 286, 322, 398, 437, 622, 661] [63, 99, 287, 323, 399, 438, 623, 662] [4, 64, 116, 288, 343, 400, 455, 624] [5, 65, 117, 289, 344, 401, 456, 625] [6, 66, 118, 290, 345, 402, 457, 626] [7, 67, 119, 291, 346, 403, 458, 627] [8, 68, 120, 292, 347, 404, 459, 628] [9, 69, 121, 293, 348, 405, 460, 629] [10, 70, 122, 294, 349, 406, 461, 630] [11, 71, 123, 295, 350, 407, 462, 631] [12, 72, 124, 296, 351, 408, 463, 632] [13, 73, 125, 297, 336, 409, 448, 633] [14, 74, 126, 298, 337, 410, 449, 634] [15, 75, 127, 299, 338, 411, 450, 635] [0, 76, 112, 300, 339, 412, 451, 636] [1, 77, 113, 301, 340, 413, 452, 637] [2, 78, 114, 302, 341, 414, 453, 638] [3, 79, 115, 303, 342, 415, 454, 639] [20, 80, 132, 304, 359, 416, 471, 640] [21, 81, 133, 305, 360, 417, 472, 641] [22, 82, 134, 306, 361, 418, 473, 642] [23, 83, 135, 307, 362, 419, 474, 643] [24, 84, 136, 308, 363, 420, 475, 644] [25, 85, 137, 309, 364, 421, 476, 645] [26, 86, 138, 310, 365, 422, 477, 646] [27, 87, 139, 311, 366, 423, 478, 647] [28, 88, 140, 312, 367, 424, 479, 648] [29, 89, 141, 313, 352, 425, 464, 649] [30, 90, 142, 314, 353, 426, 465, 650] [31, 91, 143, 315, 354, 427, 466, 651] [16, 92, 128, 316, 355, 428, 467, 652] [17, 93, 129, 317, 356, 429, 468, 653] [18, 94, 130, 318, 357, 430, 469, 654] [19, 95, 131, 319, 358, 431, 470, 655] [36, 96, 148, 320, 375, 432, 487, 656] [37, 97, 149, 321, 376, 433, 488, 657] [38, 98, 150, 322, 377, 434, 489, 658] [39, 99, 151, 323, 378, 435, 490, 659] [40, 100, 152, 324, 379, 436, 491, 660] [41, 101, 153, 325, 380, 437, 492, 661] [42, 102, 154, 326, 381, 438, 493, 662] [43, 103, 155, 327, 382, 439, 494, 663] [44, 104, 156, 328, 383, 440, 495, 664] [45, 105, 157, 329, 368, 441, 480, 665] [46, 106, 158, 330, 369, 442, 481, 666] [47, 107, 159, 331, 370, 443, 482, 667] [32, 108, 144, 332, 371, 444, 483, 668] [33, 109, 145, 333, 372, 445, 484, 669] [34, 110, 146, 334, 373, 446, 485, 670] [35, 111, 147, 335, 374, 447, 486, 671] [0, 52, 112, 164, 336, 391, 448, 503] [1, 53, 113, 165, 337, 392, 449, 504] [2, 54, 114, 166, 338, 393, 450, 505] [3, 55, 115, 167, 339, 394, 451, 506] [4, 56, 116, 168, 340, 395, 452, 507] [5, 57, 117, 169, 341, 396, 453, 508] [6, 58, 118, 170, 342, 397, 454, 509] [7, 59, 119, 171, 343, 398, 455, 510] [8, 60, 120, 172, 344, 399, 456, 511] [9, 61, 121, 173, 345, 384, 457, 496] [10, 62, 122, 174, 346, 385, 458, 497] [11, 63, 123, 175, 347, 386, 459, 498] [12, 48, 124, 160, 348, 387, 460, 499] [13, 49, 125, 161, 349, 388, 461, 500] [14, 50, 126, 162, 350, 389, 462, 501] [15, 51, 127, 163, 351, 390, 463, 502] [16, 68, 128, 180, 352, 407, 464, 519] [17, 69, 129, 181, 353, 408, 465, 520] [18, 70, 130, 182, 354, 409, 466, 521] [19, 71, 131, 183, 355, 410, 467, 522] [20, 72, 132, 184, 356, 411, 468, 523] [21, 73, 133, 185, 357, 412, 469, 524] [22, 74, 134, 186, 358, 413, 470, 525] [23, 75, 135, 187, 359, 414, 471, 526] [24, 76, 136, 188, 360, 415, 472, 527] [25, 77, 137, 189, 361, 400, 473, 512] [26, 78, 138, 190, 362, 401, 474, 513] [27, 79, 139, 191, 363, 402, 475, 514] [28, 64, 140, 176, 364, 403, 476, 515] [29, 65, 141, 177, 365, 404, 477, 516] [30, 66, 142, 178, 366, 405, 478, 517] [31, 67, 143, 179, 367, 406, 479, 518] [32, 84, 144, 196, 368, 423, 480, 535] [33, 85, 145, 197, 369, 424, 481, 536] [34, 86, 146, 198, 370, 425, 482, 537] [35, 87, 147, 199, 371, 426, 483, 538] [36, 88, 148, 200, 372, 427, 484, 539] [37, 89, 149, 201, 373, 428, 485, 540] [38, 90, 150, 202, 374, 429, 486, 541] [39, 91, 151, 203, 375, 430, 487, 542] [40, 92, 152, 204, 376, 431, 488, 543] [41, 93, 153, 205, 377, 416, 489, 528] [42, 94, 154, 206, 378, 417, 490, 529] [43, 95, 155, 207, 379, 418, 491, 530] [44, 80, 156, 192, 380, 419, 492, 531] [45, 81, 157, 193, 381, 420, 493, 532] [46, 82, 158, 194, 382, 421, 494, 533] [47, 83, 159, 195, 383, 422, 495, 534] [48, 100, 160, 212, 384, 439, 496, 551] [49, 101, 161, 213, 385, 440, 497, 552] [50, 102, 162, 214, 386, 441, 498, 553] [51, 103, 163, 215, 387, 442, 499, 554] [52, 104, 164, 216, 388, 443, 500, 555] [53, 105, 165, 217, 389, 444, 501, 556] [54, 106, 166, 218, 390, 445, 502, 557] [55, 107, 167, 219, 391, 446, 503, 558] [56, 108, 168, 220, 392, 447, 504, 559] [57, 109, 169, 221, 393, 432, 505, 544] [58, 110, 170, 222, 394, 433, 506, 545] [59, 111, 171, 223, 395, 434, 507, 546] [60, 96, 172, 208, 396, 435, 508, 547] [61, 97, 173, 209, 397, 436, 509, 548] [62, 98, 174, 210, 398, 437, 510, 549] [63, 99, 175, 211, 399, 438, 511, 550] [64, 116, 176, 228, 400, 455, 512, 567] [65, 117, 177, 229, 401, 456, 513, 568] [66, 118, 178, 230, 402, 457, 514, 569] [67, 119, 179, 231, 403, 458, 515, 570] [68, 120, 180, 232, 404, 459, 516, 571] [69, 121, 181, 233, 405, 460, 517, 572] [70, 122, 182, 234, 406, 461, 518, 573] [71, 123, 183, 235, 407, 462, 519, 574] [72, 124, 184, 236, 408, 463, 520, 575] [73, 125, 185, 237, 409, 448, 521, 560] [74, 126, 186, 238, 410, 449, 522, 561] [75, 127, 187, 239, 411, 450, 523, 562] [76, 112, 188, 224, 412, 451, 524, 563] [77, 113, 189, 225, 413, 452, 525, 564] [78, 114, 190, 226, 414, 453, 526, 565] [79, 115, 191, 227, 415, 454, 527, 566] [80, 132, 192, 244, 416, 471, 528, 583] [81, 133, 193, 245, 417, 472, 529, 584] [82, 134, 194, 246, 418, 473, 530, 585] [83, 135, 195, 247, 419, 474, 531, 586] [84, 136, 196, 248, 420, 475, 532, 587] [85, 137, 197, 249, 421, 476, 533, 588] [86, 138, 198, 250, 422, 477, 534, 589] [87, 139, 199, 251, 423, 478, 535, 590] [88, 140, 200, 252, 424, 479, 536, 591] [89, 141, 201, 253, 425, 464, 537, 576] [90, 142, 202, 254, 426, 465, 538, 577] [91, 143, 203, 255, 427, 466, 539, 578] [92, 128, 204, 240, 428, 467, 540, 579] [93, 129, 205, 241, 429, 468, 541, 580] [94, 130, 206, 242, 430, 469, 542, 581] [95, 131, 207, 243, 431, 470, 543, 582] [96, 148, 208, 260, 432, 487, 544, 599] [97, 149, 209, 261, 433, 488, 545, 600] [98, 150, 210, 262, 434, 489, 546, 601] [99, 151, 211, 263, 435, 490, 547, 602] [100, 152, 212, 264, 436, 491, 548, 603] [101, 153, 213, 265, 437, 492, 549, 604] [102, 154, 214, 266, 438, 493, 550, 605] [103, 155, 215, 267, 439, 494, 551, 606] [104, 156, 216, 268, 440, 495, 552, 607] [105, 157, 217, 269, 441, 480, 553, 592] [106, 158, 218, 270, 442, 481, 554, 593] [107, 159, 219, 271, 443, 482, 555, 594] [108, 144, 220, 256, 444, 483, 556, 595] [109, 145, 221, 257, 445, 484, 557, 596] [110, 146, 222, 258, 446, 485, 558, 597] [111, 147, 223, 259, 447, 486, 559, 598] [112, 164, 224, 276, 448, 503, 560, 615] [113, 165, 225, 277, 449, 504, 561, 616] [114, 166, 226, 278, 450, 505, 562, 617] [115, 167, 227, 279, 451, 506, 563, 618] [116, 168, 228, 280, 452, 507, 564, 619] [117, 169, 229, 281, 453, 508, 565, 620] [118, 170, 230, 282, 454, 509, 566, 621] [119, 171, 231, 283, 455, 510, 567, 622] [120, 172, 232, 284, 456, 511, 568, 623] [121, 173, 233, 285, 457, 496, 569, 608] [122, 174, 234, 286, 458, 497, 570, 609] [123, 175, 235, 287, 459, 498, 571, 610] [124, 160, 236, 272, 460, 499, 572, 611] [125, 161, 237, 273, 461, 500, 573, 612] [126, 162, 238, 274, 462, 501, 574, 613] [127, 163, 239, 275, 463, 502, 575, 614] [128, 180, 240, 292, 464, 519, 576, 631] [129, 181, 241, 293, 465, 520, 577, 632] [130, 182, 242, 294, 466, 521, 578, 633] [131, 183, 243, 295, 467, 522, 579, 634] [132, 184, 244, 296, 468, 523, 580, 635] [133, 185, 245, 297, 469, 524, 581, 636] [134, 186, 246, 298, 470, 525, 582, 637] [135, 187, 247, 299, 471, 526, 583, 638] [136, 188, 248, 300, 472, 527, 584, 639] [137, 189, 249, 301, 473, 512, 585, 624] [138, 190, 250, 302, 474, 513, 586, 625] [139, 191, 251, 303, 475, 514, 587, 626] [140, 176, 252, 288, 476, 515, 588, 627] [141, 177, 253, 289, 477, 516, 589, 628] [142, 178, 254, 290, 478, 517, 590, 629] [143, 179, 255, 291, 479, 518, 591, 630] [144, 196, 256, 308, 480, 535, 592, 647] [145, 197, 257, 309, 481, 536, 593, 648] [146, 198, 258, 310, 482, 537, 594, 649] [147, 199, 259, 311, 483, 538, 595, 650] [148, 200, 260, 312, 484, 539, 596, 651] [149, 201, 261, 313, 485, 540, 597, 652] [150, 202, 262, 314, 486, 541, 598, 653] [151, 203, 263, 315, 487, 542, 599, 654] [152, 204, 264, 316, 488, 543, 600, 655] [153, 205, 265, 317, 489, 528, 601, 640] [154, 206, 266, 318, 490, 529, 602, 641] [155, 207, 267, 319, 491, 530, 603, 642] [156, 192, 268, 304, 492, 531, 604, 643] [157, 193, 269, 305, 493, 532, 605, 644] [158, 194, 270, 306, 494, 533, 606, 645] [159, 195, 271, 307, 495, 534, 607, 646]

Code ID 672-228-3 · download JSON · raw on GitHub