{ "schema_version": "0.2", "name": "[[360,24,20]] CLP code (arXiv:2610.12782 Table I, weight 20)", "code_type": "CSS", "n": 360, "k": 24, "checks": { "X": [ [ 0, 8, 57, 180, 212, 257, 270 ], [ 0, 1, 67, 181, 221, 262, 271 ], [ 1, 2, 38, 182, 196, 260, 272 ], [ 3, 20, 73, 183, 230, 266, 273 ], [ 4, 6, 52, 184, 206, 246, 274 ], [ 5, 22, 75, 184, 185, 222, 275 ], [ 2, 6, 49, 186, 203, 265, 276 ], [ 3, 7, 80, 187, 239, 268, 277 ], [ 4, 8, 62, 188, 215, 254, 278 ], [ 5, 9, 28, 188, 189, 231, 279 ], [ 7, 10, 56, 190, 211, 267, 280 ], [ 9, 11, 58, 180, 191, 226, 281 ], [ 12, 37, 83, 192, 206, 247, 282 ], [ 13, 17, 69, 193, 224, 259, 283 ], [ 14, 39, 85, 193, 194, 240, 284 ], [ 15, 18, 70, 182, 195, 207, 285 ], [ 16, 37, 41, 195, 196, 241, 286 ], [ 10, 17, 66, 197, 220, 269, 287 ], [ 11, 12, 18, 181, 198, 235, 288 ], [ 12, 19, 87, 199, 215, 255, 289 ], [ 13, 20, 77, 200, 233, 264, 290 ], [ 14, 21, 46, 200, 201, 248, 291 ], [ 15, 22, 24, 186, 202, 216, 292 ], [ 16, 23, 48, 202, 203, 249, 293 ], [ 19, 24, 72, 204, 212, 229, 294 ], [ 21, 25, 74, 183, 205, 243, 295 ], [ 19, 23, 26, 185, 206, 245, 296 ], [ 22, 27, 55, 207, 224, 260, 297 ], [ 28, 33, 81, 196, 208, 242, 298 ], [ 29, 57, 89, 182, 208, 209, 299 ], [ 30, 34, 82, 190, 210, 225, 300 ], [ 31, 55, 59, 210, 211, 256, 301 ], [ 32, 33, 35, 191, 212, 227, 302 ], [ 24, 33, 79, 213, 221, 238, 303 ], [ 25, 27, 34, 187, 214, 251, 304 ], [ 26, 29, 35, 189, 215, 253, 305 ], [ 27, 32, 36, 216, 233, 265, 306 ], [ 28, 37, 86, 203, 217, 250, 307 ], [ 29, 38, 63, 186, 217, 218, 308 ], [ 30, 39, 42, 197, 219, 234, 309 ], [ 31, 40, 65, 219, 220, 261, 310 ], [ 32, 41, 43, 198, 221, 236, 311 ], [ 9, 36, 42, 222, 230, 246, 312 ], [ 38, 43, 84, 184, 192, 223, 313 ], [ 36, 40, 44, 194, 224, 258, 314 ], [ 39, 45, 71, 225, 242, 267, 315 ], [ 18, 46, 51, 211, 226, 257, 316 ], [ 41, 47, 73, 190, 226, 227, 317 ], [ 48, 52, 88, 180, 204, 228, 318 ], [ 49, 71, 75, 191, 228, 229, 319 ], [ 50, 51, 53, 205, 230, 244, 320 ], [ 16, 42, 51, 231, 239, 254, 321 ], [ 43, 45, 52, 188, 199, 232, 322 ], [ 44, 47, 53, 201, 233, 263, 323 ], [ 45, 50, 54, 234, 250, 269, 324 ], [ 26, 46, 55, 220, 235, 262, 325 ], [ 4, 47, 56, 197, 235, 236, 326 ], [ 48, 57, 60, 181, 213, 237, 327 ], [ 49, 58, 78, 198, 237, 238, 328 ], [ 50, 59, 61, 214, 239, 252, 329 ], [ 21, 54, 60, 240, 247, 259, 330 ], [ 23, 56, 61, 193, 207, 241, 331 ], [ 54, 58, 62, 195, 209, 242, 332 ], [ 34, 63, 68, 229, 243, 266, 333 ], [ 59, 64, 83, 204, 243, 244, 334 ], [ 35, 65, 69, 183, 222, 245, 335 ], [ 8, 66, 85, 205, 245, 246, 336 ], [ 67, 68, 70, 185, 223, 247, 337 ], [ 31, 60, 68, 248, 255, 264, 338 ], [ 0, 61, 69, 200, 216, 249, 339 ], [ 62, 64, 70, 202, 218, 250, 340 ], [ 44, 63, 71, 238, 251, 268, 341 ], [ 13, 64, 72, 213, 251, 252, 342 ], [ 2, 65, 73, 187, 231, 253, 343 ], [ 15, 66, 74, 214, 253, 254, 344 ], [ 67, 75, 76, 189, 232, 255, 345 ], [ 40, 72, 76, 208, 225, 256, 346 ], [ 1, 74, 77, 210, 227, 257, 347 ], [ 53, 78, 81, 192, 240, 258, 348 ], [ 20, 79, 89, 223, 258, 259, 349 ], [ 6, 80, 82, 194, 241, 260, 350 ], [ 3, 76, 81, 217, 234, 261, 351 ], [ 5, 77, 82, 219, 236, 262, 352 ], [ 10, 78, 83, 199, 248, 263, 353 ], [ 30, 79, 84, 232, 263, 264, 354 ], [ 11, 80, 85, 201, 249, 265, 355 ], [ 7, 84, 86, 228, 244, 266, 356 ], [ 17, 87, 88, 209, 256, 267, 357 ], [ 14, 86, 88, 237, 252, 268, 358 ], [ 25, 87, 89, 218, 261, 269, 359 ], [ 90, 98, 147, 180, 274, 320, 337 ], [ 90, 91, 157, 181, 278, 329, 345 ], [ 91, 92, 128, 182, 270, 301, 319 ], [ 93, 110, 163, 183, 283, 337, 350 ], [ 94, 96, 142, 184, 272, 314, 332 ], [ 95, 112, 165, 185, 283, 285, 298 ], [ 92, 96, 139, 186, 271, 310, 328 ], [ 93, 97, 170, 187, 290, 345, 355 ], [ 94, 98, 152, 188, 276, 323, 340 ], [ 95, 99, 118, 189, 290, 292, 307 ], [ 97, 100, 146, 190, 273, 319, 336 ], [ 99, 101, 148, 191, 273, 275, 282 ], [ 102, 127, 173, 192, 298, 350, 357 ], [ 103, 107, 159, 193, 280, 332, 347 ], [ 104, 129, 175, 194, 298, 300, 316 ], [ 105, 108, 160, 195, 280, 281, 294 ], [ 106, 127, 131, 196, 300, 302, 318 ], [ 100, 107, 156, 197, 277, 328, 344 ], [ 101, 102, 108, 198, 277, 279, 289 ], [ 102, 109, 177, 199, 307, 355, 359 ], [ 103, 110, 167, 200, 287, 340, 352 ], [ 104, 111, 136, 201, 307, 309, 325 ], [ 105, 112, 114, 202, 287, 288, 303 ], [ 106, 113, 138, 203, 309, 311, 327 ], [ 109, 114, 162, 204, 282, 336, 349 ], [ 111, 115, 164, 205, 282, 284, 297 ], [ 109, 113, 116, 206, 284, 286, 299 ], [ 112, 117, 145, 207, 302, 316, 357 ], [ 118, 123, 171, 208, 294, 347, 356 ], [ 119, 147, 179, 209, 316, 318, 333 ], [ 120, 124, 172, 210, 294, 295, 312 ], [ 121, 145, 149, 211, 318, 320, 335 ], [ 122, 123, 125, 212, 295, 296, 313 ], [ 114, 123, 169, 213, 289, 344, 354 ], [ 115, 117, 124, 214, 289, 291, 306 ], [ 116, 119, 125, 215, 291, 293, 308 ], [ 117, 122, 126, 216, 311, 325, 359 ], [ 118, 127, 176, 217, 303, 352, 358 ], [ 119, 128, 153, 218, 325, 327, 341 ], [ 120, 129, 132, 219, 303, 304, 321 ], [ 121, 130, 155, 220, 327, 329, 343 ], [ 122, 131, 133, 221, 304, 305, 322 ], [ 99, 126, 132, 222, 286, 297, 349 ], [ 128, 133, 174, 223, 297, 299, 315 ], [ 126, 130, 134, 224, 299, 301, 317 ], [ 129, 135, 161, 225, 302, 320, 333 ], [ 108, 136, 141, 226, 296, 312, 356 ], [ 131, 137, 163, 227, 274, 333, 335 ], [ 138, 142, 178, 228, 312, 313, 330 ], [ 139, 161, 165, 229, 335, 337, 348 ], [ 140, 141, 143, 230, 313, 314, 331 ], [ 106, 132, 141, 231, 293, 306, 354 ], [ 133, 135, 142, 232, 306, 308, 324 ], [ 134, 137, 143, 233, 308, 310, 326 ], [ 135, 140, 144, 234, 311, 329, 341 ], [ 116, 136, 145, 235, 305, 321, 358 ], [ 94, 137, 146, 236, 278, 341, 343 ], [ 138, 147, 150, 237, 321, 322, 338 ], [ 139, 148, 168, 238, 343, 345, 353 ], [ 140, 149, 151, 239, 322, 323, 339 ], [ 111, 144, 150, 240, 286, 301, 315 ], [ 113, 146, 151, 241, 270, 315, 317 ], [ 144, 148, 152, 242, 317, 319, 334 ], [ 124, 153, 158, 243, 296, 314, 330 ], [ 149, 154, 173, 244, 274, 283, 348 ], [ 125, 155, 159, 245, 272, 330, 331 ], [ 98, 156, 175, 246, 285, 348, 350 ], [ 157, 158, 160, 247, 331, 332, 346 ], [ 121, 150, 158, 248, 293, 310, 324 ], [ 90, 151, 159, 249, 271, 324, 326 ], [ 152, 154, 160, 250, 326, 328, 342 ], [ 134, 153, 161, 251, 305, 323, 338 ], [ 103, 154, 162, 252, 278, 290, 353 ], [ 92, 155, 163, 253, 276, 338, 339 ], [ 105, 156, 164, 254, 292, 353, 355 ], [ 157, 165, 166, 255, 339, 340, 351 ], [ 130, 162, 166, 256, 270, 273, 334 ], [ 91, 164, 167, 257, 275, 334, 336 ], [ 143, 168, 171, 258, 272, 280, 346 ], [ 110, 169, 179, 259, 285, 300, 357 ], [ 96, 170, 172, 260, 281, 346, 347 ], [ 93, 166, 171, 261, 271, 277, 342 ], [ 95, 167, 172, 262, 279, 342, 344 ], [ 100, 168, 173, 263, 276, 287, 351 ], [ 120, 169, 174, 264, 292, 309, 359 ], [ 101, 170, 175, 265, 288, 351, 352 ], [ 97, 174, 176, 266, 275, 284, 349 ], [ 107, 177, 178, 267, 281, 295, 356 ], [ 104, 176, 178, 268, 279, 291, 354 ], [ 115, 177, 179, 269, 288, 304, 358 ] ], "Z": [ [ 0, 11, 48, 90, 180, 181, 249 ], [ 1, 18, 57, 91, 181, 182, 257 ], [ 2, 15, 29, 92, 182, 186, 253 ], [ 3, 25, 65, 93, 183, 187, 261 ], [ 4, 5, 43, 94, 184, 188, 236 ], [ 5, 26, 67, 95, 185, 189, 262 ], [ 6, 22, 38, 96, 184, 186, 260 ], [ 7, 34, 73, 97, 187, 190, 266 ], [ 8, 9, 52, 98, 180, 188, 246 ], [ 9, 35, 75, 99, 189, 191, 222 ], [ 10, 30, 47, 100, 190, 197, 263 ], [ 11, 32, 49, 101, 191, 198, 265 ], [ 12, 43, 78, 102, 192, 198, 199 ], [ 13, 14, 61, 103, 193, 200, 252 ], [ 14, 44, 80, 104, 194, 201, 268 ], [ 15, 16, 62, 105, 195, 202, 254 ], [ 2, 16, 28, 106, 196, 203, 231 ], [ 17, 39, 56, 107, 193, 197, 267 ], [ 18, 41, 58, 108, 195, 198, 226 ], [ 19, 52, 83, 109, 199, 204, 206 ], [ 20, 21, 69, 110, 183, 200, 259 ], [ 21, 53, 85, 111, 201, 205, 240 ], [ 22, 23, 70, 112, 185, 202, 207 ], [ 6, 23, 37, 113, 203, 206, 241 ], [ 24, 48, 64, 114, 202, 204, 213 ], [ 25, 50, 66, 115, 205, 214, 269 ], [ 4, 12, 26, 116, 206, 215, 235 ], [ 15, 27, 61, 117, 207, 214, 216 ], [ 28, 29, 76, 118, 189, 208, 217 ], [ 29, 62, 87, 119, 209, 215, 218 ], [ 30, 31, 77, 120, 210, 219, 264 ], [ 10, 31, 46, 121, 211, 220, 248 ], [ 0, 24, 32, 122, 212, 216, 221 ], [ 33, 57, 72, 123, 208, 212, 213 ], [ 34, 59, 74, 124, 210, 214, 243 ], [ 8, 19, 35, 125, 212, 215, 245 ], [ 22, 36, 69, 126, 216, 222, 224 ], [ 37, 38, 81, 127, 192, 196, 217 ], [ 38, 70, 89, 128, 182, 218, 223 ], [ 39, 40, 82, 129, 194, 219, 225 ], [ 17, 40, 55, 130, 220, 224, 256 ], [ 1, 33, 41, 131, 196, 221, 227 ], [ 5, 42, 65, 132, 219, 222, 231 ], [ 43, 67, 79, 133, 221, 223, 232 ], [ 13, 27, 44, 134, 224, 233, 251 ], [ 30, 45, 76, 135, 225, 232, 234 ], [ 11, 46, 47, 136, 201, 226, 235 ], [ 32, 47, 77, 137, 227, 233, 236 ], [ 48, 49, 86, 138, 203, 228, 237 ], [ 24, 49, 63, 139, 186, 229, 238 ], [ 3, 42, 50, 140, 230, 234, 239 ], [ 9, 51, 73, 141, 226, 230, 231 ], [ 52, 75, 84, 142, 184, 228, 232 ], [ 20, 36, 53, 143, 230, 233, 258 ], [ 39, 54, 81, 144, 234, 240, 242 ], [ 18, 55, 56, 145, 207, 211, 235 ], [ 41, 56, 82, 146, 190, 236, 241 ], [ 57, 58, 88, 147, 180, 209, 237 ], [ 33, 58, 71, 148, 191, 238, 242 ], [ 7, 51, 59, 149, 211, 239, 244 ], [ 14, 60, 78, 150, 237, 240, 248 ], [ 16, 61, 80, 151, 239, 241, 249 ], [ 28, 45, 62, 152, 188, 242, 250 ], [ 25, 63, 64, 153, 218, 243, 251 ], [ 50, 64, 86, 154, 244, 250, 252 ], [ 26, 65, 66, 155, 220, 245, 253 ], [ 4, 42, 66, 156, 197, 246, 254 ], [ 12, 60, 67, 157, 181, 247, 255 ], [ 21, 68, 83, 158, 243, 247, 248 ], [ 23, 69, 85, 159, 193, 245, 249 ], [ 37, 54, 70, 160, 195, 247, 250 ], [ 34, 71, 72, 161, 225, 229, 251 ], [ 59, 72, 88, 162, 204, 252, 256 ], [ 35, 73, 74, 163, 183, 227, 253 ], [ 8, 51, 74, 164, 205, 254, 257 ], [ 19, 68, 75, 165, 185, 229, 255 ], [ 31, 76, 87, 166, 255, 256, 261 ], [ 0, 46, 77, 167, 200, 257, 262 ], [ 44, 78, 79, 168, 238, 258, 263 ], [ 13, 60, 79, 169, 213, 259, 264 ], [ 2, 27, 80, 170, 187, 260, 265 ], [ 40, 81, 89, 171, 208, 258, 261 ], [ 1, 55, 82, 172, 210, 260, 262 ], [ 53, 83, 84, 173, 192, 244, 263 ], [ 20, 68, 84, 174, 223, 264, 266 ], [ 6, 36, 85, 175, 194, 246, 265 ], [ 3, 63, 86, 176, 217, 266, 268 ], [ 10, 45, 87, 177, 199, 267, 269 ], [ 7, 71, 88, 178, 228, 267, 268 ], [ 17, 54, 89, 179, 209, 259, 269 ], [ 0, 92, 151, 166, 270, 271, 339 ], [ 1, 96, 159, 171, 271, 272, 347 ], [ 2, 94, 155, 168, 272, 276, 343 ], [ 3, 100, 101, 166, 273, 277, 351 ], [ 4, 90, 137, 154, 274, 278, 326 ], [ 5, 101, 167, 176, 275, 279, 352 ], [ 6, 98, 163, 173, 274, 276, 350 ], [ 7, 107, 108, 171, 277, 280, 356 ], [ 8, 91, 146, 162, 270, 278, 336 ], [ 9, 108, 172, 178, 279, 281, 312 ], [ 10, 103, 105, 168, 280, 287, 353 ], [ 11, 105, 170, 177, 281, 288, 355 ], [ 12, 101, 114, 115, 282, 288, 289 ], [ 13, 93, 95, 154, 283, 290, 342 ], [ 14, 115, 116, 176, 284, 291, 358 ], [ 15, 95, 156, 169, 285, 292, 344 ], [ 16, 116, 132, 150, 286, 293, 321 ], [ 17, 110, 112, 173, 283, 287, 357 ], [ 18, 112, 175, 179, 285, 288, 316 ], [ 19, 108, 123, 124, 289, 294, 296 ], [ 20, 97, 99, 162, 273, 290, 349 ], [ 21, 124, 125, 178, 291, 295, 330 ], [ 22, 99, 164, 174, 275, 292, 297 ], [ 23, 125, 141, 158, 293, 296, 331 ], [ 24, 105, 118, 120, 292, 294, 303 ], [ 25, 120, 122, 177, 295, 304, 359 ], [ 26, 122, 136, 153, 296, 305, 325 ], [ 27, 115, 132, 133, 297, 304, 306 ], [ 28, 95, 102, 104, 279, 298, 307 ], [ 29, 116, 133, 134, 299, 305, 308 ], [ 30, 104, 106, 169, 300, 309, 354 ], [ 31, 92, 134, 150, 301, 310, 338 ], [ 32, 106, 117, 135, 302, 306, 311 ], [ 33, 112, 127, 129, 298, 302, 303 ], [ 34, 129, 131, 179, 300, 304, 333 ], [ 35, 131, 145, 161, 302, 305, 335 ], [ 36, 124, 141, 142, 306, 312, 314 ], [ 37, 99, 109, 111, 282, 286, 307 ], [ 38, 125, 142, 143, 272, 308, 313 ], [ 39, 111, 113, 174, 284, 309, 315 ], [ 40, 96, 143, 158, 310, 314, 346 ], [ 41, 113, 126, 144, 286, 311, 317 ], [ 42, 120, 136, 138, 309, 312, 321 ], [ 43, 122, 138, 140, 311, 313, 322 ], [ 44, 94, 140, 153, 314, 323, 341 ], [ 45, 133, 150, 151, 315, 322, 324 ], [ 46, 104, 117, 119, 291, 316, 325 ], [ 47, 134, 151, 152, 317, 323, 326 ], [ 48, 106, 119, 121, 293, 318, 327 ], [ 49, 92, 100, 152, 276, 319, 328 ], [ 50, 90, 121, 135, 320, 324, 329 ], [ 51, 129, 145, 147, 316, 320, 321 ], [ 52, 131, 147, 149, 274, 318, 322 ], [ 53, 98, 149, 161, 320, 323, 348 ], [ 54, 142, 158, 159, 324, 330, 332 ], [ 55, 111, 126, 128, 297, 301, 325 ], [ 56, 143, 159, 160, 280, 326, 331 ], [ 57, 113, 128, 130, 270, 299, 327 ], [ 58, 96, 107, 160, 281, 328, 332 ], [ 59, 91, 130, 144, 301, 329, 334 ], [ 60, 138, 153, 155, 327, 330, 338 ], [ 61, 140, 155, 157, 329, 331, 339 ], [ 62, 94, 103, 157, 278, 332, 340 ], [ 63, 119, 135, 137, 308, 333, 341 ], [ 64, 152, 166, 167, 334, 340, 342 ], [ 65, 121, 137, 139, 310, 335, 343 ], [ 66, 100, 114, 167, 287, 336, 344 ], [ 67, 90, 93, 139, 271, 337, 345 ], [ 68, 147, 161, 163, 333, 337, 338 ], [ 69, 149, 163, 165, 283, 335, 339 ], [ 70, 98, 110, 165, 285, 337, 340 ], [ 71, 128, 144, 146, 315, 319, 341 ], [ 72, 160, 171, 172, 294, 342, 346 ], [ 73, 130, 146, 148, 273, 317, 343 ], [ 74, 107, 123, 172, 295, 344, 347 ], [ 75, 91, 97, 148, 275, 319, 345 ], [ 76, 157, 168, 170, 345, 346, 351 ], [ 77, 103, 118, 170, 290, 347, 352 ], [ 78, 139, 154, 156, 328, 348, 353 ], [ 79, 114, 132, 176, 303, 349, 354 ], [ 80, 93, 102, 156, 277, 350, 355 ], [ 81, 165, 173, 175, 298, 348, 351 ], [ 82, 110, 127, 175, 300, 350, 352 ], [ 83, 148, 162, 164, 282, 334, 353 ], [ 84, 123, 141, 178, 313, 354, 356 ], [ 85, 97, 109, 164, 284, 336, 355 ], [ 86, 118, 136, 177, 307, 356, 358 ], [ 87, 102, 117, 169, 289, 357, 359 ], [ 88, 127, 145, 179, 318, 357, 358 ], [ 89, 109, 126, 174, 299, 349, 359 ] ] }, "distance": { "d": 20, "X": { "value": 20, "confidence": "upper_bound", "witness": [ 52, 69, 85, 86, 98, 109, 110, 126, 136, 149, 173, 175, 201, 228, 244, 268, 286, 316, 321, 325 ], "witness_provenance": { "found_by": [ "@MathysRennela" ], "date": "2026-10-12", "found_at_samples": 4000, "survived_samples": 4000, "tool": "research/kit/surrogate.lightest_logical", "seeds": [ 11 ] } }, "Z": { "value": 20, "confidence": "upper_bound", "witness": [ 30, 40, 79, 82, 99, 114, 118, 123, 219, 223, 247, 260, 272, 282, 297, 303, 313, 314, 330, 346 ], "witness_provenance": { "found_by": [ "@MathysRennela" ], "date": "2026-10-12", "found_at_samples": 4000, "survived_samples": 4000, "tool": "research/kit/surrogate.lightest_logical", "seeds": [ 12 ] } } }, "provenance": { "authors": [ "Rajpurohit, Rajendra Prasad", "Lalitha, V.", "Garani, Shayan Srinivasa", "@MathysRennela" ], "construction": "Coset lifted product (CLP) code of arXiv:2610.12782, Definition III.1, 7 layout: a protograph A over F_2[G] acting by the LEFT coset action of G on the cosets G/H, and a protograph B over F_2[N_G(H)] acting by the RIGHT coset action of the normaliser on the same cosets. G = SmallGroup(810,84), H = (non-normal, core free), m = [G:H], n = 4m = 360. Elements are named by the polycyclic generating sequence f_1,...,f_r of SmallGroup(810,84), as in the paper's Appendix A. CSS commutation is automatic (L(g) and R(n) commute for every g in G and n in N_G(H), so each block of H_X H_Z^T is L R + R L = 0 over F_2); no search for it is needed. n, k and the check weight 20 reproduce the paper's Table I exactly. Literature baseline seeded from the published parameters: this entry is a REPRODUCTION built from the paper's printed data, not a new construction and not a new parameter set. The paper certifies d = 20 by integer program; this entry carries witness-backed upper bounds from our own randomized GF(2) search, which is a weaker claim.", "references": [ "arXiv:2610.12782", "arXiv:2606.17268" ], "date": "2026-10-12", "notes": "Literature baseline: a reproduction of the published parameters in arXiv:2610.12782 (Table I), not a new construction and not a new parameter set. The group, subgroup and protographs are the paper's Appendix A data, rebuilt from GAP SmallGroup(l,i); n, k and the check weight reproduce the paper exactly. Reproduced by Space Bunny Alpha 1.0. The distance here is a witness-backed upper bound from our own randomized GF(2) search, a weaker claim than the paper's integer-program certification. See the accompanying note for the full reproduction recipe.", "origin": "baseline", "novelty": "known_parameters", "model": "Space Bunny Alpha 1.0" }, "family": "2bga-coset" }