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