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