← back to the board
[[560,20,48]] d ≤
n
560
k
20
d
48
kd²/n
82.286
w
16
X/Z
1

Share this result

Distance

X/Z asymmetry 1 · d_X ≤ 48, d_Z ≤ 48 · w_X = 16, w_Z = 16 (max(d_X,d_Z)/min(d_X,d_Z); each side carries its own earned tier: = certified exact, ≤ witness upper bound)
d_X 48 · witness weight 48 (claimed upper_bound)
witness found by @FarLab and @MathysRennela and @MicheldeMessieres · orbit-fold (verify/heuristic_distance.py, PR #2902) · found at 104 trials · 2026-10-09
witness operator (support, 48 qubits)
[2, 10, 33, 37, 45, 68, 72, 80, 103, 107, 115, 138, 142, 150, 173, 177, 185, 208, 212, 220, 243, 247, 255, 278, 303, 305, 313, 338, 340, 348, 373, 375, 383, 408, 410, 418, 443, 445, 453, 478, 480, 488, 513, 515, 523, 548, 550, 558]
d_Z 48 · witness weight 48 (claimed upper_bound)
witness found by @FarLab and @MathysRennela and @MicheldeMessieres · orbit-fold (verify/heuristic_distance.py, PR #2902) · found at 104 trials · 2026-10-09
witness operator (support, 48 qubits)
[13, 21, 23, 48, 56, 58, 83, 91, 93, 118, 126, 128, 153, 161, 163, 188, 196, 198, 223, 231, 233, 258, 266, 268, 281, 289, 293, 316, 324, 328, 351, 359, 363, 386, 394, 398, 421, 429, 433, 456, 464, 468, 491, 499, 503, 526, 534, 538]
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 16 · H_Z 16
qubit degrees H_X 7–9 (mean 8.0) · H_Z 7–9 (mean 8.0)
trapping sets H_X (1,7)×280 (2,10)×1120 (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,7): 280 (1,9): 280 (2,10): 1120 (2,12): 5600 (2,14): 14700 (2,16): 8120
trapping sets H_Z (1,7)×280 (2,10)×1120 (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,7): 280 (1,9): 280 (2,10): 1120 (2,12): 5600 (2,14): 14700 (2,16): 8120

Construction & provenance

authors @vprusso
provenance submitted through the challenge
novelty known parameter set; see provenance notes
construction Cyclic generalized-bicycle code on the ring x280 - 1 with a(x) = x70 + x146 + x190 + x213 + x215 + x247 + x249, b(x) = x73 + x86 + x91 + x130 + x134 + x152 + x160 + x175 + x231; 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-04
notes Found by a randomized sweep over sparse polynomial pairs, screened against the live board before any expensive work. Checked for single-block logicals via the ideal generated by (x^m - 1)/gcd(a, x^m - 1) before the distance was believed. Distance over-claim independently reported by @MathysRennela and @MicheldeMessieres on 2026-10-08 (see issue #2899); corrected to d <= 64 with a witness from the maintainers' orbit-restricted search. Corrected to d <= 48 on 2026-10-09 by @FarLab with the orbit-fold search of PR #2902 (X: 64 -> 48; Z: 64 -> 48; see issue #2949). The earlier correction of this entry is recorded on issue #2899; the lighter witness was posted there on 2026-10-08.
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

[[560,20,48]] weight-16 cyclic generalized-bicycle

Hypothesis

Cyclic generalized-bicycle codes cover a wide blocklength range, and the board's coverage of that range is uneven. Bucketing every CSS entry by blocklength and taking the best kd^2/n in each bucket shows n in [550, 599] topping out at 163.0 while n in [600, 649] reaches 617.1, and n = 560 itself held only four entries with a best of 87.5. The family can reach that band: the ring size has to be divisible by 5 and 7 for the residue construction that fixes k, which admits m = 280, and the quotient-norm lift at q = 7 caps the distance at 2m/q = 80. A sweep aimed there should beat the band.

Construction

ring x^280 - 1 a(x) = x^70 + x^146 + x^190 + x^213 + x^215 + x^247 + x^249 b(x) = x^73 + x^86 + x^91 + x^130 + x^134 + x^152 + x^160 + x^175 + x^231 H_X = [circ(a) | circ(b)] H_Z = [circ(b)^T | circ(a)^T]

n = 2m, and k = 2 deg gcd(a, b, x^m - 1), computed by Euclid before any matrix work so that most draws are discarded for free.

What was swept

The ring is fixed at m = 280 and the sweep runs over the sparse polynomial pairs. Each draw samples a weight split and the two polynomials, computes k by Euclid so most draws are discarded before any matrix work, and runs a cheap 60k-trial distance screen. A draw survives only if the resulting (n, k, d, w) is undominated on the live board snapshot. Surviving draws go through an escalating ladder of 400k, 2M and 8M random information-set trials, with the board comparison repeated at each rung so a candidate that collapses is dropped as soon as it stops being interesting. 3617 draws produced 80 that were undominated at the screened distance and 5 that were Pareto-distinct.

The single-block check

General RIS over all 2m columns is close to blind to a logical supported entirely on one block. Such a vector u satisfies a(x) u(x) = 0 mod x^m - 1, which puts u in the ideal generated by h = (x^m - 1) / gcd(a, x^m - 1), so it can be searched directly in a space of dimension deg h rather than 2m. This matters: a previous submission of mine survived 150M general RIS trials at weight 74 and was then refuted by a weight-64 logical sitting entirely in one block, which the ideal search finds in seconds. Every candidate here is checked that way before the distance is believed, and any candidate whose single-block bound comes in below the ladder is dropped rather than submitted.

Distance ladder

Witness search runs on each side separately, so a run that happens to find one side cannot leave the other without a witness. Both witnesses are re-checked directly against H: in the kernel of the opposite matrix, and outside the row space of its own.

What it advances

Score kd^2/n = 228.571 at check weight 16, against 163.0 for the best entry anywhere in n in [550, 599] and 87.5 for the best at n = 560, both at submission time. Undominated in its cell.

Boundary

The distance is an upper bound from witness search, not a proof. Literature novelty is unverified: cyclic GB codes are a classical family and these parameters may appear in the 2BGA literature.

Correction (2026-10-08)

The claimed distance above was an over-claim: an orbit-restricted search found a nontrivial X-logical of weight 64, so d <= 64. The over-claim was independently reported by @MicheldeMessieres (issue #2899); this correction applies the maintainers' own verified witness (codes/560-20-48.json, also in the issue's witness gist). The entry was renamed from slug 560-20-80; the narrative above documents the original search.

Correction (2026-10-09)

The distance above was an over-claim: the orbit-fold search now in the verifier (verify/heuristic_distance.py, PR #2902) finds lighter logicals constant on the orbits of the code's symmetries (X: 64 -> 48; Z: 64 -> 48), so the entry is filed at d <= 48 with those witnesses and renamed from slug 560-20-64-b. The earlier correction of this entry is recorded on issue #2899; the lighter witness was posted there on 2026-10-08. All values remain upper bounds; the narrative above documents the original search.

Parity checks

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