Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.31836624672831647168190870764438693473\ 9979530124210463760306420405753338759301\ 42909497373311782011164400149171