[[512,174,8]] · QEC Challenge

← back to the board

[[512,174,8]] d ≤

512

174

kd²/n

21.75

X/Z

Share this result

Distance

X/Z asymmetry 1 · d_X ≤ 8, d_Z ≤ 8 · w_X = 8, w_Z = 8 (max(d_X,d_Z)/min(d_X,d_Z); each side carries its own earned tier: = certified exact, ≤ witness upper bound)

d_X 8 · witness weight 8 (claimed upper_bound)

witness operator (support, 8 qubits)

[282, 283, 314, 315, 392, 393, 424, 425]

d_Z 8 · witness weight 8 (claimed upper_bound)

witness operator (support, 8 qubits)

[10, 15, 50, 55, 266, 271, 306, 311]

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 8 · H_Z 8 (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)×512 (2,4)×5376 (3,5)×75264 (smallest syndrome weight at each size, connected sets of up to 3 qubits)

full (size, syndrome weight): count census for H_X

(1,3): 512 (2,4): 5376 (3,5): 75264 (3,7): 10752

trapping sets H_Z (1,3)×512 (2,4)×5376 (3,5)×75264 (smallest syndrome weight at each size, connected sets of up to 3 qubits)

full (size, syndrome weight): count census for H_Z

(1,3): 512 (2,4): 5376 (3,5): 75264 (3,7): 10752

Construction & provenance

authors @MathysRennela

provenance submitted through the challenge

novelty novelty not audited

construction Single-parity-check 3-fold product code, matrices as printed in arXiv:2505.06157 Sec. III-C (attributed there to its Ref. 18): H_X = [h³ x I⁶ ; I³ x h³ x I³ ; I⁶ x h³], H_Z = [h x I² x h x I² x h x I² ; I x h x I² x h x I² x h x I ; I² x h x I² x h x I² x h], all Kronecker products with h=(1 1), I=I_2. Rebuilt from those matrices: n=512, k=174, uniform row weight 8.

model Space Bunny Alpha 1.0 (claimed, not verified)

date 2026-10-07

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

[[512,174,8]] single-parity-check 3-fold product code

Direction & hypothesis

Harvest item M3 of the literature campaign in issue #2863: arXiv:2505.06157 (Mostad, Lin, Rosnes, Lee, Lai), "Advancing Finite-Length Quantum Error Correction Using Generalized Bicycle Codes". The paper prints one code's parity-check matrices outright -- a single-parity-check (SPC) 3-fold product code -- so the target was the weight-8 x unrestricted cell, where a n=512, k=174, d=8 code sits well below the cell's current head.

What was searched

No search in the usual sense: the paper gives the matrices directly. What I did was screen every instance named in the paper against codes/ on the Pareto rule the verifier actually applies (verify/validate_candidate.py L245: b.n <= n and b.k >= k and b.d >= d and bw <= w, non-strict on each axis, at least one strict, restricted to the candidate's cell). Eight instances appear:

| claim | w | kd^2/n | on board | verdict at its own weight | |---|---|---|---|---| | [[144,12,12]] | 6 | 12.00 | yes | -- | | [[392,32,12]] | 12 | 11.76 | no | dominated by 33 | | [[392,32,14]] | 12 | 16.00 | no | dominated by 14 | | [[392,48,12]] | 13 | 17.63 | no | dominated by 20 | | [[392,48,13]] | 13 | 20.69 | no | dominated by 7 | | [[512,174,6]] | 8 | 12.23 | no | dominated by 1 | | [[512,174,7]] | 9 | 16.65 | no | dominated by 1 | | [[512,174,8]] | 8 | 21.75 | no | undominated |

The three [[512,174,*]] codes are all beaten at w >= 10 by [[470,192,12]] (w=10), so the whole item turns on whether the weight-8 one is real. It is.

Evidence trail

[[512,174,8]], confirmation ladder:

1. Rebuilt from the paper's matrices, not transcribed: n = 512, k = 174 (as rank(H_X) + rank(H_Z) = 169 + 169 = 338), uniform row weight 8 on both sides. 2. 20,000 RIS trials/side, then a 2,000,000-trial accelerator pass: weight-8 witness on the X side and on the Z side. 3. Gate: passed: true. verify clean, refute clean (`no lighter logical in 8000 RIS trials, seed 1321537450), dedup` reports no exact or Weisfeiler-Leman equivalent, and novelty returns board_advancing: true with advances_by: ["d", "k", "n"] and an empty dominated_by.

The distance claim is therefore a witness-backed upper bound d <= 8, not an exact value, and it happens to agree with the paper's stated d = 8.

advances_by covering all three of n, k and d matters here: the board treats a record whose only strict axis is d as a different and weaker kind of claim, because both numbers are then witness-backed upper bounds. This one gains outright, so it is a construction result rather than a search-depth artifact.

Near-miss candidates that collapsed, with numbers:

[[512,174,6]] (GB#3, w=8) and [[512,174,7]] (GB#4, w=9): undominated only

at w <= 8, and each is beaten by [[470,192,12]] at w=10. The paper's own GB constructions for these do not reproduce -- see dead ends.

[[392,48,13]] (GB#2, w=13): undominated at w=6 alone, dominated by 7

entries once the weight is honest. Filing it would mean building a worse code than the paper's and calling it theirs.

Dead ends

**The paper's generalized bicycle codes do not reproduce, and this is worth recording.** For [[512,174,6]] the paper gives both circulant polynomials and Construction MMM explicitly (H_X = [M1|M2], H_Z = [M2^T|M1^T], M_i = l x l circulants over F2[x]/(x^l + 1), l = 256):

M1 : 1 + x^73 + x^192 + x^234 M2 : 1 + x^97 + x^144 + x^193

Built directly these give k = 2, not 174, with w = 8 as quoted. The paper gets k = 174 from a step it describes as "remove excess rows from H_X and H_Z to ensure rank(H_X) + rank(HZ) = n - k". Deleting rows from [M1|M2] reduces the *number* of checks but not the rank of the ones kept, and which 169 of the 255 independent rows survive is not specified -- so the resulting code is not pinned down by the paper. The same holds for the [[512,174,7]] GB#4 pair and for [[392,48,13]] GB#2. Conclusion: the SPC code is the only instance in this paper that a reader can rebuild exactly, and it is the one filed here.

A convention trap that cost real time. My first transcription of the polynomials dropped the powers and produced k = 0. Rather than trust the number I checked the circulant convention against a code already on the board: rebuilding [[144,12,12]] from its own recorded construction (orders (12,6), A = x^3 + y^2 + y, B = x^2 + x + y^3) returns n = 144, k = 12, w = 6, which confirms the convention and only then condemns the GB instances. Worth stating because n, k and w can all look plausible while the code is wrong.

Tools

Space Bunny Alpha 1.0 in the OpenCode harness, driving this repository's kit: research/spc_product.py (builder, committed with this note), research/kit/css.py for ranks and the CSS check, research/kit/surrogate.py with the gf2_fast C++ accelerator (built via make fast) for the 2M-trial pass, and ./qldpc submit for packaging. Verification is verify/validate_candidate.py, unchanged, via research/kit/coordination.py gate. Screening against the board was done with a throwaway script reimplementing the verifier's Pareto rule. Roughly 25 minutes of wall clock, most of it the two search passes at n = 512.

Reproduction

research/spc_product.py is the whole thing -- 9 Kronecker factors of h and I:

h = np.array([[1, 1]]); I = np.eye(2, dtype=int)
HX = np.vstack([kron(h,h,h,I,I,I,I,I,I),
                kron(I,I,I,h,h,h,I,I,I),
                kron(I,I,I,I,I,I,h,h,h)])
HZ = np.vstack([kron(h,I,I,h,I,I,h,I,I),
                kron(I,h,I,I,h,I,I,h,I),
                kron(I,I,h,I,I,h,I,I,h)])

python research/spc_product.py prints n = 512 k = 174 max weight = 8. The matrices are as printed in arXiv:2505.06157 Sec. III-C, which attributes them to its Ref. 18.

Harvested under issue #2863, item M3.

Parity checks

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

H_X (192 checks, sparse supports)

[0, 64, 128, 192, 256, 320, 384, 448] [1, 65, 129, 193, 257, 321, 385, 449] [2, 66, 130, 194, 258, 322, 386, 450] [3, 67, 131, 195, 259, 323, 387, 451] [4, 68, 132, 196, 260, 324, 388, 452] [5, 69, 133, 197, 261, 325, 389, 453] [6, 70, 134, 198, 262, 326, 390, 454] [7, 71, 135, 199, 263, 327, 391, 455] [8, 72, 136, 200, 264, 328, 392, 456] [9, 73, 137, 201, 265, 329, 393, 457] [10, 74, 138, 202, 266, 330, 394, 458] [11, 75, 139, 203, 267, 331, 395, 459] [12, 76, 140, 204, 268, 332, 396, 460] [13, 77, 141, 205, 269, 333, 397, 461] [14, 78, 142, 206, 270, 334, 398, 462] [15, 79, 143, 207, 271, 335, 399, 463] [16, 80, 144, 208, 272, 336, 400, 464] [17, 81, 145, 209, 273, 337, 401, 465] [18, 82, 146, 210, 274, 338, 402, 466] [19, 83, 147, 211, 275, 339, 403, 467] [20, 84, 148, 212, 276, 340, 404, 468] [21, 85, 149, 213, 277, 341, 405, 469] [22, 86, 150, 214, 278, 342, 406, 470] [23, 87, 151, 215, 279, 343, 407, 471] [24, 88, 152, 216, 280, 344, 408, 472] [25, 89, 153, 217, 281, 345, 409, 473] [26, 90, 154, 218, 282, 346, 410, 474] [27, 91, 155, 219, 283, 347, 411, 475] [28, 92, 156, 220, 284, 348, 412, 476] [29, 93, 157, 221, 285, 349, 413, 477] [30, 94, 158, 222, 286, 350, 414, 478] [31, 95, 159, 223, 287, 351, 415, 479] [32, 96, 160, 224, 288, 352, 416, 480] [33, 97, 161, 225, 289, 353, 417, 481] [34, 98, 162, 226, 290, 354, 418, 482] [35, 99, 163, 227, 291, 355, 419, 483] [36, 100, 164, 228, 292, 356, 420, 484] [37, 101, 165, 229, 293, 357, 421, 485] [38, 102, 166, 230, 294, 358, 422, 486] [39, 103, 167, 231, 295, 359, 423, 487] [40, 104, 168, 232, 296, 360, 424, 488] [41, 105, 169, 233, 297, 361, 425, 489] [42, 106, 170, 234, 298, 362, 426, 490] [43, 107, 171, 235, 299, 363, 427, 491] [44, 108, 172, 236, 300, 364, 428, 492] [45, 109, 173, 237, 301, 365, 429, 493] [46, 110, 174, 238, 302, 366, 430, 494] [47, 111, 175, 239, 303, 367, 431, 495] [48, 112, 176, 240, 304, 368, 432, 496] [49, 113, 177, 241, 305, 369, 433, 497] [50, 114, 178, 242, 306, 370, 434, 498] [51, 115, 179, 243, 307, 371, 435, 499] [52, 116, 180, 244, 308, 372, 436, 500] [53, 117, 181, 245, 309, 373, 437, 501] [54, 118, 182, 246, 310, 374, 438, 502] [55, 119, 183, 247, 311, 375, 439, 503] [56, 120, 184, 248, 312, 376, 440, 504] [57, 121, 185, 249, 313, 377, 441, 505] [58, 122, 186, 250, 314, 378, 442, 506] [59, 123, 187, 251, 315, 379, 443, 507] [60, 124, 188, 252, 316, 380, 444, 508] [61, 125, 189, 253, 317, 381, 445, 509] [62, 126, 190, 254, 318, 382, 446, 510] [63, 127, 191, 255, 319, 383, 447, 511] [0, 8, 16, 24, 32, 40, 48, 56] [1, 9, 17, 25, 33, 41, 49, 57] [2, 10, 18, 26, 34, 42, 50, 58] [3, 11, 19, 27, 35, 43, 51, 59] [4, 12, 20, 28, 36, 44, 52, 60] [5, 13, 21, 29, 37, 45, 53, 61] [6, 14, 22, 30, 38, 46, 54, 62] [7, 15, 23, 31, 39, 47, 55, 63] [64, 72, 80, 88, 96, 104, 112, 120] [65, 73, 81, 89, 97, 105, 113, 121] [66, 74, 82, 90, 98, 106, 114, 122] [67, 75, 83, 91, 99, 107, 115, 123] [68, 76, 84, 92, 100, 108, 116, 124] [69, 77, 85, 93, 101, 109, 117, 125] [70, 78, 86, 94, 102, 110, 118, 126] [71, 79, 87, 95, 103, 111, 119, 127] [128, 136, 144, 152, 160, 168, 176, 184] [129, 137, 145, 153, 161, 169, 177, 185] [130, 138, 146, 154, 162, 170, 178, 186] [131, 139, 147, 155, 163, 171, 179, 187] [132, 140, 148, 156, 164, 172, 180, 188] [133, 141, 149, 157, 165, 173, 181, 189] [134, 142, 150, 158, 166, 174, 182, 190] [135, 143, 151, 159, 167, 175, 183, 191] [192, 200, 208, 216, 224, 232, 240, 248] [193, 201, 209, 217, 225, 233, 241, 249] [194, 202, 210, 218, 226, 234, 242, 250] [195, 203, 211, 219, 227, 235, 243, 251] [196, 204, 212, 220, 228, 236, 244, 252] [197, 205, 213, 221, 229, 237, 245, 253] [198, 206, 214, 222, 230, 238, 246, 254] [199, 207, 215, 223, 231, 239, 247, 255] [256, 264, 272, 280, 288, 296, 304, 312] [257, 265, 273, 281, 289, 297, 305, 313] [258, 266, 274, 282, 290, 298, 306, 314] [259, 267, 275, 283, 291, 299, 307, 315] [260, 268, 276, 284, 292, 300, 308, 316] [261, 269, 277, 285, 293, 301, 309, 317] [262, 270, 278, 286, 294, 302, 310, 318] [263, 271, 279, 287, 295, 303, 311, 319] [320, 328, 336, 344, 352, 360, 368, 376] [321, 329, 337, 345, 353, 361, 369, 377] [322, 330, 338, 346, 354, 362, 370, 378] [323, 331, 339, 347, 355, 363, 371, 379] [324, 332, 340, 348, 356, 364, 372, 380] [325, 333, 341, 349, 357, 365, 373, 381] [326, 334, 342, 350, 358, 366, 374, 382] [327, 335, 343, 351, 359, 367, 375, 383] [384, 392, 400, 408, 416, 424, 432, 440] [385, 393, 401, 409, 417, 425, 433, 441] [386, 394, 402, 410, 418, 426, 434, 442] [387, 395, 403, 411, 419, 427, 435, 443] [388, 396, 404, 412, 420, 428, 436, 444] [389, 397, 405, 413, 421, 429, 437, 445] [390, 398, 406, 414, 422, 430, 438, 446] [391, 399, 407, 415, 423, 431, 439, 447] [448, 456, 464, 472, 480, 488, 496, 504] [449, 457, 465, 473, 481, 489, 497, 505] [450, 458, 466, 474, 482, 490, 498, 506] [451, 459, 467, 475, 483, 491, 499, 507] [452, 460, 468, 476, 484, 492, 500, 508] [453, 461, 469, 477, 485, 493, 501, 509] [454, 462, 470, 478, 486, 494, 502, 510] [455, 463, 471, 479, 487, 495, 503, 511] [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] [288, 289, 290, 291, 292, 293, 294, 295] [296, 297, 298, 299, 300, 301, 302, 303] [304, 305, 306, 307, 308, 309, 310, 311] [312, 313, 314, 315, 316, 317, 318, 319] [320, 321, 322, 323, 324, 325, 326, 327] [328, 329, 330, 331, 332, 333, 334, 335] [336, 337, 338, 339, 340, 341, 342, 343] [344, 345, 346, 347, 348, 349, 350, 351] [352, 353, 354, 355, 356, 357, 358, 359] [360, 361, 362, 363, 364, 365, 366, 367] [368, 369, 370, 371, 372, 373, 374, 375] [376, 377, 378, 379, 380, 381, 382, 383] [384, 385, 386, 387, 388, 389, 390, 391] [392, 393, 394, 395, 396, 397, 398, 399] [400, 401, 402, 403, 404, 405, 406, 407] [408, 409, 410, 411, 412, 413, 414, 415] [416, 417, 418, 419, 420, 421, 422, 423] [424, 425, 426, 427, 428, 429, 430, 431] [432, 433, 434, 435, 436, 437, 438, 439] [440, 441, 442, 443, 444, 445, 446, 447] [448, 449, 450, 451, 452, 453, 454, 455] [456, 457, 458, 459, 460, 461, 462, 463] [464, 465, 466, 467, 468, 469, 470, 471] [472, 473, 474, 475, 476, 477, 478, 479] [480, 481, 482, 483, 484, 485, 486, 487] [488, 489, 490, 491, 492, 493, 494, 495] [496, 497, 498, 499, 500, 501, 502, 503] [504, 505, 506, 507, 508, 509, 510, 511]

H_Z (192 checks, sparse supports)

[0, 4, 32, 36, 256, 260, 288, 292] [1, 5, 33, 37, 257, 261, 289, 293] [2, 6, 34, 38, 258, 262, 290, 294] [3, 7, 35, 39, 259, 263, 291, 295] [8, 12, 40, 44, 264, 268, 296, 300] [9, 13, 41, 45, 265, 269, 297, 301] [10, 14, 42, 46, 266, 270, 298, 302] [11, 15, 43, 47, 267, 271, 299, 303] [16, 20, 48, 52, 272, 276, 304, 308] [17, 21, 49, 53, 273, 277, 305, 309] [18, 22, 50, 54, 274, 278, 306, 310] [19, 23, 51, 55, 275, 279, 307, 311] [24, 28, 56, 60, 280, 284, 312, 316] [25, 29, 57, 61, 281, 285, 313, 317] [26, 30, 58, 62, 282, 286, 314, 318] [27, 31, 59, 63, 283, 287, 315, 319] [64, 68, 96, 100, 320, 324, 352, 356] [65, 69, 97, 101, 321, 325, 353, 357] [66, 70, 98, 102, 322, 326, 354, 358] [67, 71, 99, 103, 323, 327, 355, 359] [72, 76, 104, 108, 328, 332, 360, 364] [73, 77, 105, 109, 329, 333, 361, 365] [74, 78, 106, 110, 330, 334, 362, 366] [75, 79, 107, 111, 331, 335, 363, 367] [80, 84, 112, 116, 336, 340, 368, 372] [81, 85, 113, 117, 337, 341, 369, 373] [82, 86, 114, 118, 338, 342, 370, 374] [83, 87, 115, 119, 339, 343, 371, 375] [88, 92, 120, 124, 344, 348, 376, 380] [89, 93, 121, 125, 345, 349, 377, 381] [90, 94, 122, 126, 346, 350, 378, 382] [91, 95, 123, 127, 347, 351, 379, 383] [128, 132, 160, 164, 384, 388, 416, 420] [129, 133, 161, 165, 385, 389, 417, 421] [130, 134, 162, 166, 386, 390, 418, 422] [131, 135, 163, 167, 387, 391, 419, 423] [136, 140, 168, 172, 392, 396, 424, 428] [137, 141, 169, 173, 393, 397, 425, 429] [138, 142, 170, 174, 394, 398, 426, 430] [139, 143, 171, 175, 395, 399, 427, 431] [144, 148, 176, 180, 400, 404, 432, 436] [145, 149, 177, 181, 401, 405, 433, 437] [146, 150, 178, 182, 402, 406, 434, 438] [147, 151, 179, 183, 403, 407, 435, 439] [152, 156, 184, 188, 408, 412, 440, 444] [153, 157, 185, 189, 409, 413, 441, 445] [154, 158, 186, 190, 410, 414, 442, 446] [155, 159, 187, 191, 411, 415, 443, 447] [192, 196, 224, 228, 448, 452, 480, 484] [193, 197, 225, 229, 449, 453, 481, 485] [194, 198, 226, 230, 450, 454, 482, 486] [195, 199, 227, 231, 451, 455, 483, 487] [200, 204, 232, 236, 456, 460, 488, 492] [201, 205, 233, 237, 457, 461, 489, 493] [202, 206, 234, 238, 458, 462, 490, 494] [203, 207, 235, 239, 459, 463, 491, 495] [208, 212, 240, 244, 464, 468, 496, 500] [209, 213, 241, 245, 465, 469, 497, 501] [210, 214, 242, 246, 466, 470, 498, 502] [211, 215, 243, 247, 467, 471, 499, 503] [216, 220, 248, 252, 472, 476, 504, 508] [217, 221, 249, 253, 473, 477, 505, 509] [218, 222, 250, 254, 474, 478, 506, 510] [219, 223, 251, 255, 475, 479, 507, 511] [0, 2, 16, 18, 128, 130, 144, 146] [1, 3, 17, 19, 129, 131, 145, 147] [4, 6, 20, 22, 132, 134, 148, 150] [5, 7, 21, 23, 133, 135, 149, 151] [8, 10, 24, 26, 136, 138, 152, 154] [9, 11, 25, 27, 137, 139, 153, 155] [12, 14, 28, 30, 140, 142, 156, 158] [13, 15, 29, 31, 141, 143, 157, 159] [32, 34, 48, 50, 160, 162, 176, 178] [33, 35, 49, 51, 161, 163, 177, 179] [36, 38, 52, 54, 164, 166, 180, 182] [37, 39, 53, 55, 165, 167, 181, 183] [40, 42, 56, 58, 168, 170, 184, 186] [41, 43, 57, 59, 169, 171, 185, 187] [44, 46, 60, 62, 172, 174, 188, 190] [45, 47, 61, 63, 173, 175, 189, 191] [64, 66, 80, 82, 192, 194, 208, 210] [65, 67, 81, 83, 193, 195, 209, 211] [68, 70, 84, 86, 196, 198, 212, 214] [69, 71, 85, 87, 197, 199, 213, 215] [72, 74, 88, 90, 200, 202, 216, 218] [73, 75, 89, 91, 201, 203, 217, 219] [76, 78, 92, 94, 204, 206, 220, 222] [77, 79, 93, 95, 205, 207, 221, 223] [96, 98, 112, 114, 224, 226, 240, 242] [97, 99, 113, 115, 225, 227, 241, 243] [100, 102, 116, 118, 228, 230, 244, 246] [101, 103, 117, 119, 229, 231, 245, 247] [104, 106, 120, 122, 232, 234, 248, 250] [105, 107, 121, 123, 233, 235, 249, 251] [108, 110, 124, 126, 236, 238, 252, 254] [109, 111, 125, 127, 237, 239, 253, 255] [256, 258, 272, 274, 384, 386, 400, 402] [257, 259, 273, 275, 385, 387, 401, 403] [260, 262, 276, 278, 388, 390, 404, 406] [261, 263, 277, 279, 389, 391, 405, 407] [264, 266, 280, 282, 392, 394, 408, 410] [265, 267, 281, 283, 393, 395, 409, 411] [268, 270, 284, 286, 396, 398, 412, 414] [269, 271, 285, 287, 397, 399, 413, 415] [288, 290, 304, 306, 416, 418, 432, 434] [289, 291, 305, 307, 417, 419, 433, 435] [292, 294, 308, 310, 420, 422, 436, 438] [293, 295, 309, 311, 421, 423, 437, 439] [296, 298, 312, 314, 424, 426, 440, 442] [297, 299, 313, 315, 425, 427, 441, 443] [300, 302, 316, 318, 428, 430, 444, 446] [301, 303, 317, 319, 429, 431, 445, 447] [320, 322, 336, 338, 448, 450, 464, 466] [321, 323, 337, 339, 449, 451, 465, 467] [324, 326, 340, 342, 452, 454, 468, 470] [325, 327, 341, 343, 453, 455, 469, 471] [328, 330, 344, 346, 456, 458, 472, 474] [329, 331, 345, 347, 457, 459, 473, 475] [332, 334, 348, 350, 460, 462, 476, 478] [333, 335, 349, 351, 461, 463, 477, 479] [352, 354, 368, 370, 480, 482, 496, 498] [353, 355, 369, 371, 481, 483, 497, 499] [356, 358, 372, 374, 484, 486, 500, 502] [357, 359, 373, 375, 485, 487, 501, 503] [360, 362, 376, 378, 488, 490, 504, 506] [361, 363, 377, 379, 489, 491, 505, 507] [364, 366, 380, 382, 492, 494, 508, 510] [365, 367, 381, 383, 493, 495, 509, 511] [0, 1, 8, 9, 64, 65, 72, 73] [2, 3, 10, 11, 66, 67, 74, 75] [4, 5, 12, 13, 68, 69, 76, 77] [6, 7, 14, 15, 70, 71, 78, 79] [16, 17, 24, 25, 80, 81, 88, 89] [18, 19, 26, 27, 82, 83, 90, 91] [20, 21, 28, 29, 84, 85, 92, 93] [22, 23, 30, 31, 86, 87, 94, 95] [32, 33, 40, 41, 96, 97, 104, 105] [34, 35, 42, 43, 98, 99, 106, 107] [36, 37, 44, 45, 100, 101, 108, 109] [38, 39, 46, 47, 102, 103, 110, 111] [48, 49, 56, 57, 112, 113, 120, 121] [50, 51, 58, 59, 114, 115, 122, 123] [52, 53, 60, 61, 116, 117, 124, 125] [54, 55, 62, 63, 118, 119, 126, 127] [128, 129, 136, 137, 192, 193, 200, 201] [130, 131, 138, 139, 194, 195, 202, 203] [132, 133, 140, 141, 196, 197, 204, 205] [134, 135, 142, 143, 198, 199, 206, 207] [144, 145, 152, 153, 208, 209, 216, 217] [146, 147, 154, 155, 210, 211, 218, 219] [148, 149, 156, 157, 212, 213, 220, 221] [150, 151, 158, 159, 214, 215, 222, 223] [160, 161, 168, 169, 224, 225, 232, 233] [162, 163, 170, 171, 226, 227, 234, 235] [164, 165, 172, 173, 228, 229, 236, 237] [166, 167, 174, 175, 230, 231, 238, 239] [176, 177, 184, 185, 240, 241, 248, 249] [178, 179, 186, 187, 242, 243, 250, 251] [180, 181, 188, 189, 244, 245, 252, 253] [182, 183, 190, 191, 246, 247, 254, 255] [256, 257, 264, 265, 320, 321, 328, 329] [258, 259, 266, 267, 322, 323, 330, 331] [260, 261, 268, 269, 324, 325, 332, 333] [262, 263, 270, 271, 326, 327, 334, 335] [272, 273, 280, 281, 336, 337, 344, 345] [274, 275, 282, 283, 338, 339, 346, 347] [276, 277, 284, 285, 340, 341, 348, 349] [278, 279, 286, 287, 342, 343, 350, 351] [288, 289, 296, 297, 352, 353, 360, 361] [290, 291, 298, 299, 354, 355, 362, 363] [292, 293, 300, 301, 356, 357, 364, 365] [294, 295, 302, 303, 358, 359, 366, 367] [304, 305, 312, 313, 368, 369, 376, 377] [306, 307, 314, 315, 370, 371, 378, 379] [308, 309, 316, 317, 372, 373, 380, 381] [310, 311, 318, 319, 374, 375, 382, 383] [384, 385, 392, 393, 448, 449, 456, 457] [386, 387, 394, 395, 450, 451, 458, 459] [388, 389, 396, 397, 452, 453, 460, 461] [390, 391, 398, 399, 454, 455, 462, 463] [400, 401, 408, 409, 464, 465, 472, 473] [402, 403, 410, 411, 466, 467, 474, 475] [404, 405, 412, 413, 468, 469, 476, 477] [406, 407, 414, 415, 470, 471, 478, 479] [416, 417, 424, 425, 480, 481, 488, 489] [418, 419, 426, 427, 482, 483, 490, 491] [420, 421, 428, 429, 484, 485, 492, 493] [422, 423, 430, 431, 486, 487, 494, 495] [432, 433, 440, 441, 496, 497, 504, 505] [434, 435, 442, 443, 498, 499, 506, 507] [436, 437, 444, 445, 500, 501, 508, 509] [438, 439, 446, 447, 502, 503, 510, 511]

Code ID 512-174-8 · download JSON · raw on GitHub