Angeltveit, V. R(3,10) <= 41. Electron. J. Combin. 2025, 32, P4.30.