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