← back to the board
[[518,228,16]] d ≤
n
518
k
228
d
16
kd²/n
112.68
w
14
X/Z
1

Share this result

Distance

X/Z asymmetry 1 · d_X ≤ 16, d_Z ≤ 16 · w_X = 14, w_Z = 14 (max(d_X,d_Z)/min(d_X,d_Z); each side carries its own earned tier: = certified exact, ≤ witness upper bound)
d_X 16 · witness weight 16 (claimed upper_bound)
witness operator (support, 16 qubits)
[56, 64, 78, 112, 140, 142, 143, 232, 360, 409, 429, 432, 436, 447, 471, 503]
d_Z 16 · witness weight 16 (claimed upper_bound)
witness operator (support, 16 qubits)
[68, 98, 106, 107, 162, 171, 195, 231, 240, 244, 351, 389, 454, 459, 500, 511]
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 6 · H_Z 6 (shortest cycle of each side’s Tanner graph; longer is friendlier to belief propagation)
check weights H_X 14 · H_Z 14
qubit degrees H_X 4 · H_Z 4
trapping sets H_X (1,4)×518 (2,6)×13468 (3,6)×9176 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_X
(1,4): 518 (2,6): 13468 (3,6): 9176 (3,8): 497724 (3,10): 53872
trapping sets H_Z (1,4)×518 (2,6)×13468 (3,6)×9176 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_Z
(1,4): 518 (2,6): 13468 (3,6): 9176 (3,8): 497724 (3,10): 53872

Construction & provenance

authors @willzeng and Okada, Koki and Kasai, Kenta
provenance submitted through the challenge
novelty known parameter set; see provenance notes
construction Pair-partition CPM-based CSS (Okada-Kasai arXiv:2607.14091; Table I and Sec. VI B of Lee-Okada-Maskara-Kasai-Zhou arXiv:2609.30069): J=4 column weight, L=14 row weight, prime lift P=37, girth 6, n=LP=518, 4P=148 checks per side. H_X=(C(e_jl)), H_Z=(C(d_jl)) with C(s) the PxP circulant permutation matrix (row a -> column (a-s) mod P) and paired-difference CSS orthogonality; qubit index = 14*a + t. Reconstructed from github.com/kasaikenta/pair-partition-cpm-css-codes @ 9c2a6f2, data/reconstructed_instances/qc_518_228_16/reconstructed_exponents.json.
model human (claimed, not verified)
builds on arXiv:2609.30069, arXiv:2607.14091
date 2026-09-25
notes Literature reproduction submitted through the challenge (novelty=known_parameters). arXiv:2609.30069 Table I lists [[518,228,16]] with exact d=16 from the authors' complete low-weight exclusion through weight 14 (github.com/kasaikenta/pair-partition-cpm-css-codes @ 9c2a6f2, data/distance_records/qc_518_228_16/distance_summary.json); recorded here as a witness-backed upper bound from this repo's own 20000+2M-trial RIS search until server certification. Checked, not equivalent to any existing entry (validate_candidate dedup: no exact or WL-equivalent match).
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

[[518,228,16]] — pair-partition CPM CSS code (Lee-Okada-Maskara-Kasai-Zhou arXiv:2609.30069)

Author: @willzeng Date: 2026-09-25 Status: Literature baseline — witness-backed upper bound here; exact per the authors' certificate

Direction & hypothesis

Target: the unrestricted / any-weight cell, high-rate end. arXiv:2609.30069 ("Design Principles for Ultra-High-Rate Quantum Codes") lists this code in its Table I of representative CPM pair-partition (CPM-PP) codes and uses it in Sec. VI B as the heavier-check, higher-distance side of its distance-versus- check-weight comparison against [[530,216,12]]. The board already seeds the other admissible CPM-PP instances of that table ([[372,130,16]], [[574,252,18]], [[276,98,14]], [[530,216,12]]); this one was the gap between [[372,130,16]] and [[574,252,18]] at rate 0.44.

What was searched

No search: this is a reproduction. The paper's headline codes ([[90,21,11]], [[140,31,15]], [[200,43,20]]) are non-CSS symplectic-halved codes and cannot be expressed in this board's CSS-only schema; of the paper's CSS instances, the eight with published matrices under n <= 700 were reconstructed and run through the verifier, and this was the only one not already on the board.

Evidence trail

  • Reconstruction: exponent arrays from github.com/kasaikenta/pair-partition-cpm-css-codes

    • @ 9c2a6f2, data/reconstructed_instances/qc_518_228_16/reconstructed_exponents.json, expanded with that repo's scripts/construct_pair_partition_cpm_css_codes.py (qubit index = L*a + t for lift coordinate a and block column t).

  • Verifier: CSS orthogonality PASS; rank H_X = rank H_Z = 145, k = 518 - 290 = 228;

    • max check weight 14, column weight 4 on both sides; class weight-9plus x unrestricted.

  • Witnesses: ./qldpc submit search, 20000 Python RIS trials per side then a

    • 2,000,000-trial gf2_fast pass: lightest logical 16 on both sides, so the claim is d <= 16 (both witnesses embedded and verifier-checked).

  • Refutation: 8000-trial RIS gate, no lighter logical (two independent seeds).
  • The authors' data/distance_records/qc_518_228_16/distance_summary.json

    • records a complete exclusion of nonboundary kernel vectors through weight 14, i.e. d = 16 exactly; that certificate is not re-run here, so the entry stays upper_bound until server certification.

  • Board gate (verify/validate_candidate.py): passed; not a duplicate of any

    • entry; labelled board-advancing for weight-9plus x unrestricted with nothing dominating it. kd^2/n = 112.68.

Dead ends

The authors' published distance_witnesses.json supports for this instance (and for qc_372_130_16) did not validate under the catalogue's Hx_rows.json qubit order, as-is, slot-major re-indexed, or with X/Z roles swapped; the witnesses here come from the repo's own search instead.

Tools

Human-curated literature seed prepared with Claude Code (Fable 5.1 session); repo tooling only: cli/qldpc.py submit, verify/qldpc_verify.py, verify/validate_candidate.py, verify/heuristic_distance.py with gf2_fast (make fast). About 40 CPU-minutes for the witness search.

Reproduction

Clone github.com/kasaikenta/pair-partition-cpm-css-codes @ 9c2a6f2, run python3 scripts/construct_pair_partition_cpm_css_codes.py, and build dense H_X, H_Z from output/constructed_instances/qc_518_228_16/Hx_rows.json and Hz_rows.json (each row is the sorted qubit support of one check). Parameters: (J, L, P) = (4, 14, 37), girth 6, n = LP = 518, checks per side 4P = 148.

Parity checks

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