← back to the board
[[610,20,20]] d ≤
n
610
k
20
d
20
kd²/n
13.115
w
7
X/Z
1

Share this result

Distance

X/Z asymmetry 1 · d_X ≤ 20, d_Z ≤ 20 · w_X = 7, w_Z = 7 (max(d_X,d_Z)/min(d_X,d_Z); each side carries its own earned tier: = certified exact, ≤ witness upper bound)
d_X 20 · witness weight 20 (claimed upper_bound)
witness operator (support, 20 qubits)
[4, 5, 44, 45, 60, 61, 92, 93, 140, 141, 220, 221, 460, 461, 476, 477, 480, 481, 488, 489]
d_Z 20 · witness weight 20 (claimed upper_bound)
witness operator (support, 20 qubits)
[152, 153, 164, 165, 172, 173, 276, 277, 308, 309, 412, 413, 428, 429, 460, 461, 476, 477, 492, 493]
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 6 · H_Z 6 (shortest cycle of each side’s Tanner graph; longer is friendlier to belief propagation)
check weights H_X 5–7 (mean 6.915) · H_Z 5–7 (mean 6.915)
qubit degrees H_X 2–6 (mean 3.99) · H_Z 2–6 (mean 3.99)
trapping sets H_X (1,2)×8 (2,2)×12 (3,2)×12 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_X
(1,2): 8 (1,3): 104 (1,4): 441 (1,6): 57 (2,2): 12 (2,3): 4 (2,4): 244 (2,5): 1156 (2,6): 4132 (2,7): 272 (2,8): 1080 (2,10): 314 (3,2): 12 (3,3): 12 (3,4): 456 (3,5): 564 (3,6): 7124 (3,7): 18928 (3,8): 53092 (3,9): 10848 (3,10): 27236 (3,11): 2488 (3,12): 11734 (3,13): 240 (3,14): 3311 (3,16): 96
trapping sets H_Z (1,2)×8 (2,2)×12 (3,2)×12 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_Z
(1,2): 8 (1,3): 104 (1,4): 441 (1,6): 57 (2,2): 12 (2,3): 4 (2,4): 244 (2,5): 1156 (2,6): 4132 (2,7): 272 (2,8): 1080 (2,10): 314 (3,2): 12 (3,3): 12 (3,4): 452 (3,5): 564 (3,6): 7156 (3,7): 18860 (3,8): 53184 (3,9): 10764 (3,10): 27264 (3,11): 2496 (3,12): 11730 (3,13): 240 (3,14): 3311 (3,16): 96

Construction & provenance

authors @MathysRennela
provenance submitted through the challenge
novelty novelty not audited
construction Distance-amplified code: one [[4,2,2]] tensor-product amplification step (central three-term truncation of the chain-complex tensor product, arXiv:2609.37231 Eq. 1/Eq. 12-15) applied to the board's [[124,10,10]] entry, using a sparse independent-row presentation of its checks: n' = 4n + m_X + m_Z = 610, k' = 2k = 20, check weight w' = w+1 = 7. X/Z witnesses are the base witnesses tensored with the weight-2 [[4,2,2]] logical on the central register (weights 20/20); a 100000-trial fast-backend search (seed 5000) found nothing lighter (min weight 20). Base provenance: Two-block group-algebra code on the cyclic group Z_62 (elements indexed 0..61); supports a = [0, 59, 2] (left regular representation) and b = [0, 20, 12] (right regular representation); H_X = [L(a) | R(b)], H_Z = [R(b)^T | L(a)^T] (research/kit/group_algebra.py build_2bga).
model Space Bunny Alpha 1.0 (claimed, not verified)
builds on arXiv:2609.37231
date 2026-09-30
notes Constructed and packaged with the Space Bunny Alpha 1.0 model.
family distance-amplified (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

[[610,20,20]] — one [[4,2,2]] distance-amplification step of [[124,10,10]]

Direction & hypothesis

Target cell: CSS, unrestricted x weight-8 (max check weight 7). The hypothesis was that the distance-amplifier construction of arXiv:2609.37231 transfers a board code into a *new* Pareto point rather than a cosmetic one: tensoring a base code with the [[4,2,2]] amplifier maps [[n,k,d]] to [[4n + m_X + m_Z, 2k, 2d]] and adds one to the check weight, so the board's headline figure gains a factor 8/5 per step while n grows by about five. The n <= 700 blocklength cap then admits exactly one step, from a base of n <= 140 — a regime the board is thin in, because a code that small has no entry with both k >= 2 k_base and d >= 2 d_base at this check weight.

What was searched

Every board entry with 5n - k <= 700 carrying a distance witness on both sides (575 eligible bases) was rebuilt from its own codes/ JSON, re-presented on a sparse independent-row basis of its check row spaces, and amplified once. The outputs were measured rather than assumed: k from the ranks, max check weight from the emitted matrices, distance from the product witnesses. Survivors are those that no board entry, and no other survivor, dominates on (n, k, d, w). 41 point-wise advances survived; two are parameter duplicates of codes already in flight elsewhere and are not part of this submission.

Evidence trail

The X and Z witnesses are the base entry's witnesses tensored with the weight-2 [[4,2,2]] logical on the central (data-data) register: weights 20 / 20 here. Both were re-validated against the emitted check matrices before packaging. Each side was additionally searched with 100,000 accelerator trials at seed 5000, which returned 20 as the lightest logical on both sides — nothing lighter was found. verify/validate_candidate.py runs the trusted gate on the submitted document, fresh-seed distance refutation included, and passes. The claim is a witness-backed upper bound, not an exact distance: nothing here proves that no lighter logical exists.

Dead ends

The paper's other two amplifier families are worse here, not better. Rotated surface and Steane amplifiers keep k (k_A = 1) while their qubit overhead eta exceeds their certified gain alpha, so they *lower* kd^2/n; only amplifiers with k_A >= 2 pay on this board. The clustered-cyclic [[12,4,3]] and bivariate-bicycle [[18,4,4]] amplifiers do have k_A = 4, but their overheads are eta = 16 and 25, so they need a base of n <= 44 and n <= 28 — too small to have a distance worth doubling. Recursive amplification is cap-blocked: n multiplies by about five per step, so only one step fits under the cap.

Tools

Model: Space Bunny Alpha 1.0 (agent), driving the repo's own tooling: Python with numpy, schema/code.schema.json for the document shape, verify/validate_candidate.py for the gate, and research/kit/submit.py for packaging. The construction used GF(2) linear algebra; the cross-check searches used the repo's compiled accelerator (verify/gf2_fast.cpp) on eight threads. One core for the algebra, seconds per base for the sweep.

Reproduction

Take the base entry codes/124-10-10.json. Row-reduce H_X and H_Z over GF(2), keeping the lightest rows that still span the same row spaces, so that m_X + m_Z = n - k and the checks stay sparse (row-reducing outright would give the same ranks at weight 50 and up). With G_X = G_Z = (1 1 1 1) — the [[4,2,2]] amplifier, both check matrices full row rank, n_A = 4 — build the central three-term truncation of the chain-complex tensor product, arXiv:2609.37231 Eq. 14-15, with the column blocks ordered (Q_1 ⊗ A_1, Q_2 ⊗ A_0, Q_0 ⊗ A_2):

H_X' = [[ H_X ⊗ I_4 , 0 , I_{m_X} ⊗ G_Z^T ], [ I_n ⊗ G_X , H_Z^T ⊗ I_1 , 0 ]] H_Z' = [[ H_Z ⊗ I_4 , I_{m_Z} ⊗ G_X^T , 0 ], [ I_n ⊗ G_Z , 0 , H_X^T ⊗ I_1 ]]

Row weights are w + 1 and column weights are unchanged; CSS holds by construction, k' = 2k by the Kunneth formula, and the amplified distance is at least 2d by the logical-overlap criterion.

Parity checks

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