

public class Test {

   public static void main(String[] args) throws Exception{
	 if (args.length == 0) throw new Exception();
     Graph g = GraphReader.readGraph(args[0]);
     Partition p = new TablePartition(g.size());
     Quotient q = new Quotient(g,p);
     q.computeNodeData();
     System.out.println(q);
     q.findColoring();
     //StablePair stab = q.findStablePair();
     //q.upLiftFlips();
	 //q.merge(stab.getX(),stab.getY());
	 //System.out.println(q.size());
   }
}
