rw-r--r-- 18604/21132 3063 May 9 08:19 1994 Examples/alpha.pl rwxr-xr-x 18604/21132 4295 Jun 6 13:40 1994 Examples/bdiag.pl rwxr-xr-x 18604/21132 4355 May 31 13:20 1994 Examples/bramsey.pl rw-r--r-- 18604/21132 4940 May 9 08:19 1994 Examples/cars.pl rw-r--r-- 18604/21132 2590 May 9 08:19 1994 Examples/crypta.pl rw-r--r-- 18604/21132 2324 May 9 08:20 1994 Examples/donald.pl rw-r--r-- 18604/21132 2442 May 9 08:19 1994 Examples/eq10.pl rw-r--r-- 18604/21132 3235 May 9 08:19 1994 Examples/eq20.pl rw-r--r-- 18604/21132 2961 May 9 08:19 1994 Examples/five.pl rw-r--r-- 18604/21132 3287 May 9 08:19 1994 Examples/queens.pl rw-r--r-- 18604/21132 2270 May 9 08:19 1994 Examples/send.pl rw-r--r-- 18604/21132 4842 Jun 6 12:00 1994 Examples/square.pl rw-r--r-- 18604/21132 1708 Jun 6 12:00 1994 Examples/square.usr rw-r--r-- 18604/21132 688 May 9 08:20 1994 Examples/alpha.mk rw-r--r-- 18604/21132 682 May 9 08:20 1994 Examples/cars.mk rw-r--r-- 18604/21132 694 May 9 08:20 1994 Examples/crypta.mk rw-r--r-- 18604/21132 694 May 9 08:20 1994 Examples/donald.mk rw-r--r-- 18604/21132 682 May 9 08:20 1994 Examples/eq10.mk rw-r--r-- 18604/21132 682 May 9 08:20 1994 Examples/eq20.mk rw-r--r-- 18604/21132 682 May 9 08:20 1994 Examples/five.mk rw-r--r-- 18604/21132 694 May 9 08:20 1994 Examples/queens.mk rw-r--r-- 18604/21132 682 May 9 08:20 1994 Examples/send.mk rw-r--r-- 18604/21132 694 Jun 3 10:36 1994 Examples/square.mk