p13 solved, adding huge numbers with gmp library