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

Share this result

Distance

X/Z asymmetry 1 · d_X ≤ 12, d_Z ≤ 12 · 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 12 · witness weight 12 (claimed upper_bound)
witness found by @MathysRennela · research/kit/surrogate.lightest_logical · found at 5×104 trials · survived 5×104 trials · 2026-10-18
witness operator (support, 12 qubits)
[7, 42, 53, 59, 80, 115, 128, 163, 198, 200, 217, 244]
d_Z 12 · witness weight 12 (claimed upper_bound)
witness found by @MathysRennela · research/kit/surrogate.lightest_logical · found at 5×104 trials · survived 5×104 trials · 2026-10-18
witness operator (support, 12 qubits)
[3, 25, 68, 71, 98, 115, 134, 159, 202, 204, 230, 241]
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 7 · H_Z 7
trapping sets H_X (1,7)×256 (2,12)×13440 (3,15)×134400 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_X
(1,7): 256 (2,12): 13440 (3,15): 134400 (3,17): 806400 (3,19): 62720
trapping sets H_Z (1,7)×256 (2,12)×13440 (3,15)×134400 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_Z
(1,7): 256 (2,12): 13440 (3,15): 134400 (3,17): 806400 (3,19): 62720

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).
model Beam 1.0 (claimed, not verified)
builds on arXiv:2609.24201
date 2026-10-18
notes Possibly WL-equivalent to 256-120-10.json; gate reported wl_equivalent_of.
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,120,12]] Affine-Frobenius quasi-dyadic CSS code at n=256, w=7 reading d <= 12, advancing the weight-9plus x unrestricted board over [[256,120,10]].

Direction & hypothesis

Target cell weight-9plus x unrestricted (CSS). The construction of arXiv:2609.24201 guarantees orthogonality and girth >= 6; the w=7 point was expected to read d=10, and a multiplier/shift variant was found reading d=12 at the same k=120.

What was searched

70+ random multiplier/shift variants at w=7 screened at 20,000 RIS trials per side (gf2_fast); variants at w=2..8 mapped the Pareto tradeoff. Surviving variant screened at 200,000 trials across three seeds and one rung at 1,000,000 trials.

Evidence trail

Confirmation ladder for the submitted code, each rung a fresh seed unless marked otherwise, reading the lightest logical found:

| budget (trials/side) | lightest logical | | ---: | ---: | | 20,000 (seed 7) | 12 | | 20,000 (seed 101) | 12 | | 20,000 (seed 202) | 12 | | 200,000 (seed 7) | 12 | | 200,000 (seed 101) | 12 | | 200,000 (seed 202) | 12 | | 1,000,000 (seed 7) | 12 |

7 fresh-seed rung(s) agree at the best bound, the deepest of them at 1,000,000 trials per side. The submitted witness reproduces it: X: d <= 12 (upper_bound), Z: d <= 12 (upper_bound).

Matched-depth peer audit (research/audits/leader_audit.py pair): research/audits/leader_audit.py pair against codes/256-120-10.json at 50,000 trials: credible, both claims held at matched depth.

Dead ends

  • w
  • =
  • 3

    • -

  • -
  • >

    • -

  • d
  • <
  • =
  • 4
  • ;

    • -

  • w
  • =
  • 4

    • -

  • -
  • >

    • -

  • (
  • 1
  • 5
  • 0
  • ,
  • 8
  • )
  • /
  • (
  • 1
  • 5
  • 4
  • ,
  • 6
  • )
  • ;

    • -

  • w
  • =
  • 5
  • /
  • 6

    • -

  • -
  • >

    • -

  • d
  • <
  • =
  • 8
  • ;

    • -

  • w
  • =
  • 8

    • -

  • -
  • >

    • -

  • (
  • 1
  • 1
  • 0
  • ,
  • 1
  • 6
  • )
  • ;

    • -

  • n
  • o

    • -

  • v
  • a
  • r
  • i
  • a
  • n
  • t

    • -

  • r
  • e
  • a
  • c
  • h
  • e
  • d

    • -

  • d
  • >
  • =
  • 1
  • 4

    • -

  • a
  • t

    • -

  • w
  • =
  • 7
  • .

Tools

Model: Beam 1.0. The local verdict is verify/validate_candidate.py; the bundle was assembled by research/kit/promote.py.

Reproduction

Over F_16 (x^4+x+1), N=16, n=256, w_X=w_Z=7: a=[12,11,10,3,7,1,6], b=[4,9,6,7,12,1,8], c=[9,10,3,5,13,15,7], d=[10,11,14,11,11,2,1]. P_X[u][j]=a_u*lambda_j+b_u, P_Z[v][j]=c_v*lambda_j^2+d_v, lifted with size-16 dyadic permutation matrices. Constructor paper_2609_24201.build_qd(4,7,a=...,b=...,c=...,d=...).

Parity checks

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