#!/bin/bash
cat parametri.txt | awk '{system("./prove_one_lemma "$0);}'
