/minit1.inc/1.1.1.1/Thu Feb 15 17:55:03 1996//
/pilot.h/1.1.1.1/Thu Feb 15 17:55:03 1996//
/tiuchad.inc/1.1.1.1/Thu Feb 15 17:55:03 1996//
/tublow1.inc/1.1.1.1/Thu Feb 15 17:55:03 1996//
/verifmt.inc/1.1.1.1/Thu Feb 15 17:55:03 1996//
D