drwxr-xr-x 35027 djbsort-20190516/verif 5 files
-rwxr-xr-x  4146 decompose
-rwxr-xr-x 23974 minmax
-rwxr-xr-x  2829 tryinput
-rwxr-xr-x  2705 unroll
-rwxr-xr-x  1373 verifymany