Van_der_Waerden_number loading ...