{ "schema_version": "0.4", "name": "[[355,144,7]] symplectic-halved CPM pair-partition fold", "code_type": "stabilizer", "n": 355, "k": 144, "checks": { "S": [ { "X": [ 32, 80, 152, 283, 340 ], "Z": [ 21, 90, 175, 227, 309 ] }, { "X": [ 33, 81, 153, 213, 341 ], "Z": [ 20, 89, 174, 226, 308 ] }, { "X": [ 34, 82, 154, 214, 342 ], "Z": [ 19, 88, 173, 225, 307 ] }, { "X": [ 35, 83, 155, 215, 343 ], "Z": [ 18, 87, 172, 224, 306 ] }, { "X": [ 36, 84, 156, 216, 344 ], "Z": [ 17, 86, 171, 223, 305 ] }, { "X": [ 37, 85, 157, 217, 345 ], "Z": [ 16, 85, 170, 222, 304 ] }, { "X": [ 38, 86, 158, 218, 346 ], "Z": [ 15, 84, 169, 221, 303 ] }, { "X": [ 39, 87, 159, 219, 347 ], "Z": [ 14, 83, 168, 220, 302 ] }, { "X": [ 40, 88, 160, 220, 348 ], "Z": [ 13, 82, 167, 219, 301 ] }, { "X": [ 41, 89, 161, 221, 349 ], "Z": [ 12, 81, 166, 218, 300 ] }, { "X": [ 42, 90, 162, 222, 350 ], "Z": [ 11, 80, 165, 217, 299 ] }, { "X": [ 43, 91, 163, 223, 351 ], "Z": [ 10, 79, 164, 216, 298 ] }, { "X": [ 44, 92, 164, 224, 352 ], "Z": [ 9, 78, 163, 215, 297 ] }, { "X": [ 45, 93, 165, 225, 353 ], "Z": [ 8, 77, 162, 214, 296 ] }, { "X": [ 46, 94, 166, 226, 354 ], "Z": [ 7, 76, 161, 213, 295 ] }, { "X": [ 47, 95, 167, 227, 284 ], "Z": [ 6, 75, 160, 283, 294 ] }, { "X": [ 48, 96, 168, 228, 285 ], "Z": [ 5, 74, 159, 282, 293 ] }, { "X": [ 49, 97, 169, 229, 286 ], "Z": [ 4, 73, 158, 281, 292 ] }, { "X": [ 50, 98, 170, 230, 287 ], "Z": [ 3, 72, 157, 280, 291 ] }, { "X": [ 51, 99, 171, 231, 288 ], "Z": [ 2, 71, 156, 279, 290 ] }, { "X": [ 52, 100, 172, 232, 289 ], "Z": [ 1, 141, 155, 278, 289 ] }, { "X": [ 53, 101, 173, 233, 290 ], "Z": [ 0, 140, 154, 277, 288 ] }, { "X": [ 54, 102, 174, 234, 291 ], "Z": [ 70, 139, 153, 276, 287 ] }, { "X": [ 55, 103, 175, 235, 292 ], "Z": [ 69, 138, 152, 275, 286 ] }, { "X": [ 56, 104, 176, 236, 293 ], "Z": [ 68, 137, 151, 274, 285 ] }, { "X": [ 57, 105, 177, 237, 294 ], "Z": [ 67, 136, 150, 273, 284 ] }, { "X": [ 58, 106, 178, 238, 295 ], "Z": [ 66, 135, 149, 272, 354 ] }, { "X": [ 59, 107, 179, 239, 296 ], "Z": [ 65, 134, 148, 271, 353 ] }, { "X": [ 60, 108, 180, 240, 297 ], "Z": [ 64, 133, 147, 270, 352 ] }, { "X": [ 61, 109, 181, 241, 298 ], "Z": [ 63, 132, 146, 269, 351 ] }, { "X": [ 62, 110, 182, 242, 299 ], "Z": [ 62, 131, 145, 268, 350 ] }, { "X": [ 63, 111, 183, 243, 300 ], "Z": [ 61, 130, 144, 267, 349 ] }, { "X": [ 64, 112, 184, 244, 301 ], "Z": [ 60, 129, 143, 266, 348 ] }, { "X": [ 65, 113, 185, 245, 302 ], "Z": [ 59, 128, 142, 265, 347 ] }, { "X": [ 66, 114, 186, 246, 303 ], "Z": [ 58, 127, 212, 264, 346 ] }, { "X": [ 67, 115, 187, 247, 304 ], "Z": [ 57, 126, 211, 263, 345 ] }, { "X": [ 68, 116, 188, 248, 305 ], "Z": [ 56, 125, 210, 262, 344 ] }, { "X": [ 69, 117, 189, 249, 306 ], "Z": [ 55, 124, 209, 261, 343 ] }, { "X": [ 70, 118, 190, 250, 307 ], "Z": [ 54, 123, 208, 260, 342 ] }, { "X": [ 0, 119, 191, 251, 308 ], "Z": [ 53, 122, 207, 259, 341 ] }, { "X": [ 1, 120, 192, 252, 309 ], "Z": [ 52, 121, 206, 258, 340 ] }, { "X": [ 2, 121, 193, 253, 310 ], "Z": [ 51, 120, 205, 257, 339 ] }, { "X": [ 3, 122, 194, 254, 311 ], "Z": [ 50, 119, 204, 256, 338 ] }, { "X": [ 4, 123, 195, 255, 312 ], "Z": [ 49, 118, 203, 255, 337 ] }, { "X": [ 5, 124, 196, 256, 313 ], "Z": [ 48, 117, 202, 254, 336 ] }, { "X": [ 6, 125, 197, 257, 314 ], "Z": [ 47, 116, 201, 253, 335 ] }, { "X": [ 7, 126, 198, 258, 315 ], "Z": [ 46, 115, 200, 252, 334 ] }, { "X": [ 8, 127, 199, 259, 316 ], "Z": [ 45, 114, 199, 251, 333 ] }, { "X": [ 9, 128, 200, 260, 317 ], "Z": [ 44, 113, 198, 250, 332 ] }, { "X": [ 10, 129, 201, 261, 318 ], "Z": [ 43, 112, 197, 249, 331 ] }, { "X": [ 11, 130, 202, 262, 319 ], "Z": [ 42, 111, 196, 248, 330 ] }, { "X": [ 12, 131, 203, 263, 320 ], "Z": [ 41, 110, 195, 247, 329 ] }, { "X": [ 13, 132, 204, 264, 321 ], "Z": [ 40, 109, 194, 246, 328 ] }, { "X": [ 14, 133, 205, 265, 322 ], "Z": [ 39, 108, 193, 245, 327 ] }, { "X": [ 15, 134, 206, 266, 323 ], "Z": [ 38, 107, 192, 244, 326 ] }, { "X": [ 16, 135, 207, 267, 324 ], "Z": [ 37, 106, 191, 243, 325 ] }, { "X": [ 17, 136, 208, 268, 325 ], "Z": [ 36, 105, 190, 242, 324 ] }, { "X": [ 18, 137, 209, 269, 326 ], "Z": [ 35, 104, 189, 241, 323 ] }, { "X": [ 19, 138, 210, 270, 327 ], "Z": [ 34, 103, 188, 240, 322 ] }, { "X": [ 20, 139, 211, 271, 328 ], "Z": [ 33, 102, 187, 239, 321 ] }, { "X": [ 21, 140, 212, 272, 329 ], "Z": [ 32, 101, 186, 238, 320 ] }, { "X": [ 22, 141, 142, 273, 330 ], "Z": [ 31, 100, 185, 237, 319 ] }, { "X": [ 23, 71, 143, 274, 331 ], "Z": [ 30, 99, 184, 236, 318 ] }, { "X": [ 24, 72, 144, 275, 332 ], "Z": [ 29, 98, 183, 235, 317 ] }, { "X": [ 25, 73, 145, 276, 333 ], "Z": [ 28, 97, 182, 234, 316 ] }, { "X": [ 26, 74, 146, 277, 334 ], "Z": [ 27, 96, 181, 233, 315 ] }, { "X": [ 27, 75, 147, 278, 335 ], "Z": [ 26, 95, 180, 232, 314 ] }, { "X": [ 28, 76, 148, 279, 336 ], "Z": [ 25, 94, 179, 231, 313 ] }, { "X": [ 29, 77, 149, 280, 337 ], "Z": [ 24, 93, 178, 230, 312 ] }, { "X": [ 30, 78, 150, 281, 338 ], "Z": [ 23, 92, 177, 229, 311 ] }, { "X": [ 31, 79, 151, 282, 339 ], "Z": [ 22, 91, 176, 228, 310 ] }, { "X": [ 11, 115, 206, 252, 319 ], "Z": [ 15, 90, 206, 273, 309 ] }, { "X": [ 12, 116, 207, 253, 320 ], "Z": [ 14, 89, 205, 272, 308 ] }, { "X": [ 13, 117, 208, 254, 321 ], "Z": [ 13, 88, 204, 271, 307 ] }, { "X": [ 14, 118, 209, 255, 322 ], "Z": [ 12, 87, 203, 270, 306 ] }, { "X": [ 15, 119, 210, 256, 323 ], "Z": [ 11, 86, 202, 269, 305 ] }, { "X": [ 16, 120, 211, 257, 324 ], "Z": [ 10, 85, 201, 268, 304 ] }, { "X": [ 17, 121, 212, 258, 325 ], "Z": [ 9, 84, 200, 267, 303 ] }, { "X": [ 18, 122, 142, 259, 326 ], "Z": [ 8, 83, 199, 266, 302 ] }, { "X": [ 19, 123, 143, 260, 327 ], "Z": [ 7, 82, 198, 265, 301 ] }, { "X": [ 20, 124, 144, 261, 328 ], "Z": [ 6, 81, 197, 264, 300 ] }, { "X": [ 21, 125, 145, 262, 329 ], "Z": [ 5, 80, 196, 263, 299 ] }, { "X": [ 22, 126, 146, 263, 330 ], "Z": [ 4, 79, 195, 262, 298 ] }, { "X": [ 23, 127, 147, 264, 331 ], "Z": [ 3, 78, 194, 261, 297 ] }, { "X": [ 24, 128, 148, 265, 332 ], "Z": [ 2, 77, 193, 260, 296 ] }, { "X": [ 25, 129, 149, 266, 333 ], "Z": [ 1, 76, 192, 259, 295 ] }, { "X": [ 26, 130, 150, 267, 334 ], "Z": [ 0, 75, 191, 258, 294 ] }, { "X": [ 27, 131, 151, 268, 335 ], "Z": [ 70, 74, 190, 257, 293 ] }, { "X": [ 28, 132, 152, 269, 336 ], "Z": [ 69, 73, 189, 256, 292 ] }, { "X": [ 29, 133, 153, 270, 337 ], "Z": [ 68, 72, 188, 255, 291 ] }, { "X": [ 30, 134, 154, 271, 338 ], "Z": [ 67, 71, 187, 254, 290 ] }, { "X": [ 31, 135, 155, 272, 339 ], "Z": [ 66, 141, 186, 253, 289 ] }, { "X": [ 32, 136, 156, 273, 340 ], "Z": [ 65, 140, 185, 252, 288 ] }, { "X": [ 33, 137, 157, 274, 341 ], "Z": [ 64, 139, 184, 251, 287 ] }, { "X": [ 34, 138, 158, 275, 342 ], "Z": [ 63, 138, 183, 250, 286 ] }, { "X": [ 35, 139, 159, 276, 343 ], "Z": [ 62, 137, 182, 249, 285 ] }, { "X": [ 36, 140, 160, 277, 344 ], "Z": [ 61, 136, 181, 248, 284 ] }, { "X": [ 37, 141, 161, 278, 345 ], "Z": [ 60, 135, 180, 247, 354 ] }, { "X": [ 38, 71, 162, 279, 346 ], "Z": [ 59, 134, 179, 246, 353 ] }, { "X": [ 39, 72, 163, 280, 347 ], "Z": [ 58, 133, 178, 245, 352 ] }, { "X": [ 40, 73, 164, 281, 348 ], "Z": [ 57, 132, 177, 244, 351 ] }, { "X": [ 41, 74, 165, 282, 349 ], "Z": [ 56, 131, 176, 243, 350 ] }, { "X": [ 42, 75, 166, 283, 350 ], "Z": [ 55, 130, 175, 242, 349 ] }, { "X": [ 43, 76, 167, 213, 351 ], "Z": [ 54, 129, 174, 241, 348 ] }, { "X": [ 44, 77, 168, 214, 352 ], "Z": [ 53, 128, 173, 240, 347 ] }, { "X": [ 45, 78, 169, 215, 353 ], "Z": [ 52, 127, 172, 239, 346 ] }, { "X": [ 46, 79, 170, 216, 354 ], "Z": [ 51, 126, 171, 238, 345 ] }, { "X": [ 47, 80, 171, 217, 284 ], "Z": [ 50, 125, 170, 237, 344 ] }, { "X": [ 48, 81, 172, 218, 285 ], "Z": [ 49, 124, 169, 236, 343 ] }, { "X": [ 49, 82, 173, 219, 286 ], "Z": [ 48, 123, 168, 235, 342 ] }, { "X": [ 50, 83, 174, 220, 287 ], "Z": [ 47, 122, 167, 234, 341 ] }, { "X": [ 51, 84, 175, 221, 288 ], "Z": [ 46, 121, 166, 233, 340 ] }, { "X": [ 52, 85, 176, 222, 289 ], "Z": [ 45, 120, 165, 232, 339 ] }, { "X": [ 53, 86, 177, 223, 290 ], "Z": [ 44, 119, 164, 231, 338 ] }, { "X": [ 54, 87, 178, 224, 291 ], "Z": [ 43, 118, 163, 230, 337 ] }, { "X": [ 55, 88, 179, 225, 292 ], "Z": [ 42, 117, 162, 229, 336 ] }, { "X": [ 56, 89, 180, 226, 293 ], "Z": [ 41, 116, 161, 228, 335 ] }, { "X": [ 57, 90, 181, 227, 294 ], "Z": [ 40, 115, 160, 227, 334 ] }, { "X": [ 58, 91, 182, 228, 295 ], "Z": [ 39, 114, 159, 226, 333 ] }, { "X": [ 59, 92, 183, 229, 296 ], "Z": [ 38, 113, 158, 225, 332 ] }, { "X": [ 60, 93, 184, 230, 297 ], "Z": [ 37, 112, 157, 224, 331 ] }, { "X": [ 61, 94, 185, 231, 298 ], "Z": [ 36, 111, 156, 223, 330 ] }, { "X": [ 62, 95, 186, 232, 299 ], "Z": [ 35, 110, 155, 222, 329 ] }, { "X": [ 63, 96, 187, 233, 300 ], "Z": [ 34, 109, 154, 221, 328 ] }, { "X": [ 64, 97, 188, 234, 301 ], "Z": [ 33, 108, 153, 220, 327 ] }, { "X": [ 65, 98, 189, 235, 302 ], "Z": [ 32, 107, 152, 219, 326 ] }, { "X": [ 66, 99, 190, 236, 303 ], "Z": [ 31, 106, 151, 218, 325 ] }, { "X": [ 67, 100, 191, 237, 304 ], "Z": [ 30, 105, 150, 217, 324 ] }, { "X": [ 68, 101, 192, 238, 305 ], "Z": [ 29, 104, 149, 216, 323 ] }, { "X": [ 69, 102, 193, 239, 306 ], "Z": [ 28, 103, 148, 215, 322 ] }, { "X": [ 70, 103, 194, 240, 307 ], "Z": [ 27, 102, 147, 214, 321 ] }, { "X": [ 0, 104, 195, 241, 308 ], "Z": [ 26, 101, 146, 213, 320 ] }, { "X": [ 1, 105, 196, 242, 309 ], "Z": [ 25, 100, 145, 283, 319 ] }, { "X": [ 2, 106, 197, 243, 310 ], "Z": [ 24, 99, 144, 282, 318 ] }, { "X": [ 3, 107, 198, 244, 311 ], "Z": [ 23, 98, 143, 281, 317 ] }, { "X": [ 4, 108, 199, 245, 312 ], "Z": [ 22, 97, 142, 280, 316 ] }, { "X": [ 5, 109, 200, 246, 313 ], "Z": [ 21, 96, 212, 279, 315 ] }, { "X": [ 6, 110, 201, 247, 314 ], "Z": [ 20, 95, 211, 278, 314 ] }, { "X": [ 7, 111, 202, 248, 315 ], "Z": [ 19, 94, 210, 277, 313 ] }, { "X": [ 8, 112, 203, 249, 316 ], "Z": [ 18, 93, 209, 276, 312 ] }, { "X": [ 9, 113, 204, 250, 317 ], "Z": [ 17, 92, 208, 275, 311 ] }, { "X": [ 10, 114, 205, 251, 318 ], "Z": [ 16, 91, 207, 274, 310 ] }, { "X": [ 49, 106, 174, 241, 325 ], "Z": [ 2, 81, 209, 255, 310 ] }, { "X": [ 50, 107, 175, 242, 326 ], "Z": [ 1, 80, 208, 254, 309 ] }, { "X": [ 51, 108, 176, 243, 327 ], "Z": [ 0, 79, 207, 253, 308 ] }, { "X": [ 52, 109, 177, 244, 328 ], "Z": [ 70, 78, 206, 252, 307 ] }, { "X": [ 53, 110, 178, 245, 329 ], "Z": [ 69, 77, 205, 251, 306 ] }, { "X": [ 54, 111, 179, 246, 330 ], "Z": [ 68, 76, 204, 250, 305 ] }, { "X": [ 55, 112, 180, 247, 331 ], "Z": [ 67, 75, 203, 249, 304 ] }, { "X": [ 56, 113, 181, 248, 332 ], "Z": [ 66, 74, 202, 248, 303 ] }, { "X": [ 57, 114, 182, 249, 333 ], "Z": [ 65, 73, 201, 247, 302 ] }, { "X": [ 58, 115, 183, 250, 334 ], "Z": [ 64, 72, 200, 246, 301 ] }, { "X": [ 59, 116, 184, 251, 335 ], "Z": [ 63, 71, 199, 245, 300 ] }, { "X": [ 60, 117, 185, 252, 336 ], "Z": [ 62, 141, 198, 244, 299 ] }, { "X": [ 61, 118, 186, 253, 337 ], "Z": [ 61, 140, 197, 243, 298 ] }, { "X": [ 62, 119, 187, 254, 338 ], "Z": [ 60, 139, 196, 242, 297 ] }, { "X": [ 63, 120, 188, 255, 339 ], "Z": [ 59, 138, 195, 241, 296 ] }, { "X": [ 64, 121, 189, 256, 340 ], "Z": [ 58, 137, 194, 240, 295 ] }, { "X": [ 65, 122, 190, 257, 341 ], "Z": [ 57, 136, 193, 239, 294 ] }, { "X": [ 66, 123, 191, 258, 342 ], "Z": [ 56, 135, 192, 238, 293 ] }, { "X": [ 67, 124, 192, 259, 343 ], "Z": [ 55, 134, 191, 237, 292 ] }, { "X": [ 68, 125, 193, 260, 344 ], "Z": [ 54, 133, 190, 236, 291 ] }, { "X": [ 69, 126, 194, 261, 345 ], "Z": [ 53, 132, 189, 235, 290 ] }, { "X": [ 70, 127, 195, 262, 346 ], "Z": [ 52, 131, 188, 234, 289 ] }, { "X": [ 0, 128, 196, 263, 347 ], "Z": [ 51, 130, 187, 233, 288 ] }, { "X": [ 1, 129, 197, 264, 348 ], "Z": [ 50, 129, 186, 232, 287 ] }, { "X": [ 2, 130, 198, 265, 349 ], "Z": [ 49, 128, 185, 231, 286 ] }, { "X": [ 3, 131, 199, 266, 350 ], "Z": [ 48, 127, 184, 230, 285 ] }, { "X": [ 4, 132, 200, 267, 351 ], "Z": [ 47, 126, 183, 229, 284 ] }, { "X": [ 5, 133, 201, 268, 352 ], "Z": [ 46, 125, 182, 228, 354 ] }, { "X": [ 6, 134, 202, 269, 353 ], "Z": [ 45, 124, 181, 227, 353 ] }, { "X": [ 7, 135, 203, 270, 354 ], "Z": [ 44, 123, 180, 226, 352 ] }, { "X": [ 8, 136, 204, 271, 284 ], "Z": [ 43, 122, 179, 225, 351 ] }, { "X": [ 9, 137, 205, 272, 285 ], "Z": [ 42, 121, 178, 224, 350 ] }, { "X": [ 10, 138, 206, 273, 286 ], "Z": [ 41, 120, 177, 223, 349 ] }, { "X": [ 11, 139, 207, 274, 287 ], "Z": [ 40, 119, 176, 222, 348 ] }, { "X": [ 12, 140, 208, 275, 288 ], "Z": [ 39, 118, 175, 221, 347 ] }, { "X": [ 13, 141, 209, 276, 289 ], "Z": [ 38, 117, 174, 220, 346 ] }, { "X": [ 14, 71, 210, 277, 290 ], "Z": [ 37, 116, 173, 219, 345 ] }, { "X": [ 15, 72, 211, 278, 291 ], "Z": [ 36, 115, 172, 218, 344 ] }, { "X": [ 16, 73, 212, 279, 292 ], "Z": [ 35, 114, 171, 217, 343 ] }, { "X": [ 17, 74, 142, 280, 293 ], "Z": [ 34, 113, 170, 216, 342 ] }, { "X": [ 18, 75, 143, 281, 294 ], "Z": [ 33, 112, 169, 215, 341 ] }, { "X": [ 19, 76, 144, 282, 295 ], "Z": [ 32, 111, 168, 214, 340 ] }, { "X": [ 20, 77, 145, 283, 296 ], "Z": [ 31, 110, 167, 213, 339 ] }, { "X": [ 21, 78, 146, 213, 297 ], "Z": [ 30, 109, 166, 283, 338 ] }, { "X": [ 22, 79, 147, 214, 298 ], "Z": [ 29, 108, 165, 282, 337 ] }, { "X": [ 23, 80, 148, 215, 299 ], "Z": [ 28, 107, 164, 281, 336 ] }, { "X": [ 24, 81, 149, 216, 300 ], "Z": [ 27, 106, 163, 280, 335 ] }, { "X": [ 25, 82, 150, 217, 301 ], "Z": [ 26, 105, 162, 279, 334 ] }, { "X": [ 26, 83, 151, 218, 302 ], "Z": [ 25, 104, 161, 278, 333 ] }, { "X": [ 27, 84, 152, 219, 303 ], "Z": [ 24, 103, 160, 277, 332 ] }, { "X": [ 28, 85, 153, 220, 304 ], "Z": [ 23, 102, 159, 276, 331 ] }, { "X": [ 29, 86, 154, 221, 305 ], "Z": [ 22, 101, 158, 275, 330 ] }, { "X": [ 30, 87, 155, 222, 306 ], "Z": [ 21, 100, 157, 274, 329 ] }, { "X": [ 31, 88, 156, 223, 307 ], "Z": [ 20, 99, 156, 273, 328 ] }, { "X": [ 32, 89, 157, 224, 308 ], "Z": [ 19, 98, 155, 272, 327 ] }, { "X": [ 33, 90, 158, 225, 309 ], "Z": [ 18, 97, 154, 271, 326 ] }, { "X": [ 34, 91, 159, 226, 310 ], "Z": [ 17, 96, 153, 270, 325 ] }, { "X": [ 35, 92, 160, 227, 311 ], "Z": [ 16, 95, 152, 269, 324 ] }, { "X": [ 36, 93, 161, 228, 312 ], "Z": [ 15, 94, 151, 268, 323 ] }, { "X": [ 37, 94, 162, 229, 313 ], "Z": [ 14, 93, 150, 267, 322 ] }, { "X": [ 38, 95, 163, 230, 314 ], "Z": [ 13, 92, 149, 266, 321 ] }, { "X": [ 39, 96, 164, 231, 315 ], "Z": [ 12, 91, 148, 265, 320 ] }, { "X": [ 40, 97, 165, 232, 316 ], "Z": [ 11, 90, 147, 264, 319 ] }, { "X": [ 41, 98, 166, 233, 317 ], "Z": [ 10, 89, 146, 263, 318 ] }, { "X": [ 42, 99, 167, 234, 318 ], "Z": [ 9, 88, 145, 262, 317 ] }, { "X": [ 43, 100, 168, 235, 319 ], "Z": [ 8, 87, 144, 261, 316 ] }, { "X": [ 44, 101, 169, 236, 320 ], "Z": [ 7, 86, 143, 260, 315 ] }, { "X": [ 45, 102, 170, 237, 321 ], "Z": [ 6, 85, 142, 259, 314 ] }, { "X": [ 46, 103, 171, 238, 322 ], "Z": [ 5, 84, 212, 258, 313 ] }, { "X": [ 47, 104, 172, 239, 323 ], "Z": [ 4, 83, 211, 257, 312 ] }, { "X": [ 48, 105, 173, 240, 324 ], "Z": [ 3, 82, 210, 256, 311 ] } ] }, "distance": { "d": 7, "P": { "value": 7, "confidence": "upper_bound", "witness": { "X": [ 90, 129, 309, 348 ], "Z": [ 40, 50, 287, 348 ] } } }, "provenance": { "construction": "Symplectic-halved CPM pair-partition code: Prop. 4 of arXiv:2609.30069. (J,L,P)=(3,10,71); the CSS parent on n_par=L*P=710 qubits has block (i,l) = C(E[i][l]) over Z_71 in H_X and D[j][l] = -E[j][sigma(l)] mod 71 in H_Z, with E = [[39, 62, 61, 1, 19, 21, 33, 15, 14, 25], [60, 27, 7, 32, 19, 15, 64, 36, 60, 25], [22, 36, 39, 43, 10, 2, 67, 30, 42, 26]] and sigma(l) = l=0->5, l=1->4, l=2->6, l=3->8, l=4->1, l=5->0, l=6->2, l=7->9, l=8->3, l=9->7 (a fixed-point-free involution of the 10 block columns). The parent is folded under pi(l,t) = (sigma(l), -t) to this general stabilizer code S = (A | B) on 355 qubits; k = n - rank S.", "notes": "Fold of a halving-constrained draw; the CSS parent is the symplectic double and is submitted as its own entry. The exponent array solves the pair-partition equations E[i][u]-E[i][v] = -(E[j][sigma(u)]-E[j][sigma(v)]) in a null space of dimension 12 and was hill-climbed inside it, so the CSS condition and the halving identity cannot be broken by a move. k = 144 against the parent's 288. Equivalence to an existing entry was checked by the trusted gate (exact-duplicate and WL-equivalent both null). Literature novelty unverified. Distance is a witness-backed upper bound, not an exact certificate.", "authors": [ "@MathysRennela" ], "references": [ "arXiv:2609.30069", "arXiv:2607.14091" ], "date": "2026-10-01", "model": "Space Bunny Alpha 1.0" }, "family": "pair-partition-cpm" }