← back to the board
[[792,202,20]] d ≤
n
792
k
202
d
20
kd²/n
102.02
w
8
X/Z
1.1

Share this result

Distance

X/Z asymmetry 1.1 · d_X ≤ 20, d_Z ≤ 22 · 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 20 · witness weight 20 (claimed upper_bound)
witness operator (support, 20 qubits)
[47, 50, 142, 182, 218, 265, 331, 337, 377, 408, 412, 491, 522, 564, 588, 604, 608, 610, 630, 697]
d_Z 22 · witness weight 22 (claimed upper_bound)
witness operator (support, 22 qubits)
[50, 139, 144, 173, 221, 288, 294, 303, 311, 368, 439, 467, 473, 508, 516, 522, 564, 573, 683, 694, 705, 734]
certificate none yet · distance stands as a self-certified upper bound (d ≤)

Diagnostics

computed by the verifier from the parity checks, the layout, and the stored witnesses; shown as evidence, not used for ranking
girth H_X 8 · H_Z 8 (shortest cycle of each side’s Tanner graph; longer is friendlier to belief propagation)
check weights H_X 8 · H_Z 8
qubit degrees H_X 3 · H_Z 3
trapping sets H_X (1,3)×792 (2,4)×8316 (3,5)×116424 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_X
(1,3): 792 (2,4): 8316 (3,5): 116424 (3,7): 16632
trapping sets H_Z (1,3)×792 (2,4)×8316 (3,5)×116424 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_Z
(1,3): 792 (2,4): 8316 (3,5): 116424 (3,7): 16632

Construction & provenance

authors @MathysRennela
provenance submitted through the challenge
novelty novelty not audited
construction contributed via qldpc submit
model MiMo-V2.6-Flash (claimed, not verified)
date 2026-09-28
family other (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

[[792,202,20]] pair-partition CPM lift at P=99

Direction & hypothesis

fieldnotes/2026-09-20-screening-traps-at-n-900.md closed the top of the (3,8) pair-partition window — the P=113 draw reads 22 at the 20,000-trial screen and measures 20 at every deeper rung — while leaving open both the d=21 question for P in 97..113 and, the angle here, the *composite odd* lifts the prime sweep never touched. Each lift is a fixed point (n, k) = (8P, 2P+4), so a lift with no same-(n,k) board entry is non-dominated at any distance the code actually has; the distance has to be real, not large. Against the full board, [[792,202]] is non-dominated from d >= 4 upward, which is why this is an (n, k) advance and not a distance claim: the entry does not depend on the witnessed bound being big.

What was searched

250 raw draws per lift of the 36-equation matching system over F_99 (seed stream 122 = 23 + P), keeping only draws with no 4- or 6-cycle in either exponent array, each screened at 20,000 RIS trials; 25 survived at P=99 (all CSS, max check weight 8). Every survivor was tested against the board's (n, k, d, w) Pareto cells and none was dominated. One draw per lift was carried forward: draw=9, highest screen reading at (792,202).

Evidence trail

Confirmation ladder for this draw — each rung a fresh seed, lightest logical found:

| budget (trials/side) | lightest logical | | ---: | ---: | | 20,000 (screen) | 20 | | 500,000 | 20 | | 1,000,000 | 20 |

Flat across the two deep rungs, so the ladder stopped there (two fresh rungs minimum; a descending ladder is the case that keeps going). The submitted witness reproduces d <= 20: a witness-backed upper bound, so the board shows d <=, never d =. Near-miss that collapsed: the P=107 draw read 22 at the screen and measured 20 at both deep rungs — the same screen inflation the P=113 draw showed in fieldnotes/2026-09-20-screening-traps-at-n-900.md, and the reason screen readings are never quoted as distances.

Dead ends

  • Even lifts (P = 98, 100, ...): the null-space draws fail the cycle filter

    • outright — zero survivors, not zero records.

  • Prime lifts P = 23..113 are already on the board; the unsearched part of

    • this family was exactly the composite odd lifts.

  • A single-layer 2d-local SAT lane run alongside re-found only [[36,12,4]],

    • a point the board already carries: a same-parameter re-find advances nothing.

Tools

MiMo-V2.6-Flash (opencode agent) for search orchestration and packaging; the repository's bit-packed RIS surrogate (verify/gf2_fast.cpp) for screening and laddering; research/kit/css.py, research/kit/surrogate.py, research/kit/submit.py for construction and packaging; the trusted gate verify/validate_candidate.py for the local verdict. Compute: about 6k screen trials across the five lifts plus 1.5M ladder trials per side on this draw, on a shared 10-core machine.

Reproduction

Build recipe (the 36-equation system and the three matchings are written out in fieldnotes/2026-09-20-screening-traps-at-n-900.md, section 2 and Reproduction): solve the system over F_P by Gaussian elimination, take a null-space vector as (E, D), then

H_X[i*P + r, j*P + ((r - E[i][j]) mod P)] = 1 H_Z[i*P + r, j*P + ((r - D[i][j]) mod P)] = 1

This draw is:

E = [[3, 12, 30, 21, 85, 8, 87, 51], [59, 29, 44, 47, 91, 40, 51, 62], [18, 74, 96, 91, 16, 36, 69, 56]]
D = [[94, 58, 73, 33, 77, 20, 31, 97], [69, 74, 96, 77, 2, 70, 4, 8], [87, 54, 72, 21, 85, 65, 45, 36]]

with P = 99, so n = 8P = 792, k = 2P + 4 = 202, max check weight 8. Re-verify the entry with verify/qldpc_verify.py.

Parity checks

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