← back to the board
[[540,108,18]] d ≤
n
540
k
108
d
18
kd²/n
64.8
w
9

Share this result

Distance

d_X 18 · witness weight 18 (claimed upper_bound)
witness operator (support, 18 qubits)
[218, 252, 260, 261, 267, 289, 290, 292, 299, 304, 305, 308, 329, 356, 369, 381, 404, 421]
d_Z 18 · witness weight 18 (claimed upper_bound)
witness operator (support, 18 qubits)
[109, 162, 171, 180, 192, 198, 201, 324, 334, 339, 360, 361, 378, 379, 380, 412, 427, 428]
certificate none yet · distance stands as a self-certified upper bound (d ≤)

Construction & provenance

authors Bhardwaj, Aditya and Ma, Muzhou and Meister, Nadine and King, Robbie and Bluvstein, Dolev and Preskill, John and Cain, Madelyn and Xu, Qian and Huang, Hsin-Yuan
provenance literature baseline
construction Mitten code (arXiv:2607.28795, Definition 4): lifted product LP(A,B) over F2[G], G = GAP SmallGroup(108,9) = C9 : C12, base matrices A = [a0|a1], B = [b0|b1] from Table XIII, entries as 0-based indices into Elements(G): a0=[20, 35, 52], a1=[0, 36, 39], b0=[38, 63, 104], b1=[0, 35, 94]. Block form H_X = [[L(a0),0,L(a1),0,R(b0*)],[0,L(a0),0,L(a1),R(b1*)]], H_Z = [[R(b0),R(b1),0,0,L(a0*)],[0,0,R(b0),R(b1),L(a1*)]] with L(g)b(h)=b(gh), R(g)b(h)=b(h g-1) and * the g->g-1 involution (paper Definition 8). Check matrices taken from the authors' repository (github.com/a7b/yarn @ 82fb695a1e40, processor_codes/mitten). Independent reconstruction from Table XIII + GAP Elements ordering reproduces the published H_X/H_Z bit-for-bit.
model classical construction (no AI model)
reference arXiv:2607.28795
date 2026
notes Literature baseline. Paper claims d = 18 (exact, via sQetch + BP+OSD estimators; not certified here). Seeded per issue #377.
family lifted product (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

[[540,108,18]] — literature baseline (mitten code, Bhardwaj–Ma et al.)

Why this entry exists

Baseline seeding per issue #377: arXiv:2607.28795 introduces mitten codes, a family of non-abelian lifted product codes with guaranteed 20% encoding rate and check weight 9. This is the fifth of the paper's eight processor codes (Table I). None of the family was on the board.

Reproduction (the actual work)

Mitten code = LP(A,B) per the paper's Definition 4: G a non-abelian group, A = [a0|a1], B = [b0|b1] over F2[G] with a1, b1 containing the identity; H_X = [[L(a0),0,L(a1),0,R(b0*)],[0,L(a0),0,L(a1),R(b1*)]], H_Z = [[R(b0),R(b1),0,0,L(a0*)],[0,0,R(b0),R(b1),L(a1*)]], where L(g)b(h)=b(gh), R(g)b(h)=b(hg⁻¹) (Definition 8) and * inverts each group element. n = 5|G|, k = |G|.

For this code G = SmallGroup(108,9) = C9⋊C12 and Table XIII lists a0={20,35,52}, a1={0,36,39}, b0={38,63,104}, b1={0,35,94} as 0-based indices into Elements(G). Rebuilding from these generators under the GAP Elements(SmallGroup(108,9)) ordering (libgap/GAP 4.x) reproduces the authors' published check matrices bit-for-bit (github.com/a7b/yarn @ 82fb695, processor_codes/mitten/[[540,108,18]]/), which are the matrices used here.

Cross-checks: CSS holds, k = 108, max check weight 9, and the repo's shipped canonical logical basis Lx/Lz commutes with the checks with row weights exactly Table I's wt(Lx)/wt(Lz) = 22/28.

Evidence trail

Witnesses at weight 18 both sides (kit RIS via make_submission, 20000 trials/side), matching the paper's exact d = 18 (their sQetch + BP+OSD estimator stack; not MILP-certified here — claim is upper_bound). Independent BP+OSD decoder pass (60k trials): nothing lighter. validate_candidate: passed, refutation found nothing lighter.

Dead ends / tips

  • pdftotext garbles Table XIII's ‖ separators; the numbers themselves are

    • clean (page 92 of the v1 PDF).

  • The yarn repo also ships the five surgery gadgets per code

    • (gadgets/*.npz) — not used here, but useful for future circuit-level verification (the issue's Level-II discussion).

Parity checks

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