| Permissions | Size | Name |
|---|---|---|
| drwxr-xr-x | 60 |  .. |
| -rwxr-xr-x | 850 |  colors |
| -rwxr-xr-x | 1182 | console-levels |
| -rwxr-xr-x | 805 | decode |
| -rwxr-xr-x | 804 | delta |
| -rwxr-xr-x | 840 | facilities |
| -rwxr-xr-x | 1345 | indentation |
| -rw-r--r-- | 3308 | input |
| -rwxr-xr-x | 850 | limit |
| -rw-r--r-- | 61 | newlines |