← back to the board
[[490,20,56]] d ≤
n
490
k
20
d
56
kd²/n
128.0
w
14
X/Z
1

Share this result

Distance

X/Z asymmetry 1 · d_X ≤ 56, d_Z ≤ 56 · w_X = 14, w_Z = 14 (max(d_X,d_Z)/min(d_X,d_Z); each side carries its own earned tier: = certified exact, ≤ witness upper bound)
d_X 56 · witness weight 56 (claimed upper_bound)
witness operator (support, 56 qubits)
[10, 24, 34, 45, 59, 69, 80, 94, 104, 115, 129, 139, 150, 164, 174, 185, 199, 209, 220, 234, 244, 246, 250, 260, 273, 275, 281, 285, 295, 308, 310, 316, 320, 330, 343, 345, 351, 355, 365, 378, 380, 386, 390, 400, 413, 415, 421, 425, 435, 448, 450, 456, 460, 470, 483, 485]
d_Z 56 · witness weight 56 (claimed upper_bound)
witness operator (support, 56 qubits)
[5, 7, 20, 30, 34, 40, 42, 55, 65, 69, 75, 77, 90, 100, 104, 110, 112, 125, 135, 139, 145, 147, 160, 170, 174, 180, 182, 195, 205, 209, 215, 217, 230, 240, 244, 246, 256, 270, 281, 291, 305, 316, 326, 340, 351, 361, 375, 386, 396, 410, 421, 431, 445, 456, 466, 480]
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 14 · H_Z 14
qubit degrees H_X 7 · H_Z 7
trapping sets H_X (1,7)×490 (2,10)×2205 (3,11)×980 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_X
(1,7): 490 (2,10): 2205 (2,12): 17885 (3,11): 980 (3,13): 26215 (3,15): 257005 (3,17): 971915 (3,19): 45570
trapping sets H_Z (1,7)×490 (2,10)×2205 (3,11)×980 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_Z
(1,7): 490 (2,10): 2205 (2,12): 17885 (3,11): 980 (3,13): 26215 (3,15): 257005 (3,17): 971915 (3,19): 45570

Construction & provenance

authors @vprusso
provenance submitted through the challenge
novelty known parameter set; see provenance notes
construction Cyclic generalized-bicycle code on the ring x245-1 with a(x) = x34+x74+x176+x185+x189+x208+x212, b(x) = x4+x40+x71+x73+x86+x146+x217; 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

[[490,20,56]] weight-14 cyclic generalized-bicycle

Direction & hypothesis

The board already holds this exact point four times, at row weights 32, 24, 28 and 16 (codes/490-20-56.json, codes/490-20-56-b.json, codes/490-20-56-c.json, codes/490-20-56-d.json). Row weight is a board axis, so a lighter check matrix at the same n, k and d is an advance with nothing else attached, and the gap between 16 and the family's reach looked worth one sweep. The ring size is m = 245, which is divisible by 5 and 7 and so admits the residue construction that fixes k without constructing the gcd.

What was searched

m = 245 was picked by replacing a modulus-selection metric that had been driving this search wrongly. The earlier metric priced each modulus by a score ceiling k(2m/q)^2/n against the best kd^2/n in its blocklength bucket; that ceiling rests on the quotient-norm lift cap, which the symmetric fold described below refutes, and the comparison treats the board as a score table when it is a Pareto front over n, k, d and w. Repriced by how many undominated candidates a modulus still yields, m = 245 was untried, so four cores were pointed at it.

The sweep draws sparse polynomial pairs on x^245 - 1, computes k = 2 deg gcd(a, b, x^m - 1) by Euclid so most draws die before any matrix work, and prices survivors against the quotient-norm lift, the single-block ideal of (x^m - 1)/gcd(a, x^m - 1), and the symmetric fold. The first 2,367 distinct pairs from m = 245 and m = 175 gave 2,205 undominated at their screened distance, collapsing to 9 Pareto-distinct points.

The symmetric fold

For any partition of the n qubits into equal-size orbits, the vectors constant on orbits are u = O v, so H_Z u = 0 reduces to (H_Z O) v = 0 on n/r columns, and the lifted weight is r wt(v). Each partition therefore bounds the distance on a code a factor r smaller. Two conditions matter: the small code is handed to a distance search rather than having combinations of orbit basis vectors enumerated, since the interesting folded logicals are not sparse in that basis; and a lifted witness counts only if 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. Checking 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.

This matters because random information-set decoding is close to blind to these logicals rather than merely slow at finding them: the invariant subspace is not a positive-measure slice of the information sets it samples.

Evidence trail

The claim is a witness-backed upper bound.

symmetric fold, every partition to 160 cols 56 (tight: matches the witness) random information set, 24 seeds x 2e6 66 (running minimum at 8 seeds) verify/validate_candidate.py passed, not refuted, no d-only peers

The fold is tight here, finding a weight-56 logical of its own rather than merely failing to beat the claim, and the trial-based search stays well above it.

Dead ends

Of the 9 Pareto-distinct points from these two moduli, 7 were refuted by the fold, including five at a claimed [[490,20,70]] scoring 200.0 whose true bound is 42 to 56. The refuted set is dominated by claims sitting on the quotient-norm lift cap 2m/q, which is a structural signature: a claim at the cap means the lift found its own best witness and stopped, and a fold at a divisor of m beats it.

The second survivor shows the fold is not sufficient alone. A candidate screened at [[350,20,40]] cleared the fold at exactly 40 and then yielded a weight-38 witness under the confirmation search, so it is [[350,20,38]] and is being prepared separately. Neither instrument subsumes the other: the fold reaches logicals that random information sets structurally cannot, and the confirmation search reaches logicals that are not constant on any equal-orbit partition.

Tools

Claude Opus 5 under Claude Code. verify/gf2_fast for the random information-set search and verify/validate_candidate.py for the gate. The symmetric fold is a short script proposed separately in PR #3078; it is not cited as a committed path here because that PR is open, and the method is stated in full above so it can be rewritten from the description. Five machines, 32 cores; this code took 1,052s of confirmation.

Reproduction

ring x^245 - 1 H_X = [circ(a) | circ(b)] H_Z = [circ(b)^T | circ(a)^T]

n = 2m = 490 and k = 2 deg gcd(a, b, x^m - 1) = 20. The exponents of a and b are in codes/490-20-56-e.json under provenance.construction. The fold bound is re-derived from the description above: for each b in 1 to 4 dividing n and each t with b t at most 160, fold both check matrices onto the orbits of residue t within b equal blocks and search the resulting code.

Parity checks

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