← back to the board
[[544,18,76]] d ≤
n
544
k
18
d
76
kd²/n
191.118
w
12
X/Z
1.08

Share this result

Distance

X/Z asymmetry 1.08 · d_X ≤ 82, d_Z ≤ 76 · w_X = 12, w_Z = 12 (max(d_X,d_Z)/min(d_X,d_Z); each side carries its own earned tier: = certified exact, ≤ witness upper bound)
d_X 82 · witness weight 82 (claimed upper_bound)
witness operator (support, 82 qubits)
[11, 12, 15, 17, 38, 40, 43, 44, 48, 49, 50, 65, 70, 77, 79, 86, 95, 106, 107, 108, 110, 116, 125, 131, 137, 164, 171, 178, 188, 191, 198, 201, 204, 219, 223, 229, 233, 235, 236, 238, 239, 240, 243, 245, 253, 262, 267, 272, 280, 282, 284, 300, 316, 321, 322, 323, 324, 327, 331, 338, 347, 370, 372, 378, 379, 392, 398, 414, 422, 424, 426, 433, 442, 449, 450, 462, 481, 486, 488, 495, 514, 524]
d_Z 76 · witness weight 76 (claimed upper_bound)
witness operator (support, 76 qubits)
[9, 19, 25, 31, 33, 40, 55, 57, 58, 74, 87, 103, 113, 130, 132, 137, 169, 179, 189, 197, 202, 210, 212, 216, 237, 258, 263, 272, 274, 280, 282, 314, 317, 334, 338, 344, 352, 356, 358, 359, 363, 365, 368, 380, 384, 385, 405, 406, 413, 416, 421, 425, 431, 437, 438, 439, 440, 443, 454, 468, 472, 481, 488, 492, 493, 499, 501, 504, 511, 519, 522, 525, 534, 536, 539, 540]
certificate none yet · distance stands as a self-certified upper bound (d ≤)

Diagnostics

computed by the verifier from the parity checks, the layout, and the stored witnesses; shown as evidence, not used for ranking
girth H_X 4 · H_Z 4 (shortest cycle of each side’s Tanner graph; longer is friendlier to belief propagation)
check weights H_X 12 · H_Z 12
qubit degrees H_X 6 · H_Z 6
trapping sets H_X (1,6)×544 (2,6)×6 (3,6)×1 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_X
(1,6): 544 (2,6): 6 (2,8): 1094 (2,10): 15746 (3,6): 1 (3,8): 97 (3,10): 4180 (3,12): 103079 (3,14): 715118 (3,16): 40698
trapping sets H_Z (1,6)×544 (2,6)×6 (3,6)×3 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_Z
(1,6): 544 (2,6): 6 (2,8): 1094 (2,10): 15746 (3,6): 3 (3,8): 88 (3,10): 3897 (3,12): 104236 (3,14): 713684 (3,16): 40715

Construction & provenance

authors @Ming-yuan-Liang
provenance submitted through the challenge
novelty novelty not audited
construction Kasai affine 2BGA: a two-block group-algebra code over the affine group Aff(F_q) in its metacyclic realization Z_q x| Z_{q-1} (order q(q-1); 342 for q=19, 272 for q=17). With research/kit/group_algebra.py: mul, _ = metacyclic(q, q-1, r) where r is the smallest primitive root mod q, then HX, HZ = build_2bga(mul, a, b) for the two exponent sets a, b recorded in the reproduction section.
model GLM-5.3-Flash (claimed, not verified)
date 2026-10-27
notes Checked against the board at the gate: no exact-fingerprint or WL-signature collision (gates.dedup reports neither), so the entry is declared not equivalent to any existing entry.
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

[[544,18,76]] q=17 seed-weight-6 affine 2BGA at k=18, kd^2/n 191.1

Direction & hypothesis

Advance the unrestricted weight-9plus cell's frontier at n<=684 with generalized-bicycle codes over the affine group: The sweep's second q-band: meta-analysis put q=17 behind q=19 but its w=6 draws reached k=18, and the a-b shared-exponent structure (a and b share the element 245) is what the follow-up neighborhood stage probes.

What was searched

One lane of an 11-lane unattended sweep over affine 2BGA seed vectors at n<=684 (q in {17,19}, seed weights 6-20, ~300 draws per lane). Each draw was screened by a 400-trial numpy RIS reading behind a board prepass (CSS, connectivity, exact-fingerprint and WL dedup); the lane's top band was re-read at fresh-seed 20,000-trial rungs and packaged by the kit's submit path. The lane first claimed d<=84; the four independent-seed confirmation rungs below, run for this submission, read lighter logicals, and the entry was repackaged at the lowest reading with the witness that set it. CI's independent RIS-fast refutation search (8,000,000-trial class, PR CI, seed 1930669708) then found a weight-76 Z logical the local ladder had missed, and the entry was corrected to the CI reading with CI's witness carried. This candidate comes from the |a|=|b|=6 band at q=17.

Evidence trail

Confirmation ladder for the submitted code, each rung a fresh seed unless marked otherwise, reading the lightest logical found:

| budget (trials/side) | lightest logical | | ---: | ---: | | 20,000 (rerun 1) | 88 | | 20,000 (rerun 2) | 88 | | 20,000 (rerun 3) | 86 | | 20,000 (rerun 4) | 82 | | 20,000 (repackaging witness search) | 82 | | 8,000 (trusted-gate refutation, seed 1962364042) | 82 | | CI RIS-fast refutation, seed 1930669708 (8,000,000-trial class) | 76 | | 29,860 (gate_changed re-verification, seed 31051212) | 76 |

The deepest rungs agree at the best bound: CI's independent 8,000,000-trial-class refutation search and the fresh-seed gate_changed re-verification both read 76. The submitted witness reproduces it: X: d <= 82 (upper_bound), Z: d <= 76 (upper_bound).

Dead ends

  • k=10 draws at this cell repeat one WL signature (the board's 684-10-90

    • class); the k=10 corner was abandoned as a sampler trap.

  • Unrestricted bivariate-bicycle trinomial/quadnomial pairs on 100 < n <= 240

    • are closed by five lanes (~5,600 draws, no gate pass; 93% die in prepass as direct sums); non-abelian BBGA and metacyclic 2BGA at n <= 320 closed with no gate pass.

  • A [[544,12,16]]-class draw is dominated (the gate lists 170 dominators); it

    • recurred twice independently and was recorded non-frontier, not staged for submission.

  • The lane's own deep readings did not survive independent seeds: every

    • candidate on this sweep read 1-6 units lighter under the four fresh-seed confirmation rungs, and all were repackaged at the lower reading before submission. Screen readings sit higher still.

Tools

Model: GLM-5.3-Flash. The local verdict is verify/validate_candidate.py; the bundle was assembled by research/kit/promote.py.

Reproduction

Rebuild from committed kit code, verified bit-identical to the entry's fingerprint before submission: with research/kit on sys.path, call metacyclic(q, q-1, r) from research/kit/group_algebra.py with q = 17 and r = 3 (the smallest primitive root mod 17), then build_2bga(mul, a, b) with a = [245, 84, 96, 270, 163, 268] and b = [245, 252, 47, 231, 143, 70]. Compare qldpc_verify.css_fingerprint of the result against the entry (research/kit/rebuild.py prints it). The ladder's distance readings come from the kit's numpy RIS surrogate, research/kit/surrogate.py::distance_rand, at 20,000 fresh-seed trials per side per rung.

Parity checks

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