Source: https://www.cse.iitb.ac.in/~akg/courses/2019-cs310/lec-11-pumping-app.pdf