Equivalently, lower member of consecutive terms of A249555.
There are currently serious doubts about the correctness of the terms generated with Maple, starting with a(2). Until this is clarified, this sequence should be considered potentially erroneous. - Hugo Pfoertner, Feb 28 2026