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