← back to the board
[[576,12,30]] d ≤
n
576
k
12
d
30
kd²/n
18.75
w
6
X/Z
1.07

Share this result

Distance

X/Z asymmetry 1.07 · d_X ≤ 30, d_Z ≤ 32 · 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 30 · witness weight 30 (claimed upper_bound)
witness operator (support, 30 qubits)
[19, 40, 64, 105, 109, 126, 130, 139, 147, 154, 160, 171, 184, 208, 262, 324, 428, 435, 439, 440, 457, 466, 471, 498, 502, 505, 510, 542, 568, 573]
d_Z 32 · witness weight 32 (claimed upper_bound)
witness found by @vprusso · verify/ris_gpu.py recover mode, pair depth 0 (GPU RIS, CPU re-verified) · found at 3×108 trials · survived 3×108 trials · 2026-09-25
witness operator (support, 32 qubits)
[10, 22, 29, 30, 41, 42, 75, 81, 87, 93, 100, 112, 126, 138, 145, 146, 157, 158, 177, 189, 197, 209, 247, 259, 267, 279, 339, 351, 410, 422, 467, 479]
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 6 · H_Z 6
qubit degrees H_X 3 · H_Z 3
trapping sets H_X (1,3)×576 (2,4)×4320 (3,3)×576 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_X
(1,3): 576 (2,4): 4320 (3,3): 576 (3,5): 41472 (3,7): 5760
trapping sets H_Z (1,3)×576 (2,4)×4320 (3,3)×576 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_Z
(1,3): 576 (2,4): 4320 (3,3): 576 (3,5): 41472 (3,7): 5760

Construction & provenance

authors @cbjuan
provenance submitted through the challenge
novelty novelty not audited
construction Periodic bivariate-bicycle code on the group algebra Z_12 x Z_24 (n = 2*l*m = 576). Convention: x = S_12 tensor I_24, y = I_12 tensor S_24 (cyclic shifts), qubit index = i*m + j; A = x0y2 + x1y9 + x3y0, B = x0y3 + x1y0 + x2y0; H_X = [A|B], H_Z = [B^T|A^T]. Found by an automated evolutionary/mutation search over (l, m, A, B) exponent sets targeting the unrestricted x weight-6 (or weight-8) board cells, screened by a randomized lightest-logical surrogate and promoted through increasing trial budgets.
date 2026-09-16
notes Internal autoresearch candidate id 56213 (canonical key d2e5e445f5073e9e2650558f), search lane 'refreshed-high-distance-mutation', proposal kernel 'validated-highd-two-step'. Initial NumPy lightest-logical surrogate: trials=8000, seed=872600066. Confirmed with an accelerated bit-packed random-information-set search at rung '1m' (1000000 trials, seed=843120991, pair_depth=16), tightest witness on side X at weight 30. An internal exact-certification attempt (same MILP method as verify/certify.py) did not close within budget on either side (side_status X=timeout, Z=timeout after 340847.3s of solver time), so this submission is a witness-backed upper bound only, not an exact claim.
family bivariate bicycle (a tag, not a ranking)
locality unrestricted (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

[[576,12,30]]: distance revision of the board's [[576,12,30]] entry

Revision history

The entry keeps its parameters [[576,12,30]]. The code, its checks, its layout, and its original provenance are unchanged; only the distance block is corrected. A GPU random-information-set search (verify/ris_gpu.py, recover mode, 300,000,000 trials per side, pair depth 0, seed 4101) exhibits a weight-32 Z logical, so the previous witness-backed bound was overstated on that side; the overall distance d = 30 is unchanged. Each lighter witness is carried in the entry with the budget it was found at; the other side keeps its original witness where it was not refuted. Distance remains an upper bound, not an exact claim.

Evidence

Every GPU proposal was re-validated on the CPU against the committed check matrices (in the kernel of the opposite side's checks, outside the row space of its own side) before it was recorded. The pass is the weekly fresh-seed re-measurement of the board's cell leaders (issue 2025, run of 2026-09-24); every recorded reading is the lightest CPU-verified logical at that budget.

| side | seed | claimed | GPU best weight | CPU-verified witness | trials | |---|---|---|---|---|---| | X | 4101 | 30 | 30 | 30 | 300,000,000 | | Z | 4101 | 34 | 32 | 32 | 300,000,000 | | X | 4102 | 30 | 30 | 30 | 300,000,000 | | Z | 4102 | 34 | 32 | 32 | 300,000,000 |

Original note, with the file paths updated

[[576,12,30]] — periodic bivariate-bicycle on Z_12 x Z_24

Direction & hypothesis

Target: the unrestricted x weight ≤ 6 board cell, via a periodic bivariate-bicycle (BB) code on Z_12 x Z_24, found by an automated continuous evolutionary/mutation search over BB exponent sets (l, m, A, B) (lane refreshed-high-distance-mutation, proposal kernel validated-highd-two-step). This submission independently rebuilds and re-verifies the resulting [[576,12,30]] candidate using only this repository's own trusted tools before submitting.

What was searched

The source campaign's search over Z_12 x Z_24 exponent pairs used lane refreshed-high-distance-mutation with proposal kernel validated-highd-two-step (internal candidate id 56213); screening was by a randomized lightest-logical surrogate promoted through increasing trial budgets, the same style of screen described in research/AUTORESEARCH.md step 2-3 (CSS commutation, k, then a randomized distance upper bound) but run in the external campaign above. NumPy surrogate stage: trials=8000, seed=872600066. Bit-packed accelerated confirmation stage: rung 1m, 1000000 trials, seed=843120991, pair_depth=16, tightest witness on side X at weight 30. A later confirmation rung reused the earlier rung's persisted witness as its starting point rather than repeating the search from scratch. The final distance value merges and cross-checks every persisted rung for this candidate (not just the last one run), keeping the lightest witness found at any rung on each side.

Evidence trail

  • Rebuilt (H_X, H_Z) from the polynomials below using this repository's own research/kit/bb.py:build_bb, and confirmed the reconstruction reproduces the campaign's own check supports exactly (same X/Z check sets, as sets of qubit supports) before packaging.
  • research/kit/css.py:verify_css / compute_k -- CSS commutation holds, k = 12 exactly (GF(2) rank), n = 576, max check weight 6 on X and 6 on Z.
  • Verified locally with this repository's own trustless gate, verify/qldpc_verify.py (verify(doc, refute=True)): schema-valid, connected Tanner graph and stabilizer group, CSS commutation, both witnesses valid (in the kernel of the opposite side's checks, outside the rowspace of their own), and the refutation search found nothing lighter.
  • An internal exact-certification attempt (same MILP method as verify/certify.py), run as part of an internal autoresearch campaign on branch certification/periodic-bb-exact-64core of this same repository, did not close within budget on either side, so this is a witness-backed upper bound only.
  • Final claim: witness-backed upper bound, d <= 30.

Dead ends

Not applicable -- this submission mines a single already-vetted candidate from an external campaign's sweep rather than running a new search in this repository; the campaign's own dead ends (screened-and-collapsed candidates) are not part of this submission's own evidence trail.

Tools

This candidate's discovery and screening ran as an internal autoresearch campaign on branch certification/periodic-bb-exact-64core of this same repository: an automated (non-LLM) exponent-set mutation search with MILP-based exact certification. That branch is not merged to main at the time of this submission, so nothing here relies on it being externally checkable. No provenance.model is set because no generative model produced this code. This submission's independent reconstruction, re-verification, and packaging in this repository was done separately by Claude Sonnet 5, via Claude Code, operating on this repository's research/kit and verify/ modules only (no edits to verify/). Compute: seconds to a few minutes for the reconstruction and verifier pass.

Reproduction

A = x^0y^2 + x^1y^9 + x^3y^0, B = x^0y^3 + x^1y^0 + x^2y^0 on Z_12 x Z_24 (n = 2·l·m = 576):

from bb import build_bb
HX, HZ = build_bb(l=12, m=24, A_terms=[(0,2), (1,9), (3,0)], B_terms=[(0,3), (1,0), (2,0)])

Parity checks

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