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