#!/bin/bash
./ArgoCLP_basic $1 axioms_sym.txt > izlaz/$1.txt
echo "Donne for $1"

