← back to the board
[[348,4,34]] d ≤
n
348
k
4
d
34
kd²/n
13.287
w
10

Share this result

Distance

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