← back to the board
[[546,28,38]] d ≤
n
546
k
28
d
38
kd²/n
74.051
w
9
X/Z
1

Share this result

Distance

X/Z asymmetry 1 · d_X ≤ 38, d_Z ≤ 38 · w_X = 9, w_Z = 9 (max(d_X,d_Z)/min(d_X,d_Z); each side carries its own earned tier: = certified exact, ≤ witness upper bound)
d_X 38 · witness weight 38 (claimed upper_bound)
witness found by @FarLab · research/kit/surrogate.lightest_logical · found at 80 trials · survived 3.1×107 trials · 2026-10-14
witness operator (support, 38 qubits)
[29, 43, 44, 63, 82, 84, 101, 120, 134, 137, 154, 192, 226, 228, 264, 266, 308, 314, 315, 319, 339, 355, 362, 375, 399, 409, 429, 446, 453, 454, 466, 496, 497, 500, 501, 520, 521, 545]
d_Z 38 · witness weight 38 (claimed upper_bound)
witness found by @FarLab · research/kit/surrogate.lightest_logical · found at 80 trials · survived 3.1×107 trials · 2026-10-14
witness operator (support, 38 qubits)
[1, 25, 26, 45, 46, 49, 50, 80, 92, 93, 100, 117, 137, 147, 171, 184, 191, 207, 227, 231, 232, 238, 280, 282, 318, 320, 354, 392, 409, 412, 426, 445, 462, 464, 483, 502, 503, 517]
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 9 · H_Z 9
qubit degrees H_X 4–5 (mean 4.5) · H_Z 4–5 (mean 4.5)
trapping sets H_X (1,4)×273 (2,6)×1638 (3,6)×1183 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_X
(1,4): 273 (1,5): 273 (2,6): 1638 (2,7): 5460 (2,8): 2730 (3,6): 1183 (3,8): 12285 (3,9): 97188 (3,10): 126126 (3,11): 38766 (3,12): 10920 (3,13): 2730
trapping sets H_Z (1,4)×273 (2,6)×1638 (3,6)×1183 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_Z
(1,4): 273 (1,5): 273 (2,6): 1638 (2,7): 5460 (2,8): 2730 (3,6): 1183 (3,8): 12285 (3,9): 97188 (3,10): 126126 (3,11): 38766 (3,12): 10920 (3,13): 2730

Construction & provenance

authors @FarLab
provenance submitted through the challenge
novelty novelty not audited
construction Designed-divisor 2BGA on Z_273 (w9-deg14), a=[0, 71, 138, 182], b=[0, 146, 163, 184, 271], w=9=(4+5).
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

[[546,28,38]] — check-weight-9 generalized-bicycle code

Direction & hypothesis

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

What was searched

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

Evidence trail

Confirmation ladder for [[546,28,38]] (a = [0, 71, 138, 182], b = [0, 146, 163, 184, 271]):

| stage | trials/side | lightest logical found | |---|---|---| | stage 1 | 25,000 | d <= 71 | | stage 2 | 150,000 | d <= 70 | | stage 3 | 24,000,000 | d <= 38 | | stage 4 | 32,000,000 | d <= 38 |

Final claim: witness-backed upper bound, d <= 38 (confidence: upper_bound, both sides). Operational efficiency kd^2/n = 74.05. 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 600k 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-1).

Reproduction

from group_algebra import build_2bga, cyclic_product
mul, _ = cyclic_product(*[273])
HX, HZ = build_2bga(mul, [0, 71, 138, 182], [0, 146, 163, 184, 271])

Parity checks

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