How to split a string into integers in Python?,' \r  42\n\r \t\n   \r0\n\r\n'.split()