n50-L7-f6441-r3-t6440-ver3.3b.txt
p=1890060612536296357109411497088507255965179949060477405595477390424992444121858016497924426827823153229800438771632724677697089386419981739130650649477183319973111045830372004205936581990289748307449050436700464649037232768469973690471579182602651534839599019707785184574077707223884493103033367189189962965135387037956727624920597263801677776990988730610861093348212174172071311372509656030405723997339442682496318589521959727585183096562304629422079016763927942597151083916780455017516143613700618996453155853802407628672211561739167884548641362193215920038294558164570753080881547959995635220280294868380522964065558419170021808620984554922327845703040301612061440674001115117708166516038579901595748827954192143927502042473117389575142539107161847611519880875594123979319851192336902900123001171051854884875972955869088925845531240436556598731082260071424491247570052325975713024833469494253878744079000798481855416680657147886444166910545903998100877914013773497238120109788279678064630562587839088363989860794860075515904291960425744022254679104734649280984967105493701382354887546761955927908028269491499878896557902917469603080742217719120055698442171260250508749993858689342260672421625020392800275324805395329747767927464966821885517784141086797892944755514546092386165839241433868183715798481145338140704380011636203935774756456844214510642154617866109793674609137131213866834001868417293370523496901753848830490896665811775864411585767478364643287770606805921933063768174085690687258545402839632134499790850541990698441053228471711159768726586906989470788142348482755369227255238289850770216189257452590433708895126469913928967356049525715221302503346573944586658630664007444933817337900395814759460004057091644924886430748772240167942712462321728246752624563880112513209061562618794553953052600076820787871744458184273903182904179723776084886151974061053472837501145513256242286586641107078182076509237204975135062807086695978712912809584752302475357629836372898899551511916073978967105716497924024512355280402308665648493046476167300404215450542430082727540765554633933030081880180578657445095973349323024601142662309062662720563645297253037281251719233881375538267227669065950770965078868981198103708485255512522160854484229964914503188318447641240419231655374501036516909029280771009229161321979476864215682944292140219699636553057341691931167354077576881781327473478481148363327625027118859707706658599759327662364367987240100580811354170668435976291677065052864536393456339066948112923317472943164007560783222586846411101365320343881968809105328639593267440359018917542608520484332612675922278046455032718536663892504044354372968849810437329610317428279726999342365668762442300531532996881771823088553372236110540628551630239711006148595374459118866675155382451785016687050443716041295831663980303158119362316996878156416580898286594302823983366159112601581809841621113698510314701162418173478732337868387634368816514265319684644687673675552561003248234621435019759908645984879533052479275147649720937748206110711678972134626295406701752205543208136033851702586783833128480850312817913348794312549487426516133883210843887557561302085872853780619134475472291130180842825379241156166783128890866556314458304266856487885485592529139132071019698887594532344569825148288048395394678305265628426755810299095150753313010975725960341955540615644426297080570805850141607693838478620240700505957602014443130413815256280551351207425078800920742546830784316055331225831680078152304782063452157495613408676911921547925714316776551936514295536654328296206158577917089329382461088439458133503095789455289943852188784709105781134265361015721016582455998943253806740781742778101348519040090517333920948393001142926331249719482463283447791326110172263699100180768207483458058606450204887198397587672825728215339022967327156486076860154221783428062879543776019330056048539015200653538912941092707684192834682305188061430879400974184791918720614100668553014510024895650182832007583733414586894467101220772832756752936417132969806027887034935699084371528938039609262958892438078764970496222126352346284503302296960163064148121187663826017716209214791220551177681456988295042126918084050097142162050706953335225505315679873058752777637594507621489775978126696228350357197207436375775972282518180622039707996953341530264764539544405451338215409058269517146081741830861343182159690633968662507892909253334916828563728320079866858315960251527860923596269734539286037223139235751269140955395105334391349241191286148634425638488696252159353807558807879617815116222363779336234475501309763937884714209686331840430274459427909087521927104678070673701015257115644991214599580824275790058942266954840466559807534289248276033619835586697624925363112218486544043021753800474706555812052326198314859109166339174515915311616668530936002647660760674228525190028467336792703586672211733197199902400649962982047776204872487648838750968236116337086040920739662615364225068503541315249021245927892552183185278905572548107434176562868589111075271977723954067126982228385980997478051996952184403549656969147287457139649962377913583717483695993667651428885349780313073451935902558597889461043633555440923642742369107784162300719923510163972147050042550438907281452571815019392695606972809717724768884502422342528652508886795909666602786165566065625024935318386087012897445111541984670185906709413996652907699871173689767079073064062979542138045413720057564031006544800701
g=3
contribution table:{0, 1, 0}
*** a(t,u0,r):
112
1
*** a(t,u0+1l^(t-1),r):
119
2
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Fri 20 Sep 2024 02:41:23
end  =Fri 20 Sep 2024 02:56:29
elapsed(sec)=906.238436