← back to the board
[[632,162,18]] d ≤
n
632
k
162
d
18
kd²/n
83.051
w
8
X/Z
1

Share this result

Distance

X/Z asymmetry 1 · d_X ≤ 18, d_Z ≤ 18 · 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 18 · witness weight 18 (claimed upper_bound)
witness operator (support, 18 qubits)
[18, 26, 80, 82, 89, 93, 156, 172, 180, 299, 302, 328, 457, 507, 520, 524, 531, 598]
d_Z 18 · witness weight 18 (claimed upper_bound)
witness operator (support, 18 qubits)
[44, 120, 201, 205, 219, 251, 261, 359, 366, 381, 413, 415, 471, 545, 555, 557, 558, 616]
certificate none yet · distance stands as a self-certified upper bound (d ≤)

Diagnostics

computed by the verifier from the parity checks, the layout, and the stored witnesses; shown as evidence, not used for ranking
girth H_X 6 · H_Z 6 (shortest cycle of each side’s Tanner graph; longer is friendlier to belief propagation)
check weights H_X 8 · H_Z 8
qubit degrees H_X 3 · H_Z 3
trapping sets H_X (1,3)×632 (2,4)×6636 (3,3)×158 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_X
(1,3): 632 (2,4): 6636 (3,3): 158 (3,5): 92430 (3,7): 13272
trapping sets H_Z (1,3)×632 (2,4)×6636 (3,3)×158 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_Z
(1,3): 632 (2,4): 6636 (3,3): 158 (3,5): 92430 (3,7): 13272

Construction & provenance

authors @vprusso
provenance submitted through the challenge
novelty novelty not audited
construction Pair-partition CPM CSS code (lifted product of a 3x8 base matrix by circulant permutation matrices), (J,L)=(3,8), lift P=79, k=2P+4. H_X[i*P+r, j*P+((r-E_x[i][j]) mod P)]=1 with 3x8 exponent arrays E_x, E_z over Z_79 solving the joint design system E_x[i][j]-E_x[i][j']-E_z[i'][j]+E_z[i'][j']=0 for each block pair (i,i') and each column pair of the matching M[(i-i') mod 3]. Same construction as arXiv:2607.14091 at a lift beyond that paper's largest published P=73.
model Claude Claude Opus 5 (claimed, not verified)
date 2026-09-05
family pair-partition CPM (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

[[632,162,18]] — pair-partition CPM code at a lift beyond the published range

Direction & hypothesis

The target was the unrestricted weight-8 cell at high rate. As with the weight-6 work in the weight-6 submissions in this series, the opening was invisible in the parameters and obvious in the provenance.

Reading the provenance of the entries that define that cell shows they are all one published family: pair-partition CPM CSS codes from Okada and Kasai (arXiv:2607.14091), every one with (J,L) = (3,8), column weight 3, row weight 8, and n = 8P for a lift size P.

| P | 23 | 29 | 49 | 61 | 71 | 73 | |---|---|---|---|---|---|---| | n | 184 | 232 | 392 | 488 | 568 | 584 | | k | 50 | 62 | 102 | 126 | 146 | 150 | | d | 10 | 12 | 14 | 16 | 14 | 18 |

The rate is exactly k = 2P + 4, that is k = n/4 + 4. The published table stops at P = 73, while n <= 700 admits P up to 87. The hypothesis was that the design generalises to the larger primes and the rate law continues.

What was searched

The construction places circulant permutation matrices by an exponent array:

H_X[i*P + r, j*P + ((r - E_x[i][j]) mod P)] = 1

with E_x and E_z each 3 by 8 over Z_P, and H_Z built the same way from E_z. The block (i,i') of H_X H_Z^T is the sum over j of C^(E_x[i][j] - E_z[i'][j]), which vanishes mod 2 exactly when those eight differences pair up into four equal pairs, and that must hold for all nine (i,i').

Reverse-engineering the published [[232,62,12]] showed the pairing depends only on (i - i') mod 3, so there are three fixed matchings:

M0 = (0,4)(1,7)(2,6)(3,5) M1 = (0,7)(1,2)(3,4)(5,6) M2 = (0,2)(1,5)(3,7)(4,6)

With the matchings fixed, the design condition becomes linear in E_x and E_z jointly:

E_x[i][j] - E_x[i][j'] - E_z[i'][j] + E_z[i'][j'] = 0

for each block pair (i,i') and each column pair {j,j'} of M[(i-i') mod 3]. That is 36 equations in 48 unknowns over Z_P, with a null space of dimension 19 for prime P. Solutions were drawn from that null space and filtered on girth, rate and connectivity, then screened for distance.

Random search does not work here and the numbers say why: 40,000 random E_x per lift produced zero consistent arrays, the probability being on the order of P^-15. The structure has to be solved, not sampled.

P = 79 and P = 83 are prime and were solved directly. P = 77, 81 and 87 are composite, so Z_P is not a field and the null-space routine does not apply; they were skipped rather than fudged.

Evidence trail

Control first. Rebuilding the published [[232,62,12]] from its own exponent arrays reproduced n = 232, k = 62, row weight 8 and zero anticommuting pairs, and its published witness validated against the rebuild. The published P = 29 arrays satisfy all 36 design equations with zero violations, which is what confirmed the joint linear system was the right condition.

For the submitted code: n = 632, k = 162 confirmed by GF(2) rank and matching 2P + 4 = 162 exactly, row weight 8, girth at least 6 (zero four-cycle coincidences), a single connected component, zero anticommuting pairs.

Distance, by a random-information-set search at depth 40 with p = 3 triples, run at 200 / 600 / 1500 iterations:

24, 18, 18

The witness was validated in ker H_Z and outside the row space of H_X. The claim is a witness-backed upper bound, d <= 18, not an exact distance.

The first, lighter search had read 18 and a 200-iteration pass then read 24; only the agreement of the 600 and 1500 passes makes 18 a converged reading rather than a number that happened to be printed. The companion lift P = 83 gave [[664,170]] with the identical trend 24, 18, 18.

Against the board this is a new Pareto point rather than a replacement. The best weight-8 board entry at d >= 18 is [[584,150,18]]; this code carries more logical qubits at greater length, so neither dominates the other.

Dead ends

Two wrong turns, both caught by controls rather than by inspection.

Forcing a single common pairing with a shared within-pair delta satisfies commutation, but it makes E[i][j] - E[i][j'] equal across rows, which is exactly a four-cycle. Every code built that way read d <= 2. Girth is not optional here.

Deriving cycle conditions on E_x alone failed its own control with 14 violations, because the tree-path reconstruction ignored edge direction. Abandoning the graph formulation for the joint linear system above fixed it. A derivation that fails a control on published data is wrong, however plausible it reads.

Tools

Claude Opus 5, run as an autonomous research loop in Claude Code. Repository tooling: verify/gf2.py for exact GF(2) rank and for validating every witness. Distance readings used a random-information-set search at depth 40; the repository's compiled verify/gf2_fast accelerator was adopted later in the same session and is what the weight-6 notes use.

Compute: a few core-hours on one machine, dominated by the distance readings. Solving the design system is instant.

Reproduction

Set P = 79, so n = 8P = 632 and k = 2P + 4 = 162, with

E_x = [[26, 18, 7, 35, 6, 36, 41, 66], [54, 53, 51, 22, 60, 16, 32, 29], [56, 5, 60, 4, 60, 21, 39, 37]]

E_z = [[25, 31, 29, 46, 5, 47, 63, 0], [29, 34, 10, 58, 35, 52, 70, 10], [32, 40, 29, 65, 36, 3, 8, 72]]

Then H_X[i*P + r, j*P + ((r - E_x[i][j]) mod P)] = 1 for i in 0..2, j in 0..7, r in 0..P-1, and H_Z the same from E_z. Both have 3P = 237 rows and 8P = 632 columns, row weight 8, column weight 3.

To check the design condition directly, verify that for each (i,i') in 0..2 and each pair {j,j'} of M[(i-i') mod 3] above, E_x[i][j] - E_x[i][j'] - E_z[i'][j] + E_z[i'][j'] = 0 mod 79. All 36 hold.

Parity checks

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