← back to the board
[[540,8,32]] d ≤
n
540
k
8
d
32
kd²/n
15.17
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)
[10, 36, 41, 47, 55, 57, 84, 103, 110, 111, 131, 135, 137, 156, 163, 179, 232, 257, 259, 322, 326, 349, 391, 426, 431, 451, 462, 466, 489, 491, 506, 531]
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)
[16, 57, 60, 79, 121, 159, 161, 162, 184, 187, 201, 224, 226, 267, 287, 296, 302, 318, 328, 338, 339, 362, 383, 403, 409, 429, 435, 450, 461, 482, 487, 531]
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)×540 (2,4)×4050 (3,3)×540 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_X
(1,3): 540 (2,4): 4050 (3,3): 540 (3,5): 38880 (3,7): 5400
trapping sets H_Z (1,3)×540 (2,4)×4050 (3,3)×540 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_Z
(1,3): 540 (2,4): 4050 (3,3): 540 (3,5): 38880 (3,7): 5400

Construction & provenance

authors @vprusso
provenance submitted through the challenge
novelty new parameter set claimed by submitter
construction Bivariate bicycle code on Z_18 x Z_15 (research/kit/bb.py build_bb): A = x8 y2 + x17 y7 + x1 y2, B = x10 y4 + x17 y0 + x9 y13 (monomial exponent pairs (i, j) as in the kit); H_X = [A | B], H_Z = [B^T | A^T]; n = 2 l m = 540, k = 8, every check has weight 6.
model Claude Claude Fable 5.1 (Claude Code) (claimed, not verified)
builds on arXiv:2308.07915, arXiv:2111.03654
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 bivariate 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": "bb", "l": 18, "m": 15, "A": [[8, 2], [17, 7], [1, 2]], "B": [[10, 4], [17, 0], [9, 13]]}
family bivariate 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

[[540,8,32]] weight-6 bivariate bicycle code on Z_18 x Z_15

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

  • Bivariate bicycle codes with three monomials per polynomial (research/kit/search.py sample_bb, weight 3) on tori Z_l x Z_m with l in [4, 58] and l m in [100, 350], so n = 2 l m in [200, 700]. Random weight-3 monomial sets give k = 0 for 94 percent of draws; the prefilter discards those before any GPU work.
  • 123,744 draws in the stream that produced this code; 7,412 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), 158 survived the first GPU stage, 52 the third. 1,154,800,000 GPU deep-kernel trials in total, 1.67 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

    • 0034240c (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 | 72000073011 | 34 | | screen stage 2 (estimate) | X | 500,000 | 72000073300 | 32 | | screen stage 3 (recover) | X | 2,000,000 | 72000073600 | 32 | | screen stage 1 (estimate) | Z | 100,000 | 72000073012 | 34 | | screen stage 2 (estimate) | Z | 500,000 | 72000073301 | 32 | | screen stage 3 (recover) | Z | 2,000,000 | 72000073601 | 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 | 5562 | 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 None at 0 trials; gf2_fast fast pass lightest logical 32 at 8,000,000 trials (2968 s, 2 threads, seed 5562); 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 1.7 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: Bivariate bicycle code on Z_18 x Z_15 (research/kit/bb.py build_bb): A = x^8 y^2 + x^17 y^7 + x^1 y^2, B = x^10 y^4 + x^17 y^0 + x^9 y^13 (monomial exponent pairs (i, j) as in the kit); H_X = [A | B], H_Z = [B^T | A^T]; n = 2 l m = 540, k = 8, every check has weight 6.

Parity checks

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