Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.18890993120790467076361041108764105241\ 7528351539331686141903791257557814268882\ 793464996804861659555429047