{ "schema_version": "0.4", "name": "[[480,12,36]] mirror fold of [[960,24,40]]", "code_type": "stabilizer", "n": 480, "k": 12, "checks": { "S": [ { "X": [ 0, 35, 368 ], "Z": [ 33, 144, 437 ] }, { "X": [ 1, 32, 369 ], "Z": [ 192, 276, 387 ] }, { "X": [ 2, 33, 370 ], "Z": [ 35, 146, 439 ] }, { "X": [ 3, 34, 371 ], "Z": [ 194, 278, 385 ] }, { "X": [ 4, 31, 372 ], "Z": [ 37, 148, 421 ] }, { "X": [ 5, 28, 373 ], "Z": [ 196, 260, 391 ] }, { "X": [ 6, 29, 374 ], "Z": [ 39, 150, 423 ] }, { "X": [ 7, 30, 375 ], "Z": [ 198, 262, 389 ] }, { "X": [ 8, 27, 376 ], "Z": [ 21, 152, 425 ] }, { "X": [ 9, 24, 377 ], "Z": [ 180, 264, 395 ] }, { "X": [ 10, 25, 378 ], "Z": [ 23, 154, 427 ] }, { "X": [ 11, 26, 379 ], "Z": [ 182, 266, 393 ] }, { "X": [ 12, 23, 360 ], "Z": [ 25, 156, 429 ] }, { "X": [ 13, 20, 361 ], "Z": [ 184, 268, 399 ] }, { "X": [ 14, 21, 362 ], "Z": [ 27, 158, 431 ] }, { "X": [ 15, 22, 363 ], "Z": [ 186, 270, 397 ] }, { "X": [ 16, 39, 364 ], "Z": [ 29, 140, 433 ] }, { "X": [ 17, 36, 365 ], "Z": [ 188, 272, 383 ] }, { "X": [ 18, 37, 366 ], "Z": [ 31, 142, 435 ] }, { "X": [ 19, 38, 367 ], "Z": [ 190, 274, 381 ] }, { "X": [ 20, 55, 388 ], "Z": [ 57, 133, 244 ] }, { "X": [ 21, 52, 389 ], "Z": [ 7, 292, 376 ] }, { "X": [ 22, 53, 390 ], "Z": [ 59, 135, 246 ] }, { "X": [ 23, 54, 391 ], "Z": [ 5, 294, 378 ] }, { "X": [ 24, 51, 392 ], "Z": [ 41, 137, 248 ] }, { "X": [ 25, 48, 393 ], "Z": [ 11, 296, 360 ] }, { "X": [ 26, 49, 394 ], "Z": [ 43, 139, 250 ] }, { "X": [ 27, 50, 395 ], "Z": [ 9, 298, 362 ] }, { "X": [ 28, 47, 396 ], "Z": [ 45, 121, 252 ] }, { "X": [ 29, 44, 397 ], "Z": [ 15, 280, 364 ] }, { "X": [ 30, 45, 398 ], "Z": [ 47, 123, 254 ] }, { "X": [ 31, 46, 399 ], "Z": [ 13, 282, 366 ] }, { "X": [ 32, 43, 380 ], "Z": [ 49, 125, 256 ] }, { "X": [ 33, 40, 381 ], "Z": [ 19, 284, 368 ] }, { "X": [ 34, 41, 382 ], "Z": [ 51, 127, 258 ] }, { "X": [ 35, 42, 383 ], "Z": [ 17, 286, 370 ] }, { "X": [ 36, 59, 384 ], "Z": [ 53, 129, 240 ] }, { "X": [ 37, 56, 385 ], "Z": [ 3, 288, 372 ] }, { "X": [ 38, 57, 386 ], "Z": [ 55, 131, 242 ] }, { "X": [ 39, 58, 387 ], "Z": [ 1, 290, 374 ] }, { "X": [ 40, 75, 408 ], "Z": [ 157, 233, 344 ] }, { "X": [ 41, 72, 409 ], "Z": [ 107, 392, 476 ] }, { "X": [ 42, 73, 410 ], "Z": [ 159, 235, 346 ] }, { "X": [ 43, 74, 411 ], "Z": [ 105, 394, 478 ] }, { "X": [ 44, 71, 412 ], "Z": [ 141, 237, 348 ] }, { "X": [ 45, 68, 413 ], "Z": [ 111, 396, 460 ] }, { "X": [ 46, 69, 414 ], "Z": [ 143, 239, 350 ] }, { "X": [ 47, 70, 415 ], "Z": [ 109, 398, 462 ] }, { "X": [ 48, 67, 416 ], "Z": [ 145, 221, 352 ] }, { "X": [ 49, 64, 417 ], "Z": [ 115, 380, 464 ] }, { "X": [ 50, 65, 418 ], "Z": [ 147, 223, 354 ] }, { "X": [ 51, 66, 419 ], "Z": [ 113, 382, 466 ] }, { "X": [ 52, 63, 400 ], "Z": [ 149, 225, 356 ] }, { "X": [ 53, 60, 401 ], "Z": [ 119, 384, 468 ] }, { "X": [ 54, 61, 402 ], "Z": [ 151, 227, 358 ] }, { "X": [ 55, 62, 403 ], "Z": [ 117, 386, 470 ] }, { "X": [ 56, 79, 404 ], "Z": [ 153, 229, 340 ] }, { "X": [ 57, 76, 405 ], "Z": [ 103, 388, 472 ] }, { "X": [ 58, 77, 406 ], "Z": [ 155, 231, 342 ] }, { "X": [ 59, 78, 407 ], "Z": [ 101, 390, 474 ] }, { "X": [ 60, 95, 428 ], "Z": [ 257, 333, 444 ] }, { "X": [ 61, 92, 429 ], "Z": [ 12, 96, 207 ] }, { "X": [ 62, 93, 430 ], "Z": [ 259, 335, 446 ] }, { "X": [ 63, 94, 431 ], "Z": [ 14, 98, 205 ] }, { "X": [ 64, 91, 432 ], "Z": [ 241, 337, 448 ] }, { "X": [ 65, 88, 433 ], "Z": [ 16, 80, 211 ] }, { "X": [ 66, 89, 434 ], "Z": [ 243, 339, 450 ] }, { "X": [ 67, 90, 435 ], "Z": [ 18, 82, 209 ] }, { "X": [ 68, 87, 436 ], "Z": [ 245, 321, 452 ] }, { "X": [ 69, 84, 437 ], "Z": [ 0, 84, 215 ] }, { "X": [ 70, 85, 438 ], "Z": [ 247, 323, 454 ] }, { "X": [ 71, 86, 439 ], "Z": [ 2, 86, 213 ] }, { "X": [ 72, 83, 420 ], "Z": [ 249, 325, 456 ] }, { "X": [ 73, 80, 421 ], "Z": [ 4, 88, 219 ] }, { "X": [ 74, 81, 422 ], "Z": [ 251, 327, 458 ] }, { "X": [ 75, 82, 423 ], "Z": [ 6, 90, 217 ] }, { "X": [ 76, 99, 424 ], "Z": [ 253, 329, 440 ] }, { "X": [ 77, 96, 425 ], "Z": [ 8, 92, 203 ] }, { "X": [ 78, 97, 426 ], "Z": [ 255, 331, 442 ] }, { "X": [ 79, 98, 427 ], "Z": [ 10, 94, 201 ] }, { "X": [ 80, 115, 448 ], "Z": [ 64, 357, 433 ] }, { "X": [ 81, 112, 449 ], "Z": [ 112, 196, 307 ] }, { "X": [ 82, 113, 450 ], "Z": [ 66, 359, 435 ] }, { "X": [ 83, 114, 451 ], "Z": [ 114, 198, 305 ] }, { "X": [ 84, 111, 452 ], "Z": [ 68, 341, 437 ] }, { "X": [ 85, 108, 453 ], "Z": [ 116, 180, 311 ] }, { "X": [ 86, 109, 454 ], "Z": [ 70, 343, 439 ] }, { "X": [ 87, 110, 455 ], "Z": [ 118, 182, 309 ] }, { "X": [ 88, 107, 456 ], "Z": [ 72, 345, 421 ] }, { "X": [ 89, 104, 457 ], "Z": [ 100, 184, 315 ] }, { "X": [ 90, 105, 458 ], "Z": [ 74, 347, 423 ] }, { "X": [ 91, 106, 459 ], "Z": [ 102, 186, 313 ] }, { "X": [ 92, 103, 440 ], "Z": [ 76, 349, 425 ] }, { "X": [ 93, 100, 441 ], "Z": [ 104, 188, 319 ] }, { "X": [ 94, 101, 442 ], "Z": [ 78, 351, 427 ] }, { "X": [ 95, 102, 443 ], "Z": [ 106, 190, 317 ] }, { "X": [ 96, 119, 444 ], "Z": [ 60, 353, 429 ] }, { "X": [ 97, 116, 445 ], "Z": [ 108, 192, 303 ] }, { "X": [ 98, 117, 446 ], "Z": [ 62, 355, 431 ] }, { "X": [ 99, 118, 447 ], "Z": [ 110, 194, 301 ] }, { "X": [ 100, 135, 468 ], "Z": [ 53, 164, 457 ] }, { "X": [ 101, 132, 469 ], "Z": [ 212, 296, 407 ] }, { "X": [ 102, 133, 470 ], "Z": [ 55, 166, 459 ] }, { "X": [ 103, 134, 471 ], "Z": [ 214, 298, 405 ] }, { "X": [ 104, 131, 472 ], "Z": [ 57, 168, 441 ] }, { "X": [ 105, 128, 473 ], "Z": [ 216, 280, 411 ] }, { "X": [ 106, 129, 474 ], "Z": [ 59, 170, 443 ] }, { "X": [ 107, 130, 475 ], "Z": [ 218, 282, 409 ] }, { "X": [ 108, 127, 476 ], "Z": [ 41, 172, 445 ] }, { "X": [ 109, 124, 477 ], "Z": [ 200, 284, 415 ] }, { "X": [ 110, 125, 478 ], "Z": [ 43, 174, 447 ] }, { "X": [ 111, 126, 479 ], "Z": [ 202, 286, 413 ] }, { "X": [ 112, 123, 460 ], "Z": [ 45, 176, 449 ] }, { "X": [ 113, 120, 461 ], "Z": [ 204, 288, 419 ] }, { "X": [ 114, 121, 462 ], "Z": [ 47, 178, 451 ] }, { "X": [ 115, 122, 463 ], "Z": [ 206, 290, 417 ] }, { "X": [ 116, 139, 464 ], "Z": [ 49, 160, 453 ] }, { "X": [ 117, 136, 465 ], "Z": [ 208, 292, 403 ] }, { "X": [ 118, 137, 466 ], "Z": [ 51, 162, 455 ] }, { "X": [ 119, 138, 467 ], "Z": [ 210, 294, 401 ] }, { "X": [ 8, 120, 155 ], "Z": [ 77, 153, 264 ] }, { "X": [ 9, 121, 152 ], "Z": [ 27, 312, 396 ] }, { "X": [ 10, 122, 153 ], "Z": [ 79, 155, 266 ] }, { "X": [ 11, 123, 154 ], "Z": [ 25, 314, 398 ] }, { "X": [ 12, 124, 151 ], "Z": [ 61, 157, 268 ] }, { "X": [ 13, 125, 148 ], "Z": [ 31, 316, 380 ] }, { "X": [ 14, 126, 149 ], "Z": [ 63, 159, 270 ] }, { "X": [ 15, 127, 150 ], "Z": [ 29, 318, 382 ] }, { "X": [ 16, 128, 147 ], "Z": [ 65, 141, 272 ] }, { "X": [ 17, 129, 144 ], "Z": [ 35, 300, 384 ] }, { "X": [ 18, 130, 145 ], "Z": [ 67, 143, 274 ] }, { "X": [ 19, 131, 146 ], "Z": [ 33, 302, 386 ] }, { "X": [ 0, 132, 143 ], "Z": [ 69, 145, 276 ] }, { "X": [ 1, 133, 140 ], "Z": [ 39, 304, 388 ] }, { "X": [ 2, 134, 141 ], "Z": [ 71, 147, 278 ] }, { "X": [ 3, 135, 142 ], "Z": [ 37, 306, 390 ] }, { "X": [ 4, 136, 159 ], "Z": [ 73, 149, 260 ] }, { "X": [ 5, 137, 156 ], "Z": [ 23, 308, 392 ] }, { "X": [ 6, 138, 157 ], "Z": [ 75, 151, 262 ] }, { "X": [ 7, 139, 158 ], "Z": [ 21, 310, 394 ] }, { "X": [ 28, 140, 175 ], "Z": [ 177, 253, 364 ] }, { "X": [ 29, 141, 172 ], "Z": [ 16, 127, 412 ] }, { "X": [ 30, 142, 173 ], "Z": [ 179, 255, 366 ] }, { "X": [ 31, 143, 174 ], "Z": [ 18, 125, 414 ] }, { "X": [ 32, 144, 171 ], "Z": [ 161, 257, 368 ] }, { "X": [ 33, 145, 168 ], "Z": [ 0, 131, 416 ] }, { "X": [ 34, 146, 169 ], "Z": [ 163, 259, 370 ] }, { "X": [ 35, 147, 170 ], "Z": [ 2, 129, 418 ] }, { "X": [ 36, 148, 167 ], "Z": [ 165, 241, 372 ] }, { "X": [ 37, 149, 164 ], "Z": [ 4, 135, 400 ] }, { "X": [ 38, 150, 165 ], "Z": [ 167, 243, 374 ] }, { "X": [ 39, 151, 166 ], "Z": [ 6, 133, 402 ] }, { "X": [ 20, 152, 163 ], "Z": [ 169, 245, 376 ] }, { "X": [ 21, 153, 160 ], "Z": [ 8, 139, 404 ] }, { "X": [ 22, 154, 161 ], "Z": [ 171, 247, 378 ] }, { "X": [ 23, 155, 162 ], "Z": [ 10, 137, 406 ] }, { "X": [ 24, 156, 179 ], "Z": [ 173, 249, 360 ] }, { "X": [ 25, 157, 176 ], "Z": [ 12, 123, 408 ] }, { "X": [ 26, 158, 177 ], "Z": [ 175, 251, 362 ] }, { "X": [ 27, 159, 178 ], "Z": [ 14, 121, 410 ] }, { "X": [ 48, 160, 195 ], "Z": [ 277, 353, 464 ] }, { "X": [ 49, 161, 192 ], "Z": [ 32, 116, 227 ] }, { "X": [ 50, 162, 193 ], "Z": [ 279, 355, 466 ] }, { "X": [ 51, 163, 194 ], "Z": [ 34, 118, 225 ] }, { "X": [ 52, 164, 191 ], "Z": [ 261, 357, 468 ] }, { "X": [ 53, 165, 188 ], "Z": [ 36, 100, 231 ] }, { "X": [ 54, 166, 189 ], "Z": [ 263, 359, 470 ] }, { "X": [ 55, 167, 190 ], "Z": [ 38, 102, 229 ] }, { "X": [ 56, 168, 187 ], "Z": [ 265, 341, 472 ] }, { "X": [ 57, 169, 184 ], "Z": [ 20, 104, 235 ] }, { "X": [ 58, 170, 185 ], "Z": [ 267, 343, 474 ] }, { "X": [ 59, 171, 186 ], "Z": [ 22, 106, 233 ] }, { "X": [ 40, 172, 183 ], "Z": [ 269, 345, 476 ] }, { "X": [ 41, 173, 180 ], "Z": [ 24, 108, 239 ] }, { "X": [ 42, 174, 181 ], "Z": [ 271, 347, 478 ] }, { "X": [ 43, 175, 182 ], "Z": [ 26, 110, 237 ] }, { "X": [ 44, 176, 199 ], "Z": [ 273, 349, 460 ] }, { "X": [ 45, 177, 196 ], "Z": [ 28, 112, 223 ] }, { "X": [ 46, 178, 197 ], "Z": [ 275, 351, 462 ] }, { "X": [ 47, 179, 198 ], "Z": [ 30, 114, 221 ] }, { "X": [ 68, 180, 215 ], "Z": [ 84, 377, 453 ] }, { "X": [ 69, 181, 212 ], "Z": [ 132, 216, 327 ] }, { "X": [ 70, 182, 213 ], "Z": [ 86, 379, 455 ] }, { "X": [ 71, 183, 214 ], "Z": [ 134, 218, 325 ] }, { "X": [ 72, 184, 211 ], "Z": [ 88, 361, 457 ] }, { "X": [ 73, 185, 208 ], "Z": [ 136, 200, 331 ] }, { "X": [ 74, 186, 209 ], "Z": [ 90, 363, 459 ] }, { "X": [ 75, 187, 210 ], "Z": [ 138, 202, 329 ] }, { "X": [ 76, 188, 207 ], "Z": [ 92, 365, 441 ] }, { "X": [ 77, 189, 204 ], "Z": [ 120, 204, 335 ] }, { "X": [ 78, 190, 205 ], "Z": [ 94, 367, 443 ] }, { "X": [ 79, 191, 206 ], "Z": [ 122, 206, 333 ] }, { "X": [ 60, 192, 203 ], "Z": [ 96, 369, 445 ] }, { "X": [ 61, 193, 200 ], "Z": [ 124, 208, 339 ] }, { "X": [ 62, 194, 201 ], "Z": [ 98, 371, 447 ] }, { "X": [ 63, 195, 202 ], "Z": [ 126, 210, 337 ] }, { "X": [ 64, 196, 219 ], "Z": [ 80, 373, 449 ] }, { "X": [ 65, 197, 216 ], "Z": [ 128, 212, 323 ] }, { "X": [ 66, 198, 217 ], "Z": [ 82, 375, 451 ] }, { "X": [ 67, 199, 218 ], "Z": [ 130, 214, 321 ] }, { "X": [ 88, 200, 235 ], "Z": [ 73, 184, 477 ] }, { "X": [ 89, 201, 232 ], "Z": [ 232, 316, 427 ] }, { "X": [ 90, 202, 233 ], "Z": [ 75, 186, 479 ] }, { "X": [ 91, 203, 234 ], "Z": [ 234, 318, 425 ] }, { "X": [ 92, 204, 231 ], "Z": [ 77, 188, 461 ] }, { "X": [ 93, 205, 228 ], "Z": [ 236, 300, 431 ] }, { "X": [ 94, 206, 229 ], "Z": [ 79, 190, 463 ] }, { "X": [ 95, 207, 230 ], "Z": [ 238, 302, 429 ] }, { "X": [ 96, 208, 227 ], "Z": [ 61, 192, 465 ] }, { "X": [ 97, 209, 224 ], "Z": [ 220, 304, 435 ] }, { "X": [ 98, 210, 225 ], "Z": [ 63, 194, 467 ] }, { "X": [ 99, 211, 226 ], "Z": [ 222, 306, 433 ] }, { "X": [ 80, 212, 223 ], "Z": [ 65, 196, 469 ] }, { "X": [ 81, 213, 220 ], "Z": [ 224, 308, 439 ] }, { "X": [ 82, 214, 221 ], "Z": [ 67, 198, 471 ] }, { "X": [ 83, 215, 222 ], "Z": [ 226, 310, 437 ] }, { "X": [ 84, 216, 239 ], "Z": [ 69, 180, 473 ] }, { "X": [ 85, 217, 236 ], "Z": [ 228, 312, 423 ] }, { "X": [ 86, 218, 237 ], "Z": [ 71, 182, 475 ] }, { "X": [ 87, 219, 238 ], "Z": [ 230, 314, 421 ] }, { "X": [ 108, 220, 255 ], "Z": [ 97, 173, 284 ] }, { "X": [ 109, 221, 252 ], "Z": [ 47, 332, 416 ] }, { "X": [ 110, 222, 253 ], "Z": [ 99, 175, 286 ] }, { "X": [ 111, 223, 254 ], "Z": [ 45, 334, 418 ] }, { "X": [ 112, 224, 251 ], "Z": [ 81, 177, 288 ] }, { "X": [ 113, 225, 248 ], "Z": [ 51, 336, 400 ] }, { "X": [ 114, 226, 249 ], "Z": [ 83, 179, 290 ] }, { "X": [ 115, 227, 250 ], "Z": [ 49, 338, 402 ] }, { "X": [ 116, 228, 247 ], "Z": [ 85, 161, 292 ] }, { "X": [ 117, 229, 244 ], "Z": [ 55, 320, 404 ] }, { "X": [ 118, 230, 245 ], "Z": [ 87, 163, 294 ] }, { "X": [ 119, 231, 246 ], "Z": [ 53, 322, 406 ] }, { "X": [ 100, 232, 243 ], "Z": [ 89, 165, 296 ] }, { "X": [ 101, 233, 240 ], "Z": [ 59, 324, 408 ] }, { "X": [ 102, 234, 241 ], "Z": [ 91, 167, 298 ] }, { "X": [ 103, 235, 242 ], "Z": [ 57, 326, 410 ] }, { "X": [ 104, 236, 259 ], "Z": [ 93, 169, 280 ] }, { "X": [ 105, 237, 256 ], "Z": [ 43, 328, 412 ] }, { "X": [ 106, 238, 257 ], "Z": [ 95, 171, 282 ] }, { "X": [ 107, 239, 258 ], "Z": [ 41, 330, 414 ] }, { "X": [ 128, 240, 275 ], "Z": [ 197, 273, 384 ] }, { "X": [ 129, 241, 272 ], "Z": [ 36, 147, 432 ] }, { "X": [ 130, 242, 273 ], "Z": [ 199, 275, 386 ] }, { "X": [ 131, 243, 274 ], "Z": [ 38, 145, 434 ] }, { "X": [ 132, 244, 271 ], "Z": [ 181, 277, 388 ] }, { "X": [ 133, 245, 268 ], "Z": [ 20, 151, 436 ] }, { "X": [ 134, 246, 269 ], "Z": [ 183, 279, 390 ] }, { "X": [ 135, 247, 270 ], "Z": [ 22, 149, 438 ] }, { "X": [ 136, 248, 267 ], "Z": [ 185, 261, 392 ] }, { "X": [ 137, 249, 264 ], "Z": [ 24, 155, 420 ] }, { "X": [ 138, 250, 265 ], "Z": [ 187, 263, 394 ] }, { "X": [ 139, 251, 266 ], "Z": [ 26, 153, 422 ] }, { "X": [ 120, 252, 263 ], "Z": [ 189, 265, 396 ] }, { "X": [ 121, 253, 260 ], "Z": [ 28, 159, 424 ] }, { "X": [ 122, 254, 261 ], "Z": [ 191, 267, 398 ] }, { "X": [ 123, 255, 262 ], "Z": [ 30, 157, 426 ] }, { "X": [ 124, 256, 279 ], "Z": [ 193, 269, 380 ] }, { "X": [ 125, 257, 276 ], "Z": [ 32, 143, 428 ] }, { "X": [ 126, 258, 277 ], "Z": [ 195, 271, 382 ] }, { "X": [ 127, 259, 278 ], "Z": [ 34, 141, 430 ] }, { "X": [ 148, 260, 295 ], "Z": [ 4, 297, 373 ] }, { "X": [ 149, 261, 292 ], "Z": [ 52, 136, 247 ] }, { "X": [ 150, 262, 293 ], "Z": [ 6, 299, 375 ] }, { "X": [ 151, 263, 294 ], "Z": [ 54, 138, 245 ] }, { "X": [ 152, 264, 291 ], "Z": [ 8, 281, 377 ] }, { "X": [ 153, 265, 288 ], "Z": [ 56, 120, 251 ] }, { "X": [ 154, 266, 289 ], "Z": [ 10, 283, 379 ] }, { "X": [ 155, 267, 290 ], "Z": [ 58, 122, 249 ] }, { "X": [ 156, 268, 287 ], "Z": [ 12, 285, 361 ] }, { "X": [ 157, 269, 284 ], "Z": [ 40, 124, 255 ] }, { "X": [ 158, 270, 285 ], "Z": [ 14, 287, 363 ] }, { "X": [ 159, 271, 286 ], "Z": [ 42, 126, 253 ] }, { "X": [ 140, 272, 283 ], "Z": [ 16, 289, 365 ] }, { "X": [ 141, 273, 280 ], "Z": [ 44, 128, 259 ] }, { "X": [ 142, 274, 281 ], "Z": [ 18, 291, 367 ] }, { "X": [ 143, 275, 282 ], "Z": [ 46, 130, 257 ] }, { "X": [ 144, 276, 299 ], "Z": [ 0, 293, 369 ] }, { "X": [ 145, 277, 296 ], "Z": [ 48, 132, 243 ] }, { "X": [ 146, 278, 297 ], "Z": [ 2, 295, 371 ] }, { "X": [ 147, 279, 298 ], "Z": [ 50, 134, 241 ] }, { "X": [ 168, 280, 315 ], "Z": [ 104, 397, 473 ] }, { "X": [ 169, 281, 312 ], "Z": [ 152, 236, 347 ] }, { "X": [ 170, 282, 313 ], "Z": [ 106, 399, 475 ] }, { "X": [ 171, 283, 314 ], "Z": [ 154, 238, 345 ] }, { "X": [ 172, 284, 311 ], "Z": [ 108, 381, 477 ] }, { "X": [ 173, 285, 308 ], "Z": [ 156, 220, 351 ] }, { "X": [ 174, 286, 309 ], "Z": [ 110, 383, 479 ] }, { "X": [ 175, 287, 310 ], "Z": [ 158, 222, 349 ] }, { "X": [ 176, 288, 307 ], "Z": [ 112, 385, 461 ] }, { "X": [ 177, 289, 304 ], "Z": [ 140, 224, 355 ] }, { "X": [ 178, 290, 305 ], "Z": [ 114, 387, 463 ] }, { "X": [ 179, 291, 306 ], "Z": [ 142, 226, 353 ] }, { "X": [ 160, 292, 303 ], "Z": [ 116, 389, 465 ] }, { "X": [ 161, 293, 300 ], "Z": [ 144, 228, 359 ] }, { "X": [ 162, 294, 301 ], "Z": [ 118, 391, 467 ] }, { "X": [ 163, 295, 302 ], "Z": [ 146, 230, 357 ] }, { "X": [ 164, 296, 319 ], "Z": [ 100, 393, 469 ] }, { "X": [ 165, 297, 316 ], "Z": [ 148, 232, 343 ] }, { "X": [ 166, 298, 317 ], "Z": [ 102, 395, 471 ] }, { "X": [ 167, 299, 318 ], "Z": [ 150, 234, 341 ] }, { "X": [ 188, 300, 335 ], "Z": [ 17, 93, 204 ] }, { "X": [ 189, 301, 332 ], "Z": [ 252, 336, 447 ] }, { "X": [ 190, 302, 333 ], "Z": [ 19, 95, 206 ] }, { "X": [ 191, 303, 334 ], "Z": [ 254, 338, 445 ] }, { "X": [ 192, 304, 331 ], "Z": [ 1, 97, 208 ] }, { "X": [ 193, 305, 328 ], "Z": [ 256, 320, 451 ] }, { "X": [ 194, 306, 329 ], "Z": [ 3, 99, 210 ] }, { "X": [ 195, 307, 330 ], "Z": [ 258, 322, 449 ] }, { "X": [ 196, 308, 327 ], "Z": [ 5, 81, 212 ] }, { "X": [ 197, 309, 324 ], "Z": [ 240, 324, 455 ] }, { "X": [ 198, 310, 325 ], "Z": [ 7, 83, 214 ] }, { "X": [ 199, 311, 326 ], "Z": [ 242, 326, 453 ] }, { "X": [ 180, 312, 323 ], "Z": [ 9, 85, 216 ] }, { "X": [ 181, 313, 320 ], "Z": [ 244, 328, 459 ] }, { "X": [ 182, 314, 321 ], "Z": [ 11, 87, 218 ] }, { "X": [ 183, 315, 322 ], "Z": [ 246, 330, 457 ] }, { "X": [ 184, 316, 339 ], "Z": [ 13, 89, 200 ] }, { "X": [ 185, 317, 336 ], "Z": [ 248, 332, 443 ] }, { "X": [ 186, 318, 337 ], "Z": [ 15, 91, 202 ] }, { "X": [ 187, 319, 338 ], "Z": [ 250, 334, 441 ] }, { "X": [ 208, 320, 355 ], "Z": [ 117, 193, 304 ] }, { "X": [ 209, 321, 352 ], "Z": [ 67, 352, 436 ] }, { "X": [ 210, 322, 353 ], "Z": [ 119, 195, 306 ] }, { "X": [ 211, 323, 354 ], "Z": [ 65, 354, 438 ] }, { "X": [ 212, 324, 351 ], "Z": [ 101, 197, 308 ] }, { "X": [ 213, 325, 348 ], "Z": [ 71, 356, 420 ] }, { "X": [ 214, 326, 349 ], "Z": [ 103, 199, 310 ] }, { "X": [ 215, 327, 350 ], "Z": [ 69, 358, 422 ] }, { "X": [ 216, 328, 347 ], "Z": [ 105, 181, 312 ] }, { "X": [ 217, 329, 344 ], "Z": [ 75, 340, 424 ] }, { "X": [ 218, 330, 345 ], "Z": [ 107, 183, 314 ] }, { "X": [ 219, 331, 346 ], "Z": [ 73, 342, 426 ] }, { "X": [ 200, 332, 343 ], "Z": [ 109, 185, 316 ] }, { "X": [ 201, 333, 340 ], "Z": [ 79, 344, 428 ] }, { "X": [ 202, 334, 341 ], "Z": [ 111, 187, 318 ] }, { "X": [ 203, 335, 342 ], "Z": [ 77, 346, 430 ] }, { "X": [ 204, 336, 359 ], "Z": [ 113, 189, 300 ] }, { "X": [ 205, 337, 356 ], "Z": [ 63, 348, 432 ] }, { "X": [ 206, 338, 357 ], "Z": [ 115, 191, 302 ] }, { "X": [ 207, 339, 358 ], "Z": [ 61, 350, 434 ] }, { "X": [ 228, 340, 375 ], "Z": [ 217, 293, 404 ] }, { "X": [ 229, 341, 372 ], "Z": [ 56, 167, 452 ] }, { "X": [ 230, 342, 373 ], "Z": [ 219, 295, 406 ] }, { "X": [ 231, 343, 374 ], "Z": [ 58, 165, 454 ] }, { "X": [ 232, 344, 371 ], "Z": [ 201, 297, 408 ] }, { "X": [ 233, 345, 368 ], "Z": [ 40, 171, 456 ] }, { "X": [ 234, 346, 369 ], "Z": [ 203, 299, 410 ] }, { "X": [ 235, 347, 370 ], "Z": [ 42, 169, 458 ] }, { "X": [ 236, 348, 367 ], "Z": [ 205, 281, 412 ] }, { "X": [ 237, 349, 364 ], "Z": [ 44, 175, 440 ] }, { "X": [ 238, 350, 365 ], "Z": [ 207, 283, 414 ] }, { "X": [ 239, 351, 366 ], "Z": [ 46, 173, 442 ] }, { "X": [ 220, 352, 363 ], "Z": [ 209, 285, 416 ] }, { "X": [ 221, 353, 360 ], "Z": [ 48, 179, 444 ] }, { "X": [ 222, 354, 361 ], "Z": [ 211, 287, 418 ] }, { "X": [ 223, 355, 362 ], "Z": [ 50, 177, 446 ] }, { "X": [ 224, 356, 379 ], "Z": [ 213, 289, 400 ] }, { "X": [ 225, 357, 376 ], "Z": [ 52, 163, 448 ] }, { "X": [ 226, 358, 377 ], "Z": [ 215, 291, 402 ] }, { "X": [ 227, 359, 378 ], "Z": [ 54, 161, 450 ] }, { "X": [ 248, 360, 395 ], "Z": [ 24, 317, 393 ] }, { "X": [ 249, 361, 392 ], "Z": [ 72, 156, 267 ] }, { "X": [ 250, 362, 393 ], "Z": [ 26, 319, 395 ] }, { "X": [ 251, 363, 394 ], "Z": [ 74, 158, 265 ] }, { "X": [ 252, 364, 391 ], "Z": [ 28, 301, 397 ] }, { "X": [ 253, 365, 388 ], "Z": [ 76, 140, 271 ] }, { "X": [ 254, 366, 389 ], "Z": [ 30, 303, 399 ] }, { "X": [ 255, 367, 390 ], "Z": [ 78, 142, 269 ] }, { "X": [ 256, 368, 387 ], "Z": [ 32, 305, 381 ] }, { "X": [ 257, 369, 384 ], "Z": [ 60, 144, 275 ] }, { "X": [ 258, 370, 385 ], "Z": [ 34, 307, 383 ] }, { "X": [ 259, 371, 386 ], "Z": [ 62, 146, 273 ] }, { "X": [ 240, 372, 383 ], "Z": [ 36, 309, 385 ] }, { "X": [ 241, 373, 380 ], "Z": [ 64, 148, 279 ] }, { "X": [ 242, 374, 381 ], "Z": [ 38, 311, 387 ] }, { "X": [ 243, 375, 382 ], "Z": [ 66, 150, 277 ] }, { "X": [ 244, 376, 399 ], "Z": [ 20, 313, 389 ] }, { "X": [ 245, 377, 396 ], "Z": [ 68, 152, 263 ] }, { "X": [ 246, 378, 397 ], "Z": [ 22, 315, 391 ] }, { "X": [ 247, 379, 398 ], "Z": [ 70, 154, 261 ] }, { "X": [ 268, 380, 415 ], "Z": [ 13, 124, 417 ] }, { "X": [ 269, 381, 412 ], "Z": [ 172, 256, 367 ] }, { "X": [ 270, 382, 413 ], "Z": [ 15, 126, 419 ] }, { "X": [ 271, 383, 414 ], "Z": [ 174, 258, 365 ] }, { "X": [ 272, 384, 411 ], "Z": [ 17, 128, 401 ] }, { "X": [ 273, 385, 408 ], "Z": [ 176, 240, 371 ] }, { "X": [ 274, 386, 409 ], "Z": [ 19, 130, 403 ] }, { "X": [ 275, 387, 410 ], "Z": [ 178, 242, 369 ] }, { "X": [ 276, 388, 407 ], "Z": [ 1, 132, 405 ] }, { "X": [ 277, 389, 404 ], "Z": [ 160, 244, 375 ] }, { "X": [ 278, 390, 405 ], "Z": [ 3, 134, 407 ] }, { "X": [ 279, 391, 406 ], "Z": [ 162, 246, 373 ] }, { "X": [ 260, 392, 403 ], "Z": [ 5, 136, 409 ] }, { "X": [ 261, 393, 400 ], "Z": [ 164, 248, 379 ] }, { "X": [ 262, 394, 401 ], "Z": [ 7, 138, 411 ] }, { "X": [ 263, 395, 402 ], "Z": [ 166, 250, 377 ] }, { "X": [ 264, 396, 419 ], "Z": [ 9, 120, 413 ] }, { "X": [ 265, 397, 416 ], "Z": [ 168, 252, 363 ] }, { "X": [ 266, 398, 417 ], "Z": [ 11, 122, 415 ] }, { "X": [ 267, 399, 418 ], "Z": [ 170, 254, 361 ] }, { "X": [ 288, 400, 435 ], "Z": [ 37, 113, 224 ] }, { "X": [ 289, 401, 432 ], "Z": [ 272, 356, 467 ] }, { "X": [ 290, 402, 433 ], "Z": [ 39, 115, 226 ] }, { "X": [ 291, 403, 434 ], "Z": [ 274, 358, 465 ] }, { "X": [ 292, 404, 431 ], "Z": [ 21, 117, 228 ] }, { "X": [ 293, 405, 428 ], "Z": [ 276, 340, 471 ] }, { "X": [ 294, 406, 429 ], "Z": [ 23, 119, 230 ] }, { "X": [ 295, 407, 430 ], "Z": [ 278, 342, 469 ] }, { "X": [ 296, 408, 427 ], "Z": [ 25, 101, 232 ] }, { "X": [ 297, 409, 424 ], "Z": [ 260, 344, 475 ] }, { "X": [ 298, 410, 425 ], "Z": [ 27, 103, 234 ] }, { "X": [ 299, 411, 426 ], "Z": [ 262, 346, 473 ] }, { "X": [ 280, 412, 423 ], "Z": [ 29, 105, 236 ] }, { "X": [ 281, 413, 420 ], "Z": [ 264, 348, 479 ] }, { "X": [ 282, 414, 421 ], "Z": [ 31, 107, 238 ] }, { "X": [ 283, 415, 422 ], "Z": [ 266, 350, 477 ] }, { "X": [ 284, 416, 439 ], "Z": [ 33, 109, 220 ] }, { "X": [ 285, 417, 436 ], "Z": [ 268, 352, 463 ] }, { "X": [ 286, 418, 437 ], "Z": [ 35, 111, 222 ] }, { "X": [ 287, 419, 438 ], "Z": [ 270, 354, 461 ] }, { "X": [ 308, 420, 455 ], "Z": [ 137, 213, 324 ] }, { "X": [ 309, 421, 452 ], "Z": [ 87, 372, 456 ] }, { "X": [ 310, 422, 453 ], "Z": [ 139, 215, 326 ] }, { "X": [ 311, 423, 454 ], "Z": [ 85, 374, 458 ] }, { "X": [ 312, 424, 451 ], "Z": [ 121, 217, 328 ] }, { "X": [ 313, 425, 448 ], "Z": [ 91, 376, 440 ] }, { "X": [ 314, 426, 449 ], "Z": [ 123, 219, 330 ] }, { "X": [ 315, 427, 450 ], "Z": [ 89, 378, 442 ] }, { "X": [ 316, 428, 447 ], "Z": [ 125, 201, 332 ] }, { "X": [ 317, 429, 444 ], "Z": [ 95, 360, 444 ] }, { "X": [ 318, 430, 445 ], "Z": [ 127, 203, 334 ] }, { "X": [ 319, 431, 446 ], "Z": [ 93, 362, 446 ] }, { "X": [ 300, 432, 443 ], "Z": [ 129, 205, 336 ] }, { "X": [ 301, 433, 440 ], "Z": [ 99, 364, 448 ] }, { "X": [ 302, 434, 441 ], "Z": [ 131, 207, 338 ] }, { "X": [ 303, 435, 442 ], "Z": [ 97, 366, 450 ] }, { "X": [ 304, 436, 459 ], "Z": [ 133, 209, 320 ] }, { "X": [ 305, 437, 456 ], "Z": [ 83, 368, 452 ] }, { "X": [ 306, 438, 457 ], "Z": [ 135, 211, 322 ] }, { "X": [ 307, 439, 458 ], "Z": [ 81, 370, 454 ] }, { "X": [ 328, 440, 475 ], "Z": [ 237, 313, 424 ] }, { "X": [ 329, 441, 472 ], "Z": [ 76, 187, 472 ] }, { "X": [ 330, 442, 473 ], "Z": [ 239, 315, 426 ] }, { "X": [ 331, 443, 474 ], "Z": [ 78, 185, 474 ] }, { "X": [ 332, 444, 471 ], "Z": [ 221, 317, 428 ] }, { "X": [ 333, 445, 468 ], "Z": [ 60, 191, 476 ] }, { "X": [ 334, 446, 469 ], "Z": [ 223, 319, 430 ] }, { "X": [ 335, 447, 470 ], "Z": [ 62, 189, 478 ] }, { "X": [ 336, 448, 467 ], "Z": [ 225, 301, 432 ] }, { "X": [ 337, 449, 464 ], "Z": [ 64, 195, 460 ] }, { "X": [ 338, 450, 465 ], "Z": [ 227, 303, 434 ] }, { "X": [ 339, 451, 466 ], "Z": [ 66, 193, 462 ] }, { "X": [ 320, 452, 463 ], "Z": [ 229, 305, 436 ] }, { "X": [ 321, 453, 460 ], "Z": [ 68, 199, 464 ] }, { "X": [ 322, 454, 461 ], "Z": [ 231, 307, 438 ] }, { "X": [ 323, 455, 462 ], "Z": [ 70, 197, 466 ] }, { "X": [ 324, 456, 479 ], "Z": [ 233, 309, 420 ] }, { "X": [ 325, 457, 476 ], "Z": [ 72, 183, 468 ] }, { "X": [ 326, 458, 477 ], "Z": [ 235, 311, 422 ] }, { "X": [ 327, 459, 478 ], "Z": [ 74, 181, 470 ] }, { "X": [ 15, 348, 460 ], "Z": [ 44, 337, 413 ] }, { "X": [ 12, 349, 461 ], "Z": [ 92, 176, 287 ] }, { "X": [ 13, 350, 462 ], "Z": [ 46, 339, 415 ] }, { "X": [ 14, 351, 463 ], "Z": [ 94, 178, 285 ] }, { "X": [ 11, 352, 464 ], "Z": [ 48, 321, 417 ] }, { "X": [ 8, 353, 465 ], "Z": [ 96, 160, 291 ] }, { "X": [ 9, 354, 466 ], "Z": [ 50, 323, 419 ] }, { "X": [ 10, 355, 467 ], "Z": [ 98, 162, 289 ] }, { "X": [ 7, 356, 468 ], "Z": [ 52, 325, 401 ] }, { "X": [ 4, 357, 469 ], "Z": [ 80, 164, 295 ] }, { "X": [ 5, 358, 470 ], "Z": [ 54, 327, 403 ] }, { "X": [ 6, 359, 471 ], "Z": [ 82, 166, 293 ] }, { "X": [ 3, 340, 472 ], "Z": [ 56, 329, 405 ] }, { "X": [ 0, 341, 473 ], "Z": [ 84, 168, 299 ] }, { "X": [ 1, 342, 474 ], "Z": [ 58, 331, 407 ] }, { "X": [ 2, 343, 475 ], "Z": [ 86, 170, 297 ] }, { "X": [ 19, 344, 476 ], "Z": [ 40, 333, 409 ] }, { "X": [ 16, 345, 477 ], "Z": [ 88, 172, 283 ] }, { "X": [ 17, 346, 478 ], "Z": [ 42, 335, 411 ] }, { "X": [ 18, 347, 479 ], "Z": [ 90, 174, 281 ] } ] }, "distance": { "d": 36, "P": { "value": 36, "confidence": "upper_bound", "witness": { "X": [ 17, 19, 44, 46, 56, 58, 93, 95, 120, 122, 165, 167, 173, 175, 257, 259, 284, 286, 296, 298, 333, 335, 360, 362, 405, 407, 413, 415 ], "Z": [ 17, 19, 36, 38, 144, 146, 257, 259, 276, 278, 384, 386 ] } } }, "provenance": { "authors": [ "@jacksongquera" ], "construction": "Symplectic halving (mirror fold) of the board's CSS entry codes/960-24-40.json ([[960,24,40]], by @MicheldeMessieres), a weight-6 two-block group-algebra (2BGA) code over C24 x Dic5 (construction of arXiv:2306.16400, Lin and Pryadko). The fold uses a fixed-point-free involution tau of the parent's qubits that maps the X-check rowspace onto the Z-check rowspace: tau(1,g) = (2, h * psi(g)) with h = z^3x^2y^1 and psi the automorphism z -> z^5, x -> x^4, y -> z^12x^1y^3; tau(2, h * psi(g)) = (1, g) (elements indexed as in the parent); block 1 = parent qubits 0..479, block 2 = 480..959. Fold qubit i is the pair {q_i, tau(q_i)}, q_i the i-th smallest qubit with q_i < tau(q_i). Each parent X-check row gives one generator: X on the pairs whose q_i is in the row, Z on the pairs whose tau(q_i) is in the row. S = (A|B) is isotropic, k = 24/2 = 12, check weight 6, not CSS under any local Clifford.", "origin": "submission", "date": "2026-10-21", "model": "Claude Opus 5.5 (Claude Code)", "notes": "Derived from codes/960-24-40.json by @MicheldeMessieres (a weight-6 two-block group-algebra (2BGA) code over C24 x Dic5 (construction of arXiv:2306.16400, Lin and Pryadko)). The halving/doubling correspondence is the board's fieldnote fieldnotes/2026-09-28-symplectic-doubling-and-halving.md (@MathysRennela; Prop. 4 of arXiv:2609.30069) and the abelian mirror-code construction of Khesin and Lu (arXiv:2603.05496); the fold convention and the mirror shape are those of @MicheldeMessieres's codes/452-115-18.json and codes/336-10-28.json. Our part, stated narrowly: we enumerated the block-swapping mirrors tau(1,g) = (2, h psi(g)^(+-1)) over every automorphism psi of the group and every h, grouped the folds by the verifier's WL signature, and searched each class. Instruments and depths (lightest Pauli weight found): central-orbit, rung 1, seed 51, 7 partitions x 4000 trials: 36; central-translation pool, rung 1, seed 51, 20 calls x 4000 trials: 65; parent-quotient pool, rung 1, seed 51, 240 calls x 4000 trials: 36; central-orbit, rung 2, seed 52, 7 partitions x 100000 trials: 36; parent-quotient pool, rung 2, seed 52, 540 calls x 20000 trials: 36; ci-plain-doubling, rung ci, seed 52, 2000000 trials: 42. Distance d = 36 is the Pauli weight of the lightest logical any method found: a witness-backed upper bound, not an exact certificate. Construction and literature novelty are not claimed.", "references": [ "arXiv:2306.16400", "arXiv:2609.30069", "arXiv:2603.05496" ], "novelty": "unknown", "search_budget": { "cpu_hours": 3.6 } }, "family": "2bga-coset" }