Google
 

Trailing-Edge - PDP-10 Archives - DEC-20-OT20A-D-MC9 - 2-verify/verif1.bat
There are no other files named verif1.bat in the archive.