← back to the board
[[510,16,26]] d ≤
n
510
k
16
d
26
kd²/n
21.208
w
6
X/Z
1

Share this result

Distance

X/Z asymmetry 1 · d_X ≤ 26, d_Z ≤ 26 · 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 26 · witness weight 26 (claimed upper_bound)
witness found by @vprusso · GPU deep kernel (full basis, pair depth 8), screen stage 3 · found at 2×106 trials · survived 6×107 trials · 2026-09-23
witness operator (support, 26 qubits)
[18, 20, 48, 84, 135, 139, 169, 175, 181, 187, 207, 217, 235, 257, 265, 279, 329, 390, 394, 416, 430, 436, 454, 470, 480, 508]
d_Z 26 · witness weight 26 (claimed upper_bound)
witness found by @vprusso · GPU deep kernel (full basis, pair depth 8), screen stage 3 · found at 2×106 trials · survived 6×107 trials · 2026-09-23
witness operator (support, 26 qubits)
[6, 32, 137, 151, 173, 181, 185, 197, 201, 213, 223, 227, 235, 239, 257, 287, 382, 396, 426, 430, 442, 448, 466, 476, 478, 494]
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)×510 (2,4)×3825 (3,3)×510 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_X
(1,3): 510 (2,4): 3825 (3,3): 510 (3,5): 36720 (3,7): 5100
trapping sets H_Z (1,3)×510 (2,4)×3825 (3,3)×510 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_Z
(1,3): 510 (2,4): 3825 (3,3): 510 (3,5): 36720 (3,7): 5100

Construction & provenance

authors @vprusso
provenance submitted through the challenge
novelty new parameter set claimed by submitter
construction Cyclic (single-circulant-pair) generalized-bicycle code over Z_255 (research/cyclic_gb.py build_cyclic_gb): a(x) = 1 + x26 + x76, b(x) = 1 + x30 + x66; H_X = [circ(a) | circ(b)], H_Z = [circ(b)^T | circ(a)^T] with circ(v)[i, (i + j) mod 255] = v[j]. n = 2m = 510, k = 2 deg gcd(a, b, x255 - 1) = 16, every check has weight 6. a and b were drawn as weight-3 multiples of a degree-8 divisor g of x255 - 1 (g as a little-endian bit integer: 419).
model Claude Claude Fable 5.1 (Claude Code) (claimed, not verified)
builds on arXiv:1904.02703, arXiv:2203.17216
date 2026-09-23
notes Found by a GPU random-information-set screen (verify/ris_gpu.cu deep kernel: full-basis RREF plus pair sums, pair depth 8) over weight-6 cyclic generalized-bicycle codes with weight-3 polynomials at n <= 700; see the research note for the ladder. Lightest logicals: X 26, Z 26; finalist deep-kernel GPU pass: X 26 at 50,000,000 trials (seed 777); Z 26 at 50,000,000 trials (seed 778); board fast pass 26 at 8,000,000 trials. Every operator re-verified with verify/gf2.py. Distance is a witness-backed upper bound. Novelty: new_parameters by a nauty canonical-form check of the typed Tanner graph against the board and the 2BGA, GB, BB, QECDB, and codetables data (a submitter claim). Generator spec: {"family": "cyclic-gb", "m": 255, "g_int": 419, "deg_g": 8, "a": [0, 26, 76], "b": [0, 30, 66]}
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

[[510,16,26]] weight-6 cyclic generalized-bicycle code over Z_255 (single circulant pair)

Direction & hypothesis

Cell: unrestricted x weight-6, base tier (n <= 700, no distance cap). The weight-6 cell holds few codes: its headline is [[672,20,32]] at kd^2/n 30.5 and below it sit [[630,12,34]], [[630,14,30]], [[576,12,30]], [[510,16,24]], [[540,12,28]], and [[360,12,24]], all at kd^2/n 18 to 22, then a long tail under 16. The hypothesis was that weight-3 polynomials in the bicycle families (cyclic GB, BB, 2BGA) still reach distances in the twenties and thirties at n = 200 to 700 once k is forced above 8, so that a strict Pareto record with kd^2/n above 12 is available in the band between those incumbents; the cell headline (30.5) was the stretch target.

What was searched

  • Cyclic GB over odd m in [101, 349] (n = 2m in [202, 698]): a divisor g of x^m - 1 of degree 5 to 24 is chosen at random from the irreducible factors (sympy over GF(2)), every weight-3 multiple of g mod x^m - 1 containing x^0 is enumerated (residues x^i mod g, one lookup per pair), and pairs (a, b) from distinct rotation classes with gcd(offsets, m) = 1 are built with research/cyclic_gb.py build_cyclic_gb. k = 2 deg gcd(a, b, x^m - 1) >= 2 deg g; pairs with k > 2 deg g + 6 were dropped.
  • 12,288 draws in the stream that produced this code; 11,951 passed the prefilter (CSS, exact k with gf2_fast, an eff floor of 12 on kd^2/n, and a strict-record threshold against the board checkout), 321 survived the first GPU stage, 263 the third. 2,610,200,000 GPU deep-kernel trials in total, 2.40 GPU hours busy on one NVIDIA A40.
  • Screen: verify/ris_gpu.cu's deep kernel (full-basis RREF plus pair sums, pair depth 8) in three stages per side, 100,000, 500,000, and 2,000,000 trials, with early stop as soon as a logical lighter than the record threshold appears (sound, since RIS weights are upper bounds). Every recovered operator is re-verified with verify/gf2.py before it counts.
  • Record thresholds were computed against the board checkout at origin/main

    • 110d467f (dominance over n down, k up, d up, w down, with equal parameters counting as dominated), plus a floor kd^2/n >= 12; a candidate was dropped as soon as any side showed a logical lighter than the smallest record-making d for its (n, k, w).

Evidence trail

Every operator in the table was re-verified on the CPU with verify/gf2.py (zero syndrome against the opposite checks, outside the row space of its own checks, weight recounted) before it was recorded. Weights are the lightest found by that run.

| instrument | side | trials | seed | lightest logical | |---|---|---:|---:|---:| | screen stage 1 (estimate) | X | 100,000 | 71000044069 | 26 | | screen stage 2 (estimate) | X | 500,000 | 71000044306 | 26 | | screen stage 3 (recover) | X | 2,000,000 | 71000044606 | 26 | | screen stage 1 (estimate) | Z | 100,000 | 71000044070 | 26 | | screen stage 2 (estimate) | Z | 500,000 | 71000044307 | 26 | | screen stage 3 (recover) | Z | 2,000,000 | 71000044607 | 26 | | gf2_fast CPU RIS, pair depth 8, 1 thread, both sides | X | 200,000 | 876 | 26 | | finalist GPU deep kernel, full basis, pair depth 8 | X | 50,000,000 | 777 | 26 | | finalist GPU deep kernel, full basis, pair depth 8 | Z | 50,000,000 | 778 | 26 | | board fast pass, gf2_fast pair depth 8, 2 threads, both sides | both | 8,000,000 | 5259 | 26 |

Board CPU gate (verify/validate_candidate.py, then verify/gate_changed.py's structural and fast passes, run out of CI on the candidate file, laptop, 2 threads): validate_candidate passed = True (labels ['advances the weight-6 x unrestricted board', 'literature novelty UNVERIFIED']); circulant-GB structural pass lightest single-block logical 40 at 400,000 trials; gf2_fast fast pass lightest logical 26 at 8,000,000 trials (1597 s, 2 threads, seed 5259); GATE passed.

Claim: witness-backed upper bound d <= 26 (X <= 26, Z <= 26), not exact. The lightest logical did not move between the 2,000,000-trial screen stage, the 200,000-trial CPU pass, the 50,000,000-trial deep-kernel pass per side, and the board's 8,000,000-trial fast pass.

Dead ends

  • Cyclic GB with weight-3 polynomials: 12,288 draws over m in [101, 349]

    • gave 263 stage-3 survivors, but only 13 distinct (n, k) parameter sets, because weight-3 multiples of a divisor exist only for a few m (105, 127, 147, 155, 217, 231, 255, 279, 315, 341) and k is pinned at 2 deg g = 10 to 20; nothing reached kd^2/n 30.5, and the [[682,10,38]] and [[682,10,36]] screen survivors (kd^2/n 21.2, 19.0) fell to 34 under the board's gf2_fast pass and the finalist pass, where [[630,12,34]] dominates them.

  • Weight-3 BB: 123,744 draws, k = 0 in 94 percent; the k >= 6 survivors are

    • low-rate codes at d 32 to 42 with kd^2/n 12 to 17.

  • Metacyclic and dihedral 2BGA with |a| = |b| = 3: k = 0 for most draws

    • (71 percent of metacyclic draws); two metacyclic survivors in 0.4 GPU hours; the dihedral stream did not run (the pod's GPU was needed by another session).

  • Ties: the same construction reproduces the board's [[254,14,16]] and

    • [[510,16,24]] parameter sets repeatedly; those are not records and were filtered out.

Tools

Generators from research/kit (search.py samplers, bb.py, group_algebra.py) and research/cyclic_gb.py; GPU RIS from verify/ris_gpu.cu built with nvcc for an NVIDIA A40 (blocking-sync host thread), driven through verify/ris_gpu.py's input format; gf2_fast from verify/ for exact k, kernels, and the CPU RIS; verify/validate_candidate.py and verify/gate_changed.py for the gate; a nauty canonical-form check of the typed Tanner graph (pynauty, outside this repo) for the novelty label. Model: Claude Fable 5.1 (Claude Code), matching provenance.model. Compute: about 2.4 GPU hours for the stream that produced this code, about 0.15 GPU hours for the finalist pass, and about 1 CPU hour for the gate.

Reproduction

Rebuild (H_X, H_Z) from the construction string in the code file's provenance: Cyclic (single-circulant-pair) generalized-bicycle code over Z_255 (research/cyclic_gb.py build_cyclic_gb): a(x) = 1 + x^26 + x^76, b(x) = 1 + x^30 + x^66; H_X = [circ(a) | circ(b)], H_Z = [circ(b)^T | circ(a)^T] with circ(v)[i, (i + j) mod 255] = v[j]. n = 2m = 510, k = 2 deg gcd(a, b, x^255 - 1) = 16, every check has weight 6. a and b were drawn as weight-3 multiples of a degree-8 divisor g of x^255 - 1 (g as a little-endian bit integer: 419).

Parity checks

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