Main Search Slow Deepthroat Compilation