Potrzebujesz pomocy w zrozumieniu równania

Zrób równanie Pellx*x - 193 * y*y = 1

w z3py:

x = BitVec('x',64)
y = BitVec('y',64)
solve(x*x - 193 * y*y == 1, x > 0, y > 0)

Wynik:[y = 2744248620923429728, x = 8169167793018974721]

Czemu?

P.S. Prawidłowa odpowiedź: [y = 448036604040, x = 6224323426849]