Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.57735049725848545855011489237687061392\ 3127630427275801609703396814503839483788\ 254404021996064313228796