read lines containing integers from a file in python?,"a, b, c = (int(i) for i in line.split())"