../ book.bin 30-Oct-2007 21:49 1697492 crafty-19.1.tar.gz 15-Aug-2004 02:18 368826 crafty-19.1.zip 06-Oct-2005 19:51 395699 crafty-20.14.zip 20-Jun-2006 12:40 422894 crafty-22.1.zip 15-Apr-2008 19:14 405169 crafty-22.10.zip 26-Jan-2009 20:50 417834 crafty-23.0.zip 24-Mar-2009 14:16 419362 crafty-23.1.zip 20-Nov-2009 21:48 423190 crafty-23.2.zip 04-Mar-2010 02:52 424434 crafty-23.3.zip 04-Aug-2010 23:53 424299 start.pgn.gz 15-Aug-2004 02:18 312