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