← back to the board
[[434,10,28]] d ≤
n
434
k
10
d
28
kd²/n
18.065
w
6
X/Z
1

Share this result

Distance

X/Z asymmetry 1 · d_X ≤ 28, d_Z ≤ 28 · 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 28 · witness weight 28 (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, 28 qubits)
[17, 50, 79, 83, 108, 109, 137, 156, 160, 175, 215, 220, 224, 249, 254, 312, 315, 319, 337, 348, 354, 371, 378, 383, 396, 400, 412, 425]
d_Z 28 · witness weight 28 (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, 28 qubits)
[22, 53, 84, 115, 146, 177, 208, 227, 228, 246, 258, 259, 277, 289, 290, 308, 320, 321, 339, 351, 352, 370, 382, 383, 401, 413, 414, 432]
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)×434 (2,4)×3255 (3,3)×434 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_X
(1,3): 434 (2,4): 3255 (3,3): 434 (3,5): 31248 (3,7): 4340
trapping sets H_Z (1,3)×434 (2,4)×3255 (3,3)×434 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_Z
(1,3): 434 (2,4): 3255 (3,3): 434 (3,5): 31248 (3,7): 4340

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_217 (research/cyclic_gb.py build_cyclic_gb): a(x) = 1 + x29 + x117, b(x) = 1 + x19 + x111; H_X = [circ(a) | circ(b)], H_Z = [circ(b)^T | circ(a)^T] with circ(v)[i, (i + j) mod 217] = v[j]. n = 2m = 434, k = 2 deg gcd(a, b, x217 - 1) = 10, every check has weight 6. a and b were drawn as weight-3 multiples of a degree-5 divisor g of x217 - 1 (g as a little-endian bit integer: 59).
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 28, Z 28; finalist deep-kernel GPU pass: X 28 at 50,000,000 trials (seed 777); Z 28 at 50,000,000 trials (seed 778); board fast pass 28 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": 217, "g_int": 59, "deg_g": 5, "a": [0, 29, 117], "b": [0, 19, 111]}
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

[[434,10,28]] weight-6 cyclic generalized-bicycle code over Z_217 (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 | 71000128043 | 28 | | screen stage 2 (estimate) | X | 500,000 | 71000128300 | 28 | | screen stage 3 (recover) | X | 2,000,000 | 71000128600 | 28 | | screen stage 1 (estimate) | Z | 100,000 | 71000128044 | 28 | | screen stage 2 (estimate) | Z | 500,000 | 71000128301 | 28 | | screen stage 3 (recover) | Z | 2,000,000 | 71000128601 | 28 | | gf2_fast CPU RIS, pair depth 8, 1 thread, both sides | X | 200,000 | 876 | 28 | | finalist GPU deep kernel, full basis, pair depth 8 | X | 50,000,000 | 777 | 28 | | finalist GPU deep kernel, full basis, pair depth 8 | Z | 50,000,000 | 778 | 28 | | board fast pass, gf2_fast pair depth 8, 2 threads, both sides | both | 8,000,000 | 5360 | 28 |

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 108 at 400,000 trials; gf2_fast fast pass lightest logical 28 at 8,000,000 trials (1663 s, 2 threads, seed 5360); GATE passed.

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

Parity checks

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