← back to the board
[[672,20,32]] d ≤
n
672
k
20
d
32
kd²/n
30.476
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 operator (support, 32 qubits)
[43, 51, 85, 109, 114, 147, 172, 176, 213, 242, 246, 279, 280, 317, 321, 378, 385, 445, 495, 502, 536, 547, 554, 595, 597, 604, 609, 652, 653, 654, 659, 671]
d_Z 32 · witness weight 32 (claimed upper_bound)
witness found by @vprusso · verify/ris_gpu.py recover mode, pair depth 0 (GPU RIS, CPU re-verified) · found at 3×108 trials · survived 3×108 trials · 2026-09-25
witness operator (support, 32 qubits)
[6, 7, 12, 13, 57, 62, 68, 69, 113, 119, 174, 175, 180, 181, 225, 230, 236, 237, 281, 287, 347, 376, 386, 403, 432, 498, 515, 544, 554, 571, 600, 666]
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 3 · H_Z 3
trapping sets H_X (1,3)×672 (2,4)×5040 (3,5)×50400 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_X
(1,3): 672 (2,4): 5040 (3,5): 50400 (3,7): 6720
trapping sets H_Z (1,3)×672 (2,4)×5040 (3,5)×50400 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_Z
(1,3): 672 (2,4): 5040 (3,5): 50400 (3,7): 6720

Construction & provenance

authors @vprusso
provenance submitted through the challenge
novelty novelty not audited
construction Two-block group algebra (2BGA) code over the non-abelian metacyclic group C_12 semidirect_5 C_28 of order 336: H_X=[Lm(a)|Rm(b)], H_Z=[Rm(b)^T|Lm(a)^T] from the left and right regular representations, which commute for any group so the CSS condition holds without G abelian. Element (i,j) = x^i y^j indexed as i*28+j, with (i1,j1)(i2,j2) = (i1 + i2*5^j1 mod 12, j1+j2 mod 28). a = {0,83,302}, b = {0,141,207}. Construction of arXiv:2306.16400 applied past that paper's Table 1 range; the builder reproduces the board's [[540,12,28]] on C_9 semidirect C_30 exactly, including recovering that entry's unstated element index convention from the data.
model Claude Claude Opus 5 (claimed, not verified)
date 2026-09-08
family 2BGA coset (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

[[672,20,32]]: distance revision of the board's [[672,20,32]] entry

Revision history

The entry keeps its parameters [[672,20,32]]. The code, its checks, its layout, and its original provenance are unchanged; only the distance block is corrected. A GPU random-information-set search (verify/ris_gpu.py, recover mode, 300,000,000 trials per side, pair depth 0, seed 4101) exhibits a weight-32 Z logical, so the previous witness-backed bound was overstated on that side; the overall distance d = 32 is unchanged. Each lighter witness is carried in the entry with the budget it was found at; the other side keeps its original witness where it was not refuted. Distance remains an upper bound, not an exact claim.

Evidence

Every GPU proposal was re-validated on the CPU against the committed check matrices (in the kernel of the opposite side's checks, outside the row space of its own side) before it was recorded. The pass is the weekly fresh-seed re-measurement of the board's cell leaders (issue 2025, run of 2026-09-24); every recorded reading is the lightest CPU-verified logical at that budget.

| side | seed | claimed | GPU best weight | CPU-verified witness | trials | |---|---|---|---|---|---| | X | 4101 | 32 | 32 | 32 | 300,000,000 | | Z | 4101 | 40 | 32 | 32 | 300,000,000 | | X | 4102 | 32 | 32 | 32 | 300,000,000 | | Z | 4102 | 40 | 32 | 32 | 300,000,000 |

Original note, with the file paths updated

[[672,20,32]] weight-6 two-block group algebra code on C_12 x| C_28

Where this came from, including the wrong turn

A two-block group algebra code (Lin and Pryadko, arXiv:2306.16400) sets H_X = [Lm(a) | Rm(b)] and H_Z = [Rm(b)^T | Lm(a)^T] from the left and right regular representations. Those commute for any group, so the CSS condition holds without the group being abelian. It is checked on every candidate rather than assumed.

The board's six check-weight-6 2bga-coset entries all stop at or below n = 240 against MAX_N = 700 and trace to Table 1 of that paper, which tabulates small groups. That is a provenance gap, so the two obvious non-abelian families past n = 240 were swept.

DICYCLIC IS EMPTY. 2,217 candidates built and distance-screened across 15 groups spanning n = 248 to 504, zero clearing the board's bar. The family realises k freely, up to 160 in a level-1 pass; the distances are simply too small.

METACYCLIC IS NOT. 1,356 isomorphism classes with 125 <= mn <= 350, 889 hits in 296 groups, under identical screening, margin and bar. The difference is the family, not the method.

THE WRONG TURN IS WORTH RECORDING because it nearly hid this code. Every hit in the first forty groups was C_3 semidirect_2 C_n, and the natural reading was that nearly-abelian groups are the productive ones: Aut(C_3) has order 2, so r = 2 is inversion, <y^2> is central, and those groups are a large abelian factor with a small twist. A prediction was recorded before the data existed: hit rate should concentrate at ord(r) = 2 and fall above it.

It is false, and in the opposite direction. Across the finished sweep:

| ord(r) | groups | hits | hits per group | |---|---|---|---| | 2 | 987 | 437 | 0.443 | | 3 | 115 | 135 | 1.174 | | 4 | 137 | 100 | 0.730 | | 6 | 70 | 121 | 1.729 |

ord(r) = 2 is the LOWEST of the four well-sampled orders, and 452 of 889 hits come from ord(r) > 2. The early pattern was an artefact of enumeration order: the sweep walks m upward from 3, and at m = 3 the only available action has order 2. This code lives at m = 12, which is not reachable until the sweep leaves small m.

The code

G = C_12 semidirect_5 C_28, order 336. Element (i,j) = x^i y^j indexed as i*28 + j, with (i1,j1)(i2,j2) = (i1 + i2 * 5^j1 mod 12, j1 + j2 mod 28). a = {0, 83, 302}, b = {0, 141, 207}. n = 672, k = 20 by rank, max check weight 6.

Why the bound is trustworthy here

Rising-budget ladder, gf2-validated witness at every level:

20,000 d <= 36 200,000 d <= 34 2,000,000 d <= 32 8,000,000 d <= 32

and then, because a single deep search on one seed is not a safe basis for a claim, twelve independent seeds at 64,000 trials:

| seed | 23 | 1 | 2 | 3 | 5 | 7 | 11 | 13 | 17 | 29 | 42 | 101 | |---|---|---|---|---|---|---|---|---|---|---|---|---| | d | 32 | 34 | 36 | 36 | 34 | 32 | 34 | 34 | 32 | 32 | 34 | 32 |

Five of twelve reach 32, none goes below, and the spread is four weight units.

That second table exists because of a mistake made earlier in the same batch. On the [[684,8,85]] entry (its file has since been refiled) an 8,000,000-trial single-seed run reported 84 and a 64,000-trial run on seed 23 found 81, so a claim was filed three weight units too weak and had to be corrected. Seed and search path matter alongside budget, and the safe procedure is to run both and take the smallest.

The builder was validated before anything was believed

Rebuilding [[540,12,28]] from its own stated group, action and supports returns n = 540, k = 12 and w = 6 exactly, and its distance reaches exactly 28 at 2,000,000 trials. That entry lists element indices 0..269 without stating a convention, so both natural ones were tried: i_major (index = i*n + j) reproduces k = 12 and j_major returns k = 4. Only one can be right and the data picks it.

A group deduplication bug surfaced through the same control. Deduplicating classes on "r and r' generate the same subgroup of (Z/m)*" DROPPED C_9 semidirect_5 C_30, the control's own group. The correct equivalence is r' = r^t mod m for t coprime to n, since the isomorphism sends y to y^t and y^t must retain order n.

Sibling not submitted

The same sweep produced [[672,16,32]] on C_84 semidirect_29 C_4, undominated by the board on its own. It is not submitted because this code dominates it: same n, same distance, same weight, higher k.

Parity checks

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