c constraints type c org.sat4j.minisat.constraints.card.AtLeast => 80 c constraints type c org.sat4j.minisat.constraints.card.AtLeast => 80 c constraints type c org.sat4j.minisat.constraints.card.AtLeast => 80 c constraints type c org.sat4j.minisat.constraints.card.AtLeast => 80 c constraints type c org.sat4j.minisat.constraints.card.AtLeast => 100 c constraints type c org.sat4j.minisat.constraints.card.AtLeast => 100 c constraints type c org.sat4j.minisat.constraints.card.AtLeast => 100 c constraints type c org.sat4j.minisat.constraints.card.AtLeast => 100 c constraints type c org.sat4j.minisat.constraints.card.AtLeast => 170 c constraints type c org.sat4j.minisat.constraints.card.AtLeast => 170 c constraints type c org.sat4j.minisat.constraints.card.AtLeast => 170 c constraints type c org.sat4j.minisat.constraints.card.AtLeast => 170 c constraints type c org.sat4j.minisat.constraints.card.AtLeast => 300 c constraints type c org.sat4j.minisat.constraints.card.AtLeast => 300 c constraints type c org.sat4j.minisat.constraints.card.AtLeast => 300 c constraints type c org.sat4j.minisat.constraints.card.AtLeast => 300 c constraints type c org.sat4j.minisat.constraints.card.AtLeast => 80 c constraints type c org.sat4j.minisat.constraints.card.AtLeast => 80 c constraints type c org.sat4j.minisat.constraints.card.AtLeast => 80 c constraints type c org.sat4j.minisat.constraints.card.AtLeast => 80 c constraints type c org.sat4j.minisat.constraints.card.AtLeast => 100 c constraints type c org.sat4j.minisat.constraints.card.AtLeast => 100 c constraints type c org.sat4j.minisat.constraints.card.AtLeast => 100 c constraints type c org.sat4j.minisat.constraints.card.AtLeast => 100 c constraints type c org.sat4j.minisat.constraints.card.AtLeast => 186 c constraints type c org.sat4j.minisat.constraints.card.AtLeast => 800 c constraints type c org.sat4j.minisat.constraints.card.AtLeast => 1552 c constraints type c org.sat4j.minisat.constraints.card.AtLeast => 2798 c constraints type c org.sat4j.minisat.constraints.card.AtLeast => 2068 c constraints type c org.sat4j.minisat.constraints.card.AtLeast => 4088 c constraints type c org.sat4j.minisat.constraints.card.AtLeast => 6108 c constraints type c org.sat4j.minisat.constraints.card.AtLeast => 8214 c constraints type c org.sat4j.minisat.constraints.card.AtLeast => 3065 c constraints type c org.sat4j.minisat.constraints.card.AtLeast => 6689 c constraints type c org.sat4j.minisat.constraints.card.AtLeast => 3207 c constraints type c org.sat4j.minisat.constraints.card.AtLeast => 6547 c constraints type c org.sat4j.minisat.constraints.card.AtLeast => 3136 c constraints type c org.sat4j.minisat.constraints.card.AtLeast => 6121 c constraints type c org.sat4j.minisat.constraints.card.AtLeast => 19368 c constraints type c org.sat4j.minisat.constraints.card.AtLeast => 23281 c constraints type c org.sat4j.minisat.constraints.card.AtLeast => 24792 c constraints type c org.sat4j.minisat.constraints.card.AtLeast => 16121 c constraints type c org.sat4j.minisat.constraints.card.AtLeast => 13803 c constraints type c org.sat4j.minisat.constraints.card.AtLeast => 15901 c constraints type c org.sat4j.minisat.constraints.card.AtLeast => 12461 c constraints type c org.sat4j.minisat.constraints.card.AtLeast => 14766 c constraints type c org.sat4j.minisat.constraints.card.AtLeast => 7825 c constraints type c org.sat4j.minisat.constraints.card.AtLeast => 850 c constraints type c org.sat4j.minisat.constraints.card.AtLeast => 850 c constraints type c org.sat4j.minisat.constraints.card.AtLeast => 850 c constraints type c org.sat4j.minisat.constraints.card.AtLeast => 850 c constraints type c org.sat4j.minisat.constraints.card.AtLeast => 850 c constraints type c org.sat4j.minisat.constraints.card.AtLeast => 850 c constraints type c org.sat4j.minisat.constraints.card.AtLeast => 850 c constraints type c org.sat4j.minisat.constraints.card.AtLeast => 850 c constraints type c org.sat4j.minisat.constraints.card.AtLeast => 850 c constraints type c org.sat4j.minisat.constraints.card.AtLeast => 850 c constraints type c org.sat4j.minisat.constraints.card.AtLeast => 850 c constraints type c org.sat4j.minisat.constraints.card.AtLeast => 850 c constraints type c org.sat4j.minisat.constraints.card.AtLeast => 850 c constraints type c org.sat4j.minisat.constraints.card.AtLeast => 850 c constraints type c org.sat4j.minisat.constraints.card.AtLeast => 850 c constraints type c org.sat4j.minisat.constraints.card.AtLeast => 850 c constraints type c org.sat4j.minisat.constraints.card.AtLeast => 850 c constraints type c org.sat4j.minisat.constraints.card.AtLeast => 850 c constraints type c org.sat4j.minisat.constraints.card.AtLeast => 850 c constraints type c org.sat4j.minisat.constraints.card.AtLeast => 850 c constraints type c org.sat4j.minisat.constraints.card.AtLeast => 800 c constraints type c org.sat4j.minisat.constraints.card.AtLeast => 800 c constraints type c org.sat4j.minisat.constraints.card.AtLeast => 800 c constraints type c org.sat4j.minisat.constraints.card.AtLeast => 800 c constraints type c org.sat4j.minisat.constraints.card.AtLeast => 800 c constraints type c org.sat4j.minisat.constraints.card.AtLeast => 800 c constraints type c org.sat4j.minisat.constraints.card.AtLeast => 800 c constraints type c org.sat4j.minisat.constraints.card.AtLeast => 800 c constraints type c org.sat4j.minisat.constraints.card.AtLeast => 800 c constraints type c org.sat4j.minisat.constraints.card.AtLeast => 800 c constraints type c org.sat4j.minisat.constraints.card.AtLeast => 800 c constraints type c org.sat4j.minisat.constraints.card.AtLeast => 800 c constraints type c org.sat4j.minisat.constraints.card.AtLeast => 800 c constraints type c org.sat4j.minisat.constraints.card.AtLeast => 800 c constraints type c org.sat4j.minisat.constraints.card.AtLeast => 800 c constraints type c org.sat4j.minisat.constraints.card.AtLeast => 800 c constraints type c org.sat4j.minisat.constraints.card.AtLeast => 800 c constraints type c org.sat4j.minisat.constraints.card.AtLeast => 800 c constraints type c org.sat4j.minisat.constraints.card.AtLeast => 800 c constraints type c org.sat4j.minisat.constraints.card.AtLeast => 800 c constraints type c org.sat4j.minisat.constraints.card.AtLeast => 900 c constraints type c org.sat4j.minisat.constraints.card.AtLeast => 900 c constraints type c org.sat4j.minisat.constraints.card.AtLeast => 900 c constraints type c org.sat4j.minisat.constraints.card.AtLeast => 900 c constraints type c org.sat4j.minisat.constraints.card.AtLeast => 900 c constraints type c org.sat4j.minisat.constraints.card.AtLeast => 900 c constraints type c org.sat4j.minisat.constraints.card.AtLeast => 900 c constraints type c org.sat4j.minisat.constraints.card.AtLeast => 900 c constraints type c org.sat4j.minisat.constraints.card.AtLeast => 900 c constraints type c org.sat4j.minisat.constraints.card.AtLeast => 900 c constraints type c org.sat4j.minisat.constraints.card.AtLeast => 133 c constraints type c org.sat4j.minisat.constraints.card.AtLeast => 204 c constraints type c org.sat4j.minisat.constraints.card.AtLeast => 297 c constraints type c org.sat4j.minisat.constraints.card.AtLeast => 415