/waisindex.man/1.1.1.1/Tue Jun  4 20:36:01 1996//
/waisq.man/1.1.1.1/Tue Jun  4 20:36:01 1996//
/waissearch.man/1.1.1.1/Tue Jun  4 20:36:02 1996//
/waisserver.man/1.1.1.1/Tue Jun  4 20:36:02 1996//
/xwais.man/1.1.1.1/Tue Jun  4 20:36:02 1996//
/xwaisq.man/1.1.1.1/Tue Jun  4 20:36:03 1996//
