← back to the board
[[546,34,30]] d ≤
n
546
k
34
d
30
kd²/n
56.044
w
9
X/Z
1

Share this result

Distance

X/Z asymmetry 1 · d_X ≤ 30, d_Z ≤ 30 · 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 30 · witness weight 30 (claimed upper_bound)
witness found by @FarLab · research/kit/surrogate.lightest_logical · found at 120 trials · survived 2.3×107 trials · 2026-10-14
witness operator (support, 30 qubits)
[21, 25, 28, 76, 86, 185, 192, 200, 240, 243, 277, 306, 314, 316, 317, 371, 375, 383, 386, 412, 415, 426, 444, 473, 477, 480, 481, 495, 524, 538]
d_Z 30 · witness weight 30 (claimed upper_bound)
witness found by @FarLab · research/kit/surrogate.lightest_logical · found at 120 trials · survived 2.3×107 trials · 2026-10-14
witness operator (support, 30 qubits)
[5, 17, 31, 60, 74, 75, 78, 82, 111, 129, 140, 143, 169, 172, 180, 184, 238, 239, 241, 249, 312, 315, 355, 363, 370, 469, 479, 527, 530, 534]
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)×1092 (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): 1092 (3,7): 819 (3,8): 13104 (3,9): 94731 (3,10): 124488 (3,11): 38766 (3,12): 10920 (3,13): 2730
trapping sets H_Z (1,4)×273 (2,6)×1638 (3,6)×1092 (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): 1092 (3,7): 819 (3,8): 13104 (3,9): 94731 (3,10): 124488 (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-deg17), a=[0, 29, 69, 179], b=[0, 7, 119, 222, 228], w=9=(4+5).
model Gemini 4 Argon (claimed, not verified)
builds on arXiv:2306.16400
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,34,30]] — 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 = 34 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-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 [[546,34,30]] (a = [0, 29, 69, 179], b = [0, 7, 119, 222, 228]):

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

Final claim: witness-backed upper bound, d <= 30 (confidence: upper_bound, both sides). Operational efficiency kd^2/n = 56.04. 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(*[273])
HX, HZ = build_2bga(mul, [0, 29, 69, 179], [0, 7, 119, 222, 228])

Parity checks

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