Reference for Sanhedrin 172:5

אלא אמר רב פפא בעידי מכירה דכולי עלמא לא פליגי דנהרגין כי פליגי בעידי גניבה חזקיה אמר אין נהרגין גניבה לחודה קיימא ומכירה לחודה קיימא ר' יוחנן אמר נהרגין גניבה אתחלתא דמכירה היא

— since it has been stated: If the witnesses of abduction were proved <i>zomemim</i> — R. Johanan, and Hezekiah [differ]: one maintains that they are flagellated, the other that they are not. Whereon we observed, It may be shewn that it was Hezekiah who ruled that they are flagellated, since he said that they are not executed.<span class="x" onmousemove="('comment',' I.e., if another two witnesses testified to the sale, and then the first two were proved false, they are not executed. The argument is concluded in the next passage. ');">⁴</span>

Jastrow