Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.48094595772812965776629785653765638338\ 5407085913466367329256269996398839363961\ 119951940872813928213