{ "schema_version": "0.4", "name": "[[360,12,20]]", "code_type": "stabilizer", "n": 360, "k": 12, "checks": { "S": [ { "X": [ 82, 134, 135, 180, 212, 259 ], "Z": [ 81, 135, 259, 313 ] }, { "X": [ 83, 135, 136, 181, 213, 260 ], "Z": [ 82, 136, 260, 314 ] }, { "X": [ 78, 136, 137, 182, 214, 261 ], "Z": [ 83, 137, 261, 315 ] }, { "X": [ 79, 132, 137, 183, 215, 262 ], "Z": [ 78, 132, 262, 316 ] }, { "X": [ 80, 132, 133, 184, 210, 263 ], "Z": [ 79, 133, 263, 317 ] }, { "X": [ 81, 133, 134, 185, 211, 258 ], "Z": [ 80, 134, 258, 312 ] }, { "X": [ 88, 140, 141, 186, 218, 265 ], "Z": [ 87, 141, 265, 319 ] }, { "X": [ 89, 141, 142, 187, 219, 266 ], "Z": [ 88, 142, 266, 320 ] }, { "X": [ 84, 142, 143, 188, 220, 267 ], "Z": [ 89, 143, 267, 321 ] }, { "X": [ 85, 138, 143, 189, 221, 268 ], "Z": [ 84, 138, 268, 322 ] }, { "X": [ 86, 138, 139, 190, 216, 269 ], "Z": [ 85, 139, 269, 323 ] }, { "X": [ 87, 139, 140, 191, 217, 264 ], "Z": [ 86, 140, 264, 318 ] }, { "X": [ 94, 146, 147, 192, 224, 271 ], "Z": [ 93, 147, 271, 325 ] }, { "X": [ 95, 147, 148, 193, 225, 272 ], "Z": [ 94, 148, 272, 326 ] }, { "X": [ 90, 148, 149, 194, 226, 273 ], "Z": [ 95, 149, 273, 327 ] }, { "X": [ 91, 144, 149, 195, 227, 274 ], "Z": [ 90, 144, 274, 328 ] }, { "X": [ 92, 144, 145, 196, 222, 275 ], "Z": [ 91, 145, 275, 329 ] }, { "X": [ 93, 145, 146, 197, 223, 270 ], "Z": [ 92, 146, 270, 324 ] }, { "X": [ 100, 152, 153, 198, 230, 277 ], "Z": [ 99, 153, 277, 331 ] }, { "X": [ 101, 153, 154, 199, 231, 278 ], "Z": [ 100, 154, 278, 332 ] }, { "X": [ 96, 154, 155, 200, 232, 279 ], "Z": [ 101, 155, 279, 333 ] }, { "X": [ 97, 150, 155, 201, 233, 280 ], "Z": [ 96, 150, 280, 334 ] }, { "X": [ 98, 150, 151, 202, 228, 281 ], "Z": [ 97, 151, 281, 335 ] }, { "X": [ 99, 151, 152, 203, 229, 276 ], "Z": [ 98, 152, 276, 330 ] }, { "X": [ 106, 158, 159, 204, 236, 283 ], "Z": [ 105, 159, 283, 337 ] }, { "X": [ 107, 159, 160, 205, 237, 284 ], "Z": [ 106, 160, 284, 338 ] }, { "X": [ 102, 160, 161, 206, 238, 285 ], "Z": [ 107, 161, 285, 339 ] }, { "X": [ 103, 156, 161, 207, 239, 286 ], "Z": [ 102, 156, 286, 340 ] }, { "X": [ 104, 156, 157, 208, 234, 287 ], "Z": [ 103, 157, 287, 341 ] }, { "X": [ 105, 157, 158, 209, 235, 282 ], "Z": [ 104, 158, 282, 336 ] }, { "X": [ 112, 164, 165, 210, 242, 289 ], "Z": [ 111, 165, 289, 343 ] }, { "X": [ 113, 165, 166, 211, 243, 290 ], "Z": [ 112, 166, 290, 344 ] }, { "X": [ 108, 166, 167, 212, 244, 291 ], "Z": [ 113, 167, 291, 345 ] }, { "X": [ 109, 162, 167, 213, 245, 292 ], "Z": [ 108, 162, 292, 346 ] }, { "X": [ 110, 162, 163, 214, 240, 293 ], "Z": [ 109, 163, 293, 347 ] }, { "X": [ 111, 163, 164, 215, 241, 288 ], "Z": [ 110, 164, 288, 342 ] }, { "X": [ 118, 170, 171, 216, 248, 295 ], "Z": [ 117, 171, 295, 349 ] }, { "X": [ 119, 171, 172, 217, 249, 296 ], "Z": [ 118, 172, 296, 350 ] }, { "X": [ 114, 172, 173, 218, 250, 297 ], "Z": [ 119, 173, 297, 351 ] }, { "X": [ 115, 168, 173, 219, 251, 298 ], "Z": [ 114, 168, 298, 352 ] }, { "X": [ 116, 168, 169, 220, 246, 299 ], "Z": [ 115, 169, 299, 353 ] }, { "X": [ 117, 169, 170, 221, 247, 294 ], "Z": [ 116, 170, 294, 348 ] }, { "X": [ 124, 176, 177, 222, 254, 301 ], "Z": [ 123, 177, 301, 355 ] }, { "X": [ 125, 177, 178, 223, 255, 302 ], "Z": [ 124, 178, 302, 356 ] }, { "X": [ 120, 178, 179, 224, 256, 303 ], "Z": [ 125, 179, 303, 357 ] }, { "X": [ 121, 174, 179, 225, 257, 304 ], "Z": [ 120, 174, 304, 358 ] }, { "X": [ 122, 174, 175, 226, 252, 305 ], "Z": [ 121, 175, 305, 359 ] }, { "X": [ 123, 175, 176, 227, 253, 300 ], "Z": [ 122, 176, 300, 354 ] }, { "X": [ 2, 3, 130, 228, 260, 307 ], "Z": [ 3, 129, 181, 307 ] }, { "X": [ 3, 4, 131, 229, 261, 308 ], "Z": [ 4, 130, 182, 308 ] }, { "X": [ 4, 5, 126, 230, 262, 309 ], "Z": [ 5, 131, 183, 309 ] }, { "X": [ 0, 5, 127, 231, 263, 310 ], "Z": [ 0, 126, 184, 310 ] }, { "X": [ 0, 1, 128, 232, 258, 311 ], "Z": [ 1, 127, 185, 311 ] }, { "X": [ 1, 2, 129, 233, 259, 306 ], "Z": [ 2, 128, 180, 306 ] }, { "X": [ 8, 9, 136, 234, 266, 313 ], "Z": [ 9, 135, 187, 313 ] }, { "X": [ 9, 10, 137, 235, 267, 314 ], "Z": [ 10, 136, 188, 314 ] }, { "X": [ 10, 11, 132, 236, 268, 315 ], "Z": [ 11, 137, 189, 315 ] }, { "X": [ 6, 11, 133, 237, 269, 316 ], "Z": [ 6, 132, 190, 316 ] }, { "X": [ 6, 7, 134, 238, 264, 317 ], "Z": [ 7, 133, 191, 317 ] }, { "X": [ 7, 8, 135, 239, 265, 312 ], "Z": [ 8, 134, 186, 312 ] }, { "X": [ 14, 15, 142, 240, 272, 319 ], "Z": [ 15, 141, 193, 319 ] }, { "X": [ 15, 16, 143, 241, 273, 320 ], "Z": [ 16, 142, 194, 320 ] }, { "X": [ 16, 17, 138, 242, 274, 321 ], "Z": [ 17, 143, 195, 321 ] }, { "X": [ 12, 17, 139, 243, 275, 322 ], "Z": [ 12, 138, 196, 322 ] }, { "X": [ 12, 13, 140, 244, 270, 323 ], "Z": [ 13, 139, 197, 323 ] }, { "X": [ 13, 14, 141, 245, 271, 318 ], "Z": [ 14, 140, 192, 318 ] }, { "X": [ 20, 21, 148, 246, 278, 325 ], "Z": [ 21, 147, 199, 325 ] }, { "X": [ 21, 22, 149, 247, 279, 326 ], "Z": [ 22, 148, 200, 326 ] }, { "X": [ 22, 23, 144, 248, 280, 327 ], "Z": [ 23, 149, 201, 327 ] }, { "X": [ 18, 23, 145, 249, 281, 328 ], "Z": [ 18, 144, 202, 328 ] }, { "X": [ 18, 19, 146, 250, 276, 329 ], "Z": [ 19, 145, 203, 329 ] }, { "X": [ 19, 20, 147, 251, 277, 324 ], "Z": [ 20, 146, 198, 324 ] }, { "X": [ 26, 27, 154, 252, 284, 331 ], "Z": [ 27, 153, 205, 331 ] }, { "X": [ 27, 28, 155, 253, 285, 332 ], "Z": [ 28, 154, 206, 332 ] }, { "X": [ 28, 29, 150, 254, 286, 333 ], "Z": [ 29, 155, 207, 333 ] }, { "X": [ 24, 29, 151, 255, 287, 334 ], "Z": [ 24, 150, 208, 334 ] }, { "X": [ 24, 25, 152, 256, 282, 335 ], "Z": [ 25, 151, 209, 335 ] }, { "X": [ 25, 26, 153, 257, 283, 330 ], "Z": [ 26, 152, 204, 330 ] }, { "X": [ 32, 33, 160, 258, 290, 337 ], "Z": [ 33, 159, 211, 337 ] }, { "X": [ 33, 34, 161, 259, 291, 338 ], "Z": [ 34, 160, 212, 338 ] }, { "X": [ 34, 35, 156, 260, 292, 339 ], "Z": [ 35, 161, 213, 339 ] }, { "X": [ 30, 35, 157, 261, 293, 340 ], "Z": [ 30, 156, 214, 340 ] }, { "X": [ 30, 31, 158, 262, 288, 341 ], "Z": [ 31, 157, 215, 341 ] }, { "X": [ 31, 32, 159, 263, 289, 336 ], "Z": [ 32, 158, 210, 336 ] }, { "X": [ 38, 39, 166, 264, 296, 343 ], "Z": [ 39, 165, 217, 343 ] }, { "X": [ 39, 40, 167, 265, 297, 344 ], "Z": [ 40, 166, 218, 344 ] }, { "X": [ 40, 41, 162, 266, 298, 345 ], "Z": [ 41, 167, 219, 345 ] }, { "X": [ 36, 41, 163, 267, 299, 346 ], "Z": [ 36, 162, 220, 346 ] }, { "X": [ 36, 37, 164, 268, 294, 347 ], "Z": [ 37, 163, 221, 347 ] }, { "X": [ 37, 38, 165, 269, 295, 342 ], "Z": [ 38, 164, 216, 342 ] }, { "X": [ 44, 45, 172, 270, 302, 349 ], "Z": [ 45, 171, 223, 349 ] }, { "X": [ 45, 46, 173, 271, 303, 350 ], "Z": [ 46, 172, 224, 350 ] }, { "X": [ 46, 47, 168, 272, 304, 351 ], "Z": [ 47, 173, 225, 351 ] }, { "X": [ 42, 47, 169, 273, 305, 352 ], "Z": [ 42, 168, 226, 352 ] }, { "X": [ 42, 43, 170, 274, 300, 353 ], "Z": [ 43, 169, 227, 353 ] }, { "X": [ 43, 44, 171, 275, 301, 348 ], "Z": [ 44, 170, 222, 348 ] }, { "X": [ 50, 51, 178, 276, 308, 355 ], "Z": [ 51, 177, 229, 355 ] }, { "X": [ 51, 52, 179, 277, 309, 356 ], "Z": [ 52, 178, 230, 356 ] }, { "X": [ 52, 53, 174, 278, 310, 357 ], "Z": [ 53, 179, 231, 357 ] }, { "X": [ 48, 53, 175, 279, 311, 358 ], "Z": [ 48, 174, 232, 358 ] }, { "X": [ 48, 49, 176, 280, 306, 359 ], "Z": [ 49, 175, 233, 359 ] }, { "X": [ 49, 50, 177, 281, 307, 354 ], "Z": [ 50, 176, 228, 354 ] }, { "X": [ 4, 56, 57, 181, 282, 314 ], "Z": [ 3, 57, 181, 235 ] }, { "X": [ 5, 57, 58, 182, 283, 315 ], "Z": [ 4, 58, 182, 236 ] }, { "X": [ 0, 58, 59, 183, 284, 316 ], "Z": [ 5, 59, 183, 237 ] }, { "X": [ 1, 54, 59, 184, 285, 317 ], "Z": [ 0, 54, 184, 238 ] }, { "X": [ 2, 54, 55, 185, 286, 312 ], "Z": [ 1, 55, 185, 239 ] }, { "X": [ 3, 55, 56, 180, 287, 313 ], "Z": [ 2, 56, 180, 234 ] }, { "X": [ 10, 62, 63, 187, 288, 320 ], "Z": [ 9, 63, 187, 241 ] }, { "X": [ 11, 63, 64, 188, 289, 321 ], "Z": [ 10, 64, 188, 242 ] }, { "X": [ 6, 64, 65, 189, 290, 322 ], "Z": [ 11, 65, 189, 243 ] }, { "X": [ 7, 60, 65, 190, 291, 323 ], "Z": [ 6, 60, 190, 244 ] }, { "X": [ 8, 60, 61, 191, 292, 318 ], "Z": [ 7, 61, 191, 245 ] }, { "X": [ 9, 61, 62, 186, 293, 319 ], "Z": [ 8, 62, 186, 240 ] }, { "X": [ 16, 68, 69, 193, 294, 326 ], "Z": [ 15, 69, 193, 247 ] }, { "X": [ 17, 69, 70, 194, 295, 327 ], "Z": [ 16, 70, 194, 248 ] }, { "X": [ 12, 70, 71, 195, 296, 328 ], "Z": [ 17, 71, 195, 249 ] }, { "X": [ 13, 66, 71, 196, 297, 329 ], "Z": [ 12, 66, 196, 250 ] }, { "X": [ 14, 66, 67, 197, 298, 324 ], "Z": [ 13, 67, 197, 251 ] }, { "X": [ 15, 67, 68, 192, 299, 325 ], "Z": [ 14, 68, 192, 246 ] }, { "X": [ 22, 74, 75, 199, 300, 332 ], "Z": [ 21, 75, 199, 253 ] }, { "X": [ 23, 75, 76, 200, 301, 333 ], "Z": [ 22, 76, 200, 254 ] }, { "X": [ 18, 76, 77, 201, 302, 334 ], "Z": [ 23, 77, 201, 255 ] }, { "X": [ 19, 72, 77, 202, 303, 335 ], "Z": [ 18, 72, 202, 256 ] }, { "X": [ 20, 72, 73, 203, 304, 330 ], "Z": [ 19, 73, 203, 257 ] }, { "X": [ 21, 73, 74, 198, 305, 331 ], "Z": [ 20, 74, 198, 252 ] }, { "X": [ 28, 80, 81, 205, 306, 338 ], "Z": [ 27, 81, 205, 259 ] }, { "X": [ 29, 81, 82, 206, 307, 339 ], "Z": [ 28, 82, 206, 260 ] }, { "X": [ 24, 82, 83, 207, 308, 340 ], "Z": [ 29, 83, 207, 261 ] }, { "X": [ 25, 78, 83, 208, 309, 341 ], "Z": [ 24, 78, 208, 262 ] }, { "X": [ 26, 78, 79, 209, 310, 336 ], "Z": [ 25, 79, 209, 263 ] }, { "X": [ 27, 79, 80, 204, 311, 337 ], "Z": [ 26, 80, 204, 258 ] }, { "X": [ 34, 86, 87, 211, 312, 344 ], "Z": [ 33, 87, 211, 265 ] }, { "X": [ 35, 87, 88, 212, 313, 345 ], "Z": [ 34, 88, 212, 266 ] }, { "X": [ 30, 88, 89, 213, 314, 346 ], "Z": [ 35, 89, 213, 267 ] }, { "X": [ 31, 84, 89, 214, 315, 347 ], "Z": [ 30, 84, 214, 268 ] }, { "X": [ 32, 84, 85, 215, 316, 342 ], "Z": [ 31, 85, 215, 269 ] }, { "X": [ 33, 85, 86, 210, 317, 343 ], "Z": [ 32, 86, 210, 264 ] }, { "X": [ 40, 92, 93, 217, 318, 350 ], "Z": [ 39, 93, 217, 271 ] }, { "X": [ 41, 93, 94, 218, 319, 351 ], "Z": [ 40, 94, 218, 272 ] }, { "X": [ 36, 94, 95, 219, 320, 352 ], "Z": [ 41, 95, 219, 273 ] }, { "X": [ 37, 90, 95, 220, 321, 353 ], "Z": [ 36, 90, 220, 274 ] }, { "X": [ 38, 90, 91, 221, 322, 348 ], "Z": [ 37, 91, 221, 275 ] }, { "X": [ 39, 91, 92, 216, 323, 349 ], "Z": [ 38, 92, 216, 270 ] }, { "X": [ 46, 98, 99, 223, 324, 356 ], "Z": [ 45, 99, 223, 277 ] }, { "X": [ 47, 99, 100, 224, 325, 357 ], "Z": [ 46, 100, 224, 278 ] }, { "X": [ 42, 100, 101, 225, 326, 358 ], "Z": [ 47, 101, 225, 279 ] }, { "X": [ 43, 96, 101, 226, 327, 359 ], "Z": [ 42, 96, 226, 280 ] }, { "X": [ 44, 96, 97, 227, 328, 354 ], "Z": [ 43, 97, 227, 281 ] }, { "X": [ 45, 97, 98, 222, 329, 355 ], "Z": [ 44, 98, 222, 276 ] }, { "X": [ 52, 104, 105, 182, 229, 330 ], "Z": [ 51, 105, 229, 283 ] }, { "X": [ 53, 105, 106, 183, 230, 331 ], "Z": [ 52, 106, 230, 284 ] }, { "X": [ 48, 106, 107, 184, 231, 332 ], "Z": [ 53, 107, 231, 285 ] }, { "X": [ 49, 102, 107, 185, 232, 333 ], "Z": [ 48, 102, 232, 286 ] }, { "X": [ 50, 102, 103, 180, 233, 334 ], "Z": [ 49, 103, 233, 287 ] }, { "X": [ 51, 103, 104, 181, 228, 335 ], "Z": [ 50, 104, 228, 282 ] }, { "X": [ 58, 110, 111, 188, 235, 336 ], "Z": [ 57, 111, 235, 289 ] }, { "X": [ 59, 111, 112, 189, 236, 337 ], "Z": [ 58, 112, 236, 290 ] }, { "X": [ 54, 112, 113, 190, 237, 338 ], "Z": [ 59, 113, 237, 291 ] }, { "X": [ 55, 108, 113, 191, 238, 339 ], "Z": [ 54, 108, 238, 292 ] }, { "X": [ 56, 108, 109, 186, 239, 340 ], "Z": [ 55, 109, 239, 293 ] }, { "X": [ 57, 109, 110, 187, 234, 341 ], "Z": [ 56, 110, 234, 288 ] }, { "X": [ 64, 116, 117, 194, 241, 342 ], "Z": [ 63, 117, 241, 295 ] }, { "X": [ 65, 117, 118, 195, 242, 343 ], "Z": [ 64, 118, 242, 296 ] }, { "X": [ 60, 118, 119, 196, 243, 344 ], "Z": [ 65, 119, 243, 297 ] }, { "X": [ 61, 114, 119, 197, 244, 345 ], "Z": [ 60, 114, 244, 298 ] }, { "X": [ 62, 114, 115, 192, 245, 346 ], "Z": [ 61, 115, 245, 299 ] }, { "X": [ 63, 115, 116, 193, 240, 347 ], "Z": [ 62, 116, 240, 294 ] }, { "X": [ 70, 122, 123, 200, 247, 348 ], "Z": [ 69, 123, 247, 301 ] }, { "X": [ 71, 123, 124, 201, 248, 349 ], "Z": [ 70, 124, 248, 302 ] }, { "X": [ 66, 124, 125, 202, 249, 350 ], "Z": [ 71, 125, 249, 303 ] }, { "X": [ 67, 120, 125, 203, 250, 351 ], "Z": [ 66, 120, 250, 304 ] }, { "X": [ 68, 120, 121, 198, 251, 352 ], "Z": [ 67, 121, 251, 305 ] }, { "X": [ 69, 121, 122, 199, 246, 353 ], "Z": [ 68, 122, 246, 300 ] }, { "X": [ 76, 128, 129, 206, 253, 354 ], "Z": [ 75, 129, 253, 307 ] }, { "X": [ 77, 129, 130, 207, 254, 355 ], "Z": [ 76, 130, 254, 308 ] }, { "X": [ 72, 130, 131, 208, 255, 356 ], "Z": [ 77, 131, 255, 309 ] }, { "X": [ 73, 126, 131, 209, 256, 357 ], "Z": [ 72, 126, 256, 310 ] }, { "X": [ 74, 126, 127, 204, 257, 358 ], "Z": [ 73, 127, 257, 311 ] }, { "X": [ 75, 127, 128, 205, 252, 359 ], "Z": [ 74, 128, 252, 306 ] }, { "X": [], "Z": [ 0, 107, 154, 231, 232, 284 ] }, { "X": [], "Z": [ 1, 102, 155, 232, 233, 285 ] }, { "X": [], "Z": [ 2, 103, 150, 228, 233, 286 ] }, { "X": [], "Z": [ 3, 104, 151, 228, 229, 287 ] }, { "X": [], "Z": [ 4, 105, 152, 229, 230, 282 ] }, { "X": [], "Z": [ 5, 106, 153, 230, 231, 283 ] }, { "X": [], "Z": [ 6, 113, 160, 237, 238, 290 ] }, { "X": [], "Z": [ 7, 108, 161, 238, 239, 291 ] }, { "X": [], "Z": [ 8, 109, 156, 234, 239, 292 ] }, { "X": [], "Z": [ 9, 110, 157, 234, 235, 293 ] }, { "X": [], "Z": [ 10, 111, 158, 235, 236, 288 ] }, { "X": [], "Z": [ 11, 112, 159, 236, 237, 289 ] }, { "X": [], "Z": [ 12, 119, 166, 243, 244, 296 ] }, { "X": [], "Z": [ 13, 114, 167, 244, 245, 297 ] }, { "X": [], "Z": [ 14, 115, 162, 240, 245, 298 ] }, { "X": [], "Z": [ 15, 116, 163, 240, 241, 299 ] }, { "X": [], "Z": [ 16, 117, 164, 241, 242, 294 ] }, { "X": [], "Z": [ 17, 118, 165, 242, 243, 295 ] }, { "X": [], "Z": [ 18, 125, 172, 249, 250, 302 ] }, { "X": [], "Z": [ 19, 120, 173, 250, 251, 303 ] }, { "X": [], "Z": [ 20, 121, 168, 246, 251, 304 ] }, { "X": [], "Z": [ 21, 122, 169, 246, 247, 305 ] }, { "X": [], "Z": [ 22, 123, 170, 247, 248, 300 ] }, { "X": [], "Z": [ 23, 124, 171, 248, 249, 301 ] }, { "X": [], "Z": [ 24, 131, 178, 255, 256, 308 ] }, { "X": [], "Z": [ 25, 126, 179, 256, 257, 309 ] }, { "X": [], "Z": [ 26, 127, 174, 252, 257, 310 ] }, { "X": [], "Z": [ 27, 128, 175, 252, 253, 311 ] }, { "X": [], "Z": [ 28, 129, 176, 253, 254, 306 ] }, { "X": [], "Z": [ 29, 130, 177, 254, 255, 307 ] }, { "X": [], "Z": [ 4, 30, 137, 261, 262, 314 ] }, { "X": [], "Z": [ 5, 31, 132, 262, 263, 315 ] }, { "X": [], "Z": [ 0, 32, 133, 258, 263, 316 ] }, { "X": [], "Z": [ 1, 33, 134, 258, 259, 317 ] }, { "X": [], "Z": [ 2, 34, 135, 259, 260, 312 ] }, { "X": [], "Z": [ 3, 35, 136, 260, 261, 313 ] }, { "X": [], "Z": [ 10, 36, 143, 267, 268, 320 ] }, { "X": [], "Z": [ 11, 37, 138, 268, 269, 321 ] }, { "X": [], "Z": [ 6, 38, 139, 264, 269, 322 ] }, { "X": [], "Z": [ 7, 39, 140, 264, 265, 323 ] }, { "X": [], "Z": [ 8, 40, 141, 265, 266, 318 ] }, { "X": [], "Z": [ 9, 41, 142, 266, 267, 319 ] }, { "X": [], "Z": [ 16, 42, 149, 273, 274, 326 ] }, { "X": [], "Z": [ 17, 43, 144, 274, 275, 327 ] }, { "X": [], "Z": [ 12, 44, 145, 270, 275, 328 ] }, { "X": [], "Z": [ 13, 45, 146, 270, 271, 329 ] }, { "X": [], "Z": [ 14, 46, 147, 271, 272, 324 ] }, { "X": [], "Z": [ 15, 47, 148, 272, 273, 325 ] }, { "X": [], "Z": [ 22, 48, 155, 279, 280, 332 ] }, { "X": [], "Z": [ 23, 49, 150, 280, 281, 333 ] }, { "X": [], "Z": [ 18, 50, 151, 276, 281, 334 ] }, { "X": [], "Z": [ 19, 51, 152, 276, 277, 335 ] }, { "X": [], "Z": [ 20, 52, 153, 277, 278, 330 ] }, { "X": [], "Z": [ 21, 53, 154, 278, 279, 331 ] }, { "X": [], "Z": [ 28, 54, 161, 285, 286, 338 ] }, { "X": [], "Z": [ 29, 55, 156, 286, 287, 339 ] }, { "X": [], "Z": [ 24, 56, 157, 282, 287, 340 ] }, { "X": [], "Z": [ 25, 57, 158, 282, 283, 341 ] }, { "X": [], "Z": [ 26, 58, 159, 283, 284, 336 ] }, { "X": [], "Z": [ 27, 59, 160, 284, 285, 337 ] }, { "X": [], "Z": [ 34, 60, 167, 291, 292, 344 ] }, { "X": [], "Z": [ 35, 61, 162, 292, 293, 345 ] }, { "X": [], "Z": [ 30, 62, 163, 288, 293, 346 ] }, { "X": [], "Z": [ 31, 63, 164, 288, 289, 347 ] }, { "X": [], "Z": [ 32, 64, 165, 289, 290, 342 ] }, { "X": [], "Z": [ 33, 65, 166, 290, 291, 343 ] }, { "X": [], "Z": [ 40, 66, 173, 297, 298, 350 ] }, { "X": [], "Z": [ 41, 67, 168, 298, 299, 351 ] }, { "X": [], "Z": [ 36, 68, 169, 294, 299, 352 ] }, { "X": [], "Z": [ 37, 69, 170, 294, 295, 353 ] }, { "X": [], "Z": [ 38, 70, 171, 295, 296, 348 ] }, { "X": [], "Z": [ 39, 71, 172, 296, 297, 349 ] }, { "X": [], "Z": [ 46, 72, 179, 303, 304, 356 ] }, { "X": [], "Z": [ 47, 73, 174, 304, 305, 357 ] }, { "X": [], "Z": [ 42, 74, 175, 300, 305, 358 ] }, { "X": [], "Z": [ 43, 75, 176, 300, 301, 359 ] }, { "X": [], "Z": [ 44, 76, 177, 301, 302, 354 ] }, { "X": [], "Z": [ 45, 77, 178, 302, 303, 355 ] }, { "X": [], "Z": [ 5, 52, 78, 182, 309, 310 ] }, { "X": [], "Z": [ 0, 53, 79, 183, 310, 311 ] }, { "X": [], "Z": [ 1, 48, 80, 184, 306, 311 ] }, { "X": [], "Z": [ 2, 49, 81, 185, 306, 307 ] }, { "X": [], "Z": [ 3, 50, 82, 180, 307, 308 ] }, { "X": [], "Z": [ 4, 51, 83, 181, 308, 309 ] }, { "X": [], "Z": [ 11, 58, 84, 188, 315, 316 ] }, { "X": [], "Z": [ 6, 59, 85, 189, 316, 317 ] }, { "X": [], "Z": [ 7, 54, 86, 190, 312, 317 ] }, { "X": [], "Z": [ 8, 55, 87, 191, 312, 313 ] }, { "X": [], "Z": [ 9, 56, 88, 186, 313, 314 ] }, { "X": [], "Z": [ 10, 57, 89, 187, 314, 315 ] }, { "X": [], "Z": [ 17, 64, 90, 194, 321, 322 ] }, { "X": [], "Z": [ 12, 65, 91, 195, 322, 323 ] }, { "X": [], "Z": [ 13, 60, 92, 196, 318, 323 ] }, { "X": [], "Z": [ 14, 61, 93, 197, 318, 319 ] }, { "X": [], "Z": [ 15, 62, 94, 192, 319, 320 ] }, { "X": [], "Z": [ 16, 63, 95, 193, 320, 321 ] }, { "X": [], "Z": [ 23, 70, 96, 200, 327, 328 ] }, { "X": [], "Z": [ 18, 71, 97, 201, 328, 329 ] }, { "X": [], "Z": [ 19, 66, 98, 202, 324, 329 ] }, { "X": [], "Z": [ 20, 67, 99, 203, 324, 325 ] }, { "X": [], "Z": [ 21, 68, 100, 198, 325, 326 ] }, { "X": [], "Z": [ 22, 69, 101, 199, 326, 327 ] }, { "X": [], "Z": [ 29, 76, 102, 206, 333, 334 ] }, { "X": [], "Z": [ 24, 77, 103, 207, 334, 335 ] }, { "X": [], "Z": [ 25, 72, 104, 208, 330, 335 ] }, { "X": [], "Z": [ 26, 73, 105, 209, 330, 331 ] }, { "X": [], "Z": [ 27, 74, 106, 204, 331, 332 ] }, { "X": [], "Z": [ 28, 75, 107, 205, 332, 333 ] }, { "X": [], "Z": [ 35, 82, 108, 212, 339, 340 ] }, { "X": [], "Z": [ 30, 83, 109, 213, 340, 341 ] }, { "X": [], "Z": [ 31, 78, 110, 214, 336, 341 ] }, { "X": [], "Z": [ 32, 79, 111, 215, 336, 337 ] }, { "X": [], "Z": [ 33, 80, 112, 210, 337, 338 ] }, { "X": [], "Z": [ 34, 81, 113, 211, 338, 339 ] }, { "X": [], "Z": [ 41, 88, 114, 218, 345, 346 ] }, { "X": [], "Z": [ 36, 89, 115, 219, 346, 347 ] }, { "X": [], "Z": [ 37, 84, 116, 220, 342, 347 ] }, { "X": [], "Z": [ 38, 85, 117, 221, 342, 343 ] }, { "X": [], "Z": [ 39, 86, 118, 216, 343, 344 ] }, { "X": [], "Z": [ 40, 87, 119, 217, 344, 345 ] }, { "X": [], "Z": [ 47, 94, 120, 224, 351, 352 ] }, { "X": [], "Z": [ 42, 95, 121, 225, 352, 353 ] }, { "X": [], "Z": [ 43, 90, 122, 226, 348, 353 ] }, { "X": [], "Z": [ 44, 91, 123, 227, 348, 349 ] }, { "X": [], "Z": [ 45, 92, 124, 222, 349, 350 ] }, { "X": [], "Z": [ 46, 93, 125, 223, 350, 351 ] }, { "X": [], "Z": [ 53, 100, 126, 230, 357, 358 ] }, { "X": [], "Z": [ 48, 101, 127, 231, 358, 359 ] }, { "X": [], "Z": [ 49, 96, 128, 232, 354, 359 ] }, { "X": [], "Z": [ 50, 97, 129, 233, 354, 355 ] }, { "X": [], "Z": [ 51, 98, 130, 228, 355, 356 ] }, { "X": [], "Z": [ 52, 99, 131, 229, 356, 357 ] }, { "X": [], "Z": [ 59, 106, 132, 183, 184, 236 ] }, { "X": [], "Z": [ 54, 107, 133, 184, 185, 237 ] }, { "X": [], "Z": [ 55, 102, 134, 180, 185, 238 ] }, { "X": [], "Z": [ 56, 103, 135, 180, 181, 239 ] }, { "X": [], "Z": [ 57, 104, 136, 181, 182, 234 ] }, { "X": [], "Z": [ 58, 105, 137, 182, 183, 235 ] }, { "X": [], "Z": [ 65, 112, 138, 189, 190, 242 ] }, { "X": [], "Z": [ 60, 113, 139, 190, 191, 243 ] }, { "X": [], "Z": [ 61, 108, 140, 186, 191, 244 ] }, { "X": [], "Z": [ 62, 109, 141, 186, 187, 245 ] }, { "X": [], "Z": [ 63, 110, 142, 187, 188, 240 ] }, { "X": [], "Z": [ 64, 111, 143, 188, 189, 241 ] }, { "X": [], "Z": [ 71, 118, 144, 195, 196, 248 ] }, { "X": [], "Z": [ 66, 119, 145, 196, 197, 249 ] }, { "X": [], "Z": [ 67, 114, 146, 192, 197, 250 ] }, { "X": [], "Z": [ 68, 115, 147, 192, 193, 251 ] }, { "X": [], "Z": [ 69, 116, 148, 193, 194, 246 ] }, { "X": [], "Z": [ 70, 117, 149, 194, 195, 247 ] }, { "X": [], "Z": [ 77, 124, 150, 201, 202, 254 ] }, { "X": [], "Z": [ 72, 125, 151, 202, 203, 255 ] }, { "X": [], "Z": [ 73, 120, 152, 198, 203, 256 ] }, { "X": [], "Z": [ 74, 121, 153, 198, 199, 257 ] }, { "X": [], "Z": [ 75, 122, 154, 199, 200, 252 ] }, { "X": [], "Z": [ 76, 123, 155, 200, 201, 253 ] }, { "X": [], "Z": [ 83, 130, 156, 207, 208, 260 ] }, { "X": [], "Z": [ 78, 131, 157, 208, 209, 261 ] }, { "X": [], "Z": [ 79, 126, 158, 204, 209, 262 ] }, { "X": [], "Z": [ 80, 127, 159, 204, 205, 263 ] }, { "X": [], "Z": [ 81, 128, 160, 205, 206, 258 ] }, { "X": [], "Z": [ 82, 129, 161, 206, 207, 259 ] }, { "X": [], "Z": [ 89, 136, 162, 213, 214, 266 ] }, { "X": [], "Z": [ 84, 137, 163, 214, 215, 267 ] }, { "X": [], "Z": [ 85, 132, 164, 210, 215, 268 ] }, { "X": [], "Z": [ 86, 133, 165, 210, 211, 269 ] }, { "X": [], "Z": [ 87, 134, 166, 211, 212, 264 ] }, { "X": [], "Z": [ 88, 135, 167, 212, 213, 265 ] }, { "X": [], "Z": [ 95, 142, 168, 219, 220, 272 ] }, { "X": [], "Z": [ 90, 143, 169, 220, 221, 273 ] }, { "X": [], "Z": [ 91, 138, 170, 216, 221, 274 ] }, { "X": [], "Z": [ 92, 139, 171, 216, 217, 275 ] }, { "X": [], "Z": [ 93, 140, 172, 217, 218, 270 ] }, { "X": [], "Z": [ 94, 141, 173, 218, 219, 271 ] }, { "X": [], "Z": [ 101, 148, 174, 225, 226, 278 ] }, { "X": [], "Z": [ 96, 149, 175, 226, 227, 279 ] }, { "X": [], "Z": [ 97, 144, 176, 222, 227, 280 ] }, { "X": [], "Z": [ 98, 145, 177, 222, 223, 281 ] }, { "X": [], "Z": [ 99, 146, 178, 223, 224, 276 ] }, { "X": [], "Z": [ 100, 147, 179, 224, 225, 277 ] } ] }, "distance": { "d": 20, "P": { "value": 20, "confidence": "upper_bound", "witness": { "X": [], "Z": [ 11, 20, 31, 47, 68, 105, 158, 164, 168, 169, 183, 215, 251, 283, 289, 294, 315, 316, 325, 330 ] } } }, "provenance": { "authors": [ "@cbjuan" ], "construction": "Perturbed bivariate bicycle (PBB) code: ell=30, m=6; A=x^13y^4+x^22y^3+x^22y^2, B=1+x^13y+x^5y^2, C-perturbation=x^13y^3+x^22y^3, D-perturbation=x^13y+x^22y (0-indexed exponent pairs: A=[[13,4],[22,3],[22,2]], B=[[0,0],[13,1],[5,2]], C=[[13,3],[22,3]], D=[[13,1],[22,1]]); code_id 30_6_... bliss_hash 5012d8bafff7fd2b (qcode-discovery @ d6abdbd).", "origin": "submission", "date": "2026-10-07", "model": "Claude Opus 4.6, GPT-5.3-Codex, Gemini 3.1 Pro", "notes": "Checked for duplication against the current board: no existing stabilizer-board entry at this [[n,k,d]]. First published in arXiv:2606.02418." }, "family": "bivariate-bicycle" }