{"ancillas": 1, "ops": [["H", 6], ["T", 6], ["CX", 1, 6], ["TDG", 6], ["CX", 0, 6], ["T", 6], ["CX", 1, 6], ["H", 1], ["TDG", 6], ["H", 6], ["CZ", 6, 1], ["TDG", 6], ["CX", 2, 1], ["T", 1], ["CX", 3, 1], ["TDG", 1], ["CX", 2, 1], ["T", 1], ["CX", 3, 1], ["H", 3], ["TDG", 1], ["H", 1], ["CZ", 1, 3], ["CX", 4, 3], ["T", 3], ["CX", 5, 3], ["TDG", 3], ["TDG", 1], ["CX", 4, 3], ["T", 3], ["CX", 5, 3], ["TDG", 3], ["H", 3], ["CX", 1, 3], ["TDG", 3], ["CX", 6, 3], ["T", 3], ["CX", 1, 3], ["TDG", 3], ["CX", 6, 3], ["T", 3], ["CX", 6, 1], ["TDG", 1], ["H", 3], ["T", 3], ["CX", 6, 1], ["S", 1], ["CX", 5, 3], ["TDG", 3], ["CX", 4, 3], ["T", 3], ["CX", 5, 3], ["TDG", 3], ["CX", 4, 3], ["CZ", 3, 1], ["H", 1], ["T", 1], ["H", 3], ["CX", 3, 1], ["TDG", 1], ["CX", 2, 1], ["T", 1], ["CX", 3, 1], ["TDG", 1], ["CX", 2, 1], ["CZ", 1, 6], ["MX", 6], ["H", 1], ["IF", [0], 1, ["CZ", 1, 0]]]}