n9-L7-f7732-r17-t7730-ver3.3b.txt
p=35753445084036221812472752283916246008644762412100673252229456684995575877815487144810627529550154282826825732757851034946681025671713905519840978827179076307472424336393265835918185565043861543036760151005415064660570187591354802331566014635596133915506450398464425324760538544699677147949924388846495073817281633730459544258804400896868392763674488964902722975913455562269902069647579206137897217573208505627781168926428875793871196025010532054413929330219170464013059460149139935489148534016604866242491988581018925503867559824899124030207980651684270181683700856239269344953974489416618427729244622585410143360958920511724022569986780196262773925479352183738491420322699423454981913109154485406914101789590029527330326018202010860239950591210760646980967915550460166252008422450891660365233967728174969252430951457923915166254948720423432324573562038366951877248772727896887756732907885045473890715526337594942645980962429754114624589244593422552005953927492709293785074090042899656902746703452364312236679432526926021023630602036582225110169633743969239387187366589145121144581910867837573300204749070350363832633128971767787171048939186799768478765206778989891115964651780603869152434314653448412708754647247816509612529257915851049677845537815797813392322725954406038541215651460806436466197308195753650353767177484311619290535576000461589813569157954791892518411737418937242759688073053359120818784978108025793184961736447908783369523342655040301065129133952145248989238702927566976211544120518910642163392048823659158251408245136034181972392812844330654453288462946457070734365425938300683103118103230536126140286312379170633391908340754080132299900383204475752375159859098052188771106751836574493974484504119545379197626829875516536065360707710585241765346587834704067315228026506372422690244973447524341769879102058502131172849255659993646197220840991593029875735892713645406041676600695716230349168126336594239982932167538401158770882304479494134029043762019271925768229893828881730039199199236335561268855036877611105665803965129259816321316610996232729297817815340589471284172564242864121509863136627407425197489939617281642538305518215422604493289476287340429786353041708837564876119851528183692448696545849051489639996635699270997291921049843565189905826702585627085398571000310266292096405659992731640452125649373073108539663668038444306859316809125459581817687842573400879064815904491348898385895671630917436115034576032298014400014331484463156272676412805652351751130656613821846235699143027590844456885881967578461434565969800395935504616783029522153726261723945035809848508382873905136416735084521329574893051780839137040695515780850622104662733498815783875049719877487544728923810720125767742786797833772632077883363362132821544199033949733582646340858930216892479610299269658592643434964893625521753557057701511887111872851974674854797553858915222429706308069512883757197242170473485775628982040681498062182204111552136812779019479728761163106170883402902401279802169206592383714219988234913970733687069770645997639080659012540484017683591666967698252865155260759256744766319913414374112049388017787392405093861628475511952180433694078629954280854548286940232247585924333259131434128522825566106621776833340240287113996202187993038630820955462212968369286107626006834280895915614715641361735219562563162877478008668977499040744931446296855533318583308023134924639836677998791137494081865991167125631458599109977865057169741968996909404424207608575618165971170086363866714130644642001878033124668915367493647125087783714156931129486573858551697610513446457796839477133272567972854349403951622899881234356698566252760541882029000107156238158695460194866505234198886735735089726377668874520645352990056773497941064712500893470909284378178922438157802460159648826749587186298308489993339295425206104243041639388053036461462965089533401652956734930566951160525652217176710503318793951643057145912462165979744780493901560153653774260719846866692445366998959999963384632782593276160244871514406776313169077026513429091032024823469114511111801083261717050735673028065221618991792763247900512912302209016924218930061753840529269690142067407974972285796401557508175455030790515764403882409059822195427841793530174721377367014074323905952315696571952613866715417421487755895524291374340087696341277978953021155751469451176533489958558352216243897515150530892660734075081037323753733734317767984119674473710770277160451951511007681888587461167254454338342447513443249046944199384535857553612991080224805513718449100566830425737399085328021625371583130984658327970302323488438310439244478169285835678241551150241747619867152512381055163260663097335230996464799976129799038912858563292554553762663143230643572032631706687704308496403564076428231255342164927314939867061937578787849225220001276784167298557564315854053977116740302248299904806564908617139157831934465620849056193004331015183992356714139334724019606002088696337984817512126074549816344073861486704916389720918670064156090954259910007235125387723073545264647701194789196411604410033772450122342725938863340078163743761590321165535953844858313660081778770376889315224003467205820182692231837565926393905299308776800384231116499748334494054220666950597038232218646356327064568306265420718713307800253225459184270317977891505726524249289328016119999424844613519021330192438247065393252870540479579583820358349517960077728675774315697772815071576267576834032675540877854207721128002481830895444535646892748741408126868457662057224481738593570043991151165430676367302843907731558869296927884651007652636790807036024959679869047230021508716955686347869384830713798457084032931124961592511886755942240582385732579864921571792762237313224329793689172214824303690449590440433023752096326891826597963318630203702083988734344608449296917095251052998383389224174109526406390883802999947224305362144301206703489580167384196240337086233619790686063057809585872057540849906091501908738920645946254164676450212216253424441965278833727791941029598683579483770316866209463432057713736446992521494005698424855614871130811130302484335813577244081768434856739030339560527541949187543397384110359884242452937364246448779287548977964382313514241611086231165560128918719384360263477912528764035642787340920507012107591790512329845299342630074875119179944637044757261299174819350548982205789017549001869575737849341638187748917842278415930621922249934770707515734718989436789513133089183209429559576565432411686100307485643734265135643794784130676852805303704015402003648125595975658545619
g=10
contribution table:{0, 1, 10, 16, 29, 36, 39, 44, 59, 44, 39, 36, 29, 16, 10, 1, 0}
*** a(t,u0,r):
10904
7
*** a(t,u0+1l^(t-1),r):
10372
2
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Sat 30 Mar 2024 09:55:44
end  =Sat 30 Mar 2024 10:27:14
elapsed(sec)=1890.169847