Output correct serialized state