../ ajfstr1.smk 30-Jan-2003 23:00 3096 ajfstr2.smk 30-Jan-2003 23:00 3192 ajfstr3.smk 30-Jan-2003 23:00 3124 md5sum 30-Aug-2005 21:09 183 mintro.smk 30-Jan-2003 23:00 106496