Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.00024833405378914417572385644520881772\ 6201476472598020307338154526067498332518\ 3149046979240483720231719822287656917459