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