How to split a string into integers in Python?,"""""""42 0"""""".split()"