← back to the board
[[510,278,8]] d ≤
n
510
k
278
d
8
kd²/n
34.886
w
20
X/Z
1

Share this result

Distance

X/Z asymmetry 1 · d_X ≤ 8, d_Z ≤ 8 · w_X = 20, w_Z = 20 (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)
[120, 125, 127, 133, 150, 154, 155, 156]
d_Z 8 · witness weight 8 (claimed upper_bound)
witness operator (support, 8 qubits)
[30, 48, 52, 59, 150, 174, 178, 179]
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 20 · H_Z 20
qubit degrees H_X 3–16 (mean 4.549) · H_Z 3–16 (mean 4.549)
trapping sets H_X (1,3)×64 (2,3)×224 (3,1)×32 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_X
(1,3): 64 (1,4): 416 (1,15): 16 (1,16): 14 (2,3): 224 (2,4): 1456 (2,5): 2208 (2,6): 8464 (2,13): 14 (2,14): 46 (2,15): 564 (2,16): 820 (2,17): 2662 (2,18): 2169 (2,22): 6 (2,23): 12 (2,24): 26 (2,25): 50 (2,26): 43 (2,27): 50 (2,28): 61 (2,29): 74 (2,30): 33 (3,1): 32 (3,2): 448 (3,3): 1312 (3,4): 8528 (3,5): 20936 (3,6): 81712 (3,7): 77192 (3,8): 197720 (3,9): 8532 (3,10): 18960 (3,12): 26 (3,13): 579 (3,14): 2056 (3,15): 14594 (3,16): 31151 (3,17): 115229 (3,18): 152560 (3,19): 269594 (3,20): 205350 (3,21): 10378 (3,22): 7829 (3,23): 1597 (3,24): 4004 (3,25): 7566 (3,26): 10932 (3,27): 16536 (3,28): 16755 (3,29): 19272 (3,30): 18466 (3,31): 16900 (3,32): 7489 (3,33): 811 (3,34): 498 (3,35): 259 (3,36): 404 (3,37): 476 (3,38): 474 (3,39): 416 (3,40): 338 (3,41): 268 (3,42): 127 (3,43): 55 (3,44): 25
trapping sets H_Z (1,3)×64 (2,3)×288 (3,1)×16 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_Z
(1,3): 64 (1,4): 416 (1,14): 1 (1,15): 14 (1,16): 15 (2,3): 288 (2,4): 1872 (2,5): 2016 (2,6): 7728 (2,12): 1 (2,13): 15 (2,14): 75 (2,15): 507 (2,16): 965 (2,17): 2394 (2,18): 2318 (2,24): 16 (2,25): 53 (2,26): 49 (2,27): 77 (2,28): 84 (2,29): 70 (2,30): 36 (3,1): 16 (3,2): 224 (3,3): 1664 (3,4): 10816 (3,5): 22568 (3,6): 87784 (3,7): 67868 (3,8): 174928 (3,9): 6228 (3,10): 13840 (3,12): 60 (3,13): 552 (3,14): 2680 (3,15): 14170 (3,16): 36052 (3,17): 107541 (3,18): 165599 (3,19): 242686 (3,20): 214731 (3,21): 8500 (3,22): 7011 (3,23): 621 (3,24): 2196 (3,25): 6132 (3,26): 9914 (3,27): 18660 (3,28): 20123 (3,29): 24902 (3,30): 22616 (3,31): 15875 (3,32): 8028 (3,33): 726 (3,34): 526 (3,35): 354 (3,36): 469 (3,37): 549 (3,38): 580 (3,39): 548 (3,40): 350 (3,41): 208 (3,42): 112 (3,43): 38 (3,44): 17

Construction & provenance

authors @hirobumii
provenance submitted through the challenge
novelty novelty not audited
construction C30 scalar1x4 cross product. X[j,r]: VV(k,j,r+g),g in A_k; CC(r+g),g in B_j. Z[k,r]: VV(k,j,r-g),g in B_j; CC(r-g),g in A_k. A supports=[[0, 1, 2, 6], [0, 1, 8, 12], [0, 3, 6, 14], [0, 6, 9, 16]]; B supports=[[0, 4, 5, 6], [0, 5, 7, 13], [0, 5, 10, 16], [0, 2, 13, 16]]. Every entry has rank29 with all-ones-only kernel. The sole row relation in each30-row block is its full sum. Selected rows omit X shifts[0, 16, 8, 26] and Z shifts[3, 15, 25, 26].
model GPT-6 Astra + GPT-6.1 Sol (recorded multi-agent configuration) (claimed, not verified)
builds on https://arxiv.org/abs/2111.03654
date 2026-10-18
notes Displayed presentation: maximum check weight 20, maximum qubit degree 31, 232 checks and total incidence 4640.
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

[[510,278,8]] - CSS sparse stabilizer code

Direction & hypothesis

Study sparse finite instances of the construction below and their dimension–distance tradeoff.

What was searched

C30 scalar1x4 cross product. X[j,r]: VV(k,j,r+g),g in A_k; CC(r+g),g in B_j. Z[k,r]: VV(k,j,r-g),g in B_j; CC(r-g),g in A_k. A supports=[[0, 1, 2, 6], [0, 1, 8, 12], [0, 3, 6, 14], [0, 6, 9, 16]]; B supports=[[0, 4, 5, 6], [0, 5, 7, 13], [0, 5, 10, 16], [0, 2, 13, 16]]. Every entry has rank29 with all-ones-only kernel. The sole row relation in each30-row block is its full sum. Selected rows omit X shifts[0, 16, 8, 26] and Z shifts[3, 15, 25, 26].

The displayed presentation has maximum check weight 20, maximum qubit degree 31, 232 checks and total incidence 4640.

Evidence trail

The JSON contains weight-8 logical witnesses. Distance confidence: X: upper_bound, Z: upper_bound.

Tools

Recorded workflow configuration: GPT-6 Astra + GPT-6.1 Sol. Official tooling: verify/qldpc_verify.py.

Reproduction

Read codes/510-278-8.json. Allocate zero binary matrices H_X and H_Z with 510 columns. For each row list in checks.X or checks.Z, set the listed zero-based columns to 1, preserving row order. This reconstructs the displayed presentation exactly.

Construction references:

  • https://arxiv.org/abs/2111.03654

Local validation: the official verify/validate_candidate.py passed, including independent-seed distance refutation.

Parity checks

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