Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
4.16024689946928674365532247869599888590\ 1734769019448849903784799269872459281348\ 12380012030220187007855848