Debug: a = 8740464019743241847076888638389278423147348533494, b = 1997104522185888928946889978463416981124606920865
17455620219832281066865786631030462785635136128792962008464265701828041116216140504561660659952310