1aima/util/LogicUtilsjava/lang/Object()VCode  LineNumberTableLocalVariableTablethisLaima/util/LogicUtils; chainWithS(Ljava/lang/String;Ljava/util/List;)Laima/logic/propositional/parsing/ast/Sentence;java/util/Listsize()I  get(I)Ljava/lang/Object;  -aima/logic/propositional/parsing/ast/Sentence3aima/logic/propositional/parsing/ast/BinarySentences(Ljava/lang/String;Laima/logic/propositional/parsing/ast/Sentence;Laima/logic/propositional/parsing/ast/Sentence;)V   connectorLjava/lang/String; sentencesLjava/util/List;soFar/Laima/logic/propositional/parsing/ast/Sentence;iInextreorderCNFTransformO(Ljava/util/Set;Ljava/util/Set;)Laima/logic/propositional/parsing/ast/Sentence; Signature(Ljava/util/Set;Ljava/util/Set;)Laima/logic/propositional/parsing/ast/Sentence;aima/util/Converter. / setToList!(Ljava/util/Set;)Ljava/util/List; 12 /35aima/logic/propositional/parsing/ast/SymbolComparator5 6java/util/Collections8sort)(Ljava/util/List;Ljava/util/Comparator;)V :; 9<java/util/ArrayList> ?add(Ljava/lang/Object;)Z AB C java/util/SetE F2aima/logic/propositional/parsing/ast/UnarySentenceH+aima/logic/propositional/parsing/ast/SymbolJ2(Laima/logic/propositional/parsing/ast/Sentence;)V L IM EMPTY_CLAUSEO(Ljava/lang/String;)V Q KRORT  VpositiveSymbolsLjava/util/Set;negativeSymbolsplusList minusListLocalVariableTypeTable>Ljava/util/Set;?Ljava/util/List;ALjava/util/List;stringsToVariables (Ljava/util/Set;)Ljava/util/Set;[(Ljava/util/Set;)Ljava/util/Set;java/util/HashSetd eiterator()Ljava/util/Iterator; gh Fijava/util/Iteratork()Ljava/lang/Object; )m lnjava/lang/Stringp#aima/logic/fol/parsing/ast/Variabler sR FChasNext()Z vw lxstringsvarsstr#Ljava/util/Set;6Ljava/util/Set; SourceFileLogicUtils.java!/*    `++++M>!+:Y*, M+, *   #16EQ^! 4`!"`#$1/%&3+'(E )& *+,-|/Y0*4M/Y0+4N,6Y7=-6Y7=?Y@:6,DW*G6 IY-KNDW+G KYPSUW :' ()#*.,7-=.P-^0d1~0346 HXYZY [$\$7q#$:$'(a+'(]4X^Z^ [_\_7q#` ab,c6eYfL*jN-oqM+sY,tuW-y+ ;<=+<4? 6zY.{Y|"]6z}.{~