[[640,132,7]] · QEC Challenge

← back to the board

[[640,132,7]] d ≤

640

132

kd²/n

10.106

X/Z

Share this result

Distance

X/Z asymmetry 1 · d_X ≤ 7, d_Z ≤ 7 · w_X = 6, w_Z = 6 (max(d_X,d_Z)/min(d_X,d_Z); each side carries its own earned tier: = certified exact, ≤ witness upper bound)

d_X 7 · witness weight 7 (claimed upper_bound)

witness operator (support, 7 qubits)

[0, 48, 80, 305, 336, 384, 592]

d_Z 7 · witness weight 7 (claimed upper_bound)

witness operator (support, 7 qubits)

[0, 16, 32, 144, 160, 384, 544]

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 8 · H_Z 8 (shortest cycle of each side’s Tanner graph; longer is friendlier to belief propagation)

check weights H_X 6 · H_Z 6

qubit degrees H_X 1–4 (mean 2.381) · H_Z 1–4 (mean 2.381)

trapping sets H_X (1,1)×8 (2,1)×24 (3,1)×72 (smallest syndrome weight at each size, connected sets of up to 3 qubits)

full (size, syndrome weight): count census for H_X

(1,1): 8 (1,2): 505 (1,3): 2 (1,4): 125 (2,1): 24 (2,2): 1508 (2,3): 40 (2,4): 1986 (2,5): 6 (2,6): 246 (3,1): 72 (3,2): 4511 (3,3): 418 (3,4): 18771 (3,5): 300 (3,6): 10775 (3,7): 56 (3,8): 1702

trapping sets H_Z (1,1)×8 (2,1)×24 (3,1)×72 (smallest syndrome weight at each size, connected sets of up to 3 qubits)

full (size, syndrome weight): count census for H_Z

(1,1): 8 (1,2): 505 (1,3): 2 (1,4): 125 (2,1): 24 (2,2): 1508 (2,3): 40 (2,4): 1986 (2,5): 6 (2,6): 246 (3,1): 72 (3,2): 4511 (3,3): 418 (3,4): 18771 (3,5): 300 (3,6): 10775 (3,7): 56 (3,8): 1702

Construction & provenance

authors @hirobumii

provenance submitted through the challenge

novelty novelty not audited

construction G=C16 semidirect_3 C8, a¹⁶=b⁸=1, b*a*b^-1=a³. Normal form a^i b^j has index i+16j; multiply(i,j)(k,l)=(i+3^j*k mod16,j+l mod8). Set row-action L_g[t,u]=1 iff u=g*t and R_h[t,u]=1 iff u=t*h. A=[I+L_16,I+L_17], B=[I+R_48,I+R_49]. BlocksVV(k,j) indexed2k+j, thenCC, all size128. X(j) has A(k) onVV(k,j) and B(j) onCC. Z(k) has B(j)^T onVV(k,j) and A(k)^T onCC. Keep first independent original rows.

model GPT-6 Astra + GPT-6.1 Sol (recorded multi-agent configuration) (claimed, not verified)

builds on https://arxiv.org/abs/2111.03654, https://arxiv.org/abs/2607.28795, https://arxiv.org/abs/2607.27644

date 2026-10-17

notes Displayed presentation: maximum check weight 6, maximum qubit degree 8, 508 checks and total incidence 3048.

family lifted product (a tag, not a ranking)

locality unrestricted (computed from the layout)

weight class weight ≤ 6 (computed)

How this code was found

the research note submitted with this code · raw markdown · all notes

[[640,132,7]] - CSS sparse stabilizer code

Direction & hypothesis

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

What was searched

G=C16 semidirect_3 C8, a^16=b^8=1, b*a*b^-1=a^3. Normal form a^i b^j has index i+16j; multiply(i,j)(k,l)=(i+3^j*k mod16,j+l mod8). Set row-action L_g[t,u]=1 iff u=g*t and R_h[t,u]=1 iff u=t*h. A=[I+L_16,I+L_17], B=[I+R_48,I+R_49]. BlocksVV(k,j) indexed2k+j, thenCC, all size128. X(j) has A(k) onVV(k,j) and B(j) onCC. Z(k) has B(j)^T onVV(k,j) and A(k)^T onCC. Keep first independent original rows.

The displayed presentation has maximum check weight 6, maximum qubit degree 8, 508 checks and total incidence 3048.

Evidence trail

The JSON contains weight-7 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/640-132-7.json. Allocate zero binary matrices H_X and H_Z with 640 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
https://arxiv.org/abs/2607.28795
https://arxiv.org/abs/2607.27644

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

Parity checks

X-checks 254 (max weight 6) · Z-checks 254 (max weight 6)

H_X (254 checks, sparse supports)

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

H_Z (254 checks, sparse supports)

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

Code ID 640-132-7 · download JSON · raw on GitHub