/Makefile/1.13/Mon Feb 18 13:08:51 2002//
/binat1.in/1.3/Wed Jan  9 11:52:30 2002//
/binat1.ok/1.4/Wed Jan  9 11:52:30 2002//
/pf1.in/1.3/Wed Jan  9 11:52:30 2002//
/pf1.ok/1.6/Wed Feb 27 18:23:39 2002//
/pf10.in/1.2/Sat Sep 15 23:32:39 2001//
/pf10.ok/1.3/Wed Feb 27 18:23:39 2002//
/pf11.in/1.1/Sat Sep 15 23:25:23 2001//
/pf11.ok/1.3/Wed Feb 27 18:23:39 2002//
/pf12.in/1.1/Sun Oct  7 11:56:58 2001//
/pf12.ok/1.2/Wed Feb 27 18:23:39 2002//
/pf13.in/1.1/Mon Nov 26 16:53:27 2001//
/pf13.ok/1.2/Wed Feb 27 18:23:39 2002//
/pf2.in/1.4/Wed Mar 27 18:16:22 2002//
/pf2.ok/1.7/Wed Mar 27 18:16:22 2002//
/pf3.in/1.1/Tue Jul 31 09:02:18 2001//
/pf3.ok/1.3/Wed Feb 27 18:23:39 2002//
/pf4.in/1.2/Thu Aug 23 04:29:57 2001//
/pf4.ok/1.4/Wed Feb 27 18:23:39 2002//
/pf5.in/1.1/Thu Aug 23 04:29:57 2001//
/pf5.ok/1.4/Wed Feb 27 18:23:39 2002//
/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.3/Tue Nov 13 07:01:03 2001//
/pf7.ok/1.6/Wed Feb 27 18:23:39 2002//
/pf8.in/1.2/Tue Nov 13 07:01:03 2001//
/pf8.ok/1.5/Wed Feb 27 18:23:39 2002//
/pf9.in/1.2/Tue Nov 13 07:01:04 2001//
/pf9.ok/1.3/Wed Feb 27 18:23:39 2002//
/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//
/pfail8.in/1.1/Mon Nov 26 16:53:27 2001//
/rdr1.in/1.1/Thu Jul 26 14:33:45 2001//
D
