/mmg.1/1.5/Fri Jul 14 11:41:27 1995 Wed Jan  4 11:46:19 1995//TB122
/mupad.1/1.1/Fri Jul 14 11:41:27 1995 Tue May 31 12:10:03 1994//TB122
/xmupad.1/1.1/Fri Jul 14 11:41:27 1995 Tue May 31 12:10:04 1994//TB122
