Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.91971686975453939849367693898386049043\ 4054000845193415886284722783488586541017\ 178639094351505767869