how to split a string into integers in python?,l = [int(x) for x in s.split()]