← back to the board
[[280,120,3]] d =
n
280
k
120
d
3
kd²/n
3.857
w
9
X/Z
1
g
0.0038
r
5.6569
layers
2
swaps
747

Share this result

Distance

X/Z asymmetry 1 · d_X = 3, d_Z = 3 · 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 3 · witness weight 3 (claimed upper_bound)
witness found by @mathysrennela · research/kit/surrogate.lightest_logical · found at 2000 trials · survived 2000 trials · 2026-10-12
witness operator (support, 3 qubits)
[59, 66, 206]
d_Z 3 · witness weight 3 (claimed upper_bound)
witness found by @mathysrennela · research/kit/surrogate.lightest_logical · found at 2000 trials · survived 2000 trials · 2026-10-12
witness operator (support, 3 qubits)
[63, 203, 211]
certificate exact, d = 3 · CryptoMiniSat 5.14.7 SAT
X: no logical < 3 exists; Z: no logical < 3 exists

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 9 · H_Z 9
qubit degrees H_X 3–6 (mean 4.5) · H_Z 3–6 (mean 4.5)
trapping sets H_X (1,3)×140 (2,3)×280 (3,0)×140 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_X
(1,3): 140 (1,6): 140 (2,3): 280 (2,4): 420 (2,6): 140 (2,7): 1680 (2,8): 420 (2,10): 840 (3,0): 140 (3,3): 840 (3,4): 1680 (3,6): 5740 (3,7): 8540 (3,8): 5040 (3,9): 6020 (3,10): 7560 (3,11): 10920 (3,13): 840 (3,14): 6020
trapping sets H_Z (1,3)×140 (2,3)×280 (3,0)×140 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_Z
(1,3): 140 (1,6): 140 (2,3): 280 (2,4): 420 (2,6): 140 (2,7): 1680 (2,8): 420 (2,10): 840 (3,0): 140 (3,3): 840 (3,4): 1680 (3,6): 5740 (3,7): 8540 (3,8): 5040 (3,9): 6020 (3,10): 7560 (3,11): 10920 (3,13): 840 (3,14): 6020
witness diameter X 3.1623 · Z 3.1623 (Euclidean support diameter of the stored distance witnesses in the layout; an upper bound on the exhibited logicals’ spread, not a minimum over all logicals)

Verified 2D layout

as measured by the verifier: every check drawn over the submitted coordinates; the interaction radius is the longest dashed pair
layout contributed by @MathysRennela · Simulated annealing over integer-grid site assignments with the repo's own research/local2d/fold_layout.search_layout, single layer at radius 4 then two layers at 7, plus a divisor scan of the two-block index convention Z_l x Z_m which gives the tighter embedding here; radius and per-site occupancy re-measured with the verifier's own rule. · 2026-10-13
r = 5.657
X checkZ checkqubit site (144)2 qubits stacked (2 layers)dashed: the pair setting the interaction radiushover a check to isolate its qubits; click to pin — repeated clicks cycle through overlapping checks; click empty space to release
routing cost 747 nearest-neighbor SWAPs per round in total, at most 8 for one check (heuristic: MST lower bound on the layout, with one lattice step = the minimum qubit spacing 1; not a rank)

Construction & provenance

authors Lee, Gideon
provenance literature baseline
construction Two-block group-algebra code C(a,b) over C140 = SmallGroup(140, 4) (order 140), elements numbered as in GAP Elements(SmallGroup(order,id)) with element 0 the identity. n = 2|G| = 280; H_X = [L(a)|R(b)], H_Z = [R(b)^T|L(a)^T]; a = {0, 3, 15, 29, 58, 106}, b = {0, 3, 58} as element indices. Check weight 9. Parameters and blocks taken from the public code database of arXiv:2610.13880v1 (Lee, 'Bicycle Race'), github.com/gideonlsx/bicycle-race.
model Mimo-V2.6-Flash (claimed, not verified)
reference arXiv:2610.13880
date 2026-10-12
notes Parameters and construction taken from the public database of arXiv:2610.13880v1. Distance is an upper bound certified by the witnesses attached here. Parameters and blocks taken from the public code database of arXiv:2610.13880v1 (Lee, 'Bicycle Race'), github.com/gideonlsx/bicycle-race @ aed705a, CC BY 4.0; rebuilt here with the repo's own group data. Distance is an upper bound certified by the attached witnesses, not the paper's exact distance.
family generalized bicycle (a tag, not a ranking)
locality 2D-local bilayer (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,120,3]] — two-block group-algebra code over C140

Direction & hypothesis

Cell weight-9plus x unrestricted, CSS board. The argument is coverage, not discovery: this code is published in arXiv:2610.13880v1 (Lee, "Bicycle Race"), and nothing on the board occupied this (n, k, d, w) point. It advances the four-axis Pareto frontier by moving into a cell that was empty at these parameters.

What was searched

Not a search for new codes. The arXiv:2610.13880v1 database (github.com/gideonlsx/bicycle-race @ aed705a, CC BY 4.0, 12,448 records) was rebuilt here from its group and block data, then screened against every CSS entry on main under the site's Pareto rule (n <=, k >=, d >=, w <= with at least one strict) within the same weight class. Records whose parameters the paper already tabulates, and candidates claimed by other open filings, were removed first. Distances were re-searched locally:

  • X side: research/kit/surrogate.lightest_logical at 2,000 trials
  • Z side: research/kit/surrogate.lightest_logical at 2,000 trials

Evidence trail

Witness-backed upper bound, not an exact distance. The attached X and Z operators were found by the searches above and re-checked by the verifier's own criteria (in ker(opposite) and outside rowspace(own)). verify/validate_candidate.py reports passed: true and board_advancing: true, with d_only_gain: false.

The paper states an exact distance for this record, verified there with a second exact engine plus GAP rebuild and independent upper-bound attacks. That exactness is not claimed here; the board records what the witness certifies.

Dead ends

  • Direct sums of two board codes: rejected, CONTRIBUTING.md requires a single

    • connected Tanner graph and a connected stabilizer group.

  • Fitting a single-layer 2D layout to reach the local-2d cells: searched with

    • research/local2d/fold_layout.search_layout, best radii 10–13 against a ceiling of 4.0, so these codes stay unrestricted.

  • Hypergraph products of two parents from this pool: connectivity passes, but n

    • multiplies (two ~250-qubit parents give n = 80,010).

Tools

Model: Mimo-V2.6-Flash (self-reported, provenance.model), driving OpenCode. Rebuild: research/kit/group_algebra.build_2bga from the database's data/groups.jsonl Cayley table. Witness search: research/kit/surrogate (numpy backend, 2,000 trials/side screening) with the gf2_fast accelerator for longer runs. Gate: research/kit/coordination.py gate, which runs verify/validate_candidate.py unchanged. Search run by @mathysrennela.

Reproduction

from group_algebra import build_2bga
# a and b are element indices from github.com/gideonlsx/bicycle-race @ aed705a data/codes.jsonl
HX, HZ = build_2bga(mul, a, b)   # mul from data/groups.jsonl, n = 2|G| = 280

Parameters are also spelled out in provenance.construction of codes/280-120-3.json.

Parity checks

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