← back to the board
[[280,24,16]] d ≤
n
280
k
24
d
16
kd²/n
21.943
w
9
X/Z
1

Share this result

Distance

X/Z asymmetry 1 · d_X ≤ 16, d_Z ≤ 16 · w_X = 9, w_Z = 9 (max(d_X,d_Z)/min(d_X,d_Z); each side carries its own earned tier: = certified exact, ≤ witness upper bound)
d_X 16 · witness weight 16 (claimed upper_bound)
witness operator (support, 16 qubits)
[44, 47, 128, 131, 144, 147, 156, 159, 164, 167, 180, 183, 208, 211, 216, 219]
d_Z 16 · witness weight 16 (claimed upper_bound)
witness operator (support, 16 qubits)
[45, 47, 73, 75, 81, 83, 97, 99, 157, 159, 193, 195, 205, 207, 213, 215]
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 7–9 (mean 8.667) · H_Z 7–9 (mean 8.667)
qubit degrees H_X 4–8 (mean 5.2) · H_Z 4–8 (mean 5.2)
trapping sets H_X (1,4)×140 (2,6)×952 (3,6)×616 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_X
(1,4): 140 (1,6): 112 (1,8): 28 (2,6): 952 (2,8): 2184 (2,10): 1512 (2,12): 406 (2,14): 224 (3,6): 616 (3,8): 9408 (3,10): 40264 (3,12): 47376 (3,14): 31528 (3,16): 16212 (3,18): 7448 (3,20): 1260 (3,22): 56
trapping sets H_Z (1,4)×140 (2,6)×952 (3,6)×616 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_Z
(1,4): 140 (1,6): 112 (1,8): 28 (2,6): 952 (2,8): 2184 (2,10): 1512 (2,12): 406 (2,14): 224 (3,6): 616 (3,8): 9408 (3,10): 40264 (3,12): 47376 (3,14): 31528 (3,16): 16212 (3,18): 7448 (3,20): 1260 (3,22): 56

Construction & provenance

authors @FarLab
provenance submitted through the challenge
novelty novelty not audited
construction [[4,2,2]] distance amplification of [[56,12,8]] (arXiv:2609.37231, central truncation of the CSS tensor product of codes/56-12-8.json with the [[4,2,2]] code, G_X = G_Z = [1111]; n = 4 n_base + m_X + m_Z, k = 2 k_base, d = 2 d_base by the paper's Eq. 3)
model Claude Claude Fable 5.1 (claimed, not verified)
builds on arXiv:2609.37231, arXiv:1512.07081
date 2026-09-30
notes Base code: codes/56-12-8.json ([[56,12,8]], by @MathysRennela); this entry is its [[4,2,2]] tensor amplification per arXiv:2609.37231, which is that paper's construction applied to a board code, not a new construction. Dedup gate: no exact or WL-equivalent board entry; checked, not equivalent. Base distance is certified exact (certs/56-12-8.json), so the theorem gives d = 16 exactly; filed as upper_bound.
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

[[280,24,16]] — [[4,2,2]] distance amplification (arXiv:2609.37231) of the board's [[56,12,8]]

Direction & hypothesis

arXiv:2609.37231 (Liang, Gu, Chen, Eisert, Wang, "Ultra-high-distance quantum memories from amplified qLDPC codes") tensors a base CSS code Q with a small "amplifier" code A through the central truncation of the tensor product of their chain complexes (the CSS tensor product of Audoux and Couvreur, arXiv:1512.07081). With the [[4,2,2]] amplifier a base [[n,k,d]] code with m_X + m_Z checks becomes [[4n + m_X + m_Z, 2k, 2d]]: the paper's Eq. (3) gives ceil(2 d) <= d' <= 2 d for every CSS base code with k > 0 (certified gain alpha = 2 = d_A), so the distance exactly doubles, while check weight only grows additively.

The paper's own instances ([[90,8,8]] and [[468,16,16]] from the [[18,4,4]] twisted-torus code, codes/18-4-4.json) are dominated on this board and its larger ones exceed the n cap. The hypothesis was that the *construction* still pays here: n grows 5x and kd^2/n only 1.6x, but the board is thin at n = 200–1000 for mid-k, weight <= 9 codes, so a theorem-backed doubling of a small frontier code lands on an empty part of the frontier.

What was searched

  • Every CSS entry on the board with n <= 200 (617 bases) was amplified once with [[4,2,2]] and

    • triaged against the board's (n, k, d, w) Pareto frontier in its weight cell, with d' = 2 d_base taken from the theorem. 57 amplified codes were undominated, about 40 of them admissible.

  • Six of those were run through verify/validate_candidate.py; all six passed. This entry is

    • the amplification of codes/56-12-8.json ([[56,12,8]], by @MathysRennela).

  • A second amplification step (94 candidates from bases with n <= 50) is a dead end: every one is

    • dominated, because the check weight climbs to 10–14 while n grows 25x.

Evidence trail

  • Base distance: certs/56-12-8.json certifies d = 8 exact for the base (scipy/HiGHS MILP), so by the paper's Eq. (3) the amplified distance is exactly 16 if that bound holds.
  • Sanity check of the theorem on the paper's own instances, rebuilt from codes/18-4-4.json:

    • 100,000 RIS trials on [[90,8,8]] and 20,000 on [[468,16,16]] found nothing below 2 d_base.

  • This code: the trusted gate's refutation pass (8,000 RIS trials, fresh seed) found no logical

    • lighter than 16; qldpc submit then re-searched witnesses on both sides and found weight 16 on each. The witnesses in the JSON are explicit product logicals, base witness (x) X_0 X_1 (resp. Z_0 Z_1) of the [[4,2,2]] code, placed in the Q_1 (x) A_1 register.

  • Claim: d <= 16, witness-backed upper bound. Given the base certificate, the theorem makes this exact; it is filed as an upper bound because the board only upgrades on its own certification.

Dead ends

  • Two-step amplification (see above): 94/94 dominated.
  • The other amplifiers in the paper's Table 1 (Steane [[7,1,3]], rotated surface [[25,1,5]])

    • keep k fixed and multiply n by 7–25, so kd^2/n drops; only [[4,2,2]] improves it.

  • The paper's explicit codes: [[90,8,8]] w=7 is dominated by codes/90-8-10.json;

    • [[468,16,16]] w=10 by codes/288-16-16.json and codes/240-16-20.json.

Tools

Claude Fable 5.1 in Claude Code. numpy for the tensor construction (about 20 lines of np.kron blocks, reproduced below); this repository's research/kit (css.compute_k, surrogate.distance_rand_witness, submit.make_submission), verify/validate_candidate.py and cli/qldpc.py. Under 15 minutes of laptop CPU for all six codes.

Reproduction

Let H_X (m_X x n), H_Z (m_Z x n) be the checks of codes/56-12-8.json and G_X = G_Z = [1 1 1 1] those of the [[4,2,2]] code (n_A = 4, one check per side). Data qubits, in this order: Q_1 (x) A_1 (4n), Q_2 (x) A_0 (m_X), Q_0 (x) A_2 (m_Z). With I_s the s x s identity:

H_X' = [[ kron(H_X, I_4), kron(I_mX, G_Z^T), 0 ], [ kron(I_n, G_X), 0, kron(H_Z^T, I_1) ]] H_Z' = [[ kron(I_n, G_Z), kron(H_X^T, I_1), 0 ], [ kron(H_Z, I_4), 0, kron(I_mZ, G_X^T) ]]

(rows of H_X' are Q_2 (x) A_1 then Q_1 (x) A_2; rows of H_Z' are Q_1 (x) A_0 then Q_0 (x) A_1). This gives n = 280, k = 24, max check weight 9. An X witness of weight 16 is {4q + a : q in S, a in {0, 1}} for S the X witness of the base entry; likewise for Z.

Parity checks

X-checks 168 (max weight 9) · Z-checks 168 (max weight 9)
H_X (168 checks, sparse supports)
[0, 72, 100, 112, 116, 136, 148, 204, 224] [1, 73, 101, 113, 117, 137, 149, 205, 224] [2, 74, 102, 114, 118, 138, 150, 206, 224] [3, 75, 103, 115, 119, 139, 151, 207, 224] [4, 80, 92, 112, 116, 140, 144, 212, 225] [5, 81, 93, 113, 117, 141, 145, 213, 225] [6, 82, 94, 114, 118, 142, 146, 214, 225] [7, 83, 95, 115, 119, 143, 147, 215, 225] [8, 60, 108, 120, 124, 128, 160, 216, 226] [9, 61, 109, 121, 125, 129, 161, 217, 226] [10, 62, 110, 122, 126, 130, 162, 218, 226] [11, 63, 111, 123, 127, 131, 163, 219, 226] [4, 12, 88, 112, 124, 132, 152, 164, 227] [5, 13, 89, 113, 125, 133, 153, 165, 227] [6, 14, 90, 114, 126, 134, 154, 166, 227] [7, 15, 91, 115, 127, 135, 155, 167, 227] [16, 68, 104, 120, 128, 132, 152, 220, 228] [17, 69, 105, 121, 129, 133, 153, 221, 228] [18, 70, 106, 122, 130, 134, 154, 222, 228] [19, 71, 107, 123, 131, 135, 155, 223, 228] [0, 20, 96, 116, 124, 132, 156, 160, 229] [1, 21, 97, 117, 125, 133, 157, 161, 229] [2, 22, 98, 118, 126, 134, 158, 162, 229] [3, 23, 99, 119, 127, 135, 159, 163, 229] [16, 24, 76, 120, 136, 140, 144, 176, 230] [17, 25, 77, 121, 137, 141, 145, 177, 230] [18, 26, 78, 122, 138, 142, 146, 178, 230] [19, 27, 79, 123, 139, 143, 147, 179, 230] [20, 28, 104, 124, 140, 148, 168, 180, 231] [21, 29, 105, 125, 141, 149, 169, 181, 231] [22, 30, 106, 126, 142, 150, 170, 182, 231] [23, 31, 107, 127, 143, 151, 171, 183, 231] [8, 32, 84, 128, 136, 144, 148, 168, 232] [9, 33, 85, 129, 137, 145, 149, 169, 232] [10, 34, 86, 130, 138, 146, 150, 170, 232] [11, 35, 87, 131, 139, 147, 151, 171, 232] [12, 36, 108, 132, 140, 148, 172, 176, 233] [13, 37, 109, 133, 141, 149, 173, 177, 233] [14, 38, 110, 134, 142, 150, 174, 178, 233] [15, 39, 111, 135, 143, 151, 175, 179, 233] [32, 40, 92, 136, 152, 156, 160, 192, 234] [33, 41, 93, 137, 153, 157, 161, 193, 234] [34, 42, 94, 138, 154, 158, 162, 194, 234] [35, 43, 95, 139, 155, 159, 163, 195, 234] [8, 36, 44, 140, 156, 164, 184, 196, 235] [9, 37, 45, 141, 157, 165, 185, 197, 235] [10, 38, 46, 142, 158, 166, 186, 198, 235] [11, 39, 47, 143, 159, 167, 187, 199, 235] [24, 48, 100, 144, 152, 160, 164, 184, 236] [25, 49, 101, 145, 153, 161, 165, 185, 236] [26, 50, 102, 146, 154, 162, 166, 186, 236] [27, 51, 103, 147, 155, 163, 167, 187, 236] [16, 28, 52, 148, 156, 164, 188, 192, 237] [17, 29, 53, 149, 157, 165, 189, 193, 237] [18, 30, 54, 150, 158, 166, 190, 194, 237] [19, 31, 55, 151, 159, 167, 191, 195, 237] [0, 48, 56, 152, 168, 172, 176, 208, 238] [1, 49, 57, 153, 169, 173, 177, 209, 238] [2, 50, 58, 154, 170, 174, 178, 210, 238] [3, 51, 59, 155, 171, 175, 179, 211, 238] [24, 52, 60, 156, 172, 180, 200, 212, 239] [25, 53, 61, 157, 173, 181, 201, 213, 239] [26, 54, 62, 158, 174, 182, 202, 214, 239] [27, 55, 63, 159, 175, 183, 203, 215, 239] [4, 40, 64, 160, 168, 176, 180, 200, 240] [5, 41, 65, 161, 169, 177, 181, 201, 240] [6, 42, 66, 162, 170, 178, 182, 202, 240] [7, 43, 67, 163, 171, 179, 183, 203, 240] [32, 44, 68, 164, 172, 180, 204, 208, 241] [33, 45, 69, 165, 173, 181, 205, 209, 241] [34, 46, 70, 166, 174, 182, 206, 210, 241] [35, 47, 71, 167, 175, 183, 207, 211, 241] [12, 64, 72, 168, 184, 188, 192, 220, 242] [13, 65, 73, 169, 185, 189, 193, 221, 242] [14, 66, 74, 170, 186, 190, 194, 222, 242] [15, 67, 75, 171, 187, 191, 195, 223, 242] [40, 68, 76, 116, 172, 188, 196, 216, 243] [41, 69, 77, 117, 173, 189, 197, 217, 243] [42, 70, 78, 118, 174, 190, 198, 218, 243] [43, 71, 79, 119, 175, 191, 199, 219, 243] [20, 56, 80, 176, 184, 192, 196, 216, 244] [21, 57, 81, 177, 185, 193, 197, 217, 244] [22, 58, 82, 178, 186, 194, 198, 218, 244] [23, 59, 83, 179, 187, 195, 199, 219, 244] [48, 60, 84, 112, 180, 188, 196, 220, 245] [49, 61, 85, 113, 181, 189, 197, 221, 245] [50, 62, 86, 114, 182, 190, 198, 222, 245] [51, 63, 87, 115, 183, 191, 199, 223, 245] [28, 80, 88, 128, 184, 200, 204, 208, 246] [29, 81, 89, 129, 185, 201, 205, 209, 246] [30, 82, 90, 130, 186, 202, 206, 210, 246] [31, 83, 91, 131, 187, 203, 207, 211, 246] [56, 84, 92, 120, 132, 188, 204, 212, 247] [57, 85, 93, 121, 133, 189, 205, 213, 247] [58, 86, 94, 122, 134, 190, 206, 214, 247] [59, 87, 95, 123, 135, 191, 207, 215, 247] [36, 72, 96, 120, 192, 200, 208, 212, 248] [37, 73, 97, 121, 193, 201, 209, 213, 248] [38, 74, 98, 122, 194, 202, 210, 214, 248] [39, 75, 99, 123, 195, 203, 211, 215, 248] [64, 76, 100, 124, 128, 196, 204, 212, 249] [65, 77, 101, 125, 129, 197, 205, 213, 249] [66, 78, 102, 126, 130, 198, 206, 214, 249] [67, 79, 103, 127, 131, 199, 207, 215, 249] [44, 96, 104, 112, 144, 200, 216, 220, 250] [45, 97, 105, 113, 145, 201, 217, 221, 250] [46, 98, 106, 114, 146, 202, 218, 222, 250] [47, 99, 107, 115, 147, 203, 219, 223, 250] [52, 88, 108, 116, 136, 208, 216, 220, 251] [53, 89, 109, 117, 137, 209, 217, 221, 251] [54, 90, 110, 118, 138, 210, 218, 222, 251] [55, 91, 111, 119, 139, 211, 219, 223, 251] [0, 1, 2, 3, 252, 253, 258, 261, 275] [4, 5, 6, 7, 252, 253, 259, 260, 277] [8, 9, 10, 11, 254, 255, 256, 264, 278] [12, 13, 14, 15, 252, 255, 257, 262, 265] [16, 17, 18, 19, 254, 256, 257, 262, 279] [20, 21, 22, 23, 253, 255, 257, 263, 264] [24, 25, 26, 27, 254, 258, 259, 260, 268] [28, 29, 30, 31, 255, 259, 261, 266, 269] [32, 33, 34, 35, 256, 258, 260, 261, 266] [36, 37, 38, 39, 257, 259, 261, 267, 268] [40, 41, 42, 43, 258, 262, 263, 264, 272] [44, 45, 46, 47, 259, 263, 265, 270, 273] [48, 49, 50, 51, 260, 262, 264, 265, 270] [52, 53, 54, 55, 261, 263, 265, 271, 272] [56, 57, 58, 59, 262, 266, 267, 268, 276] [60, 61, 62, 63, 263, 267, 269, 274, 277] [64, 65, 66, 67, 264, 266, 268, 269, 274] [68, 69, 70, 71, 265, 267, 269, 275, 276] [72, 73, 74, 75, 266, 270, 271, 272, 279] [76, 77, 78, 79, 253, 267, 271, 273, 278] [80, 81, 82, 83, 268, 270, 272, 273, 278] [84, 85, 86, 87, 252, 269, 271, 273, 279] [88, 89, 90, 91, 256, 270, 274, 275, 276] [92, 93, 94, 95, 254, 257, 271, 275, 277] [96, 97, 98, 99, 254, 272, 274, 276, 277] [100, 101, 102, 103, 255, 256, 273, 275, 277] [104, 105, 106, 107, 252, 260, 274, 278, 279] [108, 109, 110, 111, 253, 258, 276, 278, 279] [112, 113, 114, 115, 252, 270, 277] [116, 117, 118, 119, 253, 272, 275] [120, 121, 122, 123, 254, 267, 279] [124, 125, 126, 127, 253, 255, 274] [128, 129, 130, 131, 256, 269, 278] [132, 133, 134, 135, 252, 257, 276] [136, 137, 138, 139, 256, 258, 271] [140, 141, 142, 143, 257, 259, 278] [144, 145, 146, 147, 254, 260, 273] [148, 149, 150, 151, 255, 261, 279] [152, 153, 154, 155, 260, 262, 275] [156, 157, 158, 159, 254, 261, 263] [160, 161, 162, 163, 258, 264, 277] [164, 165, 166, 167, 256, 259, 265] [168, 169, 170, 171, 252, 264, 266] [172, 173, 174, 175, 258, 265, 267] [176, 177, 178, 179, 253, 262, 268] [180, 181, 182, 183, 260, 263, 269] [184, 185, 186, 187, 255, 268, 270] [188, 189, 190, 191, 262, 269, 271] [192, 193, 194, 195, 257, 266, 272] [196, 197, 198, 199, 264, 267, 273] [200, 201, 202, 203, 259, 272, 274] [204, 205, 206, 207, 266, 273, 275] [208, 209, 210, 211, 261, 270, 276] [212, 213, 214, 215, 268, 271, 277] [216, 217, 218, 219, 263, 276, 278] [220, 221, 222, 223, 265, 274, 279]
H_Z (168 checks, sparse supports)
[0, 1, 2, 3, 224, 229, 238] [4, 5, 6, 7, 225, 227, 240] [8, 9, 10, 11, 226, 232, 235] [12, 13, 14, 15, 227, 233, 242] [16, 17, 18, 19, 228, 230, 237] [20, 21, 22, 23, 229, 231, 244] [24, 25, 26, 27, 230, 236, 239] [28, 29, 30, 31, 231, 237, 246] [32, 33, 34, 35, 232, 234, 241] [36, 37, 38, 39, 233, 235, 248] [40, 41, 42, 43, 234, 240, 243] [44, 45, 46, 47, 235, 241, 250] [48, 49, 50, 51, 236, 238, 245] [52, 53, 54, 55, 237, 239, 251] [56, 57, 58, 59, 238, 244, 247] [60, 61, 62, 63, 226, 239, 245] [64, 65, 66, 67, 240, 242, 249] [68, 69, 70, 71, 228, 241, 243] [72, 73, 74, 75, 224, 242, 248] [76, 77, 78, 79, 230, 243, 249] [80, 81, 82, 83, 225, 244, 246] [84, 85, 86, 87, 232, 245, 247] [88, 89, 90, 91, 227, 246, 251] [92, 93, 94, 95, 225, 234, 247] [96, 97, 98, 99, 229, 248, 250] [100, 101, 102, 103, 224, 236, 249] [104, 105, 106, 107, 228, 231, 250] [108, 109, 110, 111, 226, 233, 251] [112, 113, 114, 115, 224, 225, 227, 245, 250] [116, 117, 118, 119, 224, 225, 229, 243, 251] [120, 121, 122, 123, 226, 228, 230, 247, 248] [124, 125, 126, 127, 226, 227, 229, 231, 249] [128, 129, 130, 131, 226, 228, 232, 246, 249] [132, 133, 134, 135, 227, 228, 229, 233, 247] [136, 137, 138, 139, 224, 230, 232, 234, 251] [140, 141, 142, 143, 225, 230, 231, 233, 235] [144, 145, 146, 147, 225, 230, 232, 236, 250] [148, 149, 150, 151, 224, 231, 232, 233, 237] [152, 153, 154, 155, 227, 228, 234, 236, 238] [156, 157, 158, 159, 229, 234, 235, 237, 239] [160, 161, 162, 163, 226, 229, 234, 236, 240] [164, 165, 166, 167, 227, 235, 236, 237, 241] [168, 169, 170, 171, 231, 232, 238, 240, 242] [172, 173, 174, 175, 233, 238, 239, 241, 243] [176, 177, 178, 179, 230, 233, 238, 240, 244] [180, 181, 182, 183, 231, 239, 240, 241, 245] [184, 185, 186, 187, 235, 236, 242, 244, 246] [188, 189, 190, 191, 237, 242, 243, 245, 247] [192, 193, 194, 195, 234, 237, 242, 244, 248] [196, 197, 198, 199, 235, 243, 244, 245, 249] [200, 201, 202, 203, 239, 240, 246, 248, 250] [204, 205, 206, 207, 224, 241, 246, 247, 249] [208, 209, 210, 211, 238, 241, 246, 248, 251] [212, 213, 214, 215, 225, 239, 247, 248, 249] [216, 217, 218, 219, 226, 243, 244, 250, 251] [220, 221, 222, 223, 228, 242, 245, 250, 251] [0, 4, 12, 84, 104, 112, 132, 168, 252] [1, 5, 13, 85, 105, 113, 133, 169, 252] [2, 6, 14, 86, 106, 114, 134, 170, 252] [3, 7, 15, 87, 107, 115, 135, 171, 252] [0, 4, 20, 76, 108, 116, 124, 176, 253] [1, 5, 21, 77, 109, 117, 125, 177, 253] [2, 6, 22, 78, 110, 118, 126, 178, 253] [3, 7, 23, 79, 111, 119, 127, 179, 253] [8, 16, 24, 92, 96, 120, 144, 156, 254] [9, 17, 25, 93, 97, 121, 145, 157, 254] [10, 18, 26, 94, 98, 122, 146, 158, 254] [11, 19, 27, 95, 99, 123, 147, 159, 254] [8, 12, 20, 28, 100, 124, 148, 184, 255] [9, 13, 21, 29, 101, 125, 149, 185, 255] [10, 14, 22, 30, 102, 126, 150, 186, 255] [11, 15, 23, 31, 103, 127, 151, 187, 255] [8, 16, 32, 88, 100, 128, 136, 164, 256] [9, 17, 33, 89, 101, 129, 137, 165, 256] [10, 18, 34, 90, 102, 130, 138, 166, 256] [11, 19, 35, 91, 103, 131, 139, 167, 256] [12, 16, 20, 36, 92, 132, 140, 192, 257] [13, 17, 21, 37, 93, 133, 141, 193, 257] [14, 18, 22, 38, 94, 134, 142, 194, 257] [15, 19, 23, 39, 95, 135, 143, 195, 257] [0, 24, 32, 40, 108, 136, 160, 172, 258] [1, 25, 33, 41, 109, 137, 161, 173, 258] [2, 26, 34, 42, 110, 138, 162, 174, 258] [3, 27, 35, 43, 111, 139, 163, 175, 258] [4, 24, 28, 36, 44, 140, 164, 200, 259] [5, 25, 29, 37, 45, 141, 165, 201, 259] [6, 26, 30, 38, 46, 142, 166, 202, 259] [7, 27, 31, 39, 47, 143, 167, 203, 259] [4, 24, 32, 48, 104, 144, 152, 180, 260] [5, 25, 33, 49, 105, 145, 153, 181, 260] [6, 26, 34, 50, 106, 146, 154, 182, 260] [7, 27, 35, 51, 107, 147, 155, 183, 260] [0, 28, 32, 36, 52, 148, 156, 208, 261] [1, 29, 33, 37, 53, 149, 157, 209, 261] [2, 30, 34, 38, 54, 150, 158, 210, 261] [3, 31, 35, 39, 55, 151, 159, 211, 261] [12, 16, 40, 48, 56, 152, 176, 188, 262] [13, 17, 41, 49, 57, 153, 177, 189, 262] [14, 18, 42, 50, 58, 154, 178, 190, 262] [15, 19, 43, 51, 59, 155, 179, 191, 262] [20, 40, 44, 52, 60, 156, 180, 216, 263] [21, 41, 45, 53, 61, 157, 181, 217, 263] [22, 42, 46, 54, 62, 158, 182, 218, 263] [23, 43, 47, 55, 63, 159, 183, 219, 263] [8, 20, 40, 48, 64, 160, 168, 196, 264] [9, 21, 41, 49, 65, 161, 169, 197, 264] [10, 22, 42, 50, 66, 162, 170, 198, 264] [11, 23, 43, 51, 67, 163, 171, 199, 264] [12, 44, 48, 52, 68, 164, 172, 220, 265] [13, 45, 49, 53, 69, 165, 173, 221, 265] [14, 46, 50, 54, 70, 166, 174, 222, 265] [15, 47, 51, 55, 71, 167, 175, 223, 265] [28, 32, 56, 64, 72, 168, 192, 204, 266] [29, 33, 57, 65, 73, 169, 193, 205, 266] [30, 34, 58, 66, 74, 170, 194, 206, 266] [31, 35, 59, 67, 75, 171, 195, 207, 266] [36, 56, 60, 68, 76, 120, 172, 196, 267] [37, 57, 61, 69, 77, 121, 173, 197, 267] [38, 58, 62, 70, 78, 122, 174, 198, 267] [39, 59, 63, 71, 79, 123, 175, 199, 267] [24, 36, 56, 64, 80, 176, 184, 212, 268] [25, 37, 57, 65, 81, 177, 185, 213, 268] [26, 38, 58, 66, 82, 178, 186, 214, 268] [27, 39, 59, 67, 83, 179, 187, 215, 268] [28, 60, 64, 68, 84, 128, 180, 188, 269] [29, 61, 65, 69, 85, 129, 181, 189, 269] [30, 62, 66, 70, 86, 130, 182, 190, 269] [31, 63, 67, 71, 87, 131, 183, 191, 269] [44, 48, 72, 80, 88, 112, 184, 208, 270] [45, 49, 73, 81, 89, 113, 185, 209, 270] [46, 50, 74, 82, 90, 114, 186, 210, 270] [47, 51, 75, 83, 91, 115, 187, 211, 270] [52, 72, 76, 84, 92, 136, 188, 212, 271] [53, 73, 77, 85, 93, 137, 189, 213, 271] [54, 74, 78, 86, 94, 138, 190, 214, 271] [55, 75, 79, 87, 95, 139, 191, 215, 271] [40, 52, 72, 80, 96, 116, 192, 200, 272] [41, 53, 73, 81, 97, 117, 193, 201, 272] [42, 54, 74, 82, 98, 118, 194, 202, 272] [43, 55, 75, 83, 99, 119, 195, 203, 272] [44, 76, 80, 84, 100, 144, 196, 204, 273] [45, 77, 81, 85, 101, 145, 197, 205, 273] [46, 78, 82, 86, 102, 146, 198, 206, 273] [47, 79, 83, 87, 103, 147, 199, 207, 273] [60, 64, 88, 96, 104, 124, 200, 220, 274] [61, 65, 89, 97, 105, 125, 201, 221, 274] [62, 66, 90, 98, 106, 126, 202, 222, 274] [63, 67, 91, 99, 107, 127, 203, 223, 274] [0, 68, 88, 92, 100, 116, 152, 204, 275] [1, 69, 89, 93, 101, 117, 153, 205, 275] [2, 70, 90, 94, 102, 118, 154, 206, 275] [3, 71, 91, 95, 103, 119, 155, 207, 275] [56, 68, 88, 96, 108, 132, 208, 216, 276] [57, 69, 89, 97, 109, 133, 209, 217, 276] [58, 70, 90, 98, 110, 134, 210, 218, 276] [59, 71, 91, 99, 111, 135, 211, 219, 276] [4, 60, 92, 96, 100, 112, 160, 212, 277] [5, 61, 93, 97, 101, 113, 161, 213, 277] [6, 62, 94, 98, 102, 114, 162, 214, 277] [7, 63, 95, 99, 103, 115, 163, 215, 277] [8, 76, 80, 104, 108, 128, 140, 216, 278] [9, 77, 81, 105, 109, 129, 141, 217, 278] [10, 78, 82, 106, 110, 130, 142, 218, 278] [11, 79, 83, 107, 111, 131, 143, 219, 278] [16, 72, 84, 104, 108, 120, 148, 220, 279] [17, 73, 85, 105, 109, 121, 149, 221, 279] [18, 74, 86, 106, 110, 122, 150, 222, 279] [19, 75, 87, 107, 111, 123, 151, 223, 279]
Code ID 280-24-16 · download JSON · raw on GitHub