← back to the board
[[630,40,22]] d ≤
n
630
k
40
d
22
kd²/n
30.73
w
9
X/Z
1

Share this result

Distance

X/Z asymmetry 1 · d_X ≤ 22, d_Z ≤ 22 · w_X = 9, w_Z = 9 (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)
[6, 7, 18, 19, 22, 23, 98, 99, 134, 135, 146, 147, 190, 191, 318, 319, 370, 371, 438, 439, 494, 495]
d_Z 22 · witness weight 22 (claimed upper_bound)
witness operator (support, 22 qubits)
[60, 62, 116, 118, 184, 186, 236, 238, 280, 282, 284, 286, 296, 298, 364, 366, 408, 410, 420, 422, 456, 458]
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 8–9 (mean 8.667) · H_Z 8–9 (mean 8.667)
qubit degrees H_X 4–8 (mean 5.2) · H_Z 4–8 (mean 5.2)
trapping sets H_X (1,4)×63 (2,6)×252 (3,8)×4032 (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): 504 (1,8): 63 (2,6): 252 (2,7): 2016 (2,8): 7308 (2,11): 2016 (2,12): 63 (2,14): 630 (3,8): 4032 (3,9): 17892 (3,10): 61488 (3,11): 150948 (3,12): 11592 (3,13): 19656 (3,14): 68040 (3,15): 3024 (3,16): 3465 (3,17): 35784 (3,18): 2079 (3,19): 2520 (3,20): 8379 (3,22): 252
trapping sets H_Z (1,4)×63 (2,6)×252 (3,8)×4032 (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): 504 (1,8): 63 (2,6): 252 (2,7): 2016 (2,8): 7308 (2,11): 2016 (2,12): 63 (2,14): 630 (3,8): 4032 (3,9): 17892 (3,10): 61488 (3,11): 150948 (3,12): 11592 (3,13): 19656 (3,14): 68040 (3,15): 3024 (3,16): 3465 (3,17): 35784 (3,18): 2079 (3,19): 2520 (3,20): 8379 (3,22): 252

Construction & provenance

authors @MathysRennela
provenance submitted through the challenge
novelty novelty not audited
construction One amplification of [[126,20,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,40,22]] — amplification of [[126,20,11]] by the flagged [[4,2,2]] amplifier

Direction & hypothesis

Target: unrestricted / any-weight cell. One amplification step of the [[126,20,11]] bivariate-bicycle base by the flagged [[4,2,2]] amplifier (arXiv:2609.37231).

What was searched

Single construction; board domination check over all unrestricted entries found no dominator.

Evidence trail

d=22 upper bound (witness = tensor of base logicals, weight 11*2). Paper lower bound gives exact 22. CLI RIS search passed.

Dead ends

Deeper amplification exceeds admissibility cap.

Tools

Model: Beam 1.0. Base code: codes/126-20-11.json.

Reproduction

Base: codes/126-20-11.json. Amplifier: flagged [[4,2,2]], full-rank checks. Central three-term tensor product. Result n=630, k=40, d=22, w=9.

Parity checks

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