../ erato-def.tex 17-Mar-2025 19:33 3803 henel-def.tex 17-Mar-2025 19:33 2162 kaprekar-def.tex 17-Mar-2025 19:33 2452 knuth-def.tex 17-Mar-2025 19:33 624