Explanation

Dera Alhyar is the correct old name for Jhat pat. Haripur is a different location. Sawat does not match the historical name of Jhat pat. Khairpur is also incorrect as an old name for Jhat pat.