n74-L7-f7216-r3-t7215-ver3.3b.txt
p=24987249786267336403294464537849483091493675323325673415970959406269494115313383941027498345524435181144222559550310718167779575294674802740047164522817416033446834397618147334708565687527350149886982952054671935932359864752829592835028264135315400141465560498624848831962204014514217777846601813306703992219190801919575019135191493582785364133677211279279549083041375916547833056147700014536270738169309244557267828256810042125569422989763582445275624269499653594853294688129764232065689240224568231246773285636581055125596845717832332631498949799727140257088725653520685292336040458774049915907322945531828556276307911475775974618070649189261831986746768052742141750606084414042406956237646501408022976981973133999631625832974877401916462068180411867092194222169464927571174580118613925714880498304913336962175492990032180591645448903575420389762785260378772151803187802918403945275511225451015205460285174312470901737366314239254110615722117681847944261227839432879551933177874988704275882392485827169526437322713952906514979876625583324248763187939550752869409532008300697411177178860261294288242265786206966727912424968498124159972474261397152060798155077082449749923685222220477329895451420151657706942753727512084414263453081655227728152783245156984237093421541193023916636938674718625729762896489664852907306360449888688899427111677447539507669052434561228967508408182225559819790696286676742101797886767754448149284068978565187217403724984702691691541956124534691539874783073384527841597472003886895332517506466905316376757677785933953531987690842811204770268845318767438716697563227328367129418502597060129461387872860139385302743121087940821735062473293752211961260652755403968431993533007987548388965202341702418088139038659444087391627405743959851604934838915333176201799456703588784792188017122161139094794732865950933422016466419599483151852331569496737795785406385145473481729528256703473441373224788249240435852139922323905389851739256187567488598280508773331586413172942680202557898936262392204250822080547293154959836547828517611512711364729026819216812542947167624562538006822308708026471379238571763506396915114365286770205653675113727135544842698459251329486782747224775010481233683794689585792084379355055039229086489170047967588611703555924398506600781119783656018864806810383694283555474743196013318921668182255846887828554574759400139355105213800169621894577740575523986502031461358957807044984326647090808292032297192182851090953228045589627008721318537793403935235573132604501335357705233589556065921173965170884119575889619854282739954863124988120195844831474231428747887096611303785995910316914680590675483604988338610758764030617323019907104504192156477913295472444571144201836367871037827536701167150667798202918838597829499095362652547047082630523249045714219574731964526345467361652404917222249734205421258580776882776440454289525662604668349551471294870031242273013597446651613079197877374284456996339781894273696738600977190639043088146426787189681556563565012309930849368152177600145017492031147333855469234233442363056747157349743851765381562230348507706998123745751561873856673584056965075007899895778656268974282455766443273387059165024403529746256283627902455381217893519591956612999709733953709292426148062299939667500108466601586961830236303399429757655698807052381366704483226860734287016619956219149862197897759527026981915270821923003547257703488899654150747811642508977239655524935935361903013435599054619686625718296521100753968470758692113192231118140003656159788935401760724746017008480887472736928666617705342751317309901495158370530075892927167330703765880492067964588592678793691790033739072353273107056822375881608778955954354631527257703929979229096355583054894733412529041262656743457345104127571994627778575065697702873739229884065667674755194449253550950493423992470966447957461658477496206632435008689548683680211825452300504121734394047643682271628015639412682497965108894984580463187735525064222754456750825181375635289335533538103693425037840444931894911143945200511400372377095898240275832650045136619523681340268148433420789243846360555885785640887301682255585655858949517276187023461933165374645452861953583099832387582073675998103176121592270266038550906799478423295173627234737561805108329160875003904240699374435849945026997799871701811409207016811702283066235952011022943847431152818348855245511517279832201981591392581772737002760880612141408660976887695896613900174103250718649812370176722997406732286103606205467097176722661796054584364424215153910992087495876323576112863101600353347949877265448671189738658530581187873957992392572942833863656174754203560464251861332028775049776447538601263387233940950285628438949552833132948564211697231169583185181863695815570124903115449281238397014266212206981752798706050368852955779553032266576303493975684907605968560452018679836400325443274365004938627624030400349477716547350513635602312720762326665957340076913575293947347909708332062072333683102795594933591510178379380530350016390262183277623294890724847841427077091379568736913985913113295974374390326856802299036563814065086294771584227984996278118354627152401295334879779475915498726064306540460586305932069865543026632899398781661029137552640356483135946624033681475021873239770000406125816723566581274620709845464635006630220014658382498066685275301534824267905817098183390268170561549082564909927334666698186637287108361453460015047863190889858587570552988239901295243329147565744792738706009383064943429071404113005668818035429096070407520166791015497847604153075774281479026008042312181477017809041302509506689740960287738404328148732298609681566466977632218183250217328858484582556846536958337939111789856301705611352284613007310859764590946865927711735424659723206586819059729194899629677746404638824126092346758131550244811283019809375766136058487201226631492722349258712833582098713683552045324271951426610756032774765095490227267062319162422937189630669721693567650637153816806154906170731507151675570575908750194783476586373172929359222382674507591453436940506030652538293497447695626995974192578638871369208187660949
g=2
contribution table:{0, 1, 0}
*** a(t,u0,r):
161
2
*** a(t,u0+1l^(t-1),r):
166
1
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Fri 28 Feb 2025 15:40:18
end  =Fri 28 Feb 2025 16:08:19
elapsed(sec)=1680.973737