← back to the board
[[693,13,16]] d ≤
n
693
k
13
d
16
kd²/n
4.802
w
6
X/Z
1.12
g
0.0057
r
5.3852
layers
2
swaps
1931

Share this result

Distance

X/Z asymmetry 1.12 · d_X ≤ 16, d_Z ≤ 18 · 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 16 · witness weight 16 (claimed upper_bound)
witness operator (support, 16 qubits)
[350, 362, 363, 411, 424, 436, 448, 460, 485, 509, 546, 558, 607, 668, 680, 692]
d_Z 18 · witness weight 18 (claimed upper_bound)
witness operator (support, 18 qubits)
[67, 100, 390, 391, 424, 458, 459, 492, 494, 526, 527, 528, 529, 564, 598, 599, 634, 669]
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.29) · H_Z 2–6 (mean 5.304)
qubit degrees H_X 1–4 (mean 2.603) · H_Z 1–3 (mean 2.595)
trapping sets H_X (1,1)×90 (2,0)×26 (3,0)×26 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_X
(1,1): 90 (1,2): 102 (1,3): 494 (1,4): 7 (2,0): 26 (2,1): 141 (2,2): 308 (2,3): 546 (2,4): 3059 (2,5): 68 (3,0): 26 (3,1): 209 (3,2): 1056 (3,3): 2886 (3,4): 4867 (3,5): 25127 (3,6): 1342 (3,7): 3599 (3,8): 96
trapping sets H_Z (1,1)×91 (2,0)×30 (3,0)×12 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_Z
(1,1): 91 (1,2): 99 (1,3): 503 (2,0): 30 (2,1): 61 (2,2): 478 (2,3): 479 (2,4): 3092 (3,0): 12 (3,1): 340 (3,2): 861 (3,3): 3685 (3,4): 4268 (3,5): 25761 (3,6): 483 (3,7): 3619
witness diameter X 28.6356 · Z 26.0 (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 (372)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 1931 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(31, 12, [(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

[[693,13,16]] 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) = (31, 12), 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 | 16 | | 100,000 | 16 | | 1,000,000 | 16 | | 1,000,000 | 16 | | 1,000,000 | 16 |

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

Parity checks

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