read lines containing integers from a file in python?,line.strip().split(' ')