Updated input.txt

I updated the values of input.txt to the numbers found on his homepage.