[seqfan] Re: Proof For A269254

L. Edson Jeffery lejeffery2 at gmail.com
Sun Oct 22 23:49:00 CEST 2017


Nice proof. I just submitted the array used for computing A269254. Here is
the draft if anyone wants to add to it:


I also stated the theorem in A269254 and gave a link to your proof on

Meanwhile, a(110) is still unknown. My Mathematica program ran all night,
and is still running, to no avail.

Ed Jeffery

More information about the SeqFan mailing list