V. Angeltveit, “R(3,10) <= 41”, Electron. J. Combin., vol. 32, no. 4, p. P4.30, Nov. 2025.