← back to the board
[[310,14,26]] d ≤
n
310
k
14
d
26
kd²/n
30.529
w
10

Share this result

Distance

d_X 30 · witness weight 30 (claimed upper_bound)
witness operator (support, 30 qubits)
[9, 16, 19, 42, 99, 123, 128, 135, 138, 151, 164, 174, 176, 180, 191, 195, 200, 222, 235, 243, 250, 252, 256, 265, 266, 279, 280, 281, 293, 308]
d_Z 26 · witness weight 26 (claimed upper_bound)
witness operator (support, 26 qubits)
[13, 20, 26, 51, 61, 68, 87, 90, 99, 146, 154, 168, 173, 194, 199, 214, 231, 236, 238, 244, 250, 253, 257, 265, 282, 293]
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 non-abelian 2BGA (Lin-Pryadko) on the metacyclic group Z_31 |x Z_5 (order 155), n=310; supports a=[71, 10, 56, 148, 67], b=[135, 144, 52, 41, 115] (element indices in the kit's BFS/regular enumeration); H_X=[L(a)|R(b)], H_Z=[R(b)^T|L(a)^T]
model Claude Claude Opus 4.8 (claimed, not verified)
date 2026-07-24
notes Found by a continual non-abelian 2BGA sweep; distance confirmed at 80M x 3 pd20 RIS (min held) before packaging.
family generalized bicycle (a tag, not a ranking)
locality unrestricted (computed from the layout)
weight class weight > 8 (computed)

How this code was found

the research note submitted with this code · raw markdown · all notes

[[310,14,26]] — non-abelian 2BGA on the metacyclic group Z_31 x| Z_5

Direction & hypothesis

Same pivot as the PGL(2,7) entry: away from the exhausted Z_195 GB lane, into non-abelian 2BGA. Solvable metacyclic groups C_n x| C_k are a rich, cheap source of structured non-abelian codes. Hypothesis: a metacyclic group of order ~150 gives a high-distance weight-10 code advancing the board's [[310,14,<=21]] metacyclic entry.

What was swept, and at what depth

The continual 2BGA sweep, on Z_31 x| Z_5 (order 155, n = 310, action j: i -> 2^j i mod 31). Supports a = [71,10,56,148,67], b = [135,144,52,41,115] (element indices in the kit enumeration), check weight 10.

Distance confirmation ladder

Screened at 2M, laddered to 8M, confirmed at 80M x 3 fresh seeds at pair-depth 20 — the minimum held at 26 on every seed. The Z witness is a genuine weight-26 X-logical; the X side's lightest witnessed logical is 30, so d = min(30, 26) = 26. Both witnesses machine-verified in the file. This raises the board's [[310,14,<=21]] metacyclic entry to d = 26.

Dead ends

Most metacyclic support pairs give d < 10; the productive ones cluster, and only deep confirmation separates a real 26 from an 8M optimism artifact (the family's shallow reads run several above the true distance).

Model / harness

Search and confirmation by Claude Opus 4.8 driving the gf2_fast RIS engine. Literature novelty unverified (board-only dedup).

Reproduction

metacyclic(31, 5, 2) then build_2bga(mul, a, b) from research/kit/group_algebra.py with the supports above.

Parity checks

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