Rampersad, N.; Shallit, J. Congruence Properties of Combinatorial Sequences via Walnut and the Rowland-Yassawi-Zeilberger Automaton. Electron. J. Combin. 2022, 29, P3.36.