../ erato-def.tex 26-Apr-2024 19:41 3803 henel-def.tex 26-Apr-2024 19:41 2162 kaprekar-def.tex 26-Apr-2024 19:41 2452 knuth-def.tex 26-Apr-2024 19:41 624