№ 8800

Найдите количество пар целых чисел $(x,y)$, удовлетворяющих системе неравенств \[ \begin{cases} y\gt 2^x+3\cdot 2^{65};\\ y\leqslant 70+\left(2^{64}-1\right)x. \end{cases} \] Ответ должен быть представлен в виде алгебраической суммы не более двух слагаемых.