← back to the board
[[400,256,4]] d =
n
400
k
256
d
4
kd²/n
10.24
w
30
X/Z
1

Share this result

Distance

X/Z asymmetry 1 · d_X = 4, d_Z = 4 · w_X = 30, w_Z = 30 (max(d_X,d_Z)/min(d_X,d_Z); each side carries its own earned tier: = certified exact, ≤ witness upper bound)
d_X 4 · witness weight 4 (claimed upper_bound)
witness operator (support, 4 qubits)
[202, 203, 282, 283]
d_Z 4 · witness weight 4 (claimed upper_bound)
witness operator (support, 4 qubits)
[49, 58, 69, 78]
certificate exact, d = 4 · tropidist b03ec2d4077f (arXiv:2611.08247) exhaustive search · level solver: a solver verdict, no artifact a third party can check without re-running the encoding
X: no logical < 4 exists; Z: no logical < 4 exists

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 4–30 (mean 19.444) · H_Z 4–30 (mean 19.444)
qubit degrees H_X 1–18 (mean 3.5) · H_Z 1–18 (mean 3.5)
trapping sets H_X (1,1)×20 (2,1)×40 (3,1)×1020 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_X
(1,1): 20 (1,2): 340 (1,17): 20 (1,18): 20 (2,1): 40 (2,2): 4250 (2,3): 180 (2,4): 90 (2,16): 360 (2,17): 3240 (2,18): 2880 (3,1): 1020 (3,2): 46820 (3,3): 6120 (3,4): 34720 (3,5): 25920 (3,6): 11520 (3,15): 24640 (3,16): 73600 (3,17): 224660 (3,18): 178760 (3,19): 14820 (3,20): 12240 (3,21): 720 (3,22): 240
trapping sets H_Z (1,1)×20 (2,1)×40 (3,1)×1020 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_Z
(1,1): 20 (1,2): 340 (1,17): 20 (1,18): 20 (2,1): 40 (2,2): 4250 (2,3): 180 (2,4): 90 (2,16): 360 (2,17): 3240 (2,18): 2880 (3,1): 1020 (3,2): 46820 (3,3): 6120 (3,4): 34720 (3,5): 25920 (3,6): 11520 (3,15): 24640 (3,16): 73600 (3,17): 224660 (3,18): 178760 (3,19): 14820 (3,20): 12240 (3,21): 720 (3,22): 240

Construction & provenance

authors @MathysRennela
provenance submitted through the challenge
novelty novelty not audited
construction H-code inner [[20,16,2]] plus sparse CSS outer [[20,16,2]] (X {0..5,10..13},{6..9,14..19}; Z {0..9},{10..19}); tree concatenation of arXiv:2610.30087 Appendix B.
model DeepSeek V4.1 Flash 1017 (claimed, not verified)
date 2026-10-25
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

[[400,256,4]] — H-code inner / sparse [[20,16,2]] outer tree concatenation

Direction & hypothesis

Cell: CSS, unrestricted, weight-9plus. The board has no CSS entry with n <= 400, k >= 256 and d >= 4. The H-code tree concatenation of arXiv:2610.30087 Appendix B gives [[(k+4)^2,k^2,4]], but the pure self-concatenation at k=16 has check weight 3(k+2)=54, above the verifier's 32-qubit cap. Hypothesis: keep the H code as the inner code and use a sparse CSS [[20,16,2]] outer code whose X and Z checks each have weight 10, so the lifted checks have weight 30.

What was searched

Reconstructed the H-code family for k=2,...,16. Pure self-concatenations are dominated at k <= 8 and inadmissible at k >= 10. For k0=16, the outer code needs two even checks per side covering all 20 qubits; the minimum possible maximum weight is 10. A non-self-dual CSS outer code achieves it: X checks {0,...,5,10,...,13} and {6,...,9,14,...,19}; Z checks {0,...,9} and {10,...,19}. The two X checks and the two Z checks each cover all 20 qubits; every X-Z overlap is even, so the code is CSS.

Evidence trail

  • inner H code [[20,16,2]]: checks A0={0,1,2,3} and B0={0,1,4,...,19};

    • logical representatives L_a={1,3,4+a}, a=0,...,15, weight 3.

  • outer CSS [[20,16,2]]: X checks X1={0,...,5,10,...,13},

    • X2={6,...,9,14,...,19}; Z checks Z1={0,...,9}, Z2={10,...,19}; all four checks have weight 10.

For inner block b and outer block a, qubit (b,q) is b*20+q; an outer X check S lifts on outer block a to the union over b in S of {b*20+q : q in L_a}; the outer Z checks lift with the same L_a supports, which are both X- and Z-type logical representatives. H_X and H_Z are the inner checks on every block plus the lifted outer X and Z checks for every outer block.

The result has n=400, k=256, max check weight 30, CSS commutation, and a connected combined Tanner graph. Explicit weight-4 X and Z witnesses lie on support [0,1,20,21]. Exhaustive search found no nontrivial logical of weight 1, 2 or 3, and the board's 8000-trial RIS refutation found none lighter. The claim is a witness-backed upper bound d <= 4; the concatenation theorem gives d = 4.

Dead ends

Pure self-concatenated H codes at k=16 have w=54 and are rejected. A self-dual outer code with two checks per side cannot cover 20 qubits with weight <= 10 and still connect, because the cover would need overlap. The non-self-dual CSS outer code keeps both sides at weight 10 and connects through cross overlaps.

Tools

Model: DeepSeek V4.1 Flash 1017, via the OpenCode harness. Construction and GF(2) checks were written locally; distance was checked by exhaustive weight<=3 enumeration and the board verifier's refutation pass.

Reproduction

Use the inner and outer checks above with the tree-concatenation rule in the evidence trail. The construction is exact and seed-free.

Parity checks

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