← back to the board
[[410,48,30]] d ≤
n
410
k
48
d
30
kd²/n
105.366
w
12
X/Z
1

Share this result

Distance

X/Z asymmetry 1 · d_X ≤ 30, d_Z ≤ 30 · w_X = 12, w_Z = 12 (max(d_X,d_Z)/min(d_X,d_Z); each side carries its own earned tier: = certified exact, ≤ witness upper bound)
d_X 30 · witness weight 30 (claimed upper_bound)
witness found by @FarLab · research/kit/surrogate.lightest_logical · found at 120 trials · survived 2.4×107 trials · 2026-10-14
witness operator (support, 30 qubits)
[41, 56, 62, 101, 116, 128, 137, 189, 209, 218, 233, 242, 245, 246, 263, 294, 303, 315, 318, 321, 324, 345, 354, 355, 357, 363, 381, 384, 391, 402]
d_Z 30 · witness weight 30 (claimed upper_bound)
witness found by @FarLab · research/kit/surrogate.lightest_logical · found at 120 trials · survived 2.4×107 trials · 2026-10-14
witness operator (support, 30 qubits)
[8, 19, 26, 29, 47, 53, 55, 56, 65, 86, 89, 92, 95, 107, 116, 147, 164, 165, 168, 177, 192, 201, 221, 273, 282, 294, 309, 348, 354, 369]
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 12 · H_Z 12
qubit degrees H_X 5–7 (mean 6.0) · H_Z 5–7 (mean 6.0)
trapping sets H_X (1,5)×205 (2,6)×820 (3,7)×2870 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_X
(1,5): 205 (1,7): 205 (2,6): 820 (2,8): 820 (2,10): 6355 (2,12): 4305 (3,7): 2870 (3,9): 9020 (3,11): 41615 (3,13): 136940 (3,15): 297045 (3,17): 128740 (3,19): 7175
trapping sets H_Z (1,5)×205 (2,6)×820 (3,7)×2870 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_Z
(1,5): 205 (1,7): 205 (2,6): 820 (2,8): 820 (2,10): 6355 (2,12): 4305 (3,7): 2870 (3,9): 9020 (3,11): 41615 (3,13): 136940 (3,15): 297045 (3,17): 128740 (3,19): 7175

Construction & provenance

authors @FarLab
provenance submitted through the challenge
novelty novelty not audited
construction Designed-divisor 2BGA on Z_205 (w12-asym-deg24), a=[0, 21, 42, 78, 169], b=[0, 21, 24, 43, 52, 117, 142], w=12=(5+7).
model Gemini 4 Argon (claimed, not verified)
builds on arXiv:2306.16400
date 2026-10-14
family generalized bicycle (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

[[410,48,30]] — check-weight-12 generalized-bicycle code

Direction & hypothesis

Target cell: weight-9plus x unrestricted (with raw max check weight w = 12). Family: generalized-bicycle. By selecting algebraic generator supports (a, b) of total weight w = 12 sharing a nontrivial common polynomial/group-algebra divisor, k = 48 is guaranteed by construction while competing on the 4D Pareto frontier (n, k, d, w) in weight-9plus x unrestricted.

What was searched

  • Candidate generated from systematic designed-divisor / group-algebra enumeration over cyclic group parameters [205].
  • Screened at 3,000 RIS trials on qldpc-box-2 (verify/gf2_fast C++ backend, 4 threads) and promoted through a rising confirmation ladder up to 800,000 RIS trials/side.

Evidence trail

Confirmation ladder for [[410,48,30]] (a = [0, 21, 42, 78, 169], b = [0, 21, 24, 43, 52, 117, 142]):

| stage | trials/side | lightest logical found | |---|---|---| | stage 1 | 25,000 | d <= 36 | | stage 2 | 150,000 | d <= 36 | | stage 3 | 800,000 | d <= 32 |

Final claim: witness-backed upper bound, d <= 32 (confidence: upper_bound, both sides). Operational efficiency kd^2/n = 119.88. Validated with verify/validate_candidate.py (passed: true, board_advancing: true); literature novelty unverified.

Dead ends

  • Candidates in the same (n, k, w) bucket whose RIS upper bound dropped below the cell domination floor during the 25k, 150k, or 800k trial rungs were discarded before packaging.

Tools

Model: Gemini 4 Argon. Repo tooling: research/kit/group_algebra.py, research/kit/surrogate.py, research/kit/submit.py, verify/gf2_fast, and verify/validate_candidate.py executed on a Brev g2-standard-4:nvidia-l4:1 instance (qldpc-box-2).

Reproduction

from group_algebra import build_2bga, cyclic_product
mul, _ = cyclic_product(*[205])
HX, HZ = build_2bga(mul, [0, 21, 42, 78, 169], [0, 21, 24, 43, 52, 117, 142])

Parity checks

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