/Makefile.cesfic/1.20/Sun Sep 23 03:01:21 2018//
/majors.cesfic/1.23/Sun Apr  5 03:01:49 2020//
/GENERIC/1.78/Mon Feb 13 03:01:26 2023//
/std.cesfic/1.6/Wed Jan 10 03:01:38 2024//
/files.cesfic/1.21/Tue Jan 16 03:01:39 2024//
D