n30-L7-f12761-r5-t12759-ver3.3b.txt
p=11864238604723452455122516086129792864810047119123816805505071463562416558742774752067724008959826931643011040402617079492763584652271305688749577164953582543518229515097995815369318426451619229211398718173737650723600106776071699066009754481435605463907491456895207567541766610775963121586193593624679486518285644646594561032525472683001634418698689415410990385711591945852344874173516408155657245966412459062132021732521654923410829254380176958915853973398911183906328465278146571892064201373505049702366994991179361918942708357282527983411846548216645851576550076694054397367881757219130225578231136622527448183832119729608079077347368021632801556049134234444176313780805280397846170195314028716004881916376206227481483913901421940953196139404195557580332801852404038830749572619955324718831237939695298472043458013610697274850061563461086654276638814257831601959669672185490766176360293497086696949552106566775762154535008470362496799970734711999919261699091583336033595723110357512394973330228656207370529095078513472769551639843084278944017237230228021585137077268579856278826749516260369397481470917663335744269080132075916392838103405586770625434587376051613975552062465473931567558939065808340216539372729126180056562962684185967101510881270394701692880008325451064147246667507539965561755595690371361923961089987011059720603769986965777732848007316258387817109622237904587147726220697500494718437395426588129129348176776495817116444427447874208217104542116103897702363917338204292259671714185782899834332129672928403198640091933903674789428801332791318202819575387588528150078752897249813024419574410448941387454905851929415250254981235218275418825247380336847349831714808711061942149094384166042386824838000836187638533942128452640997934671072605631878631155461202087763211800567259874785400963859307681868252751508753943482307754412004454790278570977222803831820341205091131703876331747857453027609470731859019139927925037875863142805779612192037944834925799925201757720725622559047652478141883619963112398453524187398485371029182607001339139386448433005225166708259579502804408684631787975475180140404147083823522911465087438616428279077209183304170940967672204848155209671855126282953883145350964427454414635608668270910166341320207241487554832370959625936848978806170835928189499938874380262390883990091302045799708016686185502968076288041846500355782940055825714950176592741594978072656710049262376240947062093775854744277518931865425734502487922961569870497627360723295008452025516706641830636624365295324613377608293907866949517459630740078476776315065321244201929866013526881989013167975965014723320705673444679714459628220733036676241683772779590725150126355064394352911363453781329587799152778038269145943325143857824157949655523448032429538385715652104574236035158602477357206169736474542916657774942195769956063834033559997488302021049749592735820162748299508965648115780255218482776139194122317766674008175593194658335407170055352978080696013820688710483757161053005041379531135887473229505605321190006213543221182822620376362515077943473244166463493891736844821443107015436122202272595428051304074063865413896670712259280022515329760556123122542876843931799198083493653221654070255077539171909924575238063342900965987759730710285565345070382760188166603623752213808008150498971167458826322378493950890000123996585486186462003125532333926404393192904590982378713865489748378283215314729062455552879113637716006669567517304688774378554791993462795891033006928759979011449816620413258524182418995709828859939830427062869199199586828263448458926104355391369865803270595243936887789658940606795241563829943960244072430607054187970607304132477767677187659589298173743468193879083789838836031066001529584635127354383011797767880728960419501976639593848335741115334663371571329822009142101237567356232432674445677354579606589595558739699064321931587390438264037540607037436946021433206993512932458246944798148460621358506919916793617303105312197723408146166938147786785740549485385929522048714776489612835728891558547079373004497455123649261089977135989243371564798423274714914004485908854818542443971482309406279761962964209426131886169706022705548963433451107516710213127983698410677317245404648332929898215442829465622434647860563434545497351213075983124313039443811091315878717734635850628390773875346514444983760469923259611518522368040913261531401254259219766292158576424203433476691916189194699765969792769017935446419352205943969468611841717161338154874372049849185833889066540430911880979455281303857540999400136647392281588217269567027132747030871298849979916124693699546972799597947997514460700997193191624526846227399766182329702553106528463675824461456000949744043685272308318552872039704771822418833274857515396237244946430943767857249730596441227191673144202301002165533917057911657209247642378822139734456745278054813661741930466798656966248551331634197633971452245185565035191579337984969409802247899786126963098210448144779256613175418328201468969725424824313431210236139992498995894217275068123299650845416368431863188817668704337584562580911937493198975393663104205391743480840370363472550575129758168092657849596534620541899503714393205641020158804635465239089549660342180828739906533907980231243991712421328579751558786381733203644025395154961373226518880919454366440222497888947158488008452380207337597819041910059447058887889995838076579853709404323652355291016645377570530202002691176098515307681763956044390474421662254493494971007806977223397617526428368835698351202800898067160582371252213932486193125026321376175776470450841276635203315796009330834076175602824284892269380990277912919057399199991272668548269008738901386149071490541782735552329388516008925162878508602811275985775419559527789434264958859014124567177370955157127257739102174897997233225421872227329603236203348014509503508111116852708704701708979265161217689734037031066166587945651824380741459794989214385857334698770437338336835854075327594913927859815151386123337183422810454361840861700638378418684696702618491596381495933678760280195925891633132897651326376395229446453891336022552412311752955372875203584851080337440361875783578736359959201683192052612051863017865312078438683605257845688685073271115220919886549861166888880723349689214257664461021371116141765465133878694020530249246669976571237261442495552337204911581593275484868578829017841770977951062760990006614608074559299140198748330133723535033383722423933509437786561430035603267958234971856388916250513663616512103117678769336208451170124731875012397346625041902655699509295392939578225738078417799459484467318599834213040921077137682251151841367430584849053729608505648373986250052295798092592012493594996549634724321794421264255077769865456498979573809703849159798609040180224054189797106981557388474379296958520274070338505290252503632840550466330890531203208407699970871928195250138088417874613554680434704030688486825904183777911025733252924489969252761768687091341299153578242180226794428222290009776647679600520105172062765286509693553281990676050787542994423781151136855916944355206228718489884602333520657569729095488867964275953310561906876113543024357448867155963341028506981715638249706506706394640488917344729101260431638347867269537871367417976474311583246961638851652542536072682152674970284890900079904273187442086526751086876081937152457675681365748683880658297630018565051673996534320748968384096317898558128571709408470520372525963130449615076313482605251336560238779049658356909223100929881675671565040433295919919619485103974405404844403867717742104640380956931366192884260503393084166911328580951841846158540245720014895167947169624849237576106289095268094897769862633076772517699829923720930156837887372641969232554890904526112411681545882911403831083623468007376813994823695055819462610255718461725077399537254798064416400001992061749410172518994506554877059048577247741151370213098550210671188983793339197129069775877615784442468504873719604830217750216638259784256521170636361242830658329312686988630431548539684974433371042246835414827155093961095461403544553555093235371385497877501597222483423601642674062611676126707445683180591320962226703459472347136022055138738112766906096339836100988188693301009359538597953614392524370207783491639486713052987075398851441240248482786933045718490558433972446268296866665863860604296738205960900234158119426809381274692190014152319684717075895567973291454419913630434659129382263199492603533261379903137126104259862601203486222741961900472435387347815051036035965948217324659004823109308855161757253526468715555900687152768183340822440967702389481859128856507189142195330971846015288826975174316224876469684158856412693270797105164561403473270678562082066130078767367211165307535939653997822344806402255107303315724104521170230755449955286969981075073867276970475511971413556404420550706343330363709014195660868275974279329432303179468324740158992928058935175757254423744713488778966926347688253884224017689195988323770651309477726186103545599014623774201871481654750877644086883996526711710009448040106941205803504968405151141924532412937949705623202340138449839276446406879865261301548093134712999243910607128504725210281325139186689049369929313782654725651943863114735977604746849841771065637348926482305691561053580685367429240774353485780323227907477607043564897750558487444342649944693856808359590011336609208960773008822506966411639943439451241824762946198035668935364473713602053548516549166303850575515370757806721355897637256497440421718342415339313842093069159897383860189435336549439633259502601566889303525980226535442805822329384848019975707409005617467798686019827052210208969393115756517212052262557175375741998695898243448885119339984918573728676497096833221838285741886241159554206803983005726026035948016487464677637343624042781768878476956201651270032426959961085209537443215756746257440900895038384157197567202548505375155619964894686730753538855320275439039584665225785530324965754484453233682641437112626299233369571599370151664362516053577607662358967689721544979211650617140584166369699943901626351106953267544581304623178936081880478930589817558328094996544445927501218300072795182843147772262141424491612541050751577929335963776402825825240614392741336491624940481838075339449646766496053679187791865587523500328088566947617218438141225759965213397629216193770056411268128185063610023850768745760449627797998296325857579771050186903654709081533341433067694682323216825012118717456273305927627968662263298389703276520504009299053134081049602569551351314050290482785742752388470402650747059598848042474112417690052988154418987003740246123483762465168849574526195757089048491319184748664674819710858404107403763464771565399912556217138316406861907168751179084191195488613340505959849724980229182866980840809551520421
g=2
contribution table:{0, 1, 4, 1, 0}
*** a(t,u0,r):
1812
2
*** a(t,u0+1l^(t-1),r):
1708
3
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Sun 12 May 2024 13:03:25
end  =Sun 12 May 2024 18:40:19
elapsed(sec)=20213.200886