← back to the board
[[576,8,32]] d ≤
n
576
k
8
d
32
kd²/n
14.222
w
10

Share this result

Distance

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