def __getstate__(self): state = Symbol.__getstate__(self) state['is_solved'] = self.is_solved state['default'] = self.default state['solved'] = self.solved return state