← back to the board
[[720,302,4]] d =
n
720
k
302
d
4
kd²/n
6.711
w
8
X/Z
1

Share this result

Distance

X/Z asymmetry 1 · d_X = 4, d_Z = 4 · w_X = 6, 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 4 · witness weight 4 (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, 4 qubits)
[392, 393, 398, 399]
d_Z 4 · witness weight 4 (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, 4 qubits)
[168, 173, 182, 184]
certificate exact, d = 4 · CryptoMiniSat 5.14.7 SAT
X: no logical < 4 exists; Z: no logical < 4 exists

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 8
qubit degrees H_X 2 · H_Z 2
trapping sets H_X (1,2)×720 (2,2)×3600 (3,2)×18000 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_X
(1,2): 720 (2,2): 3600 (3,2): 18000 (3,4): 4800
trapping sets H_Z (1,2)×720 (2,2)×5040 (3,2)×35280 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_Z
(1,2): 720 (2,2): 5040 (3,2): 35280 (3,4): 10080

Construction & provenance

authors @MathysRennela
provenance submitted through the challenge
novelty known parameter set; see provenance notes
construction hyperbolic surface code of arXiv:2610.03682 (L=1 family): finite quotient |G|=720 of the quadrilateral group with corner-rotation orders [3, 4, 3, 4], realized as the transitive generating tuple of involutions in S_6 [0, 1, 2, 3, 5, 4], [0, 1, 2, 4, 3, 5], [0, 1, 4, 5, 2, 3], [4, 5, 2, 3, 0, 1]; a qubit per tile (group element), stabilizers on tiling vertices (X on red, Z on blue vertices of the bipartite tiling), 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
notes The paper tabulates a [[720,302,6]] instance of this family (V6.8.6.8 from the quadrilateral group quotient named square(3,4,3,4)_1252, listed non-orientable); this entry is its own reconstruction with its own witness-backed bound d<=4, and whether the two quotients are the same code was not established. The published parameter set (n=720, k=302) is why provenance.novelty is known_parameters.
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,302,4]] hyperbolic surface code, □(3,4,3,4) quotient of order 720

Direction & hypothesis

weight-8 x unrestricted, high-rate corner. No weight-8 entry at n<=720 reaches k=302 at any d>=2 (nearest: [[696,236,3]], k=236 at d=3); the paper tabulates a [[720,302,6]] instance of this very family (V6.8.6.8 from □(3,4,3,4)_1252), so the family is known good and this entry carries its own witnesses.

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) | 4 | | 1,000,000 (seed=102) | 4 | | 1,000,000 (seed=103) | 4 | | 1,000,000 (seed=104) | 4 |

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