← back to the board
[[720,16,36]] d ≤
n
720
k
16
d
36
kd²/n
28.8
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 @MicheldeMessieres · bit-packed RIS (sym-restricted, then plain) · found at 105 trials · survived 3×105 trials · 2026-10-08
witness operator (support, 36 qubits)
[13, 32, 38, 133, 152, 158, 253, 272, 278, 374, 390, 394, 396, 422, 442, 446, 464, 468, 494, 510, 514, 516, 542, 562, 566, 584, 588, 614, 630, 634, 636, 662, 682, 686, 704, 708]
d_Z 36 · witness weight 36 (claimed upper_bound)
witness found by @MicheldeMessieres · bit-packed RIS (sym-restricted, then plain) · found at 105 trials · survived 3×105 trials · 2026-10-08
witness operator (support, 36 qubits)
[21, 47, 119, 141, 167, 239, 261, 287, 359, 360, 368, 385, 391, 404, 461, 467, 469, 475, 480, 488, 505, 511, 524, 581, 587, 589, 595, 600, 608, 625, 631, 644, 701, 707, 709, 715]
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)×720 (2,4)×5400 (3,3)×360 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_X
(1,3): 720 (2,4): 5400 (3,3): 360 (3,5): 52920 (3,7): 7200
trapping sets H_Z (1,3)×720 (2,4)×5400 (3,3)×360 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_Z
(1,3): 720 (2,4): 5400 (3,3): 360 (3,5): 52920 (3,7): 7200

Construction & provenance

authors @MicheldeMessieres
provenance submitted through the challenge
novelty novelty not audited
construction Two-block group-algebra (2BGA) code, check weight 6, over G = C18 x Dic5 (order 360; Dic5 = C5 : C4 = <x,y | x5, y4, y x y-1 = x-1>, z of order 18 central). Element z^c x^i y^j is indexed 20c+4i+j; product (c1,i1,j1)(c2,i2,j2) = (c1+c2 mod 18, i1+(-1)^j1 i2 mod 5, j1+j2 mod 4). H_X=[L(a)|R(b)], H_Z=[R(b)^T|L(a)^T] with L(a)[g,h]=1 iff g=alpha h, R(b)[g,h]=1 iff g=h beta; qubits 0..359 = block 1, 360..719 = block 2. a={1, z3 x2, z14 x y2}, b={1, z y3, z6 x y2}. Found by an exhaustive symmetry-reduced census of weight-6 2BGA codes over C_m x Dic5 (two-sided translations and Aut(G) removed).
model Claude Claude Opus 5.5 (Claude Code) (claimed, not verified)
builds on arXiv:2306.16400
date 2026-10-09
notes Our contribution: the choice of group C18 x Dic5 and the supports a, b, found by an exhaustive symmetry-reduced enumeration of weight-6 2BGA codes (the 2BGA construction itself is Lin and Pryadko's, arXiv:2306.16400). The gate reports no exact duplicate and no WL-equivalent entry. Distance is a witness-backed upper bound: the deepest null result is 300000 random-information-set trials per side plus a 500 x 20000 incremental search. Literature novelty is unverified. Search direction inspired by codes/672-20-32.json by @vprusso (the cell leader; cyclic x small non-abelian group).
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

[[720,16,36]] — weight-6 two-block group-algebra code over C18 x Dic5

Direction & hypothesis

Cell: CSS, unrestricted, weight-6. The cell's leader is the weight-6 two-block group-algebra (2BGA) code [[672,20,32]] (codes/672-20-32.json) over a group with a large cyclic centre and a small non-abelian quotient. Hypothesis: replacing the small non-abelian factor and enumerating every inequivalent weight-6 code over "cyclic x small non-abelian" groups, instead of sampling, may reach codes that random sampling does not.

A 2BGA code is unchanged (up to qubit and check relabelling) when a is replaced by s a u, independently b by v b t (s, u, v, t in G), and when one automorphism of G is applied to both (standard equivalences of group-algebra codes; not claimed as ours). For a non-abelian group this divides the weight-3 supports per side by about |G|^2/|Z(G)|, so the full list per group is small enough to enumerate.

Inspired by: codes/672-20-32.json by @vprusso (found with Claude Opus 5), the cell's leader; its group shape (a cyclic factor times a small non-abelian group) is the direction this search follows.

Our contribution: the group C18 x Dic5 and the supports a, b, found by the exhaustive enumeration below; the 2BGA construction is Lin and Pryadko's (arXiv:2306.16400).

What was searched

All inequivalent weight-6 (3+3) 2BGA codes over: every non-abelian SmallGroup of order 36-159 (except 128 and part of 144), and direct products C_m x H with H in {Dic3, S3, Q8, D8, A4, Dic5, F20, C7:C3, Dic7, Dic9, Dic11, C5:C8, C5:Q8, C3:C8} for orders up to 480. For C18 x Dic5: all 3-element supports up to the equivalences above, rank filter k >= 16, then a random-information-set screen (200 trials per side plus searches restricted to codewords fixed by central elements of order 2 and 3), then 5,000 trials on 72 survivors and 100,000 on the top 10.

Evidence trail

Lightest logical found for the submitted code (both sides; upper bounds): screen 48; 5,000 trials 44; 100,000 trials 38-40; search restricted to codewords fixed by the central element of order 3 (z^12): 36 in 5,000 trials; 100,000 trials with that restriction: 36 on both sides (the stored witnesses); an independent Pauli random-information-set search (1,200 s): nothing below 44. 300,000 plain random-information-set trials per side: 36 on both sides; incremental (Canteaut-Chabaud) search, 500 restarts x 20,000 pivots per side: 36 and 40. The distance is a witness-backed upper bound, not an exact claim.

Near misses that collapsed: [[720,20,<=36]] over C30 x Dic3 fell to 32 at 200,000 trials; [[800,16,<=40]] over C20 x Dic5 fell to 36; [[720,16,<=38]] siblings of this code fell to 36.

Dead ends

Groups with a small centre (A5, PSL(2,7) quotients, Frobenius groups) gave almost no k > 0 codes. Every k >= 16 code over the board leader's own group (C_12 semidirect_5 C_28 as described in its entry; GAP: SmallGroup(336,81), C28 x Dic3; 1,247,396 inequivalent codes) has d <= 32 at our depth. Odd m with Dic5 gave nothing above the screen bar.

Tools

Claude Opus 5.5 (Claude Code), unattended. GAP 4.16 for groups and automorphisms; a C program for the enumeration (canonical forms under two-sided translation, Aut(G) orbits), bit-packed rank and random-information-set searches; numpy for an independent rebuild and witness checks. About 3 CPU-hours for the enumeration and screening over this group, of which about 1 CPU-hour of distance runs on the submitted code (provenance.search_budget).

Reproduction

G = C18 x Dic5, Dic5 = <x, y | x^5, y^4, y x y^-1 = x^-1>, z central of order 18. Element z^c x^i y^j has index 20c + 4i + j. H_X = [L(a) | R(b)], H_Z = [R(b)^T | L(a)^T], L(a)[g,h] = 1 iff g = alpha h, R(b)[g,h] = 1 iff g = h beta. a = {1, z^3 x^2, z^14 x y^2}, b = {1, z y^3, z^6 x y^2}.

Parity checks

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