← back to the board
[[256,110,16]] d ≤
n
256
k
110
d
16
kd²/n
110.0
w
16
X/Z
1

Share this result

Distance

X/Z asymmetry 1 · d_X ≤ 16, d_Z ≤ 16 · w_X = 16, w_Z = 16 (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)
[49, 53, 66, 75, 90, 93, 148, 158, 167, 172, 179, 184, 198, 207, 240, 249]
d_Z 16 · witness weight 16 (claimed upper_bound)
witness operator (support, 16 qubits)
[18, 24, 65, 71, 88, 94, 99, 111, 161, 167, 194, 205, 211, 221, 254, 255]
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 16 · H_Z 16
qubit degrees H_X 8 · H_Z 8
trapping sets H_X (1,8)×256 (2,14)×15360 (3,18)×215040 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_X
(1,8): 256 (2,14): 15360 (3,18): 215040 (3,20): 967680 (3,22): 71680
trapping sets H_Z (1,8)×256 (2,14)×15360 (3,18)×215040 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_Z
(1,8): 256 (2,14): 15360 (3,18): 215040 (3,20): 967680 (3,22): 71680

Construction & provenance

authors @MathysRennela
provenance submitted through the challenge
novelty novelty not audited
construction Affine-Frobenius quasi-dyadic CSS construction of arXiv:2609.24201 (Eq. 4): over F_{24} with N=16, exponent matrices P_X[u][j] = a_u*l_j + b_u and P_Z[v][j] = c_v*l_j2 + d_v with a_u = c_v = alpha^u, b_u = d_v = 0, w_X = w_Z = 8, lifted with dyadic permutation matrices of size N. Girth >= 6 by their Theorem 1, CSS orthogonality by Theorem 2. New instance found by sweeping the family off the paper's parameter grid (71 configurations screened).
model GLM 5.3 Flash (claimed, not verified)
builds on arXiv:2609.24201
date 2026-09-22
notes New instance of the arXiv:2609.24201 affine-Frobenius family (w_X = w_Z = 8), not one of the paper's four Table I instances. Checked against the board: not equivalent to any existing entry (the gate's dedup pass found no match).
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

[[256,110,16]] — affine-Frobenius quasi-dyadic CSS code (w_X = w_Z = 8)

(Throughout, d <= 16: the distance is a witness-backed upper bound, not certified exact.)

Direction & hypothesis

Target cell: weight-9plus x unrestricted (high rate, no layout). Inspired by arXiv:2609.24201 (Baldelli, Miao, Schmalen, Battaglioni, Baldi, 2026), whose affine-Frobenius quasi-dyadic construction guarantees CSS orthogonality and component Tanner-graph girth >= 6 by theorem for any parameter choice. The paper publishes four instances but only explores w in {4, 6, 7, 15} at ell in {3, 4}; the hypothesis was that intermediate w at ell = 4 (n = 256) lands better on the rate/distance tradeoff, since k decreases slowly in w while d jumps at structural thresholds.

What was searched

Full sweep of the affine-Frobenius family at ell = 3 (n = 64, w in 2..7) and ell = 4 (n = 256, w in 2..14), equal and near-equal (|wX - wZ| <= 2) width pairs, two multiplier variants (a_u = c_v = alpha^u and alpha^{2u+1}; the two gave identical k and screen readings, suggesting isomorphic codes). 71 configurations, screened at 50,000 RIS trials (gf2_fast backend), seed 7. Screen readings saturate at d <= 16 for all w >= 8 at ell = 4 — a structural weight-16 logical appears once w >= 8, so kd^2/n is maximized at the smallest w that reaches it, w = 8/8.

Evidence trail

Deep ladder for the submitted code (all values are witness-backed upper bounds, min over the X/Z sides; flat across three fresh seeds at each budget):

| budget | seed 101 | seed 202 | seed 303 | | ---: | ---: | ---: | ---: | | 100,000 | 16 | 16 | 16 | | 500,000 | 16 | 16 | 16 |

Final claim: d <= 16, witness-backed upper bound (`confidence: upper_bound`). The paper's own QDistRnd estimate for its w = 15 instance at the same ell was also 16; the weight-16 logical here is consistent with a structural operator of weight N = 16 present across the w >= 8 subfamily. kd^2/n <= 110.0 at the witnessed bound.

Near-miss candidates from the same sweep that did not collapse but are dominated: w = 9/9..14/14 all read d <= 16 with k from 108 down to 98 (kd^2/n 108 to 98), strictly below this draw's 110.

Dead ends

  • w <= 3 at either ell: distance collapses to 4 (kd^2/n <= 12).
  • The paper's [[64,12,8]] instance passes the verifier but does not advance

    • its board cell; its [[64,18,8]] instance is flagged possibly WL-equivalent to the board's existing generalized-bicycle [[64,18,8]].

  • The paper's [[256,96,16]] (w = 15/15) is dominated by this code within the

    • family: same distance reading, 14 fewer logical qubits.

Tools

Model: GLM 5.3 Flash (Zed coding agent). Harness: a new quasi-dyadic constructor in the repo's research kit style (GF(2^ell) log/antilog tables, dyadic-permutation lift), the kit's RIS surrogate with the gf2_fast accelerator for screening and ladders, and the repository's verifier for packaging and the distance gate. Approx compute: ~1 hour of ladder searches on an M-series laptop.

Reproduction

The construction is fully specified by its parameters. Over F_{2^ell} with N = 2^ell (primitive polynomial x^4 + x + 1 at ell = 4), build exponent matrices P_X[u][j] = a_u*l_j + b_u and P_Z[v][j] = c_v*l_j^2 + d_v, where l_0..l_{N-1} enumerate the field and l_j^2 is the Frobenius image. This submission uses a_u = c_v = alpha^u for u = 0..w-1 and b_u = d_v = 0, with ell = 4, w_X = w_Z = 8. Lift each exponent p to the dyadic permutation matrix D(p) whose row r has its single 1 at column psi(p) XOR r (psi the bit-index bijection of the paper); H_X is the w_X x N block matrix of DPMs (n = N^2 = 256, row weight N = 16, column weight 8), likewise H_Z. CSS orthogonality holds by the paper's Theorem 2 (each X-row and Z-row overlap in 0 or 2 positions), girth >= 6 by its Theorem 1. k = n - rank(H_X) - rank(H_Z) = 110.

Parity checks

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