Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.94914571942300984481891967085725661087\ 9066333002989231756287164042298664664990\ 280072845180194724378