← back to the board
[[648,328,8]] d ≤
n
648
k
328
d
8
kd²/n
32.395
w
12
X/Z
1

Share this result

Distance

X/Z asymmetry 1 · d_X ≤ 8, d_Z ≤ 8 · w_X = 12, w_Z = 12 (max(d_X,d_Z)/min(d_X,d_Z); each side carries its own earned tier: = certified exact, ≤ witness upper bound)
d_X 8 · witness weight 8 (claimed upper_bound)
witness operator (support, 8 qubits)
[141, 219, 355, 483, 561, 574, 626, 627]
d_Z 8 · witness weight 8 (claimed upper_bound)
witness operator (support, 8 qubits)
[60, 77, 79, 145, 161, 289, 627, 630]
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 12 · H_Z 12
qubit degrees H_X 3 · H_Z 3
trapping sets H_X (1,3)×648 (2,2)×144 (3,3)×4500 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_X
(1,3): 648 (2,2): 144 (2,4): 10404 (3,3): 4500 (3,5): 221688 (3,7): 32778
trapping sets H_Z (1,3)×648 (2,2)×144 (3,3)×4500 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_Z
(1,3): 648 (2,2): 144 (2,4): 10404 (3,3): 4500 (3,5): 221688 (3,7): 32778

Construction & provenance

authors @mathysrennela
provenance submitted through the challenge
novelty novelty not audited
construction Cornucopia code (Lu, Li & Deng, arXiv:2608.02773; block-convolutional CSS construction with the check matrices given in the Methods of arXiv:2610.19073): q=18, n=36q=648 data qubits in twelve 3x18 tiles L0..L5,R0..R5 plus nine 3x18 X-check and nine 3x18 Z-check tiles; HX=[A_(j-i)|B_(j-i)], HZ=[B-1_(i-j)|A-1_(i-j)] with the coordinate permutations A_p,B_p:(r,c)|->(rho(p,r),c+s[p]) on Z_3 x Z_18, row maps rho_A(0)=r+1, rho_A(1)=2r+2, rho_B(2)=r+1, rho_B(3)=2r+2 (identity otherwise), and column shifts sA=[7, 1, 12, 11, 5, 13], sB=[6, 12, 7, 7, 1, 11]. These shifts were found by a random shift search; the paper publishes instances only at q=7,16,25,29,49,64,79. Weight-12 checks, k=18q+4=328.
model MiMo-V2.6-Flash (claimed, not verified)
builds on arXiv:2608.02773, arXiv:2610.19073
date 2026-10-15
family other (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

[[648,328,8]] - Cornucopia code at q=18, a new member of the published family

Direction & hypothesis

Target: the weight-9plus x unrestricted cell on the CSS board (checks of weight 12, no 2D-local layout). The Cornucopia architecture paper (arXiv:2610.19073) closes by saying its construction "carries over to other codes of the family", and the family (Lu, Li & Deng, arXiv:2608.02773) is n = 36q, k = 18q + 4 with weight-12 checks - but the paper publishes instances only at q = 7, 16, 25, 29, 49, 64, 79, of which only q=7 and q=16 fit this board's n <= 700 cap and both are already board entries. So the unpublished block sizes under the cap, q = 4..19, were the opening: every one of them is a rate-1/2 point no CSS board entry can dominate (an entry dominating [[648,328,d]] would need n <= 648 and k >= 328, i.e. rate at least 0.506 at that size, and the board has none).

What was searched

The family's only free parameters are its 12 column shifts: check matrices HX = [A_(j-i) | B_(j-i)], HZ = [B^-1_(i-j) | A^-1_(i-j)] over Z_3 x Z_q coordinate permutations (row maps r+1 for A0 and B2, 2r+2 for A1 and B3, identity otherwise). CSS commutation holds for *every* shift choice: the only noncommuting row-map pairs, (A0,B3) and (A1,B2), enter block-row differences i'-i = 3 (mod 6), which never occur for i,i' in {0,1,2}; so the search is over shifts alone, with k recomputed exactly on every draw.

At q=18: 1200 uniformly random shift pairs, screened at 100 RIS trials each (accelerated backend); the top 24 re-measured at 4000; the top 4 re-measured at 100000; then the packaged candidate re-verified by submit.make_submission (2500 numpy trials/side) and by the submission CLI (800 python RIS + 300000 accelerated trials/side). Stage-1 reads at q=18: 2 -> 66, 4 -> 415, 6 -> 679, 8 -> 35. Seed 17 throughout the sweep, 0 for the CLI witness search. One design fact from the sweep: a read is the lightest logical *found*, so it is always >= the true d - stage-1 ranking cannot discard a better code, only fail to see how good it is.

Evidence trail

Ladder for this candidate (fast-RIS read -> numpy witness -> CLI):

  • stage reads at 100, 4000, 100000 fast-RIS trials: 8, 8, 8; packaging numpy witness search: 2500 trials/side -> d <= 8.
  • final claim: witness-backed upper bound d <= 8, not exact (the

    • exact tier needs the server MILP; k = 328 puts this beyond its envelope).

  • k = 328 = 18*18+4 recomputed by the verifier; CSS commutation checked;

    • max check weight 12.

  • Gate (verify/validate_candidate.py): passed: true, refuted: false

    • (its own refutation found no lighter logical), board_advancing: true, d_only_gain: false, dominated_by: [].

  • The 1200 draws at this q never read above 8; deeper stages confirmed

    • 8. kd^2/n = 32.4.

Dead ends

  • ~0.4% of random shift sets drop rank (k < 18q+4): the two

    • redundancies per check type are not always the only ones. Rejected on an exact GF(2) rank, not a heuristic. At q=18: 5 of 1200 draws.

  • At q=7 and q=16 the best random-shift reads (6 and 8) only *equal* the

    • published-instance board entries [[252,130,6]] and [[576,292,8]], so nothing was staged there: a tie is not a submission.

  • Across the whole campaign (q=4..19, 19,200 draws) no candidate anywhere read

    • above 8 at any depth: uniform random shifts do not reach d=9/10 under n <= 700; the published family first reaches d=10 at q=25 (n=900, over cap). A designed search (hill-climbing on the plateau of 8-reads) is the untried rung, a wider uniform sweep is not.

Tools

Model: MiMo-V2.6-Flash (matches provenance.model), driving an OpenCode agent harness. Repo tooling: research/kit/css.py (exact k, CSS check), research/kit/surrogate.py (RIS surrogate, fast backend verify/gf2_fast), research/kit/submit.py packaging, verify/validate_candidate.py (the trusted gate), ./qldpc submit (witness search, verifier, circuit tier). Compute: ~9 CPU-hours for the whole 16-q campaign; this q's share is the 1200+24*4000+4*100000 screened trials above.

Reproduction

Rebuild (H_X, H_Z) exactly: q = 18, n = 36q, data qubit (b,r,c) (index (3b+r)q+c, b = 0..5 tiles L, b = 6..11 tiles R, r in Z_3, c in Z_q); HX[(i,r,c), (j, A_(j-i)(r,c))] = 1 and on the R tile with B; HZ[(i,r,c), (j, B^-1_(i-j)(r,c))] = 1 and on the R tile with A; each A_p, B_p : (r,c) |-> (rho(p,r), c + s[p]) mod q with rho_A(0)=r+1, rho_A(1)=2r+2, rho_B(2)=r+1, rho_B(3)=2r+2, identity otherwise, and shifts sA = [7, 1, 12, 11, 5, 13], sB = [6, 12, 7, 7, 1, 11]. Weight-12 checks, k = 18q + 4. Verify: uv run python verify/qldpc_verify.py codes/648-328-8.json.

Parity checks

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