1h "2 34 3567 89 2 :; 2 <=> 2 ?4 3@AB CD EF !GH 2 ?I JK JLMN E ?@OP()VCodeLineNumberTable chainWithS(Ljava/lang/String;Ljava/util/List;)Laima/logic/propositional/parsing/ast/Sentence;reorderCNFTransformO(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;stringsToVariables (Ljava/util/Set;)Ljava/util/Set;[(Ljava/util/Set;)Ljava/util/Set; SourceFileLogicUtils.java #$Q RS TU-aima/logic/propositional/parsing/ast/Sentence3aima/logic/propositional/parsing/ast/BinarySentence #Vaima/util/Converter WX5aima/logic/propositional/parsing/ast/SymbolComparatorY Z[java/util/ArrayList\ ]^2aima/logic/propositional/parsing/ast/UnarySentence+aima/logic/propositional/parsing/ast/Symbol #_ EMPTY_CLAUSE #`OR '(java/util/HashSet abc de fgjava/lang/String#aima/logic/fol/parsing/ast/Variableaima/util/LogicUtilsjava/lang/Objectjava/util/Listsize()Iget(I)Ljava/lang/Object;s(Ljava/lang/String;Laima/logic/propositional/parsing/ast/Sentence;Laima/logic/propositional/parsing/ast/Sentence;)V setToList!(Ljava/util/Set;)Ljava/util/List;java/util/Collectionssort)(Ljava/util/List;Ljava/util/Comparator;)V java/util/Setadd(Ljava/lang/Object;)Z2(Laima/logic/propositional/parsing/ast/Sentence;)V(Ljava/lang/String;)Viterator()Ljava/util/Iterator;java/util/IteratorhasNext()Znext()Ljava/lang/Object;!!"#$%*& '(%W++++M>+!+:Y*,M,&*    +7COU! )*%Y* MY+ N, Y - Y Y:6*,W6+#Y-W Y&:' ()#*.,7-E.U-[0i10346+, -.%^6YL*M,,N+Y- W+&;<"=1>4?+/01