drwxr-xr-x 63956 djbsort-20260621/sortverif 8 files + 0 links
-rw-r--r--  1327 angr-patch
-rwxr-xr-x 12314 checkrules
-rwxr-xr-x  4177 decompose
-rwxr-xr-x 19732 minmax
-rwxr-xr-x  2095 outsim
-rw-r--r-- 11623 rules
-rwxr-xr-x  4871 unroll
-rwxr-xr-x  7817 verifymany