Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.40030399525518591463063718683420357246\ 4152965107079492443232863428993855332210\ 407972495187438522603