n71-L7-f4723-r17-t4722-ver3.3b.txt p=3550841865633061825303399725197968855798101572756569236309551739499981568444930297620497369459462699608214664378277062664736521922827174295052716233623483378601160903389559010905149734333660826589724935864330917579620672418715423753843277647413516367372273969812574790948861811197443941761020598161756093202077443241910340150843012810609962240892586984017949346785480254817769602961694833053023015854225140047276700246324124265143684842801208379053511391577633103786403321197839356185227118288297613028545073882318975897814304112949860923489203844060698596566735314564471841353203306180225195954225391624163398034544282809602024132396873435296508741427460177241727196762257436359910778158276485490656156165693544588688362379608563597014339276677995535623304559859480690961342053573419505833954874817741473826974106789762584843532654009620096991961765393488208674346448013778815640921237501002920232500473981025460054231076240333340723401543404032653767260413313911956140696745331373490641578308552358353632335850241800105388141962138144712394868264697912317492549904927392240460588447127698614189765870426447980243167191105436132768763737862456262547294761158953030225997977371843913712836987695833725905996051268132097464857398977681213691319591926623810428151998321974203290231703455786454947137688561311002782211988361887261171102284320630651069367056889068918480081020143828876182292874096175029170680370157502155577529108408877529900541034614151744348385361549790362693688983031536960711327971189056527028539106491784456974001277628077483922861758089242665678290169537545019398002632311188299631683836229913338716129331030163414864323662216678010772541178090207072445199015388576611727296266925057271659531482206692649308501302502756480046005592332609660268637731795483703001389417987027519184275627610726305516910714224347958590067226334813430671634052446723717995625587684385775731267261306381304331810700597951543677392798472012522939123422392693741959161909272465098095297826330248739927688225978367443833523862650189651580090869661303454269818450280100144643550205289256589873558690318868041607881445145409986845619743548644277880657288563829786302385426205504160561776897366204792795167238466885690639915026558471163989658591967722487987805545556080907116530427355678720968462983852887435063918918108776654342813313326276959182030517537872988031914310982124450528590893359846672980529454012170276065535212486456932466217567018683072337524382939468955921851735473863251305893918237772064268066812953660763810330847536298748353935427224866650843878654816285882794234303280688398129046099039650886988540341489718879096501118495490170511520580844043402343301050848421752231406260710185784995973916417185972520173165113912694371425898341004930708980431527130000288812645429747397596863921023487443126608036948155164773119032874722324238834594740555993733280897929375354794631188082294392370907686308839426400961258612099117934702373730264841397990869153663181694088654688213186471660481085872204206761376395044416535186970582197221995247613685246394061652424905827611938610843750814110904594307393515904232416541439898893532206776903309839080043748685745516623568087866197107319547040110591648983876255678166988930377928498709905260654927826353615053390212087247348046530958800083391126604244257446730272750887260939882674213424680505146543896790022921876842269276738397004386758616606043120584141561315173748024669273312009978703780843806384909367192630692375222999307085907846324238594284895623321226387463395846516301180400651881658158766362388664636947269437631568573315511935651570713090481881560261760222914376316193307994852445444984532544760333971474390388564678711705988790668345188543159523673503466006584973193894092931384519541233113376235600212622666521894163079187493892115534409494711517894909436719837279989169140602826112306534773958718001907108092632222236641297318450832023695556758749934228449408498562655271664099383276618130955714521951533249942630541627326377040707 g=2 contribution table:{0, 1, 10, 16, 29, 36, 39, 44, 59, 44, 39, 36, 29, 16, 10, 1, 0} *** a(t,u0,r): 11790 9 *** a(t,u0+1l^(t-1),r): 12376 0 result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II)) code version 3.3b start=Fri 28 Feb 2025 08:27:02 end =Fri 28 Feb 2025 08:36:00 elapsed(sec)=538.160562