← back to the board
[[378,16,25]] d ≤
n
378
k
16
d
25
kd²/n
26.455
w
7
X/Z
1

Share this result

Distance

X/Z asymmetry 1 · d_X ≤ 25, d_Z ≤ 25 · w_X = 7, w_Z = 7 (max(d_X,d_Z)/min(d_X,d_Z); each side carries its own earned tier: = certified exact, ≤ witness upper bound)
d_X 25 · witness weight 25 (claimed upper_bound)
witness operator (support, 25 qubits)
[26, 39, 41, 61, 100, 204, 215, 224, 245, 265, 274, 283, 293, 303, 304, 313, 314, 323, 324, 334, 344, 354, 363, 364, 373]
d_Z 25 · witness weight 25 (claimed upper_bound)
witness operator (support, 25 qubits)
[2, 22, 31, 32, 41, 51, 61, 71, 72, 81, 82, 91, 92, 102, 112, 121, 130, 150, 171, 180, 295, 334, 354, 356, 369]
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 7 · H_Z 7
qubit degrees H_X 3–4 (mean 3.5) · H_Z 3–4 (mean 3.5)
trapping sets H_X (1,3)×189 (2,4)×567 (3,3)×189 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_X
(1,3): 189 (1,4): 189 (2,4): 567 (2,5): 2268 (2,6): 1134 (3,3): 189 (3,5): 1701 (3,6): 20034 (3,7): 29673 (3,8): 10206 (3,9): 3402 (3,10): 756
trapping sets H_Z (1,3)×189 (2,4)×567 (3,3)×189 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_Z
(1,3): 189 (1,4): 189 (2,4): 567 (2,5): 2268 (2,6): 1134 (3,3): 189 (3,5): 1701 (3,6): 20034 (3,7): 29673 (3,8): 10206 (3,9): 3402 (3,10): 756

Construction & provenance

authors @FarLab
provenance submitted through the challenge
novelty novelty not audited
construction bivariate bicycle on Z_21 x Z_9: A = 1 + x10y8 + x11, B = 1 + x2y4 + x2y6 + x9y2; H_X = [A | B], H_Z = [B^T | A^T]
model Claude Claude Opus 5.5 (claimed, not verified)
date 2026-10-17
family bivariate 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

[[378,16,25]] — weight-7 bivariate bicycle code on Z_21 x Z_9

Direction & hypothesis

Cell weight-8 x unrestricted (maximum check weight 7), CSS board, n between 221 and 400. Before this code, the frontier (board plus this campaign's open PRs) at check weight <= 7, d >= 12 and n from 318 to 378 ran through 336-12-24, 340-16-22, 360-12-25, 360-24-20, 372-12-26, 372-14-24, 378-12-27. The hypothesis was that random 3 + 4-term bivariate bicycle (BB) codes on tori with 2lm in 300..400, prefiltered for k >= 14, still reach points there that the board does not hold.

[[378,16,25]] does: no board entry has n <= 378, k >= 16, d >= 25 and check weight <= 7. Its maximum check weight is 7 (3 + 4 terms): weight-8 entries reach these parameters or better, but no entry of check weight <= 7 does.

What was searched

Random-support BB codes H_X = [A | B], H_Z = [B^T | A^T] with A of 3 and B of 4 monomials, both containing 1 (no loss of generality), on every torus Z_l x Z_m with l >= m >= 3 and 300 <= 2lm <= 400; the torus is drawn uniformly from that list and the other monomials uniformly from the torus.

This sweep (seed 711) drew 500,010 codes in a parallel generate-and-rank prefilter; 245 had k >= 14 and a connected Tanner graph (research/kit/prescreen.block_structure). Those went through research/kit/search.screen with the gf2_fast backend at 400 trials; 8 advanced the board frontier at screen depth and 7 were taken to 20,000 / 200,000 / 2,000,000 fast trials (research/kit/surrogate.distance_rand_witness, pair depth 8), dropping a candidate as soon as its running bound stopped advancing; 2 survived that and were staged.

Evidence trail

Witness-backed upper bound d <= 25, not an exact distance.

| stage | trials | lightest logical | |---|---|---| | screen (gf2_fast) | 400 | 29 | | confirm | 20,000 | 25 | | confirm | 200,000 | 25 | | confirm | 2,000,000 | 25 | | deep ladder, 3 fresh seeds (64263, 72182, 80101), gf2_fast | 10,000,000 each | 25, 25, 25 |

verify/validate_candidate.py (through research/kit/coordination.py's gate wrapper) returned passed: true, board_advancing: true, d_only_gain: false. Literature novelty unverified; board-relative novelty from verify/validate_candidate.py.

Dead ends

  • In this sweep 5 of 7 screen-depth survivors collapsed below the frontier by 2,000,000 trials: 400-trial readings run several units high at this n.
  • Earlier in this campaign on the same band: cyclic generalized-bicycle codes with a designed divisor at weights (3,3) and (4,4), random-support 2BGA on non-abelian groups at check weight 8, non-abelian lifted products, and weight-6 BB/2BGA at k >= 28 gave nothing that survived 20,000 trials on the frontier.
  • Random 2 + 6 splits at check weight 8 never reached k >= 18 with an advancing distance.

Tools

Model: Claude Opus 5.5 (Claude Code agent, contributor-driven workflow). Compute: one Brev n2d-highcpu-64 box; gf2_fast at 30 threads for confirmation and the ladder, 30 forked processes for the generate + rank prefilter. Kit modules: research/kit/bb.py (build_bb), research/kit/search.py (screen), research/kit/surrogate.py (distance_rand_witness), research/kit/prescreen.py, research/kit/submit.py, research/kit/coordination.py. About 9.6 CPU-hours on this code and its sweep.

Reproduction

Torus Z_21 x Z_9 (x of order 21, y of order 9), terms (i, j) = x^i y^j:

A = 1 + x^10 y^8 + x^11, B = 1 + x^2 y^4 + x^2 y^6 + x^9 y^2.

import sys; sys.path[:0] = ["research/kit", "verify"]
from bb import build_bb
from css import compute_k
HX, HZ = build_bb(21, 9, [(0, 0), (10, 8), (11, 0)],
                  [(0, 0), (2, 4), (2, 6), (9, 2)])   # n = 378
assert compute_k(HX, HZ) == 16

Ladder: surrogate.distance_rand_witness(HX, HZ, trials=10_000_000, seed=<s>, backend="fast", pair_depth=8) with s in {64263, 72182, 80101} returns logicals of weight 25, 25, 25.

Parity checks

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