/export/starexec/sandbox2/solver/bin/starexec_run_default /export/starexec/sandbox2/benchmark/theBenchmark.pl /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- Exception in thread "Thread-0" java.lang.StackOverflowError at java.util.HashMap.hash(HashMap.java:339) at java.util.HashMap.get(HashMap.java:557) at com.nti.term.Variable.deepCopyAux(Variable.java:213) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470) at com.nti.term.Function.deepCopyAux(Function.java:281) at com.nti.term.Term.deepCopy(Term.java:470)