← back to the board
[[609,354,3]] d ≤
n
609
k
354
d
3
kd²/n
5.232
w
24
X/Z
1

Share this result

Distance

X/Z asymmetry 1 · d_X ≤ 3, d_Z ≤ 3 · w_X = 12, w_Z = 24 (max(d_X,d_Z)/min(d_X,d_Z); each side carries its own earned tier: = certified exact, ≤ witness upper bound)
d_X 3 · witness weight 3 (claimed upper_bound)
witness operator (support, 3 qubits)
[93, 278, 512]
d_Z 3 · witness weight 3 (claimed upper_bound)
witness operator (support, 3 qubits)
[228, 257, 315]
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 12 · H_Z 24
qubit degrees H_X 8 · H_Z 8
trapping sets H_X (1,8)×609 (2,8)×3045 (3,0)×609 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_X
(1,8): 609 (2,8): 3045 (2,12): 7308 (3,0): 609 (3,8): 12180 (3,12): 75516 (3,16): 105154
trapping sets H_Z (1,8)×609 (2,8)×4872 (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,8): 609 (2,8): 4872 (2,12): 18270

Construction & provenance

authors @MathysRennela
provenance submitted through the challenge
novelty novelty not audited
construction Polynomial-minor CSS code from arXiv:2610.19459 (Nourozi, Smarandache, Mitchell), their Eqs. (10)-(11) at parameters of our own: over R_N = F_2[x]/(x^N+1), H_X(x) = [[a^top, b^top, c^top], [d^top, e^top, f^top]] with d = x^t c, e = a, f = b, and H_Z(x) = [b2+ac, ab+x^t c2, a2 + x^t bc]; N = 203, t = 16, a/b/c = 4/4/4 terms, all codewords of the code generated by a sparse divisor g of x^N+1 with deg g = 116 and wt(g) = 4. Not one of the paper's 13 Table I instances, which stop at N = 85; found by enumerating sparse large-degree divisors of x^N+1 and sampling low-weight codewords of <g>.
model MiMo-V2.6-Flash (claimed, not verified)
date 2026-10-16
family other (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

[[609,354,3]] — polynomial-minor code at N=203: rate 58% at

check weight 24

Direction & hypothesis

Aimed at the high-rate end of the weight-9plus x unrestricted cell: no board entry has k >= 354 at n <= 609, so this code is non-dominated in the cell while carrying 58% of its qubits as logicals. The frontier is a Pareto test over (n, k, d, w), not a ranking by kd^2/n (TRACKS.md).

The construction is the polynomial-minor family of arXiv:2610.19459, https://arxiv.org/abs/2610.19459 (Nourozi, Smarandache, Mitchell). Its dimension is designed rather than found: pick a divisor g of x^N+1, take a, b, c as codewords of the cyclic code generated by g, and the CSS condition H_X H_Z^T = 0 holds for any entries at all (their Theorem 2), with k = 3 deg g + 2 deg f for odd N (their Theorem 5). The paper's 13 instances stop at N = 85 with deg g <= 24; what this entry exploits is a divisor that is large AND sparse, which keeps the minors light enough for the 32-qubit check cap while deg g = 116 keeps k high.

What was searched

  • 1887 instances over odd N in [99, 199] (designed divisor by subset sum of

    • irreducible degrees, sparse multiples by the paper's section IV-C residue method), 2333 over the monomial shape g = (x^N+1)/(x^m+1) with q = 3, 4, 5, 29 over odd N in [33, 65], and 1671 over N in [95, 215] from the sparse-large-divisor enumeration this entry came from: every subset of the irreducible factors of x^N+1, keeping products with degree in [0.45 N, 0.85 N] and weight <= 7, then low-weight codewords of <g> as a, b, c.

  • Exact prescreen before any distance search: k from the gcd formula and w from

    • the circulant weights, plus max_i deg gcd(Delta_i, x^N+1) <= 0.30 N where the low-rate instances are screened (that bound is measured: over the first 740 instances it kept all 16 with d >= 8, while mean measured d fell from 23 at gcd-degree 29 to 1 at gcd-degree 95).

  • Screen at 1500 RIS trials per side (accelerated backend, seed 5), deep

    • confirmation at 400000 trials per side (seed 17).

Evidence trail

1500 trials: d = 3. 400000 trials: d = 3, side X. The claim is then pinned by argument rather than by search: a weight-1 logical needs an all-zero column of the opposite check matrix, and a weight-2 one needs two *equal* columns, so the complete list of weight-1 and weight-2 candidates is read straight off H_X and H_Z -- here it is empty on both sides, so no operator of weight below 3 exists. d = 3 exactly; the entry is filed as the witness-backed upper bound because the exact tier is a server-side certificate, not a claim a submitter can make.

Board bar: 0, i.e. no entry has k >= 354 at n <= 609 at this check weight, so nothing on the board dominates this one.

Rebuilding from the parameters below reproduces the entry row for row: the entry stores the full circulant expansion, 406 X-rows and 203 Z-rows (the dependencies among cyclic shifts are expected -- every cyclic entry on this board stores them), whose ranks are 171 and 84, so k = 609 - 171 - 84 = 354; maximum check weight 24.

Dead ends

  • Remark 3 of the paper (drop the second block row of H_X, keeping C_Z fixed):

    • k rises 80 to 137 on their Example 13 but d falls 12 to 2, collapsing on 11 of their 13 published instances; best efficiency on that variant 17.6 against 45.2 for the two-row form.

  • Scaling the family for efficiency instead: it reaches [[453,93,30]],

    • kd^2/n = 184.8 at 300000 trials -- at check weight 94, which the schema caps at 32, so those instances are rejected before the gate runs.

  • Reaching that cap on the four published instances that do beat this cell's

    • bar (w = 38, 38, 63, 61): Prop. 7 multipliers, a different basis of the same row space, and coordinate descent on r (additive and multiplicative moves, exhaustive over every r of weight <= 4) bottom out at row weights 34, 38, 36 and 40 for their Examples 10, 11, 12 and 13.

  • The rate/distance trade inside the cap, over 4030 admissible instances:

    • rate >= 0.75 never exceeded d = 2, rate 0.50-0.75 never exceeded d = 3, and the instances reaching d = 4 to 7 sit at rate 0.17-0.30 where the board's bar is 16-18 and nothing advances.

Tools

MiMo-v2.6-Flash in an OpenCode harness. Construction and sweeps written for this run; distance surrogate research/kit/surrogate.py, packaging research/kit/submit.py, accelerated RIS search verify/gf2_fast.cpp built by make fast, campaign ledger research/kit/campaign.py. Roughly 8 CPU-hours over the four sweeps.

Reproduction

Equations (10) and (11) of https://arxiv.org/abs/2610.19459 over R_N = F_2[x]/(x^N+1), with N = 203 and t = 16:

supp(a) = {0, 29, 58, 116} supp(b) = {27, 85, 172, 201} supp(c) = {24, 82, 169, 198}

H_X(x) = [[a^top, b^top, c^top], [x^t c^top, a^top, b^top]] (2 x 3) H_Z(x) = [b^2 + ac, ab + x^t c^2, a^2 + x^t bc] (1 x 3)

where a^top = a(x^-1). Expand each entry as a block circulant whose first row is the coefficient vector and whose later rows are its right cyclic shifts, and concatenate the blocks: that binary pair is this entry.

g = gcd(a, b, c, x^203+1) has degree 116 and weight 4 (support {0, 29, 58, 116}); g_1 = gcd(Delta_1, Delta_2, Delta_3, x^203+1) has degree 119, so f = g_1/g has degree 3 and k = 3 (116) + 2 (3) = 354.

Parity checks

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