← back to the board
[[512,128,20]] d ≤
n
512
k
128
d
20
kd²/n
100.0
w
10
X/Z
1

Share this result

Distance

X/Z asymmetry 1 · d_X ≤ 20, d_Z ≤ 20 · w_X = 10, w_Z = 10 (max(d_X,d_Z)/min(d_X,d_Z); each side carries its own earned tier: = certified exact, ≤ witness upper bound)
d_X 20 · witness weight 20 (claimed upper_bound)
witness found by @mathysrennela · research/kit/surrogate.lightest_logical · found at 1.5×104 trials · survived 1.5×104 trials · 2026-10-12
witness operator (support, 20 qubits)
[4, 6, 69, 86, 101, 144, 180, 209, 211, 228, 241, 243, 249, 259, 274, 285, 392, 422, 433, 498]
d_Z 20 · witness weight 20 (claimed upper_bound)
witness found by @mathysrennela · research/kit/surrogate.lightest_logical · found at 1.5×104 trials · survived 1.5×104 trials · 2026-10-12
witness operator (support, 20 qubits)
[44, 103, 129, 130, 178, 179, 184, 194, 195, 209, 210, 241, 293, 338, 362, 368, 385, 400, 430, 455]
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 4 · H_Z 4 (shortest cycle of each side’s Tanner graph; longer is friendlier to belief propagation)
check weights H_X 9–10 (mean 9.667) · H_Z 9–10 (mean 9.667)
qubit degrees H_X 3–5 (mean 3.625) · H_Z 3–5 (mean 3.625)
trapping sets H_X (1,3)×256 (2,4)×1376 (3,4)×320 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_X
(1,3): 256 (1,4): 192 (1,5): 64 (2,4): 1376 (2,5): 3264 (2,6): 2112 (2,7): 768 (2,8): 64 (3,4): 320 (3,5): 11136 (3,6): 43296 (3,7): 55008 (3,8): 42752 (3,9): 18784 (3,10): 5376 (3,11): 928 (3,12): 128
trapping sets H_Z (1,3)×256 (2,4)×1376 (3,4)×320 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_Z
(1,3): 256 (1,4): 192 (1,5): 64 (2,4): 1376 (2,5): 3264 (2,6): 2112 (2,7): 768 (2,8): 64 (3,4): 320 (3,5): 11136 (3,6): 43296 (3,7): 55008 (3,8): 42752 (3,9): 18784 (3,10): 5376 (3,11): 928 (3,12): 128

Construction & provenance

authors @mathysrennela
provenance submitted through the challenge
novelty novelty not audited
construction Pair-partition (PP) code over F_4[C_32] from arXiv:2610.06820 Sec. V and its companion catalogue entry pp-f4-512-128-20: reversing r-by-2M array with r = 3, P = 32, check basis raw, correction pivots (0,1,2) / (4,5,6), free coordinates (3,7), exponents and F_4 coefficients as tabulated. Binary checks reconstructed with the authors' own github.com/yeon-lee/public-regular-logical-frames src/rlf.py reconstruct(); n = 512, k = 128, check weight 10 on both CSS sides.
model Space Bunny Alpha 1.0 (claimed, not verified)
builds on arXiv:2610.06820v1
date 2026-10-12
notes Reproduction of a code tabulated as new in arXiv:2610.06820 Table 1, whose distances are stated to be exact. No board entry shares (n, k), so this is a new parameter point rather than a distinct code at held parameters. Distance here is a witness-backed upper bound from randomized search, not a reproduction of the paper's exhaustive certification.
family pair-partition CPM (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

[[512,128,20]] — pair-partition code over F_4[C_32] with a full regular canonical frame

Direction & hypothesis

Target cell: weight-9plus × unrestricted (CSS), which is where the verifier places a check weight of 10 (verify/qldpc_verify.py, weight-9plus). The opening was numerical rather than structural: arXiv:2610.06820 tabulates twenty-four LP and PP codes whose distances it certifies exactly, and checking each (n, k, d) against codes/ showed five were absent and of those only this one was undominated. At kd2/n = 100.00 it sits well clear of the cell's incumbents while encoding a quarter of its block length, which is the rate the paper was built around: a full regular canonical logical frame of bounded weight alongside the distance.

What was searched

No search. This is a reproduction of a published instance: the cyclic group C_32, the field F_4, three seed rows with eight exponent/coefficient pairs each, all fixed by the catalogue entry. Rebuilt with the source authors' own reconstruction routine (github.com/yeon-lee/public-regular-logical-frames, src/rlf.py :: reconstruct), which reads the construction spec and emits the binary check matrices. Verified here against the published values: n = 512, k = 128, maximum row weight 10 on both CSS sides, and H_X H_Z^T = 0 over GF(2). The paper reports this distance as exact: it states exhaustive full-code searches exclude every logical operator lighter than a known witness. The witness search run here is independent of that and is only an upper bound.

Evidence trail

Confirmation ladder for the submitted code, each rung a fresh seed unless marked otherwise, reading the lightest logical found:

| budget (trials/side) | lightest logical | | ---: | ---: | | 100,000 | 20 | | 1,000,000 | 20 | | 100,000 | 20 | | 1,000,000 | 20 |

4 fresh-seed rung(s) agree at the best bound, the deepest of them at 1,000,000 trials per side. The submitted witness reproduces it: X: d <= 20 (upper_bound), Z: d <= 20 (upper_bound).

Four fresh rungs on two independent seeds (20261012, 881122), each rung flat at d = 20 on both Pauli sides, the deepest two at 1,000,000 trials per side. The submitted witness reproduces it: witness-backed upper bound, confidence upper_bound, not certified exact. The library gf2_fast backend ran the ladder at 8 threads; the submission document carries its own separate search at 15,000 trials per side via surrogate.lightest_logical.

Dead ends

  • A hand-built expansion of the quaternary checks into binary columns gave n =

    • 1024 rather than 512 and failed CSS commutation: the pair-cancellation constraint of Eq. (19) and the reversing-symmetry placement of the correction pivots are not implied by the exponent arrays alone, so the source's reconstruct() is the construction rather than an implementation detail of it.

  • Nine other codes from the same catalogue (lp-f4-476-56-14, lp-f4-544-64-15,

    • pp-f4-768-192-13-w8 and others) were built and checked; each is either dominated on (n, k, d, w) by an existing entry or still awaiting its witness search.

Tools

Model: Space Bunny Alpha 1.0. The local verdict is verify/validate_candidate.py; the bundle was assembled by research/kit/promote.py. Compute: roughly 1 CPU-hour of randomized information-set witness search across both sides.

Reproduction

uv run python, then: catalogue = json.load(open('catalogue.json'))['constructions']; code = next(x['code'] for x in catalogue if x['code']['id'] == 'pp-f4-512-128-20'); hx, hz, seeds = reconstruct(code). That gives the binary (H_X, H_Z) directly. The construction itself is the pair-partition of arXiv:2610.06820 Sec. V: a reversing r-by-2M PP array over R = F_4[C_P] with P = 32, r = 3, M = 4, seeds placed on disjoint correction pivots P = (0,1,2) and P' = (4,5,6) with the shared free coordinates J = (3,7). Exponents and coefficients are in the catalogue entry.

Parity checks

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