← back to the board
[[574,254,14]] d ≤
n
574
k
254
d
14
kd²/n
86.732
w
14
X/Z
1

Share this result

Distance

X/Z asymmetry 1 · d_X ≤ 14, d_Z ≤ 14 · w_X = 14, w_Z = 14 (max(d_X,d_Z)/min(d_X,d_Z); each side carries its own earned tier: = certified exact, ≤ witness upper bound)
d_X 14 · witness weight 14 (claimed upper_bound)
witness operator (support, 14 qubits)
[23, 34, 88, 167, 196, 212, 229, 319, 325, 362, 374, 407, 428, 441]
d_Z 14 · witness weight 14 (claimed upper_bound)
witness operator (support, 14 qubits)
[15, 27, 45, 49, 56, 65, 76, 81, 145, 148, 284, 290, 548, 558]
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 14 · H_Z 14
qubit degrees H_X 3–4 (mean 3.951) · H_Z 3–4 (mean 3.951)
trapping sets H_X (1,3)×28 (2,4)×12 (3,4)×5 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_X
(1,3): 28 (1,4): 546 (2,4): 12 (2,5): 1068 (2,6): 13662 (3,4): 5 (3,5): 718 (3,6): 10137 (3,7): 51696 (3,8): 486308 (3,9): 6264 (3,10): 52560
trapping sets H_Z (1,3)×28 (2,4)×13 (3,4)×9 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_Z
(1,3): 28 (1,4): 546 (2,4): 13 (2,5): 1066 (2,6): 13663 (3,4): 9 (3,5): 698 (3,6): 10171 (3,7): 51668 (3,8): 486342 (3,9): 6240 (3,10): 52572

Construction & provenance

authors @mathysrennela
provenance submitted through the challenge
novelty novelty not audited
construction Check deletion from this board's entry codes/574-252-18.json: deleted the independent X-checks with row indices [161, 137] and the independent Z-checks with row indices [127, 131], keeping the qubit set unchanged. k' = 254 exact by GF(2) rank arithmetic. By the check-deletion theorem (github.com/MathysRennela/dem-linter @ 1ef09d73, CLAIMS.md claim 12.1), the source's witnesses remain valid logicals (term 1) and the deleted checks are new logicals of their own weight (term 2); the per-side witnesses in this file are the lightest valid operators from those two families.
model Omen Alpha 1.0 (claimed, not verified)
builds on https://arxiv.org/abs/1904.02703, https://arxiv.org/abs/2203.17216, https://github.com/MathysRennela/dem-linter/blob/1ef09d73/papers/taxonomy/CLAIMS.md
date 2026-09-09
notes Derived code, honest provenance: a wave-1 census point for the 574-252-18 family, one of the mutually non-dominated submission set chosen by the maintainer. Deep-screened at 300,000 RIS trials; nothing below the claimed weight was found. The source's circuit schedule does not transfer. Literature novelty unverified.
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

[[574,254,14]] — check-deletion of the board's [[574,252,18]]

Direction & hypothesis

Wave-1 census of the check-deletion move (theory pinned at github.com/MathysRennela/dem-linter @ 1ef09d73, papers/taxonomy/CLAIMS.md claim 12.1, PROVEN there): deleting r independent checks from a CSS code gives k' = k + r exactly and `d' = min(d, min deleted-check weight, min exposed-logical weight)`. Hypothesis: board sources whose checks are heavier than their distance carry slack — an independent deleted check becomes a logical of its own weight, so if no lighter exposed logical appears, k rises at equal distance tier. Per the maintainer's census policy, one submission per source family champions the improvement; this is the 574-252-18 family's point.

What was searched

Board-wide unary sweep over all 529 codes/*.json sources, 39,818 deletion moves (class-crossing deletions of all rows above a target weight, plus random r = 1, 2, 3 subsets per side, 24 samples each, fixed seed). Pruning ladder: the free bound min(claimed d, min deleted-check weight) (term 2, no matrix work), a board-potential prune against the candidate's nested cell, combined-Tanner connectivity = 1 (issue #921 semantics, pre-filtered before the verifier enforces it), exact k' by GF(2) rank (never k+r bookkeeping), and a qubit-coverage filter. 600 survivors screened, 348 Pareto-nondominated at their screening tier; the non-dominated submission set for this and the sibling families was chosen per the maintainer's one-champion-per-family policy.

Evidence trail

Ladder for the submitted code: 800-trial census screen -> witnesses from terms 1 + 2 (the source's own witnesses remain valid logicals of the child; the deleted independent checks are new logicals of their own weight — each pre-verified against the verifier's criteria: commutes with the kept opposite checks, outside the kept own rowspace) -> 300,000-trial RIS deep screen (nothing below the claimed weight found) -> trusted validation gate (verify + refute + dedup). Final claim: d <= 14 per side, upper_bound confidence, witnesses explicit in the JSON. The code advances the weight-9plus x unrestricted cell; board-relative claim only, literature novelty unverified.

Dead ends

  • At large n the randomized witness search is far from tight (weight-84/86

    • finds where term-2 witnesses of weight 28 exist by construction): always inject the explicit term-1/term-2 witnesses.

  • Witness vectors must be built from row *supports*, never dense rows —

    • fancy indexing accepts the mistake silently.

  • A qubit left unchecked by one side (deleting all of a side's checks on a

    • qubit) exposes weight-1 logicals; the coverage filter is mandatory.

  • Companion moves tested the same day and closed: check-addition chains

    • (0/122 — no gaugeable weight-<=4 logicals exist in the target cells), union-layout fusion (validated builder, zero board-advancing across 17k+842 shapes), graft r=1 (3 candidates, parked on layout-identity transfer).

Tools

Model: Omen Alpha 1.0 (agent harness: opencode). Repo tooling: kit css/gf2 rank arithmetic, surrogate fast RIS backend, submit packaging, verify.validate_candidate gate, exhaustive weight<=3 column-XOR pre-screen. Compute: census ~90 s of rank arithmetic; deep screen minutes per code; the trusted gate minutes per code.

Reproduction

From this PR's tree: take codes/574-252-18.json, delete the X-checks with row indices [137, 161] and the Z-checks with row indices [127, 131] (0-indexed rows of checks.X / checks.Z). Verify k = 574 - rank - rank = 254; each deleted independent row commutes with the kept opposite-side matrix and lies outside the kept own rowspace, and those supports are witnesses. The screening method is fully specified above; the sweep scripts are session-local working output, not committed, per the one-concern-per-PR rule.

Parity checks

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