Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
1.34052530819739844786760628499606609205\ 8341868931204575524735773002130781304216\ 67303476997565999082