[seqfan] Conjecture about A127750

[Allan Wechsler]

Recently I was investigating a combinatorial system (a simple Turing
machine, in fact), and became curious about a sequence it was displaying. I
looked up the sequence on OEIS and found https://oeis.org/A127750, which
matched perfectly.

The description in the entry had absolutely nothing to do with my
generating system. But there is a conjecture, apparently due to either the
author, Dr. Paul Barry, or to Neil Sloane -- the entry isn't entirely clear.

Obviously I wanted to know if my sequence and Barry's were the same. I was
able to analyze my own sequence fairly easily, and the conjecture was quite
trivially true for my sequence. If I could prove the identity of the two
sequences, I would have proven the conjecture.

Well, now I think I have proven it. What should I do next?