Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.64127491508093204777201817983550320573\ 3630333782046161550694803378199411756511\ 0505166434595261972203725797