/interact.exp/1.12/Tue Jan 23 22:13:20 2001//TR_VOCAL_1_5_0
/kill-servers.pl/1.3/Sat Aug 12 01:25:11 2000//TR_VOCAL_1_5_0
/kill-xterms/1.6/Sun May 13 10:54:01 2001//TR_VOCAL_1_5_0
/session.exp/1.4/Tue Jan 23 22:13:20 2001//TR_VOCAL_1_5_0
/start-xterms/1.21/Fri Dec 15 00:02:58 2000//TR_VOCAL_1_5_0
D
