/BitVecto32.txt/1.1/Fri Jul  6 15:48:55 2001//Tmono-1-0
D
