drwxr-xr-x 17379 djbsort-20180717/verif 5 files
-rwxr-xr-x  4134 decompose
-rwxr-xr-x  7420 minmax
-rwxr-xr-x  2509 tryinput
-rwxr-xr-x  1987 unroll
-rwxr-xr-x  1329 verifymany