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