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