added introduction in writeup.tex and enlarged graphs
enlarged graphs, added introduction, and made merge and count proof better
enlarged graphs, added introduction, and made merge and count proof better
enlarged graphs, added introduction, and made merge and count proof better