← back to the board
[[656,64,24]] d ≤
n
656
k
64
d
24
kd²/n
56.1951
w
11
X/Z
1

Share this result

Distance

X/Z asymmetry 1 · d_X ≤ 24, d_Z ≤ 24 · w_X = 11, w_Z = 11 (max(d_X,d_Z)/min(d_X,d_Z); each side carries its own earned tier: = certified exact, ≤ witness upper bound)
d_X 24 · witness weight 24 (claimed upper_bound)
witness operator (support, 24 qubits)
[6, 7, 24, 25, 42, 43, 198, 199, 228, 229, 270, 271, 282, 283, 336, 337, 366, 367, 504, 505, 528, 529, 546, 547]
d_Z 24 · witness weight 24 (claimed upper_bound)
witness operator (support, 24 qubits)
[144, 145, 156, 157, 174, 175, 192, 193, 258, 259, 324, 325, 330, 331, 342, 343, 462, 463, 474, 475, 504, 505, 540, 541]
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–11 (mean 10.762) · H_Z 8–11 (mean 10.762)
qubit degrees H_X 3–10 (mean 5.512) · H_Z 3–10 (mean 5.512)
trapping sets H_X (1,3)×12 (2,4)×30 (3,5)×6 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_X
(1,3): 12 (1,4): 66 (1,5): 312 (1,6): 226 (1,10): 40 (2,4): 30 (2,5): 36 (2,6): 567 (2,7): 1344 (2,8): 4338 (2,9): 4908 (2,10): 2649 (2,11): 54 (2,12): 264 (2,13): 1326 (2,14): 756 (2,16): 130 (2,18): 399 (3,5): 6 (3,6): 300 (3,7): 1630 (3,8): 5991 (3,9): 20172 (3,10): 47788 (3,11): 98832 (3,12): 134829 (3,13): 117482 (3,14): 57597 (3,15): 26634 (3,16): 49724 (3,17): 51624 (3,18): 23571 (3,19): 7818 (3,20): 11043 (3,21): 24780 (3,22): 15588 (3,23): 1326 (3,24): 3696 (3,26): 2892 (3,28): 81
trapping sets H_Z (1,3)×12 (2,4)×30 (3,5)×6 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_Z
(1,3): 12 (1,4): 78 (1,5): 288 (1,6): 238 (1,10): 40 (2,4): 30 (2,5): 60 (2,6): 525 (2,7): 1434 (2,8): 4212 (2,9): 4716 (2,10): 2883 (2,11): 48 (2,12): 330 (2,13): 1212 (2,14): 810 (2,16): 128 (2,18): 401 (3,5): 6 (3,6): 282 (3,7): 1600 (3,8): 6201 (3,9): 19596 (3,10): 49826 (3,11): 95088 (3,12): 131949 (3,13): 117534 (3,14): 61956 (3,15): 28338 (3,16): 48219 (3,17): 50016 (3,18): 25626 (3,19): 7212 (3,20): 12625 (3,21): 22602 (3,22): 16770 (3,23): 1254 (3,24): 3673 (3,26): 2924 (3,28): 83

Construction & provenance

authors @TimoKellerMath
provenance submitted through the challenge
novelty novelty not audited
construction One [[6,4,2]] distance-amplification step (Liang, Gu, Chen, Eisert, Wang, arXiv:2609.37231, Eqs. (14), (15); amplifier checks G_X = G_Z = the all-one row of length 6) applied to the board entry codes/96-16-12.json ([[96,16,12]] two-block code over a group of order 48; d_X = d_Z = 12 certified in certs/96-16-12.json), keeping all of its checks.X except the rows [1, 9, 18, 25, 32, 33, 38, 43] and all of its checks.Z except the rows [4, 5, 6, 11, 40, 41, 42, 47] (linearly independent, 40 and 40 rows). Qubits: central (q,a) -> 6q+a (q a base qubit, 0 <= a < 6); t_j -> 576+j for the j-th kept Z-check z_j; s_i -> 616+i for the i-th kept X-check c_i. X-checks: (c_i,a) = {6q+a : q in c_i} + {s_i} (i, then a), then (q) = {6q,...,6q+5} + {t_j : q in z_j} (q = 0..95); Z-checks: (z_j,a) = {6q+a : q in z_j} + {t_j}, then (q) = {6q,...,6q+5} + {s_i : q in c_i}. n = 6*96 + 40 + 40 = 656 = 7n - k of the base, k = 4*16 = 64, check weight 11.
model Claude Claude Opus 5.5 (claimed, not verified)
builds on arXiv:2609.37231, arXiv:1512.07081, arXiv:2611.08247
date 2026-11-10
notes Distance: d_X = d_Z = 24 exactly: d_P = 2 d_P(base) for P = X, Z by Lemma 4 of arXiv:2609.37231 (proof in the coordinates of this entry: Proposition 4 of amplified-and-folded-codes/README.md, github.com/TimoKellerMath/quantum-error-correction @ c203901854da), and d_X = d_Z = 12 for the base is certified in certs/96-16-12.json (tropidist b03ec2d4077f, level solver). Witnesses: u (x) (e_0 + e_1) for the witnesses u of codes/96-16-12.json. Filed as upper_bound with these witnesses: the board earns the exact tier only through certs/, and its certifiers do not reach d = 24 at k = 64. The construction and the base are published; at board commit 8042f9da no CSS entry dominates or equals this code in (n, k, d, w), and no entry has its n and k unless named here; checked, not equivalent to an existing entry.
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

[[656,64,24]]: [[6,4,2]] amplification of 96-16-12

Direction & hypothesis

Cell: check weight 11, so the any weight class, unrestricted locality (no layout submitted), CSS board. One step of the distance amplification of Liang, Gu, Chen, Eisert and Wang (arXiv:2609.37231) with the [[N,N-2,2]] amplifier turns a CSS code [[n,k,d]] whose retained checks are linearly independent into a [[(N+1)n - k, (N-2)k, 2d]] code, at check weight max(w_X + 1, w_Z + 1, N + q_Z, N + q_X) with q the largest column weights. The distance doubles exactly, for X and Z separately (Lemma 4 there), so every board base with a certified exact distance gives an amplified code with a proved exact distance. Hypothesis: some of these are new points of the frontier, in particular where the board's amplified entries keep dependent base rows (which only lengthen the code) or use bases without a certificate. Here the base is codes/96-16-12.json ([[96,16,12]] two-block code over a group of order 48, board entry of @FarLab), certified exact in certs/96-16-12.json.

What was searched

All CSS entries of board commit 8042f9da with an exact certificate were amplified on paper with the [[N,N-2,2]] amplifiers for N = 4, 6, 8, 10 (935, 784, 664 and 567 bases with (N+1)n - k <= 1000). Of the admissible candidates with check weight at most 12, 89 are not dominated by a CSS entry in (n, k, d, w) and 57 of these also not by each other; most have d = 4 (high-rate bases of distance 2). The eight with d >= 12 were built and verified, with linearly independent base rows spanning the row spaces chosen to minimize the check weight (randomized greedy; a counting bound shows that no choice of rows gives a lower weight). This code is one of them.

Evidence trail

  • Construction: Definition 1 of the README of the package cited below, with the base rows listed in provenance.construction left out (40 of 48 X-checks and 40 of 48 Z-checks kept); n = 656 = 7 x 96 - 16, k = 64 by GF(2) ranks, check weight 11, qubit degree at most 16 (10 X-checks, 10 Z-checks).
  • Distance (proved): d_X = 2 d_X(base) = 24 and d_Z = 2 d_Z(base) = 24 by Lemma 4 of arXiv:2609.37231 (written out in the coordinates of this entry as Proposition 4 of the README), since d_X(base) = d_Z(base) = 12 is certified in certs/96-16-12.json (tropidist b03ec2d4077f, level solver). Witnesses: u (x) (e_0 + e_1) for the witnesses u of codes/96-16-12.json.
  • Consistency check (computed, heuristic): an information-set search with 1.1e5 trials per side found nothing lighter than 24; the 8960 and 8998 distinct words of weight 24 it found (X, Z) all have the form l (x) (e_a + e_b) with l a weight-12 logical of the base, as the proof predicts (Lemma 5 of the README; with the 4056 such logicals of the base found by a saturated search there are 15 x 4056 = 60840 of them per side).
  • Board placement (computed at 8042f9da): no CSS entry dominates or equals it in (n, k, d, w); it dominates no entry, so it is a new point of the frontier.
  • Final claim: d = 24 exactly, by proof. Filed as upper_bound with the witnesses, since the board earns the exact tier only through certs/ and its certifiers do not reach d = 24 at k = 64.

Dead ends

  • Most amplifications of certified bases are on the board already or dominated: by our audit, 70 of the 80 amplified entries of 8042f9da are amplifications of certified bases (so their distances are exact by the same lemma), and for example [[90,8,10]] and [[108,8,10]] give [[442,16,20]] and [[532,16,20]] at check weight 7, dominated by the board's [[252,16,d<=20]].
  • The [[4,2,2]] step costs more than one unit of check weight when a column weight of the base exceeds w - 3: [[48,4,7]] and [[60,4,8]] (w = 5, column weight 3) give [[236,8,14]] and [[296,8,16]] at check weight 7, dominated by [[140,8,14]] and [[180,12,d<=16]].

Tools

Claude Opus 5.5 (Claude Code); Python (standard library) for the construction, ranks and checks; an information-set search in C; tropidist (Cheng, Guo, Pan, arXiv:2611.08247) at the board's pinned commit b03ec2d4077f for the direct runs. The verification of all eight amplified codes took about 45 CPU-minutes.

Reproduction

In amplified-and-folded-codes/ of github.com/TimoKellerMath/quantum-error-correction @ c203901854da, python3 src/rebuild.py rebuilds the check matrices of this entry from a copy of codes/96-16-12.json and the list of dropped rows (data/codes/656-64-24.json), compares them row by row and checks n, k, the weights, the CSS condition and both witnesses; README.md there contains the definitions and the proofs.

Parity checks

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