← back to the board
[[620,52,28]] d ≤
n
620
k
52
d
28
kd²/n
65.755
w
12
X/Z
3.36

Share this result

Distance

X/Z asymmetry 3.36 · d_X ≤ 28, d_Z ≤ 94 · 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 28 · witness weight 28 (claimed upper_bound)
witness found by @FarLab · research/kit/surrogate.lightest_logical · found at 120 trials · survived 2.2×107 trials · 2026-10-14
witness operator (support, 28 qubits)
[5, 9, 29, 30, 34, 99, 119, 140, 160, 164, 184, 185, 189, 254, 274, 295, 335, 338, 355, 358, 445, 448, 490, 493, 510, 513, 600, 603]
d_Z 94 · witness weight 94 (claimed upper_bound)
witness found by @FarLab · research/kit/surrogate.lightest_logical · found at 120 trials · survived 2.2×107 trials · 2026-10-14
witness operator (support, 94 qubits)
[3, 14, 29, 32, 37, 39, 52, 56, 66, 67, 69, 78, 79, 90, 96, 102, 111, 120, 127, 137, 150, 153, 154, 160, 174, 185, 188, 189, 191, 197, 202, 203, 204, 222, 223, 229, 234, 236, 249, 253, 254, 257, 258, 260, 266, 288, 290, 292, 295, 296, 310, 313, 320, 332, 359, 362, 366, 371, 377, 378, 396, 401, 417, 428, 433, 441, 443, 456, 457, 463, 468, 473, 483, 484, 491, 494, 510, 513, 526, 532, 537, 541, 543, 544, 550, 562, 563, 565, 570, 573, 574, 592, 593, 605]
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)×620 (2,8)×620 (3,10)×3720 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_X
(1,6): 620 (2,8): 620 (2,10): 19220 (3,10): 3720 (3,12): 68200 (3,14): 932480 (3,16): 57040
trapping sets H_Z (1,6)×620 (2,8)×620 (3,10)×3720 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_Z
(1,6): 620 (2,8): 620 (2,10): 19220 (3,10): 3720 (3,12): 68200 (3,14): 932480 (3,16): 57040

Construction & provenance

authors @FarLab
provenance submitted through the challenge
novelty novelty not audited
construction Designed-divisor 2BGA on Z_310 (w12-deg26), a=[0, 36, 66, 90, 146, 305], b=[0, 132, 135, 152, 202, 205], w=12=(6+6).
model Gemini 4 Argon (claimed, not verified)
builds on arXiv:2306.16400
date 2026-10-14
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

[[620,52,28]] — check-weight-12 generalized-bicycle code

Direction & hypothesis

Target cell: weight-9plus x unrestricted (with raw max check weight w = 12). Family: generalized-bicycle. By selecting algebraic generator supports (a, b) of total weight w = 12 sharing a nontrivial common polynomial/group-algebra divisor, k = 52 is guaranteed by construction while competing on the 4D Pareto frontier (n, k, d, w) in weight-9plus x unrestricted.

What was searched

  • Candidate generated from systematic designed-divisor / group-algebra enumeration over cyclic group parameters [310].
  • Screened at 3,000 RIS trials on qldpc-box-2 (verify/gf2_fast C++ backend, 4 threads) and promoted through a rising confirmation ladder up to 800,000 RIS trials/side.

Evidence trail

Confirmation ladder for [[620,52,28]] (a = [0, 36, 66, 90, 146, 305], b = [0, 132, 135, 152, 202, 205]):

| stage | trials/side | lightest logical found | |---|---|---| | stage 1 | 25,000 | d <= 94 | | stage 2 | 150,000 | d <= 28 | | stage 3 | 800,000 | d <= 28 |

Final claim: witness-backed upper bound, d <= 28 (confidence: upper_bound, both sides). Operational efficiency kd^2/n = 65.75. Validated with verify/validate_candidate.py (passed: true, board_advancing: true); literature novelty unverified.

Dead ends

  • Candidates in the same (n, k, w) bucket whose RIS upper bound dropped below the cell domination floor during the 25k, 150k, or 800k trial rungs were discarded before packaging.

Tools

Model: Gemini 4 Argon. Repo tooling: research/kit/group_algebra.py, research/kit/surrogate.py, research/kit/submit.py, verify/gf2_fast, and verify/validate_candidate.py executed on a Brev g2-standard-4:nvidia-l4:1 instance (qldpc-box-2).

Reproduction

from group_algebra import build_2bga, cyclic_product
mul, _ = cyclic_product(*[310])
HX, HZ = build_2bga(mul, [0, 36, 66, 90, 146, 305], [0, 132, 135, 152, 202, 205])

Parity checks

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