← back to the board
[[254,44,24]] d ≤
n
254
k
44
d
24
kd²/n
99.78
w
16
X/Z
1

Share this result

Distance

X/Z asymmetry 1 · d_X ≤ 24, d_Z ≤ 24 · 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 24 · witness weight 24 (claimed upper_bound)
witness found by @vprusso · verify/ris_gpu.py recover mode, pair depth 0 (GPU RIS, CPU re-verified) · found at 3×108 trials · survived 3×108 trials · 2026-09-25
witness operator (support, 24 qubits)
[8, 19, 26, 34, 37, 43, 50, 52, 64, 66, 82, 84, 91, 100, 102, 122, 129, 148, 151, 194, 200, 231, 238, 241]
d_Z 24 · witness weight 24 (claimed upper_bound)
witness operator (support, 24 qubits)
[0, 23, 32, 34, 64, 67, 78, 82, 83, 90, 102, 112, 141, 150, 162, 171, 182, 196, 205, 217, 239, 248, 251, 252]
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 16 · H_Z 16
qubit degrees H_X 8 · H_Z 8
trapping sets H_X (1,8)×254 (2,10)×127 (3,12)×254 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_X
(1,8): 254 (2,10): 127 (2,12): 2159 (2,14): 10541 (3,12): 254 (3,14): 7747 (3,16): 65659 (3,18): 275717 (3,20): 530479 (3,22): 22352
trapping sets H_Z (1,8)×254 (2,10)×127 (3,12)×254 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_Z
(1,8): 254 (2,10): 127 (2,12): 2159 (2,14): 10541 (3,12): 254 (3,14): 7747 (3,16): 65659 (3,18): 275717 (3,20): 530479 (3,22): 22352

Construction & provenance

authors @vprusso
provenance submitted through the challenge
novelty novelty not audited
construction Generalized bicycle (2BGA on Z_127), circulant size 127, a(x) = 1 + x17 + x29 + x34 + x36 + x49 + x64 + x72, b(x) = 1 + x5 + x14 + x48 + x85 + x93 + x95 + x114. Weight-8 supports designed as multiples of a degree-22 divisor g of x127 - 1 (g = (x-1) times three degree-7 irreducibles; k = 2 deg g = 44). Check weight 16 (weight-9plus cell).
model Claude Claude Fable 5 (claimed, not verified)
builds on arXiv:1904.02703, arXiv:2306.16400
date 2026-07-14
notes Support-8 GB campaign 20260714 wave 2 (divisor design over Z_127, same degree-22 divisor family as [[254,44,21]]; weight-8 supports trade check weight 16 for distance in the weight-9plus cell). Screen 2000 RIS trials over 1165 candidate pairs; refine 60000; ladder 1000000 -> d 24; claimed d = lightest logical witnessed (gf2_fast RIS). Independent adversarial re-check: 4 fresh seeds (950001-950004) x 1.5M trials, lightest logical 24 each time, nothing lighter. Independent BP+OSD syndrome-decoder cross-check at 300000 trials corroborated d=24, nothing lighter (60000 trials was inconclusive: too few to reach weight 24). Upper bound only. Lit-check 2026-07-14: no published [[254,44,24]] found; closest published n=254 GB neighbor [[254,28,14]] (arXiv:1904.02703); weight-16 supports are outside the published W<=8 enumerations; novelty vs literature unverified.
family generalized bicycle (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

[[254,44,24]]: distance revision of the board's [[254,44,24]] entry

Revision history

The entry keeps its parameters [[254,44,24]]. The code, its checks, its layout, and its original provenance are unchanged; only the distance block is corrected. A GPU random-information-set search (verify/ris_gpu.py, recover mode, 300,000,000 trials per side, pair depth 0, seed 4101) exhibits a weight-24 X logical, so the previous witness-backed bound was overstated on that side; the overall distance d = 24 is unchanged. Each lighter witness is carried in the entry with the budget it was found at; the other side keeps its original witness where it was not refuted. Distance remains an upper bound, not an exact claim.

Evidence

Every GPU proposal was re-validated on the CPU against the committed check matrices (in the kernel of the opposite side's checks, outside the row space of its own side) before it was recorded. The pass is the weekly fresh-seed re-measurement of the board's cell leaders (issue 2025, run of 2026-09-24); every recorded reading is the lightest CPU-verified logical at that budget.

| side | seed | claimed | GPU best weight | CPU-verified witness | trials | |---|---|---|---|---|---| | X | 4101 | 25 | 24 | 24 | 300,000,000 | | Z | 4101 | 24 | 24 | 24 | 300,000,000 | | X | 4102 | 25 | 24 | 24 | 300,000,000 | | Z | 4102 | 24 | 24 | 24 | 300,000,000 |

Parity checks

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