Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
2.35482004503094938202313865291939927549\ 4771378771641077045051513000053177093969\ 853616836