#/bin/bash
awk '{if(d==1){printf("%s %.3lf %.7lf %.3lf\n",$1,$2,$4,$5)}}/# abs_time/{d=1}' | gptime -c 1 -i yyyyMMddhhmmssz -o time_t | awk '{printf("%.3lf %s %s %s\n",$1-1489449600,$2,$3,$4)}'
