Elvira Albert, Samir Genaim, Daniel Kirchner, Enrique Martin-Martin: Artifact of the Paper "Formally Verified EVM Block-Optimizations". Zenodo 2022