Adding more input to TextFile1.txt

I changed my mind, instead of increasing the file size bit by bit, I'll
just copy and paste the whole thing in. I also did the math, and there
was a 39.42% decrease in file size when encoded (zipping it gave me a
61.70% decrease in file size).