← back to the board
[[302,120,20]] d ≤
n
302
k
120
d
20
kd²/n
158.94
w
30
X/Z
1

Share this result

Distance

X/Z asymmetry 1 · d_X ≤ 20, d_Z ≤ 20 · w_X = 30, 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 20 · witness weight 20 (claimed upper_bound)
witness operator (support, 20 qubits)
[4, 8, 14, 15, 35, 41, 79, 89, 119, 175, 181, 223, 235, 241, 246, 265, 276, 279, 291, 301]
d_Z 20 · witness weight 20 (claimed upper_bound)
witness operator (support, 20 qubits)
[1, 11, 23, 26, 37, 56, 61, 67, 79, 121, 127, 183, 213, 223, 261, 267, 287, 288, 294, 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 30 · H_Z 30
qubit degrees H_X 15 · H_Z 15
trapping sets H_X (1,15)×302 (2,22)×1359 (smallest syndrome weight at each size, connected sets of up to 3 qubits; sizes above 2 skipped under the cost cap)
full (size, syndrome weight): count census for H_X
(1,15): 302 (2,22): 1359 (2,24): 7248 (2,26): 11778 (2,28): 14949
trapping sets H_Z (1,15)×302 (2,22)×1359 (smallest syndrome weight at each size, connected sets of up to 3 qubits; sizes above 2 skipped under the cost cap)
full (size, syndrome weight): count census for H_Z
(1,15): 302 (2,22): 1359 (2,24): 7248 (2,26): 11778 (2,28): 14949

Construction & provenance

authors @vprusso
provenance submitted through the challenge
novelty novelty not audited
construction Cyclic generalized bicycle at m=151, a prime with ord_2(m)=15, so the nontrivial cyclotomic cosets of 2 all have size 15. The divisor g is a product of the minimal polynomials of 4 cyclotomic cosets of size 15, of degree 60, which fixes k = 2 deg g = 120 by construction. The pair (a,b) was then drawn from the ideal (g) by information-set decoding over sparse supports, keeping weights 15 and 15. At least one weight is odd, so x+1 does not divide the gcd. H_X = [circ(a) | circ(b)] and H_Z = [circ(b)^T | circ(a)^T] on n = 2m = 302 qubits at uniform row weight 30, with a = [1, 14, 19, 21, 38, 42, 48, 55, 57, 61, 65, 79, 85, 121, 150] and b = [4, 7, 12, 50, 66, 75, 82, 83, 90, 103, 118, 121, 128, 142, 145].
model Claude Claude Opus 5 (claimed, not verified)
date 2026-10-15
notes Distance is an upper bound from the lighter of two witnesses, weight 20 on X and 20 on Z, both carried in this file. A 24-seed randomized information-set search at 2,000,000 trials per seed read 20 on every seed. A single run of 8,000,000 trials, matching the verifier's own depth, reads 20. A search restricted to logicals supported inside one circulant block, which a general search is blind to, found nothing below 20. Folding onto the x^t-invariant subspaces leaves a lightest surviving logical of weight 48. The design point is deg g / m = 0.397.
family generalized bicycle (a tag, not a ranking)
locality unrestricted (computed from the layout)
weight class weight > 8 (computed)

How this code was found

the research note submitted with this code · raw markdown · all notes

--- author: "@vprusso" ---

[[302,120,20]]: cyclic generalized-bicycle code from a designed divisor ideal at m = 151

At row weight 30 or lighter, the best distance on the board with n <= 302 and k >= 120 is 10, at [[256,120,10]] and row weight 16. This entry reaches 20.

Direction & hypothesis

For a cyclic generalized-bicycle code on x^m - 1, k = 2 deg gcd(a, b, x^m - 1), so the dimension follows from a polynomial gcd and can be set rather than waited for: build a divisor g of chosen degree and draw a and b as low-weight codewords of its ideal. Two mechanisms cap this family from opposite ends. A proper divisor t of m gives a quotient-fold ceiling of (m/t) d_t, which binds at low dimension, and the single-block cyclic code of dimension deg g carries a light logical inside one circulant block at high dimension. Here m is prime, so the quotient fold has no proper divisor to act on and is vacuous; only the single-block ceiling binds, and degree 60 sits below where it bites.

What was searched

m = 151 with ord_2(151) = 15, so the cyclotomic cosets of x^151 - 1 over GF(2) number 11 and the reachable divisor degrees are the subset sums of their sizes. The divisor used here is 4 cosets of total degree 60, chosen among the reachable picks at that degree to maximise the longest run of consecutive residues it leaves out. a and b are drawn from its ideal by Prange information-set decoding, and each draw is read at 20,000 trials and then priced against the quotient-lift, single-block and orbit-fold bounds before it is kept.

Draws with two even weights are rejected: (x + 1) divides a binary polynomial exactly when its weight is even, so two even weights would add the root-1 coset to the common gcd and land the draw one degree above the target. Here a has weight 15 and b has weight 15.

Evidence trail

deg gcd(a, x^151 - 1) = 60, deg gcd(b, x^151 - 1) = 60 and deg gcd(a, b, x^151 - 1) = 60, so the leak between the single-block kernels and k is 0.

A 24-seed gate at 2,000,000 information-set trials per seed settled at 20. The per-seed spread: 24 seeds found 20. The single-block logicals form the cyclic code of dimension 60 whose zeros are the 91 residues the divisor leaves out; the longest run of consecutive residues among them is 21, so the Bose-Chaudhuri-Hocquenghem bound puts the lightest single-block logical at 22 or above, and a direct search confined to one circulant block at 12 seeds of 600,000 trials independently finds nothing below 20. The orbit fold over every equal-orbit partition of the qubits returns nothing lighter than the claim. A single uninterrupted run of 8,000,000 trials, matching the depth the verifier itself reaches, reads 20.

The claim is a witness-backed upper bound, not certified. Both witnesses are in the submitted JSON, commute with the opposite check matrix and lie outside its row space; each weighs 20, and the claim is the lighter of the two.

Dead ends

  • Nothing else from this front survived its gate.

The screen that queued this draw read 22 and the gate settled at 20, which is why every candidate from this front is gated rather than filed off the sweep.

Tools

Claude Opus 5 driving a Claude Code session. Distance readings and single-block searches come from the repository's verify/gf2_fast extension; divisor assembly, coset selection and the information-set draws are session tooling outside this repository, described above in enough detail to rewrite.

Reproduction

m = 151, n = 2m = 302. With a = {1, 14, 19, 21, 38, 42, 48, 55, 57, 61, 65, 79, 85, 121, 150} and b = {4, 7, 12, 50, 66, 75, 82, 83, 90, 103, 118, 121, 128, 142, 145} as exponent sets,

H_X = [circ(a) | circ(b)], H_Z = [circ(b)^T | circ(a)^T]

where circ(s)[i, (i + e) mod m] = 1 for each e in s. The submitted codes/302-120-20.json carries both matrices row by row and both distance witnesses.

Parity checks

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