[seqfan] Re: Proof For A269254

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


Brad,

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

https://oeis.org/draft/A294099

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

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