772bda42e9d9e4b2a13e08f8a8e32300d7972b5e
-rwxr-xr-x 3112 instrumented.sh
-rwxr-xr-x 1083 perft.sh
-rwxr-xr-x 1277 reprosearch.sh
-rwxr-xr-x 763 signature.sh