diskt4              395  
texcm.tgz        165314  
texlibib.tgz     441104  
texlibms.tgz     519891