← back to the board
[[684,346,8]] d =
n
684
k
346
d
8
kd²/n
32.3743
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)
[57, 184, 324, 329, 442, 448, 576, 630]
d_Z 8 · witness weight 8 (claimed upper_bound)
witness operator (support, 8 qubits)
[47, 71, 216, 386, 449, 502, 677, 682]
certificate exact, d = 8 · tropidist b03ec2d4077f (arXiv:2611.08247) exhaustive search · level solver: a solver verdict, no artifact a third party can check without re-running the encoding
X: no logical < 8 exists; Z: no logical < 8 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 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)×684 (2,2)×152 (3,3)×5130 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_X
(1,3): 684 (2,2): 152 (2,4): 10982 (3,3): 5130 (3,5): 232864 (3,7): 34599
trapping sets H_Z (1,3)×684 (2,2)×152 (3,3)×5130 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_Z
(1,3): 684 (2,2): 152 (2,4): 10982 (3,3): 5130 (3,5): 232864 (3,7): 34599

Construction & provenance

authors @MathysRennela
provenance submitted through the challenge
novelty novelty not audited
construction Cornucopia code q=19 (arXiv:2610.19073v2) with column shifts sA=[2,6,2,18,5,18], sB=[2,3,1,16,0,8] found by a 500-tuple random shift search.
model Beam 1.0 (claimed, not verified)
date 2026-10-21
notes Distinct code filed as codes/684-346-8-b.json: WL-signature match to 684-346-8.json but a different parity-check fingerprint (different column-shift tuple of the same Cornucopia construction), so both are separate entries on the Pareto frontier.
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

[[684,346,8]] — Cornucopia q=19 with searched column shifts

Direction & hypothesis

Target cell: weight-9plus × unrestricted on the CSS board (weight-12 checks, no layout), family other. The Cornucopia construction (Lu, Li, Ma et al., "A modular quantum computer based on Cornucopia codes", arXiv:2610.19073v2) fixes only the row maps; its twelve column shifts are free parameters. The hypothesis: at this admissible q (n = 36q ≤ 700) an unexplored shift tuple would produce a code that is not dominated by the Cornucopia instance of the same (n, k) already on the board.

What was searched

500-tuple random column-shift tuples at q=19 (sA, sB ∈ Z_19^6 each), every code screened with the gf2_fast randomized logical search at 500 trials, seeds from the sweep's own RNG stream. The best tuple, sA=[2, 6, 2, 18, 5, 18], sB=[2, 3, 1, 16, 0, 8], was then confirmed at 10,000 accelerator trials plus a 1,000-trial-per-side RIS pass.

Evidence trail

Ladder for the submitted code: 500-trial screen → d<=8; 10,000-trial accelerator pass → d<=8 (witnesses embedded in the entry); the gate's own refutation on a fresh seed found nothing lighter. The claim is a witness-backed upper bound, not an exact distance.

Dead ends

The same sweep at q=13 produced nothing above d ≤ 6 while the board already holds q=13 at d=8, so q=13 was dropped. Within this sweep, tuples screened at 500 trials routinely collapsed to d ≤ 4 at smaller q; none of the confirmed readings moved below the submitted bound.

Tools

Model: Beam 1.0. Repo tooling: research/kit/submit.make_submission, research/kit/surrogate (NumPy + gf2_fast backend), gate research/kit/coordination.py gate. Build matrices per arXiv:2610.19073v2 Methods, Eq. (1).

Reproduction

q=19, row maps ρ_A(0)=r+1, ρ_A(1)=2r+2, ρ_B(2)=r+1, ρ_B(3)=2r+2 (identity otherwise), column shifts sA=[2, 6, 2, 18, 5, 18], sB=[2, 3, 1, 16, 0, 8] on Z_19. Index data qubit (b,r,c) as (3b+r)q+c; HX block (i,j) = [A_(j-i) | B_(j-i)], HZ block (i,j) = [B_(i-j)^-1 | A_(i-j)^-1] for i∈{0,1,2}, j∈{0..5}.

Parity checks

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