Main Search Ambidextrous Compilation