ed9281a85a840d8ddc57273a9c0c7723a297048d
-rwxr-xr-x 2464 instrumented.sh
-rwxr-xr-x 1083 perft.sh
-rwxr-xr-x 1277 reprosearch.sh
-rwxr-xr-x 620 signature.sh