← back to the board
[[624,54,8]] d ≤
n
624
k
54
d
8
kd²/n
5.538
w
5
X/Z
1

Share this result

Distance

X/Z asymmetry 1 · d_X ≤ 8, d_Z ≤ 8 · 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 8 · witness weight 8 (claimed upper_bound)
witness operator (support, 8 qubits)
[9, 28, 39, 44, 78, 95, 115, 120]
d_Z 8 · witness weight 8 (claimed upper_bound)
witness operator (support, 8 qubits)
[19, 24, 146, 155, 157, 162, 295, 302]
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 @msilve160
provenance submitted through the challenge
novelty novelty not audited
construction Lifted product of two 2x3 monomial base matrices A, B over F_2[G], G = C_6 x D_4 (direct product, order 48) (|G|=48), entries acting by the left (A) and right (B) regular representation (research/kit/nonabelian_lp.py, lifted_product_base). n = 13|G|, check weight 5 (row weight 3 of A + row weight 2 of B, and vice versa). Same construction family as arXiv:2607.28795 (mitten codes) / arXiv:2607.27644 (ZSZ lifted products), at lower entry weight (monomial, not trinomial) than the published weight-9 form. Reproduces a candidate flagged but not submitted in fieldnotes/2026-09-16-lifted-product-girth-cap.md (Finding 5), found via the merged research/kit/nonabelian_lp.sample_nonabelian_lp sampler. This gap in the check-weight-5 region of the board was found by @vprusso (using Claude Fable 5.1), who also wrote research/kit/nonabelian_lp.py and submitted the neighboring codes/624-52-9.json from the same campaign; see fieldnotes/2026-09-16-lifted-product-girth-cap.md for the original search (this submission reproduces one of that campaign's flagged-but-unsubmitted points using the already-merged tooling).
model Claude Claude Sonnet 5 (claimed, not verified)
builds on arXiv:2607.28795, arXiv:2607.27644
date 2026-09-19
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,54,8]] — non-abelian lifted product over C6xD4

Credit

The construction and search tooling are not original to this submission: both were written by @vprusso (using Claude Fable 5.1) in the campaign documented at fieldnotes/2026-09-16-lifted-product-girth-cap.md, including research/kit/nonabelian_lp.py (the lifted-product constructor and sampler this submission reuses unmodified) and the neighboring codes/624-52-9.json, submitted from the same sweep at the same n. Unlike the three sibling submissions in this batch, this specific (n,k,d) point was not itself named in that fieldnote — it turned up when this submission reran @vprusso's already-merged tooling over the same group range, as a bonus alongside reproducing the three points the fieldnote did flag. The credit for the construction and the search method is still entirely @vprusso's; only the particular (54,8) reading at n=624 is new here.

Direction & hypothesis

Same sweep and direction as 416-36-8.note.md, but this point was not flagged in fieldnotes/2026-09-16-lifted-product-girth-cap.md. That fieldnote's own campaign already submitted [[624,52,9]] (ZSZ(24,2,13)) from the same n=624 neighborhood; this run's staged screen turned up two higher-k, lower-d codes at the same n — [[624,54,8]] and [[624,53,8]] — that neither dominate nor are dominated by [[624,52,9]] (k=54 or 53 beats k=52, but d=8 loses to d=9), so they are independent, additional frontier points at the same blocklength rather than a replacement. Only the better of the two (k=54) is submitted here.

What was searched

Same sweep as 416-36-8.note.md: 1,500 random codes, 76 groups with 31 <= |G| <= 53, A_w = B_w = [[1,1,1],[1,1,1]] (2x3 monomial, check weight 5), staged screening at 400 fast RIS trials, keeping anything at efficiency >= 4.7 or on the running Pareto frontier. This point appeared at |G|=48 under two presentations (C6xD4 at k=54; ZSZ(6,8,5) and ZSZ(8,6,3) at k=53) — the higher-k C6xD4 code is the one submitted.

Evidence trail

  • Screening: d<=8 at 400 fast RIS trials.
  • Deep confirmation: d<=8 held at 500,000 fast RIS trials (seed 1234).
  • Packaging: submit.make_submission witness search (3,000 trials/side,

    • numpy) independently confirmed weight-8 witnesses on both sides.

  • Gate: verify/validate_candidate.py returned passed: true,

    • refute.refuted: false, novelty.board_advancing: true for (weight-6, unrestricted), dominated_by: [] — confirmed non-dominated even against the board's own [[624,52,9]] at the same n.

  • Claim: witness-backed upper bound, not exact.

Dead ends

The k=53 variants at the same n (ZSZ(6,8,5), ZSZ(8,6,3)) were found but not packaged, since C6xD4's k=54 strictly beats them at the same n, d and w — a genuine case of the sweep finding a still-better point among near duplicates rather than a distinct dead end.

Tools

Same as 416-36-8.note.md: Claude Sonnet 5, single CPU core, gf2_fast backend, research/kit/nonabelian_lp.py + search.py + submit.py + verify/validate_candidate.py. No new constructor code written.

Reproduction

Group C6xD4 = C_6 x D_4, direct product of the cyclic group of order 6 and the dihedral group of order 8, via nonabelian_lp.small_nonabelian_groups; |G|=48.

import sys
sys.path.insert(0, "research/kit")
from nonabelian_lp import small_nonabelian_groups, lifted_product_base
from submit import make_submission, save_submission

mul = dict(small_nonabelian_groups(48, 48))["C6xD4"]
A = [[[21], [31], [30]], [[7], [18], [30]]]
B = [[[17], [39], [30]], [[18], [1], [38]]]
HX, HZ = lifted_product_base(mul, A, B)   # n=624, k=54

doc = make_submission(
    HX, HZ,
    name="[[624,54,8]] non-abelian lifted product, C6xD4",
    construction="Lifted product of two 2x3 monomial base matrices A, B over "
                 "F_2[G], G = C_6 x D_4 (direct product, order 48), entries "
                 "acting by the left (A) and right (B) regular representation. "
                 "Not dominated by the board's [[624,52,9]] at the same n: "
                 "higher k, lower d.",
    authors=["@msilve160"], family="lifted-product",
    references=["arXiv:2607.28795", "arXiv:2607.27644"],
    confidence="upper_bound", trials=20000, seed=0,
)
save_submission(doc, "codes/624-54-8.json")   # only after human review + PR

Parity checks

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