Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.42731251091162151298175413493207428690\ 1730904637683313445527588581651148266894\ 1763705693177221446751