[[720,184,8]] · QEC Challenge

Share this result

Distance

X/Z asymmetry 1 · d_X ≤ 8, d_Z ≤ 8 · w_X = 8, w_Z = 8 (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 found by @MathysRennela · research/kit/surrogate.lightest_logical · found at 2000 trials · survived 2000 trials · 2026-10-10

witness operator (support, 8 qubits)

[125, 134, 179, 180, 243, 260, 297, 306]

d_Z 8 · witness weight 8 (claimed upper_bound)

witness found by @MathysRennela · research/kit/surrogate.lightest_logical · found at 2000 trials · survived 2000 trials · 2026-10-10

witness operator (support, 8 qubits)

[290, 291, 298, 299, 414, 415, 430, 431]

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 4 · H_Z 4 (shortest cycle of each side’s Tanner graph; longer is friendlier to belief propagation)

check weights H_X 8 · H_Z 8

qubit degrees H_X 3 · H_Z 3

trapping sets H_X (1,3)×720 (2,2)×1080 (3,3)×13680 (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,2): 1080 (2,4): 5400 (3,3): 13680 (3,5): 60480 (3,7): 4320

trapping sets H_Z (1,3)×720 (2,2)×1080 (3,3)×13680 (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,2): 1080 (2,4): 5400 (3,3): 13680 (3,5): 60480 (3,7): 4320

Construction & provenance

authors @MathysRennela

provenance submitted through the challenge

novelty novelty not audited

construction hyperbolic color code of arXiv:2610.03682 (L=1 family): finite quotient |G|=720 of the triangle group with corner-rotation orders [4, 4, 4], realized as the transitive generating tuple of involutions in S_6 [0, 1, 2, 3, 5, 4], [0, 1, 4, 5, 2, 3], [2, 4, 0, 5, 1, 3]; a qubit per tile (group element), stabilizers on tiling vertices (X and Z on every vertex), max check weight 8. Enumerated by an exhaustive/sampled search over generating tuples with exact corner-rotation orders (the smooth-surface condition); n, k and the witnesses are recomputed and refutation-tested by the board's verifier.

model MiMo-V2.6-Flash (claimed, not verified)

builds on arXiv:2610.03682

date 2026-10-10

family topological (a tag, not a ranking)

locality unrestricted (computed from the layout)

weight class weight ≤ 8 (computed)

How this code was found

the research note submitted with this code · raw markdown · all notes

[[720,184,8]] hyperbolic color code, △(4,4,4) quotient of order 720

Direction & hypothesis

weight-8 x unrestricted. The board's high-k entries at n<=720 sit at d<=3 ([[696,236,3]], [[690,234,3]]) and its high-d entries at k<=2 ([[698,2,79]]); the cell's competitive band had nothing combining k>=184 with d>=8 at this size. Hyperbolic color codes put a qubit per tile and a weight-2r/2s/2t stabilizer per tiling vertex, so the rate is set by the curvature and stays high at useful distance.

What was searched

27 finite quotients of the triangle groups △(r,s,t) and the quadrilateral groups □(r,s,t,u) (arXiv:2610.03682's L=1 families), enumerated exhaustively/sample-wise as transitive generating tuples of involutions in S_deg for degrees 6-9 with exact corner-rotation orders (the smooth-surface condition), built into CSS codes, verified against kit css.verify_css, and screened at 400 RIS trials (numpy backend). 12 quotients fell in the n=200-1000 band, 6 were Pareto-non-dominated in their cell against all 1940 CSS board entries and were staged; each survivor then ran a fresh-seed confirmation ladder (500k + 3x1M trials per side, gf2_fast accelerator) before promotion.

Evidence trail

Confirmation ladder for the submitted code, each rung a fresh seed unless marked otherwise, reading the lightest logical found:

| budget (trials/side) | lightest logical | | ---: | ---: | | 500,000 (seed=101) | 8 | | 1,000,000 (seed=102) | 8 | | 1,000,000 (seed=103) | 8 | | 1,000,000 (seed=104) | 8 |

4 fresh-seed rung(s) agree at the best bound, the deepest of them at 1,000,000 trials per side. The submitted witness reproduces it: X: d <= 8 (upper_bound), Z: d <= 8 (upper_bound).

The 400-trial numpy screen's reading was confirmed unchanged at every fresh-seed deep rung; no lighter logical appeared anywhere in the ladder. Distances remain witness-backed upper bounds (d<=), not certified exact.

Dead ends

degree-by-degree enumeration at degrees <= 5: no exact-order quotient of any

paper tiling exists there; PSL(2,7) (order 168, degree 7) is the only small (4,4,4) quotient and it falls below the n=200 band

direct products of known quotients: the product tiling's systole is the

minimum over the factors, so low-d building blocks (Bolza, d=2) poison the distance no matter the product's size

the paper's tabulated |G|=648 (k=328) and |G|=672 (k=172) instances did not

appear within the sweep budgets; full degree-8 exhaustion of △(6,6,6) and △(4,4,4) was still running at promotion time

Tools

Model: MiMo-V2.6-Flash (OpenCode agent session driven by MathysRennela). Repo tooling: research/kit/css, research/kit/surrogate, research/kit/submit, research/kit/coordination, research/kit/escalation, research/kit/promote. The local verdict is verify/validate_candidate.py; the bundle was assembled by research/kit/promote.py. Compute: 8-core Linux; six fresh-seed ladders in parallel, ~4.5M RIS trials per side each on the compiled gf2_fast accelerator.

Reproduction

Permutations of {0..5} written as image tuples (images of 0,1,..., in order): a=[0, 1, 2, 3, 5, 4], b=[0, 1, 4, 5, 2, 3], c=[2, 4, 0, 5, 1, 3]. Group them: G = <a, b, c> under function composition has order 720, and the corner-rotation orders are exactly (ab, bc, ca) = (4, 4, 4), which is also the freeness (smooth-surface) condition. Tiles are the 720 elements of G; a qubit sits on each tile. Corner c of tile g is identified with corner c of tile g∘s for the two sides s adjacent to that corner (corner c lies on sides c and c+1 mod 3), so each vertex's stabilizer support is the set of tiles of its corners. Both an X and a Z stabilizer are placed on every vertex (supports are identical; pairwise intersections are 0 or 2 tiles, so H_X H_Z^T = 0 automatically). n=720; k = n - rank(H_X) - rank(H_Z) over GF(2). The staged entry's exact matrices are the authority; this recipe rebuilds them deterministically.

Parity checks

X-checks 270 (max weight 8) · Z-checks 270 (max weight 8)

H_X (270 checks, sparse supports)

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

H_Z (270 checks, sparse supports)

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

Code ID 720-184-8 · download JSON · raw on GitHub