This is input4.txt