Debug: a = 673497493525004204568833306269623499207629821579914537361412446394332847931512045336239447449971373, b = 154666524406047756679469013655289194864688153040774416353337194245787451477481688292038322417378176
104167516519697053781119530996633912934622996585427934695729889294723655886524724564687906873699933492115361603942271172031908904578628920382870122759014709168784182563014159683369994873008914955648