/Main.hs/1.1/Thu Jul 25 21:33:13 1996//
/Sort.hs/1.1/Thu Mar  9 11:00:39 2000//
/sorting.stdin/1.1/Thu Mar  9 11:00:39 2000//
/sorting.stdout/1.1/Wed May 10 10:24:17 2000//
D
