S. Radziszowski, “Small Ramsey Numbers”, Electron. J. Combin., vol. 1000, p. DS1: Sep 6, 2024, Aug. 1994.