I think that Manol Iliev's Mathematica verification "programs" for < http://oeis.org/A030052 > might be better off translated as additional comments in the style of the comment from Jon Schoenfield.