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