../ book.bin 30-Oct-2007 23:49 2M crafty-19.1.tar.gz 15-Aug-2004 04:18 360K crafty-19.1.zip 06-Oct-2005 21:51 386K crafty-20.14.zip 20-Jun-2006 14:40 413K crafty-22.1.zip 15-Apr-2008 21:14 396K crafty-22.10.zip 26-Jan-2009 22:50 408K crafty-23.0.zip 24-Mar-2009 16:16 410K crafty-23.1.zip 20-Nov-2009 23:48 413K crafty-23.2.zip 04-Mar-2010 04:52 414K crafty-23.3.zip 05-Aug-2010 01:53 414K start.pgn.gz 15-Aug-2004 04:18 312