Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.33080180610558699143408780310899093574\ 3363381681980704024423208527164142982078\ 065295284648564605716