../ README 01-May-2024 16:54 1882 pngcp.dfa 01-May-2024 16:54 1957 read.dfa 01-May-2024 16:54 2086 s_read.dfa 01-May-2024 16:54 1359 s_write.dfa 01-May-2024 16:54 1228 simple.dfa 01-May-2024 16:54 1327 write.dfa 01-May-2024 16:54 1510