Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.64004919114257711573983526967584120129\ 6634684773350971106671382156739607904462\ 308583750933097635898