rwxr-xr-x 4273/0 0 Jul 22 20:06 1993 ai3/ rw-r--r-- 4273/0 3359 Jul 22 20:05 1993 ai3/ab.lsp rw-r--r-- 4273/0 1099 Jul 22 20:05 1993 ai3/allergy.lsp rw-r--r-- 4273/0 8789 Jul 22 20:05 1993 ai3/backward.lsp rw-r--r-- 4273/0 894 Jul 22 20:05 1993 ai3/bagger.exp rw-r--r-- 4273/0 5954 Jul 22 20:05 1993 ai3/bagger.lsp rw-r--r-- 4273/0 1042 Jul 22 20:05 1993 ai3/bagger.ref rw-r--r-- 4273/0 2005 Jul 22 20:05 1993 ai3/bagger.txt rw-r--r-- 4273/0 1154 Jul 22 20:05 1993 ai3/beach.lsp rw-r--r-- 4273/0 1606 Jul 22 20:05 1993 ai3/cast.exp rw-r--r-- 4273/0 7552 Jul 22 20:05 1993 ai3/cast.lsp rw-r--r-- 4273/0 695 Jul 22 20:05 1993 ai3/cast.ref rw-r--r-- 4273/0 1169 Jul 22 20:05 1993 ai3/cast.txt rw-r--r-- 4273/0 1316 Jul 22 20:05 1993 ai3/cities.lsp rw-r--r-- 4273/0 11831 Jul 22 20:05 1993 ai3/clos.lsp rw-r--r-- 4273/0 1403 Jul 22 20:05 1993 ai3/colors.lsp rw-r--r-- 4273/0 811 Jul 22 20:05 1993 ai3/contest.exp rw-r--r-- 4273/0 1743 Jul 22 20:05 1993 ai3/contest.lsp rw-r--r-- 4273/0 801 Jul 22 20:05 1993 ai3/contest.ref rw-r--r-- 4273/0 1221 Jul 22 20:05 1993 ai3/contest.txt rw-r--r-- 4273/0 1245 Jul 22 20:05 1993 ai3/digits.lsp rw-r--r-- 4273/0 7283 Jul 22 20:05 1993 ai3/forward.lsp rw-r--r-- 4273/0 2185 Jul 22 20:05 1993 ai3/frames.exp rw-r--r-- 4273/0 4890 Jul 22 20:05 1993 ai3/frames.lsp rw-r--r-- 4273/0 781 Jul 22 20:05 1993 ai3/frames.ref rw-r--r-- 4273/0 1761 Jul 22 20:05 1993 ai3/frames.txt rw-r--r-- 4273/0 59 Jul 22 20:05 1993 ai3/frames.usr rw-r--r-- 4273/0 9253 Jul 22 20:05 1993 ai3/grammar.lsp rw-r--r-- 4273/0 1696 Jul 22 20:05 1993 ai3/kd.exp rw-r--r-- 4273/0 11174 Jul 22 20:05 1993 ai3/kd.lsp rw-r--r-- 4273/0 5657 Jul 22 20:05 1993 ai3/kd.ref rw-r--r-- 4273/0 1636 Jul 22 20:05 1993 ai3/kd.txt rw-r--r-- 4273/0 4968 Jul 22 20:05 1993 ai3/match.lsp rw-r--r-- 4273/0 920 Jul 22 20:05 1993 ai3/optimize.exp rw-r--r-- 4273/0 3201 Jul 22 20:05 1993 ai3/optimize.lsp rw-r--r-- 4273/0 769 Jul 22 20:05 1993 ai3/optimize.ref rw-r--r-- 4273/0 967 Jul 22 20:05 1993 ai3/optimize.txt rw-r--r-- 4273/0 991 Jul 22 20:05 1993 ai3/prefer.exp rw-r--r-- 4273/0 8238 Jul 22 20:05 1993 ai3/prefer.lsp rw-r--r-- 4273/0 582 Jul 22 20:05 1993 ai3/prefer.ref rw-r--r-- 4273/0 1266 Jul 22 20:05 1993 ai3/prefer.txt rw-r--r-- 4273/0 1056 Jul 22 20:05 1993 ai3/rdb.exp rw-r--r-- 4273/0 6392 Jul 22 20:05 1993 ai3/rdb.lsp rw-r--r-- 4273/0 2397 Jul 22 20:05 1993 ai3/rdb.ref rw-r--r-- 4273/0 1157 Jul 22 20:05 1993 ai3/rdb.txt rw-r--r-- 4273/0 6242 Jul 22 20:06 1993 ai3/readme.txt rw-r--r-- 4273/0 1589 Jul 22 20:06 1993 ai3/resolve.exp rw-r--r-- 4273/0 7402 Jul 22 20:06 1993 ai3/resolve.lsp rw-r--r-- 4273/0 15340 Jul 22 20:06 1993 ai3/resolve.ref rw-r--r-- 4273/0 1571 Jul 22 20:06 1993 ai3/resolve.txt rw-r--r-- 4273/0 1042 Jul 22 20:06 1993 ai3/search.exp rw-r--r-- 4273/0 5386 Jul 22 20:06 1993 ai3/search.lsp rw-r--r-- 4273/0 1729 Jul 22 20:06 1993 ai3/search.ref rw-r--r-- 4273/0 1540 Jul 22 20:06 1993 ai3/search.txt rw-r--r-- 4273/0 1850 Jul 22 20:06 1993 ai3/solve.lsp rw-r--r-- 4273/0 2859 Jul 22 20:06 1993 ai3/streams1.lsp rw-r--r-- 4273/0 1658 Jul 22 20:06 1993 ai3/streams2.lsp rw-r--r-- 4273/0 3675 Jul 22 20:06 1993 ai3/stt.lsp rw-r--r-- 4273/0 985 Jul 22 20:06 1993 ai3/time.exp rw-r--r-- 4273/0 11052 Jul 22 20:06 1993 ai3/time.lsp rw-r--r-- 4273/0 1196 Jul 22 20:06 1993 ai3/time.ref rw-r--r-- 4273/0 1210 Jul 22 20:06 1993 ai3/time.txt rw-r--r-- 4273/0 754 Jul 22 20:06 1993 ai3/tools.exp rw-r--r-- 4273/0 1689 Jul 22 20:06 1993 ai3/tools.lsp rw-r--r-- 4273/0 2270 Jul 22 20:06 1993 ai3/tools.ref rw-r--r-- 4273/0 2256 Jul 22 20:06 1993 ai3/tools.txt rw-r--r-- 4273/0 195 Jul 22 20:06 1993 ai3/tools.usr rw-r--r-- 4273/0 1612 Jul 22 20:06 1993 ai3/train.exp rw-r--r-- 4273/0 5135 Jul 22 20:06 1993 ai3/train.lsp rw-r--r-- 4273/0 15338 Jul 22 20:06 1993 ai3/train.ref rw-r--r-- 4273/0 897 Jul 22 20:06 1993 ai3/train.txt rw-r--r-- 4273/0 1301 Jul 22 20:06 1993 ai3/version.exp rw-r--r-- 4273/0 6252 Jul 22 20:06 1993 ai3/version.lsp rw-r--r-- 4273/0 1568 Jul 22 20:06 1993 ai3/version.ref rw-r--r-- 4273/0 1776 Jul 22 20:06 1993 ai3/version.txt rw-r--r-- 4273/0 5117 Jul 22 20:06 1993 ai3/zoo.lsp rw-r--r-- 4273/0 1248 Jul 22 20:06 1993 ai3/zoobk.exp rw-r--r-- 4273/0 1019 Jul 22 20:06 1993 ai3/zoobk.lsp rw-r--r-- 4273/0 2084 Jul 22 20:06 1993 ai3/zoobk.ref rw-r--r-- 4273/0 1256 Jul 22 20:06 1993 ai3/zoobk.txt rw-r--r-- 4273/0 864 Jul 22 20:06 1993 ai3/zoofw.exp rw-r--r-- 4273/0 1019 Jul 22 20:06 1993 ai3/zoofw.lsp rw-r--r-- 4273/0 440 Jul 22 20:06 1993 ai3/zoofw.ref rw-r--r-- 4273/0 1280 Jul 22 20:06 1993 ai3/zoofw.txt