{"ancillas": 1, "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], ["H", 1], ["CZ", 1, 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], ["TDG", 1], ["CZ", 1, 3], ["CX", 4, 3], ["T", 3], ["CX", 5, 3], ["TDG", 3], ["CX", 4, 3], ["T", 3], ["CX", 5, 3], ["TDG", 3], ["H", 3], ["SDG", 3], ["CX", 1, 3], ["TDG", 3], ["CX", 6, 3], ["T", 3], ["CX", 1, 3], ["TDG", 3], ["CX", 6, 3], ["S", 3], ["T", 3], ["H", 3], ["T", 3], ["CX", 5, 3], ["CX", 6, 1], ["TDG", 1], ["TDG", 3], ["CX", 4, 3], ["CX", 6, 1], ["S", 1], ["T", 3], ["CX", 5, 3], ["TDG", 3], ["CX", 4, 3], ["CZ", 1, 3], ["H", 3], ["H", 1], ["T", 1], ["CX", 3, 1], ["TDG", 1], ["CX", 2, 1], ["T", 1], ["CX", 3, 1], ["TDG", 1], ["CX", 2, 1], ["CZ", 1, 6], ["H", 1], ["MX", 6], ["IF", [0], 1, ["CZ", 0, 1]]]}