| Permissions | Size | Name |
|---|---|---|
| drwxr-xr-x | 27 |  .. |
| -rw-r--r-- | 1085 |  1.cc |
| -rw-r--r-- | 1180 | 88681.cc |
| -rw-r--r-- | 4356 | named_equivalence.cc |
| drwxr-xr-x | 5 | requirements |
| Permissions | Size | Name |
|---|---|---|
| drwxr-xr-x | 27 | .. |
| -rw-r--r-- | 1085 | 1.cc |
| -rw-r--r-- | 1180 | 88681.cc |
| -rw-r--r-- | 4356 | named_equivalence.cc |
| drwxr-xr-x | 5 | requirements |