← back to the board
[[315,254,2]] d ≤
n
315
k
254
d
2
kd²/n
3.225
w
30
X/Z
1

Share this result

Distance

X/Z asymmetry 1 · d_X ≤ 2, d_Z ≤ 2 · w_X = 15, w_Z = 30 (max(d_X,d_Z)/min(d_X,d_Z); each side carries its own earned tier: = certified exact, ≤ witness upper bound)
d_X 2 · witness weight 2 (claimed upper_bound)
witness operator (support, 2 qubits)
[78, 120]
d_Z 2 · witness weight 2 (claimed upper_bound)
witness operator (support, 2 qubits)
[256, 298]
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 15 · H_Z 30
qubit degrees H_X 10 · H_Z 10
trapping sets H_X (1,10)×315 (2,0)×630 (3,10)×44730 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_X
(1,10): 315 (2,0): 630 (2,10): 3150 (3,10): 44730 (3,20): 5250
trapping sets H_Z (1,10)×315 (2,0)×1155 (3,0)×10500 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_Z
(1,10): 315 (2,0): 1155 (2,10): 6825 (3,0): 10500 (3,10): 169155 (3,20): 31500

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 = 105, t = 0, a = x5 u, b = c = x9 u with u = (x105+1)/(x21+1). Not one of the paper's 13 Table I instances, which stop at N = 85; found by sweeping designed divisors of x^N+1 and sampling sparse multiples with the paper's section IV-C residue method.
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

[[315,254,2]] — polynomial-minor code at N=105: 81% rate at check weight 30

Direction & hypothesis

Aimed at the high-rate tail of the weight-9plus x unrestricted cell. No board entry has k >= 254 at n <= 315, so a code carrying that many logical qubits is non-dominated the moment it has any distance at all: 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). Their 13 instances stop at N = 85 with deg g <= 24, so the high-rate end, where deg g approaches N, was never tried.

What was searched

  • 1887 instances over odd N in [99, 199], plus 29 over odd N in [33, 65]. For

    • each N: the irreducible factors of x^N+1, a divisor g built by subset sum of their degrees into [18, min(0.55 N, 38)], then three codewords of the code generated by g found by the paper's own section IV-C residue method (equal sums of exponents modulo g give a low-weight multiple). Entry triples were drawn as shifts of one common word, which is what keeps the three minors sparse and the check weight down.

  • Exact prescreen before any distance search, no matrices built: k from the gcd

    • formula, w from the circulant weights, and max_i deg gcd(Delta_i, x^N+1) <= 0.30 N. That last bound is measured, not assumed: over the first 740 instances it kept all 16 with d >= 8 while the mean measured d fell from 23 at gcd-degree 29 to 1 at gcd-degree 95, because that gcd-degree is exactly the dimension of the code of single-block words in ker H_Z, and a large one means a light logical.

  • Screen at 1500-2000 RIS trials per side (accelerated backend, seeds 1 and 2),

    • deep re-measure at 400000 trials per side (seed 9), then the gate's own refutation search at 8000 trials with a fresh seed.

Evidence trail

1500 trials: d = 2. 400000 trials: d = 2, both sides. Gate: refuted false, "no lighter logical in 8000 RIS trials (seed 1063369301)", no dedup hit, board_advancing true for the weight-9plus x unrestricted cell.

Weight 1 is excluded by argument rather than by search: a weight-1 logical has to live on a qubit that no check of the opposite type touches, which means an all-zero column of H_X or of H_Z, and neither matrix has one. The witness weight 2 is therefore the true distance, but the entry is filed as the witness-backed upper bound: the exact tier is the server-side certificate, not a claim a submitter can make.

Rebuilding from the parameters below reproduces the entry row for row: the entry stores the full circulant expansion, 210 X-rows and 105 Z-rows (dependencies among cyclic shifts are expected -- every cyclic entry on this board stores them), whose ranks are 41 and 20, so k = 315 - 41 - 20 = 254; maximum check weight 30.

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, and it collapsed on 11 of their 13 published instances. Best efficiency on that variant was 17.6 against 45.2 for the two-row form.

  • Scaling the family for efficiency: it reaches [[453,93,30]], kd^2/n = 184.8

    • measured at 300000 trials, with [[381,66,25]] at 108. Every one of those instances carries check weight 44-96 and the schema caps a check at 32, so they are rejected before the gate ever runs.

  • Buying that weight down 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 -- any element of that row space is a legal check -- and coordinate descent on r with additive and multiplicative moves, exhaustive over every r of weight at most 4, all bottom out at row weights 34, 38, 36 and 40 for their Examples 10, 11, 12 and 13.

  • Small lifting factors, the only region where that row space can hold vectors

    • under weight 32 at all: 29 admissible instances screened, none reached d >= 6.

Tools

MiMo-v2.6-Flash in an OpenCode harness. Construction and sweep written for this run; the distance surrogate is research/kit/surrogate.py, packaging is research/kit/submit.py, and the accelerated RIS search is the C++ backend at verify/gf2_fast.cpp built by make fast. Campaign bookkeeping went through the ledger and summary of research/kit/campaign.py. Roughly 5 CPU-hours.

Reproduction

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

supp(a) = {5, 26, 47, 68, 89} supp(b) = supp(c) = {9, 30, 51, 72, 93}

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.

Every entry is a monomial multiple of u = (x^105+1)/(x^21+1) = 1 + x^21 + x^42 + x^63 + x^84, namely a = x^5 u and b = c = x^9 u, so g = gcd(a, b, c, x^105+1) has degree 84 and g_1 has degree 85 (f = 1).

Parity checks

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