← back to the board
[[864,146,8]] d ≤
n
864
k
146
d
8
kd²/n
10.815
w
6
X/Z
1.25

Share this result

Distance

X/Z asymmetry 1.25 · d_X ≤ 10, d_Z ≤ 8 · w_X = 6, 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 10 · witness weight 10 (claimed upper_bound)
witness operator (support, 10 qubits)
[280, 281, 289, 625, 700, 708, 713, 798, 805, 857]
d_Z 8 · witness weight 8 (claimed upper_bound)
witness operator (support, 8 qubits)
[81, 143, 253, 427, 530, 532, 619, 703]
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 12 (shortest cycle of each side’s Tanner graph; longer is friendlier to belief propagation)
check weights H_X 6 · H_Z 4
qubit degrees H_X 2 · H_Z 2
trapping sets H_X (1,2)×864 (2,2)×4320 (3,2)×21600 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_X
(1,2): 864 (2,2): 4320 (3,2): 21600 (3,4): 5760
trapping sets H_Z (1,2)×864 (2,2)×2592 (3,2)×7776 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_Z
(1,2): 864 (2,2): 2592 (3,2): 7776 (3,4): 1728

Construction & provenance

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

[[864,146,8]] — planar hyperbolic {4,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 = 146·64/864 = 10.81.

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,6} planar hyperbolic code with 864 qubits. Parity-check matrices are 4_6/4_6_864.mtx (HX, 288×864, weight 4) and 4_6/6_4_864.mtx (HZ, 432×864, weight 6). These are incidence matrices of a finite quotient of the regular {4,6} hyperbolic tiling (edge model).

Evidence trail

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