Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
3.50704807587063673082685901089828900573\ 6420356582269060617507993755485503257072\ 89857387251882379412232041