Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.11787599965050932684101395083413761871\ 5217513175975063322245241854271101210136\ 4132437017464827125951324