← back to the board
[[675,139,8]] d ≤
n
675
k
139
d
8
kd²/n
13.179
w
6
X/Z
1

Share this result

Distance

X/Z asymmetry 1 · d_X ≤ 8, d_Z ≤ 8 · 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 8 · witness weight 8 (claimed upper_bound)
witness operator (support, 8 qubits)
[283, 345, 352, 369, 459, 479, 487, 504]
d_Z 8 · witness weight 8 (claimed upper_bound)
witness operator (support, 8 qubits)
[41, 47, 79, 118, 272, 282, 311, 388]
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 8 · H_Z 8 (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 2–4 (mean 2.4) · H_Z 2–4 (mean 2.4)
trapping sets H_X (1,2)×540 (2,2)×1620 (3,2)×4860 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_X
(1,2): 540 (1,4): 135 (2,2): 1620 (2,4): 2160 (2,6): 270 (3,2): 4860 (3,4): 20520 (3,6): 11880 (3,8): 1890
trapping sets H_Z (1,2)×540 (2,2)×1620 (3,2)×4860 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_Z
(1,2): 540 (1,4): 135 (2,2): 1620 (2,4): 2160 (2,6): 270 (3,2): 4860 (3,4): 20520 (3,6): 11880 (3,8): 1890

Construction & provenance

authors @vprusso
provenance submitted through the challenge
novelty new parameter set claimed by submitter
construction Lifted product over the non-abelian group algebra F_2[G], G = Z_45 x|_16 Z_3 (order 135; generators x, y with x45 = y3 = 1, y x = x16 y; element x^a y^b has index a*3+b). Base matrices A = [1 + x21y1, 1 + x32] (entries act by the left regular representation L(g)[gh,h]=1) and B = [1 + x36y2, 1 + x7] (entries act by the right regular representation R(g)[h,hg]=1). Qubit blocks of size |G|: sector 1 holds (i,j) for i in cols(A), j in cols(B) at block i*n_B+j; sector 2 holds (r,s) for r in rows(A), s in rows(B). X-check (r,j) = [L(A[r][i]) on (i,j)] + [R(B[s][j]) on (r,s)]; Z-check (i,s) = [R(B[s][j])^T on (i,j)] + [L(A[r][i])^T on (r,s)]. Same construction as the weight-9 mitten / ZSZ-LP codes of arXiv:2607.28795 and arXiv:2607.27644 (which are the case of four weight-3 entries), here with entry weights [[2, 2]] / [[2, 2]].
model Claude Claude Fable 5.1 (Claude Code) (claimed, not verified)
builds on arXiv:2607.28795, arXiv:2607.27644, arXiv:2111.03654
date 2026-09-16
notes Distance is a witnessed upper bound (both sides weight 8). Depth: screen at 300 fast RIS trials read d <= 8, ladder 10k and 100k trials read 8, 8; at packaging two independent fast RIS (gf2_fast) two-sided searches of 1,000,000 trials per side (seeds 7919 and 15838) each returned a weight-8 X logical and nothing lighter on either side. Gate refutation seed 375696323. Both binomial seed rows have Cayley-graph girth 8, which upper-bounds d; the code meets that bound. Novelty: no [[675,139,8]] and no isomorphic code found in the 2BGA, GB, BB, QECDB and codetables data (Tanner-graph canonical-form check with pynauty); parameters claimed new, not verifier-proved. Not equivalent to a board entry (validator dedup found no exact or WL-equivalent match). Sampler spec: {"family": "nonabelian-lp", "group": "ZSZ(45,3,16)", "N": 135, "A": [[[0, 64], [0, 96]]], "B": [[[0, 110], [0, 21]]], "class_d": [8, 8], "w": 6}
family lifted product (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

[[675,139,8]] non-abelian lifted product over ZSZ(45,3,16) at check weight 6

Direction & hypothesis

Target: the unrestricted x weight-6 cell at high rate. Before this submission no board code with check weight <= 6 had k >= 52 at d >= 5; the weight-6 codes at d = 8 top out at k = 50 ([[700,50,8]]). The construction is the lifted product of two one-row base matrices with entries in F_2[G] for a non-abelian group G, the weight-9 mitten / ZSZ-LP shape of arXiv:2607.28795 and arXiv:2607.27644, with all four entries lowered from weight 3 to weight 2 (binomials 1 + g): check weight 6, n = 5|G|, k >= |G|. The hypothesis was that a rate-1/5 weight-6 code lands on the cell's frontier at any distance the board had not reached at that k, if the binomial rows can be chosen with large enough classical distance.

What was searched

For a one-row base the classical seed code ker[L(a_1) L(a_2)] upper-bounds the quantum distance (150 of 150 random codes in a weight-(3,3)/(2,2) check obeyed it). For binomial entries 1 + g_1, 1 + g_2 the seed is the cycle code of the Cayley graph Cay(G, {g_1, g_2}), whose distance is its girth (exact, BFS). The search was therefore a seed pipeline: rank seed rows by girth, product the best, quantum-screen the products.

  • Girth survey: 1500 random generator pairs per group over all non-abelian

    • ZSZ(l1, l2, q) presentations (l2 <= 8) with |G| <= 140. Girth <= 6 for every |G| < 105; 7 at |G| in {105, 125}; 8 at |G| in {108, 110, 120, 128, 135, 140}. This restricted the weight-6 push to n = 525 to 700.

  • Seed pipeline on those orders: 155 presentations, 4000 seed rows per

    • group ranked by exact girth, top 25 per side, 25 x 25 products with conjugate-shifted-inverse pairs skipped (they force a weight-3 logical), screened at 300 fast RIS trials: 17500 products, 12965 distinct codes. Best screen d by n: 525:7, 540:8, 600:6, 625:7, 640:7, 675:8, 700:7; the four ZSZ(22,5,q) presentations at |G| = 110 had no admissible product.

  • At |G| = 135 the products of the girth-8 seeds on ZSZ(45,3,16) reached

    • d <= 8, meeting the seed bound; 1221 distinct codes were recorded at n = 675.

  • Mid-range control (36 <= |G| <= 104, 2000 seed rows per group, 16 x 16

    • products, about 24000 products over 98 groups): d = 6 on 85 groups, 5 on 9, no admissible product on 4.

  • Random (2,2)/(2,2) smoke run, 3000 codes on 43 groups with |G| <= 60:

    • best d = 6 at n = 240, 270, 280.

Ladder: 10k then 100k fast trials on the best d per (n, k) among the survivors, at most 15 per sweep.

Evidence trail

Submitted code (ZSZ(45,3,16), girth-8 seed run):

| stage | trials per side | lightest logical | |---|---|---| | screen | 300 | 8 | | ladder | 10k | 8 | | ladder | 100k | 8 | | packaging, round 1 (seed 7919) | 1,000,000 | 8 (X) | | packaging, round 2 (seed 15838) | 1,000,000 | 8 (X) | | gate refutation (seed 375696323) | 8000 numpy RIS | nothing lighter |

Both witnesses in the JSON have weight 8. Both seed rows have girth 8, so d <= 8 is also forced structurally; the RIS results say the product loses nothing against that bound. The claim is a witness-backed upper bound d <= 8. No exact certification was attempted (k = 139). A first packaging attempt for this code was stopped at the budget limit during the numpy witness search and rerun in full; the numbers above are from the completed run.

Sibling from the same run: [[540,112,8]] on ZSZ(18,6,7), submitted separately (ladder 8, 8, 8; 300k per side at packaging plus a 1M-per-side confirmation flat at 8). Neither dominates the other. The girth-8 groups at |G| = 120, 128 and 140 fell short of their seed bound (best product d = 6 or 7) and were not packaged.

Dead ends

  • Every group with |G| < 105 is capped at d <= 6 for binomial rows by the

    • girth survey, so weight 6 at n < 525 cannot beat d = 6 in this family.

  • ZSZ(15,2,11) (the group of the published [[150,30,10]]) has no usable

    • binomial product: all 24 girth-6 generator pairs are conjugate-related.

  • At |G| = 120 (ZSZ(15,8,q)) the girth-8 seeds gave products with d <= 5

    • or 6, the largest shortfall against the seed bound in the run. A typical weight-5 X-logical puts two qubits in one off-diagonal sector-1 block, one in each of two other sector-1 blocks and one in sector 2.

  • The rate-2/5 shape with entry weights (2,2,2)/(2,2,2) (check weight 8)

    • gave d <= 5 on 6000 codes over 144 groups.

Tools

Model: Claude Fable 5.1 (Claude Code), matching provenance.model. Repo tooling: research/kit/search.py (screen, fast backend), verify/gf2_fast for the 1M-trial two-sided RIS searches, research/kit/submit.py (make_submission, save_submission) for packaging with the numpy witness search, verify/validate_candidate.py as the gate. The lifted-product constructor, the girth ranking and the seed pipeline were written for this run; the constructor and sampler are submitted to the research kit in a separate PR, and the girth ranking is a BFS on the Cayley graph as described above. The campaign ran in about five hours of wall clock on a 16-core machine.

Reproduction

Group G = ZSZ(45, 3, 16): generators x, y with x^45 = y^3 = 1 and y x = x^16 y; element x^a y^b at index 3a + b (|G| = 135, identity at 0).

Base rows (entries in F_2[G]):

A = [ 1 + x^21 y , 1 + x^32 ] B = [ 1 + x^36 y^2 , 1 + x^7 ]

Entries of A act by the left regular representation L(g)[gh, h] = 1, entries of B by the right regular representation R(g)[h, hg] = 1. Sector 1 holds blocks (i, j), i in cols(A), j in cols(B), at block index 2i + j; sector 2 holds the single block (0, 0) after them; every block has 135 qubits, n = 5 x 135 = 675. X-check block row j: L(A[0][i]) on block (i, j) for i = 0, 1 and R(B[0][j]) on the sector-2 block. Z-check block row i: R(B[0][j])^T on block (i, j) for j = 0, 1 and L(A[0][i])^T on the sector-2 block. In group-element indices, A = [[0, 64], [0, 96]] and B = [[0, 110], [0, 21]]. The same convention rebuilds codes/150-30-10.json from the trinomials in notes/150-30-10.md.

Parity checks

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