/false_solution_bu.pro/1.1.1.1/Sun Jun 25 07:22:44 2000//
/meta.pro/1.1.1.1/Sun Jun 25 07:22:44 2000//
/meta_proof.pro/1.1.1.1/Sun Jun 25 07:22:44 2000//
/trace.pro/1.1.1.1/Sun Jun 25 07:22:44 2000//
/shapiro.pl/1.1/Sun Jul  9 04:44:34 2000//
D
