ASHTECHLocus数据处理软件中的（）文件是观测数据文件。