Specs generated from https://github.com/denis-bogdanas/kevm-verify-benchmarks/tree/jenkins-support , for all directories starting with 0-. Originally developed by Suhabe Bugrara.