Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.37672750805857502927057666901338136632\ 7448191683157542571807786337291120075437\ 993862981654551164229574361