Debug: a = 154401310284121033413839709675181695579366586479388911050946289991625879075304164454148891963729309, b = 306142040612711110364863802794003918304247432520287545584043755131902519674517195022164168005803757
47268732203657191042194715936950025368929176681925050433216303048389783454529603964237749794764173091947119632203404082138384613579763665748243720303473526556919000087940656046119121976649723213913