drwxr-xr-x 65026 djbsort-20260127/sortverif 7 files + 0 links
-rwxr-xr-x 12171 checkrules
-rwxr-xr-x  4177 decompose
-rwxr-xr-x 25213 minmax
-rwxr-xr-x  2095 outsim
-rw-r--r--  9166 rules
-rwxr-xr-x  4871 unroll
-rwxr-xr-x  7333 verifymany