// The hamiltonian cycle problem formulated for the Petersen graph.
// This will only run on the full version of OPL studio.

var int x[1..10,1..10] in 0..1;
minimize 1*x[1,2]+1*x[1,5]+1*x[1,6]+1*x[2,3]+1*x[2,7]+1*x[3,4]+1*x[3,8]+1*x[4,5]+1*x[4,9]+1*x[5,10]+1*x[6,8]+1*x[6,9]+1*x[7,9]+1*x[7,10]+1*x[8,10]
subject to {
 forall (i,j in 1..10) x[i,j]=x[j,i];
x[1,2]+x[1,5]+x[1,6]>=2;
x[1,2]+x[1,5]+x[1,6]+x[5,10]+x[7,10]+x[8,10]>=2;
x[1,2]+x[1,5]+x[1,6]+x[4,9]+x[6,9]+x[7,9]>=2;
x[1,2]+x[1,5]+x[1,6]+x[4,9]+x[5,10]+x[6,9]+x[7,9]+x[7,10]+x[8,10]>=2;
x[1,2]+x[1,5]+x[1,6]+x[3,8]+x[6,8]+x[8,10]>=2;
x[1,2]+x[1,5]+x[1,6]+x[3,8]+x[5,10]+x[6,8]+x[7,10]>=2;
x[1,2]+x[1,5]+x[1,6]+x[3,8]+x[4,9]+x[6,8]+x[6,9]+x[7,9]+x[8,10]>=2;
x[1,2]+x[1,5]+x[1,6]+x[3,8]+x[4,9]+x[5,10]+x[6,8]+x[6,9]+x[7,9]+x[7,10]>=2;
x[1,2]+x[1,5]+x[1,6]+x[2,7]+x[7,9]+x[7,10]>=2;
x[1,2]+x[1,5]+x[1,6]+x[2,7]+x[5,10]+x[7,9]+x[8,10]>=2;
x[1,2]+x[1,5]+x[1,6]+x[2,7]+x[4,9]+x[6,9]+x[7,10]>=2;
x[1,2]+x[1,5]+x[1,6]+x[2,7]+x[4,9]+x[5,10]+x[6,9]+x[8,10]>=2;
x[1,2]+x[1,5]+x[1,6]+x[2,7]+x[3,8]+x[6,8]+x[7,9]+x[7,10]+x[8,10]>=2;
x[1,2]+x[1,5]+x[1,6]+x[2,7]+x[3,8]+x[5,10]+x[6,8]+x[7,9]>=2;
x[1,2]+x[1,5]+x[1,6]+x[2,7]+x[3,8]+x[4,9]+x[6,8]+x[6,9]+x[7,10]+x[8,10]>=2;
x[1,2]+x[1,5]+x[1,6]+x[2,7]+x[3,8]+x[4,9]+x[5,10]+x[6,8]+x[6,9]>=2;
x[1,2]+x[1,5]+x[6,8]+x[6,9]>=2;
x[1,2]+x[1,5]+x[5,10]+x[6,8]+x[6,9]+x[7,10]+x[8,10]>=2;
x[1,2]+x[1,5]+x[4,9]+x[6,8]+x[7,9]>=2;
x[1,2]+x[1,5]+x[4,9]+x[5,10]+x[6,8]+x[7,9]+x[7,10]+x[8,10]>=2;
x[1,2]+x[1,5]+x[3,8]+x[6,9]+x[8,10]>=2;
x[1,2]+x[1,5]+x[3,8]+x[5,10]+x[6,9]+x[7,10]>=2;
x[1,2]+x[1,5]+x[3,8]+x[4,9]+x[7,9]+x[8,10]>=2;
x[1,2]+x[1,5]+x[3,8]+x[4,9]+x[5,10]+x[7,9]+x[7,10]>=2;
x[1,2]+x[1,5]+x[2,7]+x[6,8]+x[6,9]+x[7,9]+x[7,10]>=2;
x[1,2]+x[1,5]+x[2,7]+x[5,10]+x[6,8]+x[6,9]+x[7,9]+x[8,10]>=2;
x[1,2]+x[1,5]+x[2,7]+x[4,9]+x[6,8]+x[7,10]>=2;
x[1,2]+x[1,5]+x[2,7]+x[4,9]+x[5,10]+x[6,8]+x[8,10]>=2;
x[1,2]+x[1,5]+x[2,7]+x[3,8]+x[6,9]+x[7,9]+x[7,10]+x[8,10]>=2;
x[1,2]+x[1,5]+x[2,7]+x[3,8]+x[5,10]+x[6,9]+x[7,9]>=2;
x[1,2]+x[1,5]+x[2,7]+x[3,8]+x[4,9]+x[7,10]+x[8,10]>=2;
x[1,2]+x[1,5]+x[2,7]+x[3,8]+x[4,9]+x[5,10]>=2;
x[1,2]+x[1,6]+x[4,5]+x[5,10]>=2;
x[1,2]+x[1,6]+x[4,5]+x[7,10]+x[8,10]>=2;
x[1,2]+x[1,6]+x[4,5]+x[4,9]+x[5,10]+x[6,9]+x[7,9]>=2;
x[1,2]+x[1,6]+x[4,5]+x[4,9]+x[6,9]+x[7,9]+x[7,10]+x[8,10]>=2;
x[1,2]+x[1,6]+x[3,8]+x[4,5]+x[5,10]+x[6,8]+x[8,10]>=2;
x[1,2]+x[1,6]+x[3,8]+x[4,5]+x[6,8]+x[7,10]>=2;
x[1,2]+x[1,6]+x[3,8]+x[4,5]+x[4,9]+x[5,10]+x[6,8]+x[6,9]+x[7,9]+x[8,10]>=2;
x[1,2]+x[1,6]+x[3,8]+x[4,5]+x[4,9]+x[6,8]+x[6,9]+x[7,9]+x[7,10]>=2;
x[1,2]+x[1,6]+x[2,7]+x[4,5]+x[5,10]+x[7,9]+x[7,10]>=2;
x[1,2]+x[1,6]+x[2,7]+x[4,5]+x[7,9]+x[8,10]>=2;
x[1,2]+x[1,6]+x[2,7]+x[4,5]+x[4,9]+x[5,10]+x[6,9]+x[7,10]>=2;
x[1,2]+x[1,6]+x[2,7]+x[4,5]+x[4,9]+x[6,9]+x[8,10]>=2;
x[1,2]+x[1,6]+x[2,7]+x[3,8]+x[4,5]+x[5,10]+x[6,8]+x[7,9]+x[7,10]+x[8,10]>=2;
x[1,2]+x[1,6]+x[2,7]+x[3,8]+x[4,5]+x[6,8]+x[7,9]>=2;
x[1,2]+x[1,6]+x[2,7]+x[3,8]+x[4,5]+x[4,9]+x[5,10]+x[6,8]+x[6,9]+x[7,10]+x[8,10]>=2;
x[1,2]+x[1,6]+x[2,7]+x[3,8]+x[4,5]+x[4,9]+x[6,8]+x[6,9]>=2;
x[1,2]+x[4,5]+x[5,10]+x[6,8]+x[6,9]>=2;
x[1,2]+x[4,5]+x[6,8]+x[6,9]+x[7,10]+x[8,10]>=2;
x[1,2]+x[4,5]+x[4,9]+x[5,10]+x[6,8]+x[7,9]>=2;
x[1,2]+x[4,5]+x[4,9]+x[6,8]+x[7,9]+x[7,10]+x[8,10]>=2;
x[1,2]+x[3,8]+x[4,5]+x[5,10]+x[6,9]+x[8,10]>=2;
x[1,2]+x[3,8]+x[4,5]+x[6,9]+x[7,10]>=2;
x[1,2]+x[3,8]+x[4,5]+x[4,9]+x[5,10]+x[7,9]+x[8,10]>=2;
x[1,2]+x[3,8]+x[4,5]+x[4,9]+x[7,9]+x[7,10]>=2;
x[1,2]+x[2,7]+x[4,5]+x[5,10]+x[6,8]+x[6,9]+x[7,9]+x[7,10]>=2;
x[1,2]+x[2,7]+x[4,5]+x[6,8]+x[6,9]+x[7,9]+x[8,10]>=2;
x[1,2]+x[2,7]+x[4,5]+x[4,9]+x[5,10]+x[6,8]+x[7,10]>=2;
x[1,2]+x[2,7]+x[4,5]+x[4,9]+x[6,8]+x[8,10]>=2;
x[1,2]+x[2,7]+x[3,8]+x[4,5]+x[5,10]+x[6,9]+x[7,9]+x[7,10]+x[8,10]>=2;
x[1,2]+x[2,7]+x[3,8]+x[4,5]+x[6,9]+x[7,9]>=2;
x[1,2]+x[2,7]+x[3,8]+x[4,5]+x[4,9]+x[5,10]+x[7,10]+x[8,10]>=2;
x[1,2]+x[2,7]+x[3,8]+x[4,5]+x[4,9]>=2;
x[1,2]+x[1,5]+x[1,6]+x[3,4]+x[4,5]+x[4,9]>=2;
x[1,2]+x[1,5]+x[1,6]+x[3,4]+x[4,5]+x[4,9]+x[5,10]+x[7,10]+x[8,10]>=2;
x[1,2]+x[1,5]+x[1,6]+x[3,4]+x[4,5]+x[6,9]+x[7,9]>=2;
x[1,2]+x[1,5]+x[1,6]+x[3,4]+x[4,5]+x[5,10]+x[6,9]+x[7,9]+x[7,10]+x[8,10]>=2;
x[1,2]+x[1,5]+x[1,6]+x[3,4]+x[3,8]+x[4,5]+x[4,9]+x[6,8]+x[8,10]>=2;
x[1,2]+x[1,5]+x[1,6]+x[3,4]+x[3,8]+x[4,5]+x[4,9]+x[5,10]+x[6,8]+x[7,10]>=2;
x[1,2]+x[1,5]+x[1,6]+x[3,4]+x[3,8]+x[4,5]+x[6,8]+x[6,9]+x[7,9]+x[8,10]>=2;
x[1,2]+x[1,5]+x[1,6]+x[3,4]+x[3,8]+x[4,5]+x[5,10]+x[6,8]+x[6,9]+x[7,9]+x[7,10]>=2;
x[1,2]+x[1,5]+x[1,6]+x[2,7]+x[3,4]+x[4,5]+x[4,9]+x[7,9]+x[7,10]>=2;
x[1,2]+x[1,5]+x[1,6]+x[2,7]+x[3,4]+x[4,5]+x[4,9]+x[5,10]+x[7,9]+x[8,10]>=2;
x[1,2]+x[1,5]+x[1,6]+x[2,7]+x[3,4]+x[4,5]+x[6,9]+x[7,10]>=2;
x[1,2]+x[1,5]+x[1,6]+x[2,7]+x[3,4]+x[4,5]+x[5,10]+x[6,9]+x[8,10]>=2;
x[1,2]+x[1,5]+x[1,6]+x[2,7]+x[3,4]+x[3,8]+x[4,5]+x[4,9]+x[6,8]+x[7,9]+x[7,10]+x[8,10]>=2;
x[1,2]+x[1,5]+x[1,6]+x[2,7]+x[3,4]+x[3,8]+x[4,5]+x[4,9]+x[5,10]+x[6,8]+x[7,9]>=2;
x[1,2]+x[1,5]+x[1,6]+x[2,7]+x[3,4]+x[3,8]+x[4,5]+x[6,8]+x[6,9]+x[7,10]+x[8,10]>=2;
x[1,2]+x[1,5]+x[1,6]+x[2,7]+x[3,4]+x[3,8]+x[4,5]+x[5,10]+x[6,8]+x[6,9]>=2;
x[1,2]+x[1,5]+x[3,4]+x[4,5]+x[4,9]+x[6,8]+x[6,9]>=2;
x[1,2]+x[1,5]+x[3,4]+x[4,5]+x[4,9]+x[5,10]+x[6,8]+x[6,9]+x[7,10]+x[8,10]>=2;
x[1,2]+x[1,5]+x[3,4]+x[4,5]+x[6,8]+x[7,9]>=2;
x[1,2]+x[1,5]+x[3,4]+x[4,5]+x[5,10]+x[6,8]+x[7,9]+x[7,10]+x[8,10]>=2;
x[1,2]+x[1,5]+x[3,4]+x[3,8]+x[4,5]+x[4,9]+x[6,9]+x[8,10]>=2;
x[1,2]+x[1,5]+x[3,4]+x[3,8]+x[4,5]+x[4,9]+x[5,10]+x[6,9]+x[7,10]>=2;
x[1,2]+x[1,5]+x[3,4]+x[3,8]+x[4,5]+x[7,9]+x[8,10]>=2;
x[1,2]+x[1,5]+x[3,4]+x[3,8]+x[4,5]+x[5,10]+x[7,9]+x[7,10]>=2;
x[1,2]+x[1,5]+x[2,7]+x[3,4]+x[4,5]+x[4,9]+x[6,8]+x[6,9]+x[7,9]+x[7,10]>=2;
x[1,2]+x[1,5]+x[2,7]+x[3,4]+x[4,5]+x[4,9]+x[5,10]+x[6,8]+x[6,9]+x[7,9]+x[8,10]>=2;
x[1,2]+x[1,5]+x[2,7]+x[3,4]+x[4,5]+x[6,8]+x[7,10]>=2;
x[1,2]+x[1,5]+x[2,7]+x[3,4]+x[4,5]+x[5,10]+x[6,8]+x[8,10]>=2;
x[1,2]+x[1,5]+x[2,7]+x[3,4]+x[3,8]+x[4,5]+x[4,9]+x[6,9]+x[7,9]+x[7,10]+x[8,10]>=2;
x[1,2]+x[1,5]+x[2,7]+x[3,4]+x[3,8]+x[4,5]+x[4,9]+x[5,10]+x[6,9]+x[7,9]>=2;
x[1,2]+x[1,5]+x[2,7]+x[3,4]+x[3,8]+x[4,5]+x[7,10]+x[8,10]>=2;
x[1,2]+x[1,5]+x[2,7]+x[3,4]+x[3,8]+x[4,5]+x[5,10]>=2;
x[1,2]+x[1,6]+x[3,4]+x[4,9]+x[5,10]>=2;
x[1,2]+x[1,6]+x[3,4]+x[4,9]+x[7,10]+x[8,10]>=2;
x[1,2]+x[1,6]+x[3,4]+x[5,10]+x[6,9]+x[7,9]>=2;
x[1,2]+x[1,6]+x[3,4]+x[6,9]+x[7,9]+x[7,10]+x[8,10]>=2;
x[1,2]+x[1,6]+x[3,4]+x[3,8]+x[4,9]+x[5,10]+x[6,8]+x[8,10]>=2;
x[1,2]+x[1,6]+x[3,4]+x[3,8]+x[4,9]+x[6,8]+x[7,10]>=2;
x[1,2]+x[1,6]+x[3,4]+x[3,8]+x[5,10]+x[6,8]+x[6,9]+x[7,9]+x[8,10]>=2;
x[1,2]+x[1,6]+x[3,4]+x[3,8]+x[6,8]+x[6,9]+x[7,9]+x[7,10]>=2;
x[1,2]+x[1,6]+x[2,7]+x[3,4]+x[4,9]+x[5,10]+x[7,9]+x[7,10]>=2;
x[1,2]+x[1,6]+x[2,7]+x[3,4]+x[4,9]+x[7,9]+x[8,10]>=2;
x[1,2]+x[1,6]+x[2,7]+x[3,4]+x[5,10]+x[6,9]+x[7,10]>=2;
x[1,2]+x[1,6]+x[2,7]+x[3,4]+x[6,9]+x[8,10]>=2;
x[1,2]+x[1,6]+x[2,7]+x[3,4]+x[3,8]+x[4,9]+x[5,10]+x[6,8]+x[7,9]+x[7,10]+x[8,10]>=2;
x[1,2]+x[1,6]+x[2,7]+x[3,4]+x[3,8]+x[4,9]+x[6,8]+x[7,9]>=2;
x[1,2]+x[1,6]+x[2,7]+x[3,4]+x[3,8]+x[5,10]+x[6,8]+x[6,9]+x[7,10]+x[8,10]>=2;
x[1,2]+x[1,6]+x[2,7]+x[3,4]+x[3,8]+x[6,8]+x[6,9]>=2;
x[1,2]+x[3,4]+x[4,9]+x[5,10]+x[6,8]+x[6,9]>=2;
x[1,2]+x[3,4]+x[4,9]+x[6,8]+x[6,9]+x[7,10]+x[8,10]>=2;
x[1,2]+x[3,4]+x[5,10]+x[6,8]+x[7,9]>=2;
x[1,2]+x[3,4]+x[6,8]+x[7,9]+x[7,10]+x[8,10]>=2;
x[1,2]+x[3,4]+x[3,8]+x[4,9]+x[5,10]+x[6,9]+x[8,10]>=2;
x[1,2]+x[3,4]+x[3,8]+x[4,9]+x[6,9]+x[7,10]>=2;
x[1,2]+x[3,4]+x[3,8]+x[5,10]+x[7,9]+x[8,10]>=2;
x[1,2]+x[3,4]+x[3,8]+x[7,9]+x[7,10]>=2;
x[1,2]+x[2,7]+x[3,4]+x[4,9]+x[5,10]+x[6,8]+x[6,9]+x[7,9]+x[7,10]>=2;
x[1,2]+x[2,7]+x[3,4]+x[4,9]+x[6,8]+x[6,9]+x[7,9]+x[8,10]>=2;
x[1,2]+x[2,7]+x[3,4]+x[5,10]+x[6,8]+x[7,10]>=2;
x[1,2]+x[2,7]+x[3,4]+x[6,8]+x[8,10]>=2;
x[1,2]+x[2,7]+x[3,4]+x[3,8]+x[4,9]+x[5,10]+x[6,9]+x[7,9]+x[7,10]+x[8,10]>=2;
x[1,2]+x[2,7]+x[3,4]+x[3,8]+x[4,9]+x[6,9]+x[7,9]>=2;
x[1,2]+x[2,7]+x[3,4]+x[3,8]+x[5,10]+x[7,10]+x[8,10]>=2;
x[1,2]+x[2,7]+x[3,4]+x[3,8]>=2;
x[1,2]+x[1,5]+x[1,6]+x[2,3]+x[3,4]+x[3,8]>=2;
x[1,2]+x[1,5]+x[1,6]+x[2,3]+x[3,4]+x[3,8]+x[5,10]+x[7,10]+x[8,10]>=2;
x[1,2]+x[1,5]+x[1,6]+x[2,3]+x[3,4]+x[3,8]+x[4,9]+x[6,9]+x[7,9]>=2;
x[1,2]+x[1,5]+x[1,6]+x[2,3]+x[3,4]+x[3,8]+x[4,9]+x[5,10]+x[6,9]+x[7,9]+x[7,10]+x[8,10]>=2;
x[1,2]+x[1,5]+x[1,6]+x[2,3]+x[3,4]+x[6,8]+x[8,10]>=2;
x[1,2]+x[1,5]+x[1,6]+x[2,3]+x[3,4]+x[5,10]+x[6,8]+x[7,10]>=2;
x[1,2]+x[1,5]+x[1,6]+x[2,3]+x[3,4]+x[4,9]+x[6,8]+x[6,9]+x[7,9]+x[8,10]>=2;
x[1,2]+x[1,5]+x[1,6]+x[2,3]+x[3,4]+x[4,9]+x[5,10]+x[6,8]+x[6,9]+x[7,9]+x[7,10]>=2;
x[1,2]+x[1,5]+x[1,6]+x[2,3]+x[2,7]+x[3,4]+x[3,8]+x[7,9]+x[7,10]>=2;
x[1,2]+x[1,5]+x[1,6]+x[2,3]+x[2,7]+x[3,4]+x[3,8]+x[5,10]+x[7,9]+x[8,10]>=2;
x[1,2]+x[1,5]+x[1,6]+x[2,3]+x[2,7]+x[3,4]+x[3,8]+x[4,9]+x[6,9]+x[7,10]>=2;
x[1,2]+x[1,5]+x[1,6]+x[2,3]+x[2,7]+x[3,4]+x[3,8]+x[4,9]+x[5,10]+x[6,9]+x[8,10]>=2;
x[1,2]+x[1,5]+x[1,6]+x[2,3]+x[2,7]+x[3,4]+x[6,8]+x[7,9]+x[7,10]+x[8,10]>=2;
x[1,2]+x[1,5]+x[1,6]+x[2,3]+x[2,7]+x[3,4]+x[5,10]+x[6,8]+x[7,9]>=2;
x[1,2]+x[1,5]+x[1,6]+x[2,3]+x[2,7]+x[3,4]+x[4,9]+x[6,8]+x[6,9]+x[7,10]+x[8,10]>=2;
x[1,2]+x[1,5]+x[1,6]+x[2,3]+x[2,7]+x[3,4]+x[4,9]+x[5,10]+x[6,8]+x[6,9]>=2;
x[1,2]+x[1,5]+x[2,3]+x[3,4]+x[3,8]+x[6,8]+x[6,9]>=2;
x[1,2]+x[1,5]+x[2,3]+x[3,4]+x[3,8]+x[5,10]+x[6,8]+x[6,9]+x[7,10]+x[8,10]>=2;
x[1,2]+x[1,5]+x[2,3]+x[3,4]+x[3,8]+x[4,9]+x[6,8]+x[7,9]>=2;
x[1,2]+x[1,5]+x[2,3]+x[3,4]+x[3,8]+x[4,9]+x[5,10]+x[6,8]+x[7,9]+x[7,10]+x[8,10]>=2;
x[1,2]+x[1,5]+x[2,3]+x[3,4]+x[6,9]+x[8,10]>=2;
x[1,2]+x[1,5]+x[2,3]+x[3,4]+x[5,10]+x[6,9]+x[7,10]>=2;
x[1,2]+x[1,5]+x[2,3]+x[3,4]+x[4,9]+x[7,9]+x[8,10]>=2;
x[1,2]+x[1,5]+x[2,3]+x[3,4]+x[4,9]+x[5,10]+x[7,9]+x[7,10]>=2;
x[1,2]+x[1,5]+x[2,3]+x[2,7]+x[3,4]+x[3,8]+x[6,8]+x[6,9]+x[7,9]+x[7,10]>=2;
x[1,2]+x[1,5]+x[2,3]+x[2,7]+x[3,4]+x[3,8]+x[5,10]+x[6,8]+x[6,9]+x[7,9]+x[8,10]>=2;
x[1,2]+x[1,5]+x[2,3]+x[2,7]+x[3,4]+x[3,8]+x[4,9]+x[6,8]+x[7,10]>=2;
x[1,2]+x[1,5]+x[2,3]+x[2,7]+x[3,4]+x[3,8]+x[4,9]+x[5,10]+x[6,8]+x[8,10]>=2;
x[1,2]+x[1,5]+x[2,3]+x[2,7]+x[3,4]+x[6,9]+x[7,9]+x[7,10]+x[8,10]>=2;
x[1,2]+x[1,5]+x[2,3]+x[2,7]+x[3,4]+x[5,10]+x[6,9]+x[7,9]>=2;
x[1,2]+x[1,5]+x[2,3]+x[2,7]+x[3,4]+x[4,9]+x[7,10]+x[8,10]>=2;
x[1,2]+x[1,5]+x[2,3]+x[2,7]+x[3,4]+x[4,9]+x[5,10]>=2;
x[1,2]+x[1,6]+x[2,3]+x[3,4]+x[3,8]+x[4,5]+x[5,10]>=2;
x[1,2]+x[1,6]+x[2,3]+x[3,4]+x[3,8]+x[4,5]+x[7,10]+x[8,10]>=2;
x[1,2]+x[1,6]+x[2,3]+x[3,4]+x[3,8]+x[4,5]+x[4,9]+x[5,10]+x[6,9]+x[7,9]>=2;
x[1,2]+x[1,6]+x[2,3]+x[3,4]+x[3,8]+x[4,5]+x[4,9]+x[6,9]+x[7,9]+x[7,10]+x[8,10]>=2;
x[1,2]+x[1,6]+x[2,3]+x[3,4]+x[4,5]+x[5,10]+x[6,8]+x[8,10]>=2;
x[1,2]+x[1,6]+x[2,3]+x[3,4]+x[4,5]+x[6,8]+x[7,10]>=2;
x[1,2]+x[1,6]+x[2,3]+x[3,4]+x[4,5]+x[4,9]+x[5,10]+x[6,8]+x[6,9]+x[7,9]+x[8,10]>=2;
x[1,2]+x[1,6]+x[2,3]+x[3,4]+x[4,5]+x[4,9]+x[6,8]+x[6,9]+x[7,9]+x[7,10]>=2;
x[1,2]+x[1,6]+x[2,3]+x[2,7]+x[3,4]+x[3,8]+x[4,5]+x[5,10]+x[7,9]+x[7,10]>=2;
x[1,2]+x[1,6]+x[2,3]+x[2,7]+x[3,4]+x[3,8]+x[4,5]+x[7,9]+x[8,10]>=2;
x[1,2]+x[1,6]+x[2,3]+x[2,7]+x[3,4]+x[3,8]+x[4,5]+x[4,9]+x[5,10]+x[6,9]+x[7,10]>=2;
x[1,2]+x[1,6]+x[2,3]+x[2,7]+x[3,4]+x[3,8]+x[4,5]+x[4,9]+x[6,9]+x[8,10]>=2;
x[1,2]+x[1,6]+x[2,3]+x[2,7]+x[3,4]+x[4,5]+x[5,10]+x[6,8]+x[7,9]+x[7,10]+x[8,10]>=2;
x[1,2]+x[1,6]+x[2,3]+x[2,7]+x[3,4]+x[4,5]+x[6,8]+x[7,9]>=2;
x[1,2]+x[1,6]+x[2,3]+x[2,7]+x[3,4]+x[4,5]+x[4,9]+x[5,10]+x[6,8]+x[6,9]+x[7,10]+x[8,10]>=2;
x[1,2]+x[1,6]+x[2,3]+x[2,7]+x[3,4]+x[4,5]+x[4,9]+x[6,8]+x[6,9]>=2;
x[1,2]+x[2,3]+x[3,4]+x[3,8]+x[4,5]+x[5,10]+x[6,8]+x[6,9]>=2;
x[1,2]+x[2,3]+x[3,4]+x[3,8]+x[4,5]+x[6,8]+x[6,9]+x[7,10]+x[8,10]>=2;
x[1,2]+x[2,3]+x[3,4]+x[3,8]+x[4,5]+x[4,9]+x[5,10]+x[6,8]+x[7,9]>=2;
x[1,2]+x[2,3]+x[3,4]+x[3,8]+x[4,5]+x[4,9]+x[6,8]+x[7,9]+x[7,10]+x[8,10]>=2;
x[1,2]+x[2,3]+x[3,4]+x[4,5]+x[5,10]+x[6,9]+x[8,10]>=2;
x[1,2]+x[2,3]+x[3,4]+x[4,5]+x[6,9]+x[7,10]>=2;
x[1,2]+x[2,3]+x[3,4]+x[4,5]+x[4,9]+x[5,10]+x[7,9]+x[8,10]>=2;
x[1,2]+x[2,3]+x[3,4]+x[4,5]+x[4,9]+x[7,9]+x[7,10]>=2;
x[1,2]+x[2,3]+x[2,7]+x[3,4]+x[3,8]+x[4,5]+x[5,10]+x[6,8]+x[6,9]+x[7,9]+x[7,10]>=2;
x[1,2]+x[2,3]+x[2,7]+x[3,4]+x[3,8]+x[4,5]+x[6,8]+x[6,9]+x[7,9]+x[8,10]>=2;
x[1,2]+x[2,3]+x[2,7]+x[3,4]+x[3,8]+x[4,5]+x[4,9]+x[5,10]+x[6,8]+x[7,10]>=2;
x[1,2]+x[2,3]+x[2,7]+x[3,4]+x[3,8]+x[4,5]+x[4,9]+x[6,8]+x[8,10]>=2;
x[1,2]+x[2,3]+x[2,7]+x[3,4]+x[4,5]+x[5,10]+x[6,9]+x[7,9]+x[7,10]+x[8,10]>=2;
x[1,2]+x[2,3]+x[2,7]+x[3,4]+x[4,5]+x[6,9]+x[7,9]>=2;
x[1,2]+x[2,3]+x[2,7]+x[3,4]+x[4,5]+x[4,9]+x[5,10]+x[7,10]+x[8,10]>=2;
x[1,2]+x[2,3]+x[2,7]+x[3,4]+x[4,5]+x[4,9]>=2;
x[1,2]+x[1,5]+x[1,6]+x[2,3]+x[3,8]+x[4,5]+x[4,9]>=2;
x[1,2]+x[1,5]+x[1,6]+x[2,3]+x[3,8]+x[4,5]+x[4,9]+x[5,10]+x[7,10]+x[8,10]>=2;
x[1,2]+x[1,5]+x[1,6]+x[2,3]+x[3,8]+x[4,5]+x[6,9]+x[7,9]>=2;
x[1,2]+x[1,5]+x[1,6]+x[2,3]+x[3,8]+x[4,5]+x[5,10]+x[6,9]+x[7,9]+x[7,10]+x[8,10]>=2;
x[1,2]+x[1,5]+x[1,6]+x[2,3]+x[4,5]+x[4,9]+x[6,8]+x[8,10]>=2;
x[1,2]+x[1,5]+x[1,6]+x[2,3]+x[4,5]+x[4,9]+x[5,10]+x[6,8]+x[7,10]>=2;
x[1,2]+x[1,5]+x[1,6]+x[2,3]+x[4,5]+x[6,8]+x[6,9]+x[7,9]+x[8,10]>=2;
x[1,2]+x[1,5]+x[1,6]+x[2,3]+x[4,5]+x[5,10]+x[6,8]+x[6,9]+x[7,9]+x[7,10]>=2;
x[1,2]+x[1,5]+x[1,6]+x[2,3]+x[2,7]+x[3,8]+x[4,5]+x[4,9]+x[7,9]+x[7,10]>=2;
x[1,2]+x[1,5]+x[1,6]+x[2,3]+x[2,7]+x[3,8]+x[4,5]+x[4,9]+x[5,10]+x[7,9]+x[8,10]>=2;
x[1,2]+x[1,5]+x[1,6]+x[2,3]+x[2,7]+x[3,8]+x[4,5]+x[6,9]+x[7,10]>=2;
x[1,2]+x[1,5]+x[1,6]+x[2,3]+x[2,7]+x[3,8]+x[4,5]+x[5,10]+x[6,9]+x[8,10]>=2;
x[1,2]+x[1,5]+x[1,6]+x[2,3]+x[2,7]+x[4,5]+x[4,9]+x[6,8]+x[7,9]+x[7,10]+x[8,10]>=2;
x[1,2]+x[1,5]+x[1,6]+x[2,3]+x[2,7]+x[4,5]+x[4,9]+x[5,10]+x[6,8]+x[7,9]>=2;
x[1,2]+x[1,5]+x[1,6]+x[2,3]+x[2,7]+x[4,5]+x[6,8]+x[6,9]+x[7,10]+x[8,10]>=2;
x[1,2]+x[1,5]+x[1,6]+x[2,3]+x[2,7]+x[4,5]+x[5,10]+x[6,8]+x[6,9]>=2;
x[1,2]+x[1,5]+x[2,3]+x[3,8]+x[4,5]+x[4,9]+x[6,8]+x[6,9]>=2;
x[1,2]+x[1,5]+x[2,3]+x[3,8]+x[4,5]+x[4,9]+x[5,10]+x[6,8]+x[6,9]+x[7,10]+x[8,10]>=2;
x[1,2]+x[1,5]+x[2,3]+x[3,8]+x[4,5]+x[6,8]+x[7,9]>=2;
x[1,2]+x[1,5]+x[2,3]+x[3,8]+x[4,5]+x[5,10]+x[6,8]+x[7,9]+x[7,10]+x[8,10]>=2;
x[1,2]+x[1,5]+x[2,3]+x[4,5]+x[4,9]+x[6,9]+x[8,10]>=2;
x[1,2]+x[1,5]+x[2,3]+x[4,5]+x[4,9]+x[5,10]+x[6,9]+x[7,10]>=2;
x[1,2]+x[1,5]+x[2,3]+x[4,5]+x[7,9]+x[8,10]>=2;
x[1,2]+x[1,5]+x[2,3]+x[4,5]+x[5,10]+x[7,9]+x[7,10]>=2;
x[1,2]+x[1,5]+x[2,3]+x[2,7]+x[3,8]+x[4,5]+x[4,9]+x[6,8]+x[6,9]+x[7,9]+x[7,10]>=2;
x[1,2]+x[1,5]+x[2,3]+x[2,7]+x[3,8]+x[4,5]+x[4,9]+x[5,10]+x[6,8]+x[6,9]+x[7,9]+x[8,10]>=2;
x[1,2]+x[1,5]+x[2,3]+x[2,7]+x[3,8]+x[4,5]+x[6,8]+x[7,10]>=2;
x[1,2]+x[1,5]+x[2,3]+x[2,7]+x[3,8]+x[4,5]+x[5,10]+x[6,8]+x[8,10]>=2;
x[1,2]+x[1,5]+x[2,3]+x[2,7]+x[4,5]+x[4,9]+x[6,9]+x[7,9]+x[7,10]+x[8,10]>=2;
x[1,2]+x[1,5]+x[2,3]+x[2,7]+x[4,5]+x[4,9]+x[5,10]+x[6,9]+x[7,9]>=2;
x[1,2]+x[1,5]+x[2,3]+x[2,7]+x[4,5]+x[7,10]+x[8,10]>=2;
x[1,2]+x[1,5]+x[2,3]+x[2,7]+x[4,5]+x[5,10]>=2;
x[1,2]+x[1,6]+x[2,3]+x[3,8]+x[4,9]+x[5,10]>=2;
x[1,2]+x[1,6]+x[2,3]+x[3,8]+x[4,9]+x[7,10]+x[8,10]>=2;
x[1,2]+x[1,6]+x[2,3]+x[3,8]+x[5,10]+x[6,9]+x[7,9]>=2;
x[1,2]+x[1,6]+x[2,3]+x[3,8]+x[6,9]+x[7,9]+x[7,10]+x[8,10]>=2;
x[1,2]+x[1,6]+x[2,3]+x[4,9]+x[5,10]+x[6,8]+x[8,10]>=2;
x[1,2]+x[1,6]+x[2,3]+x[4,9]+x[6,8]+x[7,10]>=2;
x[1,2]+x[1,6]+x[2,3]+x[5,10]+x[6,8]+x[6,9]+x[7,9]+x[8,10]>=2;
x[1,2]+x[1,6]+x[2,3]+x[6,8]+x[6,9]+x[7,9]+x[7,10]>=2;
x[1,2]+x[1,6]+x[2,3]+x[2,7]+x[3,8]+x[4,9]+x[5,10]+x[7,9]+x[7,10]>=2;
x[1,2]+x[1,6]+x[2,3]+x[2,7]+x[3,8]+x[4,9]+x[7,9]+x[8,10]>=2;
x[1,2]+x[1,6]+x[2,3]+x[2,7]+x[3,8]+x[5,10]+x[6,9]+x[7,10]>=2;
x[1,2]+x[1,6]+x[2,3]+x[2,7]+x[3,8]+x[6,9]+x[8,10]>=2;
x[1,2]+x[1,6]+x[2,3]+x[2,7]+x[4,9]+x[5,10]+x[6,8]+x[7,9]+x[7,10]+x[8,10]>=2;
x[1,2]+x[1,6]+x[2,3]+x[2,7]+x[4,9]+x[6,8]+x[7,9]>=2;
x[1,2]+x[1,6]+x[2,3]+x[2,7]+x[5,10]+x[6,8]+x[6,9]+x[7,10]+x[8,10]>=2;
x[1,2]+x[1,6]+x[2,3]+x[2,7]+x[6,8]+x[6,9]>=2;
x[1,2]+x[2,3]+x[3,8]+x[4,9]+x[5,10]+x[6,8]+x[6,9]>=2;
x[1,2]+x[2,3]+x[3,8]+x[4,9]+x[6,8]+x[6,9]+x[7,10]+x[8,10]>=2;
x[1,2]+x[2,3]+x[3,8]+x[5,10]+x[6,8]+x[7,9]>=2;
x[1,2]+x[2,3]+x[3,8]+x[6,8]+x[7,9]+x[7,10]+x[8,10]>=2;
x[1,2]+x[2,3]+x[4,9]+x[5,10]+x[6,9]+x[8,10]>=2;
x[1,2]+x[2,3]+x[4,9]+x[6,9]+x[7,10]>=2;
x[1,2]+x[2,3]+x[5,10]+x[7,9]+x[8,10]>=2;
x[1,2]+x[2,3]+x[7,9]+x[7,10]>=2;
x[1,2]+x[2,3]+x[2,7]+x[3,8]+x[4,9]+x[5,10]+x[6,8]+x[6,9]+x[7,9]+x[7,10]>=2;
x[1,2]+x[2,3]+x[2,7]+x[3,8]+x[4,9]+x[6,8]+x[6,9]+x[7,9]+x[8,10]>=2;
x[1,2]+x[2,3]+x[2,7]+x[3,8]+x[5,10]+x[6,8]+x[7,10]>=2;
x[1,2]+x[2,3]+x[2,7]+x[3,8]+x[6,8]+x[8,10]>=2;
x[1,2]+x[2,3]+x[2,7]+x[4,9]+x[5,10]+x[6,9]+x[7,9]+x[7,10]+x[8,10]>=2;
x[1,2]+x[2,3]+x[2,7]+x[4,9]+x[6,9]+x[7,9]>=2;
x[1,2]+x[2,3]+x[2,7]+x[5,10]+x[7,10]+x[8,10]>=2;
x[1,2]+x[2,3]+x[2,7]>=2;
x[1,5]+x[1,6]+x[2,3]+x[2,7]>=2;
x[1,5]+x[1,6]+x[2,3]+x[2,7]+x[5,10]+x[7,10]+x[8,10]>=2;
x[1,5]+x[1,6]+x[2,3]+x[2,7]+x[4,9]+x[6,9]+x[7,9]>=2;
x[1,5]+x[1,6]+x[2,3]+x[2,7]+x[4,9]+x[5,10]+x[6,9]+x[7,9]+x[7,10]+x[8,10]>=2;
x[1,5]+x[1,6]+x[2,3]+x[2,7]+x[3,8]+x[6,8]+x[8,10]>=2;
x[1,5]+x[1,6]+x[2,3]+x[2,7]+x[3,8]+x[5,10]+x[6,8]+x[7,10]>=2;
x[1,5]+x[1,6]+x[2,3]+x[2,7]+x[3,8]+x[4,9]+x[6,8]+x[6,9]+x[7,9]+x[8,10]>=2;
x[1,5]+x[1,6]+x[2,3]+x[2,7]+x[3,8]+x[4,9]+x[5,10]+x[6,8]+x[6,9]+x[7,9]+x[7,10]>=2;
x[1,5]+x[1,6]+x[2,3]+x[7,9]+x[7,10]>=2;
x[1,5]+x[1,6]+x[2,3]+x[5,10]+x[7,9]+x[8,10]>=2;
x[1,5]+x[1,6]+x[2,3]+x[4,9]+x[6,9]+x[7,10]>=2;
x[1,5]+x[1,6]+x[2,3]+x[4,9]+x[5,10]+x[6,9]+x[8,10]>=2;
x[1,5]+x[1,6]+x[2,3]+x[3,8]+x[6,8]+x[7,9]+x[7,10]+x[8,10]>=2;
x[1,5]+x[1,6]+x[2,3]+x[3,8]+x[5,10]+x[6,8]+x[7,9]>=2;
x[1,5]+x[1,6]+x[2,3]+x[3,8]+x[4,9]+x[6,8]+x[6,9]+x[7,10]+x[8,10]>=2;
x[1,5]+x[1,6]+x[2,3]+x[3,8]+x[4,9]+x[5,10]+x[6,8]+x[6,9]>=2;
x[1,5]+x[2,3]+x[2,7]+x[6,8]+x[6,9]>=2;
x[1,5]+x[2,3]+x[2,7]+x[5,10]+x[6,8]+x[6,9]+x[7,10]+x[8,10]>=2;
x[1,5]+x[2,3]+x[2,7]+x[4,9]+x[6,8]+x[7,9]>=2;
x[1,5]+x[2,3]+x[2,7]+x[4,9]+x[5,10]+x[6,8]+x[7,9]+x[7,10]+x[8,10]>=2;
x[1,5]+x[2,3]+x[2,7]+x[3,8]+x[6,9]+x[8,10]>=2;
x[1,5]+x[2,3]+x[2,7]+x[3,8]+x[5,10]+x[6,9]+x[7,10]>=2;
x[1,5]+x[2,3]+x[2,7]+x[3,8]+x[4,9]+x[7,9]+x[8,10]>=2;
x[1,5]+x[2,3]+x[2,7]+x[3,8]+x[4,9]+x[5,10]+x[7,9]+x[7,10]>=2;
x[1,5]+x[2,3]+x[6,8]+x[6,9]+x[7,9]+x[7,10]>=2;
x[1,5]+x[2,3]+x[5,10]+x[6,8]+x[6,9]+x[7,9]+x[8,10]>=2;
x[1,5]+x[2,3]+x[4,9]+x[6,8]+x[7,10]>=2;
x[1,5]+x[2,3]+x[4,9]+x[5,10]+x[6,8]+x[8,10]>=2;
x[1,5]+x[2,3]+x[3,8]+x[6,9]+x[7,9]+x[7,10]+x[8,10]>=2;
x[1,5]+x[2,3]+x[3,8]+x[5,10]+x[6,9]+x[7,9]>=2;
x[1,5]+x[2,3]+x[3,8]+x[4,9]+x[7,10]+x[8,10]>=2;
x[1,5]+x[2,3]+x[3,8]+x[4,9]+x[5,10]>=2;
x[1,6]+x[2,3]+x[2,7]+x[4,5]+x[5,10]>=2;
x[1,6]+x[2,3]+x[2,7]+x[4,5]+x[7,10]+x[8,10]>=2;
x[1,6]+x[2,3]+x[2,7]+x[4,5]+x[4,9]+x[5,10]+x[6,9]+x[7,9]>=2;
x[1,6]+x[2,3]+x[2,7]+x[4,5]+x[4,9]+x[6,9]+x[7,9]+x[7,10]+x[8,10]>=2;
x[1,6]+x[2,3]+x[2,7]+x[3,8]+x[4,5]+x[5,10]+x[6,8]+x[8,10]>=2;
x[1,6]+x[2,3]+x[2,7]+x[3,8]+x[4,5]+x[6,8]+x[7,10]>=2;
x[1,6]+x[2,3]+x[2,7]+x[3,8]+x[4,5]+x[4,9]+x[5,10]+x[6,8]+x[6,9]+x[7,9]+x[8,10]>=2;
x[1,6]+x[2,3]+x[2,7]+x[3,8]+x[4,5]+x[4,9]+x[6,8]+x[6,9]+x[7,9]+x[7,10]>=2;
x[1,6]+x[2,3]+x[4,5]+x[5,10]+x[7,9]+x[7,10]>=2;
x[1,6]+x[2,3]+x[4,5]+x[7,9]+x[8,10]>=2;
x[1,6]+x[2,3]+x[4,5]+x[4,9]+x[5,10]+x[6,9]+x[7,10]>=2;
x[1,6]+x[2,3]+x[4,5]+x[4,9]+x[6,9]+x[8,10]>=2;
x[1,6]+x[2,3]+x[3,8]+x[4,5]+x[5,10]+x[6,8]+x[7,9]+x[7,10]+x[8,10]>=2;
x[1,6]+x[2,3]+x[3,8]+x[4,5]+x[6,8]+x[7,9]>=2;
x[1,6]+x[2,3]+x[3,8]+x[4,5]+x[4,9]+x[5,10]+x[6,8]+x[6,9]+x[7,10]+x[8,10]>=2;
x[1,6]+x[2,3]+x[3,8]+x[4,5]+x[4,9]+x[6,8]+x[6,9]>=2;
x[2,3]+x[2,7]+x[4,5]+x[5,10]+x[6,8]+x[6,9]>=2;
x[2,3]+x[2,7]+x[4,5]+x[6,8]+x[6,9]+x[7,10]+x[8,10]>=2;
x[2,3]+x[2,7]+x[4,5]+x[4,9]+x[5,10]+x[6,8]+x[7,9]>=2;
x[2,3]+x[2,7]+x[4,5]+x[4,9]+x[6,8]+x[7,9]+x[7,10]+x[8,10]>=2;
x[2,3]+x[2,7]+x[3,8]+x[4,5]+x[5,10]+x[6,9]+x[8,10]>=2;
x[2,3]+x[2,7]+x[3,8]+x[4,5]+x[6,9]+x[7,10]>=2;
x[2,3]+x[2,7]+x[3,8]+x[4,5]+x[4,9]+x[5,10]+x[7,9]+x[8,10]>=2;
x[2,3]+x[2,7]+x[3,8]+x[4,5]+x[4,9]+x[7,9]+x[7,10]>=2;
x[2,3]+x[4,5]+x[5,10]+x[6,8]+x[6,9]+x[7,9]+x[7,10]>=2;
x[2,3]+x[4,5]+x[6,8]+x[6,9]+x[7,9]+x[8,10]>=2;
x[2,3]+x[4,5]+x[4,9]+x[5,10]+x[6,8]+x[7,10]>=2;
x[2,3]+x[4,5]+x[4,9]+x[6,8]+x[8,10]>=2;
x[2,3]+x[3,8]+x[4,5]+x[5,10]+x[6,9]+x[7,9]+x[7,10]+x[8,10]>=2;
x[2,3]+x[3,8]+x[4,5]+x[6,9]+x[7,9]>=2;
x[2,3]+x[3,8]+x[4,5]+x[4,9]+x[5,10]+x[7,10]+x[8,10]>=2;
x[2,3]+x[3,8]+x[4,5]+x[4,9]>=2;
x[1,5]+x[1,6]+x[2,3]+x[2,7]+x[3,4]+x[4,5]+x[4,9]>=2;
x[1,5]+x[1,6]+x[2,3]+x[2,7]+x[3,4]+x[4,5]+x[4,9]+x[5,10]+x[7,10]+x[8,10]>=2;
x[1,5]+x[1,6]+x[2,3]+x[2,7]+x[3,4]+x[4,5]+x[6,9]+x[7,9]>=2;
x[1,5]+x[1,6]+x[2,3]+x[2,7]+x[3,4]+x[4,5]+x[5,10]+x[6,9]+x[7,9]+x[7,10]+x[8,10]>=2;
x[1,5]+x[1,6]+x[2,3]+x[2,7]+x[3,4]+x[3,8]+x[4,5]+x[4,9]+x[6,8]+x[8,10]>=2;
x[1,5]+x[1,6]+x[2,3]+x[2,7]+x[3,4]+x[3,8]+x[4,5]+x[4,9]+x[5,10]+x[6,8]+x[7,10]>=2;
x[1,5]+x[1,6]+x[2,3]+x[2,7]+x[3,4]+x[3,8]+x[4,5]+x[6,8]+x[6,9]+x[7,9]+x[8,10]>=2;
x[1,5]+x[1,6]+x[2,3]+x[2,7]+x[3,4]+x[3,8]+x[4,5]+x[5,10]+x[6,8]+x[6,9]+x[7,9]+x[7,10]>=2;
x[1,5]+x[1,6]+x[2,3]+x[3,4]+x[4,5]+x[4,9]+x[7,9]+x[7,10]>=2;
x[1,5]+x[1,6]+x[2,3]+x[3,4]+x[4,5]+x[4,9]+x[5,10]+x[7,9]+x[8,10]>=2;
x[1,5]+x[1,6]+x[2,3]+x[3,4]+x[4,5]+x[6,9]+x[7,10]>=2;
x[1,5]+x[1,6]+x[2,3]+x[3,4]+x[4,5]+x[5,10]+x[6,9]+x[8,10]>=2;
x[1,5]+x[1,6]+x[2,3]+x[3,4]+x[3,8]+x[4,5]+x[4,9]+x[6,8]+x[7,9]+x[7,10]+x[8,10]>=2;
x[1,5]+x[1,6]+x[2,3]+x[3,4]+x[3,8]+x[4,5]+x[4,9]+x[5,10]+x[6,8]+x[7,9]>=2;
x[1,5]+x[1,6]+x[2,3]+x[3,4]+x[3,8]+x[4,5]+x[6,8]+x[6,9]+x[7,10]+x[8,10]>=2;
x[1,5]+x[1,6]+x[2,3]+x[3,4]+x[3,8]+x[4,5]+x[5,10]+x[6,8]+x[6,9]>=2;
x[1,5]+x[2,3]+x[2,7]+x[3,4]+x[4,5]+x[4,9]+x[6,8]+x[6,9]>=2;
x[1,5]+x[2,3]+x[2,7]+x[3,4]+x[4,5]+x[4,9]+x[5,10]+x[6,8]+x[6,9]+x[7,10]+x[8,10]>=2;
x[1,5]+x[2,3]+x[2,7]+x[3,4]+x[4,5]+x[6,8]+x[7,9]>=2;
x[1,5]+x[2,3]+x[2,7]+x[3,4]+x[4,5]+x[5,10]+x[6,8]+x[7,9]+x[7,10]+x[8,10]>=2;
x[1,5]+x[2,3]+x[2,7]+x[3,4]+x[3,8]+x[4,5]+x[4,9]+x[6,9]+x[8,10]>=2;
x[1,5]+x[2,3]+x[2,7]+x[3,4]+x[3,8]+x[4,5]+x[4,9]+x[5,10]+x[6,9]+x[7,10]>=2;
x[1,5]+x[2,3]+x[2,7]+x[3,4]+x[3,8]+x[4,5]+x[7,9]+x[8,10]>=2;
x[1,5]+x[2,3]+x[2,7]+x[3,4]+x[3,8]+x[4,5]+x[5,10]+x[7,9]+x[7,10]>=2;
x[1,5]+x[2,3]+x[3,4]+x[4,5]+x[4,9]+x[6,8]+x[6,9]+x[7,9]+x[7,10]>=2;
x[1,5]+x[2,3]+x[3,4]+x[4,5]+x[4,9]+x[5,10]+x[6,8]+x[6,9]+x[7,9]+x[8,10]>=2;
x[1,5]+x[2,3]+x[3,4]+x[4,5]+x[6,8]+x[7,10]>=2;
x[1,5]+x[2,3]+x[3,4]+x[4,5]+x[5,10]+x[6,8]+x[8,10]>=2;
x[1,5]+x[2,3]+x[3,4]+x[3,8]+x[4,5]+x[4,9]+x[6,9]+x[7,9]+x[7,10]+x[8,10]>=2;
x[1,5]+x[2,3]+x[3,4]+x[3,8]+x[4,5]+x[4,9]+x[5,10]+x[6,9]+x[7,9]>=2;
x[1,5]+x[2,3]+x[3,4]+x[3,8]+x[4,5]+x[7,10]+x[8,10]>=2;
x[1,5]+x[2,3]+x[3,4]+x[3,8]+x[4,5]+x[5,10]>=2;
x[1,6]+x[2,3]+x[2,7]+x[3,4]+x[4,9]+x[5,10]>=2;
x[1,6]+x[2,3]+x[2,7]+x[3,4]+x[4,9]+x[7,10]+x[8,10]>=2;
x[1,6]+x[2,3]+x[2,7]+x[3,4]+x[5,10]+x[6,9]+x[7,9]>=2;
x[1,6]+x[2,3]+x[2,7]+x[3,4]+x[6,9]+x[7,9]+x[7,10]+x[8,10]>=2;
x[1,6]+x[2,3]+x[2,7]+x[3,4]+x[3,8]+x[4,9]+x[5,10]+x[6,8]+x[8,10]>=2;
x[1,6]+x[2,3]+x[2,7]+x[3,4]+x[3,8]+x[4,9]+x[6,8]+x[7,10]>=2;
x[1,6]+x[2,3]+x[2,7]+x[3,4]+x[3,8]+x[5,10]+x[6,8]+x[6,9]+x[7,9]+x[8,10]>=2;
x[1,6]+x[2,3]+x[2,7]+x[3,4]+x[3,8]+x[6,8]+x[6,9]+x[7,9]+x[7,10]>=2;
x[1,6]+x[2,3]+x[3,4]+x[4,9]+x[5,10]+x[7,9]+x[7,10]>=2;
x[1,6]+x[2,3]+x[3,4]+x[4,9]+x[7,9]+x[8,10]>=2;
x[1,6]+x[2,3]+x[3,4]+x[5,10]+x[6,9]+x[7,10]>=2;
x[1,6]+x[2,3]+x[3,4]+x[6,9]+x[8,10]>=2;
x[1,6]+x[2,3]+x[3,4]+x[3,8]+x[4,9]+x[5,10]+x[6,8]+x[7,9]+x[7,10]+x[8,10]>=2;
x[1,6]+x[2,3]+x[3,4]+x[3,8]+x[4,9]+x[6,8]+x[7,9]>=2;
x[1,6]+x[2,3]+x[3,4]+x[3,8]+x[5,10]+x[6,8]+x[6,9]+x[7,10]+x[8,10]>=2;
x[1,6]+x[2,3]+x[3,4]+x[3,8]+x[6,8]+x[6,9]>=2;
x[2,3]+x[2,7]+x[3,4]+x[4,9]+x[5,10]+x[6,8]+x[6,9]>=2;
x[2,3]+x[2,7]+x[3,4]+x[4,9]+x[6,8]+x[6,9]+x[7,10]+x[8,10]>=2;
x[2,3]+x[2,7]+x[3,4]+x[5,10]+x[6,8]+x[7,9]>=2;
x[2,3]+x[2,7]+x[3,4]+x[6,8]+x[7,9]+x[7,10]+x[8,10]>=2;
x[2,3]+x[2,7]+x[3,4]+x[3,8]+x[4,9]+x[5,10]+x[6,9]+x[8,10]>=2;
x[2,3]+x[2,7]+x[3,4]+x[3,8]+x[4,9]+x[6,9]+x[7,10]>=2;
x[2,3]+x[2,7]+x[3,4]+x[3,8]+x[5,10]+x[7,9]+x[8,10]>=2;
x[2,3]+x[2,7]+x[3,4]+x[3,8]+x[7,9]+x[7,10]>=2;
x[2,3]+x[3,4]+x[4,9]+x[5,10]+x[6,8]+x[6,9]+x[7,9]+x[7,10]>=2;
x[2,3]+x[3,4]+x[4,9]+x[6,8]+x[6,9]+x[7,9]+x[8,10]>=2;
x[2,3]+x[3,4]+x[5,10]+x[6,8]+x[7,10]>=2;
x[2,3]+x[3,4]+x[6,8]+x[8,10]>=2;
x[2,3]+x[3,4]+x[3,8]+x[4,9]+x[5,10]+x[6,9]+x[7,9]+x[7,10]+x[8,10]>=2;
x[2,3]+x[3,4]+x[3,8]+x[4,9]+x[6,9]+x[7,9]>=2;
x[2,3]+x[3,4]+x[3,8]+x[5,10]+x[7,10]+x[8,10]>=2;
x[2,3]+x[3,4]+x[3,8]>=2;
x[1,5]+x[1,6]+x[2,7]+x[3,4]+x[3,8]>=2;
x[1,5]+x[1,6]+x[2,7]+x[3,4]+x[3,8]+x[5,10]+x[7,10]+x[8,10]>=2;
x[1,5]+x[1,6]+x[2,7]+x[3,4]+x[3,8]+x[4,9]+x[6,9]+x[7,9]>=2;
x[1,5]+x[1,6]+x[2,7]+x[3,4]+x[3,8]+x[4,9]+x[5,10]+x[6,9]+x[7,9]+x[7,10]+x[8,10]>=2;
x[1,5]+x[1,6]+x[2,7]+x[3,4]+x[6,8]+x[8,10]>=2;
x[1,5]+x[1,6]+x[2,7]+x[3,4]+x[5,10]+x[6,8]+x[7,10]>=2;
x[1,5]+x[1,6]+x[2,7]+x[3,4]+x[4,9]+x[6,8]+x[6,9]+x[7,9]+x[8,10]>=2;
x[1,5]+x[1,6]+x[2,7]+x[3,4]+x[4,9]+x[5,10]+x[6,8]+x[6,9]+x[7,9]+x[7,10]>=2;
x[1,5]+x[1,6]+x[3,4]+x[3,8]+x[7,9]+x[7,10]>=2;
x[1,5]+x[1,6]+x[3,4]+x[3,8]+x[5,10]+x[7,9]+x[8,10]>=2;
x[1,5]+x[1,6]+x[3,4]+x[3,8]+x[4,9]+x[6,9]+x[7,10]>=2;
x[1,5]+x[1,6]+x[3,4]+x[3,8]+x[4,9]+x[5,10]+x[6,9]+x[8,10]>=2;
x[1,5]+x[1,6]+x[3,4]+x[6,8]+x[7,9]+x[7,10]+x[8,10]>=2;
x[1,5]+x[1,6]+x[3,4]+x[5,10]+x[6,8]+x[7,9]>=2;
x[1,5]+x[1,6]+x[3,4]+x[4,9]+x[6,8]+x[6,9]+x[7,10]+x[8,10]>=2;
x[1,5]+x[1,6]+x[3,4]+x[4,9]+x[5,10]+x[6,8]+x[6,9]>=2;
x[1,5]+x[2,7]+x[3,4]+x[3,8]+x[6,8]+x[6,9]>=2;
x[1,5]+x[2,7]+x[3,4]+x[3,8]+x[5,10]+x[6,8]+x[6,9]+x[7,10]+x[8,10]>=2;
x[1,5]+x[2,7]+x[3,4]+x[3,8]+x[4,9]+x[6,8]+x[7,9]>=2;
x[1,5]+x[2,7]+x[3,4]+x[3,8]+x[4,9]+x[5,10]+x[6,8]+x[7,9]+x[7,10]+x[8,10]>=2;
x[1,5]+x[2,7]+x[3,4]+x[6,9]+x[8,10]>=2;
x[1,5]+x[2,7]+x[3,4]+x[5,10]+x[6,9]+x[7,10]>=2;
x[1,5]+x[2,7]+x[3,4]+x[4,9]+x[7,9]+x[8,10]>=2;
x[1,5]+x[2,7]+x[3,4]+x[4,9]+x[5,10]+x[7,9]+x[7,10]>=2;
x[1,5]+x[3,4]+x[3,8]+x[6,8]+x[6,9]+x[7,9]+x[7,10]>=2;
x[1,5]+x[3,4]+x[3,8]+x[5,10]+x[6,8]+x[6,9]+x[7,9]+x[8,10]>=2;
x[1,5]+x[3,4]+x[3,8]+x[4,9]+x[6,8]+x[7,10]>=2;
x[1,5]+x[3,4]+x[3,8]+x[4,9]+x[5,10]+x[6,8]+x[8,10]>=2;
x[1,5]+x[3,4]+x[6,9]+x[7,9]+x[7,10]+x[8,10]>=2;
x[1,5]+x[3,4]+x[5,10]+x[6,9]+x[7,9]>=2;
x[1,5]+x[3,4]+x[4,9]+x[7,10]+x[8,10]>=2;
x[1,5]+x[3,4]+x[4,9]+x[5,10]>=2;
x[1,6]+x[2,7]+x[3,4]+x[3,8]+x[4,5]+x[5,10]>=2;
x[1,6]+x[2,7]+x[3,4]+x[3,8]+x[4,5]+x[7,10]+x[8,10]>=2;
x[1,6]+x[2,7]+x[3,4]+x[3,8]+x[4,5]+x[4,9]+x[5,10]+x[6,9]+x[7,9]>=2;
x[1,6]+x[2,7]+x[3,4]+x[3,8]+x[4,5]+x[4,9]+x[6,9]+x[7,9]+x[7,10]+x[8,10]>=2;
x[1,6]+x[2,7]+x[3,4]+x[4,5]+x[5,10]+x[6,8]+x[8,10]>=2;
x[1,6]+x[2,7]+x[3,4]+x[4,5]+x[6,8]+x[7,10]>=2;
x[1,6]+x[2,7]+x[3,4]+x[4,5]+x[4,9]+x[5,10]+x[6,8]+x[6,9]+x[7,9]+x[8,10]>=2;
x[1,6]+x[2,7]+x[3,4]+x[4,5]+x[4,9]+x[6,8]+x[6,9]+x[7,9]+x[7,10]>=2;
x[1,6]+x[3,4]+x[3,8]+x[4,5]+x[5,10]+x[7,9]+x[7,10]>=2;
x[1,6]+x[3,4]+x[3,8]+x[4,5]+x[7,9]+x[8,10]>=2;
x[1,6]+x[3,4]+x[3,8]+x[4,5]+x[4,9]+x[5,10]+x[6,9]+x[7,10]>=2;
x[1,6]+x[3,4]+x[3,8]+x[4,5]+x[4,9]+x[6,9]+x[8,10]>=2;
x[1,6]+x[3,4]+x[4,5]+x[5,10]+x[6,8]+x[7,9]+x[7,10]+x[8,10]>=2;
x[1,6]+x[3,4]+x[4,5]+x[6,8]+x[7,9]>=2;
x[1,6]+x[3,4]+x[4,5]+x[4,9]+x[5,10]+x[6,8]+x[6,9]+x[7,10]+x[8,10]>=2;
x[1,6]+x[3,4]+x[4,5]+x[4,9]+x[6,8]+x[6,9]>=2;
x[2,7]+x[3,4]+x[3,8]+x[4,5]+x[5,10]+x[6,8]+x[6,9]>=2;
x[2,7]+x[3,4]+x[3,8]+x[4,5]+x[6,8]+x[6,9]+x[7,10]+x[8,10]>=2;
x[2,7]+x[3,4]+x[3,8]+x[4,5]+x[4,9]+x[5,10]+x[6,8]+x[7,9]>=2;
x[2,7]+x[3,4]+x[3,8]+x[4,5]+x[4,9]+x[6,8]+x[7,9]+x[7,10]+x[8,10]>=2;
x[2,7]+x[3,4]+x[4,5]+x[5,10]+x[6,9]+x[8,10]>=2;
x[2,7]+x[3,4]+x[4,5]+x[6,9]+x[7,10]>=2;
x[2,7]+x[3,4]+x[4,5]+x[4,9]+x[5,10]+x[7,9]+x[8,10]>=2;
x[2,7]+x[3,4]+x[4,5]+x[4,9]+x[7,9]+x[7,10]>=2;
x[3,4]+x[3,8]+x[4,5]+x[5,10]+x[6,8]+x[6,9]+x[7,9]+x[7,10]>=2;
x[3,4]+x[3,8]+x[4,5]+x[6,8]+x[6,9]+x[7,9]+x[8,10]>=2;
x[3,4]+x[3,8]+x[4,5]+x[4,9]+x[5,10]+x[6,8]+x[7,10]>=2;
x[3,4]+x[3,8]+x[4,5]+x[4,9]+x[6,8]+x[8,10]>=2;
x[3,4]+x[4,5]+x[5,10]+x[6,9]+x[7,9]+x[7,10]+x[8,10]>=2;
x[3,4]+x[4,5]+x[6,9]+x[7,9]>=2;
x[3,4]+x[4,5]+x[4,9]+x[5,10]+x[7,10]+x[8,10]>=2;
x[3,4]+x[4,5]+x[4,9]>=2;
x[1,5]+x[1,6]+x[2,7]+x[3,8]+x[4,5]+x[4,9]>=2;
x[1,5]+x[1,6]+x[2,7]+x[3,8]+x[4,5]+x[4,9]+x[5,10]+x[7,10]+x[8,10]>=2;
x[1,5]+x[1,6]+x[2,7]+x[3,8]+x[4,5]+x[6,9]+x[7,9]>=2;
x[1,5]+x[1,6]+x[2,7]+x[3,8]+x[4,5]+x[5,10]+x[6,9]+x[7,9]+x[7,10]+x[8,10]>=2;
x[1,5]+x[1,6]+x[2,7]+x[4,5]+x[4,9]+x[6,8]+x[8,10]>=2;
x[1,5]+x[1,6]+x[2,7]+x[4,5]+x[4,9]+x[5,10]+x[6,8]+x[7,10]>=2;
x[1,5]+x[1,6]+x[2,7]+x[4,5]+x[6,8]+x[6,9]+x[7,9]+x[8,10]>=2;
x[1,5]+x[1,6]+x[2,7]+x[4,5]+x[5,10]+x[6,8]+x[6,9]+x[7,9]+x[7,10]>=2;
x[1,5]+x[1,6]+x[3,8]+x[4,5]+x[4,9]+x[7,9]+x[7,10]>=2;
x[1,5]+x[1,6]+x[3,8]+x[4,5]+x[4,9]+x[5,10]+x[7,9]+x[8,10]>=2;
x[1,5]+x[1,6]+x[3,8]+x[4,5]+x[6,9]+x[7,10]>=2;
x[1,5]+x[1,6]+x[3,8]+x[4,5]+x[5,10]+x[6,9]+x[8,10]>=2;
x[1,5]+x[1,6]+x[4,5]+x[4,9]+x[6,8]+x[7,9]+x[7,10]+x[8,10]>=2;
x[1,5]+x[1,6]+x[4,5]+x[4,9]+x[5,10]+x[6,8]+x[7,9]>=2;
x[1,5]+x[1,6]+x[4,5]+x[6,8]+x[6,9]+x[7,10]+x[8,10]>=2;
x[1,5]+x[1,6]+x[4,5]+x[5,10]+x[6,8]+x[6,9]>=2;
x[1,5]+x[2,7]+x[3,8]+x[4,5]+x[4,9]+x[6,8]+x[6,9]>=2;
x[1,5]+x[2,7]+x[3,8]+x[4,5]+x[4,9]+x[5,10]+x[6,8]+x[6,9]+x[7,10]+x[8,10]>=2;
x[1,5]+x[2,7]+x[3,8]+x[4,5]+x[6,8]+x[7,9]>=2;
x[1,5]+x[2,7]+x[3,8]+x[4,5]+x[5,10]+x[6,8]+x[7,9]+x[7,10]+x[8,10]>=2;
x[1,5]+x[2,7]+x[4,5]+x[4,9]+x[6,9]+x[8,10]>=2;
x[1,5]+x[2,7]+x[4,5]+x[4,9]+x[5,10]+x[6,9]+x[7,10]>=2;
x[1,5]+x[2,7]+x[4,5]+x[7,9]+x[8,10]>=2;
x[1,5]+x[2,7]+x[4,5]+x[5,10]+x[7,9]+x[7,10]>=2;
x[1,5]+x[3,8]+x[4,5]+x[4,9]+x[6,8]+x[6,9]+x[7,9]+x[7,10]>=2;
x[1,5]+x[3,8]+x[4,5]+x[4,9]+x[5,10]+x[6,8]+x[6,9]+x[7,9]+x[8,10]>=2;
x[1,5]+x[3,8]+x[4,5]+x[6,8]+x[7,10]>=2;
x[1,5]+x[3,8]+x[4,5]+x[5,10]+x[6,8]+x[8,10]>=2;
x[1,5]+x[4,5]+x[4,9]+x[6,9]+x[7,9]+x[7,10]+x[8,10]>=2;
x[1,5]+x[4,5]+x[4,9]+x[5,10]+x[6,9]+x[7,9]>=2;
x[1,5]+x[4,5]+x[7,10]+x[8,10]>=2;
x[1,5]+x[4,5]+x[5,10]>=2;
x[1,6]+x[2,7]+x[3,8]+x[4,9]+x[5,10]>=2;
x[1,6]+x[2,7]+x[3,8]+x[4,9]+x[7,10]+x[8,10]>=2;
x[1,6]+x[2,7]+x[3,8]+x[5,10]+x[6,9]+x[7,9]>=2;
x[1,6]+x[2,7]+x[3,8]+x[6,9]+x[7,9]+x[7,10]+x[8,10]>=2;
x[1,6]+x[2,7]+x[4,9]+x[5,10]+x[6,8]+x[8,10]>=2;
x[1,6]+x[2,7]+x[4,9]+x[6,8]+x[7,10]>=2;
x[1,6]+x[2,7]+x[5,10]+x[6,8]+x[6,9]+x[7,9]+x[8,10]>=2;
x[1,6]+x[2,7]+x[6,8]+x[6,9]+x[7,9]+x[7,10]>=2;
x[1,6]+x[3,8]+x[4,9]+x[5,10]+x[7,9]+x[7,10]>=2;
x[1,6]+x[3,8]+x[4,9]+x[7,9]+x[8,10]>=2;
x[1,6]+x[3,8]+x[5,10]+x[6,9]+x[7,10]>=2;
x[1,6]+x[3,8]+x[6,9]+x[8,10]>=2;
x[1,6]+x[4,9]+x[5,10]+x[6,8]+x[7,9]+x[7,10]+x[8,10]>=2;
x[1,6]+x[4,9]+x[6,8]+x[7,9]>=2;
x[1,6]+x[5,10]+x[6,8]+x[6,9]+x[7,10]+x[8,10]>=2;
x[1,6]+x[6,8]+x[6,9]>=2;
x[2,7]+x[3,8]+x[4,9]+x[5,10]+x[6,8]+x[6,9]>=2;
x[2,7]+x[3,8]+x[4,9]+x[6,8]+x[6,9]+x[7,10]+x[8,10]>=2;
x[2,7]+x[3,8]+x[5,10]+x[6,8]+x[7,9]>=2;
x[2,7]+x[3,8]+x[6,8]+x[7,9]+x[7,10]+x[8,10]>=2;
x[2,7]+x[4,9]+x[5,10]+x[6,9]+x[8,10]>=2;
x[2,7]+x[4,9]+x[6,9]+x[7,10]>=2;
x[2,7]+x[5,10]+x[7,9]+x[8,10]>=2;
x[2,7]+x[7,9]+x[7,10]>=2;
x[3,8]+x[4,9]+x[5,10]+x[6,8]+x[6,9]+x[7,9]+x[7,10]>=2;
x[3,8]+x[4,9]+x[6,8]+x[6,9]+x[7,9]+x[8,10]>=2;
x[3,8]+x[5,10]+x[6,8]+x[7,10]>=2;
x[3,8]+x[6,8]+x[8,10]>=2;
x[4,9]+x[5,10]+x[6,9]+x[7,9]+x[7,10]+x[8,10]>=2;
x[4,9]+x[6,9]+x[7,9]>=2;
x[5,10]+x[7,10]+x[8,10]>=2;
};