| Permissions | Size | Name |
|---|---|---|
| drwxr-xr-x | 17 |  .. |
| -rw-r--r-- | 1882 |  README |
| -rw-r--r-- | 1957 | pngcp.dfa |
| -rw-r--r-- | 2086 | read.dfa |
| -rw-r--r-- | 1359 | s_read.dfa |
| -rw-r--r-- | 1228 | s_write.dfa |
| -rw-r--r-- | 1327 | simple.dfa |
| -rw-r--r-- | 1510 | write.dfa |
| Permissions | Size | Name |
|---|---|---|
| drwxr-xr-x | 17 | .. |
| -rw-r--r-- | 1882 | README |
| -rw-r--r-- | 1957 | pngcp.dfa |
| -rw-r--r-- | 2086 | read.dfa |
| -rw-r--r-- | 1359 | s_read.dfa |
| -rw-r--r-- | 1228 | s_write.dfa |
| -rw-r--r-- | 1327 | simple.dfa |
| -rw-r--r-- | 1510 | write.dfa |