str.split() with no argument does a more general split on whitespace, multiple whitespace, tabs, etc., which might be useful here.