← back to the board
[[510,14,51]] d ≤
n
510
k
14
d
51
kd²/n
71.4
w
14
X/Z
1

Share this result

Distance

X/Z asymmetry 1 · d_X ≤ 51, d_Z ≤ 51 · 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 51 · witness weight 51 (claimed upper_bound)
witness operator (support, 51 qubits)
[2, 7, 12, 17, 22, 27, 32, 37, 42, 47, 52, 57, 62, 67, 72, 77, 82, 87, 92, 97, 102, 107, 112, 117, 122, 127, 132, 137, 142, 147, 152, 157, 162, 167, 172, 177, 182, 187, 192, 197, 202, 207, 212, 217, 222, 227, 232, 237, 242, 247, 252]
d_Z 51 · witness weight 51 (claimed upper_bound)
witness operator (support, 51 qubits)
[258, 263, 268, 273, 278, 283, 288, 293, 298, 303, 308, 313, 318, 323, 328, 333, 338, 343, 348, 353, 358, 363, 368, 373, 378, 383, 388, 393, 398, 403, 408, 413, 418, 423, 428, 433, 438, 443, 448, 453, 458, 463, 468, 473, 478, 483, 488, 493, 498, 503, 508]
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 6–8 (mean 7.0) · H_Z 6–8 (mean 7.0)
trapping sets H_X (1,6)×255 (2,10)×4590 (3,12)×7650 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_X
(1,6): 255 (1,8): 255 (2,10): 4590 (2,12): 11730 (2,14): 5100 (3,12): 7650 (3,14): 141015 (3,16): 568140 (3,18): 585225 (3,20): 159375 (3,22): 5100
trapping sets H_Z (1,6)×255 (2,10)×4590 (3,12)×7650 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_Z
(1,6): 255 (1,8): 255 (2,10): 4590 (2,12): 11730 (2,14): 5100 (3,12): 7650 (3,14): 141015 (3,16): 568140 (3,18): 585225 (3,20): 159375 (3,22): 5100

Construction & provenance

authors @vprusso
provenance submitted through the challenge
novelty known parameter set; see provenance notes
construction Cyclic generalized-bicycle code on the ring x255 - 1 with a(x) = x84 + x107 + x111 + x146 + x164 + x224 + x229 + x247, b(x) = x40 + x45 + x51 + x159 + x196 + x234; H_X = [circ(a) | circ(b)], H_Z = [circ(b)^T | circ(a)^T].
model Claude Claude Opus 5 (claimed, not verified)
date 2026-09-24
notes Found by a randomized sweep over sparse polynomial pairs, screened against the live board before any expensive work. Checked for single-block logicals via the ideal generated by (x^m - 1)/gcd(a, x^m - 1) before the distance was believed.
family generalized bicycle (a tag, not a ranking)
locality unrestricted (computed from the layout)
weight class weight > 8 (computed)

How this code was found

the research note submitted with this code · raw markdown · all notes

[[510,14,51]] weight-14 cyclic generalized-bicycle

Hypothesis

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

Construction

ring x^255 - 1 a(x) = x^84 + x^107 + x^111 + x^146 + x^164 + x^224 + x^229 + x^247 b(x) = x^40 + x^45 + x^51 + x^159 + x^196 + x^234 H_X = [circ(a) | circ(b)] H_Z = [circ(b)^T | circ(a)^T]

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

What was swept

One loop draws a ring size and a weight split, samples the two sparse polynomials, computes k by Euclid, and runs a cheap 60k-trial distance screen. A draw survives only if the resulting (n, k, d, w) is undominated on the live board snapshot. Surviving draws go through an escalating ladder of 400k, 2M and 8M random information-set trials, with the board comparison repeated at each rung so a candidate that collapses is dropped as soon as it stops being interesting.

The single-block check

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

Distance ladder

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

What it advances

Score kd^2/n = 71.4 at check weight 14. Undominated in its cell against the board at submission time.

Boundary

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

Parity checks

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