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

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

      int n = Integer.parseInt(args[0]);

      Model modl = new CPModel();

      IntegerVariable x[] = makeIntVarArray("x",n,0,1);
      for (IntegerVariable v : x) modl.addVariable(v);

      Solver s = new CPSolver(); 
      s.read(modl); 

      do {
	  for (int i=0;i<n;i++) System.out.print(s.getVar(x[i]).getValue());
	  System.out.println();
      }
      while (s.nextSolution().booleanValue());
      /*
      if (s.solve().booleanValue()){
	  for (int i=0;i<n;i++) System.out.print(s.getVar(x[i]).getValue());
	  System.out.println();
	  while (s.nextSolution().booleanValue()){
	      for (int i=0;i<n;i++) System.out.print(s.getVar(x[i]).getValue());
	      System.out.println();
	  }
      }
      */

      //s.solve(true); 
      s.printRuntimeSatistics();
      System.out.println("nbSol: " + s.getNbSolutions());

  }
}