Debug: a = 70138295038371228902575898428170701239832704952921443135723556838656846433148060705610447170261409332176439737148280233067549526541668543842016079969235696821130295176336652942006, b = 564941588128419935078662946996561760560673115260729611283847559066680246162889302486436131703556591019724062860729644779837117958900390855759693061789701042542115209087448907729909527513492583972013154440147636126138977255287904892382428541472929614695577725264408774607623121511290097583895846768828222786991497503774982806028232631084430862104942999238218761326596860894983286407281133500066158902192466406962721758692764406908505287823199030362207420772315289549297566586274682025125372760879119937577762936440656621308865825765240142733602847999822799556694920457771277331068793079735826671136942351297667666149930353685324501120232701686192786070980337908677304372470999505030389610867593977850304147337589922474074717258936716165411192539880998612739093981841643586164867154120792588640263732672545723577803
39624039787597118285088466055108984795497063758272995163497441168529293684729713956693210914372625265989319469178696033750268263594880338056556443640604422442690414164338520950053233092815036445430097593611312353758450834250878692920597100707551253695820701275298335201736909275706775555305736375461786141616421138825745328991302929397341627353925846261672458114456325227894686573955990236241823502349542680693497151937461306481411485518136359274180983365102181473543805040937240754770847541213341408011567633718698177713601069753866113981723798500284171071680092392157825571337333942134443179635744886912087760920561621091217382899187450810171220136382594556058933908392924966815421134529963628032963858937914026061885300587704529686788163276285523458319697217976962431893564494174029884130759143965150599919776142795792909190545067423817163522630427645647421734655445930334962893003052921756153549931240854511509504645741663908148911915198537781905152717349791529477835814446349420187892818