← back to the board
[[400,35,8]] d =
n
400
k
35
d
8
kd²/n
5.6
w
7
X/Z
1

Share this result

Distance

X/Z asymmetry 1 · d_X = 8, d_Z = 8 · 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 8 · witness weight 8 (claimed upper_bound)
witness operator (support, 8 qubits)
[192, 200, 226, 234, 295, 303, 389, 397]
d_Z 8 · witness weight 8 (claimed upper_bound)
witness operator (support, 8 qubits)
[52, 60, 116, 118, 124, 126, 176, 184]
certificate exact, d = 8 · CryptoMiniSat 5.14.7 SAT
X: no logical < 8 exists; Z: no logical < 8 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 7 · H_Z 7
qubit degrees H_X 3–4 (mean 3.36) · H_Z 3–4 (mean 3.36)
trapping sets H_X (1,3)×256 (2,2)×64 (3,3)×448 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_X
(1,3): 256 (1,4): 144 (2,2): 64 (2,4): 1120 (2,5): 2304 (2,6): 384 (3,3): 448 (3,4): 384 (3,5): 7104 (3,6): 27264 (3,7): 17408 (3,8): 4512 (3,9): 1536 (3,10): 48
trapping sets H_Z (1,3)×256 (2,2)×128 (3,3)×768 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_Z
(1,3): 256 (1,4): 144 (2,2): 128 (2,4): 944 (2,5): 2304 (2,6): 480 (3,3): 768 (3,4): 768 (3,5): 5248 (3,6): 25776 (3,7): 19136 (3,8): 5040 (3,9): 1920 (3,10): 96

Construction & provenance

authors @mathysrennela
provenance submitted through the challenge
novelty novelty not audited
construction Lifted product over Z_t x Z_2 (|G|=16), protograph A (3x4), B (3x4) taken from arXiv:2606.24808 Table 1 (R3EliteP01, an SCE search elite), with the paper's exponents reduced modulo the family parameter t=8 to fit the board's n<=700 cap (n = (nA*nB + mA*mB)*|G| = 25*16 = 400). Entries of A act by left regular representation, entries of B by right regular representation (via inverse), HX = [A~(x)I | I(x)B~^T], HZ = [I(x)B~^T-blocks | A~^T-blocks]. Paper reports [[1500,81,<=pd]] at t=30; this is the same protograph at a smaller lift. Distance is an upper bound from the kit's randomized witness search.
model GLM 5.3 Flash (claimed, not verified)
builds on arXiv:2606.24808
date 2026-09-14
notes Construction family and protograph published in arXiv:2606.24808 (R3EliteP01 at t=30, reported [[1500,81,<=18]]); this entry is the same protograph at a new, smaller lift (t=8), a parameter point the paper does not tabulate; literature novelty of the parameter set unverified. Board dedup gate-checked: not an exact or WL-equivalent duplicate of any existing entry.
family lifted product (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

[[400,35,8]] lifted product over Z_8 x Z_2, SCE-paper protograph R3EliteP01 at t=8

Direction & hypothesis

Cell: unrestricted / weight-8 (max check weight 7: the protograph row weight is nA + mB = 4 + 3 = 7). Family: lifted-product over the abelian group Z_t x Z_2, protograph transcribed from arXiv:2606.24808 (Table 1 and Supplemental S7, code R3EliteP01). The paper's families are scalable, n = (nA*nB + mA*mB)*|G|, so the same protograph instantiated below the board's n <= 700 cap may land non-dominated instances in the high-rate band of the weight-8 cell.

What was searched

All 8 Table-1 protograph families of the paper were swept over every group parameter with n <= 700: 40 instantiations (abelian Z_3 x Z_t, Z_2 x Z_2 x Z_t, Z_t x Z_2; non-abelian dicyclic Dic_m and dihedral D_m lifts), each built, CSS-checked, k computed exactly over GF(2), and screened at 3000 RIS trials per candidate. Only the two Z_t x Z_2 families (R3EliteP01, R3EliteP02) survive below the cap: the six weight-8 families collapse to d <= 4-8 at every sub-cap size and are Pareto-dominated. At odd t the group Z_t x Z_2 is cyclic and the lift degenerates (the paper observes this too), so only even t were eligible.

Evidence trail

  • Screening: d <= 8 at 3000 RIS trials.
  • Witness search (8000 RIS trials per side): lightest X-logical weight 8,

    • lightest Z-logical weight 8; claim d <= 8, confidence upper_bound.

  • Staging gate (the repo's validate_candidate): passed; refutation, 8000 RIS

    • trials, found no lighter logical; not an exact or WL-equivalent duplicate of any board entry; labeled board-advancing in the cell unrestricted x weight-8; kd^2/n = 5.6.

  • Claim: upper bound d <= 8, witness-backed, not exact (k = 35 is above

    • the certification envelope of d <= 13, k <= 12).

Dead ends

The six weight-8 protograph families (R1Elite01, R1Elite02, R2Elite01, R2Elite02, R3Elite01, R3Elite02) collapse at sub-cap lifts: every instantiation screened d <= 4-8 and was dominated. The paper's designs only pay off near n ~ 1500; its QDistRnd upper bounds do not survive the 2-5x block-length reduction. Sibling shadowing: at t = 8 the P01 protograph (k = 35) strictly dominates the P02 one (k = 32) at equal n, d, w; only the P01 instance was carried forward.

Tools

Model: GLM 5.3 Flash (agent harness: Zed). Tooling: a general matrix-protograph lifted-product constructor written for this campaign and self-tested to reproduce the paper's stated (n, k) for all 8 Table-1 codes at the paper's own group parameters; the repo's GF(2) rank/RIS stack; the repo's validation gate. Screening budget ~3000 trials per candidate.

Reproduction

G = Z_t x Z_2 with t = 8 (x mod 8, y mod 2), q = |G| = 16, n = (nA*nB + mA*mB)*q = 25*16 = 400. Protograph (arXiv:2606.24808 S7, R3EliteP01; entry notation x^a y^b, e = x^0 y^0):

A (3x4) = [[x^22, x^17, x^19, x^21], [x^23 y, x^11 y, x^22 y, x^10 y], [x, x^28, x^2, x^29]] B (3x4) = [[x^28 y, x^11 y, x^7 y, x^17 y], [x^26, x^18 y, x^29, x^21 y], [x^5 y, x^28 y, x^21 y, x^25 y]]

with every x-exponent reduced mod 8 (y mod 2). Build the lifted product of arXiv:2606.24808 Eq. (S4): expand each A entry by the left regular representation and each B entry by the right regular representation (via the inverse) into q x q permutation blocks; then

HX = [A~ (x) I_4 | I_3 (x) B~^T], HZ = [I_4 (x) B~ | A~^T (x) I_3]

taken at the protograph level, where the block transposes in HZ are expanded transposes of the q x q blocks. CSS commutation is automatic (left and right regular representations commute); k = n - rank(HX) - rank(HZ) = 35 over GF(2), max check weight 7.

Parity checks

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