-rwxr-x---  0 0      50      12923 Sep 21  1983 ./clear
-rwxr-x---  0 0      50      14186 Sep 21  1983 ./ttest
-rwxr-x---  0 0      50        521 Sep 21  1983 ./runxsat
-rwxr-x---  0 0      50      42730 Sep 21  1983 ./xsat
