n41-L7-f8294-r3-t8292-ver3.3b.txt
p=1435349725657662923590179667636026377039811918307195806399358076095628258430706724266337142274508755879022034717486001643160279742111515387994877506171134278188636877044432541510031383484281172770490434601991412629496260299669616704340666588134665587748760005020183737840324302758975782055875642139993802123736757037258060649241233884573545740896812804661995815642873152391693811495934403528402927093991830074645345778140214624315268766221882804823033825317965405301033012316108592496092683226036329440539827706127052758786737755786257592586020864422825006967583327276309212521919777760169207942494626717637890838966445352056314004364504606863904023587397274822525481328261734591844466888042304333300980967336920197519452155071527540123797087254624683837404879122553017730430264234594026350746337975304929396786784620356887964321196219699939656669638044107706511193972803526947635696671424245635482619509115328869093909547771578763956312930913807994246633462794118371796116177928262695085288340097169795377526317647282560433972059282839022946004382074908154690146140600486699364912848385616501555340472520064784319902493838511197801819406991290504616876520476389199979377541964492477885498123402164219459746615058311833229760278602213241489012079170256337978365482486686978439549042142408300425027737096651405568271577074259460034382885681344797244133287960131675561307096177478534766010180833749009116456431506862683393454367831029817239846320361381976459393137498636535166151595837614489355979464834610300368119920579880048758626347178035870944796324240065480128963361201515067873739070612350008758979592548725214393555836879162940002333191228276940623448662437028799504303304379700056580762506169195782698235665565006742374567129200346669461653709317770936199083782842323098011027580264678823482806612644787033305427087199490182153796737909559148293971239983794908002445122626011504329939479521653198580597300017141030815151459603432950580381904615157819541050414932959243877728763729370428623287525970604734372640019539407708795045672706968783132566118853610704356447335208480424400243846950453298523923727902864120212680589012880261903797320332880466217783665335063381617460981989657905139777094651904912079669727980165419713592418965334037702623218553853825035742096870869418560039406383317827319418482885301264466396461663434805698234654235149320021944898848145184646664449845572249178327672785637924754117185049324283992250257456206643345323945385637678999011926176279383025482920061436516473702103217590211034652770252503464106490326591843689054396119794095459691767360785211752751954096235930186156268427330404230868895730873367032672600466859238068052499053330669463751448413974440400496657199840732362229204138413812601025345862808848916545093313254686542528901488645887616427245382778933313899372537757938689877145315294192367220062307437546179488192944976997103432320745801631142251971807264095297996581273105325070352648668684932716861072578449764916916571149281379251425933208505096653381864783758098327569688135006515434183973905088332136526289875534291628447452937383072187665655832713257453331796511025889303328220348688347918492815240956033386434472309015140152960462630297236255355213444317965190570923736479167226259028249057508760787407826269593068233563495693296981455770995360755007194629617939984844020400091814480787303938069682999824230257513568806636641062063674417291976170682074402749920743853938622854645860578215521075923693465163612429176998877641138012334893235262473298064995760845506358399297060857156214803543620723928680056725109370384274825746962057181024113270917242644884553486753973371650683152260734790744675648581579281744292816288826046424351339471135019284453672886774075722420905504052522755604455172890638640194173489936941287612695901427156866243470545328661662437307279567588127726388810511848732723687201842435248691510785229199051703106814592062304422171442514531396526699993635838333242285591604046576629187517812709768572337805708191295925134086227557663686036552156637846051511515565623992663775803594268756261551676626478887874945979822954704425344700247033504235475037777211405116480770065723339223364274233546800575086705626393563687421752950898391429533084108755527103011838807299252794617795251212052212894394756625076531697806800565055231777730360394044095043276467393402998778260186149040963970189552998653192528271478844394178794330265215740354869043562691268956572825093379505122690762048418273414028806817733568957225803770552017627425809333870418798199470813035839651737118200006466928983787631484698050802902228019646357756433491167902660357109324481392986956374022735772825301191428808045657575524279458440604822908877152013489227552230199901030550734483899894929772799044618272525419318244792513068132086119149328669994705161468143924767947038457425038290811304178190553876766030023025713936660780625518860051582455015544018044395859494533691001170120692198731954965357289188528411945298376065258346614068129761972771632703282889404859847733292625580282868970506024206776990450843444437893796229779961042528123807694861886677060428981228327927125151961703059850390753140884782584420557123013480056969507978067715500451158176370415830639761367696958897847168289350874943381369583248370233280882650301704798411234711997194175935883018846737065787358999564987077996893849302613387812452468176302271174880729863166238435193424080634981813121335873939225195773936630389345953862865649077180459385176959688131720424959030070722213822698081875542449718363700800828264196962782186615072217192072871542620577235335673451362826173192789566125181097071796653466176043317784423807283104439527675513473505771629143930747075331576895265509684679177832970226399773057199950796299601855822325397555153465054397509103512432855755987732364921683542322142632518360083136284277684313780748545979641822282666376754837712919217041213512219987462431103758704233748671089067087857305693524618948417813940161357202493336927576854569728275444825738146478294725071813512023738303175829144160293682950420752466956831417169070914351390607900605551903844289401395981019130866739449605110771150367010930063508999120278093394136743177967944100959206426255415926945019597604294704354828613414261485025176885854608044540922119201202416931413190039000285861690177704832840626751359869539451945688640394844032528616212146652674639352243308570083661346219495031571014381298510076363139894675386319374554331013526554959306663355668980876385362779823311710746750312326024300966828742388552649436460469852307233749049619091591329464592984977107217791013648262451556244021714226573233540118423682041239699478507868039985423686284551694789549275873446856078059569911548263222689379036027204141804945324708627627063839233674048478492019016682763085711433497089148982244697521032766372711538636801403544460363036841207215817866584240323600821836236939011579457517597180687361555121089899732434514299344282715455126467569454957709237320141095375424697386936924598475765244890854253397619
g=2
contribution table:{0, 1, 0}
*** a(t,u0,r):
690
0
*** a(t,u0+1l^(t-1),r):
688
1
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Mon 10 Mar 2025 07:46:49
end  =Mon 10 Mar 2025 11:11:12
elapsed(sec)=12263.220888