for script in ./certora/scripts/Round3/verify*.sh
do
    sh $script
done