Python DineSafe data structures and script for deserialization