c constraints type 
c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2
c constraints type 
c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3
c constraints type 
c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 4
c constraints type 
c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 5
c constraints type 
c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6
c constraints type 
c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 7
c constraints type 
c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 8
c constraints type 
c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2
c constraints type 
c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2
c org.sat4j.minisat.constraints.card.AtLeast => 1
c constraints type 
c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2
c org.sat4j.minisat.constraints.card.AtLeast => 2
c constraints type 
c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2
c org.sat4j.minisat.constraints.card.AtLeast => 2
c constraints type 
c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2
c org.sat4j.minisat.constraints.card.AtLeast => 2
c constraints type 
c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2
c org.sat4j.minisat.constraints.card.AtLeast => 2
c constraints type 
c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2
c org.sat4j.minisat.constraints.card.AtLeast => 2
c constraints type 
c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2
c org.sat4j.minisat.constraints.card.AtLeast => 2
c constraints type 
c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2
c org.sat4j.minisat.constraints.card.AtLeast => 2
c constraints type 
c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2
c org.sat4j.minisat.constraints.card.AtLeast => 2
c constraints type 
c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2
c org.sat4j.minisat.constraints.card.AtLeast => 2
c constraints type 
c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2
c org.sat4j.minisat.constraints.card.AtLeast => 2
c constraints type 
c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2
c org.sat4j.minisat.constraints.card.AtLeast => 2
c constraints type 
c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2
c org.sat4j.minisat.constraints.card.AtLeast => 2
c constraints type 
c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2
c constraints type 
c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3
c constraints type 
c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 4
c constraints type 
c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 4
c constraints type 
c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 4
c constraints type 
c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 5
c constraints type 
c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 5
c constraints type 
c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 5
c constraints type 
c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 5
c constraints type 
c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 5
c constraints type 
c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 5
c constraints type 
c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 5
c constraints type 
c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 5
c constraints type 
c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 5
c constraints type 
c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 5
c constraints type 
c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 5
c constraints type 
c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2
c constraints type 
c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2
1 -2 -3 
c constraints type 
c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2
1 2 -3 
c constraints type 
c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2
1 2 -3 
 cube 1,2,3
c constraints type 
c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2