Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
1.25544564892177206083197650721755927055\ 0377702765181491722470826699369756062303\ 44171339194571203739