log-equivalences Scripts for validating the log equivalences and to build the tests used in the paper.