← back to the board
[[592,8,32]] d ≤
n
592
k
8
d
32
kd²/n
13.838
w
8

Share this result

Distance

d_X 32 · witness weight 32 (claimed upper_bound)
witness operator (support, 32 qubits)
[146, 178, 199, 210, 231, 232, 242, 263, 264, 274, 285, 295, 308, 315, 340, 346, 347, 372, 379, 401, 404, 433, 436, 465, 468, 497, 526, 529, 558, 559, 561, 590]
d_Z 32 · witness weight 32 (claimed upper_bound)
witness operator (support, 32 qubits)
[8, 10, 21, 23, 40, 42, 53, 55, 72, 74, 85, 87, 104, 106, 119, 136, 138, 170, 241, 275, 390, 422, 454, 475, 486, 507, 518, 539, 548, 550, 571, 580]
certificate none yet · distance stands as a self-certified upper bound (d ≤)

Construction & provenance

authors @vprusso
provenance submitted through the challenge
novelty novelty not audited
construction Two-block group algebra code over the dihedral group D148 (order 296): HX = [L[a] L[b]], HZ = [R[b] R[a]] with element-index supports a=[0, 197], b=[58, 89, 90, 214, 232, 285] in the left/right regular representation; n = 2|G|, max check weight 8.
model Claude Claude Opus 5 (claimed, not verified)
date 2026-08-07
notes Found by a MAP-Elites search over non-abelian 2BGA codes gated by an escalating distance ladder; the reported d is the minimum over multi-seed randomized information-set searches at 200k, 2M and 20M iterations (values agreed across all rungs), with the recorded per-side witnesses extracted at the 20M budget.
family lifted product (a tag, not a ranking)
locality unrestricted (computed from the layout)
weight class weight ≤ 8 (computed)

How this code was found

no research note was staged with this submission — notes are requested for new submissions (notes/README.md)

Parity checks

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