← back to the board
[[558,10,32]] d ≤
n
558
k
10
d
32
kd²/n
18.351
w
6
X/Z
1

Share this result

Distance

X/Z asymmetry 1 · d_X ≤ 32, d_Z ≤ 32 · 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 32 · witness weight 32 (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, 32 qubits)
[7, 10, 141, 158, 175, 187, 204, 226, 238, 267, 269, 289, 297, 320, 326, 345, 347, 372, 374, 420, 422, 426, 447, 449, 451, 471, 474, 499, 505, 526, 528, 549]
d_Z 32 · witness weight 32 (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, 32 qubits)
[2, 25, 29, 50, 54, 56, 102, 104, 129, 131, 150, 153, 156, 179, 187, 204, 206, 227, 229, 256, 284, 301, 309, 318, 335, 369, 372, 389, 449, 517, 529, 546]
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)×558 (2,4)×4185 (3,3)×558 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_X
(1,3): 558 (2,4): 4185 (3,3): 558 (3,5): 40176 (3,7): 5580
trapping sets H_Z (1,3)×558 (2,4)×4185 (3,3)×558 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_Z
(1,3): 558 (2,4): 4185 (3,3): 558 (3,5): 40176 (3,7): 5580

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_279 (research/cyclic_gb.py build_cyclic_gb): a(x) = 1 + x77 + x177, b(x) = 1 + x17 + x80; H_X = [circ(a) | circ(b)], H_Z = [circ(b)^T | circ(a)^T] with circ(v)[i, (i + j) mod 279] = v[j]. n = 2m = 558, k = 2 deg gcd(a, b, x279 - 1) = 10, every check has weight 6. a and b were drawn as weight-3 multiples of a degree-5 divisor g of x279 - 1 (g as a little-endian bit integer: 41).
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 32, Z 32; finalist deep-kernel GPU pass: X 32 at 50,000,000 trials (seed 777); Z 32 at 50,000,000 trials (seed 778); board fast pass 32 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": 279, "g_int": 41, "deg_g": 5, "a": [0, 77, 177], "b": [0, 17, 80]}
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

[[558,10,32]] weight-6 cyclic generalized-bicycle code over Z_279 (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 | 71000059087 | 32 | | screen stage 2 (estimate) | X | 500,000 | 71000059302 | 32 | | screen stage 3 (recover) | X | 2,000,000 | 71000059602 | 32 | | screen stage 1 (estimate) | Z | 100,000 | 71000059088 | 34 | | screen stage 2 (estimate) | Z | 500,000 | 71000059303 | 32 | | screen stage 3 (recover) | Z | 2,000,000 | 71000059603 | 32 | | gf2_fast CPU RIS, pair depth 8, 1 thread, both sides | X | 200,000 | 876 | 32 | | finalist GPU deep kernel, full basis, pair depth 8 | X | 50,000,000 | 777 | 32 | | finalist GPU deep kernel, full basis, pair depth 8 | Z | 50,000,000 | 778 | 32 | | board fast pass, gf2_fast pair depth 8, 2 threads, both sides | both | 8,000,000 | 5259 | 32 |

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 144 at 400,000 trials; gf2_fast fast pass lightest logical 32 at 8,000,000 trials (2032 s, 2 threads, seed 5259); GATE passed.

Claim: witness-backed upper bound d <= 32 (X <= 32, Z <= 32), 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_279 (research/cyclic_gb.py build_cyclic_gb): a(x) = 1 + x^77 + x^177, b(x) = 1 + x^17 + x^80; H_X = [circ(a) | circ(b)], H_Z = [circ(b)^T | circ(a)^T] with circ(v)[i, (i + j) mod 279] = v[j]. n = 2m = 558, k = 2 deg gcd(a, b, x^279 - 1) = 10, every check has weight 6. a and b were drawn as weight-3 multiples of a degree-5 divisor g of x^279 - 1 (g as a little-endian bit integer: 41).

Parity checks

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