How to split a string into integers in Python?,"a, b = (int(x) for x in s.split())"