Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.46758094406347136736141927076686538859\ 4025372669249066792955683761219524913898\ 380434594118588328824