Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.01830143236178910882275580939079223487\ 5012211816096165612776444476142965276251\ 934187268168900487