← back to the board
[[390,32,30]] d ≤
n
390
k
32
d
30
kd²/n
73.846
w
10
X/Z
1

Share this result

Distance

X/Z asymmetry 1 · d_X ≤ 30, d_Z ≤ 30 · 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 30 · witness weight 30 (claimed upper_bound)
witness found by @mathysrennela · surrogate.distance_rand_witness (gf2_fast, 8 threads) · found at 4×106 trials · survived 4×106 trials · 2026-10-12
witness operator (support, 30 qubits)
[13, 31, 52, 70, 91, 109, 130, 148, 169, 187, 207, 221, 230, 231, 246, 260, 269, 270, 285, 299, 308, 309, 324, 338, 347, 348, 363, 377, 386, 387]
d_Z 30 · witness weight 30 (claimed upper_bound)
witness found by @mathysrennela · surrogate.distance_rand_witness (gf2_fast, 8 threads) · found at 4×106 trials · survived 4×106 trials · 2026-10-12
witness operator (support, 30 qubits)
[29, 68, 107, 146, 185, 199, 213, 214, 218, 221, 238, 252, 253, 257, 260, 277, 291, 292, 296, 299, 316, 330, 331, 335, 338, 355, 369, 370, 374, 377]
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 10 · H_Z 10
qubit degrees H_X 5 · H_Z 5
trapping sets H_X (1,5)×390 (2,8)×8775 (3,9)×10725 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_X
(1,5): 390 (2,8): 8775 (3,9): 10725 (3,11): 283725 (3,13): 23400
trapping sets H_Z (1,5)×390 (2,8)×8775 (3,9)×10725 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_Z
(1,5): 390 (2,8): 8775 (3,9): 10725 (3,11): 283725 (3,13): 23400

Construction & provenance

authors @mathysrennela
provenance submitted through the challenge
novelty known parameter set; see provenance notes
construction Lifted product over G = Z_195 with K = {e} (free action) and 1x1/1x1 boundary maps, from arXiv:2608.08996's Supplementary Information: A = e + x5 + x28 + x155 + x186 and B = e + x + x64 + x86 + x161 in F_2[Z_195], built with research/kit/group_algebra.build_2bga. n = 2|G| = 390, check weight 5 + 5 = 10.
model Space Bunny Alpha 1.0 (claimed, not verified)
builds on arXiv:2608.08996v1
date 2026-10-12
notes Reproduction of a code published in arXiv:2608.08996 Table 1 at n = 390, k = 32, w = 10 with QDistEvol bound d <= 32. This entry files d <= 30, which is tighter than the published bound and was obtained by the submission gate's refutation pass and confirmed independently on both sides. No board entry shares (n, k), so this is a new parameter point rather than a distinct code at held parameters. Distance is a witness-backed upper bound, not an exact certification.
family lifted product (a tag, not a ranking)
locality unrestricted (computed from the layout)
weight class weight > 8 (computed)

How this code was found

the research note submitted with this code · raw markdown · all notes

[[390,32,30]] cyclic lifted product over F_2[Z_195] at check weight 10, tightening a published distance bound

Direction & hypothesis

Target cell: weight-9plus x unrestricted (CSS), which is where the verifier places a check weight of 10. The source is arXiv:2608.08996 Table 1, which publishes this code at n = 390, k = 32, w = 10 with a QDistEvol distance upper bound of 32. Eight of that paper's other codes are already board entries citing it, but this one was missed: no entry shares (n, k) = (390, 32) and nothing dominates it at n <= 390, k >= 32, d >= 30, w <= 10. More usefully, the gate's own refutation pass found a weight-30 logical, so the published bound was loose and this entry files the tighter one at kd^2/n = 73.85 rather than the published 84.02.

What was searched

No search for the construction: it reproduces from the paper's Supplementary Information, which sits at the end of main.tex after the References and is therefore invisible to a text search of the article body. G = Z_195 with K = {e} (free action) and 1x1/1x1 boundary maps, so the coset-orbit balanced product is the ordinary lifted product over G, i.e. the two-block group-algebra form already in the kit. Reproduced exactly on n = 390, k = 32 by GF(2) rank, w = 10 and H_X H_Z^T = 0 over GF(2). The distance needed work: an initial 200,000-trial search read 38 and 40, and 2,000,000 trials read 32, agreeing with the paper -- before the gate found 30. Searches at 4,000,000 trials and pair depth 32 then found weight-30 witnesses on both sides.

Evidence trail

Confirmation ladder for the submitted code, each rung a fresh seed unless marked otherwise, reading the lightest logical found:

| budget (trials/side) | lightest logical | | ---: | ---: | | 4,000,000 | 30 | | 4,000,000 | 30 |

2 fresh-seed rung(s) agree at the best bound, the deepest of them at 4,000,000 trials per side. The submitted witness reproduces it: X: d <= 30 (upper_bound), Z: d <= 30 (upper_bound).

The two rungs are fresh seeds at 4,000,000 trials and pair depth 32, each reaching weight 30 on at least one side, so the minimum across sides reads 30 in both. Depth matters: at 2,000,000 trials the same code reads 32 and at 200,000 it reads 38, which is exactly how the published bound of 32 came to be loose. The submitted witness is a witness-backed upper bound at confidence upper_bound.

Dead ends

  • 200,000-trial search read 38 and 40; 2,000,000 trials read 32, matching the

    • paper. Only the gate's refutation pass and a 4,000,000-trial run at pair depth 32 reached 30, so agreement with a published bound is not evidence that the bound is tight.

  • Filing at the paper's d = 32 was rejected by the gate: 'found weight-30

    • logical < claimed 32'. The candidate was rebuilt at 390-32-30 and re-gated rather than shipped at the published number.

Tools

Model: Space Bunny Alpha 1.0. The local verdict is verify/validate_candidate.py; the bundle was assembled by research/kit/promote.py. Compute: roughly 3 CPU-hours: two 4,000,000-trial ladder rungs at pair depth 32 plus the searches that established the tighter bound.

Reproduction

uv run python; build the Cayley table of Z_195, then research/kit/group_algebra.build_2bga(mul, A, B) with A = [0, 5, 28, 155, 186] and B = [0, 1, 64, 86, 161] as element indices, from the paper's A = e + x^5 + x^28 + x^155 + x^186 and B = e + x + x^64 + x^86 + x^161. Returns (H_X, H_Z) on n = 390 with check weight 10.

Parity checks

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