Text this: The mixed irredundant Ramsey numbers t (3, 7) = 18 and t (3, 8) = 22.