← back to the board
[[616,56,22]] d ≤
n
616
k
56
d
22
kd²/n
44.0
w
12
X/Z
1

Share this result

Distance

X/Z asymmetry 1 · d_X ≤ 22, d_Z ≤ 22 · w_X = 12, w_Z = 12 (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)
[78, 79, 168, 169, 210, 211, 246, 247, 264, 265, 342, 343, 348, 349, 420, 421, 462, 463, 492, 493, 498, 499]
d_Z 22 · witness weight 22 (claimed upper_bound)
witness operator (support, 22 qubits)
[42, 43, 108, 109, 120, 121, 132, 133, 222, 223, 228, 229, 258, 259, 396, 397, 426, 427, 450, 451, 492, 493]
certificate none yet · distance stands as a self-certified upper bound (d ≤)

Diagnostics

computed by the verifier from the parity checks, the layout, and the stored witnesses; shown as evidence, not used for ranking
girth H_X 4 · H_Z 4 (shortest cycle of each side’s Tanner graph; longer is friendlier to belief propagation)
check weights H_X 8–12 (mean 10.78) · H_Z 8–12 (mean 10.78)
qubit degrees H_X 3–10 (mean 5.565) · H_Z 3–10 (mean 5.565)
trapping sets H_X (1,3)×36 (2,4)×90 (3,5)×18 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_X
(1,3): 36 (1,4): 102 (1,5): 180 (1,6): 188 (1,7): 72 (1,10): 38 (2,4): 90 (2,5): 108 (2,6): 747 (2,7): 1530 (2,8): 2820 (2,9): 2982 (2,10): 2859 (2,11): 1398 (2,12): 852 (2,13): 846 (2,14): 590 (2,15): 228 (2,16): 33 (2,18): 416 (3,5): 18 (3,6): 834 (3,7): 3030 (3,8): 8841 (3,9): 20526 (3,10): 42640 (3,11): 67098 (3,12): 84555 (3,13): 92694 (3,14): 78729 (3,15): 62310 (3,16): 45730 (3,17): 35862 (3,18): 26523 (3,19): 15180 (3,20): 13928 (3,21): 17172 (3,22): 13088 (3,23): 5730 (3,24): 2595 (3,25): 174 (3,26): 2642 (3,28): 79
trapping sets H_Z (1,3)×48 (2,4)×120 (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): 48 (1,4): 78 (1,5): 186 (1,6): 200 (1,7): 66 (1,10): 38 (2,4): 120 (2,5): 96 (2,6): 747 (2,7): 1434 (2,8): 2739 (2,9): 3066 (2,10): 2979 (2,11): 1452 (2,12): 735 (2,13): 870 (2,14): 591 (2,15): 234 (2,16): 32 (2,18): 414 (3,5): 6 (3,6): 888 (3,7): 3460 (3,8): 8799 (3,9): 19554 (3,10): 41180 (3,11): 65520 (3,12): 85659 (3,13): 94760 (3,14): 81312 (3,15): 61164 (3,16): 45160 (3,17): 36066 (3,18): 26603 (3,19): 16558 (3,20): 12383 (3,21): 17652 (3,22): 13050 (3,23): 5772 (3,24): 2514 (3,25): 210 (3,26): 2642 (3,28): 78

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/90-14-11.json ([[90,14,11]] two-block code over a group of order 45; d_X = d_Z = 11 certified in certs/90-14-11.json), keeping all of its checks.X except the rows [2, 9, 16, 17, 34, 40, 44] and all of its checks.Z except the rows [3, 9, 21, 23, 30, 39, 44] (linearly independent, 38 and 38 rows). Qubits: central (q,a) -> 6q+a (q a base qubit, 0 <= a < 6); t_j -> 540+j for the j-th kept Z-check z_j; s_i -> 578+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..89); 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*90 + 38 + 38 = 616 = 7n - k of the base, k = 4*14 = 56, check weight 12.
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 = 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/90-14-11.json (tropidist b03ec2d4077f, level solver). Witnesses: u (x) (e_0 + e_1) for the witnesses u of codes/90-14-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 = 56. 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

[[616,56,22]]: [[6,4,2]] amplification of 90-14-11

Direction & hypothesis

Cell: check weight 12, 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/90-14-11.json ([[90,14,11]] two-block code over a group of order 45, board entry of @FarLab), certified exact in certs/90-14-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 (38 of 45 X-checks and 38 of 45 Z-checks kept); n = 616 = 7 x 90 - 14, k = 56 by GF(2) ranks, check weight 12, qubit degree at most 16 (10 X-checks, 10 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/90-14-11.json (tropidist b03ec2d4077f, level solver). Witnesses: u (x) (e_0 + e_1) for the witnesses u of codes/90-14-11.json.
  • Consistency check (computed, heuristic): an information-set search with 1.1e5 trials per side found nothing lighter than 22; the 6780 and 6714 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 810 such logicals of the base found by a saturated search there are 15 x 810 = 12150 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 = 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 = 56.

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]].
  • For this base no choice of retained rows gives check weight below 12: the 7 rows left out of each base matrix meet at most 7 x 6 = 42 of its 45 columns of degree 6.

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