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