Enter input file name: (up to 255 characters per record,
with integer time at the beginning of each record.)
Enter output file name: (desampled input to every ?? seconds)
Enter desampling time interval in integer seconds: