/hanoi.als/1.6/Wed Sep 18 13:54:47 2002//
/hunter.als/1.4/Mon Aug 19 01:00:37 2002//
/life1.als/1.2/Wed Feb 13 04:43:17 2002//
/queens.als/1.1/Tue Apr 16 01:16:56 2002//
/queens.cst/1.1/Tue Apr 16 01:16:56 2002//
/shakehands.als/1.6/Wed Jul 24 20:11:43 2002//
D
