rwxr-xr-x 4273/0      0 Jun 17 12:01 1994 ml-databases/flags/
rw-r--r-- 4273/0    106 Jun 17 12:01 1994 ml-databases/flags/Index
rw-r--r-- 4273/0  15240 Jun 17 12:01 1994 ml-databases/flags/flag.data
rw-r--r-- 4273/0   3005 Jun 17 12:01 1994 ml-databases/flags/flag.names
rwxr-xr-x 4273/0      0 Jun 17 12:01 1994 ml-databases/function-finding/
rw-r--r-- 4273/0    141 Jun 17 12:01 1994 ml-databases/function-finding/Index
rw-r--r-- 4273/0 216530 Jun 17 12:01 1994 ml-databases/function-finding/function-finding.data
rw-r--r-- 4273/0   8568 Jun 17 12:01 1994 ml-databases/function-finding/function-finding.names