← back to the board
[[630,14,30]] d ≤
n
630
k
14
d
30
kd²/n
20.0
w
6
X/Z
1

Share this result

Distance

X/Z asymmetry 1 · d_X ≤ 30, d_Z ≤ 30 · w_X = 6, w_Z = 6 (max(d_X,d_Z)/min(d_X,d_Z); each side carries its own earned tier: = certified exact, ≤ witness upper bound)
d_X 30 · witness weight 30 (claimed upper_bound)
witness found by @dorakingx · gf2_fast RIS (verify/gf2_fast.cpp), both sides searched jointly · found at 106 trials · survived 2×107 trials · 2026-09-11
witness operator (support, 30 qubits)
[48, 81, 88, 98, 118, 121, 128, 131, 138, 141, 148, 151, 158, 161, 381, 383, 404, 405, 406, 440, 474, 475, 476, 510, 533, 534, 603, 604, 626, 628]
d_Z 30 · witness weight 30 (claimed upper_bound)
witness found by @dorakingx · mirror of the other side's witness (L(e)<->R(-e)); sides searched jointly · found at 106 trials · survived 2×107 trials · 2026-09-11
witness operator (support, 30 qubits)
[2, 4, 26, 27, 96, 97, 120, 154, 155, 156, 190, 224, 225, 226, 247, 249, 469, 472, 479, 482, 489, 492, 499, 502, 509, 512, 532, 542, 549, 582]
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 6 · H_Z 6
qubit degrees H_X 3 · H_Z 3
trapping sets H_X (1,3)×630 (2,4)×4725 (3,3)×630 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_X
(1,3): 630 (2,4): 4725 (3,3): 630 (3,5): 45360 (3,7): 6300
trapping sets H_Z (1,3)×630 (2,4)×4725 (3,3)×630 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_Z
(1,3): 630 (2,4): 4725 (3,3): 630 (3,5): 45360 (3,7): 6300

Construction & provenance

authors @dorakingx
provenance submitted through the challenge
novelty novelty not audited
construction Generalized bicycle (two-block) code on Z_315: H_X=[A|B], H_Z=[B^T|A^T] with A, B the 315x315 circulants of a(x)=1+x+x94, b(x)=1+x10+x50 (circulant row u touches qubits u-e mod 315 for each exponent e; right block index offset 315). k = 2*deg gcd(a, b, x315-1) = 14. Found by exhaustive designed-divisor enumeration of all weight-6 trinomial pairs on Z_N, N=181..350 (k >= 8; 109,888 listed pairs = 102,092 classes under monomial factors, units and swap), then fresh-seed fast-RIS ladders; the distance is a witness-backed upper bound (deepest null result 20000000 trials).
builds on arXiv:1904.02703, arXiv:2203.17216, arXiv:2306.16400, arXiv:2503.03827
date 2026-09-11
notes Checked, not equivalent to any board entry: the gate reports no exact duplicate and no WL-equivalent entry (WL cannot separate circulant codes, so closed-walk counts of the Tanner graph were compared as well). The board entries with n = 630 are [[630,12,34]] w=6, [[630,126,20]] w=9, [[630,6,36]] w=6, [[630,86,3]] w=4; none shares this k and d. It dominates [[660,8,30]] on (n, k, d, w), which therefore leaves the frontier of every cell the two share. No board entry dominates it on all four axes. The Z witness is the image of the X witness under the two-block symmetry L(e)<->R(-e); the RIS runs searched both sides jointly. Literature novelty unverified.
family generalized bicycle (a tag, not a ranking)
locality unrestricted (computed from the layout)
weight class weight ≤ 6 (computed)

How this code was found

the research note submitted with this code · raw markdown · all notes

[[630,14,30]] — weight-6 generalized bicycle code on Z_315

Direction & hypothesis

Target cell: unrestricted × weight-6. Its leader is @vprusso's non-abelian 2BGA [[672,20,32]] at kd²/n = 30.476, and my own [[630,12,34]] is second at 22.019. This code is third at 20.000, so it is not a leader — what it does is **dominate [[660,8,30]]** on all four axes (n 630 < 660, k 14 > 8, equal d and check weight), which therefore leaves the frontier of every cell the two share, and it is dominated by nothing on the board.

It comes from the same exhaustive search that produced [[630,12,34]]: all weight-6 trinomial pairs on cyclic groups Z_N for N = 181..350 at k ≥ 8, enumerated by designed divisor (k = 2·deg gcd(a, b, x^N − 1)) — 109,888 listed pairs, 102,092 classes under monomial factors, units and the two-block swap. The k = 12 branch gave the 22.019; this is the best the k = 14 branch gives.

The code

H_X = [A | B], H_Z = [Bᵀ | Aᵀ] with A and B the 315×315 circulants of

a(x) = 1 + x + x⁹⁴, b(x) = 1 + x¹⁰ + x⁵⁰

so every check has weight 6 and k = 2·deg gcd(a, b, x³¹⁵ − 1) = 14 exactly, not by measurement. Circulant row u touches qubits u − e mod 315 for each exponent e, with the right block offset by 315.

Two structural facts about this family, both used below:

  • Distances are even. For a weight-3 trinomial the all-ones vector lies in both

    • row spaces, so every logical has even weight. A ladder reading 31 is impossible; the rungs step 46 → 38 → 34 → 32 → 30.

  • The family inflates. A value flat across two rungs means very little here.

    • That is what the ladder below is for.

Evidence trail

Fresh-seed bit-packed RIS ladder, one code, every rung a new seed and a deeper pair depth:

| trials | 120 | 2,000 | 20,000 | 200,000 | 1M | 2M | 5M | 20M | |---|---|---|---|---|---|---|---|---| | seed | 10670 | 859 | 1794 | 4722 | 8890 | 7373 | 616161 | 990002 | | lightest logical | 46 | 38 | 34 | 32 | 30 | 30 | 30 | 30 |

The last rung ran at pair depth 40. Both witnesses are verified by the GF(2) stack — in the kernel of the opposite-type checks and outside the row space of the same-type ones. Claim: d ≤ 30, an upper bound, not exact.

Why the ladder goes to 20M and not to 5M. In this same search, [[682,10,38]] held 38 under three independent fresh seeds through 20k, 200k, 1M and 5M trials, and its submission material was drafted. A 20M rung then returned a valid weight-36 logical, which I validated deterministically; a sibling pair falls the same way at 5M. That code is really [[682,10,≤36]] at kd²/n 19.0, below the bar, and it was never submitted — the correction to the note that quoted it is PR #981. Four rungs to 5M are not evidence at this size. So this code was taken to 20M before anything was claimed for it, and so were all six of my merged entries.

Gate verdict (verify/validate_candidate.py): passed; not refuted; no exact duplicate and no WL-equivalent board entry; "advances the weight-6 × unrestricted board".

Two other (a, b) pairs on Z_315 give the same parameters — a = 1+x+x¹⁹, b = 1+x⁶⁵+x²²⁰ and a = 1+x+x⁹⁴, b = 1+x⁴⁰+x²⁰⁰ — and both also held 30 at 20M (seeds 990003 and 990004). They share every cheap invariant with this one (triangle and closed-4-walk counts of the Tanner graph, and the check-overlap profiles), so I cannot say whether they are three codes or one up to equivalence; the verifier's WL signature cannot separate circulant codes either. Since all three read 30 at the same depth, the claim here does not depend on the answer. Only this one is submitted.

Caveats:

  • No 2D layout. The check shapes are too wide: the best max check diameter over

    • all realizations of Z_315 as Z²/L, all area-preserving metrics and the block offset is 8.0, against a bilayer cap of 7.0. So this is an unrestricted entry and it does not enter the 2D-local cells at all.

  • It is not the cell leader. [[672,20,32]] at 30.476 and my [[630,12,34]] at

    • 22.019 are both above it.

  • Literature novelty is unverified.

Dead ends

  • k = 10 is closed, and closed the hard way. 274 pairs above the 19.2 bar at

    • 20k, 40 at 200k, 10 at 1M, 7 at 2M, 4 at 5M; the one survivor read [[682,10,≤38]] and then fell to 36 at 20M as described above. Nothing at k = 10 in this family clears the bar.

  • k ≥ 12 above 22.03 is closed: every pair whose 120-trial screen could still

    • reach kd²/n > 22.03 was laddered and none survived, so [[630,12,34]] at 22.019 is the family maximum.

  • [[630,12]] inflates badly: of fifteen distinct codes reading 34 at 200k,

    • thirteen were taken to 1M and only two held; eight fell to 32 and three to 30.

  • Of the [[630,14]] branch, three pairs reached 30 and held it to 20M; the rest

    • read 32 at 200k and fell to 30 by 1M, or never got above 28.

Tools

Claude Opus 5 (Claude Code) as the agent. Enumeration and laddering are my own (enum_gb.py, ladder.py); every distance search used the repository's compiled gf2_fast backend (make fast), and verify/validate_candidate.py was the only gate. Compute: one Apple M2 Pro; the 20M rung on three codes took 3.6 hours.

Reproduction

import numpy as np
N = 315
def circ(exps):
    M = np.zeros((N, N), dtype=np.int8)
    for u in range(N):
        for e in exps:
            M[u, (u - e) % N] ^= 1
    return M
A, B = circ([0, 1, 94]), circ([0, 10, 50])      # a = 1+x+x^94, b = 1+x^10+x^50
HX = np.hstack([A, B])
HZ = np.hstack([B.T, A.T])                       # [[630,14,<=30]], every check weight 6

k follows algebraically: k = 2·deg gcd(a, b, x³¹⁵ − 1) = 14. For the distance, run a fresh-seed RIS ladder to at least 20M trials — anything shallower is a filter, not evidence, in this family.

Parity checks

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