Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
2.58385639002498501462302625559178293351\ 8774047157092307845378175317199576455475\ 503130558419383573849419