← back to the board
[[630,6,36]] d ≤
n
630
k
6
d
36
kd²/n
12.343
w
6
X/Z
1.06

Share this result

Distance

X/Z asymmetry 1.06 · d_X ≤ 38, d_Z ≤ 36 · 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 38 · witness weight 38 (claimed upper_bound)
witness found by @vprusso · verify/ris_gpu.py recover mode, pair depth 0 (GPU RIS, CPU re-verified) · found at 3×108 trials · survived 3×108 trials · 2026-09-25
witness operator (support, 38 qubits)
[1, 43, 53, 71, 79, 95, 107, 113, 114, 123, 131, 156, 159, 165, 175, 184, 192, 217, 220, 226, 245, 264, 281, 349, 398, 407, 413, 430, 432, 449, 490, 547, 566, 579, 588, 596, 605, 613]
d_Z 36 · witness weight 36 (claimed upper_bound)
witness operator (support, 36 qubits)
[11, 35, 58, 63, 82, 104, 111, 121, 145, 185, 192, 199, 216, 228, 245, 262, 302, 309, 333, 347, 352, 378, 394, 436, 439, 446, 455, 465, 491, 516, 549, 554, 568, 604, 610, 615]
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 @vprusso
provenance submitted through the challenge
novelty novelty not audited
construction Generalized bicycle (two-block) code on the circulant ring Z_315: H_X=[A|B], H_Z=[B^T|A^T] with A, B the 315x315 circulants of a(x)=1+x17+x134 and b(x)=1+x202+x254, both weight 3 so the check weight is 6. k = 2 deg gcd(a,b,x315-1) = 6: the shared factor is an irreducible cubic, which requires 7 | 315 and both polynomials divisible by the same cubic, a condition on the exponents mod 7. Found by generating that residue class directly rather than filtering for it. This k sits below the k>=8 filter of the exhaustive weight-6 trinomial enumeration over Z_N, N=181..350 recorded in the provenance of codes/630-12-34.json, so it lies outside that search.
model Claude Claude Opus 5 (claimed, not verified)
date 2026-09-06
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,6,36]]: distance revision of the board's [[630,6,36]] entry

Revision history

The entry keeps its parameters [[630,6,36]]. The code, its checks, its layout, and its original provenance are unchanged; only the distance block is corrected. A GPU random-information-set search (verify/ris_gpu.py, recover mode, 300,000,000 trials per side, pair depth 0, seed 4102) exhibits a weight-38 X logical, so the previous witness-backed bound was overstated on that side; the overall distance d = 36 is unchanged. Each lighter witness is carried in the entry with the budget it was found at; the other side keeps its original witness where it was not refuted. Distance remains an upper bound, not an exact claim.

Evidence

Every GPU proposal was re-validated on the CPU against the committed check matrices (in the kernel of the opposite side's checks, outside the row space of its own side) before it was recorded. The pass is the weekly fresh-seed re-measurement of the board's cell leaders (issue 2025, run of 2026-09-24); every recorded reading is the lightest CPU-verified logical at that budget.

| side | seed | claimed | GPU best weight | CPU-verified witness | trials | |---|---|---|---|---|---| | X | 4101 | 44 | 40 | 40 | 300,000,000 | | Z | 4101 | 36 | 40 | 40 | 300,000,000 | | X | 4102 | 44 | 38 | 38 | 300,000,000 | | Z | 4102 | 36 | 40 | 40 | 300,000,000 |

Original note, with the file paths updated

[[630,6,36]] weight-6 generalized bicycle code on Z_315

The gap this exploits, stated from the board's own provenance

[[630,12,34]] is a weight-6 generalized bicycle code on this same ring, and its provenance describes how it was found:

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 5,000,000 trials).

Exhaustive, over these exact rings, with a filter at k >= 8. This code has k = 6 and therefore sits below that filter. The band k = 4 and k = 6 was not covered by that search; k >= 8 was, which is why no attempt was made here to compete there.

k is free on a cyclic group, and that is the whole search design

For a two-block GB code on Z_A with weight-3 a and b, k = 2 deg gcd(a, b, x^A - 1), so the rate axis costs one Euclid and no matrix at all. That was checked two ways before use: it reproduces measured k histograms entry for entry on B = 1 twisted tori, and rebuilding [[510,16,24]] from its own stated polynomials returns k = 16 by rank and d = 24 at 20,000 trials, matching its filed distance.

For odd A the polynomial x^A - 1 is squarefree, so its irreducible factors are indexed by the divisors e of A, and 1 + x^i + x^j is divisible by the order-e piece exactly when a condition on (i mod e, j mod e) holds. Computing that per divisor gives the generation rule directly. k = 6 needs a shared irreducible cubic, which requires 7 | A and both polynomials divisible by the SAME cubic: (i,j) mod 7 in {(1,3),(2,6),(4,5)} or a swap for x^3+x+1, and {(1,5),(2,3),(4,6)} or a swap for x^3+x^2+1. Checked against the actual gcd on 3,000 random pairs at each of A = 315, 308, 294, 264 and 251, agreeing 3000/3000 every time including the negatives where 7 does not divide A and no k = 6 exists at all.

Generating those residues directly rather than filtering for them raises the acceptance rate from about 3 percent to 100 percent.

The confirmation ladder, and a disagreement between two searches

An independent escalation, using the accelerator directly at rising budgets with a gf2-validated witness recorded at every level, read:

20,000 d <= 46 200,000 d <= 40 2,000,000 d <= 38 8,000,000 d <= 38

The submission tool's own search, which runs 20,000 RIS trials followed by a 2,000,000-trial accelerator pass under a different seed, found a lighter logical: d <= 36. That is the value submitted, because it is the smaller of the two and a lighter witness is the stronger statement.

The disagreement is worth recording. FEWER TRIALS ON A DIFFERENT SEARCH PATH BEAT FOUR TIMES THE TRIALS ON THE FIRST ONE, and on a sibling code in the same batch the relationship ran the other way: an 8,000,000-trial run found a weight-36 logical where the tool's default 2,000,000-trial pass stopped at 38. Neither search dominates the other. Budget is not the only axis of search quality, seed and path matter too, and the safe procedure is to run both and take the smaller.

Two dead ends, both of which cost real candidates

An earlier search kept ONE representative pair per (n,k) class. On Z_255 at k = 16 that representative reads d <= 2 where the board's [[510,16,24]] reads 24. k constrains the ideal, not the pair, so distance must be sampled within a class.

Four sibling k = 4 codes on this ring read 36, 36, 36 and 38 at 2,000,000. The three that agreed looked converged and the outlier looked like noise. At 8,000,000 the three fell to 34 and died while the 38 held. Agreement among unconverged readings is evidence that they share a budget, not evidence of a limit, and the consensus was the artefact. Nothing here is reported below 8,000,000 trials for that reason.

Parity checks

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