b0520a742d5005b42bc2f027bb5d48b400d32622
-rwxr-xr-x 1622 instrumented.sh
-rwxr-xr-x 1083 perft.sh
-rwxr-xr-x 1277 reprosearch.sh
-rwxr-xr-x 620 signature.sh