fixing big.txt

we tried to make big.txt larger but it became too large