{ "schema_version": "0.2", "name": "[[280,12,24]] w=9 generalized-bicycle code", "code_type": "CSS", "n": 280, "k": 12, "checks": { "X": [ [ 0, 72, 132, 138, 140, 181, 190, 278, 279 ], [ 1, 73, 133, 139, 140, 141, 182, 191, 279 ], [ 0, 2, 74, 134, 140, 141, 142, 183, 192 ], [ 1, 3, 75, 135, 141, 142, 143, 184, 193 ], [ 2, 4, 76, 136, 142, 143, 144, 185, 194 ], [ 3, 5, 77, 137, 143, 144, 145, 186, 195 ], [ 4, 6, 78, 138, 144, 145, 146, 187, 196 ], [ 5, 7, 79, 139, 145, 146, 147, 188, 197 ], [ 0, 6, 8, 80, 146, 147, 148, 189, 198 ], [ 1, 7, 9, 81, 147, 148, 149, 190, 199 ], [ 2, 8, 10, 82, 148, 149, 150, 191, 200 ], [ 3, 9, 11, 83, 149, 150, 151, 192, 201 ], [ 4, 10, 12, 84, 150, 151, 152, 193, 202 ], [ 5, 11, 13, 85, 151, 152, 153, 194, 203 ], [ 6, 12, 14, 86, 152, 153, 154, 195, 204 ], [ 7, 13, 15, 87, 153, 154, 155, 196, 205 ], [ 8, 14, 16, 88, 154, 155, 156, 197, 206 ], [ 9, 15, 17, 89, 155, 156, 157, 198, 207 ], [ 10, 16, 18, 90, 156, 157, 158, 199, 208 ], [ 11, 17, 19, 91, 157, 158, 159, 200, 209 ], [ 12, 18, 20, 92, 158, 159, 160, 201, 210 ], [ 13, 19, 21, 93, 159, 160, 161, 202, 211 ], [ 14, 20, 22, 94, 160, 161, 162, 203, 212 ], [ 15, 21, 23, 95, 161, 162, 163, 204, 213 ], [ 16, 22, 24, 96, 162, 163, 164, 205, 214 ], [ 17, 23, 25, 97, 163, 164, 165, 206, 215 ], [ 18, 24, 26, 98, 164, 165, 166, 207, 216 ], [ 19, 25, 27, 99, 165, 166, 167, 208, 217 ], [ 20, 26, 28, 100, 166, 167, 168, 209, 218 ], [ 21, 27, 29, 101, 167, 168, 169, 210, 219 ], [ 22, 28, 30, 102, 168, 169, 170, 211, 220 ], [ 23, 29, 31, 103, 169, 170, 171, 212, 221 ], [ 24, 30, 32, 104, 170, 171, 172, 213, 222 ], [ 25, 31, 33, 105, 171, 172, 173, 214, 223 ], [ 26, 32, 34, 106, 172, 173, 174, 215, 224 ], [ 27, 33, 35, 107, 173, 174, 175, 216, 225 ], [ 28, 34, 36, 108, 174, 175, 176, 217, 226 ], [ 29, 35, 37, 109, 175, 176, 177, 218, 227 ], [ 30, 36, 38, 110, 176, 177, 178, 219, 228 ], [ 31, 37, 39, 111, 177, 178, 179, 220, 229 ], [ 32, 38, 40, 112, 178, 179, 180, 221, 230 ], [ 33, 39, 41, 113, 179, 180, 181, 222, 231 ], [ 34, 40, 42, 114, 180, 181, 182, 223, 232 ], [ 35, 41, 43, 115, 181, 182, 183, 224, 233 ], [ 36, 42, 44, 116, 182, 183, 184, 225, 234 ], [ 37, 43, 45, 117, 183, 184, 185, 226, 235 ], [ 38, 44, 46, 118, 184, 185, 186, 227, 236 ], [ 39, 45, 47, 119, 185, 186, 187, 228, 237 ], [ 40, 46, 48, 120, 186, 187, 188, 229, 238 ], [ 41, 47, 49, 121, 187, 188, 189, 230, 239 ], [ 42, 48, 50, 122, 188, 189, 190, 231, 240 ], [ 43, 49, 51, 123, 189, 190, 191, 232, 241 ], [ 44, 50, 52, 124, 190, 191, 192, 233, 242 ], [ 45, 51, 53, 125, 191, 192, 193, 234, 243 ], [ 46, 52, 54, 126, 192, 193, 194, 235, 244 ], [ 47, 53, 55, 127, 193, 194, 195, 236, 245 ], [ 48, 54, 56, 128, 194, 195, 196, 237, 246 ], [ 49, 55, 57, 129, 195, 196, 197, 238, 247 ], [ 50, 56, 58, 130, 196, 197, 198, 239, 248 ], [ 51, 57, 59, 131, 197, 198, 199, 240, 249 ], [ 52, 58, 60, 132, 198, 199, 200, 241, 250 ], [ 53, 59, 61, 133, 199, 200, 201, 242, 251 ], [ 54, 60, 62, 134, 200, 201, 202, 243, 252 ], [ 55, 61, 63, 135, 201, 202, 203, 244, 253 ], [ 56, 62, 64, 136, 202, 203, 204, 245, 254 ], [ 57, 63, 65, 137, 203, 204, 205, 246, 255 ], [ 58, 64, 66, 138, 204, 205, 206, 247, 256 ], [ 59, 65, 67, 139, 205, 206, 207, 248, 257 ], [ 0, 60, 66, 68, 206, 207, 208, 249, 258 ], [ 1, 61, 67, 69, 207, 208, 209, 250, 259 ], [ 2, 62, 68, 70, 208, 209, 210, 251, 260 ], [ 3, 63, 69, 71, 209, 210, 211, 252, 261 ], [ 4, 64, 70, 72, 210, 211, 212, 253, 262 ], [ 5, 65, 71, 73, 211, 212, 213, 254, 263 ], [ 6, 66, 72, 74, 212, 213, 214, 255, 264 ], [ 7, 67, 73, 75, 213, 214, 215, 256, 265 ], [ 8, 68, 74, 76, 214, 215, 216, 257, 266 ], [ 9, 69, 75, 77, 215, 216, 217, 258, 267 ], [ 10, 70, 76, 78, 216, 217, 218, 259, 268 ], [ 11, 71, 77, 79, 217, 218, 219, 260, 269 ], [ 12, 72, 78, 80, 218, 219, 220, 261, 270 ], [ 13, 73, 79, 81, 219, 220, 221, 262, 271 ], [ 14, 74, 80, 82, 220, 221, 222, 263, 272 ], [ 15, 75, 81, 83, 221, 222, 223, 264, 273 ], [ 16, 76, 82, 84, 222, 223, 224, 265, 274 ], [ 17, 77, 83, 85, 223, 224, 225, 266, 275 ], [ 18, 78, 84, 86, 224, 225, 226, 267, 276 ], [ 19, 79, 85, 87, 225, 226, 227, 268, 277 ], [ 20, 80, 86, 88, 226, 227, 228, 269, 278 ], [ 21, 81, 87, 89, 227, 228, 229, 270, 279 ], [ 22, 82, 88, 90, 140, 228, 229, 230, 271 ], [ 23, 83, 89, 91, 141, 229, 230, 231, 272 ], [ 24, 84, 90, 92, 142, 230, 231, 232, 273 ], [ 25, 85, 91, 93, 143, 231, 232, 233, 274 ], [ 26, 86, 92, 94, 144, 232, 233, 234, 275 ], [ 27, 87, 93, 95, 145, 233, 234, 235, 276 ], [ 28, 88, 94, 96, 146, 234, 235, 236, 277 ], [ 29, 89, 95, 97, 147, 235, 236, 237, 278 ], [ 30, 90, 96, 98, 148, 236, 237, 238, 279 ], [ 31, 91, 97, 99, 140, 149, 237, 238, 239 ], [ 32, 92, 98, 100, 141, 150, 238, 239, 240 ], [ 33, 93, 99, 101, 142, 151, 239, 240, 241 ], [ 34, 94, 100, 102, 143, 152, 240, 241, 242 ], [ 35, 95, 101, 103, 144, 153, 241, 242, 243 ], [ 36, 96, 102, 104, 145, 154, 242, 243, 244 ], [ 37, 97, 103, 105, 146, 155, 243, 244, 245 ], [ 38, 98, 104, 106, 147, 156, 244, 245, 246 ], [ 39, 99, 105, 107, 148, 157, 245, 246, 247 ], [ 40, 100, 106, 108, 149, 158, 246, 247, 248 ], [ 41, 101, 107, 109, 150, 159, 247, 248, 249 ], [ 42, 102, 108, 110, 151, 160, 248, 249, 250 ], [ 43, 103, 109, 111, 152, 161, 249, 250, 251 ], [ 44, 104, 110, 112, 153, 162, 250, 251, 252 ], [ 45, 105, 111, 113, 154, 163, 251, 252, 253 ], [ 46, 106, 112, 114, 155, 164, 252, 253, 254 ], [ 47, 107, 113, 115, 156, 165, 253, 254, 255 ], [ 48, 108, 114, 116, 157, 166, 254, 255, 256 ], [ 49, 109, 115, 117, 158, 167, 255, 256, 257 ], [ 50, 110, 116, 118, 159, 168, 256, 257, 258 ], [ 51, 111, 117, 119, 160, 169, 257, 258, 259 ], [ 52, 112, 118, 120, 161, 170, 258, 259, 260 ], [ 53, 113, 119, 121, 162, 171, 259, 260, 261 ], [ 54, 114, 120, 122, 163, 172, 260, 261, 262 ], [ 55, 115, 121, 123, 164, 173, 261, 262, 263 ], [ 56, 116, 122, 124, 165, 174, 262, 263, 264 ], [ 57, 117, 123, 125, 166, 175, 263, 264, 265 ], [ 58, 118, 124, 126, 167, 176, 264, 265, 266 ], [ 59, 119, 125, 127, 168, 177, 265, 266, 267 ], [ 60, 120, 126, 128, 169, 178, 266, 267, 268 ], [ 61, 121, 127, 129, 170, 179, 267, 268, 269 ], [ 62, 122, 128, 130, 171, 180, 268, 269, 270 ], [ 63, 123, 129, 131, 172, 181, 269, 270, 271 ], [ 64, 124, 130, 132, 173, 182, 270, 271, 272 ], [ 65, 125, 131, 133, 174, 183, 271, 272, 273 ], [ 66, 126, 132, 134, 175, 184, 272, 273, 274 ], [ 67, 127, 133, 135, 176, 185, 273, 274, 275 ], [ 68, 128, 134, 136, 177, 186, 274, 275, 276 ], [ 69, 129, 135, 137, 178, 187, 275, 276, 277 ], [ 70, 130, 136, 138, 179, 188, 276, 277, 278 ], [ 71, 131, 137, 139, 180, 189, 277, 278, 279 ] ], "Z": [ [ 0, 1, 2, 90, 99, 140, 142, 148, 208 ], [ 1, 2, 3, 91, 100, 141, 143, 149, 209 ], [ 2, 3, 4, 92, 101, 142, 144, 150, 210 ], [ 3, 4, 5, 93, 102, 143, 145, 151, 211 ], [ 4, 5, 6, 94, 103, 144, 146, 152, 212 ], [ 5, 6, 7, 95, 104, 145, 147, 153, 213 ], [ 6, 7, 8, 96, 105, 146, 148, 154, 214 ], [ 7, 8, 9, 97, 106, 147, 149, 155, 215 ], [ 8, 9, 10, 98, 107, 148, 150, 156, 216 ], [ 9, 10, 11, 99, 108, 149, 151, 157, 217 ], [ 10, 11, 12, 100, 109, 150, 152, 158, 218 ], [ 11, 12, 13, 101, 110, 151, 153, 159, 219 ], [ 12, 13, 14, 102, 111, 152, 154, 160, 220 ], [ 13, 14, 15, 103, 112, 153, 155, 161, 221 ], [ 14, 15, 16, 104, 113, 154, 156, 162, 222 ], [ 15, 16, 17, 105, 114, 155, 157, 163, 223 ], [ 16, 17, 18, 106, 115, 156, 158, 164, 224 ], [ 17, 18, 19, 107, 116, 157, 159, 165, 225 ], [ 18, 19, 20, 108, 117, 158, 160, 166, 226 ], [ 19, 20, 21, 109, 118, 159, 161, 167, 227 ], [ 20, 21, 22, 110, 119, 160, 162, 168, 228 ], [ 21, 22, 23, 111, 120, 161, 163, 169, 229 ], [ 22, 23, 24, 112, 121, 162, 164, 170, 230 ], [ 23, 24, 25, 113, 122, 163, 165, 171, 231 ], [ 24, 25, 26, 114, 123, 164, 166, 172, 232 ], [ 25, 26, 27, 115, 124, 165, 167, 173, 233 ], [ 26, 27, 28, 116, 125, 166, 168, 174, 234 ], [ 27, 28, 29, 117, 126, 167, 169, 175, 235 ], [ 28, 29, 30, 118, 127, 168, 170, 176, 236 ], [ 29, 30, 31, 119, 128, 169, 171, 177, 237 ], [ 30, 31, 32, 120, 129, 170, 172, 178, 238 ], [ 31, 32, 33, 121, 130, 171, 173, 179, 239 ], [ 32, 33, 34, 122, 131, 172, 174, 180, 240 ], [ 33, 34, 35, 123, 132, 173, 175, 181, 241 ], [ 34, 35, 36, 124, 133, 174, 176, 182, 242 ], [ 35, 36, 37, 125, 134, 175, 177, 183, 243 ], [ 36, 37, 38, 126, 135, 176, 178, 184, 244 ], [ 37, 38, 39, 127, 136, 177, 179, 185, 245 ], [ 38, 39, 40, 128, 137, 178, 180, 186, 246 ], [ 39, 40, 41, 129, 138, 179, 181, 187, 247 ], [ 40, 41, 42, 130, 139, 180, 182, 188, 248 ], [ 0, 41, 42, 43, 131, 181, 183, 189, 249 ], [ 1, 42, 43, 44, 132, 182, 184, 190, 250 ], [ 2, 43, 44, 45, 133, 183, 185, 191, 251 ], [ 3, 44, 45, 46, 134, 184, 186, 192, 252 ], [ 4, 45, 46, 47, 135, 185, 187, 193, 253 ], [ 5, 46, 47, 48, 136, 186, 188, 194, 254 ], [ 6, 47, 48, 49, 137, 187, 189, 195, 255 ], [ 7, 48, 49, 50, 138, 188, 190, 196, 256 ], [ 8, 49, 50, 51, 139, 189, 191, 197, 257 ], [ 0, 9, 50, 51, 52, 190, 192, 198, 258 ], [ 1, 10, 51, 52, 53, 191, 193, 199, 259 ], [ 2, 11, 52, 53, 54, 192, 194, 200, 260 ], [ 3, 12, 53, 54, 55, 193, 195, 201, 261 ], [ 4, 13, 54, 55, 56, 194, 196, 202, 262 ], [ 5, 14, 55, 56, 57, 195, 197, 203, 263 ], [ 6, 15, 56, 57, 58, 196, 198, 204, 264 ], [ 7, 16, 57, 58, 59, 197, 199, 205, 265 ], [ 8, 17, 58, 59, 60, 198, 200, 206, 266 ], [ 9, 18, 59, 60, 61, 199, 201, 207, 267 ], [ 10, 19, 60, 61, 62, 200, 202, 208, 268 ], [ 11, 20, 61, 62, 63, 201, 203, 209, 269 ], [ 12, 21, 62, 63, 64, 202, 204, 210, 270 ], [ 13, 22, 63, 64, 65, 203, 205, 211, 271 ], [ 14, 23, 64, 65, 66, 204, 206, 212, 272 ], [ 15, 24, 65, 66, 67, 205, 207, 213, 273 ], [ 16, 25, 66, 67, 68, 206, 208, 214, 274 ], [ 17, 26, 67, 68, 69, 207, 209, 215, 275 ], [ 18, 27, 68, 69, 70, 208, 210, 216, 276 ], [ 19, 28, 69, 70, 71, 209, 211, 217, 277 ], [ 20, 29, 70, 71, 72, 210, 212, 218, 278 ], [ 21, 30, 71, 72, 73, 211, 213, 219, 279 ], [ 22, 31, 72, 73, 74, 140, 212, 214, 220 ], [ 23, 32, 73, 74, 75, 141, 213, 215, 221 ], [ 24, 33, 74, 75, 76, 142, 214, 216, 222 ], [ 25, 34, 75, 76, 77, 143, 215, 217, 223 ], [ 26, 35, 76, 77, 78, 144, 216, 218, 224 ], [ 27, 36, 77, 78, 79, 145, 217, 219, 225 ], [ 28, 37, 78, 79, 80, 146, 218, 220, 226 ], [ 29, 38, 79, 80, 81, 147, 219, 221, 227 ], [ 30, 39, 80, 81, 82, 148, 220, 222, 228 ], [ 31, 40, 81, 82, 83, 149, 221, 223, 229 ], [ 32, 41, 82, 83, 84, 150, 222, 224, 230 ], [ 33, 42, 83, 84, 85, 151, 223, 225, 231 ], [ 34, 43, 84, 85, 86, 152, 224, 226, 232 ], [ 35, 44, 85, 86, 87, 153, 225, 227, 233 ], [ 36, 45, 86, 87, 88, 154, 226, 228, 234 ], [ 37, 46, 87, 88, 89, 155, 227, 229, 235 ], [ 38, 47, 88, 89, 90, 156, 228, 230, 236 ], [ 39, 48, 89, 90, 91, 157, 229, 231, 237 ], [ 40, 49, 90, 91, 92, 158, 230, 232, 238 ], [ 41, 50, 91, 92, 93, 159, 231, 233, 239 ], [ 42, 51, 92, 93, 94, 160, 232, 234, 240 ], [ 43, 52, 93, 94, 95, 161, 233, 235, 241 ], [ 44, 53, 94, 95, 96, 162, 234, 236, 242 ], [ 45, 54, 95, 96, 97, 163, 235, 237, 243 ], [ 46, 55, 96, 97, 98, 164, 236, 238, 244 ], [ 47, 56, 97, 98, 99, 165, 237, 239, 245 ], [ 48, 57, 98, 99, 100, 166, 238, 240, 246 ], [ 49, 58, 99, 100, 101, 167, 239, 241, 247 ], [ 50, 59, 100, 101, 102, 168, 240, 242, 248 ], [ 51, 60, 101, 102, 103, 169, 241, 243, 249 ], [ 52, 61, 102, 103, 104, 170, 242, 244, 250 ], [ 53, 62, 103, 104, 105, 171, 243, 245, 251 ], [ 54, 63, 104, 105, 106, 172, 244, 246, 252 ], [ 55, 64, 105, 106, 107, 173, 245, 247, 253 ], [ 56, 65, 106, 107, 108, 174, 246, 248, 254 ], [ 57, 66, 107, 108, 109, 175, 247, 249, 255 ], [ 58, 67, 108, 109, 110, 176, 248, 250, 256 ], [ 59, 68, 109, 110, 111, 177, 249, 251, 257 ], [ 60, 69, 110, 111, 112, 178, 250, 252, 258 ], [ 61, 70, 111, 112, 113, 179, 251, 253, 259 ], [ 62, 71, 112, 113, 114, 180, 252, 254, 260 ], [ 63, 72, 113, 114, 115, 181, 253, 255, 261 ], [ 64, 73, 114, 115, 116, 182, 254, 256, 262 ], [ 65, 74, 115, 116, 117, 183, 255, 257, 263 ], [ 66, 75, 116, 117, 118, 184, 256, 258, 264 ], [ 67, 76, 117, 118, 119, 185, 257, 259, 265 ], [ 68, 77, 118, 119, 120, 186, 258, 260, 266 ], [ 69, 78, 119, 120, 121, 187, 259, 261, 267 ], [ 70, 79, 120, 121, 122, 188, 260, 262, 268 ], [ 71, 80, 121, 122, 123, 189, 261, 263, 269 ], [ 72, 81, 122, 123, 124, 190, 262, 264, 270 ], [ 73, 82, 123, 124, 125, 191, 263, 265, 271 ], [ 74, 83, 124, 125, 126, 192, 264, 266, 272 ], [ 75, 84, 125, 126, 127, 193, 265, 267, 273 ], [ 76, 85, 126, 127, 128, 194, 266, 268, 274 ], [ 77, 86, 127, 128, 129, 195, 267, 269, 275 ], [ 78, 87, 128, 129, 130, 196, 268, 270, 276 ], [ 79, 88, 129, 130, 131, 197, 269, 271, 277 ], [ 80, 89, 130, 131, 132, 198, 270, 272, 278 ], [ 81, 90, 131, 132, 133, 199, 271, 273, 279 ], [ 82, 91, 132, 133, 134, 140, 200, 272, 274 ], [ 83, 92, 133, 134, 135, 141, 201, 273, 275 ], [ 84, 93, 134, 135, 136, 142, 202, 274, 276 ], [ 85, 94, 135, 136, 137, 143, 203, 275, 277 ], [ 86, 95, 136, 137, 138, 144, 204, 276, 278 ], [ 87, 96, 137, 138, 139, 145, 205, 277, 279 ], [ 0, 88, 97, 138, 139, 140, 146, 206, 278 ], [ 0, 1, 89, 98, 139, 141, 147, 207, 279 ] ] }, "distance": { "d": 24, "X": { "value": 24, "confidence": "upper_bound", "witness": [ 0, 2, 8, 14, 50, 54, 56, 60, 62, 92, 96, 98, 100, 106, 112, 138, 158, 160, 162, 201, 204, 247, 249, 251 ], "witness_provenance": { "found_by": [ "@FarLab" ], "date": "2026-10-14", "found_at_samples": 120, "survived_samples": 120, "tool": "research/kit/surrogate.lightest_logical", "seeds": [ 777 ] } }, "Z": { "value": 38, "confidence": "upper_bound", "witness": [ 15, 30, 31, 36, 37, 40, 41, 44, 46, 51, 80, 83, 87, 89, 93, 94, 101, 102, 103, 109, 112, 118, 149, 161, 167, 189, 190, 191, 217, 218, 222, 223, 227, 233, 235, 249, 258, 279 ], "witness_provenance": { "found_by": [ "@FarLab" ], "date": "2026-10-14", "found_at_samples": 120, "survived_samples": 120, "tool": "research/kit/surrogate.lightest_logical", "seeds": [ 778 ] } } }, "provenance": { "authors": [ "@FarLab" ], "construction": "Designed-divisor generalized bicycle (2BGA on Z_140), a=[0, 2, 8, 68], b=[0, 1, 2, 90, 99], check weight 9.", "references": [ "arXiv:2306.16400" ], "date": "2026-10-14", "notes": "", "origin": "submission", "model": "Gemini 4 Argon" }, "family": "generalized-bicycle" }