../atp/ArgoCLP/./ArgoCLP -n axioms/trivial.txt axioms/everything_axioms.txt > izlaz_axioms.txt

