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