> It looks like Theorem 3.7 on Page 290 of the paper > https://jtnb.centre-mersenne.org/article/JTNB_2019__31_1_283_0.pdf > contains an interesting sequence. > its [complement's] first terms are 12, 80... > (I did this by hand, so this might be wrong). 12,45,80,... A135710 -- Don Reble djr at nk.ca