I have a file with some lines printed in the following way.This is a timestamp
a name at 71050.762 s [04562b0c]
I have to find this lines and then extract the time value, i.e 71050.762 s in this example. Please note that spaces as in the line.
How can I check if a particular line is in this form before extracting the time.