11 ms·interesting; the Pi of Gödel numbering if knew primes in advanceby aghilmort 2y agointeresting; the Pi of Gödel numbering if knew primes in advance