drwxr-xr-x 63671 djbsort-20260210/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-- 11338 rules -rwxr-xr-x 4871 unroll -rwxr-xr-x 7817 verifymany