[[546,46,8]] · QEC Challenge

[[546,46,8]] d ≤

546

kd²/n

5.392

X/Z

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)

[149, 156, 172, 189, 197, 215, 230, 247]

d_Z 8 · witness weight 8 (claimed upper_bound)

witness operator (support, 8 qubits)

[64, 79, 173, 189, 199, 319, 324, 335]

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)×378 (2,2)×756 (3,2)×1512 (smallest syndrome weight at each size, connected sets of up to 3 qubits)

full (size, syndrome weight): count census for H_X

(1,2): 378 (1,3): 168 (2,2): 756 (2,3): 1512 (2,4): 252 (3,2): 1512 (3,3): 7560 (3,4): 4788 (3,5): 2016 (3,6): 756

trapping sets H_Z (1,2)×378 (2,2)×756 (3,2)×1512 (smallest syndrome weight at each size, connected sets of up to 3 qubits)

full (size, syndrome weight): count census for H_Z

(1,2): 378 (1,3): 168 (2,2): 756 (2,3): 1512 (2,4): 252 (3,2): 1512 (3,3): 7560 (3,4): 4788 (3,5): 2016 (3,6): 756

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_7 x D_3 (direct product, order 42) (|G|=42), 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 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

[[546,46,8]] — non-abelian lifted product over C7xD3

Credit

This is not an original find: the gap was identified, and the tooling to fill it was written, by @vprusso (using Claude Fable 5.1), in the campaign documented at fieldnotes/2026-09-16-lifted-product-girth-cap.md. @vprusso also wrote research/kit/nonabelian_lp.py (the lifted-product constructor and sampler this submission reuses unmodified) and submitted the neighboring codes/624-52-9.json from the same sweep. That fieldnote explicitly states this exact point was found but left unsubmitted ("left for a later run"); this submission only reruns that already-merged tooling to confirm and package it. No new construction or search method is claimed here.

Direction & hypothesis

Same direction as 416-36-8.note.md: the third of the three candidates explicitly flagged as found-but-unsubmitted in fieldnotes/2026-09-16-lifted-product-girth-cap.md (Finding 5). Same 2x3-monomial-base lifted-product construction, check weight 5, rate 1/13.

What was searched

Same sweep as 416-36-8.note.md. This point was reproduced under two group presentations at |G|=42 (C7xD3 x2, ZSZ(21,2,8)) — the presentation used here is C7xD3 (direct product of a cyclic group of order 7 and the dihedral group of order 6).

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: [].

Claim: witness-backed upper bound, not exact.

Dead ends

See 416-36-8.note.md and the fieldnote itself — same sweep, same prior negative results on adjacent profiles.

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 C7xD3 = C_7 x D_3, direct product of the cyclic group of order 7 and the dihedral group of order 6 (group_algebra.cyclic_product combined with group_algebra.direct_product and metacyclic(3,2,2) for D_3), via nonabelian_lp.small_nonabelian_groups; |G|=42, element indices as returned by that builder.

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(42, 42))["C7xD3"]
A = [[[36], [32], [28]], [[27], [26], [32]]]
B = [[[25], [19], [18]], [[24], [39], [0]]]
HX, HZ = lifted_product_base(mul, A, B)   # n=546, k=46

doc = make_submission(
    HX, HZ,
    name="[[546,46,8]] non-abelian lifted product, C7xD3",
    construction="Lifted product of two 2x3 monomial base matrices A, B over "
                 "F_2[G], G = C_7 x D_3 (direct product, order 42), entries "
                 "acting by the left (A) and right (B) regular representation.",
    authors=["@msilve160"], family="lifted-product",
    references=["arXiv:2607.28795", "arXiv:2607.27644"],
    confidence="upper_bound", trials=20000, seed=0,
)
save_submission(doc, "codes/546-46-8.json")   # only after human review + PR

Parity checks

X-checks 252 (max weight 5) · Z-checks 252 (max weight 5)

H_X (252 checks, sparse supports)

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

H_Z (252 checks, sparse supports)

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

Code ID 546-46-8 · download JSON · raw on GitHub