← back to the board
[[506,2,73]] d ≤
n
506
k
2
d
73
kd²/n
21.063
w
18
X/Z
1.03

Share this result

Distance

X/Z asymmetry 1.03 · d_X ≤ 75, d_Z ≤ 73 · w_X = 18, w_Z = 18 (max(d_X,d_Z)/min(d_X,d_Z); each side carries its own earned tier: = certified exact, ≤ witness upper bound)
d_X 75 · witness weight 75 (claimed upper_bound)
witness operator (support, 75 qubits)
[1, 2, 22, 23, 41, 58, 68, 72, 73, 75, 76, 77, 84, 86, 92, 93, 96, 99, 109, 112, 117, 126, 147, 150, 154, 156, 165, 177, 182, 186, 210, 211, 222, 224, 234, 251, 255, 256, 257, 276, 280, 284, 285, 294, 297, 299, 301, 305, 316, 318, 320, 321, 326, 329, 336, 339, 342, 352, 356, 367, 379, 383, 385, 389, 407, 415, 424, 430, 445, 455, 465, 475, 485, 492, 494]
d_Z 73 · witness weight 73 (claimed upper_bound)
witness found by @vprusso · verify/ris_gpu.py recover mode, pair depth 0 (GPU RIS, CPU re-verified) · found at 3×108 trials · survived 3×108 trials · 2026-09-25
witness operator (support, 73 qubits)
[10, 12, 25, 26, 33, 37, 42, 45, 53, 54, 56, 59, 60, 61, 62, 67, 69, 71, 75, 76, 79, 80, 81, 83, 84, 88, 94, 96, 99, 112, 113, 116, 118, 125, 126, 128, 130, 133, 137, 142, 156, 168, 179, 180, 183, 194, 200, 201, 205, 211, 214, 216, 217, 220, 228, 234, 236, 237, 240, 243, 245, 249, 294, 295, 298, 325, 372, 400, 420, 435, 462, 477, 479]
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 18 · H_Z 18
qubit degrees H_X 8–10 (mean 9.0) · H_Z 8–10 (mean 9.0)
trapping sets H_X (1,8)×253 (2,12)×1265 (smallest syndrome weight at each size, connected sets of up to 3 qubits; sizes above 2 skipped under the cost cap)
full (size, syndrome weight): count census for H_X
(1,8): 253 (1,10): 253 (2,12): 1265 (2,14): 6325 (2,16): 18216 (2,18): 8855
trapping sets H_Z (1,8)×253 (2,12)×1265 (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): 253 (1,10): 253 (2,12): 1265 (2,14): 6325 (2,16): 18216 (2,18): 8855

Construction & provenance

authors @vprusso
provenance submitted through the challenge
novelty known parameter set; see provenance notes
construction Cyclic generalized-bicycle code on the ring x253 - 1 with a(x) = x22 + x51 + x57 + x162 + x174 + x192 + x194 + x198 + x211 + x246, b(x) = x13 + x17 + x30 + x51 + x85 + x195 + x239 + x243; 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-23
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

[[506,2,73]]: distance revision of the board's [[506,2,75]] entry

Revision history

[[506,2,73]] supersedes the board's [[506,2,75]] entry. The code, its checks, its layout, and its original provenance are unchanged; only the distance block is corrected. A GPU random-information-set search (verify/ris_gpu.py, recover mode, 300,000,000 trials per side, pair depth 0, seed 4101) exhibits a weight-73 Z logical, so the previous witness-backed bound was overstated and the honest parameter set is [[506,2,73]]. The headline falls from kd^2/n = 22.23 to 21.06. Each lighter witness is carried in the entry with the budget it was found at; the other side keeps its original witness where it was not refuted. Distance remains an upper bound, not an exact claim.

Evidence

Every GPU proposal was re-validated on the CPU against the committed check matrices (in the kernel of the opposite side's checks, outside the row space of its own side) before it was recorded. The pass is the weekly fresh-seed re-measurement of the board's cell leaders (issue 2025, run of 2026-09-24); every recorded reading is the lightest CPU-verified logical at that budget.

| side | seed | claimed | GPU best weight | CPU-verified witness | trials | |---|---|---|---|---|---| | X | 4101 | 75 | 77 | 77 | 300,000,000 | | Z | 4101 | 75 | 73 | 73 | 300,000,000 | | X | 4102 | 75 | 75 | 75 | 300,000,000 | | Z | 4102 | 75 | 76 | 76 | 300,000,000 |

Original note, with the file paths updated

[[506,2,75]] weight-18 cyclic generalized-bicycle

Hypothesis

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