← back to the board
[[558,14,28]] d ≤
n
558
k
14
d
28
kd²/n
19.67
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)
[12, 19, 21, 35, 42, 59, 73, 80, 103, 117, 127, 141, 164, 178, 202, 209, 216, 232, 263, 290, 364, 429, 430, 460, 466, 503, 535, 540]
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)
[34, 70, 71, 107, 108, 117, 131, 173, 247, 276, 298, 305, 321, 328, 338, 413, 420, 434, 441, 457, 464, 474, 495, 502, 518, 525, 535, 549]
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 + x37 + x140, b(x) = 1 + x61 + x197; 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) = 14, 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: 47).
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": 279, "g_int": 47, "deg_g": 5, "a": [0, 37, 140], "b": [0, 61, 197]}
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,14,28]] 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 | 71000098017 | 28 | | screen stage 2 (estimate) | X | 500,000 | 71000098300 | 28 | | screen stage 3 (recover) | X | 2,000,000 | 71000098600 | 28 | | screen stage 1 (estimate) | Z | 100,000 | 71000098018 | 28 | | screen stage 2 (estimate) | Z | 500,000 | 71000098301 | 28 | | screen stage 3 (recover) | Z | 2,000,000 | 71000098601 | 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 138 at 400,000 trials; gf2_fast fast pass lightest logical 28 at 8,000,000 trials (3100 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_279 (research/cyclic_gb.py build_cyclic_gb): a(x) = 1 + x^37 + x^140, b(x) = 1 + x^61 + x^197; 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) = 14, 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: 47).

Parity checks

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