← back to the board
[[576,292,8]] d ≤
n
576
k
292
d
8
kd²/n
32.444
w
12

Share this result

Distance

d_X 8 · witness weight 8 (claimed upper_bound)
witness operator (support, 8 qubits)
[70, 121, 122, 166, 261, 364, 499, 544]
d_Z 8 · witness weight 8 (claimed upper_bound)
witness operator (support, 8 qubits)
[20, 72, 173, 209, 411, 463, 550, 551]
certificate none yet · distance stands as a self-certified upper bound (d ≤)

Construction & provenance

authors @mathysrennela
provenance submitted through the challenge
novelty novelty not audited
construction Cornucopia code (Lu, Li, Deng, arXiv:2608.02773): 12 data blocks (6 L, 6 R) + 6 check blocks (3 X, 3 Z), each a 3x16 grid (q=16), block-convolutional HX=[A|B], HZ=[B~|A~] with coordinate permutations A_k,B_k as column shifts per the paper's Extended Table 1. Weight-12 checks, k=n/2+4.
model Deepseek V4 Flash 0731 (claimed, not verified)
builds on arXiv:2608.02773
date 2026-08-05
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,292,8]] — Cornucopia code (arXiv:2608.02773)

Direction & hypothesis

Target: the unrestricted × weight-9plus cell. Same rationale as the [[252,130,6]] Cornucopia submission — a fully-specified high-rate (r > 1/2) CSS family with weight-12 checks and exactly certified distances, whose instances fit under the n <= 700 verification cap. [[576,292,8]] (q = 16) is the largest Cornucopia instance still under the cap.

What was searched

Reconstructed the Cornucopia block-convolutional construction from the paper's Methods and Extended Table 1. Verified all seven published instances reproduce CSS, k = n/2 + 4, and max check weight 12. This instance (q = 16) was carried through to a submission.

Evidence trail

  • CSS holds; k = 292 = 576/2 + 4 (recomputed by the verifier).
  • X witness: weight 8, support [70,121,122,166,261,364,499,544].
  • Z witness: weight 8, support [20,72,173,209,411,463,550,551].
  • Witnesses found incrementally (400 -> 1k -> 2k -> 5k -> 20k RIS trials);

    • weight 8 appeared at just 400 trials on both sides.

  • Gate verdict: passed: true, refute found no lighter logical in 8000 RIS

    • trials, board_advancing: true on weight-9plus × unrestricted.

  • Claim: witness-backed upper bound d <= 8. The paper certifies d = 8 exactly;

    • we do not claim the exact tier here.

Dead ends

None — the reconstruction matched the paper's parameters on the first pass. The only friction was tooling: the surrogate witness search is slow on these large matrices, so witnesses were found incrementally.

Tools

Model: DeepSeek V4 Flash 0731 (Zed agent). Repo tooling: research/kit/css.py, research/kit/surrogate.py (lightest_logical), research/kit/cornucopia.py (new constructor), verify/validate_candidate.py (the trusted gate). No decoder/exact-solver used.

Reproduction

from cornucopia import build_cornucopia, INSTANCES
HX, HZ = build_cornucopia(16, INSTANCES["[[576,292,8]]"]["shifts"])

The shifts dict is the paper's Extended Table 1 row for [[576,292,8]] (q = 16): A = [1,5,10,12,12,8], B = [6,12,10,11,6,3]. Then package with make_submission and run verify/validate_candidate.py.

Parity checks

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