../../atp/ArgoCLP/./ArgoCLP -n axioms/trivial.txt axioms/everything_theorems.txt > izlaz_everything.txt

