--rw-r--r-- rog    sys  200 Aug 21  2006 demo
--rw-r--r-- rog    sys 1039 Aug 21  2006 philosophers.b
--rw-r--r-- bootes sys  625 Aug 21  2006 philosophers.dis
--rw-r--r-- rog    sys 2395 Aug 21  2006 philosophers.sbl
--rw-r--r-- rog    sys  909 Aug 21  2006 philosophers2.b
--rw-r--r-- rog    sys  479 Aug 21  2006 philosophers2.dis
--rw-r--r-- bootes sys 1652 Aug 21  2006 philosophers2.sbl