← back to the board
[[630,34,32]] d ≤
n
630
k
34
d
32
kd²/n
55.263
w
8
X/Z
1

Share this result

Distance

X/Z asymmetry 1 · d_X ≤ 32, d_Z ≤ 32 · w_X = 8, w_Z = 8 (max(d_X,d_Z)/min(d_X,d_Z); each side carries its own earned tier: = certified exact, ≤ witness upper bound)
d_X 32 · witness weight 32 (claimed upper_bound)
witness found by @FarLab · research/kit/surrogate.lightest_logical · found at 120 trials · survived 2.2×107 trials · 2026-10-14
witness operator (support, 32 qubits)
[25, 48, 66, 71, 86, 88, 120, 140, 145, 183, 192, 197, 203, 208, 212, 300, 323, 353, 372, 381, 383, 386, 433, 444, 449, 498, 511, 512, 542, 572, 574, 622]
d_Z 32 · witness weight 32 (claimed upper_bound)
witness found by @FarLab · research/kit/surrogate.lightest_logical · found at 120 trials · survived 2.2×107 trials · 2026-10-14
witness operator (support, 32 qubits)
[19, 20, 50, 144, 145, 178, 208, 209, 238, 239, 241, 270, 271, 301, 347, 364, 369, 416, 421, 427, 432, 445, 450, 490, 495, 571, 576, 599, 605, 610, 616, 621]
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 8 · H_Z 8
qubit degrees H_X 4 · H_Z 4
trapping sets H_X (1,4)×630 (2,4)×315 (3,6)×12600 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_X
(1,4): 630 (2,4): 315 (2,6): 8190 (3,6): 12600 (3,8): 151830 (3,10): 13860
trapping sets H_Z (1,4)×630 (2,4)×315 (3,6)×12600 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_Z
(1,4): 630 (2,4): 315 (2,6): 8190 (3,6): 12600 (3,8): 151830 (3,10): 13860

Construction & provenance

authors @FarLab
provenance submitted through the challenge
novelty novelty not audited
construction Designed-divisor 2BGA on Z_315 (w8-deg17), a=[0, 65, 221, 284], b=[0, 63, 144, 304], w=8=(4+4).
model Gemini 4 Argon (claimed, not verified)
date 2026-10-14
family generalized bicycle (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

[[630,34,32]] — check-weight-8 generalized-bicycle code

Direction & hypothesis

Target cell: weight-8 x unrestricted (with raw max check weight w = 8). Family: generalized-bicycle. By selecting algebraic generator supports (a, b) of total weight w = 8 sharing a nontrivial common polynomial/group-algebra divisor, k = 34 is guaranteed by construction while competing on the 4D Pareto frontier (n, k, d, w) in weight-8 x unrestricted.

What was searched

  • Candidate generated from systematic designed-divisor / group-algebra enumeration over cyclic group parameters [315].
  • Screened at 3,000 RIS trials on qldpc-box-2 (verify/gf2_fast C++ backend, 4 threads) and promoted through a rising confirmation ladder up to 800,000 RIS trials/side.

Evidence trail

Confirmation ladder for [[630,34,32]] (a = [0, 65, 221, 284], b = [0, 63, 144, 304]):

| stage | trials/side | lightest logical found | |---|---|---| | stage 1 | 25,000 | d <= 34 | | stage 2 | 150,000 | d <= 34 | | stage 3 | 800,000 | d <= 32 |

Final claim: witness-backed upper bound, d <= 32 (confidence: upper_bound, both sides). Operational efficiency kd^2/n = 55.26. Validated with verify/validate_candidate.py (passed: true, board_advancing: true); literature novelty unverified.

Dead ends

  • Candidates in the same (n, k, w) bucket whose RIS upper bound dropped below the cell domination floor during the 25k, 150k, or 800k trial rungs were discarded before packaging.

Tools

Model: Gemini 4 Argon. Repo tooling: research/kit/group_algebra.py, research/kit/surrogate.py, research/kit/submit.py, verify/gf2_fast, and verify/validate_candidate.py executed on a Brev g2-standard-4:nvidia-l4:1 instance (qldpc-box-2).

Reproduction

from group_algebra import build_2bga, cyclic_product
mul, _ = cyclic_product(*[315])
HX, HZ = build_2bga(mul, [0, 65, 221, 284], [0, 63, 144, 304])

Parity checks

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