← back to the board
[[561,68,10]] d ≤
n
561
k
68
d
10
kd²/n
12.121
w
7
X/Z
1

Share this result

Distance

X/Z asymmetry 1 · d_X ≤ 10, d_Z ≤ 10 · w_X = 7, 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 10 · witness weight 10 (claimed upper_bound)
witness operator (support, 10 qubits)
[0, 1, 16, 17, 36, 37, 56, 57, 136, 137]
d_Z 10 · witness weight 10 (claimed upper_bound)
witness operator (support, 10 qubits)
[88, 89, 96, 97, 144, 145, 364, 365, 368, 369]
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–7 (mean 6.509) · H_Z 5–6 (mean 5.98)
qubit degrees H_X 2–5 (mean 3.191) · H_Z 2–6 (mean 3.23)
trapping sets H_X (1,2)×24 (2,2)×36 (3,2)×36 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_X
(1,2): 24 (1,3): 452 (1,4): 39 (1,5): 46 (2,2): 36 (2,3): 120 (2,4): 2882 (2,5): 952 (2,6): 872 (2,8): 111 (3,2): 36 (3,3): 360 (3,4): 2380 (3,5): 25012 (3,6): 12044 (3,7): 16512 (3,8): 4108 (3,9): 4676 (3,10): 24 (3,11): 848
trapping sets H_Z (1,2)×32 (2,2)×48 (3,2)×48 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_Z
(1,2): 32 (1,3): 444 (1,4): 46 (1,5): 2 (1,6): 37 (2,2): 48 (2,3): 128 (2,4): 2410 (2,5): 904 (2,6): 72 (2,7): 840 (2,9): 10 (2,10): 103 (3,2): 48 (3,3): 384 (3,4): 2276 (3,5): 17472 (3,6): 9888 (3,7): 3976 (3,8): 13936 (3,9): 1796 (3,10): 1756 (3,11): 3920 (3,12): 40 (3,13): 464 (3,14): 477

Construction & provenance

authors @MathysRennela
provenance submitted through the challenge
novelty novelty not audited
construction Distance-amplified code: one [[4,2,2]] tensor-product amplification step (central three-term truncation of the chain-complex tensor product, arXiv:2609.37231 Eq. 1/Eq. 12-15) applied to the board's [[119,34,5]] reduction of [[120,34,5]] entry, using a sparse independent-row presentation of its checks: n' = 4n + m_X + m_Z = 561, k' = 2k = 68, check weight w' = w+1 = 7. X/Z witnesses are the base witnesses tensored with the weight-2 [[4,2,2]] logical on the central register (weights 10/10); a 100000-trial fast-backend search (seed 5000) found nothing lighter (min weight 10). Base provenance: Reduction of the board's codes/120-34-5.json ([[120,34,5]]) by 1 qubits at unchanged k, unchanged check-weight class and unchanged locality class, by one move applied to a fixpoint: graft a qubit away using a low-weight element of the stabilizer ROW SPACE. Let S be an element of the row space of H_X with support T and let a be in T. Replace one generator of the subset summing to S by S itself -- the span is unchanged, that generator being S plus the rest of the subset -- and add S into every other X row meeting a, so that a survives only in S. Then apply the CNOT fan-out from a to T\{a}, which acts on the check matrices as H_X[:, b] ^= H_X[:, a] and H_Z[:, a] ^= H_Z[:, b] for each b in T\{a}. Only S still meets a, so the first substitution turns S into the weight-1 stabilizer X_a and leaves every other X row alone; the second zeroes column a of H_Z, because commutation forces every Z row to meet T an even number of times. Qubit a is then disentangled and is deleted: n -> n-1, k unchanged, and the Z rows only LOSE an index, so their weights and support diameters cannot rise. The weight of S separates three regimes, and the difference is entirely in the clearing step R ^= S. |S| = 1: nothing is added anywhere, so the weights, the radius AND THE DISTANCE are all preserved exactly, and no distance search is needed -- this is the row-space form of the weight-1 stabilizer cleanup of Liang, Eberhardt and Chen (arXiv:2504.08887 Sec. III D step 4), which the implementation in research/local2d/boundary_engine.py applies only to literal weight-1 generator ROWS. |S| = 2: R loses a and toggles one other index, so its weight changes by 0 or -2 and can never rise. |S| >= 3: R can grow, so every touched row is checked against the code's weight class and its locality radius, measured in the source's own layout. This generalises the capped merge-graft I introduced with [[454,8,17]], which only ever built S from the generators a single qubit happens to lie in. Here the accepted grafts were |S| = 5: 1. Low-weight row-space elements are enumerated as sums of at most three checks with a connected overlap pattern. Every graft with |S| >= 2 was accepted only if k was unchanged and a bit-packed RIS search found nothing lighter than 5, screened once and confirmed twice with independent seeds; those in-loop rungs are a filter, not the evidence. QUBIT POSITIONS ARE THE SOURCE'S: every surviving qubit keeps the coordinate it has in codes/120-34-5.json, so the layout is inherited rather than re-derived, and the reduction only deletes. The surviving qubits' indices into the source numbering are [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 12]... (full list implied by the coordinates in this file).
model Space Bunny Alpha 1.0 (claimed, not verified)
builds on arXiv:2609.37231, arXiv:2504.08887
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 ≤ 8 (computed)

How this code was found

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

[[561,68,10]] — one [[4,2,2]] distance-amplification step of [[119,34,5]]

Direction & hypothesis

Target cell: CSS, unrestricted x weight-8 (max check weight 7). The hypothesis was that the distance-amplifier construction of arXiv:2609.37231 transfers a board code into a *new* Pareto point rather than a cosmetic one: 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 the board's headline figure gains a factor 8/5 per step while n grows by about five. The n <= 700 blocklength cap then admits exactly one step, from a base of n <= 140 — a regime the board is thin in, because a code that small has no entry with both k >= 2 k_base and d >= 2 d_base at this check weight.

What was searched

Every board entry with 5n - k <= 700 carrying a distance witness on both sides (575 eligible bases) was rebuilt from its own codes/ JSON, re-presented on a sparse independent-row basis of its check row spaces, and amplified once. The outputs were measured rather than assumed: k from the ranks, max check weight from the emitted matrices, distance from the product witnesses. Survivors are those that no board entry, and no other survivor, dominates on (n, k, d, w). 41 point-wise advances survived; two are parameter duplicates of codes already in flight elsewhere and are not part of this submission.

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 10 / 10 here. Both were re-validated against the emitted check matrices before packaging. Each side was additionally searched with 100,000 accelerator trials at seed 5000, which returned 10 as the lightest logical on both sides — nothing lighter was found. verify/validate_candidate.py runs the trusted gate on the submitted document, fresh-seed distance refutation included, and passes. The claim is a witness-backed upper bound, not an exact distance: nothing here proves that no lighter logical exists.

Dead ends

The paper's other two amplifier families are worse here, not better. Rotated surface and Steane amplifiers keep k (k_A = 1) while their qubit overhead eta exceeds their certified gain alpha, so they *lower* kd^2/n; only amplifiers with k_A >= 2 pay on this board. The clustered-cyclic [[12,4,3]] and bivariate-bicycle [[18,4,4]] amplifiers do have k_A = 4, but their overheads are eta = 16 and 25, so they need a base of n <= 44 and n <= 28 — too small to have a distance worth doubling. Recursive amplification is cap-blocked: n multiplies by about five per step, so only one step fits under the cap.

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. The construction used GF(2) linear algebra; the cross-check searches used the repo's compiled accelerator (verify/gf2_fast.cpp) on eight threads. One core for the algebra, seconds per base for the sweep.

Reproduction

Take the base entry codes/119-34-5.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 (row-reducing outright would give the same ranks at weight 50 and up). 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 are unchanged; CSS holds by construction, k' = 2k by the Kunneth formula, and the amplified distance is at least 2d by the logical-overlap criterion.

Parity checks

X-checks 275 (max weight 7) · Z-checks 303 (max weight 6)
H_X (275 checks, sparse supports)
[28, 32, 56, 324, 344, 522] [29, 33, 57, 325, 345, 522] [30, 34, 58, 326, 346, 522] [31, 35, 59, 327, 347, 522] [76, 168, 272, 288, 468, 523] [77, 169, 273, 289, 469, 523] [78, 170, 274, 290, 470, 523] [79, 171, 275, 291, 471, 523] [64, 72, 224, 300, 416, 464, 524] [65, 73, 225, 301, 417, 465, 524] [66, 74, 226, 302, 418, 466, 524] [67, 75, 227, 303, 419, 467, 524] [144, 216, 268, 272, 364, 392, 525] [145, 217, 269, 273, 365, 393, 525] [146, 218, 270, 274, 366, 394, 525] [147, 219, 271, 275, 367, 395, 525] [8, 348, 352, 372, 400, 404, 526] [9, 349, 353, 373, 401, 405, 526] [10, 350, 354, 374, 402, 406, 526] [11, 351, 355, 375, 403, 407, 526] [56, 156, 172, 276, 308, 320, 527] [57, 157, 173, 277, 309, 321, 527] [58, 158, 174, 278, 310, 322, 527] [59, 159, 175, 279, 311, 323, 527] [12, 24, 72, 196, 240, 280, 528] [13, 25, 73, 197, 241, 281, 528] [14, 26, 74, 198, 242, 282, 528] [15, 27, 75, 199, 243, 283, 528] [60, 172, 372, 376, 388, 460, 529] [61, 173, 373, 377, 389, 461, 529] [62, 174, 374, 378, 390, 462, 529] [63, 175, 375, 379, 391, 463, 529] [0, 40, 68, 136, 228, 396, 530] [1, 41, 69, 137, 229, 397, 530] [2, 42, 70, 138, 230, 398, 530] [3, 43, 71, 139, 231, 399, 530] [44, 124, 204, 264, 292, 380, 531] [45, 125, 205, 265, 293, 381, 531] [46, 126, 206, 266, 294, 382, 531] [47, 127, 207, 267, 295, 383, 531] [156, 160, 164, 284, 336, 380, 532] [157, 161, 165, 285, 337, 381, 532] [158, 162, 166, 286, 338, 382, 532] [159, 163, 167, 287, 339, 383, 532] [4, 52, 108, 120, 260, 280, 533] [5, 53, 109, 121, 261, 281, 533] [6, 54, 110, 122, 262, 282, 533] [7, 55, 111, 123, 263, 283, 533] [84, 164, 304, 356, 408, 428, 534] [85, 165, 305, 357, 409, 429, 534] [86, 166, 306, 358, 410, 430, 534] [87, 167, 307, 359, 411, 431, 534] [20, 92, 252, 400, 412, 424, 535] [21, 93, 253, 401, 413, 425, 535] [22, 94, 254, 402, 414, 426, 535] [23, 95, 255, 403, 415, 427, 535] [48, 92, 100, 188, 356, 384, 536] [49, 93, 101, 189, 357, 385, 536] [50, 94, 102, 190, 358, 386, 536] [51, 95, 103, 191, 359, 387, 536] [100, 112, 176, 248, 296, 392, 537] [101, 113, 177, 249, 297, 393, 537] [102, 114, 178, 250, 298, 394, 537] [103, 115, 179, 251, 299, 395, 537] [88, 96, 140, 148, 180, 292, 538] [89, 97, 141, 149, 181, 293, 538] [90, 98, 142, 150, 182, 294, 538] [91, 99, 143, 151, 183, 295, 538] [16, 24, 32, 340, 408, 452, 539] [17, 25, 33, 341, 409, 453, 539] [18, 26, 34, 342, 410, 454, 539] [19, 27, 35, 343, 411, 455, 539] [76, 224, 236, 316, 336, 348, 540] [77, 225, 237, 317, 337, 349, 540] [78, 226, 238, 318, 338, 350, 540] [79, 227, 239, 319, 339, 351, 540] [160, 228, 296, 312, 432, 444, 541] [161, 229, 297, 313, 433, 445, 541] [162, 230, 298, 314, 434, 446, 541] [163, 231, 299, 315, 435, 447, 541] [200, 240, 284, 364, 368, 424, 542] [201, 241, 285, 365, 369, 425, 542] [202, 242, 286, 366, 370, 426, 542] [203, 243, 287, 367, 371, 427, 542] [80, 104, 124, 132, 252, 452, 543] [81, 105, 125, 133, 253, 453, 543] [82, 106, 126, 134, 254, 454, 543] [83, 107, 127, 135, 255, 455, 543] [96, 136, 324, 368, 420, 456, 544] [97, 137, 325, 369, 421, 457, 544] [98, 138, 326, 370, 422, 458, 544] [99, 139, 327, 371, 423, 459, 544] [48, 52, 116, 232, 236, 420, 545] [49, 53, 117, 233, 237, 421, 545] [50, 54, 118, 234, 238, 422, 545] [51, 55, 119, 235, 239, 423, 545] [8, 16, 36, 208, 216, 396, 546] [9, 17, 37, 209, 217, 397, 546] [10, 18, 38, 210, 218, 398, 546] [11, 19, 39, 211, 219, 399, 546] [44, 116, 152, 208, 436, 440, 547] [45, 117, 153, 209, 437, 441, 547] [46, 118, 154, 210, 438, 442, 547] [47, 119, 155, 211, 439, 443, 547] [132, 184, 192, 232, 268, 308, 548] [133, 185, 193, 233, 269, 309, 548] [134, 186, 194, 234, 270, 310, 548] [135, 187, 195, 235, 271, 311, 548] [40, 184, 304, 332, 360, 416, 549] [41, 185, 305, 333, 361, 417, 549] [42, 186, 306, 334, 362, 418, 549] [43, 187, 307, 335, 363, 419, 549] [4, 88, 144, 212, 388, 428, 550] [5, 89, 145, 213, 389, 429, 550] [6, 90, 146, 214, 390, 430, 550] [7, 91, 147, 215, 391, 431, 550] [152, 200, 220, 360, 376, 472, 551] [153, 201, 221, 361, 377, 473, 551] [154, 202, 222, 362, 378, 474, 551] [155, 203, 223, 363, 379, 475, 551] [28, 212, 300, 312, 412, 440, 552] [29, 213, 301, 313, 413, 441, 552] [30, 214, 302, 314, 414, 442, 552] [31, 215, 303, 315, 415, 443, 552] [120, 176, 204, 332, 344, 404, 553] [121, 177, 205, 333, 345, 405, 553] [122, 178, 206, 334, 346, 406, 553] [123, 179, 207, 335, 347, 407, 553] [12, 128, 140, 192, 352, 444, 554] [13, 129, 141, 193, 353, 445, 554] [14, 130, 142, 194, 354, 446, 554] [15, 131, 143, 195, 355, 447, 554] [36, 148, 188, 256, 276, 464, 555] [37, 149, 189, 257, 277, 465, 555] [38, 150, 190, 258, 278, 466, 555] [39, 151, 191, 259, 279, 467, 555] [104, 108, 256, 432, 468, 472, 556] [105, 109, 257, 433, 469, 473, 556] [106, 110, 258, 434, 470, 474, 556] [107, 111, 259, 435, 471, 475, 556] [0, 60, 196, 264, 288, 384, 557] [1, 61, 197, 265, 289, 385, 557] [2, 62, 198, 266, 290, 386, 557] [3, 63, 199, 267, 291, 387, 557] [64, 80, 244, 248, 456, 460, 558] [65, 81, 245, 249, 457, 461, 558] [66, 82, 246, 250, 458, 462, 558] [67, 83, 247, 251, 459, 463, 558] [84, 128, 168, 244, 328, 436, 559] [85, 129, 169, 245, 329, 437, 559] [86, 130, 170, 246, 330, 438, 559] [87, 131, 171, 247, 331, 439, 559] [112, 180, 220, 316, 340, 448, 560] [113, 181, 221, 317, 341, 449, 560] [114, 182, 222, 318, 342, 450, 560] [115, 183, 223, 319, 343, 451, 560] [0, 1, 2, 3, 488, 521] [4, 5, 6, 7, 485, 494] [8, 9, 10, 11, 482, 500] [12, 13, 14, 15, 489, 494] [16, 17, 18, 19, 478] [20, 21, 22, 23, 509, 516] [24, 25, 26, 27, 506, 507] [28, 29, 30, 31, 480, 485] [32, 33, 34, 35, 510] [36, 37, 38, 39, 478, 521] [40, 41, 42, 43, 479, 495] [44, 45, 46, 47, 481, 519] [48, 49, 50, 51, 487, 516] [52, 53, 54, 55, 515, 516] [56, 57, 58, 59, 498] [60, 61, 62, 63, 491, 512] [64, 65, 66, 67, 480, 518] [68, 69, 70, 71, 498, 514] [72, 73, 74, 75, 489, 507] [76, 77, 78, 79, 513] [80, 81, 82, 83, 483, 511] [84, 85, 86, 87, 484, 504] [88, 89, 90, 91, 490, 494] [92, 93, 94, 95, 483, 516] [96, 97, 98, 99, 481, 503] [100, 101, 102, 103, 477, 483] [104, 105, 106, 107, 502, 519] [108, 109, 110, 111, 492, 508] [112, 113, 114, 115, 499, 503] [116, 117, 118, 119, 481, 513] [120, 121, 122, 123, 485, 515] [124, 125, 126, 127, 510, 519] [128, 129, 130, 131, 511, 514] [132, 133, 134, 135, 502, 511] [136, 137, 138, 139, 488, 498] [140, 141, 142, 143, 494, 497] [144, 145, 146, 147, 476, 477] [148, 149, 150, 151, 478, 490] [152, 153, 154, 155, 495, 519] [156, 157, 158, 159, 520] [160, 161, 162, 163, 486, 497] [164, 165, 166, 167, 496, 520] [168, 169, 170, 171, 512, 513] [172, 173, 174, 175, 490, 509] [176, 177, 178, 179, 479, 499] [180, 181, 182, 183, 478, 503] [184, 185, 186, 187, 515, 520] [188, 189, 190, 191, 487, 521] [192, 193, 194, 195, 500, 511] [196, 197, 198, 199, 488, 508] [200, 201, 202, 203, 476, 517] [204, 205, 206, 207, 491, 510] [208, 209, 210, 211, 482, 495] [212, 213, 214, 215, 484, 485] [216, 217, 218, 219, 500] [220, 221, 222, 223, 492, 517] [224, 225, 226, 227, 487, 489] [228, 229, 230, 231, 479, 514] [232, 233, 234, 235, 493, 515] [236, 237, 238, 239, 487, 513] [240, 241, 242, 243, 488, 506] [244, 245, 246, 247, 511, 512] [248, 249, 250, 251, 483, 503] [252, 253, 254, 255, 483, 506] [256, 257, 258, 259, 501, 502] [260, 261, 262, 263, 492, 516] [264, 265, 266, 267, 491, 496] [268, 269, 270, 271, 493, 500] [272, 273, 274, 275, 505] [276, 277, 278, 279, 490, 502] [280, 281, 282, 283, 494, 508] [284, 285, 286, 287, 486, 517] [288, 289, 290, 291, 508, 512] [292, 293, 294, 295, 481, 497] [296, 297, 298, 299, 479, 505] [300, 301, 302, 303, 480, 501] [304, 305, 306, 307, 507, 520] [308, 309, 310, 311, 502, 520] [312, 313, 314, 315, 486, 501] [316, 317, 318, 319, 499, 517] [320, 321, 322, 323, 498, 509] [324, 325, 326, 327, 480, 498] [328, 329, 330, 331, 504, 514] [332, 333, 334, 335, 479, 515] [336, 337, 338, 339, 517] [340, 341, 342, 343, 478, 504] [344, 345, 346, 347, 485, 510] [348, 349, 350, 351, 489, 499] [352, 353, 354, 355, 489, 500] [356, 357, 358, 359, 477, 496] [360, 361, 362, 363, 495, 518] [364, 365, 366, 367, 476, 493] [368, 369, 370, 371, 488, 493] [372, 373, 374, 375, 491, 509] [376, 377, 378, 379, 476, 518] [380, 381, 382, 383, 496, 497] [384, 385, 386, 387, 496, 521] [388, 389, 390, 391, 476, 490] [392, 393, 394, 395, 477, 505] [396, 397, 398, 399, 495, 521] [400, 401, 402, 403, 482, 509] [404, 405, 406, 407, 491, 499] [408, 409, 410, 411, 504, 507] [412, 413, 414, 415, 482, 486] [416, 417, 418, 419, 507, 518] [420, 421, 422, 423, 481, 493] [424, 425, 426, 427, 486, 506] [428, 429, 430, 431, 477, 484] [432, 433, 434, 435, 501, 505] [436, 437, 438, 439, 484, 513] [440, 441, 442, 443, 482, 484] [444, 445, 446, 447, 497, 514] [448, 449, 450, 451, 492, 504] [452, 453, 454, 455, 506, 510] [456, 457, 458, 459, 480, 503] [460, 461, 462, 463, 512, 518] [464, 465, 466, 467, 487, 501] [468, 469, 470, 471, 505, 508] [472, 473, 474, 475, 492, 519]
H_Z (303 checks, sparse supports)
[144, 200, 364, 376, 388, 476] [145, 201, 365, 377, 389, 476] [146, 202, 366, 378, 390, 476] [147, 203, 367, 379, 391, 476] [100, 144, 356, 392, 428, 477] [101, 145, 357, 393, 429, 477] [102, 146, 358, 394, 430, 477] [103, 147, 359, 395, 431, 477] [16, 36, 148, 180, 340, 478] [17, 37, 149, 181, 341, 478] [18, 38, 150, 182, 342, 478] [19, 39, 151, 183, 343, 478] [40, 176, 228, 296, 332, 479] [41, 177, 229, 297, 333, 479] [42, 178, 230, 298, 334, 479] [43, 179, 231, 299, 335, 479] [28, 64, 300, 324, 456, 480] [29, 65, 301, 325, 457, 480] [30, 66, 302, 326, 458, 480] [31, 67, 303, 327, 459, 480] [44, 96, 116, 292, 420, 481] [45, 97, 117, 293, 421, 481] [46, 98, 118, 294, 422, 481] [47, 99, 119, 295, 423, 481] [8, 208, 400, 412, 440, 482] [9, 209, 401, 413, 441, 482] [10, 210, 402, 414, 442, 482] [11, 211, 403, 415, 443, 482] [80, 92, 100, 248, 252, 483] [81, 93, 101, 249, 253, 483] [82, 94, 102, 250, 254, 483] [83, 95, 103, 251, 255, 483] [84, 212, 428, 436, 440, 484] [85, 213, 429, 437, 441, 484] [86, 214, 430, 438, 442, 484] [87, 215, 431, 439, 443, 484] [4, 28, 120, 212, 344, 485] [5, 29, 121, 213, 345, 485] [6, 30, 122, 214, 346, 485] [7, 31, 123, 215, 347, 485] [160, 284, 312, 412, 424, 486] [161, 285, 313, 413, 425, 486] [162, 286, 314, 414, 426, 486] [163, 287, 315, 415, 427, 486] [48, 188, 224, 236, 464, 487] [49, 189, 225, 237, 465, 487] [50, 190, 226, 238, 466, 487] [51, 191, 227, 239, 467, 487] [0, 136, 196, 240, 368, 488] [1, 137, 197, 241, 369, 488] [2, 138, 198, 242, 370, 488] [3, 139, 199, 243, 371, 488] [12, 72, 224, 348, 352, 489] [13, 73, 225, 349, 353, 489] [14, 74, 226, 350, 354, 489] [15, 75, 227, 351, 355, 489] [88, 148, 172, 276, 388, 490] [89, 149, 173, 277, 389, 490] [90, 150, 174, 278, 390, 490] [91, 151, 175, 279, 391, 490] [60, 204, 264, 372, 404, 491] [61, 205, 265, 373, 405, 491] [62, 206, 266, 374, 406, 491] [63, 207, 267, 375, 407, 491] [108, 220, 260, 448, 472, 492] [109, 221, 261, 449, 473, 492] [110, 222, 262, 450, 474, 492] [111, 223, 263, 451, 475, 492] [232, 268, 364, 368, 420, 493] [233, 269, 365, 369, 421, 493] [234, 270, 366, 370, 422, 493] [235, 271, 367, 371, 423, 493] [4, 12, 88, 140, 280, 494] [5, 13, 89, 141, 281, 494] [6, 14, 90, 142, 282, 494] [7, 15, 91, 143, 283, 494] [40, 152, 208, 360, 396, 495] [41, 153, 209, 361, 397, 495] [42, 154, 210, 362, 398, 495] [43, 155, 211, 363, 399, 495] [164, 264, 356, 380, 384, 496] [165, 265, 357, 381, 385, 496] [166, 266, 358, 382, 386, 496] [167, 267, 359, 383, 387, 496] [140, 160, 292, 380, 444, 497] [141, 161, 293, 381, 445, 497] [142, 162, 294, 382, 446, 497] [143, 163, 295, 383, 447, 497] [56, 68, 136, 320, 324, 498] [57, 69, 137, 321, 325, 498] [58, 70, 138, 322, 326, 498] [59, 71, 139, 323, 327, 498] [112, 176, 316, 348, 404, 499] [113, 177, 317, 349, 405, 499] [114, 178, 318, 350, 406, 499] [115, 179, 319, 351, 407, 499] [8, 192, 216, 268, 352, 500] [9, 193, 217, 269, 353, 500] [10, 194, 218, 270, 354, 500] [11, 195, 219, 271, 355, 500] [256, 300, 312, 432, 464, 501] [257, 301, 313, 433, 465, 501] [258, 302, 314, 434, 466, 501] [259, 303, 315, 435, 467, 501] [104, 132, 256, 276, 308, 502] [105, 133, 257, 277, 309, 502] [106, 134, 258, 278, 310, 502] [107, 135, 259, 279, 311, 502] [96, 112, 180, 248, 456, 503] [97, 113, 181, 249, 457, 503] [98, 114, 182, 250, 458, 503] [99, 115, 183, 251, 459, 503] [84, 328, 340, 408, 448, 504] [85, 329, 341, 409, 449, 504] [86, 330, 342, 410, 450, 504] [87, 331, 343, 411, 451, 504] [272, 296, 392, 432, 468, 505] [273, 297, 393, 433, 469, 505] [274, 298, 394, 434, 470, 505] [275, 299, 395, 435, 471, 505] [24, 240, 252, 424, 452, 506] [25, 241, 253, 425, 453, 506] [26, 242, 254, 426, 454, 506] [27, 243, 255, 427, 455, 506] [24, 72, 304, 408, 416, 507] [25, 73, 305, 409, 417, 507] [26, 74, 306, 410, 418, 507] [27, 75, 307, 411, 419, 507] [108, 196, 280, 288, 468, 508] [109, 197, 281, 289, 469, 508] [110, 198, 282, 290, 470, 508] [111, 199, 283, 291, 471, 508] [20, 172, 320, 372, 400, 509] [21, 173, 321, 373, 401, 509] [22, 174, 322, 374, 402, 509] [23, 175, 323, 375, 403, 509] [32, 124, 204, 344, 452, 510] [33, 125, 205, 345, 453, 510] [34, 126, 206, 346, 454, 510] [35, 127, 207, 347, 455, 510] [80, 128, 132, 192, 244, 511] [81, 129, 133, 193, 245, 511] [82, 130, 134, 194, 246, 511] [83, 131, 135, 195, 247, 511] [60, 168, 244, 288, 460, 512] [61, 169, 245, 289, 461, 512] [62, 170, 246, 290, 462, 512] [63, 171, 247, 291, 463, 512] [76, 116, 168, 236, 436, 513] [77, 117, 169, 237, 437, 513] [78, 118, 170, 238, 438, 513] [79, 119, 171, 239, 439, 513] [68, 128, 228, 328, 444, 514] [69, 129, 229, 329, 445, 514] [70, 130, 230, 330, 446, 514] [71, 131, 231, 331, 447, 514] [52, 120, 184, 232, 332, 515] [53, 121, 185, 233, 333, 515] [54, 122, 186, 234, 334, 515] [55, 123, 187, 235, 335, 515] [20, 48, 52, 92, 260, 516] [21, 49, 53, 93, 261, 516] [22, 50, 54, 94, 262, 516] [23, 51, 55, 95, 263, 516] [200, 220, 284, 316, 336, 517] [201, 221, 285, 317, 337, 517] [202, 222, 286, 318, 338, 517] [203, 223, 287, 319, 339, 517] [64, 360, 376, 416, 460, 518] [65, 361, 377, 417, 461, 518] [66, 362, 378, 418, 462, 518] [67, 363, 379, 419, 463, 518] [44, 104, 124, 152, 472, 519] [45, 105, 125, 153, 473, 519] [46, 106, 126, 154, 474, 519] [47, 107, 127, 155, 475, 519] [156, 164, 184, 304, 308, 520] [157, 165, 185, 305, 309, 520] [158, 166, 186, 306, 310, 520] [159, 167, 187, 307, 311, 520] [0, 36, 188, 384, 396, 521] [1, 37, 189, 385, 397, 521] [2, 38, 190, 386, 398, 521] [3, 39, 191, 387, 399, 521] [0, 1, 2, 3, 530, 557] [4, 5, 6, 7, 533, 550] [8, 9, 10, 11, 526, 546] [12, 13, 14, 15, 528, 554] [16, 17, 18, 19, 539, 546] [20, 21, 22, 23, 535] [24, 25, 26, 27, 528, 539] [28, 29, 30, 31, 522, 552] [32, 33, 34, 35, 522, 539] [36, 37, 38, 39, 546, 555] [40, 41, 42, 43, 530, 549] [44, 45, 46, 47, 531, 547] [48, 49, 50, 51, 536, 545] [52, 53, 54, 55, 533, 545] [56, 57, 58, 59, 522, 527] [60, 61, 62, 63, 529, 557] [64, 65, 66, 67, 524, 558] [68, 69, 70, 71, 530] [72, 73, 74, 75, 524, 528] [76, 77, 78, 79, 523, 540] [80, 81, 82, 83, 543, 558] [84, 85, 86, 87, 534, 559] [88, 89, 90, 91, 538, 550] [92, 93, 94, 95, 535, 536] [96, 97, 98, 99, 538, 544] [100, 101, 102, 103, 536, 537] [104, 105, 106, 107, 543, 556] [108, 109, 110, 111, 533, 556] [112, 113, 114, 115, 537, 560] [116, 117, 118, 119, 545, 547] [120, 121, 122, 123, 533, 553] [124, 125, 126, 127, 531, 543] [128, 129, 130, 131, 554, 559] [132, 133, 134, 135, 543, 548] [136, 137, 138, 139, 530, 544] [140, 141, 142, 143, 538, 554] [144, 145, 146, 147, 525, 550] [148, 149, 150, 151, 538, 555] [152, 153, 154, 155, 547, 551] [156, 157, 158, 159, 527, 532] [160, 161, 162, 163, 532, 541] [164, 165, 166, 167, 532, 534] [168, 169, 170, 171, 523, 559] [172, 173, 174, 175, 527, 529] [176, 177, 178, 179, 537, 553] [180, 181, 182, 183, 538, 560] [184, 185, 186, 187, 548, 549] [188, 189, 190, 191, 536, 555] [192, 193, 194, 195, 548, 554] [196, 197, 198, 199, 528, 557] [200, 201, 202, 203, 542, 551] [204, 205, 206, 207, 531, 553] [208, 209, 210, 211, 546, 547] [212, 213, 214, 215, 550, 552] [216, 217, 218, 219, 525, 546] [220, 221, 222, 223, 551, 560] [224, 225, 226, 227, 524, 540] [228, 229, 230, 231, 530, 541] [232, 233, 234, 235, 545, 548] [236, 237, 238, 239, 540, 545] [240, 241, 242, 243, 528, 542] [244, 245, 246, 247, 558, 559] [248, 249, 250, 251, 537, 558] [252, 253, 254, 255, 535, 543] [256, 257, 258, 259, 555, 556] [260, 261, 262, 263, 533] [264, 265, 266, 267, 531, 557] [268, 269, 270, 271, 525, 548] [272, 273, 274, 275, 523, 525] [276, 277, 278, 279, 527, 555] [280, 281, 282, 283, 528, 533] [284, 285, 286, 287, 532, 542] [288, 289, 290, 291, 523, 557] [292, 293, 294, 295, 531, 538] [296, 297, 298, 299, 537, 541] [300, 301, 302, 303, 524, 552] [304, 305, 306, 307, 534, 549] [308, 309, 310, 311, 527, 548] [312, 313, 314, 315, 541, 552] [316, 317, 318, 319, 540, 560] [320, 321, 322, 323, 527] [324, 325, 326, 327, 522, 544] [328, 329, 330, 331, 559] [332, 333, 334, 335, 549, 553] [336, 337, 338, 339, 532, 540] [340, 341, 342, 343, 539, 560] [344, 345, 346, 347, 522, 553] [348, 349, 350, 351, 526, 540] [352, 353, 354, 355, 526, 554] [356, 357, 358, 359, 534, 536] [360, 361, 362, 363, 549, 551] [364, 365, 366, 367, 525, 542] [368, 369, 370, 371, 542, 544] [372, 373, 374, 375, 526, 529] [376, 377, 378, 379, 529, 551] [380, 381, 382, 383, 531, 532] [384, 385, 386, 387, 536, 557] [388, 389, 390, 391, 529, 550] [392, 393, 394, 395, 525, 537] [396, 397, 398, 399, 530, 546] [400, 401, 402, 403, 526, 535] [404, 405, 406, 407, 526, 553] [408, 409, 410, 411, 534, 539] [412, 413, 414, 415, 535, 552] [416, 417, 418, 419, 524, 549] [420, 421, 422, 423, 544, 545] [424, 425, 426, 427, 535, 542] [428, 429, 430, 431, 534, 550] [432, 433, 434, 435, 541, 556] [436, 437, 438, 439, 547, 559] [440, 441, 442, 443, 547, 552] [444, 445, 446, 447, 541, 554] [448, 449, 450, 451, 560] [452, 453, 454, 455, 539, 543] [456, 457, 458, 459, 544, 558] [460, 461, 462, 463, 529, 558] [464, 465, 466, 467, 524, 555] [468, 469, 470, 471, 523, 556] [472, 473, 474, 475, 551, 556]
Code ID 561-68-10 · download JSON · raw on GitHub