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