← back to the board
[[562,18,19]] d ≤
n
562
k
18
d
19
kd²/n
11.562
w
8
X/Z
1.05
g
0.0338
r
6.0828
layers
1
swaps
5457

Share this result

Distance

X/Z asymmetry 1.05 · d_X ≤ 20, d_Z ≤ 19 · w_X = 8, w_Z = 8 (max(d_X,d_Z)/min(d_X,d_Z); each side carries its own earned tier: = certified exact, ≤ witness upper bound)
d_X 20 · witness weight 20 (claimed upper_bound)
witness operator (support, 20 qubits)
[1, 3, 5, 8, 21, 22, 24, 32, 36, 37, 45, 60, 283, 287, 301, 315, 320, 321, 324, 344]
d_Z 19 · witness weight 19 (claimed upper_bound)
witness found by @vprusso and @e-eight · verify/gf2_fast distance_rand_witness, pair_depth 64 · found at 2×106 trials · 2026-09-20
witness operator (support, 19 qubits)
[23, 71, 74, 89, 104, 125, 137, 155, 170, 173, 176, 191, 203, 227, 239, 272, 285, 300, 317]
certificate none yet · distance stands as a self-certified upper bound (d ≤)

Diagnostics

computed by the verifier from the parity checks, the layout, and the stored witnesses; shown as evidence, not used for ranking
girth H_X 4 · H_Z 4 (shortest cycle of each side’s Tanner graph; longer is friendlier to belief propagation)
check weights H_X 2–8 (mean 6.8) · H_Z 2–8 (mean 6.763)
qubit degrees H_X 1–4 (mean 3.267) · H_Z 1–4 (mean 3.297)
trapping sets H_X (1,1)×54 (2,0)×13 (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): 54 (1,2): 96 (1,3): 58 (1,4): 354 (2,0): 13 (2,1): 113 (2,2): 227 (2,3): 395 (2,4): 958 (2,5): 567 (2,6): 3218 (3,0): 25 (3,1): 177 (3,2): 742 (3,3): 1921 (3,4): 4106 (3,5): 6485 (3,6): 16695 (3,7): 8988 (3,8): 43319 (3,9): 658 (3,10): 3752
trapping sets H_Z (1,1)×64 (2,0)×12 (3,0)×39 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_Z
(1,1): 64 (1,2): 68 (1,3): 67 (1,4): 363 (2,0): 12 (2,1): 90 (2,2): 178 (2,3): 478 (2,4): 832 (2,5): 511 (2,6): 3366 (3,0): 39 (3,1): 128 (3,2): 655 (3,3): 1762 (3,4): 3881 (3,5): 6918 (3,6): 15117 (3,7): 8296 (3,8): 45793 (3,9): 477 (3,10): 3997
witness diameter X 21.2603 · Z 23.8537 (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 = 6.083
X checkZ checkqubit site (562)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 5457 nearest-neighbor SWAPs per round in total, at most 12 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 Degree-one r=1 graft of the [[563,18,20]] tile code
model DeepSeek V4 Flash 0731 (claimed, not verified)
date 2026-09-17
notes Checked against the board: no exact-duplicate or WL-equivalent entry (trusted gate). REVISED 2026-09-20: distance corrected from d=20 to d=19. The entry admitted a weight-19 Z-type logical. It is a degree-one r=1 graft of [[563,18,20]], and removing a qubit cannot raise the distance and is not known to preserve it, so the claim had inherited the parent tile value rather than measuring its own; the entry's own bound came from a 20,000-trial search. The over-claim was first reported by @vprusso in the board-wide 2M-trial RIS re-audit of issue #1607; this session reproduced it independently on three fresh-seed rungs at pair depth 64 (2,000,000 / 8,000,000 / 20,000,000 trials, seeds 401/402/403, 30,000,000 trials in total), each returning exactly 19 and none reaching lower; the stored witness is a different weight-19 Z-logical, shifted by two qubits from the one in the issue. The stored witness was re-validated without the search stack: syndrome weight 0 against all 270 H_X rows, and rank(H_Z) 274 -> 275 with it appended, so it lies in ker H_X and outside the stabilizer row space of H_Z. Distance remains a witness-backed upper bound, not an exact claim.
family tile (a tag, not a ranking)
locality 2D-local bilayer (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

[[562,18,19]] - single-layer tile code, one qubit lighter than [[563,18,20]]

Revision history

[[562,18,19]] supersedes the board's [[562,18,20]]. The code, its checks, its family tag and its construction provenance are unchanged; only the distance claim is corrected, from d <= 20 to d <= 19. The Z side is the side that falls; the X side stays at 20 and is not refuted, so d = min(20, 19) = 19. kd^2/n moves from 18 * 20^2 / 562 = 12.81 to 18 * 19^2 / 562 = 11.56. Distance remains a witness-backed upper bound, not an exact claim.

Why the claim was loose

The entry is a degree-one r = 1 graft of the [[563,18,20]] tile code: one qubit that sat in exactly one stabilizer was removed. That move preserves k and the local class, but there is no result saying it preserves the distance -- and removing a qubit cannot raise it. The parent's value of 20 was carried over rather than measured, and the entry's own note records that its bound came from a 20,000-trial search (which had already tightened an 8,000-trial bound of 21). A shallow search on a 562-qubit code is exactly where an inherited claim hides.

Evidence trail

The claim was reported over-stated in issue #1607, found by a board-wide re-audit at 2,000,000 RIS trials per entry (seed 101, pair depth 8). That pass exhibited a weight-19 Z-type logical:

[23, 71, 74, 89, 104, 125, 137, 155, 170, 173, 176, 191, 203, 227, 239, 285, 300, 317, 555]

This session reproduced the refutation independently, on a fresh seed and at the pair depth this family's ladders use, with verify/gf2_fast.distance_rand_witness (both Pauli sides searched jointly):

| trials | seed | pair depth | lightest logical | side | | ---: | ---: | ---: | ---: | :--- | | 2,000,000 | 401 | 64 | 19 | Z | | 8,000,000 | 402 | 64 | 19 | Z | | 20,000,000 | 403 | 64 | 19 | Z |

Three fresh-seed rungs, 30,000,000 trials in total, all return exactly 19 and no rung ever reaches lower. The claim is d <= 19, the tightest value any run has exhibited; it is not a lower bound, and no exact certificate is claimed.

The witness this session stored is a *different* weight-19 Z-logical, shifted by two qubits from the one in the issue, which is itself a check that the two runs are not sharing a search artefact:

[23, 71, 74, 89, 104, 125, 137, 155, 170, 173, 176, 191, 203, 227, 239, 272, 285, 300, 317]

Both were re-validated from scratch, without the search stack: syndrome weight 0 against all 270 H_X rows, and rank(H_Z) grows 274 -> 275 when the witness is appended, so each is a nontrivial logical in ker H_X outside the stabilizer row space of H_Z.

What was not claimed

This is an upper bound. No exact (d =) certificate was attempted: the verify/certify.py MILP envelope recorded in CONTRIBUTING.md is d <= 13, well below 19, so no exact run can close at this size and none is claimed.

Tools

Model: deepseek-flash. Repo tooling: verify/gf2_fast (bit-packed RIS, both Pauli sides), verify/gf2.py (from-scratch GF(2) rank for the independent witness re-check), verify/validate_candidate.py (the trusted gate) and verify/qldpc_verify.py (the standalone verifier). Local compute only.

Reproduction

The code is unchanged from [[562,18,20]]; only the distance block differs. To re-find the witness:

import json, numpy as np, sys
sys.path.insert(0, "verify")
import gf2_fast

doc = json.load(open("codes/562-18-19.json"))
n = doc["n"]

def dense(rows):
    M = np.zeros((len(rows), n), dtype=np.int8)
    for i, row in enumerate(rows):
        for q in row:
            M[i, int(q)] ^= 1
    return M

HX, HZ = dense(doc["checks"]["X"]), dense(doc["checks"]["Z"])
print(gf2_fast.distance_rand_witness(HX, HZ, trials=2_000_000, seed=401,
                                     pair_depth=64, threads=16))

Equivalence review: the code is byte-identical to the superseded [[562,18,20]] apart from the distance block, so no new duplicate question arises.

The revision witness is recorded in distance.Z.witness_provenance (2,000,000 samples, seed 401).

Parity checks

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