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