← back to the board
[[294,126,3]] d =
n
294
k
126
d
3
kd²/n
3.857
w
9
X/Z
1
g
0.0028
r
6.0828
layers
2
swaps
1024

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)
[9, 38, 171]
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)
[80, 227, 256]
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)×147 (2,3)×294 (3,0)×147 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_X
(1,3): 147 (1,6): 147 (2,3): 294 (2,4): 441 (2,6): 147 (2,7): 1764 (2,8): 441 (2,10): 882 (3,0): 147 (3,3): 882 (3,4): 1764 (3,6): 6027 (3,7): 8967 (3,8): 5292 (3,9): 6321 (3,10): 7938 (3,11): 11466 (3,13): 882 (3,14): 6321
trapping sets H_Z (1,3)×147 (2,3)×294 (3,0)×147 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_Z
(1,3): 147 (1,6): 147 (2,3): 294 (2,4): 441 (2,6): 147 (2,7): 1764 (2,8): 441 (2,10): 882 (3,0): 147 (3,3): 882 (3,4): 1764 (3,6): 6027 (3,7): 8967 (3,8): 5292 (3,9): 6321 (3,10): 7938 (3,11): 11466 (3,13): 882 (3,14): 6321
witness diameter X 3.1623 · Z 2.2361 (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 = 6.083
X checkZ checkqubit site (159)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 1024 nearest-neighbor SWAPs per round in total, at most 9 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 C7 x (C7 : C3) = SmallGroup(147, 3) (order 147), elements numbered as in GAP Elements(SmallGroup(order,id)) with element 0 the identity. n = 2|G| = 294; H_X = [L(a)|R(b)], H_Z = [R(b)^T|L(a)^T]; a = {0, 3, 5, 13, 18, 38}, b = {0, 3, 18} 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 2bga-nonabelian (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

[[294,126,3]] — two-block group-algebra code over C7 x (C7 : C3)

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| = 294

Parameters are also spelled out in provenance.construction of codes/294-126-3.json.

Parity checks

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