← back to the board
[[434,16,22]] d ≤
n
434
k
16
d
22
kd²/n
17.843
w
6
X/Z
1

Share this result

Distance

X/Z asymmetry 1 · d_X ≤ 22, d_Z ≤ 22 · 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 22 · witness weight 22 (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, 22 qubits)
[58, 76, 109, 163, 173, 226, 244, 267, 270, 272, 290, 303, 308, 318, 336, 374, 377, 382, 395, 400, 425, 428]
d_Z 22 · witness weight 22 (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, 22 qubits)
[12, 30, 48, 104, 137, 214, 225, 235, 245, 254, 255, 265, 284, 294, 313, 314, 353, 373, 393, 403, 412, 413]
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)×868 (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): 868 (3,5): 29946 (3,7): 4340
trapping sets H_Z (1,3)×434 (2,4)×3255 (3,3)×868 (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): 868 (3,5): 29946 (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 + x18 + x110, b(x) = 1 + x10 + x99; 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) = 16, every check has weight 6. a and b were drawn as weight-3 multiples of a degree-8 divisor g of x217 - 1 (g as a little-endian bit integer: 307).
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 22, Z 22; finalist deep-kernel GPU pass: X 22 at 50,000,000 trials (seed 777); Z 22 at 50,000,000 trials (seed 778); board fast pass 22 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": 307, "deg_g": 8, "a": [0, 18, 110], "b": [0, 10, 99]}
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,16,22]] 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 | 71000080089 | 22 | | screen stage 2 (estimate) | X | 500,000 | 71000080302 | 22 | | screen stage 3 (recover) | X | 2,000,000 | 71000080602 | 22 | | screen stage 1 (estimate) | Z | 100,000 | 71000080090 | 22 | | screen stage 2 (estimate) | Z | 500,000 | 71000080303 | 22 | | screen stage 3 (recover) | Z | 2,000,000 | 71000080603 | 22 | | gf2_fast CPU RIS, pair depth 8, 1 thread, both sides | X | 200,000 | 876 | 22 | | finalist GPU deep kernel, full basis, pair depth 8 | X | 50,000,000 | 777 | 22 | | finalist GPU deep kernel, full basis, pair depth 8 | Z | 50,000,000 | 778 | 22 | | board fast pass, gf2_fast pair depth 8, 2 threads, both sides | both | 8,000,000 | 5259 | 22 |

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 22 at 8,000,000 trials (1128 s, 2 threads, seed 5259); GATE passed.

Claim: witness-backed upper bound d <= 22 (X <= 22, Z <= 22), 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^18 + x^110, b(x) = 1 + x^10 + x^99; 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) = 16, every check has weight 6. a and b were drawn as weight-3 multiples of a degree-8 divisor g of x^217 - 1 (g as a little-endian bit integer: 307).

Parity checks

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