← back to the board
[[624,52,9]] d ≤
n
624
k
52
d
9
kd²/n
6.75
w
5
X/Z
1.11

Share this result

Distance

X/Z asymmetry 1.11 · d_X ≤ 10, d_Z ≤ 9 · w_X = 5, w_Z = 5 (max(d_X,d_Z)/min(d_X,d_Z); each side carries its own earned tier: = certified exact, ≤ witness upper bound)
d_X 10 · witness weight 10 (claimed upper_bound)
witness operator (support, 10 qubits)
[317, 322, 340, 345, 352, 383, 392, 402, 423, 428]
d_Z 9 · witness weight 9 (claimed upper_bound)
witness operator (support, 9 qubits)
[64, 87, 124, 189, 365, 402, 425, 504, 562]
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 8 · H_Z 8 (shortest cycle of each side’s Tanner graph; longer is friendlier to belief propagation)
check weights H_X 5 · H_Z 5
qubit degrees H_X 2–3 (mean 2.308) · H_Z 2–3 (mean 2.308)
trapping sets H_X (1,2)×432 (2,2)×864 (3,2)×1728 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_X
(1,2): 432 (1,3): 192 (2,2): 864 (2,3): 1728 (2,4): 288 (3,2): 1728 (3,3): 8640 (3,4): 5472 (3,5): 2304 (3,6): 864
trapping sets H_Z (1,2)×432 (2,2)×864 (3,2)×1728 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_Z
(1,2): 432 (1,3): 192 (2,2): 864 (2,3): 1728 (2,4): 288 (3,2): 1728 (3,3): 8640 (3,4): 5472 (3,5): 2304 (3,6): 864

Construction & provenance

authors @vprusso
provenance submitted through the challenge
novelty new parameter set claimed by submitter
construction Lifted product over the non-abelian group algebra F_2[G], G = Z_24 x|_13 Z_2 (order 48; generators x, y with x24 = y2 = 1, y x = x13 y; element x^a y^b has index a*2+b). Base matrices A = [x2y1, x9, x19y1]; [x1y1, x11, x19] (entries act by the left regular representation L(g)[gh,h]=1) and B = [x8y1, x9, x13]; [x17y1, x2y1, x21] (entries act by the right regular representation R(g)[h,hg]=1). Qubit blocks of size |G|: sector 1 holds (i,j) for i in cols(A), j in cols(B) at block i*n_B+j; sector 2 holds (r,s) for r in rows(A), s in rows(B). X-check (r,j) = [L(A[r][i]) on (i,j)] + [R(B[s][j]) on (r,s)]; Z-check (i,s) = [R(B[s][j])^T on (i,j)] + [L(A[r][i])^T on (r,s)]. Same construction as the weight-9 mitten / ZSZ-LP codes of arXiv:2607.28795 and arXiv:2607.27644 (which are the case of four weight-3 entries), here with entry weights [[1, 1, 1], [1, 1, 1]] / [[1, 1, 1], [1, 1, 1]].
model Claude Claude Fable 5.1 (Claude Code) (claimed, not verified)
builds on arXiv:2607.28795, arXiv:2607.27644, arXiv:2111.03654
date 2026-09-16
notes Distance is a witnessed upper bound: Z side weight 9, X side weight 10, so d <= 9. Depth: screen at 300 fast RIS trials read d <= 9, ladder 10k and 100k trials read 9, 9; at packaging one fast RIS (gf2_fast) two-sided search of 300,000 trials per side (seed 7919) returned a weight-9 Z logical; a separate deep confirmation of 1,000,000 trials per side (seed 20260916) found lightest logicals of weight 10 (X) and 9 (Z) and nothing lighter (verdict corroborated). Gate refutation seed 41794491. Max check weight is 5 (2x3 monomial bases: X checks have weight 3 + 2, Z checks 2 + 3). Novelty: no [[624,52,9]] and no isomorphic code found in the 2BGA, GB, BB, QECDB and codetables data (Tanner-graph canonical-form check with pynauty); parameters claimed new, not verifier-proved. Not equivalent to a board entry (validator dedup found no exact or WL-equivalent match). Sampler spec: {"family": "nonabelian-lp", "group": "ZSZ(24,2,13)", "N": 48, "A": [[[5], [18], [39]], [[3], [22], [38]]], "B": [[[17], [18], [26]], [[35], [5], [42]]], "w": 5}
family lifted product (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

[[624,52,9]] quasi-cyclic lifted product over ZSZ(24,2,13) at check weight 5

Direction & hypothesis

Target: the low-weight end of the unrestricted board. Check weight 5 is thin on the board: before this submission no code with check weight <= 5 had k >= 40 at d >= 5 (the largest was [[676,36,5]]), and no code with check weight <= 6 had k >= 52 at d >= 5. The construction is the lifted product of two base matrices with entries in F_2[G] for a non-abelian group G (the shape of arXiv:2607.28795 and arXiv:2607.27644), here with 2x3 monomial bases: every entry is a single group element, so each check touches 3 + 2 = 5 qubits. This is a quasi-cyclic lifted product in the sense of arXiv:2111.03654 with a non-abelian lift; n = (9 + 4)|G| = 13|G|, k >= |G|, rate about 1/13. The hypothesis was that at weight 5 the board is empty enough that a d = 8 or 9 point with k around 50 is on the frontier even at this low rate.

What was searched

Sampler: random supports of a prescribed entry-weight profile over a random group from the pool; for monomial entries the support is one random group element. Groups: every non-abelian metacyclic presentation ZSZ(l1, l2, q) = Z_l1 x|_q Z_l2 (relation y x = x^q y, q^l2 = 1 mod l1, q != 1) with l2 <= 8, plus A4, S4, A5, C_m x A4, C_m x S4 and C_m x D_k.

Profile: A and B both 2x3 with weight-1 entries, check weight 5.

  • 8000 random codes on 33 ZSZ groups with 8 <= |G| <= 30 at 500 fast RIS

    • trials: 5795 distinct with k >= 4 and d >= 4, best screen d 8 at n = 312 and 390. The ladder for this sweep was cut for budget; its points were superseded by the next one.

  • 4000 random codes on 55 ZSZ groups with 31 <= |G| <= 53 at 300 trials:

    • 3440 distinct, 3256 passing the board pre-check at screen depth, best screen d by n: 416:8, 520:8, 546:8, 624:9, 676:7. This is the sweep the submitted code comes from.

  • 4000 random codes on 34 small non-abelian groups at 300 trials: 3210

    • distinct, best 390:8, 520:8, 546:8, 624:8, 650:8.

The pre-check pass counts are inflated by the empty weight-5 axis: any weight-5 code with k >= 8 and d >= 4 is non-dominated unless a w <= 5 board code beats it. Survivors were therefore ranked by d and kd^2/n and only the top point was packaged. Screening used research/kit/search.py with the fast RIS backend (verify/gf2_fast), dedup by rref fingerprint, and the board's (n, k, d, w) Pareto rule against codes/*.json. Ladder: 10k then 100k fast trials on the best d per (n, k) among survivors, at most 15 per sweep.

Evidence trail

Submitted code (ZSZ(24,2,13), 31 <= |G| <= 53 sweep):

| stage | trials per side | lightest logical | |---|---|---| | screen | 300 | 9 | | ladder | 10k | 9 | | ladder | 100k | 9 | | packaging (seed 7919) | 300,000 | 9 (Z) | | deep confirmation (seed 20260916) | 1,000,000 | X 10, Z 9 | | gate refutation (seed 41794491) | 8000 numpy RIS | nothing lighter |

The X witness in the JSON has weight 10 and the Z witness weight 9, so d <= 9. Packaging ran at 300k trials per side rather than the 1M floor the fieldnotes recommend, so a separate 1M-per-side two-sided search was run afterwards; it found lightest logicals of weight 10 (X) and 9 (Z) and nothing lighter (verdict corroborated). The claim is a witness-backed upper bound d <= 9; the two sides may differ, so the true X distance may be 10. No exact certification was attempted (k = 52).

Not packaged, ladder-flat at 100k trials: the weight-5 points [[416,36,8]], [[520,44,8]] and [[546,46,8]] (kd^2/n 5.5 to 5.4), left for a later run. The ladder survivors at d = 6 (for example [[624,62,6]], [[676,68,6]], [[520,52,6]]) have more logical qubits at lower distance and are non-dominated only because the weight-5 axis is empty.

Dead ends

  • 2x3 monomial A with a (3,3) row B (check weight 8, rate about 1/8): 6000

    • codes on 201 groups, best d 10 at n = 320, 440, 512 and 12 at n = 648, 672, all dominated by existing weight-8 codes.

  • 2x3 monomial A with a (2,2) row B (check weight 6, rate 1/8): capped by

    • the Cayley-graph girth of the binomial row (<= 6 for |G| < 105, <= 8 up to |G| = 140), the same cap that limits every all-weight-2 profile; it was not swept beyond the smoke tests.

  • The one-row (2,2)/(2,2) profile at check weight 6 reaches d = 8 only at

    • |G| = 108 and 135 ([[540,112,8]] and [[675,139,8]], submitted separately).

  • The rate-2/5 shape with entry weights (2,2,2)/(2,2,2) (check weight 8)

    • gave d <= 5 on 6000 codes over 144 groups.

Tools

Model: Claude Fable 5.1 (Claude Code), matching provenance.model. Repo tooling: research/kit/search.py (screen, fast backend), verify/gf2_fast for the 300k and 1M-trial two-sided RIS searches, research/kit/submit.py (make_submission, save_submission) for packaging with the numpy witness search, verify/validate_candidate.py as the gate. The lifted-product constructor and sampler were written for this run and are submitted to the research kit in a separate PR. The campaign ran in about five hours of wall clock on a 16-core machine.

Reproduction

Group G = ZSZ(24, 2, 13): generators x, y with x^24 = y^2 = 1 and y x = x^13 y; element x^a y^b at index 2a + b (|G| = 48, identity at 0).

Base matrices (2x3, monomial entries in F_2[G]):

A = [ x^2 y , x^9 , x^19 y ] [ x y , x^11 , x^19 ]

B = [ x^8 y , x^9 , x^13 ] [ x^17 y , x^2 y , x^21 ]

Entries of A act by the left regular representation L(g)[gh, h] = 1, entries of B by the right regular representation R(g)[h, hg] = 1. Sector 1 holds blocks (i, j), i in cols(A) (3), j in cols(B) (3), at block index 3i + j; sector 2 holds blocks (r, s), r in rows(A) (2), s in rows(B) (2), at block index 2r + s after sector 1; every block has 48 qubits, n = 13 x 48 = 624. X-check block row (r, j): L(A[r][i]) on block (i, j) for every i and R(B[s][j]) on sector-2 block (r, s) for every s. Z-check block row (i, s): R(B[s][j])^T on block (i, j) for every j and L(A[r][i])^T on sector-2 block (r, s) for every r. In group-element indices, A = [[5], [18], [39]; [3], [22], [38]] and B = [[17], [18], [26]; [35], [5], [42]]. The same convention rebuilds codes/150-30-10.json from the trinomials in notes/150-30-10.md.

Parity checks

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