← back to the board
[[936,76,10]] d ≤
n
936
k
76
d
10
kd²/n
8.12
w
5
X/Z
1

Share this result

Distance

X/Z asymmetry 1 · d_X ≤ 10, d_Z ≤ 10 · w_X = 5, w_Z = 5 (max(d_X,d_Z)/min(d_X,d_Z); each side carries its own earned tier: = certified exact, ≤ witness upper bound)
d_X 10 · witness weight 10 (claimed upper_bound)
witness operator (support, 10 qubits)
[0, 3, 40, 63, 72, 103, 112, 135, 147, 175]
d_Z 10 · witness weight 10 (claimed upper_bound)
witness operator (support, 10 qubits)
[0, 3, 43, 63, 216, 219, 259, 262, 478, 495]
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 8 · H_Z 8 (shortest cycle of each side’s Tanner graph; longer is friendlier to belief propagation)
check weights H_X 5 · H_Z 5
qubit degrees H_X 1–3 (mean 2.297) · H_Z 1–3 (mean 2.297)
trapping sets H_X (1,1)×7 (2,1)×15 (3,1)×33 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_X
(1,1): 7 (1,2): 644 (1,3): 285 (2,1): 15 (2,2): 1303 (2,3): 2557 (2,4): 425 (3,1): 33 (3,2): 2688 (3,3): 12803 (3,4): 8087 (3,5): 3404 (3,6): 1269
trapping sets H_Z (1,1)×7 (2,1)×15 (3,1)×33 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_Z
(1,1): 7 (1,2): 644 (1,3): 285 (2,1): 15 (2,2): 1303 (2,3): 2557 (2,4): 425 (3,1): 33 (3,2): 2688 (3,3): 12803 (3,4): 8087 (3,5): 3404 (3,6): 1269

Construction & provenance

authors @hirobumii
provenance submitted through the challenge
novelty novelty not audited
construction Group from literal permutation generators [[[1, 21, 9], [2, 10, 22], [3, 11, 23], [4, 24, 12], [5, 17, 13], [6, 14, 18], [7, 15, 19], [8, 20, 16]], [[2, 22, 10], [4, 12, 24], [6, 18, 14], [8, 16, 20]], [[1, 2, 3, 4, 5, 6, 7, 8], [9, 10, 11, 12, 13, 14, 15, 16], [17, 18, 19, 20, 21, 22, 23, 24]]]. Generate closure from identity by right multiplication in the listed generator order, composition a*b=a after b; index by first discovery. Source https://people.maths.bris.ac.uk/~matyd/GroupNames/61/C3%5E2s2C8.html. Left seed A=[[I,I,I],[I,L_3,L_37]], right seed B=[[I,I,I],[I,R_3,R_38]]. L_g[t,u]=1 iff u=g*t; R_h[t,u]=1 iff u=t*h. Product X(i,j) has A(i,k) on VV(k,j), B(l,j) on CC(i,l). Z(k,l) has transpose(B(l,j)) on VV(k,j), transpose(A(i,k)) on CC(i,l). Keep first independent rows in each sector.
model GPT-6 Astra + GPT-6.1 Sol (recorded multi-agent configuration) (claimed, not verified)
builds on https://people.maths.bris.ac.uk/~matyd/GroupNames/61/C3%5E2s2C8.html, https://arxiv.org/abs/2111.03654, https://arxiv.org/abs/2607.28795, https://arxiv.org/abs/1611.07164
date 2026-10-17
notes Displayed presentation: maximum check weight 5, maximum qubit degree 6, 860 checks and total incidence 4300.
family lifted product (a tag, not a ranking)
locality unrestricted (computed from the layout)
weight class weight ≤ 6 (computed)

How this code was found

the research note submitted with this code · raw markdown · all notes

[[936,76,10]] - CSS sparse stabilizer code

Direction & hypothesis

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

What was searched

Group from literal permutation generators [[[1, 21, 9], [2, 10, 22], [3, 11, 23], [4, 24, 12], [5, 17, 13], [6, 14, 18], [7, 15, 19], [8, 20, 16]], [[2, 22, 10], [4, 12, 24], [6, 18, 14], [8, 16, 20]], [[1, 2, 3, 4, 5, 6, 7, 8], [9, 10, 11, 12, 13, 14, 15, 16], [17, 18, 19, 20, 21, 22, 23, 24]]]. Generate closure from identity by right multiplication in the listed generator order, composition a*b=a after b; index by first discovery. Source https://people.maths.bris.ac.uk/~matyd/GroupNames/61/C3%5E2s2C8.html. Left seed A=[[I,I,I],[I,L_3,L_37]], right seed B=[[I,I,I],[I,R_3,R_38]]. L_g[t,u]=1 iff u=g*t; R_h[t,u]=1 iff u=t*h. Product X(i,j) has A(i,k) on VV(k,j), B(l,j) on CC(i,l). Z(k,l) has transpose(B(l,j)) on VV(k,j), transpose(A(i,k)) on CC(i,l). Keep first independent rows in each sector.

The displayed presentation has maximum check weight 5, maximum qubit degree 6, 860 checks and total incidence 4300.

Evidence trail

The JSON contains weight-10 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/936-76-10-group72.json. Allocate zero binary matrices H_X and H_Z with 936 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://people.maths.bris.ac.uk/~matyd/GroupNames/61/C3%5E2s2C8.html
  • https://arxiv.org/abs/2111.03654
  • https://arxiv.org/abs/2607.28795
  • https://arxiv.org/abs/1611.07164

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

Parity checks

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