ASHTECH Locus数据处理软件中的（）文件是星历文件。