Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.00158982511923688394276629570747217806\ 0413354531001589825119236883942766295707\ 472178060413354531001