On Dec 4, 2019, at 8:07 PM, Roy Smith <roy@panix.com> wrote:

I also need to figure out how to parse this in Python.

Oh, looks like https://pypi.org/project/phpserialize/ can handle that part.