← back to the board
[[600,45,8]] d =
n
600
k
45
d
8
kd²/n
4.8
w
7
X/Z
1.5

Share this result

Distance

X/Z asymmetry 1.5 · d_X = 8, d_Z = 12 · w_X = 7, w_Z = 7 (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)
[52, 53, 64, 65, 80, 81, 92, 93]
d_Z 12 · witness weight 12 (claimed upper_bound)
witness operator (support, 12 qubits)
[73, 75, 79, 83, 87, 175, 189, 277, 363, 365, 377, 383]
certificate exact, d = 8 · CryptoMiniSat 5.14.7 SAT
X: no logical < 8 exists; Z: no logical < 12 exists

Diagnostics

computed by the verifier from the parity checks, the layout, and the stored witnesses; shown as evidence, not used for ranking
girth H_X 4 · H_Z 4 (shortest cycle of each side’s Tanner graph; longer is friendlier to belief propagation)
check weights H_X 7 · H_Z 7
qubit degrees H_X 3–4 (mean 3.36) · H_Z 3–4 (mean 3.36)
trapping sets H_X (1,3)×384 (2,2)×96 (3,3)×768 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_X
(1,3): 384 (1,4): 216 (2,2): 96 (2,4): 1608 (2,5): 3456 (2,6): 720 (3,3): 768 (3,4): 576 (3,5): 9216 (3,6): 40392 (3,7): 28992 (3,8): 8136 (3,9): 2880 (3,10): 144
trapping sets H_Z (1,3)×384 (2,2)×96 (3,3)×672 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_Z
(1,3): 384 (1,4): 216 (2,2): 96 (2,4): 1608 (2,5): 3456 (2,6): 720 (3,3): 672 (3,4): 576 (3,5): 9504 (3,6): 40464 (3,7): 28992 (3,8): 7920 (3,9): 2880 (3,10): 144

Construction & provenance

authors @mathysrennela
provenance submitted through the challenge
novelty novelty not audited
construction Lifted product over Z_t x Z_2 (|G|=24), protograph A (3x4), B (3x4) taken from arXiv:2606.24808 Table 1 (R3EliteP01, an SCE search elite), with the paper's exponents reduced modulo the family parameter t=12 to fit the board's n<=700 cap (n = (nA*nB + mA*mB)*|G| = 25*24 = 600). Entries of A act by left regular representation, entries of B by right regular representation (via inverse), HX = [A~(x)I | I(x)B~^T], HZ = [I(x)B~^T-blocks | A~^T-blocks]. Paper reports [[1500,81,<=pd]] at t=30; this is the same protograph at a smaller lift. Distance is an upper bound from the kit's randomized witness search.
model GLM 5.3 Flash (claimed, not verified)
builds on arXiv:2606.24808
date 2026-09-14
notes Construction family and protograph published in arXiv:2606.24808 (R3EliteP01 at t=30, reported [[1500,81,<=18]]); this entry is the same protograph at a new, smaller lift (t=12), a parameter point the paper does not tabulate; literature novelty of the parameter set unverified. Board dedup gate-checked: not an exact or WL-equivalent duplicate of any existing entry.
family lifted product (a tag, not a ranking)
locality unrestricted (computed from the layout)
weight class weight ≤ 8 (computed)

How this code was found

the research note submitted with this code · raw markdown · all notes

[[600,45,8]] lifted product over Z_12 x Z_2, SCE-paper protograph R3EliteP01 at t=12

Direction & hypothesis

Cell: unrestricted / weight-8 (max check weight 7: the protograph row weight is nA + mB = 4 + 3 = 7). Family: lifted-product over the abelian group Z_t x Z_2, protograph transcribed from arXiv:2606.24808 (Table 1 and Supplemental S7, code R3EliteP01). The paper's families are scalable, n = (nA*nB + mA*mB)*|G|, so the same protograph instantiated below the board's n <= 700 cap may land non-dominated instances in the high-rate band of the weight-8 cell.

What was searched

All 8 Table-1 protograph families of the paper were swept over every group parameter with n <= 700: 40 instantiations (abelian Z_3 x Z_t, Z_2 x Z_2 x Z_t, Z_t x Z_2; non-abelian dicyclic Dic_m and dihedral D_m lifts), each built, CSS-checked, k computed exactly over GF(2), and screened at 3000 RIS trials per candidate. Only the two Z_t x Z_2 families (R3EliteP01, R3EliteP02) survive below the cap: the six weight-8 families collapse to d <= 4-8 at every sub-cap size and are Pareto-dominated. At odd t the group Z_t x Z_2 is cyclic and the lift degenerates (the paper observes this too), so only even t were eligible.

Evidence trail

  • Screening: d <= 8 at 3000 RIS trials.
  • Witness search (8000 RIS trials per side): lightest X-logical weight 8,

    • lightest Z-logical weight 12; claim d <= 8, confidence upper_bound.

  • Staging gate (the repo's validate_candidate): passed; refutation, 8000 RIS

    • trials, found no lighter logical; not an exact or WL-equivalent duplicate of any board entry; labeled board-advancing in the cell unrestricted x weight-8; kd^2/n = 4.8.

  • Claim: upper bound d <= 8, witness-backed, not exact (k = 45 is above

    • the certification envelope of d <= 13, k <= 12).

Dead ends

The six weight-8 protograph families (R1Elite01, R1Elite02, R2Elite01, R2Elite02, R3Elite01, R3Elite02) collapse at sub-cap lifts: every instantiation screened d <= 4-8 and was dominated. The paper's designs only pay off near n ~ 1500; its QDistRnd upper bounds do not survive the 2-5x block-length reduction.

Tools

Model: GLM 5.3 Flash (agent harness: Zed). Tooling: a general matrix-protograph lifted-product constructor written for this campaign and self-tested to reproduce the paper's stated (n, k) for all 8 Table-1 codes at the paper's own group parameters; the repo's GF(2) rank/RIS stack; the repo's validation gate. Screening budget ~3000 trials per candidate.

Reproduction

G = Z_t x Z_2 with t = 12 (x mod 12, y mod 2), q = |G| = 24, n = (nA*nB + mA*mB)*q = 25*24 = 600. Protograph (arXiv:2606.24808 S7, R3EliteP01; entry notation x^a y^b, e = x^0 y^0):

A (3x4) = [[x^22, x^17, x^19, x^21], [x^23 y, x^11 y, x^22 y, x^10 y], [x, x^28, x^2, x^29]] B (3x4) = [[x^28 y, x^11 y, x^7 y, x^17 y], [x^26, x^18 y, x^29, x^21 y], [x^5 y, x^28 y, x^21 y, x^25 y]]

with every x-exponent reduced mod 12 (y mod 2). Build the lifted product of arXiv:2606.24808 Eq. (S4): expand each A entry by the left regular representation and each B entry by the right regular representation (via the inverse) into q x q permutation blocks; then

HX = [A~ (x) I_4 | I_3 (x) B~^T], HZ = [I_4 (x) B~ | A~^T (x) I_3]

taken at the protograph level, where the block transposes in HZ are expanded transposes of the q x q blocks. CSS commutation is automatic (left and right regular representations commute); k = n - rank(HX) - rank(HZ) = 45 over GF(2), max check weight 7.

Parity checks

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