← back to the board
[[514,32,68]] d ≤
n
514
k
32
d
68
kd²/n
287.875
w
14
X/Z
1

Share this result

Distance

X/Z asymmetry 1 · d_X ≤ 68, d_Z ≤ 68 · w_X = 14, w_Z = 14 (max(d_X,d_Z)/min(d_X,d_Z); each side carries its own earned tier: = certified exact, ≤ witness upper bound)
d_X 68 · witness weight 68 (claimed upper_bound)
witness operator (support, 68 qubits)
[0, 2, 5, 6, 12, 15, 32, 39, 41, 63, 95, 107, 115, 118, 124, 125, 130, 135, 146, 164, 165, 177, 178, 179, 194, 212, 219, 222, 225, 228, 232, 235, 239, 251, 258, 291, 297, 298, 301, 314, 320, 326, 331, 342, 345, 359, 376, 380, 383, 393, 394, 401, 407, 409, 420, 424, 435, 438, 448, 455, 461, 468, 473, 485, 488, 496, 497, 503]
d_Z 68 · witness weight 68 (claimed upper_bound)
witness operator (support, 68 qubits)
[10, 16, 27, 31, 36, 48, 63, 68, 81, 88, 94, 96, 99, 105, 109, 114, 115, 119, 122, 139, 148, 150, 160, 190, 197, 201, 209, 210, 229, 230, 231, 239, 240, 246, 247, 249, 259, 272, 282, 286, 290, 293, 295, 322, 324, 345, 370, 373, 386, 393, 396, 407, 411, 413, 416, 430, 442, 443, 446, 455, 467, 469, 473, 477, 483, 497, 504, 509]
certificate none yet · distance stands as a self-certified upper bound (d ≤)

Diagnostics

computed by the verifier from the parity checks, the layout, and the stored witnesses; shown as evidence, not used for ranking
girth H_X 4 · H_Z 4 (shortest cycle of each side’s Tanner graph; longer is friendlier to belief propagation)
check weights H_X 14 · H_Z 14
qubit degrees H_X 7 · H_Z 7
trapping sets H_X (1,7)×514 (2,10)×1285 (3,11)×1285 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_X
(1,7): 514 (2,10): 1285 (2,12): 20817 (3,11): 1285 (3,13): 11822 (3,15): 188638 (3,17): 1278575 (3,19): 67334
trapping sets H_Z (1,7)×514 (2,10)×1285 (3,11)×1285 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_Z
(1,7): 514 (2,10): 1285 (2,12): 20817 (3,11): 1285 (3,13): 11822 (3,15): 188638 (3,17): 1278575 (3,19): 67334

Construction & provenance

authors @vprusso
provenance submitted through the challenge
novelty novelty not audited
construction Cyclic generalized-bicycle code on the ring x257 - 1 with H_X = [circ(a) | circ(b)] and H_Z = [circ(b)^T | circ(a)^T]. Both a and b lie in the ideal generated by a divisor of x257 - 1 of degree 16, which fixes k = 2 deg gcd(a, b, x257 - 1) = 32.
model Claude Claude Opus 5 (claimed, not verified)
date 2026-10-13
notes m = 257 is prime with ord_2(m) = 16, so x^257 - 1 factors as (x + 1) times sixteen distinct degree-16 minimal polynomials, and the only proper divisor of m is 1, which makes every quotient fold vacuous. The divisor is one of those degree-16 factors, chosen among the sixteen to maximise the longest run of consecutive residues it leaves out. The single-block logicals form the cyclic code of dimension 16 whose zeros are the 241 residues the divisor leaves out, and the Bose-Chaudhuri-Hocquenghem bound on that run puts the lightest single-block logical well above this claim; a direct circulant search at 12 seeds of 600,000 trials finds nothing below 82. Draws with two even weights are rejected, since (x + 1) divides a binary polynomial exactly when its weight is even and would add the root-1 coset to the common gcd. The distance is a witness-backed upper bound from a 24-seed gate at 2,000,000 information-set trials per seed; the orbit fold over every equal-orbit partition of the qubits returns nothing lighter.
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

--- author: "@vprusso" ---

[[514,32,68]]: cyclic generalized-bicycle code from a designed divisor ideal at m = 257

At row weight 14 or lighter, the best distance on the board with n <= 514 and k >= 32 is 30, at [[390,32,30]] and row weight 10. This entry reaches 68. Allowing any row weight, the board's best in the same n and k range is 64, at [[514,64,64]] and row weight 20.

Direction & hypothesis

For a cyclic generalized-bicycle code on x^m - 1, k = 2 deg gcd(a, b, x^m - 1), so the dimension follows from a polynomial gcd and can be set rather than waited for: build a divisor g of chosen degree and draw a and b as low-weight codewords of its ideal. Two mechanisms cap this family from opposite ends. A proper divisor t of m gives a quotient-fold ceiling of (m/t) d_t, which binds at low dimension, and the single-block cyclic code of dimension deg g carries a light logical inside one circulant block at high dimension. Degree 16 sits where both are weak here.

What was searched

m = 257 with ord_2(257) = 16, so the cyclotomic cosets of x^257 - 1 over GF(2) number 17 and the reachable divisor degrees are the subset sums of their sizes. The divisor used here is 1 coset of total degree 16, chosen among the reachable picks at that degree to maximise the longest run of consecutive residues it leaves out. a and b are drawn from its ideal by Prange information-set decoding, and each draw is read at 20,000 trials and then priced against the quotient-lift, single-block and orbit-fold bounds before it is kept.

Draws with two even weights are rejected: (x + 1) divides a binary polynomial exactly when its weight is even, so two even weights would add the root-1 coset to the common gcd and land the draw one degree above the target. Here a has weight 7 and b has weight 7.

Evidence trail

deg gcd(a, x^257 - 1) = 16, deg gcd(b, x^257 - 1) = 16 and deg gcd(a, b, x^257 - 1) = 16, so the leak between the single-block kernels and k is 0.

A 24-seed gate at 2,000,000 information-set trials per seed settled at 68. The per-seed spread: 2 seeds found 68, 4 seeds found 70, 9 seeds found 72, 9 seeds found 74. The single-block logicals form the cyclic code of dimension 16 whose zeros are the 241 residues the divisor leaves out; the longest run of consecutive residues among them is 89, so the Bose-Chaudhuri-Hocquenghem bound puts the lightest single-block logical at 90 or above, and a direct search confined to one circulant block at 12 seeds of 600,000 trials independently finds nothing below 82. The orbit fold over every equal-orbit partition of the qubits returns nothing lighter than the claim.

The claim is a witness-backed upper bound, not certified. Both witnesses are in the submitted JSON, weigh 68, commute with the opposite check matrix and lie outside its row space.

Dead ends

  • [[514,32,70]] from the same front reaches 70, 2 more, but at row weight 16 against 14 here, so neither settles the other.
  • [[514,32,62]] from the same front is lighter at row weight 12 and stops at 62, so neither settles the other.
  • [[514,32,46]] from the same front is lighter at row weight 10 and stops at 46, so neither settles the other.
  • Target degree 17, the 16j+1 point at this modulus, has its longest unpicked run fall from 89 to 64 because the root-1 coset splits the long run. That is the degree an even-weight draw lands on by accident, which is why such draws are rejected at degrees that do not carry the coset by design.
  • The front was ranked by a 20,000-trial screen, which ordered it backwards: the weight-16 member read 84 at triage, the highest of the four, and gated to 70 while this one read 82 and gated to 68.
  • A second run of the gate on another machine returned a byte-identical spread. The seed sequence is derived from the candidate, so it was a duplicate rather than an independent confirmation, and the single gate below is the whole of the evidence.

The triage reading for this pair was 82, against a gated 68. Every member of this front moved the same way, which is why all of them were gated rather than filed off the sweep.

Tools

Claude Opus 5 driving a Claude Code session. Distance readings and single-block searches come from the repository's verify/gf2_fast extension; divisor assembly, coset selection and the information-set draws are session tooling outside this repository, described above in enough detail to rewrite.

Reproduction

m = 257, n = 2m = 514. With a = {1, 21, 70, 88, 137, 224, 230} and b = {4, 14, 23, 26, 30, 124, 241} as exponent sets,

H_X = [circ(a) | circ(b)], H_Z = [circ(b)^T | circ(a)^T]

where circ(s)[i, (i + e) mod m] = 1 for each e in s. The submitted codes/514-32-68.json carries both matrices row by row and both distance witnesses.

Parity checks

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