sorting lines of file python,"re.split('\\s+', line)"