Main Search Compilation Empty Tits