Mukhtar, the ticket of Abi Ali Al-Farsi and its refinement by Ibn Jani