{ "schema_version": "0.2", "name": "[[300,36,13]] two-block code over C5 x D30", "code_type": "CSS", "n": 300, "k": 36, "checks": { "X": [ [ 0, 41, 96, 99, 150, 164, 199, 231 ], [ 1, 18, 30, 31, 151, 158, 211, 218 ], [ 2, 64, 117, 120, 152, 179, 222, 254 ], [ 3, 8, 49, 119, 153, 203, 205, 224 ], [ 4, 8, 11, 67, 150, 154, 204, 258 ], [ 5, 33, 51, 52, 155, 170, 235, 242 ], [ 6, 35, 53, 54, 156, 191, 193, 237 ], [ 7, 36, 54, 55, 151, 157, 192, 246 ], [ 8, 88, 132, 135, 158, 200, 246, 272 ], [ 9, 20, 72, 134, 159, 227, 229, 248 ], [ 10, 20, 23, 91, 152, 160, 228, 276 ], [ 11, 21, 74, 135, 161, 180, 249, 256 ], [ 0, 12, 21, 22, 153, 162, 181, 291 ], [ 13, 22, 26, 94, 154, 163, 180, 232 ], [ 14, 54, 75, 76, 164, 188, 258, 263 ], [ 15, 56, 77, 78, 165, 214, 216, 260 ], [ 16, 57, 78, 79, 155, 166, 215, 267 ], [ 7, 14, 17, 80, 167, 171, 244, 261 ], [ 18, 59, 80, 81, 156, 168, 172, 285 ], [ 19, 60, 81, 82, 157, 169, 171, 219 ], [ 11, 20, 49, 144, 151, 170, 186, 267 ], [ 21, 38, 96, 143, 171, 250, 252, 269 ], [ 22, 38, 41, 112, 158, 172, 251, 288 ], [ 23, 39, 98, 144, 173, 201, 270, 274 ], [ 2, 24, 39, 40, 159, 174, 202, 297 ], [ 25, 40, 44, 115, 160, 175, 201, 255 ], [ 3, 26, 41, 42, 161, 176, 230, 278 ], [ 4, 27, 42, 43, 162, 164, 177, 277 ], [ 28, 43, 47, 118, 163, 178, 205, 278 ], [ 6, 7, 29, 78, 150, 177, 179, 276 ], [ 30, 80, 100, 101, 180, 238, 240, 278 ], [ 31, 81, 101, 102, 164, 181, 239, 282 ], [ 16, 29, 32, 103, 182, 189, 265, 279 ], [ 33, 83, 103, 104, 165, 183, 190, 294 ], [ 34, 84, 104, 105, 166, 184, 189, 243 ], [ 19, 31, 35, 106, 167, 185, 217, 269 ], [ 36, 86, 106, 107, 158, 168, 186, 268 ], [ 37, 87, 107, 108, 169, 187, 193, 269 ], [ 23, 38, 72, 148, 155, 188, 207, 282 ], [ 0, 39, 74, 117, 167, 169, 189, 284 ], [ 0, 26, 40, 64, 168, 170, 190, 211 ], [ 41, 62, 119, 148, 191, 225, 285, 286 ], [ 8, 42, 62, 63, 171, 192, 226, 299 ], [ 43, 63, 67, 130, 172, 193, 225, 273 ], [ 9, 44, 64, 65, 173, 194, 253, 290 ], [ 10, 45, 65, 66, 174, 179, 195, 289 ], [ 46, 66, 70, 133, 175, 196, 229, 290 ], [ 12, 47, 67, 68, 176, 197, 203, 257 ], [ 13, 48, 68, 69, 177, 198, 256, 258 ], [ 49, 69, 73, 135, 178, 181, 199, 257 ], [ 15, 16, 50, 101, 152, 195, 200, 288 ], [ 17, 18, 51, 103, 161, 163, 201, 290 ], [ 18, 19, 52, 104, 162, 179, 199, 202 ], [ 31, 50, 53, 121, 203, 212, 280, 291 ], [ 54, 106, 121, 122, 180, 204, 213, 298 ], [ 55, 107, 122, 123, 181, 205, 212, 264 ], [ 34, 52, 56, 124, 182, 206, 241, 284 ], [ 57, 109, 124, 125, 170, 183, 207, 283 ], [ 58, 110, 125, 126, 184, 208, 216, 284 ], [ 37, 55, 59, 127, 185, 191, 209, 245 ], [ 60, 111, 127, 128, 186, 210, 244, 246 ], [ 6, 14, 61, 128, 172, 187, 211, 245 ], [ 2, 62, 98, 132, 182, 184, 212, 293 ], [ 2, 44, 63, 88, 183, 188, 213, 235 ], [ 3, 64, 99, 134, 156, 209, 214, 294 ], [ 3, 4, 20, 65, 157, 189, 215, 261 ], [ 4, 47, 66, 91, 156, 187, 190, 216 ], [ 21, 67, 88, 89, 191, 217, 271, 296 ], [ 22, 68, 89, 90, 192, 200, 218, 295 ], [ 69, 90, 94, 142, 193, 219, 252, 296 ], [ 24, 70, 91, 92, 194, 220, 227, 275 ], [ 25, 71, 92, 93, 195, 221, 274, 276 ], [ 72, 93, 97, 144, 196, 202, 222, 275 ], [ 27, 73, 94, 95, 197, 223, 231, 291 ], [ 28, 74, 95, 96, 198, 224, 230, 232 ], [ 32, 33, 75, 121, 173, 175, 225, 296 ], [ 33, 34, 76, 122, 174, 200, 222, 226 ], [ 1, 35, 52, 77, 153, 197, 227, 297 ], [ 35, 36, 78, 124, 154, 201, 228, 249 ], [ 36, 37, 79, 125, 153, 178, 202, 229 ], [ 55, 76, 80, 136, 203, 230, 262, 293 ], [ 81, 127, 136, 137, 188, 204, 231, 292 ], [ 82, 128, 137, 138, 205, 232, 240, 293 ], [ 58, 79, 83, 139, 206, 214, 233, 266 ], [ 84, 129, 139, 140, 207, 234, 265, 267 ], [ 15, 29, 85, 140, 190, 208, 235, 266 ], [ 61, 82, 86, 141, 209, 218, 236, 285 ], [ 17, 30, 87, 141, 210, 217, 219, 237 ], [ 9, 88, 120, 143, 165, 233, 238, 298 ], [ 9, 10, 38, 89, 166, 212, 239, 279 ], [ 10, 70, 90, 112, 165, 208, 213, 240 ], [ 11, 12, 39, 91, 185, 214, 237, 241 ], [ 12, 13, 40, 92, 151, 215, 236, 242 ], [ 13, 73, 93, 115, 169, 216, 237, 243 ], [ 42, 94, 112, 113, 217, 244, 250, 287 ], [ 43, 95, 113, 114, 218, 245, 286, 288 ], [ 96, 114, 118, 148, 219, 226, 246, 287 ], [ 45, 97, 115, 116, 220, 247, 254, 297 ], [ 46, 98, 116, 117, 221, 248, 253, 255 ], [ 48, 99, 118, 119, 204, 223, 249, 277 ], [ 5, 56, 76, 100, 159, 220, 250, 299 ], [ 56, 57, 101, 136, 160, 225, 251, 270 ], [ 57, 58, 102, 137, 159, 196, 226, 252 ], [ 7, 59, 79, 103, 176, 224, 227, 253 ], [ 59, 60, 104, 139, 150, 223, 228, 254 ], [ 60, 61, 105, 140, 163, 224, 229, 255 ], [ 82, 102, 106, 145, 230, 238, 256, 281 ], [ 107, 141, 145, 146, 231, 257, 280, 282 ], [ 30, 50, 108, 146, 213, 232, 258, 281 ], [ 85, 105, 109, 147, 233, 242, 259, 294 ], [ 32, 51, 110, 147, 234, 241, 243, 260 ], [ 1, 53, 108, 111, 192, 236, 261, 268 ], [ 23, 24, 62, 112, 206, 238, 260, 262 ], [ 24, 25, 63, 113, 155, 239, 259, 263 ], [ 25, 97, 114, 130, 184, 240, 260, 264 ], [ 26, 27, 65, 115, 167, 210, 241, 265 ], [ 27, 28, 66, 116, 209, 211, 242, 266 ], [ 28, 99, 117, 133, 157, 210, 243, 267 ], [ 68, 118, 130, 131, 244, 268, 272, 299 ], [ 69, 119, 131, 132, 245, 269, 271, 273 ], [ 71, 120, 133, 134, 228, 247, 270, 289 ], [ 16, 83, 102, 121, 194, 248, 250, 271 ], [ 83, 84, 122, 145, 152, 247, 251, 272 ], [ 84, 85, 123, 146, 175, 248, 252, 273 ], [ 19, 86, 105, 124, 161, 198, 253, 274 ], [ 86, 87, 125, 147, 197, 199, 254, 275 ], [ 1, 51, 87, 126, 154, 198, 255, 276 ], [ 108, 123, 127, 149, 256, 263, 277, 298 ], [ 53, 75, 128, 149, 257, 262, 264, 278 ], [ 5, 77, 126, 129, 215, 259, 279, 283 ], [ 44, 45, 89, 130, 182, 234, 262, 280 ], [ 45, 46, 90, 131, 233, 235, 263, 281 ], [ 46, 120, 132, 142, 166, 234, 264, 282 ], [ 47, 48, 92, 133, 186, 261, 265, 283 ], [ 48, 49, 93, 134, 185, 187, 266, 284 ], [ 95, 135, 142, 143, 251, 268, 285, 295 ], [ 34, 109, 123, 136, 173, 221, 271, 286 ], [ 109, 110, 137, 149, 220, 222, 272, 287 ], [ 5, 75, 110, 138, 160, 221, 273, 288 ], [ 37, 111, 126, 139, 177, 249, 274, 289 ], [ 6, 77, 111, 140, 176, 178, 275, 290 ], [ 14, 100, 138, 141, 239, 277, 291, 292 ], [ 70, 71, 113, 142, 207, 279, 280, 292 ], [ 71, 72, 114, 143, 206, 208, 281, 293 ], [ 73, 74, 116, 144, 168, 236, 283, 294 ], [ 58, 129, 138, 145, 195, 270, 286, 295 ], [ 15, 100, 129, 146, 194, 196, 287, 296 ], [ 17, 29, 61, 147, 162, 223, 289, 297 ], [ 97, 98, 131, 148, 183, 259, 292, 298 ], [ 32, 50, 85, 149, 174, 247, 295, 299 ] ], "Z": [ [ 0, 4, 29, 104, 150, 162, 189, 190 ], [ 1, 7, 20, 92, 151, 227, 261, 276 ], [ 2, 10, 50, 122, 152, 174, 212, 213 ], [ 3, 12, 77, 79, 153, 176, 214, 215 ], [ 4, 13, 78, 126, 154, 177, 215, 216 ], [ 5, 16, 38, 113, 155, 250, 279, 288 ], [ 6, 18, 64, 66, 156, 179, 211, 290 ], [ 7, 19, 65, 117, 157, 167, 179, 253 ], [ 1, 8, 22, 36, 153, 154, 158, 192 ], [ 9, 24, 100, 102, 159, 194, 238, 239 ], [ 10, 25, 101, 138, 160, 195, 239, 240 ], [ 11, 26, 51, 124, 154, 161, 170, 241 ], [ 12, 27, 52, 147, 162, 197, 241, 242 ], [ 13, 28, 51, 105, 163, 198, 242, 243 ], [ 0, 14, 27, 31, 164, 167, 211, 291 ], [ 15, 33, 88, 90, 165, 200, 235, 296 ], [ 16, 34, 89, 132, 166, 182, 200, 271 ], [ 17, 35, 39, 115, 167, 201, 237, 297 ], [ 18, 36, 40, 144, 151, 168, 201, 202 ], [ 19, 37, 39, 93, 169, 185, 202, 274 ], [ 5, 20, 40, 57, 159, 160, 170, 215 ], [ 17, 19, 21, 42, 161, 162, 171, 217 ], [ 18, 22, 43, 61, 162, 163, 172, 218 ], [ 23, 44, 75, 136, 160, 173, 188, 262 ], [ 24, 45, 76, 149, 174, 220, 262, 263 ], [ 25, 46, 75, 123, 175, 221, 263, 264 ], [ 26, 47, 103, 140, 163, 176, 190, 265 ], [ 27, 29, 48, 139, 177, 223, 265, 266 ], [ 28, 49, 79, 140, 178, 224, 266, 267 ], [ 2, 29, 45, 52, 179, 182, 235, 297 ], [ 11, 13, 30, 54, 151, 180, 237, 258 ], [ 12, 31, 49, 55, 151, 181, 185, 203 ], [ 32, 56, 62, 130, 182, 225, 260, 299 ], [ 33, 57, 63, 148, 155, 183, 225, 226 ], [ 34, 58, 62, 114, 184, 206, 226, 286 ], [ 35, 59, 91, 134, 156, 185, 227, 228 ], [ 20, 36, 60, 133, 157, 186, 228, 229 ], [ 37, 61, 66, 134, 187, 209, 229, 289 ], [ 14, 38, 63, 81, 171, 172, 188, 239 ], [ 32, 34, 39, 65, 173, 174, 189, 241 ], [ 33, 40, 66, 85, 174, 175, 190, 242 ], [ 6, 41, 59, 67, 150, 172, 176, 191 ], [ 7, 42, 68, 111, 176, 177, 192, 244 ], [ 6, 37, 43, 69, 177, 178, 193, 245 ], [ 44, 70, 121, 146, 175, 194, 213, 280 ], [ 45, 50, 71, 145, 195, 247, 280, 281 ], [ 46, 72, 102, 146, 196, 248, 281, 282 ], [ 47, 73, 77, 125, 178, 197, 216, 283 ], [ 48, 74, 124, 126, 198, 249, 283, 284 ], [ 0, 49, 52, 125, 153, 170, 199, 284 ], [ 8, 50, 68, 76, 200, 203, 258, 299 ], [ 23, 25, 51, 78, 155, 201, 260, 276 ], [ 24, 52, 72, 79, 155, 202, 206, 227 ], [ 3, 47, 53, 80, 156, 203, 261, 278 ], [ 4, 54, 81, 99, 156, 157, 164, 204 ], [ 3, 28, 55, 82, 157, 205, 209, 230 ], [ 56, 83, 112, 143, 165, 206, 250, 251 ], [ 38, 57, 84, 142, 166, 207, 251, 252 ], [ 58, 85, 90, 143, 208, 233, 252, 295 ], [ 59, 64, 86, 116, 168, 209, 253, 254 ], [ 60, 87, 115, 117, 169, 210, 254, 255 ], [ 1, 40, 61, 116, 211, 236, 255, 297 ], [ 53, 55, 62, 89, 191, 192, 212, 262 ], [ 54, 63, 90, 108, 192, 193, 213, 263 ], [ 15, 64, 83, 91, 152, 190, 194, 214 ], [ 16, 65, 92, 129, 194, 195, 215, 265 ], [ 15, 58, 66, 93, 195, 196, 216, 266 ], [ 35, 67, 87, 94, 154, 193, 197, 217 ], [ 1, 68, 86, 95, 197, 198, 218, 268 ], [ 19, 69, 87, 96, 198, 199, 219, 269 ], [ 70, 97, 100, 137, 196, 220, 240, 292 ], [ 71, 98, 136, 138, 221, 270, 292, 293 ], [ 2, 72, 76, 137, 159, 188, 222, 293 ], [ 73, 99, 104, 147, 199, 223, 243, 294 ], [ 3, 74, 103, 105, 161, 189, 224, 294 ], [ 41, 43, 75, 101, 164, 225, 278, 288 ], [ 42, 76, 96, 102, 164, 226, 230, 250 ], [ 9, 70, 77, 103, 165, 227, 279, 290 ], [ 10, 78, 104, 120, 165, 166, 179, 228 ], [ 9, 46, 79, 105, 166, 229, 233, 253 ], [ 26, 74, 80, 106, 167, 168, 180, 230 ], [ 0, 73, 81, 107, 168, 169, 181, 231 ], [ 13, 74, 82, 108, 169, 232, 236, 256 ], [ 83, 88, 109, 131, 183, 233, 271, 272 ], [ 84, 110, 130, 132, 184, 234, 272, 273 ], [ 5, 63, 85, 131, 235, 259, 273, 299 ], [ 86, 92, 111, 144, 186, 236, 274, 275 ], [ 6, 87, 91, 93, 187, 237, 275, 276 ], [ 30, 88, 106, 112, 158, 213, 217, 238 ], [ 31, 89, 113, 141, 217, 218, 239, 280 ], [ 30, 82, 90, 114, 218, 219, 240, 281 ], [ 56, 91, 110, 115, 160, 216, 220, 241 ], [ 5, 92, 109, 116, 220, 221, 242, 283 ], [ 34, 93, 110, 117, 221, 222, 243, 284 ], [ 17, 60, 94, 118, 163, 219, 223, 244 ], [ 59, 61, 95, 119, 223, 224, 245, 285 ], [ 7, 8, 60, 96, 150, 171, 224, 246 ], [ 97, 120, 122, 149, 222, 247, 264, 298 ], [ 9, 98, 121, 123, 173, 212, 248, 298 ], [ 11, 78, 99, 139, 150, 214, 249, 267 ], [ 21, 94, 100, 121, 180, 250, 291, 296 ], [ 22, 101, 122, 135, 180, 181, 200, 251 ], [ 21, 69, 102, 123, 181, 252, 256, 271 ], [ 44, 98, 103, 124, 182, 183, 201, 253 ], [ 2, 97, 104, 125, 183, 184, 202, 254 ], [ 25, 98, 105, 126, 184, 255, 259, 274 ], [ 11, 48, 106, 127, 185, 186, 204, 256 ], [ 47, 49, 107, 128, 186, 187, 205, 257 ], [ 4, 14, 48, 108, 187, 258, 261, 277 ], [ 109, 113, 129, 148, 207, 259, 286, 287 ], [ 15, 110, 112, 114, 208, 260, 287, 288 ], [ 17, 65, 111, 133, 210, 261, 289, 290 ], [ 80, 112, 128, 130, 172, 240, 244, 262 ], [ 14, 113, 127, 131, 244, 245, 263, 292 ], [ 55, 114, 128, 132, 245, 246, 264, 293 ], [ 32, 84, 115, 133, 175, 243, 247, 265 ], [ 83, 85, 116, 134, 247, 248, 266, 294 ], [ 16, 20, 84, 117, 152, 189, 248, 267 ], [ 36, 111, 118, 135, 178, 246, 249, 268 ], [ 21, 35, 37, 119, 153, 191, 249, 269 ], [ 23, 101, 120, 145, 152, 238, 270, 282 ], [ 67, 119, 121, 136, 203, 204, 225, 271 ], [ 8, 118, 122, 137, 204, 205, 226, 272 ], [ 43, 119, 123, 138, 205, 273, 277, 286 ], [ 23, 71, 124, 139, 206, 207, 228, 274 ], [ 70, 72, 125, 140, 207, 208, 229, 275 ], [ 10, 29, 71, 126, 208, 276, 279, 289 ], [ 27, 99, 127, 141, 209, 210, 231, 277 ], [ 26, 28, 30, 128, 210, 211, 232, 278 ], [ 32, 89, 129, 142, 234, 279, 295, 296 ], [ 53, 107, 130, 142, 193, 264, 268, 280 ], [ 106, 108, 131, 143, 268, 269, 281, 298 ], [ 31, 38, 107, 132, 158, 212, 269, 282 ], [ 57, 129, 133, 144, 196, 267, 270, 283 ], [ 39, 56, 58, 134, 159, 214, 270, 284 ], [ 18, 41, 86, 135, 158, 161, 199, 285 ], [ 41, 95, 136, 145, 230, 231, 251, 286 ], [ 94, 96, 137, 146, 231, 232, 252, 287 ], [ 22, 50, 95, 138, 232, 288, 291, 295 ], [ 45, 120, 139, 147, 233, 234, 254, 289 ], [ 44, 46, 51, 140, 234, 235, 255, 290 ], [ 12, 53, 73, 141, 236, 237, 257, 291 ], [ 81, 141, 142, 148, 219, 282, 285, 292 ], [ 62, 80, 82, 143, 171, 238, 285, 293 ], [ 33, 64, 109, 144, 170, 173, 222, 294 ], [ 68, 135, 145, 149, 256, 257, 272, 295 ], [ 67, 69, 75, 146, 257, 258, 273, 296 ], [ 24, 77, 97, 147, 259, 260, 275, 297 ], [ 54, 88, 127, 148, 188, 191, 246, 298 ], [ 42, 100, 118, 149, 277, 278, 287, 299 ] ] }, "distance": { "d": 13, "X": { "value": 13, "confidence": "upper_bound", "witness": [ 1, 6, 18, 37, 59, 61, 77, 86, 125, 153, 202, 227, 275 ], "witness_provenance": { "found_by": [ "@mathysrennela" ], "date": "2026-10-12", "found_at_samples": 2000, "survived_samples": 2000, "tool": "research/kit/surrogate.lightest_logical", "seeds": [ 1020 ] } }, "Z": { "value": 13, "confidence": "upper_bound", "witness": [ 30, 31, 38, 89, 90, 112, 142, 143, 217, 238, 280, 281, 282 ], "witness_provenance": { "found_by": [ "@mathysrennela" ], "date": "2026-10-12", "found_at_samples": 2000, "survived_samples": 2000, "tool": "research/kit/surrogate.lightest_logical", "seeds": [ 1021 ] } } }, "provenance": { "authors": [ "Lee, Gideon" ], "construction": "Two-block group-algebra code C(a,b) over C5 x D30 = SmallGroup(150, 11) (order 150), elements numbered as in GAP Elements(SmallGroup(order,id)) with element 0 the identity. n = 2|G| = 300; H_X = [L(a)|R(b)], H_Z = [R(b)^T|L(a)^T]; a = {0, 12, 39, 40}, b = {0, 4, 29, 104} as element indices. Check weight 8. Parameters and blocks taken from the public code database of arXiv:2610.13880v1 (Lee, 'Bicycle Race'), github.com/gideonlsx/bicycle-race.", "references": [ "arXiv:2610.13880" ], "date": "2026-10-12", "notes": "Parameters and construction taken from the public database of arXiv:2610.13880v1. Distance is an upper bound certified by the witnesses attached here. Parameters and blocks taken from the public code database of arXiv:2610.13880v1 (Lee, 'Bicycle Race'), github.com/gideonlsx/bicycle-race @ aed705a, CC BY 4.0; rebuilt here with the repo's own group data. Distance is an upper bound certified by the attached witnesses, not the paper's exact distance.", "origin": "baseline", "novelty": "known_parameters", "model": "Mimo-V2.6-Flash" }, "family": "2bga-nonabelian" }