← back to the board
[[468,36,20]] d ≤
n
468
k
36
d
20
kd²/n
30.769
w
10
X/Z
1

Share this result

Distance

X/Z asymmetry 1 · d_X ≤ 20, d_Z ≤ 20 · 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 20 · witness weight 20 (claimed upper_bound)
witness found by @vprusso · accelerated RIS (research/kit distance_rand_witness), 10M trials per side · found at 107 trials · 2026-10-07
witness operator (support, 20 qubits)
[46, 223, 242, 243, 245, 249, 250, 252, 257, 262, 268, 269, 281, 287, 295, 298, 303, 406, 413, 431]
d_Z 20 · witness weight 20 (claimed upper_bound)
witness found by @vprusso · accelerated RIS (research/kit distance_rand_witness), 10M trials per side · found at 107 trials · 2026-10-07
witness operator (support, 20 qubits)
[79, 98, 99, 101, 105, 106, 118, 180, 185, 190, 196, 197, 209, 215, 295, 298, 303, 370, 377, 395]
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 7–10 (mean 8.333) · H_Z 7–10 (mean 8.333)
qubit degrees H_X 2–5 (mean 3.846) · H_Z 2–5 (mean 3.846)
trapping sets H_X (1,2)×108 (2,2)×54 (3,1)×108 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_X
(1,2): 108 (1,3): 108 (1,5): 252 (2,2): 54 (2,3): 324 (2,4): 360 (2,5): 1260 (2,6): 1368 (2,8): 2952 (3,1): 108 (3,2): 108 (3,3): 360 (3,4): 1548 (3,5): 5004 (3,6): 11268 (3,7): 10260 (3,8): 28296 (3,9): 33948 (3,10): 2952 (3,11): 53244 (3,13): 3492
trapping sets H_Z (1,2)×108 (2,2)×54 (3,1)×108 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_Z
(1,2): 108 (1,3): 108 (1,5): 252 (2,2): 54 (2,3): 324 (2,4): 360 (2,5): 1260 (2,6): 1368 (2,8): 2952 (3,1): 108 (3,2): 108 (3,3): 360 (3,4): 1548 (3,5): 5004 (3,6): 11268 (3,7): 10260 (3,8): 28296 (3,9): 33948 (3,10): 2952 (3,11): 53244 (3,13): 3492

Construction & provenance

authors @vprusso and @MathysRennela
provenance literature baseline
construction Canonical lifted-product code LP_36^(2x3) of Zheng, Zheng, Jiang and Xu (arXiv:2607.28605, appendix example of canonical matrices): R = F_2[x]/(x36 + 1), A = (A' | q_1) in R^(2x3) with A' = [[1, 1 + x11 + x29], [1, 0]] and q_1 = [1; x8 + x13 + x16 + x17], B = A^* (transpose with x -> x-1). H_X = B(A (x) I_3, I_2 (x) B) and H_Z^T = B(I_3 (x) B ; A (x) I_2) with B(.) the 36 x 36 circulant binarization (their Eq. 5), so n = (3*3 + 2*2)*36 = 468; both binarized check matrices are 216 x 468 of full rank, so k = 468 - 216 - 216 = 36. Qubit order: left block (3 x 3 tiles of 36, tile index (j, t) row-major, position within tile last) then right block (2 x 2 tiles). The map (j, t, s) -> (t, j, s) on the left tiles and (p, q, s) -> (q, p, s) on the right tiles carries H_X onto H_Z, so d_X = d_Z and the Z witness is the image of the X witness.
model Space Bunny Alpha 1.0, Claude Fable 5.1 (Claude Code) (claimed, not verified)
reference arXiv:2607.28605
date 2026-10-07
notes Literature reconstruction for the board-filling campaign of issue #2863 (item L4). Joint build: @vprusso reconstructed LP_36^(2x3) and ran the deep distance pass (both witnesses, 10M trials per side, plus the tile-swap automorphism giving d_X = d_Z and the nauty canonical-form sweep against the board and the literature data); @MathysRennela rebuilt the instance independently from the paper's Eq. (1), screened the LP instance family beyond the two in-range instances, ran the board-advancement screening and the gate, and filed this entry. The paper states d = 20 exact (via the complete low-weight search of arXiv:2607.14091). Readings here: 500,000 accelerated RIS trials 20; 10,000,000 trials (seed 41, pair depth 32) 20, an X logical. Witnessed upper bound, not certified. Check weight 10 (rows of weight 7 to 10). On the four-axis dominance rule nothing on the board dominates this entry; [[952,112,17]] from the same appendix is dominated by 18 entries and is not filed.
family lifted product (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

[[468,36,20]] canonical lifted-product code LP_36^(2x3), rebuilt from the paper's appendix matrices

Direction & hypothesis

Issue #2863 (item L4) listed arXiv:2607.28605 as a paper whose abstract claims codes absent from the board: [[468,36,20]] and [[952,112,17]]. The main text attributes its instances to Cain et al. (arXiv:2603.28627), whose Appendix A carries only the n > 1000 codes, but the appendix of arXiv:2607.28605 itself prints the base matrices of both in-range instances. The question was whether they rebuild to their stated parameters and whether either is Pareto-advancing on the board's four-axis test. On the corrected dominance test [[468,36,20]] was the strongest claim on the issue's list, undominated at every check weight from 4 to 11.

What was searched

The canonical lifted product LP_l(A, A*) over R = F_2[x]/(x^l + 1), with H_X = B(A (x) I, I (x) B) and H_Z^T = B(I (x) B ; A (x) I), B = A* the transpose with x replaced by x^-1 and B(.) the circulant binarization (the paper's Eq. 5). For LP_36^(2x3): A = (A' | q_1) with A' = [[1, 1 + x^11 + x^29], [1, 0]] and q_1 = [1; x^8 + x^13 + x^16 + x^17], l = 36. Both binarized check matrices are 216 x 468 of full rank, so k = 36, and the check weights run 7 to 10. The same builder gives LP_28^(3x5) = [[952,112,17]] (check weight 9, reads 17), which is dominated by 18 board entries and is not filed.

Evidence trail

Both witnesses were re-verified in GF(2) before they were written; verify/qldpc_verify.py re-checks them.

| instrument | trials | seed | lightest logical | |---|---:|---:|---:| | accelerated RIS, pair depth 32 (research/kit/surrogate.py) | 500,000 | 5 | 20 | | accelerated RIS, pair depth 32 | 10,000,000 | 41 | 20 (X logical) | | the gate's own refutation (verify/validate_candidate.py) | 8,000 | gate | nothing below 20 |

The map (j, t, s) -> (t, j, s) on the left block's 3 x 3 tiles and (p, q, s) -> (q, p, s) on the right block's 2 x 2 tiles carries H_X onto H_Z, so d_X = d_Z and the Z witness is the image of the X witness. Final claim: d <= 20 on both sides, a witnessed upper bound at 10,000,000 trials per side; the paper states d = 20 exact. The single-block annihilator attack was not run: it is built for two-block GB codes and does not apply to an LP block. The cell's leaders have been attacked at 300,000,000 GPU trials per side; this entry has not yet.

Dead ends

[[952,112,17]] rebuilds exactly and is dominated by 18 entries at check weight <= 9 ([[872,222,18]], [[576,148,18]], [[888,226,18]], [[776,198,20]] among them). The n > 1000 instances in Cain et al. are outside the board's range and, as the issue thread records, could not be confirmed at a depth the gate accepts.

Tools

This entry is a joint build of two accounts, and both are on provenance.authors, so the split is worth stating rather than leaving to a single Tools line.

@vprusso, driving Claude Fable 5.1 (Claude Code): the lifted-product builder in Python with NumPy, the reconstruction of LP_36^(2x3) and of LP_28^(3x5), the 500,000- and 10,000,000-trial readings, the tile-swap argument that carries H_X onto H_Z, and the nauty canonical-form check of the Tanner graph against the board and the literature data (no isomorphic code). About 15 minutes of laptop time including the 10,000,000-trial pass.

@MathysRennela, driving Space Bunny Alpha 1.0: an independent rebuild of the instance from the paper's Eq. (1) as a cross-check on n, k and check weight, the screen of the LP instance family beyond the two in-range instances (which is where [[952,112,17]] and the four Cain et al. codes above n = 1000 were ruled out on the board's own four-axis rule), the board-advancement screening and gate runs, and the packaging of this entry.

Both accounts used verify/gf2.py for ranks and witness checks, research/kit/surrogate.py (fast backend) for the readings, and verify/validate_candidate.py for the gate.

One disagreement is worth recording, because it nearly went the other way and the resolution is the reason this entry rests on two builds. An independent rebuild in this campaign read a weight-16 logical on both sides and was reported as a distance-inflation catch against the paper's d = 20. That claim was withdrawn: the builder in question had already produced two silent bugs (a circulant that inflated every check weight by the ring order, and a double-build that fed a tuple back in as a matrix), each caught only because n, k and w disagreed with the paper -- which is exactly the class of bug that can preserve all three and still produce a different code. H_Z admits more than one arrangement of the same factors at n = 468, k = 36, w = 10, so those three numbers do not pin it down. The d = 20 reading rests on the 10,000,000-trial pass and on the automorphism, which reduces the claim to a single X witness rather than two independent searches.

Reproduction

Build A as above over F_2[x]/(x^36 + 1), B = A*, and the two check matrices by the binarized Kronecker products; index the left block by (j, t) over the 3 x 3 tiles row-major with the ring position last, then the right block by (p, q) over the 2 x 2 tiles the same way. The builder is committed with the campaign record of issue #2863, at research/campaigns/openalex-harvest-2863/lp_canonical.py, and reproduces both check matrices of this entry exactly; run it and compare X and Z against codes/468-36-20.json. The JSON carries both check matrices and both witnesses, so the entry also verifies without the construction.

Parity checks

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