Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.13483997249264841724929813528728569201\ 7816442165409119976956786624433276078433\ 640777327440239924089