← back to the board
[[345,278,2]] d ≤
n
345
k
278
d
2
kd²/n
3.223
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)
[265, 334]
d_Z 2 · witness weight 2 (claimed upper_bound)
witness operator (support, 2 qubits)
[287, 333]
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)×345 (2,0)×690 (3,10)×48990 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_X
(1,10): 345 (2,0): 690 (2,10): 3450 (3,10): 48990 (3,20): 5750
trapping sets H_Z (1,10)×345 (2,0)×690 (3,0)×8625 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_Z
(1,10): 345 (2,0): 690 (2,10): 8625 (3,0): 8625 (3,10): 224940 (3,20): 57500

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 = 115, t = 0, a = x22 u, b = x19 u, c = x3 u with u = (x115+1)/(x23+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

[[345,278,2]] — polynomial-minor code at N=115: 81% rate at check weight 30

Direction & hypothesis

Same target as its companion entry [[315,254,2]], one lifting factor up: the high-rate tail of the weight-9plus x unrestricted cell. No board entry has k >= 278 at n <= 345, so a code carrying that many logical qubits is non-dominated in the cell 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 then 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 enough for the checks to stay under the schema's cap.

  • 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 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 -- that gcd-degree is the dimension of the code of single-block words in ker H_Z, so a large one is a light logical waiting to be found.

  • 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 1970851097)", 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, 230 X-rows and 115 Z-rows (dependencies among cyclic shifts are expected -- every cyclic entry on this board stores them), whose ranks are 45 and 22, so k = 345 - 45 - 22 = 278; 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 instead: 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 = 115 and t = 0:

supp(a) = {22, 45, 68, 91, 114} supp(b) = {19, 42, 65, 88, 111} supp(c) = {3, 26, 49, 72, 95}

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^115+1)/(x^23+1) = 1 + x^23 + x^46 + x^69 + x^92, namely a = x^22 u, b = x^19 u and c = x^3 u, so g = gcd(a, b, c, x^115+1) has degree 92 and g_1 has degree 93 (f = 1).

Parity checks

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