#!/bin/bash
./ArgoCLP $1 axioms_hilbert_I_lemmas.txt > izlaz/$1.txt
echo "Donne for $1"

