These files are a copy of 6.3/R5K/*
