Debug: a = 9641697369926504411, b = 425970950212942028697061039529593907438336514
4107082990333217112168128101740006210847052817050776156723363254