/std.cesfic/1.5/Sun Sep 19 03:02:43 2010//
/Makefile.cesfic/1.20/Sun Sep 23 03:01:21 2018//
/majors.cesfic/1.22/Mon Jan 28 03:01:18 2019//
/files.cesfic/1.18/Mon Feb 18 03:01:28 2019//
/GENERIC/1.71/Fri Mar 15 03:01:21 2019//
D
