/Makefile/1.10/Sun Oct  7 11:56:58 2001//
/binat1.in/1.1/Thu Sep  6 18:45:13 2001//
/binat1.ok/1.2/Sat Sep 15 21:53:09 2001//
/pf1.in/1.2/Mon Oct 15 16:22:22 2001//
/pf1.ok/1.4/Mon Oct 15 16:22:22 2001//
/pf10.in/1.2/Sat Sep 15 23:32:39 2001//
/pf10.ok/1.2/Sat Sep 15 23:32:39 2001//
/pf11.in/1.1/Sat Sep 15 23:25:23 2001//
/pf11.ok/1.2/Sat Sep 15 23:32:39 2001//
/pf12.in/1.1/Sun Oct  7 11:56:58 2001//
/pf12.ok/1.1/Sun Oct  7 11:56:58 2001//
/pf2.in/1.2/Sat Sep 15 21:53:09 2001//
/pf2.ok/1.4/Sat Sep 15 23:25:23 2001//
/pf3.in/1.1/Tue Jul 31 09:02:18 2001//
/pf3.ok/1.2/Mon Sep  3 08:16:01 2001//
/pf4.in/1.2/Thu Aug 23 04:29:57 2001//
/pf4.ok/1.3/Sat Sep 15 21:53:09 2001//
/pf5.in/1.1/Thu Aug 23 04:29:57 2001//
/pf5.ok/1.3/Sat Sep 15 21:53:09 2001//
/pf6.in/1.2/Mon Oct  1 19:59:43 2001//
/pf6.ok/1.2/Mon Oct  1 19:59:43 2001//
/pf7.in/1.2/Sat Sep 15 21:53:09 2001//
/pf7.ok/1.4/Sat Sep 15 23:25:23 2001//
/pf8.in/1.1/Tue Aug 28 12:17:04 2001//
/pf8.ok/1.3/Sat Sep 15 21:53:09 2001//
/pf9.in/1.1/Tue Sep  4 13:58:49 2001//
/pf9.ok/1.1/Tue Sep  4 13:58:49 2001//
/pfail1.in/1.1/Thu Jul 26 14:33:45 2001//
/pfail2.in/1.1/Sat Sep 15 23:25:23 2001//
/pfail3.in/1.1/Sat Sep 15 23:25:23 2001//
/pfail4.in/1.1/Sat Sep 15 23:25:23 2001//
/pfail5.in/1.1/Sat Sep 15 23:25:23 2001//
/pfail6.in/1.1/Sat Sep 15 23:25:23 2001//
/pfail7.in/1.1/Sat Sep 15 23:25:23 2001//
/rdr1.in/1.1/Thu Jul 26 14:33:45 2001//
D
