drwxr-xr-x 22887 djbsort-20180729/verif 5 files
-rwxr-xr-x  4134 decompose
-rwxr-xr-x 12617 minmax
-rwxr-xr-x  2704 tryinput
-rwxr-xr-x  2059 unroll
-rwxr-xr-x  1373 verifymany