Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.34054490912143700309252640816391426246\ 2592928128761279811487907740617719664646\ 407113276136893291605