I speculated in 2008 that the modified Neretin polynomials presented in A145900A145900 of the On-line Encyclopedia of Integer Sequences, which can be summed to give a normalized Schwarzian derivative for a complex function and are related to a representation of the Virasoro algebra, all have integer coefficients. Definitions, references, and links are provided in the entry. Can anyone prove or disprove this conjecture?