Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.11936325117290478582932215641957358347\ 6523178124282776982377313159156840695611\ 522616504563732288441