← back to the board
[[416,104,17]] d ≤
n
416
k
104
d
17
kd²/n
72.25
w
10
X/Z
1

Share this result

Distance

X/Z asymmetry 1 · d_X ≤ 17, d_Z ≤ 17 · w_X = 10, w_Z = 10 (max(d_X,d_Z)/min(d_X,d_Z); each side carries its own earned tier: = certified exact, ≤ witness upper bound)
d_X 17 · witness weight 17 (claimed upper_bound)
witness operator (support, 17 qubits)
[7, 19, 45, 54, 55, 72, 73, 80, 81, 138, 150, 165, 183, 281, 303, 341, 378]
d_Z 17 · witness weight 17 (claimed upper_bound)
witness operator (support, 17 qubits)
[2, 5, 66, 106, 143, 165, 170, 203, 212, 232, 233, 269, 284, 298, 315, 359, 378]
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 4 · H_Z 4 (shortest cycle of each side’s Tanner graph; longer is friendlier to belief propagation)
check weights H_X 10 · H_Z 10
qubit degrees H_X 3–4 (mean 3.75) · H_Z 3–4 (mean 3.75)
trapping sets H_X (1,3)×104 (2,4)×728 (3,4)×702 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_X
(1,3): 104 (1,4): 312 (2,4): 728 (2,5): 2496 (2,6): 3224 (3,4): 702 (3,5): 6552 (3,6): 26702 (3,7): 55952 (3,8): 52364 (3,9): 6448 (3,10): 3744
trapping sets H_Z (1,3)×104 (2,4)×728 (3,4)×702 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_Z
(1,3): 104 (1,4): 312 (2,4): 728 (2,5): 2496 (2,6): 3224 (3,4): 702 (3,5): 6552 (3,6): 26702 (3,7): 55952 (3,8): 52364 (3,9): 6448 (3,10): 3744

Construction & provenance

authors Okada, Koki and Kasai, Kenta
provenance literature baseline
construction CPM-PP pair-partition code (arXiv:2609.35601v1): J=3, L=8, P=26, Table 1 row 5; check matrices reconstructed from the published exponent arrays and F4 coefficient assignment, distances re-verified here
model MiMo-V2.6-Flash (claimed, not verified)
reference arXiv:2609.35601v1
date 2026-09-29
notes Reproduction of the Table 1 row 5 instance (P = 26) of arXiv:2609.35601v1 (Okada and Kasai), reconstructed from the published exponent arrays, F4 coefficient assignment and companion-matrix expansion. The reconstruction reproduces that paper's Table 2 invariants exactly: commuting CSS checks, rank 6P on each side (k = 4P = 104), quaternary and binary row weight 8 and 10, column weights 3 on 4P columns and 4 on 12P columns, girth 6 (quaternary) and 4 (binary). Equivalence to existing entries was checked on the base branch: no CSS entry is dominated by, or dominates, this one on (n, k, d, max check weight), and both this [[416,104,17]] and this (n,k) pair are new to codes/. Distance is re-verified here as a witness-backed upper bound (X = 17, Z = 17 from 20,000 RIS trials per side plus a 2,000,000-trial accelerator pass at seed 0); the paper claims the same value exact by exhaustive zero-syndrome search, which this repository does not certify at k = 104. P = 26 appears once in Table 1, so no sibling at the same (n,k) was traded away. Reconstructed by MiMo-V2.6-Flash; PR opened by @MathysRennela.
family pair-partition CPM (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

[[416,104,17]] CPM-PP pair-partition code reproduced from arXiv:2609.35601v1

Direction & hypothesis

Target cell: CSS, weight-9plus x unrestricted (max check weight 10, no layout). The base branch's only CSS entries at n = 416 are k = 4 and k = 36, and no CSS entry anywhere satisfies n <= 416, k >= 104, d >= 17 at check weight <= 10. The hypothesis was deliberately narrow: Okada and Kasai publish complete construction data for seven quasi-cyclic pair-partition codes, so the question was not whether a good code could be found but whether their claimed distances survive this repository's independent refutation gate. The board was expected to gain a Pareto co-leader rather than a displacer, because w = 10 keeps this family from dominating the weight-8 and weight-9 incumbents that still hold better n or k.

What was searched

No construction search. All seven instances of Table 1 of arXiv:2609.35601v1 were reconstructed from the published data alone (J = 3, L = 8, exponent arrays, F4 coefficient assignment, companion-matrix expansion). Six fit the admissibility cap, and of those one instance per (n,k) pair was submitted, so this entry is the P = 26, Table 1 row 5 instance. The seventh instance, [[2048,512,24]], exceeds the blocklength cap and stays a bar rather than a submission.

Screening per instance, all reproduced exactly: CSS commutation H_X H_Z^T = 0 over GF(2), check rank 6P on each side (hence k = 16P - 12P = 4P), quaternary row weight 8, binary row weight 10, column weights 3 on 4P columns and 4 on 12P columns, and the Table 2 girth pair 6 (quaternary) / 4 (binary). Nothing was tuned or re-searched; the numbers either come back or the reconstruction is wrong.

Evidence trail

The submit gate for this instance: 20,000 Python RIS trials per side, then a 2,000,000-trial accelerator pass, both at seed 0. Lightest logical found on each side was d = 17, matching the paper's claimed distance, with both witnesses written into codes/416-104-17.json. verify/qldpc_verify.py on the written entry exits 0 and reports earned_distance X = 17, Z = 17, d = 17, all upper_bound, including the distance_not_refuted check. The paper states these distances are exact, by an exhaustive zero-syndrome search; this repository records only the witness-backed upper bound, because verify/certify.py is out of its envelope at k = 104. CI re-runs a deeper refutation search on the PR itself and the weekly sweep keeps re-testing, so a wrong d would surface as a refutation rather than a quiet pass.

Dead ends

  • One instance per (n,k) was submitted for this batch. Two of the six in-cap

    • instances [[320,80,13]] (P = 20, Table 1 row 1) and [[352,88,15]] (P = 22, row 3) were reconstructed and then dropped: at their own (n,k) they would sit dominated beside a higher-d sibling from the same table.

  • This instance lost nothing to the batch rule: P = 26 appears once in

    • Table 1, so there is no second row at the same (n,k) to trade d against.

  • [[2048,512,24]] cannot be submitted at all: n = 2048 is past the n <= 700

    • cap, and the n <= 1000 extension needs w <= 8 and d <= 40 while this family sits at w = 10. It stays a published bar.

  • Exact certification was not attempted. verify/certify.py is measured to

    • hold only at d <= 13 and k <= 12, and these codes run to k = 104, so every claim here is an upper bound by design rather than a shortfall of the search.

  • A weight-8 sibling would compete in a much thinner cell, but the paper's

    • invertibility obstruction rules out the all-ones coefficient choice for J > 1, and the surviving coefficients are what push the binary check weight from 8 to 10. That variant was not pursued in this batch.

Tools

Model: MiMo-V2.6-Flash, driving an opencode agent session opened by @MathysRennela, who opened this PR. Repo tooling: ./qldpc submit for the witness search and packaging, verify/qldpc_verify.py for the local gate, verify/check_prose.py and verify/prepush_prose_check.sh for the prose gate. Roughly 7 minutes of wall clock per instance, dominated by the 2,000,000-trial accelerator pass; the matrix reconstruction itself is instant.

Reproduction

Rebuild (H_X, H_Z) from arXiv:2609.35601v1 with no other input:

1. Set J = 3, L = 8, P = 26, and q = (5,7,4,6,2,0,3,1). 2. Take D from Table 1 row 5 and the row shift r = (0, 8, 12) of that table: D rows are 0 2 19 8 19 0 8 2 / 0 8 11 21 0 8 11 21 / 0 19 12 16 16 12 19 0. Form E with eq (32): e[i][l] = -D[i][q[l]] + r[i] + D[0][l] (mod P). 3. Coefficient arrays, eqs (24) and (25), the same for all seven instances, over F4 = {0, 1, w, w2} with w2 = w + 1 and w^3 = 1: eps = [1,w,w2,1,w,1,1,w2]; [w,1,1,w2,1,w,w2,1]; [w2,1,1,w,1,w2,w,1] delta = [1,w2,w,1,w2,1,1,w]; then rows 1 and 2 of delta equal rows 1 and 2 of eps. 4. Pair partitions, Sec. 3: M1 = {05,17,24,36}, M2 = {04,15,26,37}, M3 = {07,16,25,34}, M4 = {04,15,23,67}, M5 = {07,13,25,46}. Use M = [[M1,M2,M3],[M3,M1,M4],[M2,M5,M1]] for P in {20,26} and M = [[M1,M2,M3],[M3,M1,M2],[M2,M3,M1]] for P in {22,28}. 5. F4 checks, eq (4): HX[i][l] = eps[i][l] * C(e[i][l]) and HZ[i][l] = delta[i][l] * C(D[i][l]), each a P x P block, where C(s) is the P x P circulant permutation matrix with a 1 at (row a, column a - s mod P). This gives two 3P x 8P matrices over F4. 6. Expand entrywise with the companion matrices of eq (18): 0 -> 0, 1 -> I2, w -> [[0,1],[1,1]], w2 -> [[1,1],[1,0]]. The result is binary H_X, H_Z of shape 6P x 16P = 416 columns. 7. Confirm H_X H_Z^T = 0, rank 6P on each side, k = 4P = 104, max row weight 10, and column weights 3 (4P columns) and 4 (12P columns).

Only after those agree should a distance search be run; the witnesses in codes/416-104-17.json are the ones this entry stands on.

Parity checks

X-checks 156 (max weight 10) · Z-checks 156 (max weight 10)
H_X (156 checks, sparse supports)
[0, 53, 104, 105, 156, 209, 260, 312, 364, 365] [1, 52, 53, 104, 157, 208, 209, 261, 313, 364] [2, 55, 106, 107, 158, 211, 262, 314, 366, 367] [3, 54, 55, 106, 159, 210, 211, 263, 315, 366] [4, 57, 108, 109, 160, 213, 264, 316, 368, 369] [5, 56, 57, 108, 161, 212, 213, 265, 317, 368] [6, 59, 110, 111, 162, 215, 266, 318, 370, 371] [7, 58, 59, 110, 163, 214, 215, 267, 319, 370] [8, 61, 112, 113, 164, 217, 268, 320, 372, 373] [9, 60, 61, 112, 165, 216, 217, 269, 321, 372] [10, 63, 114, 115, 166, 219, 270, 322, 374, 375] [11, 62, 63, 114, 167, 218, 219, 271, 323, 374] [12, 65, 116, 117, 168, 221, 272, 324, 376, 377] [13, 64, 65, 116, 169, 220, 221, 273, 325, 376] [14, 67, 118, 119, 170, 223, 274, 326, 378, 379] [15, 66, 67, 118, 171, 222, 223, 275, 327, 378] [16, 69, 120, 121, 172, 225, 276, 328, 380, 381] [17, 68, 69, 120, 173, 224, 225, 277, 329, 380] [18, 71, 122, 123, 174, 227, 278, 330, 382, 383] [19, 70, 71, 122, 175, 226, 227, 279, 331, 382] [20, 73, 124, 125, 176, 229, 280, 332, 384, 385] [21, 72, 73, 124, 177, 228, 229, 281, 333, 384] [22, 75, 126, 127, 178, 231, 282, 334, 386, 387] [23, 74, 75, 126, 179, 230, 231, 283, 335, 386] [24, 77, 128, 129, 180, 233, 284, 336, 388, 389] [25, 76, 77, 128, 181, 232, 233, 285, 337, 388] [26, 79, 130, 131, 182, 235, 286, 338, 390, 391] [27, 78, 79, 130, 183, 234, 235, 287, 339, 390] [28, 81, 132, 133, 184, 237, 288, 340, 392, 393] [29, 80, 81, 132, 185, 236, 237, 289, 341, 392] [30, 83, 134, 135, 186, 239, 290, 342, 394, 395] [31, 82, 83, 134, 187, 238, 239, 291, 343, 394] [32, 85, 136, 137, 188, 241, 292, 344, 396, 397] [33, 84, 85, 136, 189, 240, 241, 293, 345, 396] [34, 87, 138, 139, 190, 243, 294, 346, 398, 399] [35, 86, 87, 138, 191, 242, 243, 295, 347, 398] [36, 89, 140, 141, 192, 245, 296, 348, 400, 401] [37, 88, 89, 140, 193, 244, 245, 297, 349, 400] [38, 91, 142, 143, 194, 247, 298, 350, 402, 403] [39, 90, 91, 142, 195, 246, 247, 299, 351, 402] [40, 93, 144, 145, 196, 249, 300, 352, 404, 405] [41, 92, 93, 144, 197, 248, 249, 301, 353, 404] [42, 95, 146, 147, 198, 251, 302, 354, 406, 407] [43, 94, 95, 146, 199, 250, 251, 303, 355, 406] [44, 97, 148, 149, 200, 253, 304, 356, 408, 409] [45, 96, 97, 148, 201, 252, 253, 305, 357, 408] [46, 99, 150, 151, 202, 255, 306, 358, 410, 411] [47, 98, 99, 150, 203, 254, 255, 307, 359, 410] [48, 101, 152, 153, 204, 257, 308, 360, 412, 413] [49, 100, 101, 152, 205, 256, 257, 309, 361, 412] [50, 103, 154, 155, 206, 259, 310, 362, 414, 415] [51, 102, 103, 154, 207, 258, 259, 311, 363, 414] [1, 74, 154, 198, 199, 228, 297, 322, 323, 412] [0, 1, 75, 155, 198, 229, 296, 297, 322, 413] [3, 76, 104, 200, 201, 230, 299, 324, 325, 414] [2, 3, 77, 105, 200, 231, 298, 299, 324, 415] [5, 78, 106, 202, 203, 232, 301, 326, 327, 364] [4, 5, 79, 107, 202, 233, 300, 301, 326, 365] [7, 80, 108, 204, 205, 234, 303, 328, 329, 366] [6, 7, 81, 109, 204, 235, 302, 303, 328, 367] [9, 82, 110, 206, 207, 236, 305, 330, 331, 368] [8, 9, 83, 111, 206, 237, 304, 305, 330, 369] [11, 84, 112, 156, 157, 238, 307, 332, 333, 370] [10, 11, 85, 113, 156, 239, 306, 307, 332, 371] [13, 86, 114, 158, 159, 240, 309, 334, 335, 372] [12, 13, 87, 115, 158, 241, 308, 309, 334, 373] [15, 88, 116, 160, 161, 242, 311, 336, 337, 374] [14, 15, 89, 117, 160, 243, 310, 311, 336, 375] [17, 90, 118, 162, 163, 244, 261, 338, 339, 376] [16, 17, 91, 119, 162, 245, 260, 261, 338, 377] [19, 92, 120, 164, 165, 246, 263, 340, 341, 378] [18, 19, 93, 121, 164, 247, 262, 263, 340, 379] [21, 94, 122, 166, 167, 248, 265, 342, 343, 380] [20, 21, 95, 123, 166, 249, 264, 265, 342, 381] [23, 96, 124, 168, 169, 250, 267, 344, 345, 382] [22, 23, 97, 125, 168, 251, 266, 267, 344, 383] [25, 98, 126, 170, 171, 252, 269, 346, 347, 384] [24, 25, 99, 127, 170, 253, 268, 269, 346, 385] [27, 100, 128, 172, 173, 254, 271, 348, 349, 386] [26, 27, 101, 129, 172, 255, 270, 271, 348, 387] [29, 102, 130, 174, 175, 256, 273, 350, 351, 388] [28, 29, 103, 131, 174, 257, 272, 273, 350, 389] [31, 52, 132, 176, 177, 258, 275, 352, 353, 390] [30, 31, 53, 133, 176, 259, 274, 275, 352, 391] [33, 54, 134, 178, 179, 208, 277, 354, 355, 392] [32, 33, 55, 135, 178, 209, 276, 277, 354, 393] [35, 56, 136, 180, 181, 210, 279, 356, 357, 394] [34, 35, 57, 137, 180, 211, 278, 279, 356, 395] [37, 58, 138, 182, 183, 212, 281, 358, 359, 396] [36, 37, 59, 139, 182, 213, 280, 281, 358, 397] [39, 60, 140, 184, 185, 214, 283, 360, 361, 398] [38, 39, 61, 141, 184, 215, 282, 283, 360, 399] [41, 62, 142, 186, 187, 216, 285, 362, 363, 400] [40, 41, 63, 143, 186, 217, 284, 285, 362, 401] [43, 64, 144, 188, 189, 218, 287, 312, 313, 402] [42, 43, 65, 145, 188, 219, 286, 287, 312, 403] [45, 66, 146, 190, 191, 220, 289, 314, 315, 404] [44, 45, 67, 147, 190, 221, 288, 289, 314, 405] [47, 68, 148, 192, 193, 222, 291, 316, 317, 406] [46, 47, 69, 149, 192, 223, 290, 291, 316, 407] [49, 70, 150, 194, 195, 224, 293, 318, 319, 408] [48, 49, 71, 151, 194, 225, 292, 293, 318, 409] [51, 72, 152, 196, 197, 226, 295, 320, 321, 410] [50, 51, 73, 153, 196, 227, 294, 295, 320, 411] [0, 1, 76, 126, 207, 222, 288, 289, 357, 374] [0, 77, 127, 206, 207, 223, 288, 356, 357, 375] [2, 3, 78, 128, 157, 224, 290, 291, 359, 376] [2, 79, 129, 156, 157, 225, 290, 358, 359, 377] [4, 5, 80, 130, 159, 226, 292, 293, 361, 378] [4, 81, 131, 158, 159, 227, 292, 360, 361, 379] [6, 7, 82, 132, 161, 228, 294, 295, 363, 380] [6, 83, 133, 160, 161, 229, 294, 362, 363, 381] [8, 9, 84, 134, 163, 230, 296, 297, 313, 382] [8, 85, 135, 162, 163, 231, 296, 312, 313, 383] [10, 11, 86, 136, 165, 232, 298, 299, 315, 384] [10, 87, 137, 164, 165, 233, 298, 314, 315, 385] [12, 13, 88, 138, 167, 234, 300, 301, 317, 386] [12, 89, 139, 166, 167, 235, 300, 316, 317, 387] [14, 15, 90, 140, 169, 236, 302, 303, 319, 388] [14, 91, 141, 168, 169, 237, 302, 318, 319, 389] [16, 17, 92, 142, 171, 238, 304, 305, 321, 390] [16, 93, 143, 170, 171, 239, 304, 320, 321, 391] [18, 19, 94, 144, 173, 240, 306, 307, 323, 392] [18, 95, 145, 172, 173, 241, 306, 322, 323, 393] [20, 21, 96, 146, 175, 242, 308, 309, 325, 394] [20, 97, 147, 174, 175, 243, 308, 324, 325, 395] [22, 23, 98, 148, 177, 244, 310, 311, 327, 396] [22, 99, 149, 176, 177, 245, 310, 326, 327, 397] [24, 25, 100, 150, 179, 246, 260, 261, 329, 398] [24, 101, 151, 178, 179, 247, 260, 328, 329, 399] [26, 27, 102, 152, 181, 248, 262, 263, 331, 400] [26, 103, 153, 180, 181, 249, 262, 330, 331, 401] [28, 29, 52, 154, 183, 250, 264, 265, 333, 402] [28, 53, 155, 182, 183, 251, 264, 332, 333, 403] [30, 31, 54, 104, 185, 252, 266, 267, 335, 404] [30, 55, 105, 184, 185, 253, 266, 334, 335, 405] [32, 33, 56, 106, 187, 254, 268, 269, 337, 406] [32, 57, 107, 186, 187, 255, 268, 336, 337, 407] [34, 35, 58, 108, 189, 256, 270, 271, 339, 408] [34, 59, 109, 188, 189, 257, 270, 338, 339, 409] [36, 37, 60, 110, 191, 258, 272, 273, 341, 410] [36, 61, 111, 190, 191, 259, 272, 340, 341, 411] [38, 39, 62, 112, 193, 208, 274, 275, 343, 412] [38, 63, 113, 192, 193, 209, 274, 342, 343, 413] [40, 41, 64, 114, 195, 210, 276, 277, 345, 414] [40, 65, 115, 194, 195, 211, 276, 344, 345, 415] [42, 43, 66, 116, 197, 212, 278, 279, 347, 364] [42, 67, 117, 196, 197, 213, 278, 346, 347, 365] [44, 45, 68, 118, 199, 214, 280, 281, 349, 366] [44, 69, 119, 198, 199, 215, 280, 348, 349, 367] [46, 47, 70, 120, 201, 216, 282, 283, 351, 368] [46, 71, 121, 200, 201, 217, 282, 350, 351, 369] [48, 49, 72, 122, 203, 218, 284, 285, 353, 370] [48, 73, 123, 202, 203, 219, 284, 352, 353, 371] [50, 51, 74, 124, 205, 220, 286, 287, 355, 372] [50, 75, 125, 204, 205, 221, 286, 354, 355, 373]
H_Z (156 checks, sparse supports)
[0, 100, 101, 119, 192, 222, 223, 260, 348, 413] [1, 100, 118, 119, 193, 222, 261, 349, 412, 413] [2, 102, 103, 121, 194, 224, 225, 262, 350, 415] [3, 102, 120, 121, 195, 224, 263, 351, 414, 415] [4, 52, 53, 123, 196, 226, 227, 264, 352, 365] [5, 52, 122, 123, 197, 226, 265, 353, 364, 365] [6, 54, 55, 125, 198, 228, 229, 266, 354, 367] [7, 54, 124, 125, 199, 228, 267, 355, 366, 367] [8, 56, 57, 127, 200, 230, 231, 268, 356, 369] [9, 56, 126, 127, 201, 230, 269, 357, 368, 369] [10, 58, 59, 129, 202, 232, 233, 270, 358, 371] [11, 58, 128, 129, 203, 232, 271, 359, 370, 371] [12, 60, 61, 131, 204, 234, 235, 272, 360, 373] [13, 60, 130, 131, 205, 234, 273, 361, 372, 373] [14, 62, 63, 133, 206, 236, 237, 274, 362, 375] [15, 62, 132, 133, 207, 236, 275, 363, 374, 375] [16, 64, 65, 135, 156, 238, 239, 276, 312, 377] [17, 64, 134, 135, 157, 238, 277, 313, 376, 377] [18, 66, 67, 137, 158, 240, 241, 278, 314, 379] [19, 66, 136, 137, 159, 240, 279, 315, 378, 379] [20, 68, 69, 139, 160, 242, 243, 280, 316, 381] [21, 68, 138, 139, 161, 242, 281, 317, 380, 381] [22, 70, 71, 141, 162, 244, 245, 282, 318, 383] [23, 70, 140, 141, 163, 244, 283, 319, 382, 383] [24, 72, 73, 143, 164, 246, 247, 284, 320, 385] [25, 72, 142, 143, 165, 246, 285, 321, 384, 385] [26, 74, 75, 145, 166, 248, 249, 286, 322, 387] [27, 74, 144, 145, 167, 248, 287, 323, 386, 387] [28, 76, 77, 147, 168, 250, 251, 288, 324, 389] [29, 76, 146, 147, 169, 250, 289, 325, 388, 389] [30, 78, 79, 149, 170, 252, 253, 290, 326, 391] [31, 78, 148, 149, 171, 252, 291, 327, 390, 391] [32, 80, 81, 151, 172, 254, 255, 292, 328, 393] [33, 80, 150, 151, 173, 254, 293, 329, 392, 393] [34, 82, 83, 153, 174, 256, 257, 294, 330, 395] [35, 82, 152, 153, 175, 256, 295, 331, 394, 395] [36, 84, 85, 155, 176, 258, 259, 296, 332, 397] [37, 84, 154, 155, 177, 258, 297, 333, 396, 397] [38, 86, 87, 105, 178, 208, 209, 298, 334, 399] [39, 86, 104, 105, 179, 208, 299, 335, 398, 399] [40, 88, 89, 107, 180, 210, 211, 300, 336, 401] [41, 88, 106, 107, 181, 210, 301, 337, 400, 401] [42, 90, 91, 109, 182, 212, 213, 302, 338, 403] [43, 90, 108, 109, 183, 212, 303, 339, 402, 403] [44, 92, 93, 111, 184, 214, 215, 304, 340, 405] [45, 92, 110, 111, 185, 214, 305, 341, 404, 405] [46, 94, 95, 113, 186, 216, 217, 306, 342, 407] [47, 94, 112, 113, 187, 216, 307, 343, 406, 407] [48, 96, 97, 115, 188, 218, 219, 308, 344, 409] [49, 96, 114, 115, 189, 218, 309, 345, 408, 409] [50, 98, 99, 117, 190, 220, 221, 310, 346, 411] [51, 98, 116, 117, 191, 220, 311, 347, 410, 411] [1, 88, 134, 166, 167, 208, 297, 342, 343, 374] [0, 1, 89, 135, 166, 209, 296, 297, 342, 375] [3, 90, 136, 168, 169, 210, 299, 344, 345, 376] [2, 3, 91, 137, 168, 211, 298, 299, 344, 377] [5, 92, 138, 170, 171, 212, 301, 346, 347, 378] [4, 5, 93, 139, 170, 213, 300, 301, 346, 379] [7, 94, 140, 172, 173, 214, 303, 348, 349, 380] [6, 7, 95, 141, 172, 215, 302, 303, 348, 381] [9, 96, 142, 174, 175, 216, 305, 350, 351, 382] [8, 9, 97, 143, 174, 217, 304, 305, 350, 383] [11, 98, 144, 176, 177, 218, 307, 352, 353, 384] [10, 11, 99, 145, 176, 219, 306, 307, 352, 385] [13, 100, 146, 178, 179, 220, 309, 354, 355, 386] [12, 13, 101, 147, 178, 221, 308, 309, 354, 387] [15, 102, 148, 180, 181, 222, 311, 356, 357, 388] [14, 15, 103, 149, 180, 223, 310, 311, 356, 389] [17, 52, 150, 182, 183, 224, 261, 358, 359, 390] [16, 17, 53, 151, 182, 225, 260, 261, 358, 391] [19, 54, 152, 184, 185, 226, 263, 360, 361, 392] [18, 19, 55, 153, 184, 227, 262, 263, 360, 393] [21, 56, 154, 186, 187, 228, 265, 362, 363, 394] [20, 21, 57, 155, 186, 229, 264, 265, 362, 395] [23, 58, 104, 188, 189, 230, 267, 312, 313, 396] [22, 23, 59, 105, 188, 231, 266, 267, 312, 397] [25, 60, 106, 190, 191, 232, 269, 314, 315, 398] [24, 25, 61, 107, 190, 233, 268, 269, 314, 399] [27, 62, 108, 192, 193, 234, 271, 316, 317, 400] [26, 27, 63, 109, 192, 235, 270, 271, 316, 401] [29, 64, 110, 194, 195, 236, 273, 318, 319, 402] [28, 29, 65, 111, 194, 237, 272, 273, 318, 403] [31, 66, 112, 196, 197, 238, 275, 320, 321, 404] [30, 31, 67, 113, 196, 239, 274, 275, 320, 405] [33, 68, 114, 198, 199, 240, 277, 322, 323, 406] [32, 33, 69, 115, 198, 241, 276, 277, 322, 407] [35, 70, 116, 200, 201, 242, 279, 324, 325, 408] [34, 35, 71, 117, 200, 243, 278, 279, 324, 409] [37, 72, 118, 202, 203, 244, 281, 326, 327, 410] [36, 37, 73, 119, 202, 245, 280, 281, 326, 411] [39, 74, 120, 204, 205, 246, 283, 328, 329, 412] [38, 39, 75, 121, 204, 247, 282, 283, 328, 413] [41, 76, 122, 206, 207, 248, 285, 330, 331, 414] [40, 41, 77, 123, 206, 249, 284, 285, 330, 415] [43, 78, 124, 156, 157, 250, 287, 332, 333, 364] [42, 43, 79, 125, 156, 251, 286, 287, 332, 365] [45, 80, 126, 158, 159, 252, 289, 334, 335, 366] [44, 45, 81, 127, 158, 253, 288, 289, 334, 367] [47, 82, 128, 160, 161, 254, 291, 336, 337, 368] [46, 47, 83, 129, 160, 255, 290, 291, 336, 369] [49, 84, 130, 162, 163, 256, 293, 338, 339, 370] [48, 49, 85, 131, 162, 257, 292, 293, 338, 371] [51, 86, 132, 164, 165, 258, 295, 340, 341, 372] [50, 51, 87, 133, 164, 259, 294, 295, 340, 373] [0, 1, 66, 132, 177, 228, 288, 289, 327, 364] [0, 67, 133, 176, 177, 229, 288, 326, 327, 365] [2, 3, 68, 134, 179, 230, 290, 291, 329, 366] [2, 69, 135, 178, 179, 231, 290, 328, 329, 367] [4, 5, 70, 136, 181, 232, 292, 293, 331, 368] [4, 71, 137, 180, 181, 233, 292, 330, 331, 369] [6, 7, 72, 138, 183, 234, 294, 295, 333, 370] [6, 73, 139, 182, 183, 235, 294, 332, 333, 371] [8, 9, 74, 140, 185, 236, 296, 297, 335, 372] [8, 75, 141, 184, 185, 237, 296, 334, 335, 373] [10, 11, 76, 142, 187, 238, 298, 299, 337, 374] [10, 77, 143, 186, 187, 239, 298, 336, 337, 375] [12, 13, 78, 144, 189, 240, 300, 301, 339, 376] [12, 79, 145, 188, 189, 241, 300, 338, 339, 377] [14, 15, 80, 146, 191, 242, 302, 303, 341, 378] [14, 81, 147, 190, 191, 243, 302, 340, 341, 379] [16, 17, 82, 148, 193, 244, 304, 305, 343, 380] [16, 83, 149, 192, 193, 245, 304, 342, 343, 381] [18, 19, 84, 150, 195, 246, 306, 307, 345, 382] [18, 85, 151, 194, 195, 247, 306, 344, 345, 383] [20, 21, 86, 152, 197, 248, 308, 309, 347, 384] [20, 87, 153, 196, 197, 249, 308, 346, 347, 385] [22, 23, 88, 154, 199, 250, 310, 311, 349, 386] [22, 89, 155, 198, 199, 251, 310, 348, 349, 387] [24, 25, 90, 104, 201, 252, 260, 261, 351, 388] [24, 91, 105, 200, 201, 253, 260, 350, 351, 389] [26, 27, 92, 106, 203, 254, 262, 263, 353, 390] [26, 93, 107, 202, 203, 255, 262, 352, 353, 391] [28, 29, 94, 108, 205, 256, 264, 265, 355, 392] [28, 95, 109, 204, 205, 257, 264, 354, 355, 393] [30, 31, 96, 110, 207, 258, 266, 267, 357, 394] [30, 97, 111, 206, 207, 259, 266, 356, 357, 395] [32, 33, 98, 112, 157, 208, 268, 269, 359, 396] [32, 99, 113, 156, 157, 209, 268, 358, 359, 397] [34, 35, 100, 114, 159, 210, 270, 271, 361, 398] [34, 101, 115, 158, 159, 211, 270, 360, 361, 399] [36, 37, 102, 116, 161, 212, 272, 273, 363, 400] [36, 103, 117, 160, 161, 213, 272, 362, 363, 401] [38, 39, 52, 118, 163, 214, 274, 275, 313, 402] [38, 53, 119, 162, 163, 215, 274, 312, 313, 403] [40, 41, 54, 120, 165, 216, 276, 277, 315, 404] [40, 55, 121, 164, 165, 217, 276, 314, 315, 405] [42, 43, 56, 122, 167, 218, 278, 279, 317, 406] [42, 57, 123, 166, 167, 219, 278, 316, 317, 407] [44, 45, 58, 124, 169, 220, 280, 281, 319, 408] [44, 59, 125, 168, 169, 221, 280, 318, 319, 409] [46, 47, 60, 126, 171, 222, 282, 283, 321, 410] [46, 61, 127, 170, 171, 223, 282, 320, 321, 411] [48, 49, 62, 128, 173, 224, 284, 285, 323, 412] [48, 63, 129, 172, 173, 225, 284, 322, 323, 413] [50, 51, 64, 130, 175, 226, 286, 287, 325, 414] [50, 65, 131, 174, 175, 227, 286, 324, 325, 415]
Code ID 416-104-17 · download JSON · raw on GitHub