← back to the board
[[564,194,18]] d ≤
n
564
k
194
d
18
kd²/n
111.447
w
12
X/Z
1.11

Share this result

Distance

X/Z asymmetry 1.11 · d_X ≤ 18, d_Z ≤ 20 · 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 18 · witness weight 18 (claimed upper_bound)
witness operator (support, 18 qubits)
[0, 20, 35, 56, 141, 202, 203, 235, 252, 286, 314, 315, 325, 443, 455, 467, 496, 525]
d_Z 20 · witness weight 20 (claimed upper_bound)
witness operator (support, 20 qubits)
[3, 22, 61, 73, 93, 138, 169, 220, 244, 275, 279, 307, 317, 403, 453, 455, 494, 529, 553, 563]
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 12 · H_Z 12
qubit degrees H_X 4 · H_Z 4
trapping sets H_X (1,4)×564 (2,6)×12408 (3,6)×5640 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_X
(1,4): 564 (2,6): 12408 (3,6): 5640 (3,8): 392544 (3,10): 41360
trapping sets H_Z (1,4)×564 (2,6)×12408 (3,6)×5640 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_Z
(1,4): 564 (2,6): 12408 (3,6): 5640 (3,8): 392544 (3,10): 41360

Construction & provenance

authors Magic State Labs
provenance submitted through the challenge
novelty novelty not audited
construction Pair-partition CPM CSS code (J=4, L=12, P=47; arXiv:2607.14091)
date 2026-08-12
notes Witness-backed upper bound; no 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

[[564,194,18]] pair-partition CPM CSS code

Okada--Kasai pair-partition CPM construction with (J,L,P)=(4,12,47). Let C(s) be the 47 x 47 circulant permutation matrix with C(s)[a+s,a]=1 modulo 47, and expand these exponent arrays blockwise:

E =
19 23  5  9 16  1 10  7 28 25  1 36
 3 26 18 11 32  8 15 45 26 18 25  3
37 30 15 33 24 21  5 29 41 46 41 32
27 16 39 12 17  6  2 23  9 10 22 38

D =
20 31  1  7 30 45 11 15 24 23 15 33
14 32 13 29 35 34 18 40 37 44 43  9
23 21 20 35 16 14 10 22 32 38 27 34
 2 46 20 27  7  8 17 45 46 40 24 19

Set H_X=[C(E[j,l])] and H_Z=[C(D[j,l])]. Both checks have shape 188 x 564, rank 185, and maximum row weight 12; H_X H_Z^T=0 over GF(2), so k=194. The distance is a witness-backed upper bound, not an exact claim.

References: arXiv:2607.14091 and <https://github.com/kasaikenta/pair-partition-cpm-css-codes>.

Parity checks

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