//
// name those functions
//
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 What {

    static int f1(int n){
	Model model = new CPModel();
	IntegerVariable[] v = makeIntVarArray("v",n,0,n-1);
	model.addConstraint(allDifferent(v));
	Solver solver = new CPSolver();
	solver.read(model);
	solver.solve(true);
        return solver.getNbSolutions();
    }
    
    static int f2(int n){
	Model model = new CPModel();
	IntegerVariable[] v = makeIntVarArray("v",n,0,n-1);
	IntegerVariable[] w = makeIntVarArray("w",n,0,n-1);
	for (int i=0;i<n;i++)
	    for (int j=0;j<n;j++)
		model.addConstraint(ifOnlyIf(eq(v[i],j),eq(w[j],i)));
	Solver solver = new CPSolver();
	solver.read(model);
	solver.solve(true);
        return solver.getNbSolutions();
    }

    static int f3(int n){
	Model model = new CPModel();
	IntegerVariable[] v = makeIntVarArray("v",n,0,1);
	for (int i=0;i<n;i++) model.addVariable(v[i]);
	Solver solver = new CPSolver();
	solver.read(model);
	solver.solve(true);
        return solver.getNbSolutions();
    }

    static int f4(int n,int r){
	Model model = new CPModel();
	IntegerVariable[] v = makeIntVarArray("v",r,0,n-1);
	model.addConstraint(allDifferent(v));
	Solver solver = new CPSolver();
	solver.read(model);
	solver.solve(true);
        return solver.getNbSolutions();
    }  

    static int f5(int n,int r){
	Model model = new CPModel();
	IntegerVariable[] v = makeIntVarArray("v",r,0,n-1);
	for (int i=0;i<r-1;i++) model.addConstraint(lt(v[i],v[i+1]));
	Solver solver = new CPSolver();
	solver.read(model);
	solver.solve(true);
        return solver.getNbSolutions();
    }

    static int f6(int n,int r){
	Model model = new CPModel();
	IntegerVariable[] v = makeIntVarArray("v",r,0,n-1);
	for (int i=0;i<r-1;i++) model.addConstraint(leq(v[i],v[i+1]));
	Solver solver = new CPSolver();
	solver.read(model);
	solver.solve(true);
        return solver.getNbSolutions();
    }

    static int f7(int n,int r){
	Model model = new CPModel();
	IntegerVariable[] v = makeIntVarArray("v",r,0,n-1);
	for (int i=0;i<r;i++) model.addVariable(v[i]);
	Solver solver = new CPSolver();
	solver.read(model);
	solver.solve(true);
        return solver.getNbSolutions();
    }
  
    public static void main(String[] args) {	
	int n = Integer.parseInt(args[0]);
	int r = Integer.parseInt(args[1]);
	System.out.println("f1: "+ f1(n));
	System.out.println("f2: "+ f2(n));
	System.out.println("f3: "+ f3(n));
	System.out.println("f4: "+ f4(n,r));
	System.out.println("f5: "+ f5(n,r));
	System.out.println("f6: "+ f6(n,r));
	System.out.println("f7: "+ f7(n,r));
    }
}