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