Y. Borissov and M. Markov, “Verifying the computed weight distribution for the binary Reed–Muller Code R(4,9)”, MEM, vol. 55, pp. 340–349, May 2026.