pattern search results for coqtc