{"ancillas":3,"ops":[["CCX",0,12,15],["CX",1,15],["CX",1,12],["CCX",15,12,14],["CX",1,12],["CX",1,15],["CX",1,14],["MX",15],["RZ",15],["CX",2,14],["CX",2,12],["CCX",14,12,15],["CX",2,12],["CX",2,14],["CX",2,15],["MX",14],["RZ",14],["CCX",3,15,14],["MX",15],["RZ",15],["CX",4,14],["CX",4,12],["CCX",14,12,15],["CX",4,12],["CX",4,15],["CX",5,15],["CX",5,12],["CCX",15,12,13],["CX",5,12],["CX",5,15],["CX",5,13],["MX",15],["RZ",15],["CCX",6,13,15],["MX",13],["RZ",13],["CX",7,15],["CX",7,12],["CCX",15,12,13],["CX",7,12],["CX",7,15],["CX",7,13],["MX",15],["RZ",15],["CX",8,13],["CX",8,12],["CCX",13,12,15],["CX",8,12],["CX",8,13],["CX",8,15],["MX",13],["RZ",13],["CCX",9,15,13],["CCX",10,13,11],["CX",12,11],["CX",13,10],["CCX",9,15,13],["MX",15],["RZ",15],["CX",4,12],["CCX",14,12,15],["CX",4,12],["CX",4,15],["PZ",15,[3],0],["CX",5,15],["CX",5,12],["CCX",15,12,13],["CX",5,12],["CX",5,15],["CX",5,13],["PZ",13,[4],0],["MX",15],["RZ",15],["CCX",6,13,15],["PZ",15,[5],0],["MX",13],["RZ",13],["CX",7,15],["CX",7,12],["CCX",15,12,13],["CX",7,12],["CX",7,13],["PZ",13,[6],0],["PZ",9,[7],0],["CX",8,13],["CX",8,12],["CCX",13,12,9],["CX",8,12],["CX",8,13],["CX",8,9],["PZ",9,[7],0],["CX",13,8],["CX",12,8],["CX",7,12],["CCX",15,12,13],["CX",7,12],["CX",7,15],["CX",7,13],["MX",15],["RZ",15],["CX",4,12],["CCX",14,12,15],["CX",4,12],["CX",4,15],["PZ",15,[8],0],["CX",5,15],["CX",5,12],["CCX",15,12,13],["CX",5,12],["CX",5,13],["PZ",13,[9],0],["PZ",7,[10],0],["CCX",6,13,7],["PZ",7,[10],0],["CX",12,7],["CX",13,6],["CX",5,12],["CCX",15,12,13],["CX",5,12],["CX",5,15],["CX",5,13],["CX",15,5],["CX",12,5],["CX",4,12],["CCX",14,12,15],["CX",4,12],["CX",4,14],["CX",4,15],["MX",14],["RZ",14],["CCX",0,12,14],["PZ",14,[0],0],["CX",1,14],["CX",1,12],["CCX",14,12,15],["CX",1,12],["CX",1,15],["PZ",15,[1],0],["CX",2,15],["CX",2,12],["CCX",15,12,13],["CX",2,12],["CX",2,13],["PZ",13,[2],0],["PZ",4,[11],0],["CCX",3,13,4],["PZ",4,[11],0],["CX",12,4],["CX",13,3],["CX",2,12],["CCX",15,12,13],["CX",2,12],["CX",2,15],["CX",2,13],["CX",15,2],["CX",12,2],["CX",1,12],["CCX",14,12,15],["CX",1,12],["CX",1,14],["CX",1,15],["CX",14,1],["CX",12,1],["CCX",0,12,14],["CX",12,0]]}