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