← back to the board
[[860,130,10]] d =
n
860
k
130
d
10
kd²/n
15.1163
w
7
X/Z
1

Share this result

Distance

X/Z asymmetry 1 · d_X = 10, d_Z = 10 · w_X = 7, w_Z = 7 (max(d_X,d_Z)/min(d_X,d_Z); each side carries its own earned tier: = certified exact, ≤ witness upper bound)
d_X 10 · witness weight 10 (claimed exact)
witness operator (support, 10 qubits)
[260, 261, 356, 357, 460, 461, 608, 609, 732, 733]
d_Z 10 · witness weight 10 (claimed exact)
witness operator (support, 10 qubits)
[144, 145, 488, 489, 540, 541, 640, 641, 664, 665]
certificate exact, d = 10 · tropidist b03ec2d4077f (arXiv:2611.08247) exhaustive search · level solver: a solver verdict, no artifact a third party can check without re-running the encoding
X: no logical < 10 exists; Z: no logical < 10 exists

Diagnostics

computed by the verifier from the parity checks, the layout, and the stored witnesses; shown as evidence, not used for ranking
girth H_X 6 · H_Z 6 (shortest cycle of each side’s Tanner graph; longer is friendlier to belief propagation)
check weights H_X 5–7 (mean 6.541) · H_Z 5–7 (mean 6.541)
qubit degrees H_X 2–6 (mean 3.233) · H_Z 2–6 (mean 3.233)
trapping sets H_X (1,2)×40 (2,2)×60 (3,2)×60 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_X
(1,2): 40 (1,3): 700 (1,4): 60 (1,6): 60 (2,2): 60 (2,3): 200 (2,4): 4490 (2,5): 1400 (2,6): 64 (2,7): 1376 (2,10): 175 (3,2): 60 (3,3): 600 (3,4): 3740 (3,5): 37764 (3,6): 18872 (3,7): 7536 (3,8): 26152 (3,9): 2752 (3,10): 2368 (3,11): 6696 (3,12): 24 (3,13): 676 (3,14): 850
trapping sets H_Z (1,2)×40 (2,2)×60 (3,2)×60 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_Z
(1,2): 40 (1,3): 700 (1,4): 60 (1,6): 60 (2,2): 60 (2,3): 200 (2,4): 4490 (2,5): 1400 (2,6): 64 (2,7): 1376 (2,10): 175 (3,2): 60 (3,3): 600 (3,4): 3740 (3,5): 37764 (3,6): 18872 (3,7): 7536 (3,8): 26152 (3,9): 2752 (3,10): 2368 (3,11): 6696 (3,12): 24 (3,13): 676 (3,14): 850

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/185-65-5.json ([[185,65,5]], a code-calculus E-PUNCTURE transform of 186-64-6; d_X = d_Z = 5), keeping all 60 of its checks.X and all 60 of its checks.Z (linearly independent), in their order. Qubits: central (q,a) -> 4q+a (q a base qubit, 0 <= a < 4); t_j -> 740+j for the j-th Z-check z_j; s_i -> 800+i for the i-th 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..184); 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*185 + 60 + 60 = 860 = 5n - k of the base, k = 2*65 = 130, check weight 7.
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 = 10 exactly, certified directly by tropidist b03ec2d4077f in certs/860-130-10.json (same pull request), and proved: 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 9 of two-block-and-amplified-codes/README.md, github.com/TimoKellerMath/quantum-error-correction @ aaa18674c9a1), and d_X = d_Z = 5 for the base 185-65-5, which has no board certificate, is certified exactly in the same package by two exhaustive search programs (exactA, exactB). Witnesses: u (x) (e_0 + e_1) for the witnesses u of codes/185-65-5.json. 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; it is on the frontier only through its check weight 7, since entries of check weight 8 such as 512-132-14 are better in n, k and d. 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

[[860,130,10]]: [[4,2,2]] amplification of 185-65-5

Direction & hypothesis

Cell: check weight 7, so the weight-8 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 [[4,2,2]] amplifier turns a CSS code [[n,k,d]] with linearly independent checks into a [[5n - k, 2k, 2d]] code, at check weight max(w_X + 1, w_Z + 1, 4 + q_Z, 4 + q_X) with q the largest column weights. The distance doubles exactly, for X and Z separately (Lemma 4 there), so a base whose distance is certified gives an amplified code with a proved exact distance. Hypothesis: board entries whose distances are claimed but not certified can serve as bases once their distances are certified. Here the base is codes/185-65-5.json ([[185,65,5]], a code-calculus E-PUNCTURE transform of 186-64-6; board entry of @mathysrennela), whose claimed d_X = d_Z = 5 had no certificate (our certificate for it is also proposed in #5306).

What was searched

Every CSS entry of board commit 8042f9da with k >= 1 and (N+1)n - k <= 1000, whatever its distance status, was amplified on paper with the [[4,2,2]] and [[6,4,2]] amplifiers (1444 bases, 2604 candidates; d' = 2d from the claimed side distances). Ten candidates are admissible, have d' >= 10 and check weight at most 12, and have no board entry with the same n and k, no amplified board entry of the same base and no CSS entry dominating them in (n, k, d, w). Seven of them have bases with board certificates (six are submitted in other pull requests); three have uncertified bases: 185-65-5, 185-64-5 and 96-17-6. We certified these three bases exactly; this code is one of the two undominated results.

Evidence trail

  • Construction: Definition 6 of the README of the package cited below, with all 60 X-checks and 60 Z-checks of the base, which are linearly independent; n = 860 = 5 x 185 - 65, k = 130 by GF(2) ranks, check weight 7, qubit degree at most 10 (6 X-checks, 6 Z-checks).
  • Base distance (computed): two independently written exhaustive search programs (exactA, exactB; completeness proofs in their notes in the package) find no nontrivial logical of weight < 5 on either side of 185-65-5 at W = 4 and a word of weight 5 at W = 5; the Tanner-graph groups of the base are trivial (nauty, Magma), so every qubit is an anchor.
  • Distance (proved): d_X = 2 d_X(base) = 10 and d_Z = 2 d_Z(base) = 10 by Lemma 4 of arXiv:2609.37231, written out in the coordinates of this entry as Proposition 9 of the README. Witnesses: u (x) (e_0 + e_1) for the witnesses u of codes/185-65-5.json.
  • Direct certification (computed, without the lemma): tropidist b03ec2d4077f, run by us in the board's encoding (one thread, limit 600 s), proves d_X = d_Z = 10 in 2.9 s and 1.3 s; the returned vectors were rechecked; recorded in certs/860-130-10.json (same pull request). exactA and exactB on this code, with its Tanner-graph group of order 24 (the permutations of the four copies), find nothing at W = 9 on either side (30573 to 33543 nodes per run) and words of weight 10 at W = 10.
  • Board placement (computed at 8042f9da): no CSS entry dominates or equals it in (n, k, d, w), and no entry has its n and k. Among the entries of check weight at most 7 the largest d with n <= 860 and k >= 130 is 8 (675-139-8, 810-166-8, 830-146-8); this code dominates no entry, so it is a new point of the frontier, but only through its check weight: entries of check weight 8 are better in n, k and d, for example 512-132-14 and 568-146-18.
  • Final claim: d = 10 exactly. The entry claims exact, backed by certs/860-130-10.json.

Dead ends

  • The base 185-64-5 (another code-calculus transform of 186-64-6, with d_X = 6 and d_Z = 5, certified exactly by the same two programs) gives [[861,128,10]] with d_X = 12, d_Z = 10 (also computed directly), which this code dominates.
  • Of the ten candidates, [[698,64,22]] (from 102-16-11) is dominated by [[656,64,24]], which is submitted in another pull request, and none has check weight 6 or less.
  • The [[4,2,2]] step raises the check weight to max(w + 1, 4 + q) and the qubit degree to 4 + w; for weight-6 bases with column weights at most 3, like this one, that is check weight 7 and qubit degree 10, so the amplified codes compete in the weight-8 class against codes of check weight 8.

Tools

Claude Opus 5.5 (Claude Code); Python (standard library) for the screen, the construction, ranks and checks; exactA and exactB (C, our programs, published in the package) for the exact searches; tropidist (Cheng, Guo, Pan, arXiv:2611.08247) at the board's pinned commit b03ec2d4077f for the direct runs. The screen, the base certificates and the checks of all candidates took about one CPU-hour; the runs for this code a few seconds.

Reproduction

In two-block-and-amplified-codes/ of github.com/TimoKellerMath/quantum-error-correction @ aaa18674c9a1, python3 src/rebuild.py rebuilds the check matrices of this entry from a copy of codes/185-65-5.json (data/bases/) by Definition 6, compares them row by row with data/codes/860-130-10.json and checks n, k, the weights, the CSS condition and both witnesses; make quick reruns the exact searches on the base and on this code and compares them with our logs; README.md there contains the definitions and the proofs.

Parity checks

X-checks 425 (max weight 7) · Z-checks 425 (max weight 7)
H_X (425 checks, sparse supports)
[0, 120, 244, 368, 492, 616, 800] [1, 121, 245, 369, 493, 617, 800] [2, 122, 246, 370, 494, 618, 800] [3, 123, 247, 371, 495, 619, 800] [4, 124, 248, 372, 496, 620, 801] [5, 125, 249, 373, 497, 621, 801] [6, 126, 250, 374, 498, 622, 801] [7, 127, 251, 375, 499, 623, 801] [8, 128, 252, 376, 500, 624, 802] [9, 129, 253, 377, 501, 625, 802] [10, 130, 254, 378, 502, 626, 802] [11, 131, 255, 379, 503, 627, 802] [12, 132, 256, 380, 504, 628, 803] [13, 133, 257, 381, 505, 629, 803] [14, 134, 258, 382, 506, 630, 803] [15, 135, 259, 383, 507, 631, 803] [16, 136, 260, 384, 508, 632, 804] [17, 137, 261, 385, 509, 633, 804] [18, 138, 262, 386, 510, 634, 804] [19, 139, 263, 387, 511, 635, 804] [20, 140, 264, 388, 512, 636, 805] [21, 141, 265, 389, 513, 637, 805] [22, 142, 266, 390, 514, 638, 805] [23, 143, 267, 391, 515, 639, 805] [24, 144, 268, 392, 516, 640, 806] [25, 145, 269, 393, 517, 641, 806] [26, 146, 270, 394, 518, 642, 806] [27, 147, 271, 395, 519, 643, 806] [28, 148, 272, 396, 520, 644, 807] [29, 149, 273, 397, 521, 645, 807] [30, 150, 274, 398, 522, 646, 807] [31, 151, 275, 399, 523, 647, 807] [32, 152, 276, 400, 524, 648, 808] [33, 153, 277, 401, 525, 649, 808] [34, 154, 278, 402, 526, 650, 808] [35, 155, 279, 403, 527, 651, 808] [36, 156, 280, 404, 528, 652, 809] [37, 157, 281, 405, 529, 653, 809] [38, 158, 282, 406, 530, 654, 809] [39, 159, 283, 407, 531, 655, 809] [40, 160, 284, 408, 532, 656, 810] [41, 161, 285, 409, 533, 657, 810] [42, 162, 286, 410, 534, 658, 810] [43, 163, 287, 411, 535, 659, 810] [44, 164, 288, 412, 536, 660, 811] [45, 165, 289, 413, 537, 661, 811] [46, 166, 290, 414, 538, 662, 811] [47, 167, 291, 415, 539, 663, 811] [48, 168, 292, 416, 540, 664, 812] [49, 169, 293, 417, 541, 665, 812] [50, 170, 294, 418, 542, 666, 812] [51, 171, 295, 419, 543, 667, 812] [52, 172, 296, 420, 544, 668, 813] [53, 173, 297, 421, 545, 669, 813] [54, 174, 298, 422, 546, 670, 813] [55, 175, 299, 423, 547, 671, 813] [56, 176, 300, 424, 548, 672, 814] [57, 177, 301, 425, 549, 673, 814] [58, 178, 302, 426, 550, 674, 814] [59, 179, 303, 427, 551, 675, 814] [60, 180, 304, 428, 552, 676, 815] [61, 181, 305, 429, 553, 677, 815] [62, 182, 306, 430, 554, 678, 815] [63, 183, 307, 431, 555, 679, 815] [64, 184, 308, 432, 556, 680, 816] [65, 185, 309, 433, 557, 681, 816] [66, 186, 310, 434, 558, 682, 816] [67, 187, 311, 435, 559, 683, 816] [68, 188, 312, 436, 560, 684, 817] [69, 189, 313, 437, 561, 685, 817] [70, 190, 314, 438, 562, 686, 817] [71, 191, 315, 439, 563, 687, 817] [72, 192, 316, 440, 564, 688, 818] [73, 193, 317, 441, 565, 689, 818] [74, 194, 318, 442, 566, 690, 818] [75, 195, 319, 443, 567, 691, 818] [76, 196, 320, 444, 568, 692, 819] [77, 197, 321, 445, 569, 693, 819] [78, 198, 322, 446, 570, 694, 819] [79, 199, 323, 447, 571, 695, 819] [80, 200, 324, 448, 572, 696, 820] [81, 201, 325, 449, 573, 697, 820] [82, 202, 326, 450, 574, 698, 820] [83, 203, 327, 451, 575, 699, 820] [84, 204, 328, 452, 576, 700, 821] [85, 205, 329, 453, 577, 701, 821] [86, 206, 330, 454, 578, 702, 821] [87, 207, 331, 455, 579, 703, 821] [88, 208, 332, 456, 580, 704, 822] [89, 209, 333, 457, 581, 705, 822] [90, 210, 334, 458, 582, 706, 822] [91, 211, 335, 459, 583, 707, 822] [92, 212, 336, 460, 584, 708, 823] [93, 213, 337, 461, 585, 709, 823] [94, 214, 338, 462, 586, 710, 823] [95, 215, 339, 463, 587, 711, 823] [96, 216, 340, 464, 588, 712, 824] [97, 217, 341, 465, 589, 713, 824] [98, 218, 342, 466, 590, 714, 824] [99, 219, 343, 467, 591, 715, 824] [100, 220, 344, 468, 592, 716, 825] [101, 221, 345, 469, 593, 717, 825] [102, 222, 346, 470, 594, 718, 825] [103, 223, 347, 471, 595, 719, 825] [104, 224, 348, 472, 596, 720, 826] [105, 225, 349, 473, 597, 721, 826] [106, 226, 350, 474, 598, 722, 826] [107, 227, 351, 475, 599, 723, 826] [108, 228, 352, 476, 600, 724, 827] [109, 229, 353, 477, 601, 725, 827] [110, 230, 354, 478, 602, 726, 827] [111, 231, 355, 479, 603, 727, 827] [112, 232, 356, 480, 604, 728, 828] [113, 233, 357, 481, 605, 729, 828] [114, 234, 358, 482, 606, 730, 828] [115, 235, 359, 483, 607, 731, 828] [116, 236, 360, 484, 608, 732, 829] [117, 237, 361, 485, 609, 733, 829] [118, 238, 362, 486, 610, 734, 829] [119, 239, 363, 487, 611, 735, 829] [0, 240, 356, 460, 568, 668, 830] [1, 241, 357, 461, 569, 669, 830] [2, 242, 358, 462, 570, 670, 830] [3, 243, 359, 463, 571, 671, 830] [4, 120, 360, 464, 572, 672, 831] [5, 121, 361, 465, 573, 673, 831] [6, 122, 362, 466, 574, 674, 831] [7, 123, 363, 467, 575, 675, 831] [8, 124, 364, 468, 576, 676, 832] [9, 125, 365, 469, 577, 677, 832] [10, 126, 366, 470, 578, 678, 832] [11, 127, 367, 471, 579, 679, 832] [12, 128, 244, 472, 580, 680, 833] [13, 129, 245, 473, 581, 681, 833] [14, 130, 246, 474, 582, 682, 833] [15, 131, 247, 475, 583, 683, 833] [16, 132, 248, 476, 584, 684, 834] [17, 133, 249, 477, 585, 685, 834] [18, 134, 250, 478, 586, 686, 834] [19, 135, 251, 479, 587, 687, 834] [20, 136, 252, 480, 588, 688, 835] [21, 137, 253, 481, 589, 689, 835] [22, 138, 254, 482, 590, 690, 835] [23, 139, 255, 483, 591, 691, 835] [24, 140, 256, 484, 592, 692, 836] [25, 141, 257, 485, 593, 693, 836] [26, 142, 258, 486, 594, 694, 836] [27, 143, 259, 487, 595, 695, 836] [28, 144, 260, 488, 596, 696, 837] [29, 145, 261, 489, 597, 697, 837] [30, 146, 262, 490, 598, 698, 837] [31, 147, 263, 491, 599, 699, 837] [32, 148, 264, 368, 600, 700, 838] [33, 149, 265, 369, 601, 701, 838] [34, 150, 266, 370, 602, 702, 838] [35, 151, 267, 371, 603, 703, 838] [36, 152, 268, 372, 604, 704, 839] [37, 153, 269, 373, 605, 705, 839] [38, 154, 270, 374, 606, 706, 839] [39, 155, 271, 375, 607, 707, 839] [40, 156, 272, 376, 608, 708, 840] [41, 157, 273, 377, 609, 709, 840] [42, 158, 274, 378, 610, 710, 840] [43, 159, 275, 379, 611, 711, 840] [44, 160, 276, 380, 612, 712, 841] [45, 161, 277, 381, 613, 713, 841] [46, 162, 278, 382, 614, 714, 841] [47, 163, 279, 383, 615, 715, 841] [48, 164, 280, 384, 492, 716, 842] [49, 165, 281, 385, 493, 717, 842] [50, 166, 282, 386, 494, 718, 842] [51, 167, 283, 387, 495, 719, 842] [52, 168, 284, 388, 496, 720, 843] [53, 169, 285, 389, 497, 721, 843] [54, 170, 286, 390, 498, 722, 843] [55, 171, 287, 391, 499, 723, 843] [56, 172, 288, 392, 500, 724, 844] [57, 173, 289, 393, 501, 725, 844] [58, 174, 290, 394, 502, 726, 844] [59, 175, 291, 395, 503, 727, 844] [60, 176, 292, 396, 504, 728, 845] [61, 177, 293, 397, 505, 729, 845] [62, 178, 294, 398, 506, 730, 845] [63, 179, 295, 399, 507, 731, 845] [64, 180, 296, 400, 508, 732, 846] [65, 181, 297, 401, 509, 733, 846] [66, 182, 298, 402, 510, 734, 846] [67, 183, 299, 403, 511, 735, 846] [68, 184, 300, 404, 512, 736, 847] [69, 185, 301, 405, 513, 737, 847] [70, 186, 302, 406, 514, 738, 847] [71, 187, 303, 407, 515, 739, 847] [72, 188, 304, 408, 516, 616, 848] [73, 189, 305, 409, 517, 617, 848] [74, 190, 306, 410, 518, 618, 848] [75, 191, 307, 411, 519, 619, 848] [76, 192, 308, 412, 520, 620, 849] [77, 193, 309, 413, 521, 621, 849] [78, 194, 310, 414, 522, 622, 849] [79, 195, 311, 415, 523, 623, 849] [80, 196, 312, 416, 524, 624, 850] [81, 197, 313, 417, 525, 625, 850] [82, 198, 314, 418, 526, 626, 850] [83, 199, 315, 419, 527, 627, 850] [84, 200, 316, 420, 528, 628, 851] [85, 201, 317, 421, 529, 629, 851] [86, 202, 318, 422, 530, 630, 851] [87, 203, 319, 423, 531, 631, 851] [88, 204, 320, 424, 532, 632, 852] [89, 205, 321, 425, 533, 633, 852] [90, 206, 322, 426, 534, 634, 852] [91, 207, 323, 427, 535, 635, 852] [92, 208, 324, 428, 536, 636, 853] [93, 209, 325, 429, 537, 637, 853] [94, 210, 326, 430, 538, 638, 853] [95, 211, 327, 431, 539, 639, 853] [96, 212, 328, 432, 540, 640, 854] [97, 213, 329, 433, 541, 641, 854] [98, 214, 330, 434, 542, 642, 854] [99, 215, 331, 435, 543, 643, 854] [100, 216, 332, 436, 544, 644, 855] [101, 217, 333, 437, 545, 645, 855] [102, 218, 334, 438, 546, 646, 855] [103, 219, 335, 439, 547, 647, 855] [104, 220, 336, 440, 548, 648, 856] [105, 221, 337, 441, 549, 649, 856] [106, 222, 338, 442, 550, 650, 856] [107, 223, 339, 443, 551, 651, 856] [108, 224, 340, 444, 552, 652, 857] [109, 225, 341, 445, 553, 653, 857] [110, 226, 342, 446, 554, 654, 857] [111, 227, 343, 447, 555, 655, 857] [112, 228, 344, 448, 556, 656, 858] [113, 229, 345, 449, 557, 657, 858] [114, 230, 346, 450, 558, 658, 858] [115, 231, 347, 451, 559, 659, 858] [116, 232, 348, 452, 560, 660, 859] [117, 233, 349, 453, 561, 661, 859] [118, 234, 350, 454, 562, 662, 859] [119, 235, 351, 455, 563, 663, 859] [0, 1, 2, 3, 740, 770] [4, 5, 6, 7, 741, 771] [8, 9, 10, 11, 742, 772] [12, 13, 14, 15, 743, 773] [16, 17, 18, 19, 744, 774] [20, 21, 22, 23, 745, 775] [24, 25, 26, 27, 746, 776] [28, 29, 30, 31, 747, 777] [32, 33, 34, 35, 748, 778] [36, 37, 38, 39, 749, 779] [40, 41, 42, 43, 750, 780] [44, 45, 46, 47, 751, 781] [48, 49, 50, 51, 752, 782] [52, 53, 54, 55, 753, 783] [56, 57, 58, 59, 754, 784] [60, 61, 62, 63, 755, 785] [64, 65, 66, 67, 756, 786] [68, 69, 70, 71, 757, 787] [72, 73, 74, 75, 758, 788] [76, 77, 78, 79, 759, 789] [80, 81, 82, 83, 760, 790] [84, 85, 86, 87, 761, 791] [88, 89, 90, 91, 762, 792] [92, 93, 94, 95, 763, 793] [96, 97, 98, 99, 764, 794] [100, 101, 102, 103, 765, 795] [104, 105, 106, 107, 766, 796] [108, 109, 110, 111, 767, 797] [112, 113, 114, 115, 768, 798] [116, 117, 118, 119, 769, 799] [120, 121, 122, 123, 766, 770] [124, 125, 126, 127, 767, 771] [128, 129, 130, 131, 768, 772] [132, 133, 134, 135, 769, 773] [136, 137, 138, 139, 774] [140, 141, 142, 143, 740, 775] [144, 145, 146, 147, 741, 776] [148, 149, 150, 151, 742, 777] [152, 153, 154, 155, 743, 778] [156, 157, 158, 159, 744, 779] [160, 161, 162, 163, 745, 780] [164, 165, 166, 167, 746, 781] [168, 169, 170, 171, 747, 782] [172, 173, 174, 175, 748, 783] [176, 177, 178, 179, 749, 784] [180, 181, 182, 183, 750, 785] [184, 185, 186, 187, 751, 786] [188, 189, 190, 191, 752, 787] [192, 193, 194, 195, 753, 788] [196, 197, 198, 199, 754, 789] [200, 201, 202, 203, 755, 790] [204, 205, 206, 207, 756, 791] [208, 209, 210, 211, 757, 792] [212, 213, 214, 215, 758, 793] [216, 217, 218, 219, 759, 794] [220, 221, 222, 223, 760, 795] [224, 225, 226, 227, 761, 796] [228, 229, 230, 231, 762, 797] [232, 233, 234, 235, 763, 798] [236, 237, 238, 239, 764, 799] [240, 241, 242, 243, 765] [244, 245, 246, 247, 766, 772] [248, 249, 250, 251, 767, 773] [252, 253, 254, 255, 768, 774] [256, 257, 258, 259, 769, 775] [260, 261, 262, 263, 776] [264, 265, 266, 267, 740, 777] [268, 269, 270, 271, 741, 778] [272, 273, 274, 275, 742, 779] [276, 277, 278, 279, 743, 780] [280, 281, 282, 283, 744, 781] [284, 285, 286, 287, 745, 782] [288, 289, 290, 291, 746, 783] [292, 293, 294, 295, 747, 784] [296, 297, 298, 299, 748, 785] [300, 301, 302, 303, 749, 786] [304, 305, 306, 307, 750, 787] [308, 309, 310, 311, 751, 788] [312, 313, 314, 315, 752, 789] [316, 317, 318, 319, 753, 790] [320, 321, 322, 323, 754, 791] [324, 325, 326, 327, 755, 792] [328, 329, 330, 331, 756, 793] [332, 333, 334, 335, 757, 794] [336, 337, 338, 339, 758, 795] [340, 341, 342, 343, 759, 796] [344, 345, 346, 347, 760, 797] [348, 349, 350, 351, 761, 798] [352, 353, 354, 355, 762, 799] [356, 357, 358, 359, 763] [360, 361, 362, 363, 764, 770] [364, 365, 366, 367, 765, 771] [368, 369, 370, 371, 740, 778] [372, 373, 374, 375, 741, 779] [376, 377, 378, 379, 742, 780] [380, 381, 382, 383, 743, 781] [384, 385, 386, 387, 744, 782] [388, 389, 390, 391, 745, 783] [392, 393, 394, 395, 746, 784] [396, 397, 398, 399, 747, 785] [400, 401, 402, 403, 748, 786] [404, 405, 406, 407, 749, 787] [408, 409, 410, 411, 750, 788] [412, 413, 414, 415, 751, 789] [416, 417, 418, 419, 752, 790] [420, 421, 422, 423, 753, 791] [424, 425, 426, 427, 754, 792] [428, 429, 430, 431, 755, 793] [432, 433, 434, 435, 756, 794] [436, 437, 438, 439, 757, 795] [440, 441, 442, 443, 758, 796] [444, 445, 446, 447, 759, 797] [448, 449, 450, 451, 760, 798] [452, 453, 454, 455, 761, 799] [456, 457, 458, 459, 762] [460, 461, 462, 463, 763, 770] [464, 465, 466, 467, 764, 771] [468, 469, 470, 471, 765, 772] [472, 473, 474, 475, 766, 773] [476, 477, 478, 479, 767, 774] [480, 481, 482, 483, 768, 775] [484, 485, 486, 487, 769, 776] [488, 489, 490, 491, 777] [492, 493, 494, 495, 752, 772] [496, 497, 498, 499, 753, 773] [500, 501, 502, 503, 754, 774] [504, 505, 506, 507, 755, 775] [508, 509, 510, 511, 756, 776] [512, 513, 514, 515, 757, 777] [516, 517, 518, 519, 758, 778] [520, 521, 522, 523, 759, 779] [524, 525, 526, 527, 760, 780] [528, 529, 530, 531, 761, 781] [532, 533, 534, 535, 762, 782] [536, 537, 538, 539, 763, 783] [540, 541, 542, 543, 764, 784] [544, 545, 546, 547, 765, 785] [548, 549, 550, 551, 766, 786] [552, 553, 554, 555, 767, 787] [556, 557, 558, 559, 768, 788] [560, 561, 562, 563, 769, 789] [564, 565, 566, 567, 790] [568, 569, 570, 571, 740, 791] [572, 573, 574, 575, 741, 792] [576, 577, 578, 579, 742, 793] [580, 581, 582, 583, 743, 794] [584, 585, 586, 587, 744, 795] [588, 589, 590, 591, 745, 796] [592, 593, 594, 595, 746, 797] [596, 597, 598, 599, 747, 798] [600, 601, 602, 603, 748, 799] [604, 605, 606, 607, 749] [608, 609, 610, 611, 750, 770] [612, 613, 614, 615, 751, 771] [616, 617, 618, 619, 752, 778] [620, 621, 622, 623, 753, 779] [624, 625, 626, 627, 754, 780] [628, 629, 630, 631, 755, 781] [632, 633, 634, 635, 756, 782] [636, 637, 638, 639, 757, 783] [640, 641, 642, 643, 758, 784] [644, 645, 646, 647, 759, 785] [648, 649, 650, 651, 760, 786] [652, 653, 654, 655, 761, 787] [656, 657, 658, 659, 762, 788] [660, 661, 662, 663, 763, 789] [664, 665, 666, 667, 764, 790] [668, 669, 670, 671, 765, 791] [672, 673, 674, 675, 766, 792] [676, 677, 678, 679, 767, 793] [680, 681, 682, 683, 768, 794] [684, 685, 686, 687, 769, 795] [688, 689, 690, 691, 796] [692, 693, 694, 695, 740, 797] [696, 697, 698, 699, 741, 798] [700, 701, 702, 703, 742, 799] [704, 705, 706, 707, 743] [708, 709, 710, 711, 744, 770] [712, 713, 714, 715, 745, 771] [716, 717, 718, 719, 746, 772] [720, 721, 722, 723, 747, 773] [724, 725, 726, 727, 748, 774] [728, 729, 730, 731, 749, 775] [732, 733, 734, 735, 750, 776] [736, 737, 738, 739, 751, 777]
H_Z (425 checks, sparse supports)
[0, 140, 264, 368, 568, 692, 740] [1, 141, 265, 369, 569, 693, 740] [2, 142, 266, 370, 570, 694, 740] [3, 143, 267, 371, 571, 695, 740] [4, 144, 268, 372, 572, 696, 741] [5, 145, 269, 373, 573, 697, 741] [6, 146, 270, 374, 574, 698, 741] [7, 147, 271, 375, 575, 699, 741] [8, 148, 272, 376, 576, 700, 742] [9, 149, 273, 377, 577, 701, 742] [10, 150, 274, 378, 578, 702, 742] [11, 151, 275, 379, 579, 703, 742] [12, 152, 276, 380, 580, 704, 743] [13, 153, 277, 381, 581, 705, 743] [14, 154, 278, 382, 582, 706, 743] [15, 155, 279, 383, 583, 707, 743] [16, 156, 280, 384, 584, 708, 744] [17, 157, 281, 385, 585, 709, 744] [18, 158, 282, 386, 586, 710, 744] [19, 159, 283, 387, 587, 711, 744] [20, 160, 284, 388, 588, 712, 745] [21, 161, 285, 389, 589, 713, 745] [22, 162, 286, 390, 590, 714, 745] [23, 163, 287, 391, 591, 715, 745] [24, 164, 288, 392, 592, 716, 746] [25, 165, 289, 393, 593, 717, 746] [26, 166, 290, 394, 594, 718, 746] [27, 167, 291, 395, 595, 719, 746] [28, 168, 292, 396, 596, 720, 747] [29, 169, 293, 397, 597, 721, 747] [30, 170, 294, 398, 598, 722, 747] [31, 171, 295, 399, 599, 723, 747] [32, 172, 296, 400, 600, 724, 748] [33, 173, 297, 401, 601, 725, 748] [34, 174, 298, 402, 602, 726, 748] [35, 175, 299, 403, 603, 727, 748] [36, 176, 300, 404, 604, 728, 749] [37, 177, 301, 405, 605, 729, 749] [38, 178, 302, 406, 606, 730, 749] [39, 179, 303, 407, 607, 731, 749] [40, 180, 304, 408, 608, 732, 750] [41, 181, 305, 409, 609, 733, 750] [42, 182, 306, 410, 610, 734, 750] [43, 183, 307, 411, 611, 735, 750] [44, 184, 308, 412, 612, 736, 751] [45, 185, 309, 413, 613, 737, 751] [46, 186, 310, 414, 614, 738, 751] [47, 187, 311, 415, 615, 739, 751] [48, 188, 312, 416, 492, 616, 752] [49, 189, 313, 417, 493, 617, 752] [50, 190, 314, 418, 494, 618, 752] [51, 191, 315, 419, 495, 619, 752] [52, 192, 316, 420, 496, 620, 753] [53, 193, 317, 421, 497, 621, 753] [54, 194, 318, 422, 498, 622, 753] [55, 195, 319, 423, 499, 623, 753] [56, 196, 320, 424, 500, 624, 754] [57, 197, 321, 425, 501, 625, 754] [58, 198, 322, 426, 502, 626, 754] [59, 199, 323, 427, 503, 627, 754] [60, 200, 324, 428, 504, 628, 755] [61, 201, 325, 429, 505, 629, 755] [62, 202, 326, 430, 506, 630, 755] [63, 203, 327, 431, 507, 631, 755] [64, 204, 328, 432, 508, 632, 756] [65, 205, 329, 433, 509, 633, 756] [66, 206, 330, 434, 510, 634, 756] [67, 207, 331, 435, 511, 635, 756] [68, 208, 332, 436, 512, 636, 757] [69, 209, 333, 437, 513, 637, 757] [70, 210, 334, 438, 514, 638, 757] [71, 211, 335, 439, 515, 639, 757] [72, 212, 336, 440, 516, 640, 758] [73, 213, 337, 441, 517, 641, 758] [74, 214, 338, 442, 518, 642, 758] [75, 215, 339, 443, 519, 643, 758] [76, 216, 340, 444, 520, 644, 759] [77, 217, 341, 445, 521, 645, 759] [78, 218, 342, 446, 522, 646, 759] [79, 219, 343, 447, 523, 647, 759] [80, 220, 344, 448, 524, 648, 760] [81, 221, 345, 449, 525, 649, 760] [82, 222, 346, 450, 526, 650, 760] [83, 223, 347, 451, 527, 651, 760] [84, 224, 348, 452, 528, 652, 761] [85, 225, 349, 453, 529, 653, 761] [86, 226, 350, 454, 530, 654, 761] [87, 227, 351, 455, 531, 655, 761] [88, 228, 352, 456, 532, 656, 762] [89, 229, 353, 457, 533, 657, 762] [90, 230, 354, 458, 534, 658, 762] [91, 231, 355, 459, 535, 659, 762] [92, 232, 356, 460, 536, 660, 763] [93, 233, 357, 461, 537, 661, 763] [94, 234, 358, 462, 538, 662, 763] [95, 235, 359, 463, 539, 663, 763] [96, 236, 360, 464, 540, 664, 764] [97, 237, 361, 465, 541, 665, 764] [98, 238, 362, 466, 542, 666, 764] [99, 239, 363, 467, 543, 667, 764] [100, 240, 364, 468, 544, 668, 765] [101, 241, 365, 469, 545, 669, 765] [102, 242, 366, 470, 546, 670, 765] [103, 243, 367, 471, 547, 671, 765] [104, 120, 244, 472, 548, 672, 766] [105, 121, 245, 473, 549, 673, 766] [106, 122, 246, 474, 550, 674, 766] [107, 123, 247, 475, 551, 675, 766] [108, 124, 248, 476, 552, 676, 767] [109, 125, 249, 477, 553, 677, 767] [110, 126, 250, 478, 554, 678, 767] [111, 127, 251, 479, 555, 679, 767] [112, 128, 252, 480, 556, 680, 768] [113, 129, 253, 481, 557, 681, 768] [114, 130, 254, 482, 558, 682, 768] [115, 131, 255, 483, 559, 683, 768] [116, 132, 256, 484, 560, 684, 769] [117, 133, 257, 485, 561, 685, 769] [118, 134, 258, 486, 562, 686, 769] [119, 135, 259, 487, 563, 687, 769] [0, 120, 360, 460, 608, 708, 770] [1, 121, 361, 461, 609, 709, 770] [2, 122, 362, 462, 610, 710, 770] [3, 123, 363, 463, 611, 711, 770] [4, 124, 364, 464, 612, 712, 771] [5, 125, 365, 465, 613, 713, 771] [6, 126, 366, 466, 614, 714, 771] [7, 127, 367, 467, 615, 715, 771] [8, 128, 244, 468, 492, 716, 772] [9, 129, 245, 469, 493, 717, 772] [10, 130, 246, 470, 494, 718, 772] [11, 131, 247, 471, 495, 719, 772] [12, 132, 248, 472, 496, 720, 773] [13, 133, 249, 473, 497, 721, 773] [14, 134, 250, 474, 498, 722, 773] [15, 135, 251, 475, 499, 723, 773] [16, 136, 252, 476, 500, 724, 774] [17, 137, 253, 477, 501, 725, 774] [18, 138, 254, 478, 502, 726, 774] [19, 139, 255, 479, 503, 727, 774] [20, 140, 256, 480, 504, 728, 775] [21, 141, 257, 481, 505, 729, 775] [22, 142, 258, 482, 506, 730, 775] [23, 143, 259, 483, 507, 731, 775] [24, 144, 260, 484, 508, 732, 776] [25, 145, 261, 485, 509, 733, 776] [26, 146, 262, 486, 510, 734, 776] [27, 147, 263, 487, 511, 735, 776] [28, 148, 264, 488, 512, 736, 777] [29, 149, 265, 489, 513, 737, 777] [30, 150, 266, 490, 514, 738, 777] [31, 151, 267, 491, 515, 739, 777] [32, 152, 268, 368, 516, 616, 778] [33, 153, 269, 369, 517, 617, 778] [34, 154, 270, 370, 518, 618, 778] [35, 155, 271, 371, 519, 619, 778] [36, 156, 272, 372, 520, 620, 779] [37, 157, 273, 373, 521, 621, 779] [38, 158, 274, 374, 522, 622, 779] [39, 159, 275, 375, 523, 623, 779] [40, 160, 276, 376, 524, 624, 780] [41, 161, 277, 377, 525, 625, 780] [42, 162, 278, 378, 526, 626, 780] [43, 163, 279, 379, 527, 627, 780] [44, 164, 280, 380, 528, 628, 781] [45, 165, 281, 381, 529, 629, 781] [46, 166, 282, 382, 530, 630, 781] [47, 167, 283, 383, 531, 631, 781] [48, 168, 284, 384, 532, 632, 782] [49, 169, 285, 385, 533, 633, 782] [50, 170, 286, 386, 534, 634, 782] [51, 171, 287, 387, 535, 635, 782] [52, 172, 288, 388, 536, 636, 783] [53, 173, 289, 389, 537, 637, 783] [54, 174, 290, 390, 538, 638, 783] [55, 175, 291, 391, 539, 639, 783] [56, 176, 292, 392, 540, 640, 784] [57, 177, 293, 393, 541, 641, 784] [58, 178, 294, 394, 542, 642, 784] [59, 179, 295, 395, 543, 643, 784] [60, 180, 296, 396, 544, 644, 785] [61, 181, 297, 397, 545, 645, 785] [62, 182, 298, 398, 546, 646, 785] [63, 183, 299, 399, 547, 647, 785] [64, 184, 300, 400, 548, 648, 786] [65, 185, 301, 401, 549, 649, 786] [66, 186, 302, 402, 550, 650, 786] [67, 187, 303, 403, 551, 651, 786] [68, 188, 304, 404, 552, 652, 787] [69, 189, 305, 405, 553, 653, 787] [70, 190, 306, 406, 554, 654, 787] [71, 191, 307, 407, 555, 655, 787] [72, 192, 308, 408, 556, 656, 788] [73, 193, 309, 409, 557, 657, 788] [74, 194, 310, 410, 558, 658, 788] [75, 195, 311, 411, 559, 659, 788] [76, 196, 312, 412, 560, 660, 789] [77, 197, 313, 413, 561, 661, 789] [78, 198, 314, 414, 562, 662, 789] [79, 199, 315, 415, 563, 663, 789] [80, 200, 316, 416, 564, 664, 790] [81, 201, 317, 417, 565, 665, 790] [82, 202, 318, 418, 566, 666, 790] [83, 203, 319, 419, 567, 667, 790] [84, 204, 320, 420, 568, 668, 791] [85, 205, 321, 421, 569, 669, 791] [86, 206, 322, 422, 570, 670, 791] [87, 207, 323, 423, 571, 671, 791] [88, 208, 324, 424, 572, 672, 792] [89, 209, 325, 425, 573, 673, 792] [90, 210, 326, 426, 574, 674, 792] [91, 211, 327, 427, 575, 675, 792] [92, 212, 328, 428, 576, 676, 793] [93, 213, 329, 429, 577, 677, 793] [94, 214, 330, 430, 578, 678, 793] [95, 215, 331, 431, 579, 679, 793] [96, 216, 332, 432, 580, 680, 794] [97, 217, 333, 433, 581, 681, 794] [98, 218, 334, 434, 582, 682, 794] [99, 219, 335, 435, 583, 683, 794] [100, 220, 336, 436, 584, 684, 795] [101, 221, 337, 437, 585, 685, 795] [102, 222, 338, 438, 586, 686, 795] [103, 223, 339, 439, 587, 687, 795] [104, 224, 340, 440, 588, 688, 796] [105, 225, 341, 441, 589, 689, 796] [106, 226, 342, 442, 590, 690, 796] [107, 227, 343, 443, 591, 691, 796] [108, 228, 344, 444, 592, 692, 797] [109, 229, 345, 445, 593, 693, 797] [110, 230, 346, 446, 594, 694, 797] [111, 231, 347, 447, 595, 695, 797] [112, 232, 348, 448, 596, 696, 798] [113, 233, 349, 449, 597, 697, 798] [114, 234, 350, 450, 598, 698, 798] [115, 235, 351, 451, 599, 699, 798] [116, 236, 352, 452, 600, 700, 799] [117, 237, 353, 453, 601, 701, 799] [118, 238, 354, 454, 602, 702, 799] [119, 239, 355, 455, 603, 703, 799] [0, 1, 2, 3, 800, 830] [4, 5, 6, 7, 801, 831] [8, 9, 10, 11, 802, 832] [12, 13, 14, 15, 803, 833] [16, 17, 18, 19, 804, 834] [20, 21, 22, 23, 805, 835] [24, 25, 26, 27, 806, 836] [28, 29, 30, 31, 807, 837] [32, 33, 34, 35, 808, 838] [36, 37, 38, 39, 809, 839] [40, 41, 42, 43, 810, 840] [44, 45, 46, 47, 811, 841] [48, 49, 50, 51, 812, 842] [52, 53, 54, 55, 813, 843] [56, 57, 58, 59, 814, 844] [60, 61, 62, 63, 815, 845] [64, 65, 66, 67, 816, 846] [68, 69, 70, 71, 817, 847] [72, 73, 74, 75, 818, 848] [76, 77, 78, 79, 819, 849] [80, 81, 82, 83, 820, 850] [84, 85, 86, 87, 821, 851] [88, 89, 90, 91, 822, 852] [92, 93, 94, 95, 823, 853] [96, 97, 98, 99, 824, 854] [100, 101, 102, 103, 825, 855] [104, 105, 106, 107, 826, 856] [108, 109, 110, 111, 827, 857] [112, 113, 114, 115, 828, 858] [116, 117, 118, 119, 829, 859] [120, 121, 122, 123, 800, 831] [124, 125, 126, 127, 801, 832] [128, 129, 130, 131, 802, 833] [132, 133, 134, 135, 803, 834] [136, 137, 138, 139, 804, 835] [140, 141, 142, 143, 805, 836] [144, 145, 146, 147, 806, 837] [148, 149, 150, 151, 807, 838] [152, 153, 154, 155, 808, 839] [156, 157, 158, 159, 809, 840] [160, 161, 162, 163, 810, 841] [164, 165, 166, 167, 811, 842] [168, 169, 170, 171, 812, 843] [172, 173, 174, 175, 813, 844] [176, 177, 178, 179, 814, 845] [180, 181, 182, 183, 815, 846] [184, 185, 186, 187, 816, 847] [188, 189, 190, 191, 817, 848] [192, 193, 194, 195, 818, 849] [196, 197, 198, 199, 819, 850] [200, 201, 202, 203, 820, 851] [204, 205, 206, 207, 821, 852] [208, 209, 210, 211, 822, 853] [212, 213, 214, 215, 823, 854] [216, 217, 218, 219, 824, 855] [220, 221, 222, 223, 825, 856] [224, 225, 226, 227, 826, 857] [228, 229, 230, 231, 827, 858] [232, 233, 234, 235, 828, 859] [236, 237, 238, 239, 829] [240, 241, 242, 243, 830] [244, 245, 246, 247, 800, 833] [248, 249, 250, 251, 801, 834] [252, 253, 254, 255, 802, 835] [256, 257, 258, 259, 803, 836] [260, 261, 262, 263, 804, 837] [264, 265, 266, 267, 805, 838] [268, 269, 270, 271, 806, 839] [272, 273, 274, 275, 807, 840] [276, 277, 278, 279, 808, 841] [280, 281, 282, 283, 809, 842] [284, 285, 286, 287, 810, 843] [288, 289, 290, 291, 811, 844] [292, 293, 294, 295, 812, 845] [296, 297, 298, 299, 813, 846] [300, 301, 302, 303, 814, 847] [304, 305, 306, 307, 815, 848] [308, 309, 310, 311, 816, 849] [312, 313, 314, 315, 817, 850] [316, 317, 318, 319, 818, 851] [320, 321, 322, 323, 819, 852] [324, 325, 326, 327, 820, 853] [328, 329, 330, 331, 821, 854] [332, 333, 334, 335, 822, 855] [336, 337, 338, 339, 823, 856] [340, 341, 342, 343, 824, 857] [344, 345, 346, 347, 825, 858] [348, 349, 350, 351, 826, 859] [352, 353, 354, 355, 827] [356, 357, 358, 359, 828, 830] [360, 361, 362, 363, 829, 831] [364, 365, 366, 367, 832] [368, 369, 370, 371, 800, 838] [372, 373, 374, 375, 801, 839] [376, 377, 378, 379, 802, 840] [380, 381, 382, 383, 803, 841] [384, 385, 386, 387, 804, 842] [388, 389, 390, 391, 805, 843] [392, 393, 394, 395, 806, 844] [396, 397, 398, 399, 807, 845] [400, 401, 402, 403, 808, 846] [404, 405, 406, 407, 809, 847] [408, 409, 410, 411, 810, 848] [412, 413, 414, 415, 811, 849] [416, 417, 418, 419, 812, 850] [420, 421, 422, 423, 813, 851] [424, 425, 426, 427, 814, 852] [428, 429, 430, 431, 815, 853] [432, 433, 434, 435, 816, 854] [436, 437, 438, 439, 817, 855] [440, 441, 442, 443, 818, 856] [444, 445, 446, 447, 819, 857] [448, 449, 450, 451, 820, 858] [452, 453, 454, 455, 821, 859] [456, 457, 458, 459, 822] [460, 461, 462, 463, 823, 830] [464, 465, 466, 467, 824, 831] [468, 469, 470, 471, 825, 832] [472, 473, 474, 475, 826, 833] [476, 477, 478, 479, 827, 834] [480, 481, 482, 483, 828, 835] [484, 485, 486, 487, 829, 836] [488, 489, 490, 491, 837] [492, 493, 494, 495, 800, 842] [496, 497, 498, 499, 801, 843] [500, 501, 502, 503, 802, 844] [504, 505, 506, 507, 803, 845] [508, 509, 510, 511, 804, 846] [512, 513, 514, 515, 805, 847] [516, 517, 518, 519, 806, 848] [520, 521, 522, 523, 807, 849] [524, 525, 526, 527, 808, 850] [528, 529, 530, 531, 809, 851] [532, 533, 534, 535, 810, 852] [536, 537, 538, 539, 811, 853] [540, 541, 542, 543, 812, 854] [544, 545, 546, 547, 813, 855] [548, 549, 550, 551, 814, 856] [552, 553, 554, 555, 815, 857] [556, 557, 558, 559, 816, 858] [560, 561, 562, 563, 817, 859] [564, 565, 566, 567, 818] [568, 569, 570, 571, 819, 830] [572, 573, 574, 575, 820, 831] [576, 577, 578, 579, 821, 832] [580, 581, 582, 583, 822, 833] [584, 585, 586, 587, 823, 834] [588, 589, 590, 591, 824, 835] [592, 593, 594, 595, 825, 836] [596, 597, 598, 599, 826, 837] [600, 601, 602, 603, 827, 838] [604, 605, 606, 607, 828, 839] [608, 609, 610, 611, 829, 840] [612, 613, 614, 615, 841] [616, 617, 618, 619, 800, 848] [620, 621, 622, 623, 801, 849] [624, 625, 626, 627, 802, 850] [628, 629, 630, 631, 803, 851] [632, 633, 634, 635, 804, 852] [636, 637, 638, 639, 805, 853] [640, 641, 642, 643, 806, 854] [644, 645, 646, 647, 807, 855] [648, 649, 650, 651, 808, 856] [652, 653, 654, 655, 809, 857] [656, 657, 658, 659, 810, 858] [660, 661, 662, 663, 811, 859] [664, 665, 666, 667, 812] [668, 669, 670, 671, 813, 830] [672, 673, 674, 675, 814, 831] [676, 677, 678, 679, 815, 832] [680, 681, 682, 683, 816, 833] [684, 685, 686, 687, 817, 834] [688, 689, 690, 691, 818, 835] [692, 693, 694, 695, 819, 836] [696, 697, 698, 699, 820, 837] [700, 701, 702, 703, 821, 838] [704, 705, 706, 707, 822, 839] [708, 709, 710, 711, 823, 840] [712, 713, 714, 715, 824, 841] [716, 717, 718, 719, 825, 842] [720, 721, 722, 723, 826, 843] [724, 725, 726, 727, 827, 844] [728, 729, 730, 731, 828, 845] [732, 733, 734, 735, 829, 846] [736, 737, 738, 739, 847]
Code ID 860-130-10 · download JSON · raw on GitHub