← back to the board
[[497,13,13]] d ≤
n
497
k
13
d
13
kd²/n
4.421
w
6
X/Z
1
g
0.0053
r
5.3852
layers
2
swaps
1365

Share this result

Distance

X/Z asymmetry 1 · d_X ≤ 13, d_Z ≤ 13 · w_X = 6, w_Z = 6 (max(d_X,d_Z)/min(d_X,d_Z); each side carries its own earned tier: = certified exact, ≤ witness upper bound)
d_X 13 · witness weight 13 (claimed upper_bound)
witness operator (support, 13 qubits)
[21, 57, 258, 259, 298, 308, 318, 328, 349, 369, 400, 410, 451]
d_Z 13 · witness weight 13 (claimed upper_bound)
witness operator (support, 13 qubits)
[91, 265, 293, 294, 295, 321, 349, 350, 377, 379, 407, 408, 437]
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 2–6 (mean 5.195) · H_Z 2–6 (mean 5.177)
qubit degrees H_X 1–4 (mean 2.519) · H_Z 1–3 (mean 2.531)
trapping sets H_X (1,1)×78 (2,0)×22 (3,0)×22 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_X
(1,1): 78 (1,2): 87 (1,3): 328 (1,4): 4 (2,0): 22 (2,1): 121 (2,2): 268 (2,3): 463 (2,4): 1924 (2,5): 42 (3,0): 22 (3,1): 181 (3,2): 896 (3,3): 2359 (3,4): 4073 (3,5): 15134 (3,6): 972 (3,7): 2177 (3,8): 62
trapping sets H_Z (1,1)×75 (2,0)×24 (3,0)×10 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_Z
(1,1): 75 (1,2): 83 (1,3): 339 (2,0): 24 (2,1): 51 (2,2): 388 (2,3): 393 (2,4): 1988 (3,0): 10 (3,1): 272 (3,2): 695 (3,3): 2879 (3,4): 3444 (3,5): 15961 (3,6): 391 (3,7): 2249
witness diameter X 19.2354 · Z 19.6977 (Euclidean support diameter of the stored distance witnesses in the layout; an upper bound on the exhibited logicals’ spread, not a minimum over all logicals)

Verified 2D layout

as measured by the verifier: every check drawn over the submitted coordinates; the interaction radius is the longest dashed pair
r = 5.385
X checkZ checkqubit site (270)2 qubits stacked (2 layers)dashed: the pair setting the interaction radiushover a check to isolate its qubits; click to pin — repeated clicks cycle through overlapping checks; click empty space to release
routing cost 1365 nearest-neighbor SWAPs per round in total, at most 5 for one check (heuristic: MST lower bound on the layout, with one lattice step = the minimum qubit spacing 1; not a rank)

Construction & provenance

authors @MathysRennela
provenance submitted through the challenge
novelty novelty not audited
construction Open-boundary planar bivariate-bicycle code of arXiv:2504.08887, Fig. 22 family (f = 1 + x + x5 y, g = x3 + y + y2; the paper's [[495,13,13]]), built by research/local2d/boundary_engine.py build_planar(27, 10, [(0, 0), (1, 0), (5, 1)], [(3, 0), (0, 1), (0, 2)]). Redundant weight>6 boundary rows are dropped by an exact rowspace test, then the engine's weight-1/decoupled cleanup is re-run; the bilayer layout is research/local2d/planar.py grid_coordinates, interaction radius 5.39.
model DeepSeek V4.1 Flash (claimed, not verified)
builds on arXiv:2504.08887
date 2026-09-28
notes Reproduces the k = 13 planar family of arXiv:2504.08887 (Fig. 22). The gate reports no exact or Weisfeiler-Leman-equivalent board entry.
family bivariate bicycle (a tag, not a ranking)
locality 2D-local bilayer (computed from the layout)
weight class weight ≤ 6 (computed)

How this code was found

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

[[497,13,13]] planar BB, arXiv:2504.08887 Fig. 22 ([[495,13,13]] family)

Direction & hypothesis

The local-2d-bilayer / weight-6 cell of the k = 13 band. Every advertised code of the two k = 13 planar families of arXiv:2504.08887 is absent from the board, and unlike the k = 6..12 families -- which existing bilayer entries dominate outright -- no board entry with k >= 13 reaches d >= 11 in that cell (the best is [[300,16,10]]), so a witness at d >= 11 is a record. The families are directional: the paper's [[495,13,13]] sits at (Lx, Ly) = (27, 10), not on a square.

What was searched

The two weight-6 k = 13 families of arXiv:2504.08887 (Fig. 22), built by research/local2d/boundary_engine.py build_planar at the paper's rectangular shape and at larger ones. Screening at 20k then 100k RIS trials per side (research/kit/surrogate.py), then a 3 x 1,000,000 fresh-seed confirmation pass. Squared grids and the transposed orientation were screened and discarded (see dead ends).

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 | | ---: | ---: | | 20,000 | 13 | | 100,000 | 13 | | 1,000,000 | 13 | | 1,000,000 | 13 | | 1,000,000 | 13 |

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

Dead ends

  • Squared grids (the first attempt): (14,14) reads d <= 9 and the initial

    • k13-495 squares read d <= 4..9, four to five below the paper's distances. The families are directional and only reproduce at the paper's rectangular aspect ratio.

  • Wrong orientation: (14,15) reads d <= 9 where (15,14) reads 11, and (39,7)

    • reads d <= 7 where (27,10) reads 13.

  • The half-plane boundary kernel emits weight-12 boundary generators for both

    • families; they are products of weight-6 rows, and an exact rowspace test drops them, which is what puts the code in the weight-6 class.

  • Greedy weight reduction leaves empty rows (schema-rejected) and weight-1

    • rows (a qubit in no other check, giving 3..4 Tanner components); re-running the engine's weight-1/decoupled cleanup fixes both without changing k or d.

Tools

Model: DeepSeek V4.1 Flash (Zed coding agent). Repo tooling: research/local2d/boundary_engine.py, research/local2d/planar.py, research/kit/surrogate.py, verify/validate_candidate.py. The local verdict is verify/validate_candidate.py; the bundle was assembled by research/kit/promote.py. Compute: RIS distance searches (numpy/OpenMP backend) on one laptop.

Reproduction

From the repo: research/local2d/boundary_engine.py build_planar(27, 10, [(0, 0), (1, 0), (5, 1)], [(3, 0), (0, 1), (0, 2)]) returns the gauge generators; drop the weight>6 rows with an exact rowspace test (rank-preserving), re-run the module's weight-1/decoupled cleanup, and place the surviving qubits on the bilayer grid with research/local2d/planar.py grid_coordinates(27, 10, kept). The polynomials are the paper's Fig. 22 bulk stabilizers.

Parity checks

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