Main Search Reverse Coagir Compilation