Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.44180426327076532156711943939688900514\ 9374940909247541777660482997439292343417\ 560933766