← back to the board
[[500,36,12]] d =
n
500
k
36
d
12
kd²/n
10.368
w
7
X/Z
1

Share this result

Distance

X/Z asymmetry 1 · d_X = 12, 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 12 · witness weight 12 (claimed upper_bound)
witness operator (support, 12 qubits)
[1, 11, 43, 53, 246, 256, 288, 298, 348, 358, 468, 478]
d_Z 12 · witness weight 12 (claimed upper_bound)
witness operator (support, 12 qubits)
[29, 39, 104, 107, 108, 114, 117, 118, 186, 196, 264, 274]
certificate exact, d = 12 · CryptoMiniSat 5.14.7 SAT
X: no logical < 12 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 6 · H_Z 6 (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)×320 (2,4)×1440 (3,3)×160 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_X
(1,3): 320 (1,4): 180 (2,4): 1440 (2,5): 2880 (2,6): 720 (3,3): 160 (3,5): 8160 (3,6): 34680 (3,7): 26880 (3,8): 8280 (3,9): 2880 (3,10): 240
trapping sets H_Z (1,3)×320 (2,4)×1440 (3,3)×160 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_Z
(1,3): 320 (1,4): 180 (2,4): 1440 (2,5): 2880 (2,6): 720 (3,3): 160 (3,5): 8160 (3,6): 34680 (3,7): 26880 (3,8): 8280 (3,9): 2880 (3,10): 240

Construction & provenance

authors @mathysrennela
provenance submitted through the challenge
novelty novelty not audited
construction Lifted product over Z_t x Z_2 (|G|=20), protograph A (3x4), B (3x4) taken from arXiv:2606.24808 Table 1 (R3EliteP02, an SCE search elite), with the paper's exponents reduced modulo the family parameter t=10 to fit the board's n<=700 cap (n = (nA*nB + mA*mB)*|G| = 25*20 = 500). 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,76,<=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 (R3EliteP02 at t=30, reported [[1500,76,<=20]]); this entry is the same protograph at a new, smaller lift (t=10), 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

[[500,36,12]] lifted product over Z_10 x Z_2, SCE-paper protograph R3EliteP02 at t=10

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 R3EliteP02). 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 <= 12 at 3000 RIS trials.
  • Witness search (8000 RIS trials per side): lightest X-logical weight 12,

    • lightest Z-logical weight 12; claim d <= 12, 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 = 10.368.

  • Claim: upper bound d <= 12, witness-backed, not exact (k = 36 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 = 10 (x mod 10, y mod 2), q = |G| = 20, n = (nA*nB + mA*mB)*q = 25*20 = 500. Protograph (arXiv:2606.24808 S7, R3EliteP02; entry notation x^a y^b, e = x^0 y^0):

A (3x4) = [[x^6 y, x^6, x^6 y, x^6], [e, x, x^2, x^26], [x^24 y, x^26, x^21 y, x^23]] B (3x4) = [[x^29 y, x^13, x^8 y, x^3], [x^10, x^6, x^2, x^28], [x^2 y, x^29, x^26 y, x^12]]

with every x-exponent reduced mod 10 (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) = 36 over GF(2), max check weight 7.

Parity checks

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