← back to the board
[[630,48,22]] d ≤
n
630
k
48
d
22
kd²/n
36.876
w
10
X/Z
1

Share this result

Distance

X/Z asymmetry 1 · d_X ≤ 22, d_Z ≤ 22 · w_X = 10, w_Z = 10 (max(d_X,d_Z)/min(d_X,d_Z); each side carries its own earned tier: = certified exact, ≤ witness upper bound)
d_X 22 · witness weight 22 (claimed upper_bound)
witness operator (support, 22 qubits)
[0, 3, 4, 7, 84, 87, 100, 103, 120, 123, 132, 135, 188, 191, 332, 335, 404, 407, 408, 411, 480, 483]
d_Z 22 · witness weight 22 (claimed upper_bound)
witness operator (support, 22 qubits)
[18, 19, 22, 23, 30, 31, 46, 47, 262, 263, 330, 331, 334, 335, 386, 387, 406, 407, 414, 415, 498, 499]
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 6 · H_Z 6 (shortest cycle of each side’s Tanner graph; longer is friendlier to belief propagation)
check weights H_X 8–10 (mean 9.5) · H_Z 8–10 (mean 9.5)
qubit degrees H_X 4–9 (mean 5.7) · H_Z 4–9 (mean 5.7)
trapping sets H_X (1,4)×63 (2,7)×1008 (3,8)×1512 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_X
(1,4): 63 (1,5): 252 (1,6): 252 (1,9): 63 (2,7): 1008 (2,8): 3150 (2,9): 5040 (2,10): 2898 (2,12): 1260 (2,13): 1008 (2,16): 1008 (3,8): 1512 (3,9): 2520 (3,10): 23058 (3,11): 76608 (3,12): 119280 (3,13): 120204 (3,14): 62496 (3,15): 40320 (3,16): 53172 (3,17): 28098 (3,19): 36792 (3,20): 29232 (3,21): 6762 (3,22): 1512 (3,23): 15876 (3,25): 882
trapping sets H_Z (1,4)×63 (2,7)×1008 (3,8)×1512 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_Z
(1,4): 63 (1,5): 252 (1,6): 252 (1,9): 63 (2,7): 1008 (2,8): 3150 (2,9): 5040 (2,10): 2898 (2,12): 1260 (2,13): 1008 (2,16): 1008 (3,8): 1512 (3,9): 2520 (3,10): 23058 (3,11): 76608 (3,12): 119280 (3,13): 120204 (3,14): 62496 (3,15): 40320 (3,16): 53172 (3,17): 28098 (3,19): 36792 (3,20): 29232 (3,21): 6762 (3,22): 1512 (3,23): 15876 (3,25): 882

Construction & provenance

authors @MathysRennela
provenance submitted through the challenge
novelty novelty not audited
construction One amplification of [[126,24,11]] bivariate-bicycle base by flagged [[4,2,2]] amplifier (arXiv:2609.37231). Central three-term truncation; full-rank amplifier checks.
model Beam 1.0 (claimed, not verified)
date 2026-10-18
family other (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

[[630,48,22]] — amplification of [[126,24,11]] by the flagged [[4,2,2]] amplifier

Direction & hypothesis

Target: unrestricted / any-weight cell (w=10). Hypothesis: distance amplification (arXiv:2609.37231) doubles both k and d of a base code while keeping n within the admissibility cap when the base is small enough. The [[126,24,11]] bivariate-bicycle base (already on the board) amplifies to [[630,48,22]] with n=630 <= 700.

What was searched

One amplification step of the flagged [[4,2,2]] amplifier applied to the [[126,24,11]] base, using the central three-term truncation (Eq. 12-15 of the paper). No parameter sweep; single construction. Screening: board domination check over all unrestricted entries (no dominator found).

Evidence trail

Distance claim d=22 is an upper bound: witness-backed via the tensor product of the base logicals (weight 11 * 2 = 22). The paper's lower bound gives ceil(2*11)=22, so the code distance is exactly 22 under the paper's assumptions. CLI RIS search (20,000 trials + 2,000,000 accelerator trials) found no lighter logical; gate passed (dry run).

Dead ends

Deeper amplification (3-4 steps) exceeds the admissibility cap (n > 700) and is not submittable. One-step amplification of smaller bases (e.g. [[18,4,4]]) is admissible but dominated.

Tools

Model: Beam 1.0. Repo tooling: cli/qldpc submit, scipy sparse construction, RIS distance search. Base code: codes/126-24-11.json.

Reproduction

Base: codes/126-24-11.json (H_X, H_Z). Amplifier: flagged [[4,2,2]] with full-rank checks G_X = G_Z = [1 1 1 1] (one row each). Apply central three-term tensor product (Eq. 14-15, arXiv:2609.37231). Result: n=630, k=48, d=22, w=10.

Parity checks

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