Text this: al-Mukhtār min Rasāʼil Abī Isḥāq Ibrāhīm ibn Hilāl ibn Zahrūn al-Ṣābī /