how to read numbers in text file using python?,data = [[int(v) for v in line.split()] for line in lines]