Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.63039866399359938644070486177704499267\ 8502517018101768654926913085957895069560\ 297529057439938474956