n11-L7-f10391-r3-t10389-ver3.3b.txt
p=57036972984501631867951695638103675586103283303859102384574967692812351457441936473409160698020690914958578580983460714553001584217688751373042556801996634178532029865799979464166728162316963878876421321640407623852869057756551225302818685187017976570036352147655233057216582887189583471960246202503393351402323809475806826910922576992925203083232641894973720432388853033082878615746977890024653731786336479210017438757983409523082002835355524008592291481332912109009708619130357932649179066102685934646626357458584216876494859496592051438581243211493335527990713849211722263403057905659169644937333795905297870033633521958603267962522132864416649174262880426239454314806287169957726009496044282903717699551621680034854458744883713193056898448698281737977124182081755539968140549585115813686511181066946450484383107155889952938810579339261858016873988361594810813963923415121785898742103719980533419143749302700747570570466662949594557486811166235749478967019948971007959113819944588744802081824472673338443635105938848813973048946610285802752815368635444989717288590784010931919056035023705041652586650522904312666474574595014947875267567839779724001808305763915645976188852834127150794539191572069773000537592976311411532447052342543794061467676465521512619900020426638692312006642758339530628304514843674020385802050823316463408653010842682365799351423325071656825859396397271970257119236808974992892979726290668294326340873766716771716057689093898086023856279553561029670842703160224008297964863925958019180506261978800344729683643692031835111133911338163307899681857704798478543159953857611115463467845625121844417356625143852401432262207722027551507839229297383987218936271899101601389696340178236043921729056028584198640723697128495271301895541245383142259216238229376266398891579492256714950562808611131181643405527336843087594392738318206632710400743031470311490584318880454900096743397816301012558076147214751427682903451495317084134692317437017648191189257149368804716867998468463261199538958330517515366148502438432643614045752943245089660892956487453364012814282107130256658538633578452732321442041789588900571689197362907674611736497962924385274155508239513014325487208359711634541582587015008795564951591172041945865687297837785677723950860230429156558424396020749575480695008034913983518242528727611837620466263414574565160929250799720661865895085117521243742221316370700520356248502348400307388587377012645952144450793399718831252647270799993762553764798206380681256172669453099397153754470644118600191321302600951270525653730592695278188176764149328864495624123843810588611054226426110814678757167998001287841350516076673996146816051567142943329099484580315780296802023003899509250524111442421437635851817738998093782125248995678645522101238127967148052470305824998792130092038154967341815922224213480257424585891756421520303451936571670765971498889427565621232279927626307050524819965639572168895337879579492603271606255893920697057451552749926630127917694972702163899107583991894687233612858247891720301929758327945649747849781968000334915548730760107940891018720242418726913675792711882370156593791851762295510259515011264244921705163502275012607802698082724986811177542993136143626414944302421227488841650165416552160843554103149455623834466138736275125108409762766718772599782943541844340337740110298215298769398216344762321877599667891917567164089388397710499686826321162739172784675081557945174239026181427450100460472073637976337828866732552840233906530177070053341647850778123493241952153052450320100439817310487693883971532239127025488744870252038530809575726627144035221718543111891810765111080693052760398368155805218624998126135607138091755561536623229841659897676076663817185059691651609039477548909652134048138994396189287895306202044844488715814907249129530925466276017861183225485895890970859984190903107706984052323458252472726924838864041542989378712322649381250297740895724102622433523869061164836954611859681064356004882098295411328474381377876968621728115926582205749435597568583326988617782668556242009551013417154614253721993777842356255687648711744890770797217637536723774619028985952077831640777090004998917279340079479287357031223636699140180818627315818090076890332994578711477485324776595105123348351330815107391407113613785249587445883841786461338572701052702567775546029875661183320025426031619922593717609644759824332046765654454251882961904923012742458305646623766586348347462593723629663519917072791914083322940133626658334205681168861378994954190985493379608101112960662466756421922715604341716497259558465107390200674886781136197479441201656533150389630818016325856002001611404266865842102907934125133774371627013874356483221290250450750767870443391674401358829054640097697124382821139728598533373845293697736999964269712983362934958791444545837210527023079381480556680348862838157295930705240043406298603892291206289746655411059779229819547947610615347255341890585613536251025584564472833315311475131972365495234273035377068796772576906205033694810393967699423596196587171921299582883596724389454397344746457660794520865137359404307820206444383773828627626104265600324669060952622524518990121234398853719972677331407615510650031526450531320713116175808989037524409631322433716430643168547239724538503507452066811172199977907239161624606597899578909008524222746806930848824342625755747109560259205391969827628456027772095460632822613992641604040794703578751635722342527785421407350111598561693626117822186966918467947407633200358666551990876324887332850303046935021715910615624456922253683629629125708648887430943147477387575903216003700871712394464263222784922748764087422160591722522701442703355843238836041473594864225501159184998074239730751604524305440868374824249133629934912846154979901429899516410963267493862737640124156289131727034004201420499947756352398979652901993927176198437434665887338319956015395304970480432909148203166873001799759524586699971228051512515811301184853429906167506013911024355577203583314456739771589590501266884610216795483976154638577804927405561697644280742609860003171475894524285466605183709360506788048323817266573531663038911521771545099895530213355990586879332142853909014229855131546269660815641328652751036387385346768437657835398849900456633506884983916310066823421413549406443781423735187287945126208342395860615196896259206063604090172924232225022055496109250285923515265579483133852271275518016850286504074038979771845358844217049187698268607900104315500247001198002574537208935270291186228674090013609358304108712514384485394771648662393777844327480152584900687720219878989696645280293389826982164060579910515781789789813547203471253498211971713901354030926073524967089341183052449793754078189159461437457213039006218029349461159882400478509100377429407860044210666891097470814296607129957539292931020507706763736904106349720883468034726284658633449245065533227921367720733106004320524595064982402349026420581987834767797716882205997096706025701317451910989323024933639806376717205989159807026030426602213075375564445134893557554208773166499482016341918867042082849826374350365373411227915337487548188195790103157069168532301201034088970149146872366895212758698022725364184464415580798546991985819768348542796156740225718505908660166795046388383764819046986844798435058832695028883180719419983377666751831219876496692529581281136936460500544806192296251485458451359541061666673079721720716919334476458647990733076632313641483818212748777046021071659172698920258849541286401514150102363354237051942378629246558503460546770801130866906274934890547721561518492490995284295634540716261853888167573643024386044202141942128061986202987345993925692000564687944287386874934499571631081966550651549183595608685019167010736896610509700206232204016855431851467316925567425807538028991036799252204089675015538572582883931635669202820230599602246676347216390646143905792091361904839604076362192576245184343106459340363247374249272199403809898024909086014771609364377990695671317458007657530145863510739222929961834612749341039317045896012036972293709588785336314496684480197059657326359564842411223815082122767103155570402175247383340532709032956743601275837593597809423078961700139334873323357121238032306431114799501420535166554011501187330085935372745375665443608601200152170500421392062706042286051292100902819907570696642072469255328400491798774494549178403355707214442587313323633977238580036786416281292095992060713745071908914756921982698381631228032763992365083162750663842386916706505184486069818067597066419728213007904917576635750251874278124357029770183983041666535502706323115203030786411959124780818601614144837505717107842743831433485199751486812553795245558059268079303009692839256311556689247337803117531040038621595169543035297779642750171396518460849249901176824171246476347
g=5
contribution table:{0, 1, 0}
*** a(t,u0,r):
186
0
*** a(t,u0+1l^(t-1),r):
177
0
*** a(t,u0+2l^(t-1),r):
179
2
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Wed 6 Mar 2024 07:24:30
end  =Wed 6 Mar 2024 09:23:13
elapsed(sec)=7122.834263