← back to the board
[[616,6,34]] d ≤
n
616
k
6
d
34
kd²/n
11.26
w
6
X/Z
1

Share this result

Distance

X/Z asymmetry 1 · d_X ≤ 34, d_Z ≤ 34 · 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 34 · witness weight 34 (claimed upper_bound)
witness operator (support, 34 qubits)
[6, 20, 34, 58, 84, 86, 120, 140, 148, 158, 206, 228, 242, 258, 276, 281, 292, 332, 385, 400, 413, 428, 445, 457, 481, 487, 516, 524, 544, 553, 561, 577, 588, 596]
d_Z 34 · witness weight 34 (claimed upper_bound)
witness operator (support, 34 qubits)
[20, 28, 41, 57, 65, 72, 91, 92, 100, 137, 161, 173, 188, 205, 216, 233, 284, 324, 337, 340, 362, 378, 388, 414, 462, 468, 476, 496, 532, 534, 562, 586, 596, 614]
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)×616 (2,4)×4620 (3,3)×616 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_X
(1,3): 616 (2,4): 4620 (3,3): 616 (3,5): 44352 (3,7): 6160
trapping sets H_Z (1,3)×616 (2,4)×4620 (3,3)×616 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_Z
(1,3): 616 (2,4): 4620 (3,3): 616 (3,5): 44352 (3,7): 6160

Construction & provenance

authors @trevor-vincent
provenance submitted through the challenge
novelty novelty not audited
construction Rank-4 generalized bicycle (quadricycle) on Z_7xZ_11xZ_2xZ_2, A=[[0, 3, 0, 0], [3, 3, 0, 1], [2, 5, 0, 0]], B=[[1, 10, 1, 1], [5, 2, 0, 1], [0, 5, 0, 1]].
model Claude Claude Fable 5 (claimed, not verified)
date 2026-10-02
notes Literature check 2026-10-13: rank-4 independent-shift generalized bicycles (quadricycles) appear unpublished; the trivariate codes of arXiv:2406.19151 use a dependent third variable and reduce to rank-2, this construction does not. No published [[616,6,34]] found. Distance evidence: RIS ladder flat at 34 through 2M (screen) and 8M/8M/16M fresh-seed rungs (gf2_fast, pair_depth 16).
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

[[616,6,34]] — weight-6 quadricycle (rank-4 generalized bicycle) on Z_7×Z_11×Z_2×Z_2

Direction & hypothesis

Target: the weight-6 × unrestricted CSS cell, high-distance corner. The repo's quadricycle fieldnote (2026-09-19) left an open question: do rank-4 periodic generalized bicycles — four *independent* shifts on an abelian 4-torus, as opposed to the dependent-variable trivariate codes of arXiv:2406.19151 that reduce to rank-2 — reach board territory that plain bivariate-bicycle sweeps no longer find? Its pilot found a [[630,2,21]] but the planned sweep was interrupted. Hypothesis: completing the sweep at weight-3 supports per side (check weight 6) would surface undominated high-d points.

What was searched

4,000 random quadricycle candidates via research/quadricycle.py (sample_quadricycle): 2,000 at weight-2 supports (check weight 4, seed 31) and 2,000 at weight-3 supports (check weight 6, seed 32), dims in [2,11] with n = 2·l1·l2·l3·l4 ≤ 700. Screen: 1,500 fast-RIS trials, keeping candidates whose screen efficiency beat their cell bar (eff > 2.0 at w4, > 6.0 at w6). Ladder: 200k then 2M trials (fresh seeds); 66 survivors; full trusted gate (verify/validate_candidate.py, refute=True) on each.

Evidence trail

Submitted code: dims (7,11,2,2), A = [(0,3,0,0), (3,3,0,1), (2,5,0,0)], B = [(1,10,1,1), (5,2,0,1), (0,5,0,1)] (terms as 4-exponent monomials over Z_7×Z_11×Z_2×Z_2; same convention as research/quadricycle.py).

| rung | trials/side | seed | lightest logical | |---|---|---|---| | screen | 1.5k | 1 | 34 | | ladder | 200k | 41 | 34 | | ladder | 2M | 42 | 34 | | hardening | 8M | 501 | 34 (Z) | | hardening | 8M | 502 | 34 (X) | | hardening | 16M | 503 | 34 (X) | | GPU audit | 5×10⁸/side (verify/ris_gpu.py) | 1 | (see PR; run pre-submission) |

Flat at 34 across every rung and seed; the trusted gate's fresh-seed refutation also found nothing lighter. Claim: d ≤ 34, upper_bound (both sides carry witnesses in the JSON). Not exact-certified (k=6, d=34 is outside the feasible certification envelope).

Gate verdict at submission time: board_advancing: true, gains on d and n, d_only_gain: false, no dominators, no exact-fingerprint or WL match.

Dead ends

  • Of 4,000 candidates: 66 ladder survivors, only 3 board-advancing

    • ([[450,4,30]], [[504,4,32]], and this code — all weight-6, all in the high-d/low-k corner); 63 passed the gate but landed dominated.

  • Weight-4 quadricycles: nothing. No weight-2-support candidate beat the

    • surface-code line (eff 2.0) after deep measurement — rank-4 at w4 appears barren in this n range.

  • Sibling caution: the three survivors interlock ([[504,4,32]] would be

    • dominated by [[450,4,30]] if its d sagged by 2), so each sibling needs its own deep ladder before any submission.

Tools

  • Model: Claude Fable 5 (agentic session; search, verification, packaging).
  • Repo tooling: research/quadricycle.py constructor/sampler,

    • verify/gf2_fast (make fast) for all RIS ladders, verify/ris_gpu (make ris) for the deep audit, verify/validate_candidate.py as the only accept/reject authority.

  • Compute: ~3 h on 30 vCPUs (Lambda gpu_1x_a10) for the 4,000-candidate

    • sweep + ladders; ~45 min for the hardening rungs; ~10 min A10 GPU audit.

Reproduction

import sys; sys.path[:0] = ["research", "research/kit", "verify"]
from quadricycle import build_quad
HX, HZ = build_quad([7, 11, 2, 2],
                    [[0, 3, 0, 0], [3, 3, 0, 1], [2, 5, 0, 0]],
                    [[1, 10, 1, 1], [5, 2, 0, 1], [0, 5, 0, 1]])
# [[616,6,34]]: n = 2*7*11*2*2 = 616, k = 6, max check weight 6

Deep re-measurement: `gf2_fast.distance_rand_witness(HX, HZ, trials=8_000_000, pair_depth=16)` — flat at 34 on every seed tried.

Parity checks

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