← back to the board
[[610,40,22]] d ≤
n
610
k
40
d
22
kd²/n
31.7377
w
9
X/Z
1

Share this result

Distance

X/Z asymmetry 1 · d_X ≤ 22, d_Z ≤ 22 · w_X = 9, w_Z = 9 (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)
[24, 25, 132, 133, 148, 149, 156, 157, 160, 161, 164, 165, 240, 241, 260, 261, 328, 329, 368, 369, 380, 381]
d_Z 22 · witness weight 22 (claimed upper_bound)
witness operator (support, 22 qubits)
[24, 25, 92, 93, 144, 145, 220, 221, 272, 273, 316, 317, 328, 329, 364, 365, 440, 441, 444, 445, 456, 457]
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 5–9 (mean 8.391) · H_Z 6–9 (mean 8.391)
qubit degrees H_X 3–8 (mean 4.649) · H_Z 2–8 (mean 4.649)
trapping sets H_X (1,3)×44 (2,3)×4 (3,4)×144 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_X
(1,3): 44 (1,4): 285 (1,5): 228 (1,8): 53 (2,3): 4 (2,4): 86 (2,5): 408 (2,6): 2412 (2,7): 3444 (2,8): 1862 (2,9): 156 (2,10): 768 (2,11): 772 (2,12): 44 (2,14): 440 (3,4): 144 (3,5): 72 (3,6): 2472 (3,7): 7492 (3,8): 31140 (3,9): 60252 (3,10): 56812 (3,11): 33244 (3,12): 21530 (3,13): 27120 (3,14): 15148 (3,15): 3208 (3,16): 12789 (3,17): 11516 (3,18): 1968 (3,19): 812 (3,20): 4871 (3,22): 142
trapping sets H_Z (1,2)×4 (2,2)×6 (3,2)×6 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_Z
(1,2): 4 (1,3): 36 (1,4): 289 (1,5): 228 (1,8): 53 (2,2): 6 (2,4): 106 (2,5): 348 (2,6): 2334 (2,7): 3624 (2,8): 1806 (2,9): 128 (2,10): 788 (2,11): 768 (2,12): 43 (2,14): 441 (3,2): 6 (3,4): 140 (3,5): 152 (3,6): 2518 (3,7): 6720 (3,8): 29604 (3,9): 62680 (3,10): 57978 (3,11): 31600 (3,12): 21120 (3,13): 28344 (3,14): 14802 (3,15): 2756 (3,16): 13144 (3,17): 11412 (3,18): 1995 (3,19): 808 (3,20): 4867 (3,22): 144

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-20-11.json ([[126,20,11]] two-block code on Z_63; d_X = d_Z = 11 certified in certs/126-20-11.json), keeping all of its checks.X except the rows [1, 8, 16, 28, 33, 36, 42, 43, 49, 51] and all of its checks.Z except the rows [0, 8, 21, 22, 29, 31, 37, 39, 50, 57] (linearly independent, 53 and 53 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 -> 557+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 + 53 + 53 = 610 = 5n - k of the base, k = 2*20 = 40, check weight 9.
model Claude Claude Opus 5.5 (claimed, not verified)
builds on arXiv:2609.37231, arXiv:2306.16400, 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-20-11.json (tropidist b03ec2d4077f, level solver). Witnesses: u (x) (e_0 + e_1) for the witnesses u of codes/126-20-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 = 40. 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 610-40-20 has the same n, k and check weight and d <= 20 by its witness (it is the [[4,2,2]] amplification of 126-20-10, so d = 20 exactly by the same lemma and certs/126-20-10.json); 630-40-22 is the amplification of the same base with all 63 + 63 base rows, which this code shortens to n = 610 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

[[610,40,22]]: [[4,2,2]] amplification of 126-20-11

Direction & hypothesis

Cell: check weight 9, 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-20-11.json ([[126,20,11]] two-block code on Z_63, board entry of @FarLab), certified exact in certs/126-20-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 (53 of 63 X-checks and 53 of 63 Z-checks kept); n = 610 = 5 x 126 - 20, k = 40 by GF(2) ranks, check weight 9, qubit degree at most 12 (8 X-checks, 8 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-20-11.json (tropidist b03ec2d4077f, level solver). Witnesses: u (x) (e_0 + e_1) for the witnesses u of codes/126-20-11.json.
  • Consistency check (computed, heuristic): an information-set search with 1.1e5 trials per side found nothing lighter than 22; the 1827 and 1805 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 441 such logicals of the base found by a saturated search there are 6 x 441 = 2646 of them per side).
  • tropidist b03ec2d4077f on side X (one thread, 600 s): no result within the time limit, proved lower bound d_X >= 20 at that point. Not run on the other side.
  • Board placement (computed at 8042f9da): no CSS entry dominates or equals it in (n, k, d, w); it dominates 610-40-20 (better on d), 630-40-22 (better on n). The entry 610-40-20 has the same n, k and check weight 9 and d <= 20 by its witness; it is the [[4,2,2]] amplification of 126-20-10 (by our audit of the board's amplified entries), so its d = 20 is exact by the same lemma. The entry 630-40-22 amplifies the same base 126-20-11 with all 63 + 63 base rows; leaving out the 10 + 10 dependent rows gives n = 610.
  • 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 = 40.

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