Main Search Pointed Tits Compilation