← back to the board
[[376,6,32]] d ≤
n
376
k
6
d
32
kd²/n
16.34
w
10

Share this result

Distance

d_X 32 · witness weight 32 (claimed upper_bound)
witness operator (support, 32 qubits)
[2, 4, 5, 7, 8, 11, 15, 28, 47, 51, 147, 148, 152, 184, 258, 262, 266, 271, 275, 279, 285, 289, 293, 296, 297, 300, 301, 304, 305, 309, 313, 317]
d_Z 32 · witness weight 32 (claimed upper_bound)
witness operator (support, 32 qubits)
[6, 10, 14, 24, 28, 32, 36, 40, 44, 48, 52, 56, 143, 147, 151, 161, 165, 169, 209, 213, 245, 249, 253, 257, 261, 262, 265, 269, 289, 306, 338, 342]
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 D94 (order 188): HX = [L[a] L[b]], HZ = [R[b] R[a]] with element-index supports a=[75, 79, 80, 123, 151, 159], b=[14, 149, 151, 163] 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 188 · Z-checks 188
H_X (188 checks, sparse supports)
[75, 79, 80, 123, 151, 159, 213, 326, 339, 351] [71, 75, 84, 119, 147, 155, 209, 330, 343, 355] [70, 74, 85, 118, 146, 154, 207, 332, 345, 357] [67, 71, 88, 115, 143, 151, 205, 334, 347, 359] [66, 70, 89, 114, 142, 150, 211, 328, 341, 353] [74, 78, 81, 122, 150, 158, 203, 336, 349, 361] [63, 67, 92, 111, 139, 147, 201, 338, 351, 363] [62, 66, 93, 110, 138, 146, 215, 324, 337, 349] [77, 78, 82, 126, 154, 162, 199, 340, 353, 365] [76, 79, 83, 127, 155, 163, 217, 322, 335, 347] [59, 63, 96, 107, 135, 143, 197, 342, 355, 367] [58, 62, 97, 106, 134, 142, 219, 320, 333, 345] [73, 82, 86, 130, 158, 166, 195, 344, 357, 369] [72, 83, 87, 131, 159, 167, 221, 318, 331, 343] [55, 59, 100, 103, 131, 139, 188, 346, 359, 371] [54, 58, 101, 102, 130, 138, 223, 316, 329, 341] [69, 86, 90, 134, 162, 170, 192, 348, 361, 373] [68, 87, 91, 135, 163, 171, 225, 314, 327, 339] [51, 55, 99, 104, 127, 135, 189, 350, 363, 375] [50, 54, 98, 105, 126, 134, 227, 312, 325, 337] [65, 90, 94, 138, 166, 174, 190, 352, 365, 374] [64, 91, 95, 139, 167, 175, 229, 310, 323, 335] [47, 51, 95, 108, 123, 131, 191, 354, 367, 372] [46, 50, 94, 109, 122, 130, 231, 308, 321, 333] [61, 94, 98, 142, 170, 178, 193, 356, 369, 370] [60, 95, 99, 143, 171, 179, 233, 306, 319, 331] [43, 47, 91, 112, 119, 127, 194, 358, 368, 371] [42, 46, 90, 113, 118, 126, 235, 304, 317, 329] [57, 98, 102, 146, 174, 182, 196, 360, 366, 373] [56, 99, 103, 147, 175, 183, 237, 302, 315, 327] [39, 43, 87, 115, 116, 123, 198, 362, 364, 375] [38, 42, 86, 114, 117, 122, 239, 300, 313, 325] [53, 102, 106, 150, 178, 186, 200, 362, 364, 374] [52, 103, 107, 151, 179, 187, 241, 298, 311, 323] [35, 39, 83, 111, 119, 120, 202, 360, 366, 372] [34, 38, 82, 110, 118, 121, 243, 296, 309, 321] [49, 106, 110, 154, 182, 185, 204, 358, 368, 370] [48, 107, 111, 155, 183, 184, 245, 294, 307, 319] [31, 35, 79, 107, 115, 124, 206, 356, 368, 370] [30, 34, 78, 106, 114, 125, 247, 292, 305, 317] [45, 110, 114, 158, 181, 186, 208, 354, 366, 372] [44, 111, 115, 159, 180, 187, 249, 290, 303, 315] [27, 31, 75, 103, 111, 128, 210, 352, 364, 374] [26, 30, 74, 102, 110, 129, 251, 288, 301, 313] [41, 114, 118, 162, 177, 185, 212, 350, 362, 375] [40, 115, 119, 163, 176, 184, 253, 286, 299, 311] [23, 27, 71, 99, 107, 132, 214, 348, 360, 373] [22, 26, 70, 98, 106, 133, 255, 284, 297, 309] [37, 118, 122, 166, 173, 181, 216, 346, 358, 371] [36, 119, 123, 167, 172, 180, 257, 282, 295, 307] [19, 23, 67, 95, 103, 136, 218, 344, 356, 369] [18, 22, 66, 94, 102, 137, 259, 280, 293, 305] [33, 122, 126, 169, 170, 177, 220, 342, 354, 367] [32, 123, 127, 168, 171, 176, 261, 278, 291, 303] [15, 19, 63, 91, 99, 140, 222, 340, 352, 365] [14, 18, 62, 90, 98, 141, 263, 276, 289, 301] [29, 126, 130, 165, 173, 174, 224, 338, 350, 363] [28, 127, 131, 164, 172, 175, 265, 274, 287, 299] [11, 15, 59, 87, 95, 144, 226, 336, 348, 361] [10, 14, 58, 86, 94, 145, 267, 272, 285, 297] [25, 130, 134, 161, 169, 178, 228, 334, 346, 359] [24, 131, 135, 160, 168, 179, 269, 270, 283, 295] [7, 11, 55, 83, 91, 148, 230, 332, 344, 357] [6, 10, 54, 82, 90, 149, 268, 271, 281, 293] [21, 134, 138, 157, 165, 182, 232, 330, 342, 355] [20, 135, 139, 156, 164, 183, 266, 273, 279, 291] [4, 7, 51, 79, 87, 152, 234, 328, 340, 353] [3, 6, 50, 78, 86, 153, 264, 275, 277, 289] [17, 138, 142, 153, 161, 186, 236, 326, 338, 351] [16, 139, 143, 152, 160, 187, 262, 275, 277, 287] [2, 4, 47, 75, 83, 156, 238, 324, 336, 349] [1, 3, 46, 74, 82, 157, 260, 273, 279, 285] [13, 142, 146, 149, 157, 185, 240, 322, 334, 347] [12, 143, 147, 148, 156, 184, 258, 271, 281, 283] [2, 5, 43, 71, 79, 160, 242, 320, 332, 345] [0, 1, 42, 70, 78, 161, 256, 269, 281, 283] [9, 145, 146, 150, 153, 181, 244, 318, 330, 343] [8, 144, 147, 151, 152, 180, 254, 267, 279, 285] [5, 8, 39, 67, 75, 164, 246, 316, 328, 341] [0, 9, 38, 66, 74, 165, 252, 265, 277, 287] [0, 141, 149, 150, 154, 177, 248, 314, 326, 339] [5, 140, 148, 151, 155, 176, 250, 263, 275, 289] [8, 12, 35, 63, 71, 168, 250, 312, 324, 337] [9, 13, 34, 62, 70, 169, 248, 261, 273, 291] [1, 137, 145, 154, 158, 173, 252, 310, 322, 335] [2, 136, 144, 155, 159, 172, 246, 259, 271, 293] [12, 16, 31, 59, 67, 172, 254, 308, 320, 333] [13, 17, 30, 58, 66, 173, 244, 257, 269, 295] [3, 133, 141, 158, 162, 169, 256, 306, 318, 331] [4, 132, 140, 159, 163, 168, 242, 255, 267, 297] [16, 20, 27, 55, 63, 176, 258, 304, 316, 329] [17, 21, 26, 54, 62, 177, 240, 253, 265, 299] [6, 129, 137, 162, 165, 166, 260, 302, 314, 327] [7, 128, 136, 163, 164, 167, 238, 251, 263, 301] [20, 23, 24, 51, 59, 180, 262, 300, 312, 325] [21, 22, 25, 50, 58, 181, 236, 249, 261, 303] [10, 125, 133, 161, 166, 170, 264, 298, 310, 323] [11, 124, 132, 160, 167, 171, 234, 247, 259, 305] [19, 24, 28, 47, 55, 184, 266, 296, 308, 321] [18, 25, 29, 46, 54, 185, 232, 245, 257, 307] [14, 121, 129, 157, 170, 174, 268, 294, 306, 319] [15, 120, 128, 156, 171, 175, 230, 243, 255, 309] [15, 28, 32, 43, 51, 187, 270, 292, 304, 317] [14, 29, 33, 42, 50, 186, 228, 241, 253, 311] [18, 117, 125, 153, 174, 178, 272, 290, 302, 315] [19, 116, 124, 152, 175, 179, 226, 239, 251, 313] [11, 32, 36, 39, 47, 183, 274, 288, 300, 313] [10, 33, 37, 38, 46, 182, 224, 237, 249, 315] [22, 113, 121, 149, 178, 182, 276, 286, 298, 311] [23, 112, 120, 148, 179, 183, 222, 235, 247, 317] [7, 35, 36, 40, 43, 179, 278, 284, 296, 309] [6, 34, 37, 41, 42, 178, 220, 233, 245, 319] [26, 109, 117, 145, 182, 186, 280, 282, 294, 307] [27, 108, 116, 144, 183, 187, 218, 231, 243, 321] [4, 31, 39, 40, 44, 175, 280, 282, 292, 305] [3, 30, 38, 41, 45, 174, 216, 229, 241, 323] [30, 105, 113, 141, 185, 186, 278, 284, 290, 303] [31, 104, 112, 140, 184, 187, 214, 227, 239, 325] [2, 27, 35, 44, 48, 171, 276, 286, 288, 301] [1, 26, 34, 45, 49, 170, 212, 225, 237, 327] [34, 101, 109, 137, 181, 185, 274, 286, 288, 299] [35, 100, 108, 136, 180, 184, 210, 223, 235, 329] [5, 23, 31, 48, 52, 167, 272, 284, 290, 297] [0, 22, 30, 49, 53, 166, 208, 221, 233, 331] [38, 97, 105, 133, 177, 181, 270, 282, 292, 295] [39, 96, 104, 132, 176, 180, 206, 219, 231, 333] [8, 19, 27, 52, 56, 163, 268, 280, 293, 294] [9, 18, 26, 53, 57, 162, 204, 217, 229, 335] [42, 93, 101, 129, 173, 177, 266, 278, 291, 296] [43, 92, 100, 128, 172, 176, 202, 215, 227, 337] [12, 15, 23, 56, 60, 159, 264, 276, 289, 298] [13, 14, 22, 57, 61, 158, 200, 213, 225, 339] [46, 89, 97, 125, 169, 173, 262, 274, 287, 300] [47, 88, 96, 124, 168, 172, 198, 211, 223, 341] [11, 16, 19, 60, 64, 155, 260, 272, 285, 302] [10, 17, 18, 61, 65, 154, 196, 209, 221, 343] [50, 85, 93, 121, 165, 169, 258, 270, 283, 304] [51, 84, 92, 120, 164, 168, 194, 207, 219, 345] [7, 15, 20, 64, 68, 151, 256, 268, 281, 306] [6, 14, 21, 65, 69, 150, 193, 205, 217, 347] [54, 81, 89, 117, 161, 165, 254, 266, 279, 308] [55, 80, 88, 116, 160, 164, 191, 203, 215, 349] [4, 11, 24, 68, 72, 147, 252, 264, 277, 310] [3, 10, 25, 69, 73, 146, 190, 201, 213, 351] [58, 77, 85, 113, 157, 161, 250, 262, 275, 312] [59, 76, 84, 112, 156, 160, 189, 199, 211, 353] [2, 7, 28, 72, 76, 143, 248, 260, 273, 314] [1, 6, 29, 73, 77, 142, 192, 197, 209, 355] [62, 73, 81, 109, 153, 157, 246, 258, 271, 316] [63, 72, 80, 108, 152, 156, 188, 195, 207, 357] [4, 5, 32, 76, 80, 139, 244, 256, 269, 318] [0, 3, 33, 77, 81, 138, 188, 195, 205, 359] [66, 69, 77, 105, 149, 153, 242, 254, 267, 320] [67, 68, 76, 104, 148, 152, 192, 197, 203, 361] [2, 8, 36, 80, 84, 135, 240, 252, 265, 322] [1, 9, 37, 81, 85, 134, 189, 199, 201, 363] [65, 70, 73, 101, 145, 149, 238, 250, 263, 324] [64, 71, 72, 100, 144, 148, 190, 199, 201, 365] [5, 12, 40, 84, 88, 131, 236, 248, 261, 326] [0, 13, 41, 85, 89, 130, 191, 197, 203, 367] [61, 69, 74, 97, 141, 145, 234, 246, 259, 328] [60, 68, 75, 96, 140, 144, 193, 195, 205, 369] [8, 16, 44, 88, 92, 127, 232, 244, 257, 330] [9, 17, 45, 89, 93, 126, 188, 194, 207, 371] [57, 65, 78, 93, 137, 141, 230, 242, 255, 332] [56, 64, 79, 92, 136, 140, 192, 196, 209, 373] [12, 20, 48, 92, 96, 123, 228, 240, 253, 334] [13, 21, 49, 93, 97, 122, 189, 198, 211, 375] [53, 61, 82, 89, 133, 137, 226, 238, 251, 336] [52, 60, 83, 88, 132, 136, 190, 200, 213, 374] [16, 24, 52, 96, 100, 119, 224, 236, 249, 338] [17, 25, 53, 97, 101, 118, 191, 202, 215, 372] [49, 57, 85, 86, 129, 133, 222, 234, 247, 340] [48, 56, 84, 87, 128, 132, 193, 204, 217, 370] [20, 28, 56, 100, 104, 115, 220, 232, 245, 342] [21, 29, 57, 101, 105, 114, 194, 206, 219, 368] [45, 53, 81, 90, 125, 129, 218, 230, 243, 344] [44, 52, 80, 91, 124, 128, 196, 208, 221, 366] [24, 32, 60, 104, 108, 111, 216, 228, 241, 346] [25, 33, 61, 105, 109, 110, 198, 210, 223, 364] [41, 49, 77, 94, 121, 125, 214, 226, 239, 348] [40, 48, 76, 95, 120, 124, 200, 212, 225, 362] [28, 36, 64, 107, 108, 112, 212, 224, 237, 350] [29, 37, 65, 106, 109, 113, 202, 214, 227, 360] [37, 45, 73, 98, 117, 121, 210, 222, 235, 352] [36, 44, 72, 99, 116, 120, 204, 216, 229, 358] [32, 40, 68, 103, 112, 116, 208, 220, 233, 354] [33, 41, 69, 102, 113, 117, 206, 218, 231, 356]
H_Z (188 checks, sparse supports)
[14, 149, 151, 163, 263, 267, 268, 311, 339, 347] [18, 145, 155, 167, 259, 263, 272, 307, 335, 343] [20, 143, 157, 169, 258, 262, 273, 306, 334, 342] [22, 141, 159, 171, 255, 259, 276, 303, 331, 339] [16, 147, 153, 165, 254, 258, 277, 302, 330, 338] [24, 139, 161, 173, 262, 266, 269, 310, 338, 346] [26, 137, 163, 175, 251, 255, 280, 299, 327, 335] [12, 149, 151, 161, 250, 254, 281, 298, 326, 334] [28, 135, 165, 177, 265, 266, 270, 314, 342, 350] [10, 147, 153, 159, 264, 267, 271, 315, 343, 351] [30, 133, 167, 179, 247, 251, 284, 295, 323, 331] [8, 145, 155, 157, 246, 250, 285, 294, 322, 330] [32, 131, 169, 181, 261, 270, 274, 318, 346, 354] [6, 143, 155, 157, 260, 271, 275, 319, 347, 355] [34, 129, 171, 183, 243, 247, 288, 291, 319, 327] [5, 141, 153, 159, 242, 246, 289, 290, 318, 326] [36, 127, 173, 185, 257, 274, 278, 322, 350, 358] [3, 139, 151, 161, 256, 275, 279, 323, 351, 359] [38, 125, 175, 187, 239, 243, 287, 292, 315, 323] [2, 137, 149, 163, 238, 242, 286, 293, 314, 322] [40, 123, 177, 186, 253, 278, 282, 326, 354, 362] [1, 135, 147, 165, 252, 279, 283, 327, 355, 363] [42, 121, 179, 184, 235, 239, 283, 296, 311, 319] [4, 133, 145, 167, 234, 238, 282, 297, 310, 318] [44, 119, 181, 182, 249, 282, 286, 330, 358, 366] [0, 131, 143, 169, 248, 283, 287, 331, 359, 367] [46, 117, 180, 183, 231, 235, 279, 300, 307, 315] [7, 129, 141, 171, 230, 234, 278, 301, 306, 314] [48, 115, 178, 185, 245, 286, 290, 334, 362, 370] [9, 127, 139, 173, 244, 287, 291, 335, 363, 371] [50, 113, 176, 187, 227, 231, 275, 303, 304, 311] [11, 125, 137, 175, 226, 230, 274, 302, 305, 310] [52, 111, 174, 186, 241, 290, 294, 338, 366, 374] [13, 123, 135, 177, 240, 291, 295, 339, 367, 375] [54, 109, 172, 184, 223, 227, 271, 299, 307, 308] [15, 121, 133, 179, 222, 226, 270, 298, 306, 309] [56, 107, 170, 182, 237, 294, 298, 342, 370, 373] [17, 119, 131, 181, 236, 295, 299, 343, 371, 372] [58, 105, 168, 180, 219, 223, 267, 295, 303, 312] [19, 117, 129, 183, 218, 222, 266, 294, 302, 313] [60, 103, 166, 178, 233, 298, 302, 346, 369, 374] [21, 115, 127, 185, 232, 299, 303, 347, 368, 375] [62, 101, 164, 176, 215, 219, 263, 291, 299, 316] [23, 113, 125, 187, 214, 218, 262, 290, 298, 317] [64, 99, 162, 174, 229, 302, 306, 350, 365, 373] [25, 111, 123, 186, 228, 303, 307, 351, 364, 372] [66, 97, 160, 172, 211, 215, 259, 287, 295, 320] [27, 109, 121, 184, 210, 214, 258, 286, 294, 321] [68, 95, 158, 170, 225, 306, 310, 354, 361, 369] [29, 107, 119, 182, 224, 307, 311, 355, 360, 368] [70, 93, 156, 168, 207, 211, 255, 283, 291, 324] [31, 105, 117, 180, 206, 210, 254, 282, 290, 325] [72, 91, 154, 166, 221, 310, 314, 357, 358, 365] [33, 103, 115, 178, 220, 311, 315, 356, 359, 364] [74, 89, 152, 164, 203, 207, 251, 279, 287, 328] [35, 101, 113, 176, 202, 206, 250, 278, 286, 329] [76, 87, 150, 162, 217, 314, 318, 353, 361, 362] [37, 99, 111, 174, 216, 315, 319, 352, 360, 363] [78, 85, 148, 160, 199, 203, 247, 275, 283, 332] [39, 97, 109, 172, 198, 202, 246, 274, 282, 333] [80, 83, 146, 158, 213, 318, 322, 349, 357, 366] [41, 95, 107, 170, 212, 319, 323, 348, 356, 367] [81, 82, 144, 156, 195, 199, 243, 271, 279, 336] [43, 93, 105, 168, 194, 198, 242, 270, 278, 337] [79, 84, 142, 154, 209, 322, 326, 345, 353, 370] [45, 91, 103, 166, 208, 323, 327, 344, 352, 371] [77, 86, 140, 152, 192, 195, 239, 267, 275, 340] [47, 89, 101, 164, 191, 194, 238, 266, 274, 341] [75, 88, 138, 150, 205, 326, 330, 341, 349, 374] [49, 87, 99, 162, 204, 327, 331, 340, 348, 375] [73, 90, 136, 148, 190, 192, 235, 263, 271, 344] [51, 85, 97, 160, 189, 191, 234, 262, 270, 345] [71, 92, 134, 146, 201, 330, 334, 337, 345, 373] [53, 83, 95, 158, 200, 331, 335, 336, 344, 372] [69, 94, 132, 144, 190, 193, 231, 259, 267, 348] [55, 81, 93, 156, 188, 189, 230, 258, 266, 349] [67, 96, 130, 142, 197, 333, 334, 338, 341, 369] [57, 79, 91, 154, 196, 332, 335, 339, 340, 368] [65, 98, 128, 140, 193, 196, 227, 255, 263, 352] [59, 77, 89, 152, 188, 197, 226, 254, 262, 353] [63, 100, 126, 138, 188, 329, 337, 338, 342, 365] [61, 75, 87, 150, 193, 328, 336, 339, 343, 364] [61, 102, 124, 136, 196, 200, 223, 251, 259, 356] [63, 73, 85, 148, 197, 201, 222, 250, 258, 357] [59, 104, 122, 134, 189, 325, 333, 342, 346, 361] [65, 71, 83, 146, 190, 324, 332, 343, 347, 360] [57, 106, 120, 132, 200, 204, 219, 247, 255, 360] [67, 69, 81, 144, 201, 205, 218, 246, 254, 361] [55, 108, 118, 130, 191, 321, 329, 346, 350, 357] [67, 69, 79, 142, 192, 320, 328, 347, 351, 356] [53, 110, 116, 128, 204, 208, 215, 243, 251, 364] [65, 71, 77, 140, 205, 209, 214, 242, 250, 365] [51, 112, 114, 126, 194, 317, 325, 350, 353, 354] [63, 73, 75, 138, 195, 316, 324, 351, 352, 355] [49, 112, 114, 124, 208, 211, 212, 239, 247, 368] [61, 73, 75, 136, 209, 210, 213, 238, 246, 369] [47, 110, 116, 122, 198, 313, 321, 349, 354, 358] [59, 71, 77, 134, 199, 312, 320, 348, 355, 359] [45, 108, 118, 120, 207, 212, 216, 235, 243, 372] [57, 69, 79, 132, 206, 213, 217, 234, 242, 373] [43, 106, 118, 120, 202, 309, 317, 345, 358, 362] [55, 67, 81, 130, 203, 308, 316, 344, 359, 363] [41, 104, 116, 122, 203, 216, 220, 231, 239, 375] [53, 65, 83, 128, 202, 217, 221, 230, 238, 374] [39, 102, 114, 124, 206, 305, 313, 341, 362, 366] [51, 63, 85, 126, 207, 304, 312, 340, 363, 367] [37, 100, 112, 126, 199, 220, 224, 227, 235, 371] [49, 61, 87, 124, 198, 221, 225, 226, 234, 370] [35, 98, 110, 128, 210, 301, 309, 337, 366, 370] [47, 59, 89, 122, 211, 300, 308, 336, 367, 371] [33, 96, 108, 130, 195, 223, 224, 228, 231, 367] [45, 57, 91, 120, 194, 222, 225, 229, 230, 366] [31, 94, 106, 132, 214, 297, 305, 333, 370, 374] [43, 55, 93, 118, 215, 296, 304, 332, 371, 375] [29, 92, 104, 134, 192, 219, 227, 228, 232, 363] [41, 53, 95, 116, 191, 218, 226, 229, 233, 362] [27, 90, 102, 136, 218, 293, 301, 329, 373, 374] [39, 51, 97, 114, 219, 292, 300, 328, 372, 375] [25, 88, 100, 138, 190, 215, 223, 232, 236, 359] [37, 49, 99, 112, 189, 214, 222, 233, 237, 358] [23, 86, 98, 140, 222, 289, 297, 325, 369, 373] [35, 47, 101, 110, 223, 288, 296, 324, 368, 372] [21, 84, 96, 142, 193, 211, 219, 236, 240, 355] [33, 45, 103, 108, 188, 210, 218, 237, 241, 354] [19, 82, 94, 144, 226, 285, 293, 321, 365, 369] [31, 43, 105, 106, 227, 284, 292, 320, 364, 368] [17, 80, 92, 146, 196, 207, 215, 240, 244, 351] [29, 41, 104, 107, 197, 206, 214, 241, 245, 350] [15, 78, 90, 148, 230, 281, 289, 317, 361, 365] [27, 39, 102, 109, 231, 280, 288, 316, 360, 364] [13, 76, 88, 150, 200, 203, 211, 244, 248, 347] [25, 37, 100, 111, 201, 202, 210, 245, 249, 346] [11, 74, 86, 152, 234, 277, 285, 313, 357, 361] [23, 35, 98, 113, 235, 276, 284, 312, 356, 360] [9, 72, 84, 154, 199, 204, 207, 248, 252, 343] [21, 33, 96, 115, 198, 205, 206, 249, 253, 342] [7, 70, 82, 156, 238, 273, 281, 309, 353, 357] [19, 31, 94, 117, 239, 272, 280, 308, 352, 356] [0, 68, 80, 158, 195, 203, 208, 252, 256, 339] [17, 29, 92, 119, 194, 202, 209, 253, 257, 338] [4, 66, 78, 160, 242, 269, 277, 305, 349, 353] [15, 27, 90, 121, 243, 268, 276, 304, 348, 352] [1, 64, 76, 162, 192, 199, 212, 256, 260, 335] [13, 25, 88, 123, 191, 198, 213, 257, 261, 334] [2, 62, 74, 164, 246, 265, 273, 301, 345, 349] [11, 23, 86, 125, 247, 264, 272, 300, 344, 348] [3, 60, 72, 166, 190, 195, 216, 260, 264, 331] [9, 21, 84, 127, 189, 194, 217, 261, 265, 330] [5, 58, 70, 168, 250, 261, 269, 297, 341, 345] [7, 19, 82, 129, 251, 260, 268, 296, 340, 344] [6, 56, 68, 170, 192, 193, 220, 264, 268, 327] [0, 17, 80, 131, 188, 191, 221, 265, 269, 326] [8, 54, 66, 172, 254, 257, 265, 293, 337, 341] [4, 15, 78, 133, 255, 256, 264, 292, 336, 340] [10, 52, 64, 174, 190, 196, 224, 268, 272, 323] [1, 13, 76, 135, 189, 197, 225, 269, 273, 322] [12, 50, 62, 176, 253, 258, 261, 289, 333, 337] [2, 11, 74, 137, 252, 259, 260, 288, 332, 336] [14, 48, 60, 178, 193, 200, 228, 272, 276, 319] [3, 9, 72, 139, 188, 201, 229, 273, 277, 318] [16, 46, 58, 180, 249, 257, 262, 285, 329, 333] [5, 7, 70, 141, 248, 256, 263, 284, 328, 332] [18, 44, 56, 182, 196, 204, 232, 276, 280, 315] [0, 6, 68, 143, 197, 205, 233, 277, 281, 314] [20, 42, 54, 184, 245, 253, 266, 281, 325, 329] [4, 8, 66, 145, 244, 252, 267, 280, 324, 328] [22, 40, 52, 186, 200, 208, 236, 280, 284, 311] [1, 10, 64, 147, 201, 209, 237, 281, 285, 310] [24, 38, 50, 187, 241, 249, 270, 277, 321, 325] [2, 12, 62, 149, 240, 248, 271, 276, 320, 324] [26, 36, 48, 185, 204, 212, 240, 284, 288, 307] [3, 14, 60, 151, 205, 213, 241, 285, 289, 306] [28, 34, 46, 183, 237, 245, 273, 274, 317, 321] [5, 16, 58, 153, 236, 244, 272, 275, 316, 320] [30, 32, 44, 181, 208, 216, 244, 288, 292, 303] [6, 18, 56, 155, 209, 217, 245, 289, 293, 302] [30, 32, 42, 179, 233, 241, 269, 278, 313, 317] [8, 20, 54, 157, 232, 240, 268, 279, 312, 316] [28, 34, 40, 177, 212, 220, 248, 292, 296, 299] [10, 22, 52, 159, 213, 221, 249, 293, 297, 298] [26, 36, 38, 175, 229, 237, 265, 282, 309, 313] [12, 24, 50, 161, 228, 236, 264, 283, 308, 312] [24, 36, 38, 173, 216, 224, 252, 295, 296, 300] [14, 26, 48, 163, 217, 225, 253, 294, 297, 301] [22, 34, 40, 171, 225, 233, 261, 286, 305, 309] [16, 28, 46, 165, 224, 232, 260, 287, 304, 308] [20, 32, 42, 169, 220, 228, 256, 291, 300, 304] [18, 30, 44, 167, 221, 229, 257, 290, 301, 305]
raw submission JSON