// import solver.*;
class Main {
 static public void main(String [] args) {
   int relation_to_reduce = 22;
   System.out.println(" relation number " + relation_to_reduce);

   System.out.println(" reducing: var 0 set to 0");
   int rr1 = Relation.reduce(relation_to_reduce,0,0);
   System.out.println(" reduced relation " + rr1);

   int rr2 = Relation.reduce(rr1,0,0);
   System.out.println(" reducing again by setting same variable " + rr2 + " no change");

   System.out.println(" reducing: var 1 set to 0");
   int rr3 = Relation.reduce(rr1,1,0);
   System.out.println(" reduced relation " + rr3);
   System.out.println(" reducing: var 2 set to 0");
   int rr4 = Relation.reduce(rr3,2,0);
   System.out.println(" reduced relation " + rr4);

   System.out.println(" reducing: var 2 set to 1");
   int rr5 = Relation.reduce(rr3,2,1);
   System.out.println(" reduced relation " + rr5);

   int rr6 = Relation.reduce(relation_to_reduce,0,1);
   System.out.println(" reduced relation " + rr6 + " start 22 after var 0 is set to 1");
   int f0 = Relation.isForced(rr6,0);
   int f1 = Relation.isForced(rr6,1);
   int f2 = Relation.isForced(rr6,2);
   System.out.println(" forced? f0 " + f0 + " f1 " + f1 + " f2 " + f2);
 }
}