← back to the board
[[630,36,60]] d ≤
n
630
k
36
d
60
kd²/n
205.714
w
14
X/Z
1

Share this result

Distance

X/Z asymmetry 1 · d_X ≤ 60, d_Z ≤ 60 · 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 60 · witness weight 60 (claimed upper_bound)
witness operator (support, 60 qubits)
[8, 10, 29, 31, 50, 52, 71, 73, 92, 94, 113, 115, 134, 136, 155, 157, 176, 178, 197, 199, 218, 220, 239, 241, 260, 262, 281, 283, 302, 304, 326, 334, 347, 355, 368, 376, 389, 397, 410, 418, 431, 439, 452, 460, 473, 481, 494, 502, 515, 523, 536, 544, 557, 565, 578, 586, 599, 607, 620, 628]
d_Z 60 · witness weight 60 (claimed upper_bound)
witness operator (support, 60 qubits)
[2, 10, 23, 31, 44, 52, 65, 73, 86, 94, 107, 115, 128, 136, 149, 157, 170, 178, 191, 199, 212, 220, 233, 241, 254, 262, 275, 283, 296, 304, 326, 328, 347, 349, 368, 370, 389, 391, 410, 412, 431, 433, 452, 454, 473, 475, 494, 496, 515, 517, 536, 538, 557, 559, 578, 580, 599, 601, 620, 622]
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)×630 (2,10)×945 (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): 630 (2,10): 945 (2,12): 26775
trapping sets H_Z (1,7)×630 (2,10)×945 (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): 630 (2,10): 945 (2,12): 26775

Construction & provenance

authors @vprusso
provenance submitted through the challenge
novelty known parameter set; see provenance notes
construction Cyclic generalized-bicycle code on the ring x315 - 1 with a(x) = x1 + x13 + x17 + x65 + x159 + x179 + x259, b(x) = x81 + x94 + x118 + x148 + x173 + x212 + x245; H_X = [circ(a) | circ(b)], H_Z = [circ(b)^T | circ(a)^T].
model Claude Claude Opus 5 (claimed, not verified)
date 2026-09-26
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.
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

[[630,36,60]] weight-14 cyclic generalized-bicycle

Hypothesis

Cyclic generalized-bicycle codes at check weight 14 cover a wide blocklength range, and the board's coverage of that range is uneven: there are stretches of n where no entry sits near the (k, d) the family can reach. A broad randomized sweep over sparse polynomial pairs, screened against the live board before any expensive work, finds the gaps.

Construction

ring x^315 - 1 a(x) = x^1 + x^13 + x^17 + x^65 + x^159 + x^179 + x^259 b(x) = x^81 + x^94 + x^118 + x^148 + x^173 + x^212 + x^245 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

One loop draws a ring size and a weight split, samples the two sparse polynomials, computes k by Euclid, 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.

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 = 205.714 at check weight 14. Undominated in its cell against the board at submission time.

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.

Parity checks

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