All 5 Letter Words with HOL_A