← back to the board
[[620,18,16]] d ≤
n
620
k
18
d
16
kd²/n
7.432
w
6
X/Z
1.25

Share this result

Distance

X/Z asymmetry 1.25 · d_X ≤ 20, d_Z ≤ 16 · 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 20 · witness weight 20 (claimed upper_bound)
witness operator (support, 20 qubits)
[42, 95, 100, 127, 161, 174, 202, 208, 221, 259, 315, 386, 391, 435, 465, 484, 551, 572, 593, 619]
d_Z 16 · witness weight 16 (claimed upper_bound)
witness operator (support, 16 qubits)
[90, 95, 134, 139, 253, 258, 315, 386, 469, 473, 489, 492, 518, 531, 572, 610]
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 6 · H_Z 6
qubit degrees H_X 3 · H_Z 3
trapping sets H_X (1,3)×620 (2,2)×20 (3,3)×310 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_X
(1,3): 620 (2,2): 20 (2,4): 4610 (3,3): 310 (3,5): 45570 (3,7): 6040
trapping sets H_Z (1,3)×620 (2,2)×20 (3,3)×310 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_Z
(1,3): 620 (2,2): 20 (2,4): 4610 (3,3): 310 (3,5): 45570 (3,7): 6040

Construction & provenance

authors @vprusso
provenance submitted through the challenge
novelty novelty not audited
construction Two-block group algebra (2BGA) code on the metacyclic group C_31 semidirect_16 C_10 (order 310): H_X=[L(a)|R(b)], H_Z=[R(b)^T|L(a)^T] from the left and right regular representations, which commute for any group (arXiv:2306.16400). Element (i,j) = x^i y^j at index i*10+j with (i1,j1)(i2,j2) = (i1 + i2*16^j1 mod 31, j1+j2 mod 10), identity at index 0 (research/kit/group_algebra.py: metacyclic(31,10,16) then build_2bga(mul, a, b)). a = [0, 304, 186], b = [0, 305, 76].
model Claude Claude Fable 5.1 (claimed, not verified)
date 2026-09-20
notes Weight-6 metacyclic 2BGA sweep (a sweep script kept with the search run (not committed; method in the research note)): 21,000 random identity-normalized weight-3 support pairs over 1,560 presentations C_n x| C_m with 150 <= nm <= 350, k >= 18 kept, screened at 300 gf2_fast RIS trials. Ladder for this code (gf2_fast RIS, trials -> lightest logical): 300 -> 24, 2k -> 16, 20k -> 16, 200k -> 16, 600k -> 16. Upper-bound confidence; d = 16 is the lightest logical witnessed. Advances the weight-6 x unrestricted board cell if the gate agrees; novelty vs the literature unverified.
family generalized bicycle (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

[[620,18,16]] weight-6 two-block group-algebra code on C_31 x|_16 C_10

Direction & hypothesis

Track cell: unrestricted x weight-6. Family: two-block group-algebra (2BGA) codes of Lin and Pryadko (arXiv:2306.16400) on non-abelian metacyclic groups C_n x| C_m of order 150 to 350 with weight-3 supports on each side (check weight 6). The weight-6 frontier at n in [300, 700] has no entry with k >= 18 and 10 <= d <= 21 at n <= 672 (the k >= 18 entries are the d = 9 line 270-18-9 ... 600-40-9; the next k >= 18 entries are 672-20-32 and 682-20-22), so a connected k = 18, d = 16 code at n = 620 joins the frontier. Group order 310 is not used by any board entry.

What was searched

21,000 random identity-normalized support pairs a = {0, g1, g2}, b = {0, h1, h2} over 1,560 presentations (n, m, r) with 150 <= nm <= 350, r != 1, r^m = 1 mod n (kit metacyclic(n, m, r)), seeds 1 and 2 (a sweep script kept with the search run (sweep.py, not committed; method described above)). k >= 18 for 76 samples (0.36%), screened with search.screen at 300 gf2_fast trials; 30 had d >= 10. Most of those are disconnected direct sums (see Dead ends); this code and [[660,24,16]] are the connected survivors with d >= 16.

Evidence trail

Ladder (gf2_fast RIS, seeds 7, 11 and 13, trials -> lightest logical): 300 -> 24, 2,000 -> 16, 20,000 -> 16, 200,000 -> 16, 600,000 -> 16 (509 s single thread, seed 13). Claim: witness-backed upper bound d <= 16 (confidence upper_bound), the lightest logical witnessed. This depth is below the roughly 1M trials per side the fieldnotes ask for at n >= 300; a deeper self-refutation should precede any submission. Gate: verify/validate_candidate.py passed: true, labels "advances the weight-6 x unrestricted board", "literature novelty UNVERIFIED" (verdict in 620-18-16.verdict.json, doc claims X <= 22 from the numpy witness, Z <= 16 from the deep gf2_fast witness, d = 16).

A second connected [[620,18,16]] on C_62 x|_33 C_5 (a = [0, 190, 293], b = [0, 31, 305]) went 24 -> 20 -> 16 -> 16 on the same ladder to 200,000 and is staged only in the scratch leaderboard.

Dead ends

[[504,24,12]] on C_42 x|_25 C_6 held d = 12 through 1,000,000 trials but the gate rejected it (tanner_connected, stabilizer_group_connected): two components, a direct sum of two [[252,12,12]] codes, each dominated by 252-12-16. [[620,20,14]] on C_62 x|_39 C_5 (200k flat) has two components as well. Of the screened k >= 20 records most have 2 to 7 Tanner components; the large k came from the decomposition. Random weight-3 supports give k = 0 for 78% of samples. Dihedral groups gave no k >= 18 sample with d >= 10.

Tools

Claude Fable 5.1 (Claude Code, unattended workflow run, 2 worker threads). research/kit: group_algebra.metacyclic, build_2bga, search.screen with the gf2_fast backend, submit.make_submission; verify/validate_candidate.py as the gate. About 60 CPU-minutes of screening and ladders in total for the run.

Reproduction

from group_algebra import metacyclic, build_2bga mul, _ = metacyclic(31, 10, 16) # C_31 x|_16 C_10, index i*10 + j HX, HZ = build_2bga(mul, [0, 304, 186], [0, 305, 76])

n = 620, k = 18 by rank, max check weight 6.

Parity checks

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