Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.65062341268259629322747012706557661222\ 1400142413153902477022707376559210425388\ 921262512392490566148577603