Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.60211234931037155497112632005154135994\ 8471200000639465967365263583082681418773\ 75718564