← back to the board
[[434,40,32]] d ≤
n
434
k
40
d
32
kd²/n
94.378
w
10
X/Z
1

Share this result

Distance

X/Z asymmetry 1 · d_X ≤ 32, d_Z ≤ 32 · 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 32 · witness weight 32 (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, 32 qubits)
[16, 30, 44, 51, 65, 100, 107, 128, 149, 156, 163, 170, 177, 191, 198, 205, 224, 231, 252, 273, 280, 287, 294, 301, 315, 322, 329, 357, 371, 385, 392, 406]
d_Z 32 · witness weight 32 (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, 32 qubits)
[28, 42, 49, 63, 77, 105, 112, 119, 133, 140, 147, 154, 161, 182, 203, 210, 229, 236, 243, 257, 264, 271, 278, 285, 306, 327, 334, 369, 383, 390, 404, 418]
certificate none yet · distance stands as a self-certified upper bound (d ≤)

Diagnostics

computed by the verifier from the parity checks, the layout, and the stored witnesses; shown as evidence, not used for ranking
girth H_X 4 · H_Z 4 (shortest cycle of each side’s Tanner graph; longer is friendlier to belief propagation)
check weights H_X 10 · H_Z 10
qubit degrees H_X 5 · H_Z 5
trapping sets H_X (1,5)×434 (2,6)×217 (3,9)×22568 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_X
(1,5): 434 (2,6): 217 (2,8): 9331 (3,9): 22568 (3,11): 291648 (3,13): 22568
trapping sets H_Z (1,5)×434 (2,6)×217 (3,9)×22568 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_Z
(1,5): 434 (2,6): 217 (2,8): 9331 (3,9): 22568 (3,11): 291648 (3,13): 22568

Construction & provenance

authors @FarLab
provenance submitted through the challenge
novelty novelty not audited
construction Designed-divisor 2BGA on Z_217 (w10-deg20), a=[0, 47, 123, 131, 137], b=[0, 104, 128, 149, 209], w=10=(5+5).
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

[[434,40,32]] — check-weight-10 generalized-bicycle code

Direction & hypothesis

Target cell: weight-9plus x unrestricted (with raw max check weight w = 10). Family: generalized-bicycle. By selecting algebraic generator supports (a, b) of total weight w = 10 sharing a nontrivial common polynomial/group-algebra divisor, k = 40 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 [217].
  • 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 [[434,40,32]] (a = [0, 47, 123, 131, 137], b = [0, 104, 128, 149, 209]):

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

Final claim: witness-backed upper bound, d <= 36 (confidence: upper_bound, both sides). Operational efficiency kd^2/n = 119.45. 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(*[217])
HX, HZ = build_2bga(mul, [0, 47, 123, 131, 137], [0, 104, 128, 149, 209])

Parity checks

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