s = (n+1)n/2
из 2 чисел n+1 и n только одно - четное, а 64 является степенью двойки (то есть не имеет никаких делителей кроме 2). так как в формуле суммы есть деление на 2, то одно из чисел (n и n+1) должно делиться на 128 (64*2=128). таким образом n+1=128, n=127
