Szemerédi_regularity_lemma loading ...