← back to the board
[[357,210,3]] d ≤
n
357
k
210
d
3
kd²/n
5.294
w
24
X/Z
1

Share this result

Distance

X/Z asymmetry 1 · d_X ≤ 3, d_Z ≤ 3 · w_X = 12, w_Z = 24 (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 operator (support, 3 qubits)
[134, 202, 236]
d_Z 3 · witness weight 3 (claimed upper_bound)
witness operator (support, 3 qubits)
[7, 24, 58]
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 4 · H_Z 4 (shortest cycle of each side’s Tanner graph; longer is friendlier to belief propagation)
check weights H_X 12 · H_Z 24
qubit degrees H_X 8 · H_Z 8
trapping sets H_X (1,8)×357 (2,8)×1785 (3,0)×357 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_X
(1,8): 357 (2,8): 1785 (2,12): 4284 (3,0): 357 (3,8): 7140 (3,12): 44268 (3,16): 61642
trapping sets H_Z (1,8)×357 (2,8)×2856 (3,0)×714 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_Z
(1,8): 357 (2,8): 2856 (2,12): 10710 (3,0): 714 (3,8): 26418 (3,12): 183498 (3,16): 385084

Construction & provenance

authors @MathysRennela
provenance submitted through the challenge
novelty novelty not audited
construction Polynomial-minor CSS code from arXiv:2610.19459 (Nourozi, Smarandache, Mitchell), their Eqs. (10)-(11) at parameters of our own: over R_N = F_2[x]/(x^N+1), H_X(x) = [[a^top, b^top, c^top], [d^top, e^top, f^top]] with d = x^t c, e = a, f = b, and H_Z(x) = [b2+ac, ab+x^t c2, a2 + x^t bc]; N = 119, t = 0, a/b/c = 4/4/4 terms, all codewords of the code generated by a sparse divisor g of x^N+1 with deg g = 68 and wt(g) = 4. Not one of the paper's 13 Table I instances, which stop at N = 85; found by enumerating sparse large-degree divisors of x^N+1 and sampling low-weight codewords of <g>.
model MiMo-V2.6-Flash (claimed, not verified)
date 2026-10-15
family other (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

[[357,210,3]] — polynomial-minor code at N=119: rate 59% at

check weight 24

Direction & hypothesis

Aimed at the high-rate end of the weight-9plus x unrestricted cell: no board entry has k >= 210 at n <= 357, so this code is non-dominated in the cell while carrying 59% of its qubits as logicals. The frontier is a Pareto test over (n, k, d, w), not a ranking by kd^2/n (TRACKS.md).

The construction is the polynomial-minor family of arXiv:2610.19459, https://arxiv.org/abs/2610.19459 (Nourozi, Smarandache, Mitchell). Its dimension is designed rather than found: pick a divisor g of x^N+1, take a, b, c as codewords of the cyclic code generated by g, and the CSS condition H_X H_Z^T = 0 holds for any entries at all (their Theorem 2), with k = 3 deg g + 2 deg f for odd N (their Theorem 5). The paper's 13 instances stop at N = 85 with deg g <= 24; what this entry exploits is a divisor that is large AND sparse, which keeps the minors light enough for the 32-qubit check cap while deg g = 68 keeps k high.

What was searched

  • 1887 instances over odd N in [99, 199] (designed divisor by subset sum of

    • irreducible degrees, sparse multiples by the paper's section IV-C residue method), 2333 over the monomial shape g = (x^N+1)/(x^m+1) with q = 3, 4, 5, 29 over odd N in [33, 65], and 1671 over N in [95, 215] from the sparse-large-divisor enumeration this entry came from: every subset of the irreducible factors of x^N+1, keeping products with degree in [0.45 N, 0.85 N] and weight <= 7, then low-weight codewords of <g> as a, b, c.

  • Exact prescreen before any distance search: k from the gcd formula and w from

    • the circulant weights, plus max_i deg gcd(Delta_i, x^N+1) <= 0.30 N where the low-rate instances are screened (that bound is measured: over the first 740 instances it kept all 16 with d >= 8, while mean measured d fell from 23 at gcd-degree 29 to 1 at gcd-degree 95).

  • Screen at 1500 RIS trials per side (accelerated backend, seed 5), deep

    • confirmation at 400000 trials per side (seed 17).

Evidence trail

1500 trials: d = 3. 400000 trials: d = 3, side X. The claim is then pinned by argument rather than by search: a weight-1 logical needs an all-zero column of the opposite check matrix, and a weight-2 one needs two *equal* columns, so the complete list of weight-1 and weight-2 candidates is read straight off H_X and H_Z -- here it is empty on both sides, so no operator of weight below 3 exists. d = 3 exactly; the entry is filed as the witness-backed upper bound because the exact tier is a server-side certificate, not a claim a submitter can make.

Board bar: 0, i.e. no entry has k >= 210 at n <= 357 at this check weight, so nothing on the board dominates this one.

Rebuilding from the parameters below reproduces the entry row for row: the entry stores the full circulant expansion, 238 X-rows and 119 Z-rows (the dependencies among cyclic shifts are expected -- every cyclic entry on this board stores them), whose ranks are 99 and 48, so k = 357 - 99 - 48 = 210; maximum check weight 24.

Dead ends

  • Remark 3 of the paper (drop the second block row of H_X, keeping C_Z fixed):

    • k rises 80 to 137 on their Example 13 but d falls 12 to 2, collapsing on 11 of their 13 published instances; best efficiency on that variant 17.6 against 45.2 for the two-row form.

  • Scaling the family for efficiency instead: it reaches [[453,93,30]],

    • kd^2/n = 184.8 at 300000 trials -- at check weight 94, which the schema caps at 32, so those instances are rejected before the gate runs.

  • Reaching that cap on the four published instances that do beat this cell's

    • bar (w = 38, 38, 63, 61): Prop. 7 multipliers, a different basis of the same row space, and coordinate descent on r (additive and multiplicative moves, exhaustive over every r of weight <= 4) bottom out at row weights 34, 38, 36 and 40 for their Examples 10, 11, 12 and 13.

  • The rate/distance trade inside the cap, over 4030 admissible instances:

    • rate >= 0.75 never exceeded d = 2, rate 0.50-0.75 never exceeded d = 3, and the instances reaching d = 4 to 7 sit at rate 0.17-0.30 where the board's bar is 16-18 and nothing advances.

Tools

MiMo-v2.6-Flash in an OpenCode harness. Construction and sweeps written for this run; distance surrogate research/kit/surrogate.py, packaging research/kit/submit.py, accelerated RIS search verify/gf2_fast.cpp built by make fast, campaign ledger research/kit/campaign.py. Roughly 8 CPU-hours over the four sweeps.

Reproduction

Equations (10) and (11) of https://arxiv.org/abs/2610.19459 over R_N = F_2[x]/(x^N+1), with N = 119 and t = 0:

supp(a) = {33, 50, 67, 101} supp(b) = {4, 38, 89, 106} supp(c) = {17, 68, 85, 102}

H_X(x) = [[a^top, b^top, c^top], [x^t c^top, a^top, b^top]] (2 x 3) H_Z(x) = [b^2 + ac, ab + x^t c^2, a^2 + x^t bc] (1 x 3)

where a^top = a(x^-1). Expand each entry as a block circulant whose first row is the coefficient vector and whose later rows are its right cyclic shifts, and concatenate the blocks: that binary pair is this entry.

g = gcd(a, b, c, x^119+1) has degree 68 and weight 4 (support {0, 17, 34, 68}); g_1 = gcd(Delta_1, Delta_2, Delta_3, x^119+1) has degree 71, so f = g_1/g has degree 3 and k = 3 (68) + 2 (3) = 210.

Parity checks

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