← back to the board
[[448,112,18]] d ≤
n
448
k
112
d
18
kd²/n
81.0
w
10
X/Z
1

Share this result

Distance

X/Z asymmetry 1 · d_X ≤ 18, d_Z ≤ 18 · 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 18 · witness weight 18 (claimed upper_bound)
witness operator (support, 18 qubits)
[43, 79, 110, 134, 135, 151, 156, 168, 184, 185, 271, 302, 318, 324, 358, 408, 409, 412]
d_Z 18 · witness weight 18 (claimed upper_bound)
witness operator (support, 18 qubits)
[9, 49, 65, 116, 120, 154, 177, 247, 261, 324, 329, 372, 373, 378, 379, 380, 396, 414]
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)×112 (2,4)×784 (3,4)×700 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_X
(1,3): 112 (1,4): 336 (2,4): 784 (2,5): 2688 (2,6): 3472 (3,4): 700 (3,5): 6608 (3,6): 28812 (3,7): 61600 (3,8): 56616 (3,9): 6944 (3,10): 4032
trapping sets H_Z (1,3)×112 (2,4)×784 (3,4)×700 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_Z
(1,3): 112 (1,4): 336 (2,4): 784 (2,5): 2688 (2,6): 3472 (3,4): 700 (3,5): 6608 (3,6): 28812 (3,7): 61600 (3,8): 56616 (3,9): 6944 (3,10): 4032

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=28, Table 1 row 6; 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 6 instance (P = 28) 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 = 112), 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 [[448,112,18]] and this (n,k) pair are new to codes/. Distance is re-verified here as a witness-backed upper bound (X = 18, Z = 18 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 = 112. P = 28 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

[[448,112,18]] 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 has no entry at all at n = 448, and no CSS entry anywhere satisfies n <= 448, k >= 112, d >= 18 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 = 28, Table 1 row 6 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 = 18, matching the paper's claimed distance, with both witnesses written into codes/448-112-18.json. verify/qldpc_verify.py on the written entry exits 0 and reports earned_distance X = 18, Z = 18, d = 18, 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 = 112. 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 = 28 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 = 112, 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 = 28, and q = (5,7,4,6,2,0,3,1). 2. Take D from Table 1 row 6 and the row shift r = (0, 4, 19) of that table: D rows are 0 11 16 27 16 0 27 11 / 0 4 7 21 0 4 7 21 / 0 9 19 13 13 19 9 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 = 448 columns. 7. Confirm H_X H_Z^T = 0, rank 6P on each side, k = 4P = 112, 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/448-112-18.json are the ones this entry stands on.

Parity checks

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