← back to the board
[[718,64,12]] d ≤
n
718
k
64
d
12
kd²/n
12.836
w
6
X/Z
1

Share this result

Distance

X/Z asymmetry 1 · d_X ≤ 12, d_Z ≤ 12 · w_X = 6, w_Z = 6 (max(d_X,d_Z)/min(d_X,d_Z); each side carries its own earned tier: = certified exact, ≤ witness upper bound)
d_X 12 · witness weight 12 (claimed upper_bound)
witness operator (support, 12 qubits)
[0, 1, 40, 41, 56, 57, 168, 169, 224, 225, 532, 533]
d_Z 12 · witness weight 12 (claimed upper_bound)
witness operator (support, 12 qubits)
[164, 165, 184, 185, 196, 197, 260, 261, 376, 377, 464, 465]
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 6 · H_Z 6 (shortest cycle of each side’s Tanner graph; longer is friendlier to belief propagation)
check weights H_X 5–6 (mean 5.987) · H_Z 5–6 (mean 5.987)
qubit degrees H_X 2–5 (mean 3.219) · H_Z 2–5 (mean 3.219)
trapping sets H_X (1,2)×20 (2,2)×30 (3,2)×30 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_X
(1,2): 20 (1,3): 580 (1,4): 59 (1,5): 59 (2,2): 30 (2,3): 80 (2,4): 3170 (2,5): 1192 (2,6): 1148 (2,8): 145 (3,2): 30 (3,3): 240 (3,4): 2352 (3,5): 24156 (3,6): 12088 (3,7): 18188 (3,8): 4696 (3,9): 6242 (3,10): 12 (3,11): 1138
trapping sets H_Z (1,2)×20 (2,2)×30 (3,2)×30 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_Z
(1,2): 20 (1,3): 580 (1,4): 59 (1,5): 59 (2,2): 30 (2,3): 80 (2,4): 3170 (2,5): 1192 (2,6): 1148 (2,8): 145 (3,2): 30 (3,3): 240 (3,4): 2352 (3,5): 24156 (3,6): 12088 (3,7): 18188 (3,8): 4696 (3,9): 6242 (3,10): 12 (3,11): 1138

Construction & provenance

authors @MathysRennela
provenance submitted through the challenge
novelty novelty not audited
construction One [[4,2,2]] distance-amplification step (CSS tensor product, central three-term truncation, arXiv:2609.37231 Eq. 1/Eq. 12-15) applied to the board's [[150,32,6]] planar hyperbolic {5,5} code entry, using a sparse independent-row presentation of its checks: n' = 4n + m_X + m_Z = 718, k' = 2k = 64, w' = w+1 = 6. X/Z witnesses are the base witnesses tensored with the weight-2 [[4,2,2]] logical on the central register (weights 12/12); the doubled distance is certified by the logical-overlap criterion (d' >= 2d) and no lighter logical was found in a 100,000-trial accelerator search on the first-tier candidates of the same family. Base provenance: Planar hyperbolic {5,5} code, literature reproduction from github.com/QEC-pages/Quantum_LDPC_Codes @ 1c95489383564e4dc2cce517de00d64d6f2c4f56, Hyperbolic_Codes_Planar.zip, parity-check matrices for N=150. Same source repository already used for codes/720-122-8.json, codes/864-146-8.json, codes/896-194-6.json, codes/900-182-8.json, codes/960-258-6.json (Seam D, fieldnotes/2026-09-18-hackathon-1155-frontier-map-and-playbook.md); this pulls a different (p,q,N) entry from the same pinned catalog (Hyperbolic_Codes.tsv) that those five did not use. CSS code, edge model.
model Space Bunny Alpha 1.0 (claimed, not verified)
builds on arXiv:2609.37231, github.com/QEC-pages/Quantum_LDPC_Codes
date 2026-09-30
notes Constructed and packaged with the Space Bunny Alpha 1.0 model.
family distance-amplified (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

[[718,64,12]] — one [[4,2,2]] distance-amplification step of [[150,32,6]]

Direction & hypothesis

Target cell: CSS, unrestricted x weight-6 (max check weight 6), in the extended blocklength tier (n <= 1000 with w <= 8 and d <= 40). Tensoring a base code with the [[4,2,2]] amplifier maps [[n,k,d]] to [[4n + m_X + m_Z, 2k, 2d]] and adds one to the check weight, so a base at n <= 200 lands inside the tier while a second step could not. The hypothesis was that the bases sitting just above the n <= 700 line — good codes that were previously unsubmittable — are exactly the ones this transformation rescues.

What was searched

Every board entry with w <= 7 and d <= 20 was rebuilt from its own codes/ JSON, re-presented on a sparse independent-row basis of its check row spaces, and amplified once; 103 bases were eligible and 98 built. Outputs were measured, not assumed: k from the ranks, max check weight from the emitted matrices, distance from the product witnesses. Survivors are those no board entry dominates on (n, k, d, w). Eleven advanced; they are submitted as a family.

Evidence trail

The X and Z witnesses are the base entry's witnesses tensored with the weight-2 [[4,2,2]] logical on the central (data-data) register, weights 12 / 12 here. Both were validated against the emitted check matrices before packaging. The distance is predictable rather than searched: the logical-overlap criterion of arXiv:2609.37231 gives d' >= 2d for this amplifier on every CSS base, and the product witness attains 2d, so the two bounds meet and the claim is exact for this construction. verify/validate_candidate.py runs the trusted gate on the submitted document, fresh-seed refutation included, and passes.

Dead ends

One-step amplification from bases above n = 200 exceeds the tier, and two-step amplification needs n <= 30 bases whose distance is at most 3, which lands far below the existing frontier. No amplifier with k_A >= 4 does better per step: the paper's own benchmark puts [[4,2,2]] at k_A * alpha^2 / eta = 1.60, against 0.54-0.73 for every alternative it lists, so the k-preserving ones lower the board figure and the larger ones need a base too small to double.

Tools

Model: Space Bunny Alpha 1.0 (agent), driving the repo's own tooling: Python with numpy, schema/code.schema.json for the document shape, verify/validate_candidate.py for the gate, and research/kit/submit.py for packaging. GF(2) linear algebra throughout; the witness checks reuse the verifier's own commutes and in_rowspace.

Reproduction

Take the base entry codes/150-32-6.json. Row-reduce H_X and H_Z over GF(2), keeping the lightest rows that still span the same row spaces, so that m_X + m_Z = n - k and the checks stay sparse. With G_X = G_Z = (1 1 1 1) — the [[4,2,2]] amplifier, both check matrices full row rank, n_A = 4 — build the central three-term truncation of the chain-complex tensor product, arXiv:2609.37231 Eq. 14-15, with the column blocks ordered (Q_1 ⊗ A_1, Q_2 ⊗ A_0, Q_0 ⊗ A_2):

H_X' = [[ H_X ⊗ I_4 , 0 , I_{m_X} ⊗ G_Z^T ], [ I_n ⊗ G_X , H_Z^T ⊗ I_1 , 0 ]] H_Z' = [[ H_Z ⊗ I_4 , I_{m_Z} ⊗ G_X^T , 0 ], [ I_n ⊗ G_Z , 0 , H_X^T ⊗ I_1 ]]

Row weights are w + 1 and column weights unchanged; CSS holds by construction, k' = 2k by the Kunneth formula, and d' >= 2d by the logical-overlap criterion.

Parity checks

X-checks 386 (max weight 6) · Z-checks 386 (max weight 6)
H_X (386 checks, sparse supports)
[0, 4, 8, 16, 24, 659] [1, 5, 9, 17, 25, 659] [2, 6, 10, 18, 26, 659] [3, 7, 11, 19, 27, 659] [224, 268, 276, 420, 424, 660] [225, 269, 277, 421, 425, 660] [226, 270, 278, 422, 426, 660] [227, 271, 279, 423, 427, 660] [232, 240, 252, 456, 576, 661] [233, 241, 253, 457, 577, 661] [234, 242, 254, 458, 578, 661] [235, 243, 255, 459, 579, 661] [116, 148, 240, 300, 440, 662] [117, 149, 241, 301, 441, 662] [118, 150, 242, 302, 442, 662] [119, 151, 243, 303, 443, 662] [120, 248, 256, 472, 580, 663] [121, 249, 257, 473, 581, 663] [122, 250, 258, 474, 582, 663] [123, 251, 259, 475, 583, 663] [200, 380, 448, 556, 584, 664] [201, 381, 449, 557, 585, 664] [202, 382, 450, 558, 586, 664] [203, 383, 451, 559, 587, 664] [128, 256, 468, 484, 568, 665] [129, 257, 469, 485, 569, 665] [130, 258, 470, 486, 570, 665] [131, 259, 471, 487, 571, 665] [140, 276, 384, 392, 500, 666] [141, 277, 385, 393, 501, 666] [142, 278, 386, 394, 502, 666] [143, 279, 387, 395, 503, 666] [280, 364, 372, 504, 508, 667] [281, 365, 373, 505, 509, 667] [282, 366, 374, 506, 510, 667] [283, 367, 375, 507, 511, 667] [144, 208, 292, 400, 516, 668] [145, 209, 293, 401, 517, 668] [146, 210, 294, 402, 518, 668] [147, 211, 295, 403, 519, 668] [304, 312, 452, 504, 592, 669] [305, 313, 453, 505, 593, 669] [306, 314, 454, 506, 594, 669] [307, 315, 455, 507, 595, 669] [152, 244, 312, 444, 544, 670] [153, 245, 313, 445, 545, 670] [154, 246, 314, 446, 546, 670] [155, 247, 315, 447, 547, 670] [316, 404, 496, 548, 584, 671] [317, 405, 497, 549, 585, 671] [318, 406, 498, 550, 586, 671] [319, 407, 499, 551, 587, 671] [108, 220, 284, 292, 416, 672] [109, 221, 285, 293, 417, 672] [110, 222, 286, 294, 418, 672] [111, 223, 287, 295, 419, 672] [160, 324, 420, 428, 532, 673] [161, 325, 421, 429, 533, 673] [162, 326, 422, 430, 534, 673] [163, 327, 423, 431, 535, 673] [272, 332, 340, 348, 536, 674] [273, 333, 341, 349, 537, 674] [274, 334, 342, 350, 538, 674] [275, 335, 343, 351, 539, 674] [172, 348, 396, 560, 580, 675] [173, 349, 397, 561, 581, 675] [174, 350, 398, 562, 582, 675] [175, 351, 399, 563, 583, 675] [188, 264, 360, 440, 492, 676] [189, 265, 361, 441, 493, 676] [190, 266, 362, 442, 494, 676] [191, 267, 363, 443, 495, 676] [180, 236, 288, 388, 468, 677] [181, 237, 289, 389, 469, 677] [182, 238, 290, 390, 470, 677] [183, 239, 291, 391, 471, 677] [216, 412, 524, 552, 572, 678] [217, 413, 525, 553, 573, 678] [218, 414, 526, 554, 574, 678] [219, 415, 527, 555, 575, 678] [248, 424, 512, 540, 556, 679] [249, 425, 513, 541, 557, 679] [250, 426, 514, 542, 558, 679] [251, 427, 515, 543, 559, 679] [228, 324, 476, 516, 588, 680] [229, 325, 477, 517, 589, 680] [230, 326, 478, 518, 590, 680] [231, 327, 479, 519, 591, 680] [368, 484, 492, 564, 596, 681] [369, 485, 493, 565, 597, 681] [370, 486, 494, 566, 598, 681] [371, 487, 495, 567, 599, 681] [300, 328, 344, 508, 528, 682] [301, 329, 345, 509, 529, 682] [302, 330, 346, 510, 530, 682] [303, 331, 347, 511, 531, 682] [296, 356, 380, 412, 520, 683] [297, 357, 381, 413, 521, 683] [298, 358, 382, 414, 522, 683] [299, 359, 383, 415, 523, 683] [308, 408, 436, 480, 500, 684] [309, 409, 437, 481, 501, 684] [310, 410, 438, 482, 502, 684] [311, 411, 439, 483, 503, 684] [320, 352, 400, 488, 576, 685] [321, 353, 401, 489, 577, 685] [322, 354, 402, 490, 578, 685] [323, 355, 403, 491, 579, 685] [192, 336, 416, 432, 568, 686] [193, 337, 417, 433, 569, 686] [194, 338, 418, 434, 570, 686] [195, 339, 419, 435, 571, 686] [212, 220, 408, 460, 564, 687] [213, 221, 409, 461, 565, 687] [214, 222, 410, 462, 566, 687] [215, 223, 411, 463, 567, 687] [100, 204, 388, 528, 552, 688] [101, 205, 389, 529, 553, 688] [102, 206, 390, 530, 554, 688] [103, 207, 391, 531, 555, 688] [112, 228, 364, 432, 548, 689] [113, 229, 365, 433, 549, 689] [114, 230, 366, 434, 550, 689] [115, 231, 367, 435, 551, 689] [8, 28, 32, 68, 76, 690] [9, 29, 33, 69, 77, 690] [10, 30, 34, 70, 78, 690] [11, 31, 35, 71, 79, 690] [0, 12, 36, 48, 84, 691] [1, 13, 37, 49, 85, 691] [2, 14, 38, 50, 86, 691] [3, 15, 39, 51, 87, 691] [4, 20, 52, 96, 112, 692] [5, 21, 53, 97, 113, 692] [6, 22, 54, 98, 114, 692] [7, 23, 55, 99, 115, 692] [24, 60, 64, 128, 136, 693] [25, 61, 65, 129, 137, 693] [26, 62, 66, 130, 138, 693] [27, 63, 67, 131, 139, 693] [32, 40, 80, 160, 168, 694] [33, 41, 81, 161, 169, 694] [34, 42, 82, 162, 170, 694] [35, 43, 83, 163, 171, 694] [12, 40, 92, 176, 188, 695] [13, 41, 93, 177, 189, 695] [14, 42, 94, 178, 190, 695] [15, 43, 95, 179, 191, 695] [16, 44, 100, 124, 200, 696] [17, 45, 101, 125, 201, 696] [18, 46, 102, 126, 202, 696] [19, 47, 103, 127, 203, 696] [48, 56, 108, 216, 224, 697] [49, 57, 109, 217, 225, 697] [50, 58, 110, 218, 226, 697] [51, 59, 111, 219, 227, 697] [20, 56, 120, 232, 244, 698] [21, 57, 121, 233, 245, 698] [22, 58, 122, 234, 246, 698] [23, 59, 123, 235, 247, 698] [64, 72, 140, 272, 280, 699] [65, 73, 141, 273, 281, 699] [66, 74, 142, 274, 282, 699] [67, 75, 143, 275, 283, 699] [28, 72, 148, 284, 296, 700] [29, 73, 149, 285, 297, 700] [30, 74, 150, 286, 298, 700] [31, 75, 151, 287, 299, 700] [76, 152, 156, 308, 316, 701] [77, 153, 157, 309, 317, 701] [78, 154, 158, 310, 318, 701] [79, 155, 159, 311, 319, 701] [36, 88, 180, 340, 352, 702] [37, 89, 181, 341, 353, 702] [38, 90, 182, 342, 354, 702] [39, 91, 183, 343, 355, 702] [96, 104, 196, 368, 376, 703] [97, 105, 197, 369, 377, 703] [98, 106, 198, 370, 378, 703] [99, 107, 199, 371, 379, 703] [44, 104, 208, 384, 396, 704] [45, 105, 209, 385, 397, 704] [46, 106, 210, 386, 398, 704] [47, 107, 211, 387, 399, 704] [84, 172, 212, 344, 404, 705] [85, 173, 213, 345, 405, 705] [86, 174, 214, 346, 406, 705] [87, 175, 215, 347, 407, 705] [52, 116, 236, 428, 436, 706] [53, 117, 237, 429, 437, 706] [54, 118, 238, 430, 438, 706] [55, 119, 239, 431, 439, 706] [124, 132, 252, 452, 460, 707] [125, 133, 253, 453, 461, 707] [126, 134, 254, 454, 462, 707] [127, 135, 255, 455, 463, 707] [60, 132, 260, 464, 476, 708] [61, 133, 261, 465, 477, 708] [62, 134, 262, 466, 478, 708] [63, 135, 263, 467, 479, 708] [136, 264, 268, 488, 496, 709] [137, 265, 269, 489, 497, 709] [138, 266, 270, 490, 498, 709] [139, 267, 271, 491, 499, 709] [68, 144, 288, 304, 512, 710] [69, 145, 289, 305, 513, 710] [70, 146, 290, 306, 514, 710] [71, 147, 291, 307, 515, 710] [156, 164, 320, 376, 524, 711] [157, 165, 321, 377, 525, 711] [158, 166, 322, 378, 526, 711] [159, 167, 323, 379, 527, 711] [80, 164, 328, 464, 472, 712] [81, 165, 329, 465, 473, 712] [82, 166, 330, 466, 474, 712] [83, 167, 331, 467, 475, 712] [168, 332, 336, 448, 456, 713] [169, 333, 337, 449, 457, 713] [170, 334, 338, 450, 458, 713] [171, 335, 339, 451, 459, 713] [176, 184, 196, 372, 540, 714] [177, 185, 197, 373, 541, 714] [178, 186, 198, 374, 542, 714] [179, 187, 199, 375, 543, 714] [88, 184, 260, 356, 480, 715] [89, 185, 261, 357, 481, 715] [90, 186, 262, 358, 482, 715] [91, 187, 263, 359, 483, 715] [92, 192, 204, 392, 544, 716] [93, 193, 205, 393, 545, 716] [94, 194, 206, 394, 546, 716] [95, 195, 207, 395, 547, 716] [532, 536, 572, 592, 596, 717] [533, 537, 573, 593, 597, 717] [534, 538, 574, 594, 598, 717] [535, 539, 575, 595, 599, 717] [0, 1, 2, 3, 600, 631] [4, 5, 6, 7, 631, 633] [8, 9, 10, 11, 600, 632] [12, 13, 14, 15, 600, 636] [16, 17, 18, 19, 633, 634] [20, 21, 22, 23, 631, 638] [24, 25, 26, 27, 632, 634] [28, 29, 30, 31, 632, 640] [32, 33, 34, 35, 600, 635] [36, 37, 38, 39, 636, 643] [40, 41, 42, 43, 600, 642] [44, 45, 46, 47, 633, 645] [48, 49, 50, 51, 631, 637] [52, 53, 54, 55, 638, 647] [56, 57, 58, 59, 631, 646] [60, 61, 62, 63, 634, 649] [64, 65, 66, 67, 632, 639] [68, 69, 70, 71, 640, 641] [72, 73, 74, 75, 632, 651] [76, 77, 78, 79, 635, 641] [80, 81, 82, 83, 635, 653] [84, 85, 86, 87, 637, 643] [88, 89, 90, 91, 636, 656] [92, 93, 94, 95, 642, 657] [96, 97, 98, 99, 633, 644] [100, 101, 102, 103, 629, 645] [104, 105, 106, 107, 630, 633] [108, 109, 110, 111, 613, 637] [112, 113, 114, 115, 644, 647] [116, 117, 118, 119, 603, 638] [120, 121, 122, 123, 604, 646] [124, 125, 126, 127, 634, 648] [128, 129, 130, 131, 649, 650] [132, 133, 134, 135, 605, 634] [136, 137, 138, 139, 639, 650] [140, 141, 142, 143, 607, 639] [144, 145, 146, 147, 609, 640] [148, 149, 150, 151, 610, 651] [152, 153, 154, 155, 612, 641] [156, 157, 158, 159, 635, 652] [160, 161, 162, 163, 653, 654] [164, 165, 166, 167, 614, 635] [168, 169, 170, 171, 642, 654] [172, 173, 174, 175, 616, 643] [176, 177, 178, 179, 636, 655] [180, 181, 182, 183, 609, 656] [184, 185, 186, 187, 617, 636] [188, 189, 190, 191, 655, 657] [192, 193, 194, 195, 618, 642] [196, 197, 198, 199, 644, 655] [200, 201, 202, 203, 629, 648] [204, 205, 206, 207, 618, 645] [208, 209, 210, 211, 621, 630] [212, 213, 214, 215, 628, 637] [216, 217, 218, 219, 601, 613] [220, 221, 222, 223, 622, 637] [224, 225, 226, 227, 601, 646] [228, 229, 230, 231, 624, 647] [232, 233, 234, 235, 602, 638] [236, 237, 238, 239, 603, 656] [240, 241, 242, 243, 625, 638] [244, 245, 246, 247, 602, 604] [248, 249, 250, 251, 626, 646] [252, 253, 254, 255, 602, 648] [256, 257, 258, 259, 626, 649] [260, 261, 262, 263, 605] [264, 265, 266, 267, 625, 650] [268, 269, 270, 271, 606, 639] [272, 273, 274, 275, 607, 608] [276, 277, 278, 279, 623, 639] [280, 281, 282, 283, 608, 651] [284, 285, 286, 287, 613, 640] [288, 289, 290, 291, 609, 626] [292, 293, 294, 295, 624, 640] [296, 297, 298, 299, 610, 613] [300, 301, 302, 303, 603, 651] [304, 305, 306, 307, 611, 641] [308, 309, 310, 311, 612, 628] [312, 313, 314, 315, 602, 641] [316, 317, 318, 319, 628, 652] [320, 321, 322, 323, 630, 652] [324, 325, 326, 327, 647, 653] [328, 329, 330, 331, 614, 616] [332, 333, 334, 335, 615, 654] [336, 337, 338, 339, 627, 642] [340, 341, 342, 343, 615, 643] [344, 345, 346, 347, 616, 619] [348, 349, 350, 351, 607, 643] [352, 353, 354, 355, 609, 615] [356, 357, 358, 359, 617] [360, 361, 362, 363, 610, 657] [364, 365, 366, 367, 619, 644] [368, 369, 370, 371, 620, 655] [372, 373, 374, 375, 611, 644] [376, 377, 378, 379, 620, 630] [380, 381, 382, 383, 617, 629] [384, 385, 386, 387, 607, 645] [388, 389, 390, 391, 603, 618] [392, 393, 394, 395, 612, 645] [396, 397, 398, 399, 607, 621] [400, 401, 402, 403, 609, 630] [404, 405, 406, 407, 619, 628] [408, 409, 410, 411, 605, 628] [412, 413, 414, 415, 613, 629] [416, 417, 418, 419, 622, 624] [420, 421, 422, 423, 601, 623] [424, 425, 426, 427, 606, 646] [428, 429, 430, 431, 623, 647] [432, 433, 434, 435, 624, 627] [436, 437, 438, 439, 623, 656] [440, 441, 442, 443, 610, 625] [444, 445, 446, 447, 604, 657] [448, 449, 450, 451, 627, 648] [452, 453, 454, 455, 602, 658] [456, 457, 458, 459, 615, 648] [460, 461, 462, 463, 605, 658] [464, 465, 466, 467, 649, 653] [468, 469, 470, 471, 618, 626] [472, 473, 474, 475, 616, 649] [476, 477, 478, 479, 653] [480, 481, 482, 483, 605, 656] [484, 485, 486, 487, 622, 650] [488, 489, 490, 491, 625, 652] [492, 493, 494, 495, 650, 655] [496, 497, 498, 499, 606, 652] [500, 501, 502, 503, 612, 623] [504, 505, 506, 507, 608, 611] [508, 509, 510, 511, 619, 651] [512, 513, 514, 515, 611, 626] [516, 517, 518, 519, 621, 624] [520, 521, 522, 523, 610] [524, 525, 526, 527, 614, 620] [528, 529, 530, 531, 603, 614] [532, 533, 534, 535, 601, 654] [536, 537, 538, 539, 608, 654] [540, 541, 542, 543, 611, 617] [544, 545, 546, 547, 612, 657] [548, 549, 550, 551, 619, 627] [552, 553, 554, 555, 614, 629] [556, 557, 558, 559, 606, 617] [560, 561, 562, 563, 604, 621] [564, 565, 566, 567, 622, 658] [568, 569, 570, 571, 618, 622] [572, 573, 574, 575, 601, 620] [576, 577, 578, 579, 615, 625] [580, 581, 582, 583, 604, 616] [584, 585, 586, 587, 606, 627] [588, 589, 590, 591, 621] [592, 593, 594, 595, 608, 658] [596, 597, 598, 599, 620, 658]
H_Z (386 checks, sparse supports)
[0, 8, 12, 32, 40, 600] [1, 9, 13, 33, 41, 600] [2, 10, 14, 34, 42, 600] [3, 11, 15, 35, 43, 600] [216, 224, 420, 532, 572, 601] [217, 225, 421, 533, 573, 601] [218, 226, 422, 534, 574, 601] [219, 227, 423, 535, 575, 601] [232, 244, 252, 312, 452, 602] [233, 245, 253, 313, 453, 602] [234, 246, 254, 314, 454, 602] [235, 247, 255, 315, 455, 602] [116, 236, 300, 388, 528, 603] [117, 237, 301, 389, 529, 603] [118, 238, 302, 390, 530, 603] [119, 239, 303, 391, 531, 603] [120, 244, 444, 560, 580, 604] [121, 245, 445, 561, 581, 604] [122, 246, 446, 562, 582, 604] [123, 247, 447, 563, 583, 604] [132, 260, 408, 460, 480, 605] [133, 261, 409, 461, 481, 605] [134, 262, 410, 462, 482, 605] [135, 263, 411, 463, 483, 605] [268, 424, 496, 556, 584, 606] [269, 425, 497, 557, 585, 606] [270, 426, 498, 558, 586, 606] [271, 427, 499, 559, 587, 606] [140, 272, 348, 384, 396, 607] [141, 273, 349, 385, 397, 607] [142, 274, 350, 386, 398, 607] [143, 275, 351, 387, 399, 607] [272, 280, 504, 536, 592, 608] [273, 281, 505, 537, 593, 608] [274, 282, 506, 538, 594, 608] [275, 283, 507, 539, 595, 608] [144, 180, 288, 352, 400, 609] [145, 181, 289, 353, 401, 609] [146, 182, 290, 354, 402, 609] [147, 183, 291, 355, 403, 609] [148, 296, 360, 440, 520, 610] [149, 297, 361, 441, 521, 610] [150, 298, 362, 442, 522, 610] [151, 299, 363, 443, 523, 610] [304, 372, 504, 512, 540, 611] [305, 373, 505, 513, 541, 611] [306, 374, 506, 514, 542, 611] [307, 375, 507, 515, 543, 611] [152, 308, 392, 500, 544, 612] [153, 309, 393, 501, 545, 612] [154, 310, 394, 502, 546, 612] [155, 311, 395, 503, 547, 612] [108, 216, 284, 296, 412, 613] [109, 217, 285, 297, 413, 613] [110, 218, 286, 298, 414, 613] [111, 219, 287, 299, 415, 613] [164, 328, 524, 528, 552, 614] [165, 329, 525, 529, 553, 614] [166, 330, 526, 530, 554, 614] [167, 331, 527, 531, 555, 614] [332, 340, 352, 456, 576, 615] [333, 341, 353, 457, 577, 615] [334, 342, 354, 458, 578, 615] [335, 343, 355, 459, 579, 615] [172, 328, 344, 472, 580, 616] [173, 329, 345, 473, 581, 616] [174, 330, 346, 474, 582, 616] [175, 331, 347, 475, 583, 616] [184, 356, 380, 540, 556, 617] [185, 357, 381, 541, 557, 617] [186, 358, 382, 542, 558, 617] [187, 359, 383, 543, 559, 617] [192, 204, 388, 468, 568, 618] [193, 205, 389, 469, 569, 618] [194, 206, 390, 470, 570, 618] [195, 207, 391, 471, 571, 618] [344, 364, 404, 508, 548, 619] [345, 365, 405, 509, 549, 619] [346, 366, 406, 510, 550, 619] [347, 367, 407, 511, 551, 619] [368, 376, 524, 572, 596, 620] [369, 377, 525, 573, 597, 620] [370, 378, 526, 574, 598, 620] [371, 379, 527, 575, 599, 620] [208, 396, 516, 560, 588, 621] [209, 397, 517, 561, 589, 621] [210, 398, 518, 562, 590, 621] [211, 399, 519, 563, 591, 621] [220, 416, 484, 564, 568, 622] [221, 417, 485, 565, 569, 622] [222, 418, 486, 566, 570, 622] [223, 419, 487, 567, 571, 622] [276, 420, 428, 436, 500, 623] [277, 421, 429, 437, 501, 623] [278, 422, 430, 438, 502, 623] [279, 423, 431, 439, 503, 623] [228, 292, 416, 432, 516, 624] [229, 293, 417, 433, 517, 624] [230, 294, 418, 434, 518, 624] [231, 295, 419, 435, 519, 624] [240, 264, 440, 488, 576, 625] [241, 265, 441, 489, 577, 625] [242, 266, 442, 490, 578, 625] [243, 267, 443, 491, 579, 625] [248, 256, 288, 468, 512, 626] [249, 257, 289, 469, 513, 626] [250, 258, 290, 470, 514, 626] [251, 259, 291, 471, 515, 626] [336, 432, 448, 548, 584, 627] [337, 433, 449, 549, 585, 627] [338, 434, 450, 550, 586, 627] [339, 435, 451, 551, 587, 627] [212, 308, 316, 404, 408, 628] [213, 309, 317, 405, 409, 628] [214, 310, 318, 406, 410, 628] [215, 311, 319, 407, 411, 628] [100, 200, 380, 412, 552, 629] [101, 201, 381, 413, 553, 629] [102, 202, 382, 414, 554, 629] [103, 203, 383, 415, 555, 629] [104, 208, 320, 376, 400, 630] [105, 209, 321, 377, 401, 630] [106, 210, 322, 378, 402, 630] [107, 211, 323, 379, 403, 630] [0, 4, 20, 48, 56, 631] [1, 5, 21, 49, 57, 631] [2, 6, 22, 50, 58, 631] [3, 7, 23, 51, 59, 631] [8, 24, 28, 64, 72, 632] [9, 25, 29, 65, 73, 632] [10, 26, 30, 66, 74, 632] [11, 27, 31, 67, 75, 632] [4, 16, 44, 96, 104, 633] [5, 17, 45, 97, 105, 633] [6, 18, 46, 98, 106, 633] [7, 19, 47, 99, 107, 633] [16, 24, 60, 124, 132, 634] [17, 25, 61, 125, 133, 634] [18, 26, 62, 126, 134, 634] [19, 27, 63, 127, 135, 634] [32, 76, 80, 156, 164, 635] [33, 77, 81, 157, 165, 635] [34, 78, 82, 158, 166, 635] [35, 79, 83, 159, 167, 635] [12, 36, 88, 176, 184, 636] [13, 37, 89, 177, 185, 636] [14, 38, 90, 178, 186, 636] [15, 39, 91, 179, 187, 636] [48, 84, 108, 212, 220, 637] [49, 85, 109, 213, 221, 637] [50, 86, 110, 214, 222, 637] [51, 87, 111, 215, 223, 637] [20, 52, 116, 232, 240, 638] [21, 53, 117, 233, 241, 638] [22, 54, 118, 234, 242, 638] [23, 55, 119, 235, 243, 638] [64, 136, 140, 268, 276, 639] [65, 137, 141, 269, 277, 639] [66, 138, 142, 270, 278, 639] [67, 139, 143, 271, 279, 639] [28, 68, 144, 284, 292, 640] [29, 69, 145, 285, 293, 640] [30, 70, 146, 286, 294, 640] [31, 71, 147, 287, 295, 640] [68, 76, 152, 304, 312, 641] [69, 77, 153, 305, 313, 641] [70, 78, 154, 306, 314, 641] [71, 79, 155, 307, 315, 641] [40, 92, 168, 192, 336, 642] [41, 93, 169, 193, 337, 642] [42, 94, 170, 194, 338, 642] [43, 95, 171, 195, 339, 642] [36, 84, 172, 340, 348, 643] [37, 85, 173, 341, 349, 643] [38, 86, 174, 342, 350, 643] [39, 87, 175, 343, 351, 643] [96, 112, 196, 364, 372, 644] [97, 113, 197, 365, 373, 644] [98, 114, 198, 366, 374, 644] [99, 115, 199, 367, 375, 644] [44, 100, 204, 384, 392, 645] [45, 101, 205, 385, 393, 645] [46, 102, 206, 386, 394, 645] [47, 103, 207, 387, 395, 645] [56, 120, 224, 248, 424, 646] [57, 121, 225, 249, 425, 646] [58, 122, 226, 250, 426, 646] [59, 123, 227, 251, 427, 646] [52, 112, 228, 324, 428, 647] [53, 113, 229, 325, 429, 647] [54, 114, 230, 326, 430, 647] [55, 115, 231, 327, 431, 647] [124, 200, 252, 448, 456, 648] [125, 201, 253, 449, 457, 648] [126, 202, 254, 450, 458, 648] [127, 203, 255, 451, 459, 648] [60, 128, 256, 464, 472, 649] [61, 129, 257, 465, 473, 649] [62, 130, 258, 466, 474, 649] [63, 131, 259, 467, 475, 649] [128, 136, 264, 484, 492, 650] [129, 137, 265, 485, 493, 650] [130, 138, 266, 486, 494, 650] [131, 139, 267, 487, 495, 650] [72, 148, 280, 300, 508, 651] [73, 149, 281, 301, 509, 651] [74, 150, 282, 302, 510, 651] [75, 151, 283, 303, 511, 651] [156, 316, 320, 488, 496, 652] [157, 317, 321, 489, 497, 652] [158, 318, 322, 490, 498, 652] [159, 319, 323, 491, 499, 652] [80, 160, 324, 464, 476, 653] [81, 161, 325, 465, 477, 653] [82, 162, 326, 466, 478, 653] [83, 163, 327, 467, 479, 653] [160, 168, 332, 532, 536, 654] [161, 169, 333, 533, 537, 654] [162, 170, 334, 534, 538, 654] [163, 171, 335, 535, 539, 654] [176, 188, 196, 368, 492, 655] [177, 189, 197, 369, 493, 655] [178, 190, 198, 370, 494, 655] [179, 191, 199, 371, 495, 655] [88, 180, 236, 436, 480, 656] [89, 181, 237, 437, 481, 656] [90, 182, 238, 438, 482, 656] [91, 183, 239, 439, 483, 656] [92, 188, 360, 444, 544, 657] [93, 189, 361, 445, 545, 657] [94, 190, 362, 446, 546, 657] [95, 191, 363, 447, 547, 657] [452, 460, 564, 592, 596, 658] [453, 461, 565, 593, 597, 658] [454, 462, 566, 594, 598, 658] [455, 463, 567, 595, 599, 658] [0, 1, 2, 3, 659, 691] [4, 5, 6, 7, 659, 692] [8, 9, 10, 11, 659, 690] [12, 13, 14, 15, 691, 695] [16, 17, 18, 19, 659, 696] [20, 21, 22, 23, 692, 698] [24, 25, 26, 27, 659, 693] [28, 29, 30, 31, 690, 700] [32, 33, 34, 35, 690, 694] [36, 37, 38, 39, 691, 702] [40, 41, 42, 43, 694, 695] [44, 45, 46, 47, 696, 704] [48, 49, 50, 51, 691, 697] [52, 53, 54, 55, 692, 706] [56, 57, 58, 59, 697, 698] [60, 61, 62, 63, 693, 708] [64, 65, 66, 67, 693, 699] [68, 69, 70, 71, 690, 710] [72, 73, 74, 75, 699, 700] [76, 77, 78, 79, 690, 701] [80, 81, 82, 83, 694, 712] [84, 85, 86, 87, 691, 705] [88, 89, 90, 91, 702, 715] [92, 93, 94, 95, 695, 716] [96, 97, 98, 99, 692, 703] [100, 101, 102, 103, 688, 696] [104, 105, 106, 107, 703, 704] [108, 109, 110, 111, 672, 697] [112, 113, 114, 115, 689, 692] [116, 117, 118, 119, 662, 706] [120, 121, 122, 123, 663, 698] [124, 125, 126, 127, 696, 707] [128, 129, 130, 131, 665, 693] [132, 133, 134, 135, 707, 708] [136, 137, 138, 139, 693, 709] [140, 141, 142, 143, 666, 699] [144, 145, 146, 147, 668, 710] [148, 149, 150, 151, 662, 700] [152, 153, 154, 155, 670, 701] [156, 157, 158, 159, 701, 711] [160, 161, 162, 163, 673, 694] [164, 165, 166, 167, 711, 712] [168, 169, 170, 171, 694, 713] [172, 173, 174, 175, 675, 705] [176, 177, 178, 179, 695, 714] [180, 181, 182, 183, 677, 702] [184, 185, 186, 187, 714, 715] [188, 189, 190, 191, 676, 695] [192, 193, 194, 195, 686, 716] [196, 197, 198, 199, 703, 714] [200, 201, 202, 203, 664, 696] [204, 205, 206, 207, 688, 716] [208, 209, 210, 211, 668, 704] [212, 213, 214, 215, 687, 705] [216, 217, 218, 219, 678, 697] [220, 221, 222, 223, 672, 687] [224, 225, 226, 227, 660, 697] [228, 229, 230, 231, 680, 689] [232, 233, 234, 235, 661, 698] [236, 237, 238, 239, 677, 706] [240, 241, 242, 243, 661, 662] [244, 245, 246, 247, 670, 698] [248, 249, 250, 251, 663, 679] [252, 253, 254, 255, 661, 707] [256, 257, 258, 259, 663, 665] [260, 261, 262, 263, 708, 715] [264, 265, 266, 267, 676, 709] [268, 269, 270, 271, 660, 709] [272, 273, 274, 275, 674, 699] [276, 277, 278, 279, 660, 666] [280, 281, 282, 283, 667, 699] [284, 285, 286, 287, 672, 700] [288, 289, 290, 291, 677, 710] [292, 293, 294, 295, 668, 672] [296, 297, 298, 299, 683, 700] [300, 301, 302, 303, 662, 682] [304, 305, 306, 307, 669, 710] [308, 309, 310, 311, 684, 701] [312, 313, 314, 315, 669, 670] [316, 317, 318, 319, 671, 701] [320, 321, 322, 323, 685, 711] [324, 325, 326, 327, 673, 680] [328, 329, 330, 331, 682, 712] [332, 333, 334, 335, 674, 713] [336, 337, 338, 339, 686, 713] [340, 341, 342, 343, 674, 702] [344, 345, 346, 347, 682, 705] [348, 349, 350, 351, 674, 675] [352, 353, 354, 355, 685, 702] [356, 357, 358, 359, 683, 715] [360, 361, 362, 363, 676] [364, 365, 366, 367, 667, 689] [368, 369, 370, 371, 681, 703] [372, 373, 374, 375, 667, 714] [376, 377, 378, 379, 703, 711] [380, 381, 382, 383, 664, 683] [384, 385, 386, 387, 666, 704] [388, 389, 390, 391, 677, 688] [392, 393, 394, 395, 666, 716] [396, 397, 398, 399, 675, 704] [400, 401, 402, 403, 668, 685] [404, 405, 406, 407, 671, 705] [408, 409, 410, 411, 684, 687] [412, 413, 414, 415, 678, 683] [416, 417, 418, 419, 672, 686] [420, 421, 422, 423, 660, 673] [424, 425, 426, 427, 660, 679] [428, 429, 430, 431, 673, 706] [432, 433, 434, 435, 686, 689] [436, 437, 438, 439, 684, 706] [440, 441, 442, 443, 662, 676] [444, 445, 446, 447, 670] [448, 449, 450, 451, 664, 713] [452, 453, 454, 455, 669, 707] [456, 457, 458, 459, 661, 713] [460, 461, 462, 463, 687, 707] [464, 465, 466, 467, 708, 712] [468, 469, 470, 471, 665, 677] [472, 473, 474, 475, 663, 712] [476, 477, 478, 479, 680, 708] [480, 481, 482, 483, 684, 715] [484, 485, 486, 487, 665, 681] [488, 489, 490, 491, 685, 709] [492, 493, 494, 495, 676, 681] [496, 497, 498, 499, 671, 709] [500, 501, 502, 503, 666, 684] [504, 505, 506, 507, 667, 669] [508, 509, 510, 511, 667, 682] [512, 513, 514, 515, 679, 710] [516, 517, 518, 519, 668, 680] [520, 521, 522, 523, 683] [524, 525, 526, 527, 678, 711] [528, 529, 530, 531, 682, 688] [532, 533, 534, 535, 673, 717] [536, 537, 538, 539, 674, 717] [540, 541, 542, 543, 679, 714] [544, 545, 546, 547, 670, 716] [548, 549, 550, 551, 671, 689] [552, 553, 554, 555, 678, 688] [556, 557, 558, 559, 664, 679] [560, 561, 562, 563, 675] [564, 565, 566, 567, 681, 687] [568, 569, 570, 571, 665, 686] [572, 573, 574, 575, 678, 717] [576, 577, 578, 579, 661, 685] [580, 581, 582, 583, 663, 675] [584, 585, 586, 587, 664, 671] [588, 589, 590, 591, 680] [592, 593, 594, 595, 669, 717] [596, 597, 598, 599, 681, 717]
Code ID 718-64-12 · download JSON · raw on GitHub