/vand.in/1.1.1.1/Tue Oct 29 08:07:12 2002//
/vnand.in/1.1.1.1/Tue Oct 29 08:07:12 2002//
/vnor.in/1.1.1.1/Tue Oct 29 08:07:12 2002//
/vor.in/1.1.1.1/Tue Oct 29 08:07:12 2002//
/vxnor.in/1.1.1.1/Tue Oct 29 08:07:12 2002//
/vxor.in/1.1.1.1/Tue Oct 29 08:07:12 2002//
D