← back to the board
[[720,24,24]] d ≤
n
720
k
24
d
24
kd²/n
19.2
w
7
X/Z
1

Share this result

Distance

X/Z asymmetry 1 · d_X ≤ 24, d_Z ≤ 24 · 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 24 · witness weight 24 (claimed upper_bound)
witness operator (support, 24 qubits)
[13, 15, 21, 23, 25, 27, 49, 51, 241, 243, 261, 263, 273, 275, 285, 287, 313, 315, 533, 535, 553, 555, 573, 575]
d_Z 24 · witness weight 24 (claimed upper_bound)
witness operator (support, 24 qubits)
[146, 147, 178, 179, 194, 195, 198, 199, 202, 203, 410, 411, 434, 435, 442, 443, 462, 463, 470, 471, 486, 487, 498, 499]
certificate none yet · distance stands as a self-certified upper bound (d ≤)

Diagnostics

computed by the verifier from the parity checks, the layout, and the stored witnesses; shown as evidence, not used for ranking
girth H_X 6 · H_Z 6 (shortest cycle of each side’s Tanner graph; longer is friendlier to belief propagation)
check weights H_X 7 · H_Z 7
qubit degrees H_X 4–6 (mean 4.2) · H_Z 4–6 (mean 4.2)
trapping sets H_X (1,4)×648 (2,6)×6912 (3,6)×3168 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_X
(1,4): 648 (1,6): 72 (2,6): 6912 (2,8): 1728 (2,10): 432 (3,6): 3168 (3,8): 101952 (3,10): 51264 (3,12): 20016 (3,14): 5616 (3,16): 144
trapping sets H_Z (1,4)×648 (2,6)×6912 (3,6)×3168 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_Z
(1,4): 648 (1,6): 72 (2,6): 6912 (2,8): 1728 (2,10): 432 (3,6): 3168 (3,8): 101952 (3,10): 51264 (3,12): 20016 (3,14): 5616 (3,16): 144

Construction & provenance

authors @FarLab
provenance submitted through the challenge
novelty novelty not audited
construction [[4,2,2]] distance amplification of [[144,12,12]] (arXiv:2609.37231, central truncation of the CSS tensor product of codes/144-12-12.json with the [[4,2,2]] code, G_X = G_Z = [1111]; n = 4 n_base + m_X + m_Z, k = 2 k_base, d = 2 d_base by the paper's Eq. 3)
model Claude Claude Fable 5.1 (claimed, not verified)
builds on arXiv:2609.37231, arXiv:1512.07081, arXiv:2308.07915
date 2026-09-30
notes Base code: codes/144-12-12.json ([[144,12,12]] bivariate bicycle code, by Bravyi, Sergey, Cross, Andrew W., Gambetta, Jay M., Maslov, Dmitri, Rall, Patrick, Yoder, Theodore J.); this entry is its [[4,2,2]] tensor amplification per arXiv:2609.37231, which is that paper's construction applied to a board code, not a new construction. Dedup gate: no exact or WL-equivalent board entry; checked, not equivalent. Base distance is certified exact (certs/144-12-12.json), so the theorem gives d = 24 exactly; filed as upper_bound.
family other (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

[[720,24,24]] — [[4,2,2]] distance amplification (arXiv:2609.37231) of the board's [[144,12,12]]

Direction & hypothesis

arXiv:2609.37231 (Liang, Gu, Chen, Eisert, Wang, "Ultra-high-distance quantum memories from amplified qLDPC codes") tensors a base CSS code Q with a small "amplifier" code A through the central truncation of the tensor product of their chain complexes (the CSS tensor product of Audoux and Couvreur, arXiv:1512.07081). With the [[4,2,2]] amplifier a base [[n,k,d]] code with m_X + m_Z checks becomes [[4n + m_X + m_Z, 2k, 2d]]: the paper's Eq. (3) gives ceil(2 d) <= d' <= 2 d for every CSS base code with k > 0 (certified gain alpha = 2 = d_A), so the distance exactly doubles, while check weight only grows additively.

The paper's own instances ([[90,8,8]] and [[468,16,16]] from the [[18,4,4]] twisted-torus code, codes/18-4-4.json) are dominated on this board and its larger ones exceed the n cap. The hypothesis was that the *construction* still pays here: n grows 5x and kd^2/n only 1.6x, but the board is thin at n = 200–1000 for mid-k, weight <= 7 codes, so a theorem-backed doubling of a small frontier code lands on an empty part of the frontier.

What was searched

  • Every CSS entry on the board with n <= 200 (617 bases) was amplified once with [[4,2,2]] and

    • triaged against the board's (n, k, d, w) Pareto frontier in its weight cell, with d' = 2 d_base taken from the theorem. 57 amplified codes were undominated, about 40 of them admissible.

  • Six of those were run through verify/validate_candidate.py; all six passed. This entry is

    • the amplification of codes/144-12-12.json ([[144,12,12]] bivariate bicycle code, by Bravyi, Sergey, Cross, Andrew W., Gambetta, Jay M., Maslov, Dmitri, Rall, Patrick, Yoder, Theodore J.).

  • A second amplification step (94 candidates from bases with n <= 50) is a dead end: every one is

    • dominated, because the check weight climbs to 10–14 while n grows 25x.

Evidence trail

  • Base distance: certs/144-12-12.json certifies d = 12 exact for the base (CryptoMiniSat 5.14 SAT), so by the paper's Eq. (3) the amplified distance is exactly 24 if that bound holds.
  • Sanity check of the theorem on the paper's own instances, rebuilt from codes/18-4-4.json:

    • 100,000 RIS trials on [[90,8,8]] and 20,000 on [[468,16,16]] found nothing below 2 d_base.

  • This code: the trusted gate's refutation pass (8,000 RIS trials, fresh seed) found no logical

    • lighter than 24; qldpc submit then re-searched witnesses on both sides and found weight 24 on each. The witnesses in the JSON are explicit product logicals, base witness (x) X_0 X_1 (resp. Z_0 Z_1) of the [[4,2,2]] code, placed in the Q_1 (x) A_1 register.

  • Claim: d <= 24, witness-backed upper bound. Given the base certificate, the theorem makes this exact; it is filed as an upper bound because the board only upgrades on its own certification.

Dead ends

  • Two-step amplification (see above): 94/94 dominated.
  • The other amplifiers in the paper's Table 1 (Steane [[7,1,3]], rotated surface [[25,1,5]])

    • keep k fixed and multiply n by 7–25, so kd^2/n drops; only [[4,2,2]] improves it.

  • The paper's explicit codes: [[90,8,8]] w=7 is dominated by codes/90-8-10.json;

    • [[468,16,16]] w=10 by codes/288-16-16.json and codes/240-16-20.json.

Tools

Claude Fable 5.1 in Claude Code. numpy for the tensor construction (about 20 lines of np.kron blocks, reproduced below); this repository's research/kit (css.compute_k, surrogate.distance_rand_witness, submit.make_submission), verify/validate_candidate.py and cli/qldpc.py. Under 15 minutes of laptop CPU for all six codes.

Reproduction

Let H_X (m_X x n), H_Z (m_Z x n) be the checks of codes/144-12-12.json and G_X = G_Z = [1 1 1 1] those of the [[4,2,2]] code (n_A = 4, one check per side). Data qubits, in this order: Q_1 (x) A_1 (4n), Q_2 (x) A_0 (m_X), Q_0 (x) A_2 (m_Z). With I_s the s x s identity:

H_X' = [[ kron(H_X, I_4), kron(I_mX, G_Z^T), 0 ], [ kron(I_n, G_X), 0, kron(H_Z^T, I_1) ]] H_Z' = [[ kron(I_n, G_Z), kron(H_X^T, I_1), 0 ], [ kron(H_Z, I_4), 0, kron(I_mZ, G_X^T) ]]

(rows of H_X' are Q_2 (x) A_1 then Q_1 (x) A_2; rows of H_Z' are Q_1 (x) A_0 then Q_0 (x) A_1). This gives n = 720, k = 24, max check weight 7. An X witness of weight 24 is {4q + a : q in S, a in {0, 1}} for S the X witness of the base entry; likewise for Z.

Parity checks

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