Main Search Tagfingering Compilation