← back to the board
[[612,13,15]] d ≤
n
612
k
13
d
15
kd²/n
4.779
w
6
X/Z
1
g
0.0057
r
5.3852
layers
2
swaps
1702

Share this result

Distance

X/Z asymmetry 1 · d_X ≤ 15, d_Z ≤ 15 · 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 15 · witness weight 15 (claimed upper_bound)
witness operator (support, 15 qubits)
[307, 318, 319, 363, 375, 386, 397, 408, 431, 453, 487, 498, 543, 599, 610]
d_Z 15 · witness weight 15 (claimed upper_bound)
witness operator (support, 15 qubits)
[335, 366, 367, 368, 369, 397, 428, 429, 459, 461, 491, 492, 493, 525, 557]
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.268) · H_Z 2–6 (mean 5.246)
qubit degrees H_X 1–4 (mean 2.565) · H_Z 1–3 (mean 2.58)
trapping sets H_X (1,1)×87 (2,0)×25 (3,0)×25 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_X
(1,1): 87 (1,2): 98 (1,3): 421 (1,4): 6 (2,0): 25 (2,1): 137 (2,2): 303 (2,3): 519 (2,4): 2550 (2,5): 64 (2,6): 1 (3,0): 25 (3,1): 206 (3,2): 1016 (3,3): 2727 (3,4): 4631 (3,5): 20623 (3,6): 1275 (3,7): 2967 (3,8): 94 (3,9): 4
trapping sets H_Z (1,1)×83 (2,0)×27 (3,0)×11 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_Z
(1,1): 83 (1,2): 91 (1,3): 438 (2,0): 27 (2,1): 56 (2,2): 433 (2,3): 436 (2,4): 2654 (3,0): 11 (3,1): 306 (3,2): 778 (3,3): 3296 (3,4): 3856 (3,5): 21856 (3,6): 437 (3,7): 3075
witness diameter X 27.6586 · Z 22.8473 (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 (330)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 1702 nearest-neighbor SWAPs per round in total, at most 6 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(30, 11, [(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

[[612,13,15]] 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) = (30, 11), 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 | 15 | | 100,000 | 15 | | 1,000,000 | 15 | | 1,000,000 | 15 | | 1,000,000 | 15 |

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 <= 15 (upper_bound), Z: d <= 15 (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(30, 11, [(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(30, 11, kept). The polynomials are the paper's Fig. 22 bulk stabilizers.

Parity checks

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