/Main.hs/1.1/Thu Aug  5 11:13:44 2004//Tnhc98-1-18-release
/Sort.hs/1.1/Thu Aug  5 11:13:44 2004//Tnhc98-1-18-release
/sorting.stdin/1.1/Thu Aug  5 11:13:44 2004//Tnhc98-1-18-release
/sorting.stdout/1.1/Thu Aug  5 11:13:44 2004//Tnhc98-1-18-release
D
