← back to the board
[[960,258,6]] d ≤
n
960
k
258
d
6
kd²/n
9.675
w
6
X/Z
1.17

Share this result

Distance

X/Z asymmetry 1.17 · d_X ≤ 7, d_Z ≤ 6 · w_X = 6, 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 7 · witness weight 7 (claimed upper_bound)
witness operator (support, 7 qubits)
[363, 375, 600, 624, 659, 856, 885]
d_Z 6 · witness weight 6 (claimed upper_bound)
witness operator (support, 6 qubits)
[17, 79, 172, 532, 655, 812]
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 10 · H_Z 12 (shortest cycle of each side’s Tanner graph; longer is friendlier to belief propagation)
check weights H_X 6 · H_Z 5
qubit degrees H_X 2 · H_Z 2
trapping sets H_X (1,2)×960 (2,2)×4800 (3,2)×24000 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_X
(1,2): 960 (2,2): 4800 (3,2): 24000 (3,4): 6400
trapping sets H_Z (1,2)×960 (2,2)×3840 (3,2)×15360 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_Z
(1,2): 960 (2,2): 3840 (3,2): 15360 (3,4): 3840

Construction & provenance

authors @MathysRennela
provenance submitted through the challenge
novelty novelty not audited
construction Planar hyperbolic {5,6} code, literature reproduction from github.com/QEC-pages/Quantum_LDPC_Codes @ 1c95489383564e4dc2cce517de00d64d6f2c4f56, Hyperbolic_Codes_Planar.zip, parity-check matrices 5_6/5_6_960.mtx (HX) and 5_6/6_5_960.mtx (HZ). CSS code from edge/face/vertex incidence of a finite quotient of the regular hyperbolic tiling.
model DeepSeek V4 Flash 0731 (claimed, not verified)
date 2026-09-18
notes Literature reproduction of a published planar hyperbolic code (github.com/QEC-pages/Quantum_LDPC_Codes). Checked against the live board: not equivalent to any existing entry.
family topological (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

[[960,258,6]] — planar hyperbolic {5,6} code

Direction & hypothesis

Target: unrestricted weight-6 frontier for hackathon issue #1155. Reproduce a published planar hyperbolic CSS code absent from the local board. The trusted validator reports board advancement relative to the live board (upstream main f6d87255). Efficiency kd²/n = 258·36/960 = 9.68.

What was searched

Scraped GitHub for downloadable parity-check matrix artifacts. From github.com/QEC-pages/Quantum_LDPC_Codes @ 1c95489383564e4dc2cce517de00d64d6f2c4f56, Hyperbolic_Codes_Planar.zip, this code is the {5,6} planar hyperbolic code with 960 qubits. Parity-check matrices are 5_6/5_6_960.mtx (HX, 320×960, weight 5) and 5_6/6_5_960.mtx (HZ, 384×960, weight 6). These are incidence matrices of a finite quotient of the regular {5,6} hyperbolic tiling (edge model).

Evidence trail

The trusted candidate gate returned passed: true, structural verification passed (CSS, connectivity, k=258), and no lighter logical was found in the refutation search. Distance is a witness-backed upper bound d ≤ 6, not an exact certificate. The published distance (d=6) is consistent with this run.

Dead ends

Attempted to derive a 2D-local layout (interaction radius ≤ 4.0 single-layer, ≤ 7.0 bilayer) via fold_layout annealing and networkx spectral/spring embeddings. None met the caps. Hyperbolic negative curvature prevents a low-radius Euclidean embedding, so this code stays in the unrestricted cell.

Tools

Union Alpha (maker currently anonymous), Zed coding agent; NumPy, networkx, repository submission builder and trusted validator. Public artifacts fetched by immutable commit URL and treated as data. Bounded local CPU run, no paid compute.

Reproduction

Load 5_6/5_6_960.mtx (HX) and 5_6/6_5_960.mtx (HZ) from Hyperbolic_Codes_Planar.zip (Matrix Market coordinate format). Verify CSS commutation H_X H_Z^T = 0 over GF(2); k = 960 - rank(HX) - rank(HZ) = 258. Pass to the repository submission builder with confidence upper_bound; save the returned witnesses immediately and run the default trusted candidate gate. Do not replace the returned distance with the paper's number.

Parity checks

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