00index.txt         182  
diskiv1             118  
ivincs.tgz       160635  
ivlibs31.tgz    1161813  
tagfile            1849  
tagfile.org        1849  
tagfile.pat        1849