← back to the board
[[312,104,4]] d =
n
312
k
104
d
4
kd²/n
5.333
w
9
X/Z
1
g
0.0026
r
6.7082
layers
2
swaps
1639

Share this result

Distance

X/Z asymmetry 1 · d_X = 4, d_Z = 4 · 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 4 · witness weight 4 (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, 4 qubits)
[4, 14, 67, 73]
d_Z 4 · witness weight 4 (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, 4 qubits)
[259, 265, 306, 311]
certificate exact, d = 4 · CryptoMiniSat 5.14.7 SAT
X: no logical < 4 exists; Z: no logical < 4 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 4–5 (mean 4.5) · H_Z 4–5 (mean 4.5)
trapping sets H_X (1,4)×156 (2,3)×156 (3,4)×1092 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_X
(1,4): 156 (1,5): 156 (2,3): 156 (2,4): 156 (2,5): 156 (2,6): 858 (2,7): 2340 (2,8): 1092 (3,4): 1092 (3,5): 2496 (3,6): 2808 (3,7): 6552 (3,8): 12012 (3,9): 29380 (3,10): 33384 (3,11): 12636 (3,12): 2184 (3,13): 312
trapping sets H_Z (1,4)×156 (2,3)×156 (3,4)×1092 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_Z
(1,4): 156 (1,5): 156 (2,3): 156 (2,4): 156 (2,5): 156 (2,6): 858 (2,7): 2340 (2,8): 1092 (3,4): 1092 (3,5): 2496 (3,6): 2808 (3,7): 6552 (3,8): 12012 (3,9): 29380 (3,10): 33384 (3,11): 12636 (3,12): 2184 (3,13): 312
witness diameter X 5.831 · Z 5.0 (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.708
X checkZ checkqubit site (160)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 1639 nearest-neighbor SWAPs per round in total, at most 10 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 C78 x C2 = SmallGroup(156, 18) (order 156), elements numbered as in GAP Elements(SmallGroup(order,id)) with element 0 the identity. n = 2|G| = 312; H_X = [L(a)|R(b)], H_Z = [R(b)^T|L(a)^T]; a = {0, 1, 35, 57, 61}, b = {0, 1, 46, 61} 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)
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

[[312,104,4]] — two-block group-algebra code over C78 x C2

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

Parameters are also spelled out in provenance.construction of codes/312-104-4.json.

Parity checks

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