Pumping Lemma project init