drwxr-xr-x 14404 djbsort-20180710/verif 5 files-rwxr-xr-x 4050 decompose -rwxr-xr-x 7003 minmax -rwxr-xr-x 1099 tryinput -rwxr-xr-x 1265 unroll -rwxr-xr-x 987 verifymany