c constraints type c org.sat4j.minisat.constraints.cnf.DefaultWLClause => 80 c constraints type c org.sat4j.minisat.constraints.cnf.DefaultWLClause => 79 c constraints type c org.sat4j.minisat.constraints.cnf.DefaultWLClause => 78 c constraints type c org.sat4j.minisat.constraints.cnf.DefaultWLClause => 78 c constraints type c org.sat4j.minisat.constraints.cnf.DefaultWLClause => 99 c constraints type c org.sat4j.minisat.constraints.cnf.DefaultWLClause => 99 c constraints type c org.sat4j.minisat.constraints.cnf.DefaultWLClause => 100 c constraints type c org.sat4j.minisat.constraints.cnf.DefaultWLClause => 99 c constraints type c org.sat4j.minisat.constraints.cnf.DefaultWLClause => 169 c constraints type c org.sat4j.minisat.constraints.cnf.DefaultWLClause => 170 c constraints type c org.sat4j.minisat.constraints.cnf.DefaultWLClause => 170 c constraints type c org.sat4j.minisat.constraints.cnf.DefaultWLClause => 168 c constraints type c org.sat4j.minisat.constraints.cnf.DefaultWLClause => 299 c constraints type c org.sat4j.minisat.constraints.cnf.DefaultWLClause => 297 c constraints type c org.sat4j.minisat.constraints.cnf.DefaultWLClause => 295 c constraints type c org.sat4j.minisat.constraints.cnf.DefaultWLClause => 298 c constraints type c org.sat4j.minisat.constraints.cnf.DefaultWLClause => 75 c constraints type c org.sat4j.minisat.constraints.cnf.DefaultWLClause => 80 c constraints type c org.sat4j.minisat.constraints.cnf.DefaultWLClause => 79 c constraints type c org.sat4j.minisat.constraints.cnf.DefaultWLClause => 80 c constraints type c org.sat4j.minisat.constraints.cnf.DefaultWLClause => 100 c constraints type c org.sat4j.minisat.constraints.cnf.DefaultWLClause => 100 c constraints type c org.sat4j.minisat.constraints.cnf.DefaultWLClause => 100 c constraints type c org.sat4j.minisat.constraints.cnf.DefaultWLClause => 96 c constraints type c org.sat4j.minisat.constraints.cnf.DefaultWLClause => 18 c constraints type c org.sat4j.minisat.constraints.cnf.DefaultWLClause => 80 c constraints type c org.sat4j.minisat.constraints.cnf.DefaultWLClause => 160 c constraints type c org.sat4j.minisat.constraints.cnf.DefaultWLClause => 350 c constraints type c org.sat4j.minisat.constraints.cnf.DefaultWLClause => 100 c constraints type c org.sat4j.minisat.constraints.cnf.DefaultWLClause => 200 c constraints type c org.sat4j.minisat.constraints.cnf.DefaultWLClause => 300 c constraints type c org.sat4j.minisat.constraints.cnf.DefaultWLClause => 390 c constraints type c org.sat4j.minisat.constraints.cnf.DefaultWLClause => 185 c constraints type c org.sat4j.minisat.constraints.cnf.DefaultWLClause => 289 c constraints type c org.sat4j.minisat.constraints.cnf.DefaultWLClause => 167 c constraints type c org.sat4j.minisat.constraints.cnf.DefaultWLClause => 307 c constraints type c org.sat4j.minisat.constraints.cnf.DefaultWLClause => 176 c constraints type c org.sat4j.minisat.constraints.cnf.DefaultWLClause => 361 c constraints type c org.sat4j.minisat.constraints.cnf.DefaultWLClause => 408 c constraints type c org.sat4j.minisat.constraints.cnf.DefaultWLClause => 625 c constraints type c org.sat4j.minisat.constraints.cnf.DefaultWLClause => 1112 c constraints type c org.sat4j.minisat.constraints.cnf.DefaultWLClause => 889 c constraints type c org.sat4j.minisat.constraints.cnf.DefaultWLClause => 1003 c constraints type c org.sat4j.minisat.constraints.cnf.DefaultWLClause => 1181 c constraints type c org.sat4j.minisat.constraints.cnf.DefaultWLClause => 1069 c constraints type c org.sat4j.minisat.constraints.cnf.DefaultWLClause => 2286 c constraints type c org.sat4j.minisat.constraints.cnf.DefaultWLClause => 1297 c constraints type c org.sat4j.minisat.constraints.cnf.DefaultWLClause => 787 c constraints type c org.sat4j.minisat.constraints.cnf.DefaultWLClause => 773 c constraints type c org.sat4j.minisat.constraints.cnf.DefaultWLClause => 771 c constraints type c org.sat4j.minisat.constraints.cnf.DefaultWLClause => 790 c constraints type c org.sat4j.minisat.constraints.cnf.DefaultWLClause => 767 c constraints type c org.sat4j.minisat.constraints.cnf.DefaultWLClause => 785 c constraints type c org.sat4j.minisat.constraints.cnf.DefaultWLClause => 780 c constraints type c org.sat4j.minisat.constraints.cnf.DefaultWLClause => 767 c constraints type c org.sat4j.minisat.constraints.cnf.DefaultWLClause => 790 c constraints type c org.sat4j.minisat.constraints.cnf.DefaultWLClause => 768 c constraints type c org.sat4j.minisat.constraints.cnf.DefaultWLClause => 783 c constraints type c org.sat4j.minisat.constraints.cnf.DefaultWLClause => 774 c constraints type c org.sat4j.minisat.constraints.cnf.DefaultWLClause => 769 c constraints type c org.sat4j.minisat.constraints.cnf.DefaultWLClause => 783 c constraints type c org.sat4j.minisat.constraints.cnf.DefaultWLClause => 767 c constraints type c org.sat4j.minisat.constraints.cnf.DefaultWLClause => 795 c constraints type c org.sat4j.minisat.constraints.cnf.DefaultWLClause => 768 c constraints type c org.sat4j.minisat.constraints.cnf.DefaultWLClause => 775 c constraints type c org.sat4j.minisat.constraints.cnf.DefaultWLClause => 789 c constraints type c org.sat4j.minisat.constraints.cnf.DefaultWLClause => 768 c constraints type c org.sat4j.minisat.constraints.cnf.DefaultWLClause => 744 c constraints type c org.sat4j.minisat.constraints.cnf.DefaultWLClause => 729 c constraints type c org.sat4j.minisat.constraints.cnf.DefaultWLClause => 723 c constraints type c org.sat4j.minisat.constraints.cnf.DefaultWLClause => 743 c constraints type c org.sat4j.minisat.constraints.cnf.DefaultWLClause => 726 c constraints type c org.sat4j.minisat.constraints.cnf.DefaultWLClause => 727 c constraints type c org.sat4j.minisat.constraints.cnf.DefaultWLClause => 742 c constraints type c org.sat4j.minisat.constraints.cnf.DefaultWLClause => 722 c constraints type c org.sat4j.minisat.constraints.cnf.DefaultWLClause => 740 c constraints type c org.sat4j.minisat.constraints.cnf.DefaultWLClause => 734 c constraints type c org.sat4j.minisat.constraints.cnf.DefaultWLClause => 716 c constraints type c org.sat4j.minisat.constraints.cnf.DefaultWLClause => 746 c constraints type c org.sat4j.minisat.constraints.cnf.DefaultWLClause => 724 c constraints type c org.sat4j.minisat.constraints.cnf.DefaultWLClause => 729 c constraints type c org.sat4j.minisat.constraints.cnf.DefaultWLClause => 733 c constraints type c org.sat4j.minisat.constraints.cnf.DefaultWLClause => 719 c constraints type c org.sat4j.minisat.constraints.cnf.DefaultWLClause => 752 c constraints type c org.sat4j.minisat.constraints.cnf.DefaultWLClause => 724 c constraints type c org.sat4j.minisat.constraints.cnf.DefaultWLClause => 724 c constraints type c org.sat4j.minisat.constraints.cnf.DefaultWLClause => 748 c constraints type c org.sat4j.minisat.constraints.cnf.DefaultWLClause => 835 c constraints type c org.sat4j.minisat.constraints.cnf.DefaultWLClause => 817 c constraints type c org.sat4j.minisat.constraints.cnf.DefaultWLClause => 821 c constraints type c org.sat4j.minisat.constraints.cnf.DefaultWLClause => 830 c constraints type c org.sat4j.minisat.constraints.cnf.DefaultWLClause => 811 c constraints type c org.sat4j.minisat.constraints.cnf.DefaultWLClause => 838 c constraints type c org.sat4j.minisat.constraints.cnf.DefaultWLClause => 811 c constraints type c org.sat4j.minisat.constraints.cnf.DefaultWLClause => 833 c constraints type c org.sat4j.minisat.constraints.cnf.DefaultWLClause => 823 c constraints type c org.sat4j.minisat.constraints.cnf.DefaultWLClause => 815 c constraints type c org.sat4j.minisat.constraints.cnf.DefaultWLClause => 7 c constraints type c org.sat4j.minisat.constraints.cnf.DefaultWLClause => 8 c constraints type c org.sat4j.minisat.constraints.cnf.DefaultWLClause => 9 c constraints type c org.sat4j.minisat.constraints.cnf.DefaultWLClause => 10