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