← back to the board
[[576,298,6]] d ≤
n
576
k
298
d
6
kd²/n
18.625
w
16
X/Z
2

Share this result

Distance

X/Z asymmetry 2 · d_X ≤ 6, d_Z ≤ 12 · w_X = 16, w_Z = 16 (max(d_X,d_Z)/min(d_X,d_Z); each side carries its own earned tier: = certified exact, ≤ witness upper bound)
d_X 6 · witness weight 6 (claimed upper_bound)
witness operator (support, 6 qubits)
[93, 212, 376, 454, 559, 573]
d_Z 12 · witness weight 12 (claimed upper_bound)
witness operator (support, 12 qubits)
[34, 156, 157, 158, 326, 330, 357, 363, 398, 399, 487, 545]
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 16 · H_Z 16
qubit degrees H_X 3–4 (mean 3.917) · H_Z 3–4 (mean 3.917)
trapping sets H_X (1,3)×48 (2,4)×58 (3,4)×49 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_X
(1,3): 48 (1,4): 528 (2,4): 58 (2,5): 2044 (2,6): 14818 (3,4): 49 (3,5): 1732 (3,6): 17598 (3,7): 110758 (3,8): 588903 (3,9): 13514 (3,10): 64646
trapping sets H_Z (1,3)×48 (2,4)×67 (3,4)×46 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_Z
(1,3): 48 (1,4): 528 (2,4): 67 (2,5): 2026 (2,6): 14827 (3,4): 46 (3,5): 1786 (3,6): 17992 (3,7): 109575 (3,8): 589697 (3,9): 13283 (3,10): 64765

Construction & provenance

authors @mathysrennela
provenance submitted through the challenge
novelty novelty not audited
construction Check deletion from this board's entry codes/576-294-12.json: deleted the independent X-checks with row indices [99, 80, 98] and the independent Z-checks with row indices [124, 118, 117], keeping the qubit set unchanged. k' = 298 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 576-294-12 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

[[576,298,6]] — check-deletion of the board's [[576,294,12]]

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