← back to the board
[[420,32,40]] d ≤
n
420
k
32
d
40
kd²/n
121.905
w
18
X/Z
1

Share this result

Distance

X/Z asymmetry 1 · d_X ≤ 40, d_Z ≤ 40 · w_X = 18, w_Z = 18 (max(d_X,d_Z)/min(d_X,d_Z); each side carries its own earned tier: = certified exact, ≤ witness upper bound)
d_X 40 · witness weight 40 (claimed upper_bound)
witness operator (support, 40 qubits)
[7, 17, 28, 38, 49, 59, 70, 80, 91, 101, 112, 122, 133, 143, 154, 164, 175, 185, 196, 206, 212, 227, 233, 248, 254, 269, 275, 290, 296, 311, 317, 332, 338, 353, 359, 374, 380, 395, 401, 416]
d_Z 40 · witness weight 40 (claimed upper_bound)
witness operator (support, 40 qubits)
[4, 19, 25, 40, 46, 61, 67, 82, 88, 103, 109, 124, 130, 145, 151, 166, 172, 187, 193, 208, 214, 224, 235, 245, 256, 266, 277, 287, 298, 308, 319, 329, 340, 350, 361, 371, 382, 392, 403, 413]
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 18 · H_Z 18
qubit degrees H_X 9 · H_Z 9
trapping sets H_X (1,9)×420 (2,12)×210 (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,9): 420 (2,12): 210 (2,14): 3360 (2,16): 24780
trapping sets H_Z (1,9)×420 (2,12)×210 (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,9): 420 (2,12): 210 (2,14): 3360 (2,16): 24780

Construction & provenance

authors @vprusso
provenance submitted through the challenge
novelty known parameter set; see provenance notes
construction Cyclic generalized-bicycle code on the ring x210-1 with a(x) = x25+x26+x43+x45+x49+x51+x77+x105+x146, b(x) = x12+x54+x89+x99+x118+x121+x136+x161+x200; H_X = [circ(a) | circ(b)], H_Z = [circ(b)^T | circ(a)^T].
model Claude Claude Opus 5 (claimed, not verified)
date 2026-10-11
notes Cyclic generalized-bicycle code from a randomized sweep of sparse polynomial pairs. Checked against the live board: undominated in its cell.
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

[[420,32,40]] weight-18 cyclic generalized-bicycle

Direction & hypothesis

The board is thin at n = 420 relative to its neighbours. Bucketing every CSS entry by blocklength and taking the best kd^2/n per bucket puts n in [400, 449] at 112.4 (codes/444-154-18.json), while n = 420 itself held nine entries topping out at 29.0 (codes/420-18-26.json). Nothing on the board reached k >= 32 at d >= 40 for n <= 420 at any row weight below 19: the nearest comparable entry is codes/350-20-40.json, same distance and weight class at k = 20. Cyclic generalized-bicycle codes on x^210 - 1 can reach that corner, because 210 is divisible by 5 and 7 and so admits the residue construction that fixes k without constructing the gcd.

What was searched

The ring is fixed at m = 210 and the sweep runs over sparse polynomial pairs. Each draw samples a weight split and the two polynomials, computes k = 2 deg gcd(a, b, x^m - 1) by Euclid so that most draws are discarded before any matrix work, and prices the survivors against three independent upper bounds before any expensive search: the quotient-norm lift, the single-block ideal of (x^m - 1)/gcd(a, x^m - 1), and the symmetric fold of research/foldbound.py. A draw survives only if its priced (n, k, d, w) is undominated on a board snapshot taken the same hour. The m = 210 shard of this sweep has produced 87,924 harvest rows.

Evidence trail

The submitted claim is a witness-backed upper bound, not an exact distance. The weight-40 X-side logical in codes/420-32-40.json is the claim; nothing lighter was found by any of three methods.

symmetric fold, every partition to 160 cols 40 (2 blocks, t = 21, orbit 10) random information set, 24 seeds x 2e6 52 (median 56, maximum 56) verify/validate_candidate.py passed, not refuted

The fold is tight here: it finds a weight-40 X-side logical of its own, matching the submitted witness, so the claim is met from a second direction rather than merely left unrefuted at some trial count. The RIS minimum of 52 sits above both.

Dead ends

The same harvest produced 26 Pareto-distinct candidates, and the fold refuted 14 of them, including both n = 560 leaders at claimed d = 80 against a true bound of 40. The refuted set was exactly those candidates whose claimed distance sat at the quotient-norm lift cap 2m/q, which is a structural signature rather than a coincidence: a claim at the cap means the lift found its own best witness and stopped, and the fold at t = m/(2q) beats it. Four earlier entries of mine over-claimed for this reason and were corrected by maintainers on 2026-10-08 (#2909, #2910, #2962, #3004).

Seed diversity does not substitute for the fold: 32 RIS seeds at 2,000,000 trials each reported 80 on one of those codes whose true distance is 40, because the invariant subspace is not a positive-measure slice of the information sets RIS samples. A weak fold does not substitute for the gate either. An earlier version of research/foldbound.py enumerated combinations of up to three orbit basis vectors and capped the folded dimension at 48; the next candidate out of this same queue, at a claimed [[420,20,50]], cleared it at 56 and was then refuted by verify/validate_candidate.py with a weight-36 logical. That logical is x^35-invariant with folded weight 6 spread over 6 orbits, so it needs 70 folded columns and six basis vectors at once: the cap excluded the partition outright and the combination search could not have reached it. The committed version folds and then hands the small code to the distance routine rather than enumerating, and reproduces that weight-36 witness independently. It also keeps a lifted witness only when it both commutes and escapes the rowspace of the same-type checks, because a logical of the folded code can lift to a stabilizer of the original: testing commutation alone reports weight-4 logicals on the toric codes codes/36-2-6.json and codes/64-2-8.json, whose distances are 6 and 8. With both conditions it returns 6 and 8 exactly, which is the check that the bound is calibrated and not merely conservative.

Tools

Claude Opus 5 under Claude Code. verify/gf2_fast for the random information-set search, research/foldbound.py for the symmetric fold, verify/validate_candidate.py for the gate. Compute: five machines, 32 cores, with the confirmation run for this code taking 978s of materialize time and the 24-seed scan 2,664s on 12 cores.

Reproduction

ring x^210 - 1 a(x) = x^25 + x^26 + x^43 + x^45 + x^49 + x^51 + x^77 + x^105 + x^146 b(x) = x^12 + x^54 + x^89 + x^99 + x^118 + x^121 + x^136 + x^161 + x^200 H_X = [circ(a) | circ(b)] H_Z = [circ(b)^T | circ(a)^T]

n = 2m = 420 and k = 2 deg gcd(a, b, x^m - 1) = 32. To re-derive the fold bound:

python research/foldbound.py codes/420-32-40.json

Parity checks

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