import static choco.Choco.*;
import choco.cp.model.CPModel;
import choco.cp.solver.CPSolver;
import choco.cp.solver.search.integer.varselector.StaticVarOrder;
import choco.kernel.model.Model;
import choco.kernel.solver.Solver;
import choco.kernel.model.variables.integer.IntegerVariable;
import choco.kernel.solver.variables.integer.IntDomainVar;

public class SteinerTriple01 {    
  
  public static void main(String[] args) {

      CPModel model = new CPModel();
      int m = Integer.parseInt(args[0]); // # points
      int n = m*(m-1)/6;                 // # blocks

      IntegerVariable[][] block = makeIntVarArray("block",n,m,0,1); 
      //
      // block[i] is the ith block
      // block[i][j] = 1 <-> point j is in ith block      
      //

      for (int i=0;i<n;i++)
	  model.addConstraint(eq(sum(block[i]),3));
      //
      // there are 3 points in a block
      //

      for (int i=0;i<n-1;i++)
	  for (int j=i+1;j<n;j++){
	      IntegerVariable[] cap = makeIntVarArray("cap",m,0,1);
	      for (int k=0;k<m;k++)
		  model.addConstraint(eq(cap[k],mult(block[i][k],block[j][k])));
	      model.addConstraint(leq(sum(cap),1));
	  }
      //
      // block[i] and block[j] intersect on at most one point
      //

      if (args.length == 2 && Boolean.parseBoolean(args[1]))
	  for (int i=0;i<n-1;i++)
	      for (int j=i+1;j<n;j++)
		  model.addConstraint(lex(block[i],block[j])); 
      //
      // symmetry breaker, a redundant constraint
      //

      CPSolver sol = new CPSolver();
      sol.read(model);

      IntDomainVar[] decision = new IntDomainVar[n*m];
      for (int i=0;i<n;i++)
	  for (int j=0;j<m;j++)
	      decision[i*m + j] = sol.getVar(block[i][j]);
      sol.setVarIntSelector(new StaticVarOrder(decision));
      //
      // decision variables are the points within a block
      //

      System.out.println(sol.solve());
      sol.printRuntimeSatistics();
      for (int i=0;i<n;i++){
	  for (int j=0;j<m;j++)
	      if(sol.getVar(block[i][j]).getVal() == 1) System.out.print(j +" ");
	  for (int j=0;j<m;j++)
	      System.out.print(sol.getVar(block[i][j]).getVal());
	  System.out.println();
      }
  }
}