public PumpingLemma()
    {
        myDoneCases = new ArrayList();
        myAllCases = new ArrayList();
        myAttempts = new ArrayList();
        setRange();
        setDescription();
        reset();
        addCases();
    }