Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.10535213328241952349767338825964381917\ 4062104585559270611931727189660474343109\ 7530342127687521029462426193