← back to the board
[[630,8,36]] d ≤
n
630
k
8
d
36
kd²/n
16.457
w
6
X/Z
1

Share this result

Distance

X/Z asymmetry 1 · d_X ≤ 36, d_Z ≤ 36 · 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 36 · witness weight 36 (claimed upper_bound)
witness found by @vprusso · GPU deep kernel (full basis, pair depth 8) · found at 5×107 trials · survived 6×107 trials · 2026-09-23
witness operator (support, 36 qubits)
[3, 19, 32, 45, 48, 70, 86, 99, 153, 164, 178, 207, 220, 236, 248, 261, 286, 293, 302, 306, 332, 338, 342, 394, 398, 413, 423, 440, 454, 460, 479, 516, 560, 578, 610, 616]
d_Z 36 · witness weight 36 (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, 36 qubits)
[2, 21, 50, 58, 115, 125, 133, 152, 158, 177, 199, 214, 233, 241, 253, 261, 288, 290, 299, 307, 309, 359, 369, 404, 413, 420, 436, 467, 474, 506, 527, 544, 560, 564, 614, 620]
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)×630 (2,4)×4725 (3,3)×630 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_X
(1,3): 630 (2,4): 4725 (3,3): 630 (3,5): 45360 (3,7): 6300
trapping sets H_Z (1,3)×630 (2,4)×4725 (3,3)×630 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_Z
(1,3): 630 (2,4): 4725 (3,3): 630 (3,5): 45360 (3,7): 6300

Construction & provenance

authors @vprusso
provenance submitted through the challenge
novelty new parameter set claimed by submitter
construction Bivariate bicycle code on Z_35 x Z_9 (research/kit/bb.py build_bb): A = x0 y2 + x29 y0 + x21 y6, B = x30 y6 + x32 y4 + x24 y6 (monomial exponent pairs (i, j) as in the kit); H_X = [A | B], H_Z = [B^T | A^T]; n = 2 l m = 630, 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 36, Z 36; finalist deep-kernel GPU pass: X 36 at 50,000,000 trials (seed 777); Z 36 at 50,000,000 trials (seed 778); board fast pass 36 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": 35, "m": 9, "A": [[0, 2], [29, 0], [21, 6]], "B": [[30, 6], [32, 4], [24, 6]]}
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

[[630,8,36]] weight-6 bivariate bicycle code on Z_35 x Z_9

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 | 72000163003 | 40 | | screen stage 2 (estimate) | X | 500,000 | 72000163300 | 38 | | screen stage 3 (recover) | X | 2,000,000 | 72000163600 | 38 | | screen stage 1 (estimate) | Z | 100,000 | 72000163004 | 40 | | screen stage 2 (estimate) | Z | 500,000 | 72000163301 | 40 | | screen stage 3 (recover) | Z | 2,000,000 | 72000163601 | 36 | | gf2_fast CPU RIS, pair depth 8, 1 thread, both sides | X | 200,000 | 876 | 38 | | finalist GPU deep kernel, full basis, pair depth 8 | X | 50,000,000 | 777 | 36 | | finalist GPU deep kernel, full basis, pair depth 8 | Z | 50,000,000 | 778 | 36 | | board fast pass, gf2_fast pair depth 8, 2 threads, both sides | both | 8,000,000 | 5562 | 36 |

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 36 at 8,000,000 trials (3808 s, 2 threads, seed 5562); GATE passed.

Claim: witness-backed upper bound d <= 36 (X <= 36, Z <= 36), 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_35 x Z_9 (research/kit/bb.py build_bb): A = x^0 y^2 + x^29 y^0 + x^21 y^6, B = x^30 y^6 + x^32 y^4 + x^24 y^6 (monomial exponent pairs (i, j) as in the kit); H_X = [A | B], H_Z = [B^T | A^T]; n = 2 l m = 630, k = 8, every check has weight 6.

Parity checks

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