rwxr-xr-x 4273/0      0 Jun 17 12:09 1994 ml-databases/othello/
rw-r--r-- 4273/0    149 Jun 17 12:09 1994 ml-databases/othello/Index
rw-r--r-- 4273/0    834 Jun 17 12:09 1994 ml-databases/othello/new-othello.names
rw-r--r-- 4273/0  20595 Jun 17 12:09 1994 ml-databases/othello/new-othello.theory
rwxr-xr-x 4273/0      0 Jun 17 12:09 1994 ml-databases/othello/old/
rw-r--r-- 4273/0    112 Jun 17 12:09 1994 ml-databases/othello/old/Index
rw-r--r-- 4273/0    623 Jun 17 12:09 1994 ml-databases/othello/old/othello.names
rw-r--r-- 4273/0  18239 Jun 17 12:09 1994 ml-databases/othello/old/othello.theory