ACLC1 B - Sum is Multiple (600)
式を変形すると、$ k(k+1) = 2xn
$ kと$ k+1は互いに素なので$ 2nのある素因数はそれぞれ必ずどちらかにまとまっていることになる
$ n \le 10^{15}だと素因数は20個も無いので全ての素因数を求めた後、全部のパターンを試す
拡張ユークリッドの互除法で$ x \lt 0かつ$ y \gt 0となるx,yを求める
x,yがどれが出てくるか分からないので実際には値が間違っている場合が多分ある
条件を満たす中で最小のkが答え