← back to the board
[[606,48,22]] d ≤
n
606
k
48
d
22
kd²/n
38.3366
w
10
X/Z
1

Share this result

Distance

X/Z asymmetry 1 · d_X ≤ 22, d_Z ≤ 22 · w_X = 10, w_Z = 10 (max(d_X,d_Z)/min(d_X,d_Z); each side carries its own earned tier: = certified exact, ≤ witness upper bound)
d_X 22 · witness weight 22 (claimed upper_bound)
witness operator (support, 22 qubits)
[40, 41, 60, 61, 80, 81, 92, 93, 152, 153, 172, 173, 200, 201, 308, 309, 320, 321, 324, 325, 364, 365]
d_Z 22 · witness weight 22 (claimed upper_bound)
witness operator (support, 22 qubits)
[132, 133, 192, 193, 200, 201, 208, 209, 284, 285, 324, 325, 336, 337, 392, 393, 440, 441, 484, 485, 500, 501]
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–10 (mean 9.1) · H_Z 5–10 (mean 9.1)
qubit degrees H_X 2–9 (mean 4.955) · H_Z 2–9 (mean 4.955)
trapping sets H_X (1,2)×16 (2,2)×24 (3,2)×24 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_X
(1,2): 16 (1,3): 36 (1,4): 183 (1,5): 248 (1,6): 72 (1,9): 51 (2,2): 24 (2,4): 122 (2,5): 192 (2,6): 1294 (2,7): 2804 (2,8): 3640 (2,9): 1588 (2,10): 412 (2,11): 496 (2,12): 936 (2,13): 264 (2,16): 657 (3,2): 24 (3,4): 288 (3,5): 148 (3,6): 1690 (3,7): 3800 (3,8): 15448 (3,9): 41204 (3,10): 73428 (3,11): 81860 (3,12): 50368 (3,13): 31298 (3,14): 28844 (3,15): 30284 (3,16): 14744 (3,17): 5716 (3,18): 11260 (3,19): 21924 (3,20): 6892 (3,21): 3599 (3,22): 360 (3,23): 8314 (3,25): 457
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): 48 (1,4): 183 (1,5): 244 (1,6): 72 (1,9): 51 (2,2): 12 (2,4): 120 (2,5): 272 (2,6): 1306 (2,7): 2876 (2,8): 3446 (2,9): 1612 (2,10): 448 (2,11): 484 (2,12): 936 (2,13): 260 (2,16): 660 (3,2): 12 (3,4): 236 (3,5): 184 (3,6): 1730 (3,7): 4604 (3,8): 16352 (3,9): 42260 (3,10): 72452 (3,11): 79236 (3,12): 50356 (3,13): 31850 (3,14): 29304 (3,15): 28774 (3,16): 14760 (3,17): 6568 (3,18): 11032 (3,19): 22026 (3,20): 6808 (3,21): 3636 (3,22): 348 (3,23): 8383 (3,25): 461

Construction & provenance

authors @TimoKellerMath
provenance submitted through the challenge
novelty novelty not audited
construction One [[4,2,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 4) applied to the board entry codes/126-24-11.json ([[126,24,11]] two-block code over C63; d_X = d_Z = 11 certified in certs/126-24-11.json), keeping all of its checks.X except the rows [43, 49, 51, 52, 54, 56, 57, 58, 59, 60, 61, 62] and all of its checks.Z except the rows [50, 51, 52, 54, 55, 56, 57, 58, 59, 60, 61, 62] (linearly independent, 51 and 51 rows). Qubits: central (q,a) -> 4q+a (q a base qubit, 0 <= a < 4); t_j -> 504+j for the j-th kept Z-check z_j; s_i -> 555+i for the i-th kept X-check c_i. X-checks: (c_i,a) = {4q+a : q in c_i} + {s_i} (i, then a), then (q) = {4q,...,4q+3} + {t_j : q in z_j} (q = 0..125); Z-checks: (z_j,a) = {4q+a : q in z_j} + {t_j}, then (q) = {4q,...,4q+3} + {s_i : q in c_i}. n = 4*126 + 51 + 51 = 606 = 5n - k of the base, k = 2*24 = 48, check weight 10.
model Claude Claude Opus 5.5 (claimed, not verified)
builds on arXiv:2609.37231, arXiv:2610.13880, arXiv:1512.07081, arXiv:2611.08247
date 2026-11-10
notes Distance: d_X = d_Z = 22 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 = 11 for the base is certified in certs/126-24-11.json (tropidist b03ec2d4077f, level solver). Witnesses: u (x) (e_0 + e_1) for the witnesses u of codes/126-24-11.json. Filed as upper_bound with these witnesses: the board earns the exact tier only through certs/, and its certifiers do not reach d = 22 at k = 48. 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. The board entry 630-48-22 is the amplification of the same base with all 63 + 63 base rows, which this code shortens to n = 606 by leaving out dependent rows.
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

[[606,48,22]]: [[4,2,2]] amplification of 126-24-11

Direction & hypothesis

Cell: check weight 10, 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/126-24-11.json ([[126,24,11]] two-block code over C63, board entry of G. Lee), certified exact in certs/126-24-11.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 (51 of 63 X-checks and 51 of 63 Z-checks kept); n = 606 = 5 x 126 - 24, k = 48 by GF(2) ranks, check weight 10, qubit degree at most 13 (9 X-checks, 9 Z-checks).
  • Distance (proved): d_X = 2 d_X(base) = 22 and d_Z = 2 d_Z(base) = 22 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) = 11 is certified in certs/126-24-11.json (tropidist b03ec2d4077f, level solver). Witnesses: u (x) (e_0 + e_1) for the witnesses u of codes/126-24-11.json.
  • Consistency check (computed, heuristic): an information-set search with 1.1e5 trials per side found nothing lighter than 22; the 898 and 911 distinct words of weight 22 it found (X, Z) all have the form l (x) (e_a + e_b) with l a weight-11 logical of the base, as the proof predicts (Lemma 5 of the README; with the 252 such logicals of the base found by a saturated search there are 6 x 252 = 1512 of them per side).
  • Board placement (computed at 8042f9da): no CSS entry dominates or equals it in (n, k, d, w); it dominates 630-48-22 (better on n). The entry 630-48-22 amplifies the same base 126-24-11 with all 63 + 63 base rows; leaving out the 12 + 12 dependent rows gives n = 606.
  • Final claim: d = 22 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 = 22 at k = 48.

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