← back to the board
[[540,274,8]] d =
n
540
k
274
d
8
kd²/n
32.4741
w
12
X/Z
1

Share this result

Distance

X/Z asymmetry 1 · d_X = 8, d_Z = 8 · w_X = 12, w_Z = 12 (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)
[9, 91, 103, 347, 361, 452, 453, 498]
d_Z 8 · witness weight 8 (claimed upper_bound)
witness operator (support, 8 qubits)
[27, 160, 206, 242, 248, 379, 513, 518]
certificate exact, d = 8 · tropidist b03ec2d4077f (arXiv:2611.08247) exhaustive search · level solver: a solver verdict, no artifact a third party can check without re-running the encoding
X: no logical < 8 exists; Z: no logical < 8 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 12 · H_Z 12
qubit degrees H_X 3 · H_Z 3
trapping sets H_X (1,3)×540 (2,2)×30 (3,3)×2265 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_X
(1,3): 540 (2,2): 30 (2,4): 8850 (3,3): 2265 (3,5): 189225 (3,7): 29100
trapping sets H_Z (1,3)×540 (2,2)×30 (3,3)×2265 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_Z
(1,3): 540 (2,2): 30 (2,4): 8850 (3,3): 2265 (3,5): 189225 (3,7): 29100

Construction & provenance

authors @MathysRennela
provenance submitted through the challenge
novelty novelty not audited
construction Cornucopia code q=15 (arXiv:2610.19073v2) with column shifts sA=[14,8,7,11,8,9], sB=[13,5,6,6,9,0] found by a 200-tuple random shift search.
model Beam 1.0 (claimed, not verified)
date 2026-10-21
notes Distinct code filed as codes/540-274-8-b.json: WL-signature match to 540-274-8.json but a different parity-check fingerprint (different column-shift tuple of the same Cornucopia construction), so both are separate entries on the Pareto frontier.
family other (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

[[540,274,8]] — Cornucopia q=15 with searched column shifts

Direction & hypothesis

Target cell: weight-9plus × unrestricted on the CSS board (weight-12 checks, no layout), family other. The Cornucopia construction (Lu, Li, Ma et al., "A modular quantum computer based on Cornucopia codes", arXiv:2610.19073v2) fixes only the row maps; its twelve column shifts are free parameters. The hypothesis: at this admissible q (n = 36q ≤ 700) an unexplored shift tuple would produce a code that is not dominated by the Cornucopia instance of the same (n, k) already on the board.

What was searched

200-tuple random column-shift tuples at q=15 (sA, sB ∈ Z_15^6 each), every code screened with the gf2_fast randomized logical search at 500 trials, seeds from the sweep's own RNG stream. The best tuple, sA=[14, 8, 7, 11, 8, 9], sB=[13, 5, 6, 6, 9, 0], was then confirmed at 10,000 accelerator trials plus a 1,000-trial-per-side RIS pass.

Evidence trail

Ladder for the submitted code: 500-trial screen → d<=8; 10,000-trial accelerator pass → d<=8 (witnesses embedded in the entry); the gate's own refutation on a fresh seed found nothing lighter. The claim is a witness-backed upper bound, not an exact distance.

Dead ends

The same sweep at q=13 produced nothing above d ≤ 6 while the board already holds q=13 at d=8, so q=13 was dropped. Within this sweep, tuples screened at 500 trials routinely collapsed to d ≤ 4 at smaller q; none of the confirmed readings moved below the submitted bound.

Tools

Model: Beam 1.0. Repo tooling: research/kit/submit.make_submission, research/kit/surrogate (NumPy + gf2_fast backend), gate research/kit/coordination.py gate. Build matrices per arXiv:2610.19073v2 Methods, Eq. (1).

Reproduction

q=15, row maps ρ_A(0)=r+1, ρ_A(1)=2r+2, ρ_B(2)=r+1, ρ_B(3)=2r+2 (identity otherwise), column shifts sA=[14, 8, 7, 11, 8, 9], sB=[13, 5, 6, 6, 9, 0] on Z_15. Index data qubit (b,r,c) as (3b+r)q+c; HX block (i,j) = [A_(j-i) | B_(j-i)], HZ block (i,j) = [B_(i-j)^-1 | A_(i-j)^-1] for i∈{0,1,2}, j∈{0..5}.

Parity checks

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