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