pickle state save in redid