Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
1.54068432648607164506156150729392052018\ 752596726228657354400