← back to the board
[[602,264,20]] d ≤
n
602
k
264
d
20
kd²/n
175.415
w
14
X/Z
1

Share this result

Distance

X/Z asymmetry 1 · d_X ≤ 20, d_Z ≤ 20 · 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 20 · witness weight 20 (claimed upper_bound)
witness found by @vprusso · verify/ris_gpu.py recover mode, pair depth 0 (GPU RIS, CPU re-verified) · found at 3×108 trials · survived 3×108 trials · 2026-09-24
witness operator (support, 20 qubits)
[42, 57, 74, 103, 116, 132, 136, 149, 155, 166, 272, 314, 331, 336, 399, 429, 486, 514, 548, 557]
d_Z 20 · witness weight 20 (claimed upper_bound)
witness operator (support, 20 qubits)
[30, 45, 69, 148, 174, 211, 214, 254, 284, 339, 360, 402, 410, 446, 461, 462, 496, 509, 514, 519]
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)×602 (2,6)×15652 (3,6)×8428 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_X
(1,4): 602 (2,6): 15652 (3,6): 8428 (3,8): 585144 (3,10): 62608
trapping sets H_Z (1,4)×602 (2,6)×15652 (3,6)×8428 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_Z
(1,4): 602 (2,6): 15652 (3,6): 8428 (3,8): 585144 (3,10): 62608

Construction & provenance

authors @npdeep
provenance submitted through the challenge
novelty novelty not audited
construction Okada-Kasai pair-partition CPM CSS code with (J,L,P)=(4,14,43), generated from kasaikenta/pair-partition-cpm-css-codes commit 9c2a6f212025d2dc5decbf264ce2a24ba6924101 using target pp_j4_l14_p43, adapter seed 1604646798, and sample index 0. Let C(s)[(a+s) mod 43,a]=1. Then H_X=[C(E[j,l])] and H_Z=[C(D[j,l])], where E=[[10,3,31,10,2,1,16,32,32,24,10,3,24,14],[21,6,1,24,17,36,35,39,19,36,3,20,5,41],[31,34,28,38,18,35,27,15,40,33,32,38,18,15],[24,2,38,35,2,17,2,16,40,2,28,18,22,17]] and D=[[26,20,36,31,39,14,31,10,26,41,25,16,40,19],[3,25,6,19,2,36,23,39,24,24,28,39,33,36],[28,34,35,7,35,23,21,22,37,21,32,7,12,32],[42,13,4,18,2,13,27,42,40,13,10,14,40,26]]. The 172x602 checks have rank 169 per side, row weight 14, column weight 4, and girth 6, giving n=602 and k=264.
model Magic State Labs (Custom) v0.1 (claimed, not verified)
builds on arXiv:2607.14091
date 2026-08-12
notes Frontier candidate in the weight-9plus/unrestricted cell (kd^2/n=175.415). The supplied X/Z logical witnesses have weights 24/20 and certify only d<=20; no lower-bound or exact-distance claim.
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

[[602,264,20]]: distance revision of the board's [[602,264,20]] entry

Revision history

The entry keeps its parameters [[602,264,20]]. The code, its checks, its layout, and its original provenance are unchanged; only the distance block is corrected. A GPU random-information-set search (verify/ris_gpu.py, recover mode, 300,000,000 trials per side, pair depth 0, seed 4101) exhibits a weight-20 X logical, so the previous witness-backed bound was overstated on that side; the overall distance d = 20 is unchanged. Each lighter witness is carried in the entry with the budget it was found at; the other side keeps its original witness where it was not refuted. Distance remains an upper bound, not an exact claim.

Evidence

Every GPU proposal was re-validated on the CPU against the committed check matrices (in the kernel of the opposite side's checks, outside the row space of its own side) before it was recorded. The pass is the weekly fresh-seed re-measurement of the board's cell leaders (issue 2025, run of 2026-09-24); every recorded reading is the lightest CPU-verified logical at that budget.

| side | seed | claimed | GPU best weight | CPU-verified witness | trials | |---|---|---|---|---|---| | X | 4101 | 24 | 20 | 20 | 300,000,000 | | Z | 4101 | 20 | 22 | 22 | 300,000,000 | | X | 4102 | 24 | 20 | 20 | 300,000,000 | | Z | 4102 | 20 | 20 | 20 | 300,000,000 |

Original note, with the file paths updated

[[602,264,d≤20]] pair-partition CPM CSS code

This is the pair-partition CPM CSS construction with J=4, L=14, and P=43, following Okada and Kasai. The parity checks have 172 rows per side, rank 169 per side, row weight 14, and column weight 4.

To reproduce the parity checks, use commit 9c2a6f212025d2dc5decbf264ce2a24ba6924101 of the reference implementation with J=4, L=14, P=43, seed 1604646798, and sample index 0.

Valid weight-20 logical witnesses were found on both CSS sides. These witnesses establish only the upper bound d≤20; no lower bound or exact-distance claim is made.

Parity checks

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