Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.80299215429788425072033545347487127429\ 2141357700727783065854623297352129914394\ 255936649410699204177