Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
5.15578811164662322916760622009092183129\ 5937571875100014262760436445378846107250\ 09010952530761746682