← back to the board
[[896,194,6]] d ≤
n
896
k
194
d
6
kd²/n
7.795
w
7
X/Z
1.33

Share this result

Distance

X/Z asymmetry 1.33 · d_X ≤ 8, d_Z ≤ 6 · w_X = 7, w_Z = 4 (max(d_X,d_Z)/min(d_X,d_Z); each side carries its own earned tier: = certified exact, ≤ witness upper bound)
d_X 8 · witness weight 8 (claimed upper_bound)
witness operator (support, 8 qubits)
[30, 59, 113, 207, 299, 452, 521, 623]
d_Z 6 · witness weight 6 (claimed upper_bound)
witness operator (support, 6 qubits)
[40, 146, 175, 260, 301, 660]
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 14 (shortest cycle of each side’s Tanner graph; longer is friendlier to belief propagation)
check weights H_X 7 · H_Z 4
qubit degrees H_X 2 · H_Z 2
trapping sets H_X (1,2)×896 (2,2)×5376 (3,2)×32256 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_X
(1,2): 896 (2,2): 5376 (3,2): 32256 (3,4): 8960
trapping sets H_Z (1,2)×896 (2,2)×2688 (3,2)×8064 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_Z
(1,2): 896 (2,2): 2688 (3,2): 8064 (3,4): 1792

Construction & provenance

authors @MathysRennela
provenance submitted through the challenge
novelty novelty not audited
construction Planar hyperbolic {4,7} code, literature reproduction from github.com/QEC-pages/Quantum_LDPC_Codes @ 1c95489383564e4dc2cce517de00d64d6f2c4f56, Hyperbolic_Codes_Planar.zip, parity-check matrices 4_7/4_7_896.mtx (HX) and 4_7/7_4_896.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 ≤ 8 (computed)

How this code was found

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

[[896,194,6]] — planar hyperbolic {4,7} code

Direction & hypothesis

Target: unrestricted weight-8 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 = 194·36/896 = 7.79.

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 {4,7} planar hyperbolic code with 896 qubits. Parity-check matrices are 4_7/4_7_896.mtx (HX, 256×896, weight 4) and 4_7/7_4_896.mtx (HZ, 448×896, weight 7). These are incidence matrices of a finite quotient of the regular {4,7} hyperbolic tiling (edge model).

Evidence trail

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