← back to the board
[[598,2,97]] d ≤
n
598
k
2
d
97
kd²/n
31.468
w
16
X/Z
1

Share this result

Distance

X/Z asymmetry 1 · d_X ≤ 97, d_Z ≤ 97 · 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 97 · witness weight 97 (claimed upper_bound)
witness operator (support, 97 qubits)
[4, 9, 16, 19, 21, 30, 36, 39, 46, 50, 52, 57, 67, 94, 127, 130, 135, 143, 145, 147, 148, 155, 171, 172, 175, 182, 186, 202, 206, 213, 215, 220, 224, 225, 226, 232, 236, 268, 282, 284, 286, 291, 296, 298, 302, 303, 306, 311, 313, 317, 319, 326, 332, 335, 339, 343, 353, 362, 367, 372, 374, 377, 387, 398, 406, 412, 418, 422, 433, 442, 444, 448, 460, 462, 464, 469, 474, 478, 483, 484, 489, 493, 494, 501, 505, 509, 511, 522, 536, 566, 567, 568, 570, 572, 573, 592, 594]
d_Z 97 · witness weight 97 (claimed upper_bound)
witness operator (support, 97 qubits)
[4, 6, 25, 26, 28, 30, 31, 32, 62, 76, 87, 89, 93, 97, 104, 105, 109, 114, 115, 120, 124, 129, 134, 136, 138, 150, 154, 156, 165, 176, 180, 186, 192, 200, 211, 221, 224, 226, 231, 236, 245, 255, 259, 263, 266, 272, 279, 281, 285, 287, 292, 295, 296, 300, 302, 307, 312, 314, 316, 330, 362, 366, 372, 373, 374, 378, 383, 385, 392, 396, 412, 416, 423, 426, 427, 443, 450, 451, 453, 455, 463, 468, 471, 504, 531, 541, 546, 548, 552, 559, 562, 568, 577, 579, 582, 589, 594]
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 6–10 (mean 8.0) · H_Z 6–10 (mean 8.0)
trapping sets H_X (1,6)×299 (2,8)×598 (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,6): 299 (1,10): 299 (2,8): 598 (2,10): 3289 (2,12): 897 (2,14): 16146 (2,16): 1794 (2,18): 9867
trapping sets H_Z (1,6)×299 (2,8)×598 (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,6): 299 (1,10): 299 (2,8): 598 (2,10): 3289 (2,12): 897 (2,14): 16146 (2,16): 1794 (2,18): 9867

Construction & provenance

authors @vprusso
provenance submitted through the challenge
novelty known parameter set; see provenance notes
construction Cyclic generalized-bicycle code on the ring x299 - 1 with a(x) = x3 + x30 + x54 + x71 + x121 + x145 + x180 + x206 + x248 + x295, b(x) = x2 + x55 + x135 + x149 + x221 + x280; 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-24
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

[[598,2,97]] weight-16 cyclic generalized-bicycle

Hypothesis

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