regex to split on successions of newline characters,"re.split('[\\n\\r]+', line)"