../ erato-def.tex 26-Aug-2019 09:48 3803 henel-def.tex 07-Aug-2019 08:59 2162 kaprekar-def.tex 28-Aug-2019 09:48 2452 knuth-def.tex 04-Aug-2019 16:46 624