../ erato-def.tex 20-Nov-2024 19:33 3803 henel-def.tex 20-Nov-2024 19:33 2162 kaprekar-def.tex 20-Nov-2024 19:33 2452 knuth-def.tex 20-Nov-2024 19:33 624