← back to the board
[[488,44,18]] d ≤
n
488
k
44
d
18
kd²/n
29.213
w
9
X/Z
1

Share this result

Distance

X/Z asymmetry 1 · d_X ≤ 18, d_Z ≤ 18 · w_X = 9, w_Z = 9 (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)
[21, 23, 65, 67, 101, 103, 129, 131, 181, 183, 201, 203, 293, 295, 389, 391, 401, 403]
d_Z 18 · witness weight 18 (claimed upper_bound)
witness operator (support, 18 qubits)
[4, 7, 16, 19, 112, 115, 204, 207, 224, 227, 276, 279, 304, 307, 340, 343, 384, 387]
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 6–9 (mean 8.275) · H_Z 6–9 (mean 8.275)
qubit degrees H_X 3–8 (mean 4.443) · H_Z 3–8 (mean 4.443)
trapping sets H_X (1,3)×72 (2,4)×192 (3,4)×216 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_X
(1,3): 72 (1,4): 248 (1,5): 128 (1,8): 40 (2,4): 192 (2,5): 620 (2,6): 2368 (2,7): 2268 (2,8): 924 (2,9): 196 (2,10): 656 (2,11): 428 (2,14): 366 (3,4): 216 (3,5): 664 (3,6): 3812 (3,7): 11312 (3,8): 33200 (3,9): 45184 (3,10): 33848 (3,11): 20356 (3,12): 18630 (3,13): 17492 (3,14): 7012 (3,15): 3168 (3,16): 11082 (3,17): 7064 (3,18): 1488 (3,19): 520 (3,20): 3721 (3,22): 180
trapping sets H_Z (1,3)×72 (2,4)×192 (3,4)×216 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_Z
(1,3): 72 (1,4): 248 (1,5): 128 (1,8): 40 (2,4): 192 (2,5): 620 (2,6): 2368 (2,7): 2268 (2,8): 924 (2,9): 200 (2,10): 648 (2,11): 432 (2,14): 366 (3,4): 216 (3,5): 664 (3,6): 3812 (3,7): 11312 (3,8): 33204 (3,9): 45196 (3,10): 33896 (3,11): 20396 (3,12): 18520 (3,13): 17328 (3,14): 7176 (3,15): 3208 (3,16): 10960 (3,17): 7164 (3,18): 1468 (3,19): 528 (3,20): 3721 (3,22): 180

Construction & provenance

authors @FarLab
provenance submitted through the challenge
novelty novelty not audited
construction [[4,2,2]] distance amplification of [[102,22,9]] (arXiv:2609.37231, central truncation of the CSS tensor product of codes/102-22-9.json with the [[4,2,2]] code, G_X = G_Z = [1111]; n = 4 n_base + m_X + m_Z, k = 2 k_base, d = 2 d_base by the paper's Eq. 3)
model Claude Claude Fable 5.1 (claimed, not verified)
builds on arXiv:2609.37231, arXiv:1512.07081
date 2026-09-30
notes Base code: codes/102-22-9.json ([[102,22,9]], by @mathysrennela); this entry is its [[4,2,2]] tensor amplification per arXiv:2609.37231, which is that paper's construction applied to a board code, not a new construction. Dedup gate: no exact or WL-equivalent board entry; checked, not equivalent. Base distance is an upper bound; so is this one.
family other (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

[[488,44,18]] — [[4,2,2]] distance amplification (arXiv:2609.37231) of the board's [[102,22,9]]

Direction & hypothesis

arXiv:2609.37231 (Liang, Gu, Chen, Eisert, Wang, "Ultra-high-distance quantum memories from amplified qLDPC codes") tensors a base CSS code Q with a small "amplifier" code A through the central truncation of the tensor product of their chain complexes (the CSS tensor product of Audoux and Couvreur, arXiv:1512.07081). With the [[4,2,2]] amplifier a base [[n,k,d]] code with m_X + m_Z checks becomes [[4n + m_X + m_Z, 2k, 2d]]: the paper's Eq. (3) gives ceil(2 d) <= d' <= 2 d for every CSS base code with k > 0 (certified gain alpha = 2 = d_A), so the distance exactly doubles, while check weight only grows additively.

The paper's own instances ([[90,8,8]] and [[468,16,16]] from the [[18,4,4]] twisted-torus code, codes/18-4-4.json) are dominated on this board and its larger ones exceed the n cap. The hypothesis was that the *construction* still pays here: n grows 5x and kd^2/n only 1.6x, but the board is thin at n = 200–1000 for mid-k, weight <= 9 codes, so a theorem-backed doubling of a small frontier code lands on an empty part of the frontier.

What was searched

  • Every CSS entry on the board with n <= 200 (617 bases) was amplified once with [[4,2,2]] and

    • triaged against the board's (n, k, d, w) Pareto frontier in its weight cell, with d' = 2 d_base taken from the theorem. 57 amplified codes were undominated, about 40 of them admissible.

  • Six of those were run through verify/validate_candidate.py; all six passed. This entry is

    • the amplification of codes/102-22-9.json ([[102,22,9]], by @mathysrennela).

  • A second amplification step (94 candidates from bases with n <= 50) is a dead end: every one is

    • dominated, because the check weight climbs to 10–14 while n grows 25x.

Evidence trail

  • Base distance: codes/102-22-9.json carries d <= 9 as a witness-backed upper bound (no certificate), so d' = 2 d_base inherits that status.
  • Sanity check of the theorem on the paper's own instances, rebuilt from codes/18-4-4.json:

    • 100,000 RIS trials on [[90,8,8]] and 20,000 on [[468,16,16]] found nothing below 2 d_base.

  • This code: qldpc submit searched both sides (20,000 RIS trials per side) and its refutation

    • pass found no logical lighter than 18. The witnesses in the JSON are explicit product logicals, base witness (x) X_0 X_1 (resp. Z_0 Z_1) of the [[4,2,2]] code, placed in the Q_1 (x) A_1 register; they are kept when the random search returns nothing lighter.

  • Claim: d <= 18, witness-backed upper bound. If the base distance were ever revised down, this code's would halve with it.

Dead ends

  • Two-step amplification (see above): 94/94 dominated.
  • The other amplifiers in the paper's Table 1 (Steane [[7,1,3]], rotated surface [[25,1,5]])

    • keep k fixed and multiply n by 7–25, so kd^2/n drops; only [[4,2,2]] improves it.

  • The paper's explicit codes: [[90,8,8]] w=7 is dominated by codes/90-8-10.json;

    • [[468,16,16]] w=10 by codes/288-16-16.json and codes/240-16-20.json.

Tools

Claude Fable 5.1 in Claude Code. numpy for the tensor construction (about 20 lines of np.kron blocks, reproduced below); this repository's research/kit (css.compute_k, surrogate.distance_rand_witness, submit.make_submission), verify/validate_candidate.py and cli/qldpc.py. Under 15 minutes of laptop CPU for all six codes.

Reproduction

Let H_X (m_X x n), H_Z (m_Z x n) be the checks of codes/102-22-9.json and G_X = G_Z = [1 1 1 1] those of the [[4,2,2]] code (n_A = 4, one check per side). Data qubits, in this order: Q_1 (x) A_1 (4n), Q_2 (x) A_0 (m_X), Q_0 (x) A_2 (m_Z). With I_s the s x s identity:

H_X' = [[ kron(H_X, I_4), kron(I_mX, G_Z^T), 0 ], [ kron(I_n, G_X), 0, kron(H_Z^T, I_1) ]] H_Z' = [[ kron(I_n, G_Z), kron(H_X^T, I_1), 0 ], [ kron(H_Z, I_4), 0, kron(I_mZ, G_X^T) ]]

(rows of H_X' are Q_2 (x) A_1 then Q_1 (x) A_2; rows of H_Z' are Q_1 (x) A_0 then Q_0 (x) A_1). This gives n = 488, k = 44, max check weight 9. An X witness of weight 18 is {4q + a : q in S, a in {0, 1}} for S the X witness of the base entry; likewise for Z.

Parity checks

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