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