Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.69658584777906580198659243463275435885\ 5900546035935557784654978765883893399491\ 086848823078618640571