choose(4,2,4).
choose(3,1,1).
choose(3,1,6).
choose(4,0,4).
choose(2,4,1).
choose(3,2,15).
choose(1,2,1).
choose(4,2,1).
choose(3,2,15).