00index.txt         156  
diskiv1             118  
ivincs.tgz       160765  
ivlibs31.tgz    1161822  
tagfile            1849  
tagfile.org        1849