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