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