deserializing index manager (for debugging)