Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.98343978058692823511448755355401363537\ 3154162868831121903760450816279970559739\ 206757939750040294138753455