← back to the board
[[1000,406,6]] d ≤
n
1000
k
406
d
6
kd²/n
14.616
w
8
X/Z
1

Share this result

Distance

X/Z asymmetry 1 · d_X ≤ 6, d_Z ≤ 6 · w_X = 8, w_Z = 8 (max(d_X,d_Z)/min(d_X,d_Z); each side carries its own earned tier: = certified exact, ≤ witness upper bound)
d_X 6 · witness weight 6 (claimed upper_bound)
witness operator (support, 6 qubits)
[0, 5, 95, 110, 195, 213]
d_Z 6 · witness weight 6 (claimed upper_bound)
witness operator (support, 6 qubits)
[0, 5, 7, 10, 301, 310]
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 · H_Z 8
qubit degrees H_X 1–6 (mean 2.376) · H_Z 1–6 (mean 2.376)
trapping sets H_X (1,1)×18 (2,1)×90 (3,1)×450 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_X
(1,1): 18 (1,2): 882 (1,3): 1 (1,5): 3 (1,6): 96 (2,1): 90 (2,2): 4366 (2,3): 17 (2,4): 41 (2,5): 119 (2,6): 3348 (2,7): 3 (2,9): 15 (2,10): 279 (3,1): 450 (3,2): 21612 (3,3): 371 (3,4): 6760 (3,5): 2565 (3,6): 65639 (3,7): 520 (3,8): 8414 (3,9): 1119 (3,10): 19058 (3,11): 118 (3,12): 1586 (3,13): 105 (3,14): 1350
trapping sets H_Z (1,1)×18 (2,1)×90 (3,1)×450 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_Z
(1,1): 18 (1,2): 882 (1,3): 1 (1,5): 3 (1,6): 96 (2,1): 90 (2,2): 4366 (2,3): 17 (2,4): 41 (2,5): 119 (2,6): 3348 (2,7): 3 (2,9): 15 (2,10): 279 (3,1): 450 (3,2): 21612 (3,3): 372 (3,4): 6759 (3,5): 2560 (3,6): 65643 (3,7): 520 (3,8): 8414 (3,9): 1125 (3,10): 19053 (3,11): 118 (3,12): 1586 (3,13): 105 (3,14): 1350

Construction & provenance

authors @hirobumii
provenance submitted through the challenge
novelty novelty not audited
construction G=C5 semidirect C20, coordinates(i,j), index i+5*j. Multiplication(i,j)(k,l)=(i+2^j*k mod5,j+l mod20). L_g[t,u]=1 iff u=g*t; R_h[t,u]=1 iff u=t*h. A=[I+L5,I+L6,I+L36]; B=[I+R5,I+R16,I+R19], binary sums. Nine VV(k,j) blocks indexed3*k+j precede one CC block, each size100. X(j) has A(k) onVV(k,j) and B(j) onCC. Z(k) has B(j)^T onVV(k,j) and A(k)^T onCC. Keep first independent original rows,297 per sector.
model GPT-6 Astra + GPT-6.1 Sol (recorded multi-agent configuration) (claimed, not verified)
date 2026-10-17
notes Displayed presentation: maximum check weight 8, maximum qubit degree 12, 594 checks and total incidence 4752.
family lifted product (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

[[1000,406,6]] - CSS sparse stabilizer code

Direction & hypothesis

Study sparse finite instances of the construction below and their dimension–distance tradeoff.

What was searched

G=C5 semidirect C20, coordinates(i,j), index i+5*j. Multiplication(i,j)(k,l)=(i+2^j*k mod5,j+l mod20). L_g[t,u]=1 iff u=g*t; R_h[t,u]=1 iff u=t*h. A=[I+L5,I+L6,I+L36]; B=[I+R5,I+R16,I+R19], binary sums. Nine VV(k,j) blocks indexed3*k+j precede one CC block, each size100. X(j) has A(k) onVV(k,j) and B(j) onCC. Z(k) has B(j)^T onVV(k,j) and A(k)^T onCC. Keep first independent original rows,297 per sector.

The displayed presentation has maximum check weight 8, maximum qubit degree 12, 594 checks and total incidence 4752.

Evidence trail

The JSON contains weight-6 logical witnesses. Distance confidence: X: upper_bound, Z: upper_bound.

Tools

Recorded workflow configuration: GPT-6 Astra + GPT-6.1 Sol. Official tooling: verify/qldpc_verify.py.

Reproduction

Read codes/1000-406-6.json. Allocate zero binary matrices H_X and H_Z with 1000 columns. For each row list in checks.X or checks.Z, set the listed zero-based columns to 1, preserving row order. This reconstructs the displayed presentation exactly.

Construction references:

  • https://arxiv.org/abs/2111.03654
  • https://arxiv.org/abs/2607.28795

Local validation: the official verify/validate_candidate.py passed, including independent-seed distance refutation.

Parity checks

X-checks 297 (max weight 8) · Z-checks 297 (max weight 8)
H_X (297 checks, sparse supports)
[0, 5, 300, 306, 600, 636, 900, 905] [1, 7, 301, 308, 601, 639, 901, 906] [2, 9, 302, 305, 602, 637, 902, 907] [3, 6, 303, 307, 603, 635, 903, 908] [4, 8, 304, 309, 604, 638, 904, 909] [5, 10, 305, 311, 605, 641, 905, 910] [6, 12, 306, 313, 606, 644, 906, 911] [7, 14, 307, 310, 607, 642, 907, 912] [8, 11, 308, 312, 608, 640, 908, 913] [9, 13, 309, 314, 609, 643, 909, 914] [10, 15, 310, 316, 610, 646, 910, 915] [11, 17, 311, 318, 611, 649, 911, 916] [12, 19, 312, 315, 612, 647, 912, 917] [13, 16, 313, 317, 613, 645, 913, 918] [14, 18, 314, 319, 614, 648, 914, 919] [15, 20, 315, 321, 615, 651, 915, 920] [16, 22, 316, 323, 616, 654, 916, 921] [17, 24, 317, 320, 617, 652, 917, 922] [18, 21, 318, 322, 618, 650, 918, 923] [19, 23, 319, 324, 619, 653, 919, 924] [20, 25, 320, 326, 620, 656, 920, 925] [21, 27, 321, 328, 621, 659, 921, 926] [22, 29, 322, 325, 622, 657, 922, 927] [23, 26, 323, 327, 623, 655, 923, 928] [24, 28, 324, 329, 624, 658, 924, 929] [25, 30, 325, 331, 625, 661, 925, 930] [26, 32, 326, 333, 626, 664, 926, 931] [27, 34, 327, 330, 627, 662, 927, 932] [28, 31, 328, 332, 628, 660, 928, 933] [29, 33, 329, 334, 629, 663, 929, 934] [30, 35, 330, 336, 630, 666, 930, 935] [31, 37, 331, 338, 631, 669, 931, 936] [32, 39, 332, 335, 632, 667, 932, 937] [33, 36, 333, 337, 633, 665, 933, 938] [34, 38, 334, 339, 634, 668, 934, 939] [35, 40, 335, 341, 635, 671, 935, 940] [36, 42, 336, 343, 636, 674, 936, 941] [37, 44, 337, 340, 637, 672, 937, 942] [38, 41, 338, 342, 638, 670, 938, 943] [39, 43, 339, 344, 639, 673, 939, 944] [40, 45, 340, 346, 640, 676, 940, 945] [41, 47, 341, 348, 641, 679, 941, 946] [42, 49, 342, 345, 642, 677, 942, 947] [43, 46, 343, 347, 643, 675, 943, 948] [44, 48, 344, 349, 644, 678, 944, 949] [45, 50, 345, 351, 645, 681, 945, 950] [46, 52, 346, 353, 646, 684, 946, 951] [47, 54, 347, 350, 647, 682, 947, 952] [48, 51, 348, 352, 648, 680, 948, 953] [49, 53, 349, 354, 649, 683, 949, 954] [50, 55, 350, 356, 650, 686, 950, 955] [51, 57, 351, 358, 651, 689, 951, 956] [52, 59, 352, 355, 652, 687, 952, 957] [53, 56, 353, 357, 653, 685, 953, 958] [54, 58, 354, 359, 654, 688, 954, 959] [55, 60, 355, 361, 655, 691, 955, 960] [56, 62, 356, 363, 656, 694, 956, 961] [57, 64, 357, 360, 657, 692, 957, 962] [58, 61, 358, 362, 658, 690, 958, 963] [59, 63, 359, 364, 659, 693, 959, 964] [60, 65, 360, 366, 660, 696, 960, 965] [61, 67, 361, 368, 661, 699, 961, 966] [62, 69, 362, 365, 662, 697, 962, 967] [63, 66, 363, 367, 663, 695, 963, 968] [64, 68, 364, 369, 664, 698, 964, 969] [65, 70, 365, 371, 601, 665, 965, 970] [66, 72, 366, 373, 604, 666, 966, 971] [67, 74, 367, 370, 602, 667, 967, 972] [68, 71, 368, 372, 600, 668, 968, 973] [69, 73, 369, 374, 603, 669, 969, 974] [70, 75, 370, 376, 606, 670, 970, 975] [71, 77, 371, 378, 609, 671, 971, 976] [72, 79, 372, 375, 607, 672, 972, 977] [73, 76, 373, 377, 605, 673, 973, 978] [74, 78, 374, 379, 608, 674, 974, 979] [75, 80, 375, 381, 611, 675, 975, 980] [76, 82, 376, 383, 614, 676, 976, 981] [77, 84, 377, 380, 612, 677, 977, 982] [78, 81, 378, 382, 610, 678, 978, 983] [79, 83, 379, 384, 613, 679, 979, 984] [80, 85, 380, 386, 616, 680, 980, 985] [81, 87, 381, 388, 619, 681, 981, 986] [82, 89, 382, 385, 617, 682, 982, 987] [83, 86, 383, 387, 615, 683, 983, 988] [84, 88, 384, 389, 618, 684, 984, 989] [85, 90, 385, 391, 621, 685, 985, 990] [86, 92, 386, 393, 624, 686, 986, 991] [87, 94, 387, 390, 622, 687, 987, 992] [88, 91, 388, 392, 620, 688, 988, 993] [89, 93, 389, 394, 623, 689, 989, 994] [90, 95, 390, 396, 626, 690, 990, 995] [91, 97, 391, 398, 629, 691, 991, 996] [92, 99, 392, 395, 627, 692, 992, 997] [93, 96, 393, 397, 625, 693, 993, 998] [94, 98, 394, 399, 628, 694, 994, 999] [0, 95, 301, 395, 631, 695, 900, 995] [2, 96, 303, 396, 634, 696, 901, 996] [4, 97, 300, 397, 632, 697, 902, 997] [1, 98, 302, 398, 630, 698, 903, 998] [100, 105, 400, 406, 700, 736, 900, 916] [101, 107, 401, 408, 701, 739, 901, 917] [102, 109, 402, 405, 702, 737, 902, 918] [103, 106, 403, 407, 703, 735, 903, 919] [104, 108, 404, 409, 704, 738, 904, 915] [105, 110, 405, 411, 705, 741, 905, 922] [106, 112, 406, 413, 706, 744, 906, 923] [107, 114, 407, 410, 707, 742, 907, 924] [108, 111, 408, 412, 708, 740, 908, 920] [109, 113, 409, 414, 709, 743, 909, 921] [110, 115, 410, 416, 710, 746, 910, 929] [111, 117, 411, 418, 711, 749, 911, 925] [112, 119, 412, 415, 712, 747, 912, 926] [113, 116, 413, 417, 713, 745, 913, 927] [114, 118, 414, 419, 714, 748, 914, 928] [115, 120, 415, 421, 715, 751, 915, 933] [116, 122, 416, 423, 716, 754, 916, 934] [117, 124, 417, 420, 717, 752, 917, 930] [118, 121, 418, 422, 718, 750, 918, 931] [119, 123, 419, 424, 719, 753, 919, 932] [120, 125, 420, 426, 720, 756, 920, 936] [121, 127, 421, 428, 721, 759, 921, 937] [122, 129, 422, 425, 722, 757, 922, 938] [123, 126, 423, 427, 723, 755, 923, 939] [124, 128, 424, 429, 724, 758, 924, 935] [125, 130, 425, 431, 725, 761, 925, 942] [126, 132, 426, 433, 726, 764, 926, 943] [127, 134, 427, 430, 727, 762, 927, 944] [128, 131, 428, 432, 728, 760, 928, 940] [129, 133, 429, 434, 729, 763, 929, 941] [130, 135, 430, 436, 730, 766, 930, 949] [131, 137, 431, 438, 731, 769, 931, 945] [132, 139, 432, 435, 732, 767, 932, 946] [133, 136, 433, 437, 733, 765, 933, 947] [134, 138, 434, 439, 734, 768, 934, 948] [135, 140, 435, 441, 735, 771, 935, 953] [136, 142, 436, 443, 736, 774, 936, 954] [137, 144, 437, 440, 737, 772, 937, 950] [138, 141, 438, 442, 738, 770, 938, 951] [139, 143, 439, 444, 739, 773, 939, 952] [140, 145, 440, 446, 740, 776, 940, 956] [141, 147, 441, 448, 741, 779, 941, 957] [142, 149, 442, 445, 742, 777, 942, 958] [143, 146, 443, 447, 743, 775, 943, 959] [144, 148, 444, 449, 744, 778, 944, 955] [145, 150, 445, 451, 745, 781, 945, 962] [146, 152, 446, 453, 746, 784, 946, 963] [147, 154, 447, 450, 747, 782, 947, 964] [148, 151, 448, 452, 748, 780, 948, 960] [149, 153, 449, 454, 749, 783, 949, 961] [150, 155, 450, 456, 750, 786, 950, 969] [151, 157, 451, 458, 751, 789, 951, 965] [152, 159, 452, 455, 752, 787, 952, 966] [153, 156, 453, 457, 753, 785, 953, 967] [154, 158, 454, 459, 754, 788, 954, 968] [155, 160, 455, 461, 755, 791, 955, 973] [156, 162, 456, 463, 756, 794, 956, 974] [157, 164, 457, 460, 757, 792, 957, 970] [158, 161, 458, 462, 758, 790, 958, 971] [159, 163, 459, 464, 759, 793, 959, 972] [160, 165, 460, 466, 760, 796, 960, 976] [161, 167, 461, 468, 761, 799, 961, 977] [162, 169, 462, 465, 762, 797, 962, 978] [163, 166, 463, 467, 763, 795, 963, 979] [164, 168, 464, 469, 764, 798, 964, 975] [165, 170, 465, 471, 701, 765, 965, 982] [166, 172, 466, 473, 704, 766, 966, 983] [167, 174, 467, 470, 702, 767, 967, 984] [168, 171, 468, 472, 700, 768, 968, 980] [169, 173, 469, 474, 703, 769, 969, 981] [170, 175, 470, 476, 706, 770, 970, 989] [171, 177, 471, 478, 709, 771, 971, 985] [172, 179, 472, 475, 707, 772, 972, 986] [173, 176, 473, 477, 705, 773, 973, 987] [174, 178, 474, 479, 708, 774, 974, 988] [175, 180, 475, 481, 711, 775, 975, 993] [176, 182, 476, 483, 714, 776, 976, 994] [177, 184, 477, 480, 712, 777, 977, 990] [178, 181, 478, 482, 710, 778, 978, 991] [179, 183, 479, 484, 713, 779, 979, 992] [180, 185, 480, 486, 716, 780, 980, 996] [181, 187, 481, 488, 719, 781, 981, 997] [182, 189, 482, 485, 717, 782, 982, 998] [183, 186, 483, 487, 715, 783, 983, 999] [184, 188, 484, 489, 718, 784, 984, 995] [185, 190, 485, 491, 721, 785, 902, 985] [186, 192, 486, 493, 724, 786, 903, 986] [187, 194, 487, 490, 722, 787, 904, 987] [188, 191, 488, 492, 720, 788, 900, 988] [189, 193, 489, 494, 723, 789, 901, 989] [190, 195, 490, 496, 726, 790, 909, 990] [191, 197, 491, 498, 729, 791, 905, 991] [192, 199, 492, 495, 727, 792, 906, 992] [193, 196, 493, 497, 725, 793, 907, 993] [194, 198, 494, 499, 728, 794, 908, 994] [100, 195, 401, 495, 731, 795, 913, 995] [102, 196, 403, 496, 734, 796, 914, 996] [104, 197, 400, 497, 732, 797, 910, 997] [101, 198, 402, 498, 730, 798, 911, 998] [200, 205, 500, 506, 800, 836, 900, 919] [201, 207, 501, 508, 801, 839, 901, 915] [202, 209, 502, 505, 802, 837, 902, 916] [203, 206, 503, 507, 803, 835, 903, 917] [204, 208, 504, 509, 804, 838, 904, 918] [205, 210, 505, 511, 805, 841, 905, 923] [206, 212, 506, 513, 806, 844, 906, 924] [207, 214, 507, 510, 807, 842, 907, 920] [208, 211, 508, 512, 808, 840, 908, 921] [209, 213, 509, 514, 809, 843, 909, 922] [210, 215, 510, 516, 810, 846, 910, 926] [211, 217, 511, 518, 811, 849, 911, 927] [212, 219, 512, 515, 812, 847, 912, 928] [213, 216, 513, 517, 813, 845, 913, 929] [214, 218, 514, 519, 814, 848, 914, 925] [215, 220, 515, 521, 815, 851, 915, 932] [216, 222, 516, 523, 816, 854, 916, 933] [217, 224, 517, 520, 817, 852, 917, 934] [218, 221, 518, 522, 818, 850, 918, 930] [219, 223, 519, 524, 819, 853, 919, 931] [220, 225, 520, 526, 820, 856, 920, 939] [221, 227, 521, 528, 821, 859, 921, 935] [222, 229, 522, 525, 822, 857, 922, 936] [223, 226, 523, 527, 823, 855, 923, 937] [224, 228, 524, 529, 824, 858, 924, 938] [225, 230, 525, 531, 825, 861, 925, 943] [226, 232, 526, 533, 826, 864, 926, 944] [227, 234, 527, 530, 827, 862, 927, 940] [228, 231, 528, 532, 828, 860, 928, 941] [229, 233, 529, 534, 829, 863, 929, 942] [230, 235, 530, 536, 830, 866, 930, 946] [231, 237, 531, 538, 831, 869, 931, 947] [232, 239, 532, 535, 832, 867, 932, 948] [233, 236, 533, 537, 833, 865, 933, 949] [234, 238, 534, 539, 834, 868, 934, 945] [235, 240, 535, 541, 835, 871, 935, 952] [236, 242, 536, 543, 836, 874, 936, 953] [237, 244, 537, 540, 837, 872, 937, 954] [238, 241, 538, 542, 838, 870, 938, 950] [239, 243, 539, 544, 839, 873, 939, 951] [240, 245, 540, 546, 840, 876, 940, 959] [241, 247, 541, 548, 841, 879, 941, 955] [242, 249, 542, 545, 842, 877, 942, 956] [243, 246, 543, 547, 843, 875, 943, 957] [244, 248, 544, 549, 844, 878, 944, 958] [245, 250, 545, 551, 845, 881, 945, 963] [246, 252, 546, 553, 846, 884, 946, 964] [247, 254, 547, 550, 847, 882, 947, 960] [248, 251, 548, 552, 848, 880, 948, 961] [249, 253, 549, 554, 849, 883, 949, 962] [250, 255, 550, 556, 850, 886, 950, 966] [251, 257, 551, 558, 851, 889, 951, 967] [252, 259, 552, 555, 852, 887, 952, 968] [253, 256, 553, 557, 853, 885, 953, 969] [254, 258, 554, 559, 854, 888, 954, 965] [255, 260, 555, 561, 855, 891, 955, 972] [256, 262, 556, 563, 856, 894, 956, 973] [257, 264, 557, 560, 857, 892, 957, 974] [258, 261, 558, 562, 858, 890, 958, 970] [259, 263, 559, 564, 859, 893, 959, 971] [260, 265, 560, 566, 860, 896, 960, 979] [261, 267, 561, 568, 861, 899, 961, 975] [262, 269, 562, 565, 862, 897, 962, 976] [263, 266, 563, 567, 863, 895, 963, 977] [264, 268, 564, 569, 864, 898, 964, 978] [265, 270, 565, 571, 801, 865, 965, 983] [266, 272, 566, 573, 804, 866, 966, 984] [267, 274, 567, 570, 802, 867, 967, 980] [268, 271, 568, 572, 800, 868, 968, 981] [269, 273, 569, 574, 803, 869, 969, 982] [270, 275, 570, 576, 806, 870, 970, 986] [271, 277, 571, 578, 809, 871, 971, 987] [272, 279, 572, 575, 807, 872, 972, 988] [273, 276, 573, 577, 805, 873, 973, 989] [274, 278, 574, 579, 808, 874, 974, 985] [275, 280, 575, 581, 811, 875, 975, 992] [276, 282, 576, 583, 814, 876, 976, 993] [277, 284, 577, 580, 812, 877, 977, 994] [278, 281, 578, 582, 810, 878, 978, 990] [279, 283, 579, 584, 813, 879, 979, 991] [280, 285, 580, 586, 816, 880, 980, 999] [281, 287, 581, 588, 819, 881, 981, 995] [282, 289, 582, 585, 817, 882, 982, 996] [283, 286, 583, 587, 815, 883, 983, 997] [284, 288, 584, 589, 818, 884, 984, 998] [285, 290, 585, 591, 821, 885, 903, 985] [286, 292, 586, 593, 824, 886, 904, 986] [287, 294, 587, 590, 822, 887, 900, 987] [288, 291, 588, 592, 820, 888, 901, 988] [289, 293, 589, 594, 823, 889, 902, 989] [290, 295, 590, 596, 826, 890, 906, 990] [291, 297, 591, 598, 829, 891, 907, 991] [292, 299, 592, 595, 827, 892, 908, 992] [293, 296, 593, 597, 825, 893, 909, 993] [294, 298, 594, 599, 828, 894, 905, 994] [200, 295, 501, 595, 831, 895, 912, 995] [202, 296, 503, 596, 834, 896, 913, 996] [204, 297, 500, 597, 832, 897, 914, 997] [201, 298, 502, 598, 830, 898, 910, 998]
H_Z (297 checks, sparse supports)
[0, 95, 100, 188, 200, 287, 900, 995] [1, 96, 101, 189, 201, 288, 901, 998] [2, 97, 102, 185, 202, 289, 902, 996] [3, 98, 103, 186, 203, 285, 903, 999] [4, 99, 104, 187, 204, 286, 904, 997] [0, 5, 105, 191, 205, 294, 900, 905] [1, 6, 106, 192, 206, 290, 903, 906] [2, 7, 107, 193, 207, 291, 901, 907] [3, 8, 108, 194, 208, 292, 904, 908] [4, 9, 109, 190, 209, 293, 902, 909] [5, 10, 110, 197, 210, 298, 905, 910] [6, 11, 111, 198, 211, 299, 908, 911] [7, 12, 112, 199, 212, 295, 906, 912] [8, 13, 113, 195, 213, 296, 909, 913] [9, 14, 114, 196, 214, 297, 907, 914] [10, 15, 104, 115, 201, 215, 910, 915] [11, 16, 100, 116, 202, 216, 913, 916] [12, 17, 101, 117, 203, 217, 911, 917] [13, 18, 102, 118, 204, 218, 914, 918] [14, 19, 103, 119, 200, 219, 912, 919] [15, 20, 108, 120, 207, 220, 915, 920] [16, 21, 109, 121, 208, 221, 918, 921] [17, 22, 105, 122, 209, 222, 916, 922] [18, 23, 106, 123, 205, 223, 919, 923] [19, 24, 107, 124, 206, 224, 917, 924] [20, 25, 111, 125, 214, 225, 920, 925] [21, 26, 112, 126, 210, 226, 923, 926] [22, 27, 113, 127, 211, 227, 921, 927] [23, 28, 114, 128, 212, 228, 924, 928] [24, 29, 110, 129, 213, 229, 922, 929] [25, 30, 117, 130, 218, 230, 925, 930] [26, 31, 118, 131, 219, 231, 928, 931] [27, 32, 119, 132, 215, 232, 926, 932] [28, 33, 115, 133, 216, 233, 929, 933] [29, 34, 116, 134, 217, 234, 927, 934] [30, 35, 124, 135, 221, 235, 930, 935] [31, 36, 120, 136, 222, 236, 933, 936] [32, 37, 121, 137, 223, 237, 931, 937] [33, 38, 122, 138, 224, 238, 934, 938] [34, 39, 123, 139, 220, 239, 932, 939] [35, 40, 128, 140, 227, 240, 935, 940] [36, 41, 129, 141, 228, 241, 938, 941] [37, 42, 125, 142, 229, 242, 936, 942] [38, 43, 126, 143, 225, 243, 939, 943] [39, 44, 127, 144, 226, 244, 937, 944] [40, 45, 131, 145, 234, 245, 940, 945] [41, 46, 132, 146, 230, 246, 943, 946] [42, 47, 133, 147, 231, 247, 941, 947] [43, 48, 134, 148, 232, 248, 944, 948] [44, 49, 130, 149, 233, 249, 942, 949] [45, 50, 137, 150, 238, 250, 945, 950] [46, 51, 138, 151, 239, 251, 948, 951] [47, 52, 139, 152, 235, 252, 946, 952] [48, 53, 135, 153, 236, 253, 949, 953] [49, 54, 136, 154, 237, 254, 947, 954] [50, 55, 144, 155, 241, 255, 950, 955] [51, 56, 140, 156, 242, 256, 953, 956] [52, 57, 141, 157, 243, 257, 951, 957] [53, 58, 142, 158, 244, 258, 954, 958] [54, 59, 143, 159, 240, 259, 952, 959] [55, 60, 148, 160, 247, 260, 955, 960] [56, 61, 149, 161, 248, 261, 958, 961] [57, 62, 145, 162, 249, 262, 956, 962] [58, 63, 146, 163, 245, 263, 959, 963] [59, 64, 147, 164, 246, 264, 957, 964] [60, 65, 151, 165, 254, 265, 960, 965] [61, 66, 152, 166, 250, 266, 963, 966] [62, 67, 153, 167, 251, 267, 961, 967] [63, 68, 154, 168, 252, 268, 964, 968] [64, 69, 150, 169, 253, 269, 962, 969] [65, 70, 157, 170, 258, 270, 965, 970] [66, 71, 158, 171, 259, 271, 968, 971] [67, 72, 159, 172, 255, 272, 966, 972] [68, 73, 155, 173, 256, 273, 969, 973] [69, 74, 156, 174, 257, 274, 967, 974] [70, 75, 164, 175, 261, 275, 970, 975] [71, 76, 160, 176, 262, 276, 973, 976] [72, 77, 161, 177, 263, 277, 971, 977] [73, 78, 162, 178, 264, 278, 974, 978] [74, 79, 163, 179, 260, 279, 972, 979] [75, 80, 168, 180, 267, 280, 975, 980] [76, 81, 169, 181, 268, 281, 978, 981] [77, 82, 165, 182, 269, 282, 976, 982] [78, 83, 166, 183, 265, 283, 979, 983] [79, 84, 167, 184, 266, 284, 977, 984] [80, 85, 171, 185, 274, 285, 980, 985] [81, 86, 172, 186, 270, 286, 983, 986] [82, 87, 173, 187, 271, 287, 981, 987] [83, 88, 174, 188, 272, 288, 984, 988] [84, 89, 170, 189, 273, 289, 982, 989] [85, 90, 177, 190, 278, 290, 985, 990] [86, 91, 178, 191, 279, 291, 988, 991] [87, 92, 179, 192, 275, 292, 986, 992] [88, 93, 175, 193, 276, 293, 989, 993] [89, 94, 176, 194, 277, 294, 987, 994] [90, 95, 184, 195, 281, 295, 990, 995] [91, 96, 180, 196, 282, 296, 993, 996] [92, 97, 181, 197, 283, 297, 991, 997] [93, 98, 182, 198, 284, 298, 994, 998] [300, 395, 400, 488, 500, 587, 900, 997] [301, 396, 401, 489, 501, 588, 901, 995] [302, 397, 402, 485, 502, 589, 902, 998] [303, 398, 403, 486, 503, 585, 903, 996] [304, 399, 404, 487, 504, 586, 904, 999] [300, 305, 405, 491, 505, 594, 902, 905] [301, 306, 406, 492, 506, 590, 900, 906] [302, 307, 407, 493, 507, 591, 903, 907] [303, 308, 408, 494, 508, 592, 901, 908] [304, 309, 409, 490, 509, 593, 904, 909] [305, 310, 410, 497, 510, 598, 907, 910] [306, 311, 411, 498, 511, 599, 905, 911] [307, 312, 412, 499, 512, 595, 908, 912] [308, 313, 413, 495, 513, 596, 906, 913] [309, 314, 414, 496, 514, 597, 909, 914] [310, 315, 404, 415, 501, 515, 912, 915] [311, 316, 400, 416, 502, 516, 910, 916] [312, 317, 401, 417, 503, 517, 913, 917] [313, 318, 402, 418, 504, 518, 911, 918] [314, 319, 403, 419, 500, 519, 914, 919] [315, 320, 408, 420, 507, 520, 917, 920] [316, 321, 409, 421, 508, 521, 915, 921] [317, 322, 405, 422, 509, 522, 918, 922] [318, 323, 406, 423, 505, 523, 916, 923] [319, 324, 407, 424, 506, 524, 919, 924] [320, 325, 411, 425, 514, 525, 922, 925] [321, 326, 412, 426, 510, 526, 920, 926] [322, 327, 413, 427, 511, 527, 923, 927] [323, 328, 414, 428, 512, 528, 921, 928] [324, 329, 410, 429, 513, 529, 924, 929] [325, 330, 417, 430, 518, 530, 927, 930] [326, 331, 418, 431, 519, 531, 925, 931] [327, 332, 419, 432, 515, 532, 928, 932] [328, 333, 415, 433, 516, 533, 926, 933] [329, 334, 416, 434, 517, 534, 929, 934] [330, 335, 424, 435, 521, 535, 932, 935] [331, 336, 420, 436, 522, 536, 930, 936] [332, 337, 421, 437, 523, 537, 933, 937] [333, 338, 422, 438, 524, 538, 931, 938] [334, 339, 423, 439, 520, 539, 934, 939] [335, 340, 428, 440, 527, 540, 937, 940] [336, 341, 429, 441, 528, 541, 935, 941] [337, 342, 425, 442, 529, 542, 938, 942] [338, 343, 426, 443, 525, 543, 936, 943] [339, 344, 427, 444, 526, 544, 939, 944] [340, 345, 431, 445, 534, 545, 942, 945] [341, 346, 432, 446, 530, 546, 940, 946] [342, 347, 433, 447, 531, 547, 943, 947] [343, 348, 434, 448, 532, 548, 941, 948] [344, 349, 430, 449, 533, 549, 944, 949] [345, 350, 437, 450, 538, 550, 947, 950] [346, 351, 438, 451, 539, 551, 945, 951] [347, 352, 439, 452, 535, 552, 948, 952] [348, 353, 435, 453, 536, 553, 946, 953] [349, 354, 436, 454, 537, 554, 949, 954] [350, 355, 444, 455, 541, 555, 952, 955] [351, 356, 440, 456, 542, 556, 950, 956] [352, 357, 441, 457, 543, 557, 953, 957] [353, 358, 442, 458, 544, 558, 951, 958] [354, 359, 443, 459, 540, 559, 954, 959] [355, 360, 448, 460, 547, 560, 957, 960] [356, 361, 449, 461, 548, 561, 955, 961] [357, 362, 445, 462, 549, 562, 958, 962] [358, 363, 446, 463, 545, 563, 956, 963] [359, 364, 447, 464, 546, 564, 959, 964] [360, 365, 451, 465, 554, 565, 962, 965] [361, 366, 452, 466, 550, 566, 960, 966] [362, 367, 453, 467, 551, 567, 963, 967] [363, 368, 454, 468, 552, 568, 961, 968] [364, 369, 450, 469, 553, 569, 964, 969] [365, 370, 457, 470, 558, 570, 967, 970] [366, 371, 458, 471, 559, 571, 965, 971] [367, 372, 459, 472, 555, 572, 968, 972] [368, 373, 455, 473, 556, 573, 966, 973] [369, 374, 456, 474, 557, 574, 969, 974] [370, 375, 464, 475, 561, 575, 972, 975] [371, 376, 460, 476, 562, 576, 970, 976] [372, 377, 461, 477, 563, 577, 973, 977] [373, 378, 462, 478, 564, 578, 971, 978] [374, 379, 463, 479, 560, 579, 974, 979] [375, 380, 468, 480, 567, 580, 977, 980] [376, 381, 469, 481, 568, 581, 975, 981] [377, 382, 465, 482, 569, 582, 978, 982] [378, 383, 466, 483, 565, 583, 976, 983] [379, 384, 467, 484, 566, 584, 979, 984] [380, 385, 471, 485, 574, 585, 982, 985] [381, 386, 472, 486, 570, 586, 980, 986] [382, 387, 473, 487, 571, 587, 983, 987] [383, 388, 474, 488, 572, 588, 981, 988] [384, 389, 470, 489, 573, 589, 984, 989] [385, 390, 477, 490, 578, 590, 987, 990] [386, 391, 478, 491, 579, 591, 985, 991] [387, 392, 479, 492, 575, 592, 988, 992] [388, 393, 475, 493, 576, 593, 986, 993] [389, 394, 476, 494, 577, 594, 989, 994] [390, 395, 484, 495, 581, 595, 992, 995] [391, 396, 480, 496, 582, 596, 990, 996] [392, 397, 481, 497, 583, 597, 993, 997] [393, 398, 482, 498, 584, 598, 991, 998] [600, 695, 700, 788, 800, 887, 900, 968] [601, 696, 701, 789, 801, 888, 901, 965] [602, 697, 702, 785, 802, 889, 902, 967] [603, 698, 703, 786, 803, 885, 903, 969] [604, 699, 704, 787, 804, 886, 904, 966] [600, 605, 705, 791, 805, 894, 905, 973] [601, 606, 706, 792, 806, 890, 906, 970] [602, 607, 707, 793, 807, 891, 907, 972] [603, 608, 708, 794, 808, 892, 908, 974] [604, 609, 709, 790, 809, 893, 909, 971] [605, 610, 710, 797, 810, 898, 910, 978] [606, 611, 711, 798, 811, 899, 911, 975] [607, 612, 712, 799, 812, 895, 912, 977] [608, 613, 713, 795, 813, 896, 913, 979] [609, 614, 714, 796, 814, 897, 914, 976] [610, 615, 704, 715, 801, 815, 915, 983] [611, 616, 700, 716, 802, 816, 916, 980] [612, 617, 701, 717, 803, 817, 917, 982] [613, 618, 702, 718, 804, 818, 918, 984] [614, 619, 703, 719, 800, 819, 919, 981] [615, 620, 708, 720, 807, 820, 920, 988] [616, 621, 709, 721, 808, 821, 921, 985] [617, 622, 705, 722, 809, 822, 922, 987] [618, 623, 706, 723, 805, 823, 923, 989] [619, 624, 707, 724, 806, 824, 924, 986] [620, 625, 711, 725, 814, 825, 925, 993] [621, 626, 712, 726, 810, 826, 926, 990] [622, 627, 713, 727, 811, 827, 927, 992] [623, 628, 714, 728, 812, 828, 928, 994] [624, 629, 710, 729, 813, 829, 929, 991] [625, 630, 717, 730, 818, 830, 930, 998] [626, 631, 718, 731, 819, 831, 931, 995] [627, 632, 719, 732, 815, 832, 932, 997] [628, 633, 715, 733, 816, 833, 933, 999] [629, 634, 716, 734, 817, 834, 934, 996] [630, 635, 724, 735, 821, 835, 903, 935] [631, 636, 720, 736, 822, 836, 900, 936] [632, 637, 721, 737, 823, 837, 902, 937] [633, 638, 722, 738, 824, 838, 904, 938] [634, 639, 723, 739, 820, 839, 901, 939] [635, 640, 728, 740, 827, 840, 908, 940] [636, 641, 729, 741, 828, 841, 905, 941] [637, 642, 725, 742, 829, 842, 907, 942] [638, 643, 726, 743, 825, 843, 909, 943] [639, 644, 727, 744, 826, 844, 906, 944] [640, 645, 731, 745, 834, 845, 913, 945] [641, 646, 732, 746, 830, 846, 910, 946] [642, 647, 733, 747, 831, 847, 912, 947] [643, 648, 734, 748, 832, 848, 914, 948] [644, 649, 730, 749, 833, 849, 911, 949] [645, 650, 737, 750, 838, 850, 918, 950] [646, 651, 738, 751, 839, 851, 915, 951] [647, 652, 739, 752, 835, 852, 917, 952] [648, 653, 735, 753, 836, 853, 919, 953] [649, 654, 736, 754, 837, 854, 916, 954] [650, 655, 744, 755, 841, 855, 923, 955] [651, 656, 740, 756, 842, 856, 920, 956] [652, 657, 741, 757, 843, 857, 922, 957] [653, 658, 742, 758, 844, 858, 924, 958] [654, 659, 743, 759, 840, 859, 921, 959] [655, 660, 748, 760, 847, 860, 928, 960] [656, 661, 749, 761, 848, 861, 925, 961] [657, 662, 745, 762, 849, 862, 927, 962] [658, 663, 746, 763, 845, 863, 929, 963] [659, 664, 747, 764, 846, 864, 926, 964] [660, 665, 751, 765, 854, 865, 933, 965] [661, 666, 752, 766, 850, 866, 930, 966] [662, 667, 753, 767, 851, 867, 932, 967] [663, 668, 754, 768, 852, 868, 934, 968] [664, 669, 750, 769, 853, 869, 931, 969] [665, 670, 757, 770, 858, 870, 938, 970] [666, 671, 758, 771, 859, 871, 935, 971] [667, 672, 759, 772, 855, 872, 937, 972] [668, 673, 755, 773, 856, 873, 939, 973] [669, 674, 756, 774, 857, 874, 936, 974] [670, 675, 764, 775, 861, 875, 943, 975] [671, 676, 760, 776, 862, 876, 940, 976] [672, 677, 761, 777, 863, 877, 942, 977] [673, 678, 762, 778, 864, 878, 944, 978] [674, 679, 763, 779, 860, 879, 941, 979] [675, 680, 768, 780, 867, 880, 948, 980] [676, 681, 769, 781, 868, 881, 945, 981] [677, 682, 765, 782, 869, 882, 947, 982] [678, 683, 766, 783, 865, 883, 949, 983] [679, 684, 767, 784, 866, 884, 946, 984] [680, 685, 771, 785, 874, 885, 953, 985] [681, 686, 772, 786, 870, 886, 950, 986] [682, 687, 773, 787, 871, 887, 952, 987] [683, 688, 774, 788, 872, 888, 954, 988] [684, 689, 770, 789, 873, 889, 951, 989] [685, 690, 777, 790, 878, 890, 958, 990] [686, 691, 778, 791, 879, 891, 955, 991] [687, 692, 779, 792, 875, 892, 957, 992] [688, 693, 775, 793, 876, 893, 959, 993] [689, 694, 776, 794, 877, 894, 956, 994] [690, 695, 784, 795, 881, 895, 963, 995] [691, 696, 780, 796, 882, 896, 960, 996] [692, 697, 781, 797, 883, 897, 962, 997] [693, 698, 782, 798, 884, 898, 964, 998]
Code ID 1000-406-6 · download JSON · raw on GitHub