Reference for Sanhedrin 212:11

וא"ר יצחק מאי דכתיב (ישעיהו לג, יח) איה סופר איה שוקל איה סופר את המגדלים איה סופר כל אותיות שבתורה איה שוקל ששוקל כל קלים וחמורים שבתורה איה סופר את המגדלים שהיה סופר שלש מאות הלכות פסוקות במגדל הפורח באויר

David pleaded before the Holy One, blessed be He, 'Sovereign of the Universe! Let Doeg die!' He replied, 'He hath swallowed down riches, and he shall vomit them up again.'<span class="x" onmousemove="('comment',' He has studied the Torah; wait till he forgets it. ');">¹⁸</span> He rejoined, 'Let God cast them out of his belly!'<span class="x" onmousemove="('comment',' Do not wait for him to forget it naturally, but speed his forgetfulness. ');">¹⁹</span>

Jastrow

Jastrow