Ramsey_number loading ...