Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.12699586713882325294527057473113580561\ 1834188578689467298972164319192117723824\ 0825888274347884370753971588