n32-L7-f10939-r47-t10937-ver3.3b.txt
p=2155954990603813162896940131151274509231115540333860651149052423308254681053993079477168448497320723560387727729717262583064905600176275119356951594446134076470872442329483563542347495037669225079235625785480528707080385037874170092635104815903741457919653131900197414542027279878010454969561518764631573797843744637442544523179708603132849193849810058779554284155130120411571826478292656956061916538150317417069992761596577991214095376853733105849416782294994509666049592459929863938062990821859461362449569551880553026265914314642483901726921779887868545462843108961668073361273373631725444577970903908937376639388613564910778553195071117183388209968338869092013102677189557267381135115950951844589969444342766772796634587387442630282895673135071752490940464345768738238830709355601905057877666511186404247237431221857091033321712098944398359369475522647114708850325499821119775534384684829698098527082923243282574769522996413242923648231752858888292783668093410129299264241818206659118836327874501586423046883754915139737309960861769254095796159379797840912092037411192619475315464461984409185542498131434041271593090769116097476765075006891039527913455784415283219322924745042884588952627812047122001194437444682942953622351403376952247964795028438875232820738318120314929200301869809405711505220216863940482554870492976613936345241670599505102193981030695118342550091287709921199407278193228995438999624191183015728211300497954582264613986050163827908515416016704041713093834155638839936432873782398725123824929585848975735562747075484757103121759760679594263017657303510705211928083322253817362991135998203172021506126275006998173249710167546303641886625671170083814630985657557684554455200518749069292744305181203771240427197515358627070732147831848645399891547013352661477049842781233810432484652095029396014200172739292383701074324630985832368901647935729667589707613105961445219757122222655077153507151249633940387943675003631372846750926282263709524770679004932826160755531674253384489676279659642372881295416431426008051474875734865107157502942670803847857261549181425937569464984333697517253096590174052917272033484633820679750590798586031143883226119996171866058236685287860373880214518921651951154910544006145376441507588360320525439990175030043893719676005111833679248261024835509268211357157001552878378404028646614078045790470057638706901983788581769873679363170105178615228016792484281118199701420656346118681477691993797544547047327976448073961979044146762668408524474368530018975805733293795162835064038268881182184307545534244538137748581356864961497768812367398929854455055036954079013389941919845339959923915521585302839973620668642486771770487409075122265848202580914466501976722854271069015337242661600893313201646023614393074745967760817947330347291001395281314445349550618805737018425443627705154434767259832050192557749609702343207638985314802761800592109955243663312417110726474749140619387409241778615847232743460647040890859763878495987449184007364737405770189184719136370938076767240973057516355001704143267915224232567140328264395139022231346289674598394544324860930267675040478729934473405134565189269840332612709812719240988405998595655968551437871948328399832873257406547757757789868906004684990929931968745190131211774120954181811352547742646968102857401954336601931742292055643611568169096491535359697443614465676542380459910071965675829860413893601466529985469359588930965722184658117567274753844158883509702886747694852707553019123808714153716587758044969489482526982994981620591477551418617024279946139005366759707083343551092470753308282472891016896068888445587712612914456447196386332148890956182990056704848148701092103357851132153967496920685555331852285125509923717570010685909930870329887267079302740112165766889029602401308386883522223660290538596560746693665955868467077340452422884479427552395918004842308176414942150658198802281785169537714456095895916420080833777150434393743035760903459373872021800644679938431406074783954838139558655086517712672705991765249228517737340208819153963801335839786952344649635726513822495982709104591876289675590541053333418610260468070486519185559863904053541162862700865709460270074290929398790547913393539542611904847380431744742551127400045799226364408605102586343380457052430931196857774608447496917624527331631034685714959286818690009073530830392442284844916097028318921351454456593159491304925579706912287328729798948965647186954135885570205831213064462309763778907743826585107983613690170021428105805297917176237422928853507375445489863509679338246589889935478031577713042398770703213103075665336334304099598416282197224772960312559404588753055372862308033121065553284953746332407124337118590855927616879225835829818301899177468111606948152567657659953750999399160475748103101012362483430988970958463522406765813375877034859035259882440338850559376035098615520348823502677961020583242822474699048168774195464778342728321268833774456206886755533432848389507168626786969702115934850905001077884544762985320959023187370834248377856496617766892552086433472885819467156092889677201183683201969121989700480850321525856883301081401155422114790410199078194167837001298517571803997848656331110757967289790359023466084926826094210656870688285719323272543279641023472272118157547650907618425454253936653152104596539600094219025693053188346367321217111201949308104824070334015134112215634242422240791700565566058877447115331070994828184240689003638032636439053003382594375402281471116897537432800897082395363955912400444874119668887560842153002268694348767144844339599206087374702851633204410196727578152027270635864219244686202814876434898708543612719919178732671766490842229583447161809298884941322066088898176375538519186456588979267458268865664760466470553136226041942243113658188956754779785683426584362379838443409033050858091864445544313259602494360902183789610120916402908372546898962054109075344110679543516980176359911851630518159361211220911077480787044954693736758866012651604954612177482050095443839464233450213865689439875189013618711949944256487550007507697783894214416358187692893942737803210498731072422681443782095136070765405930666627322374538120798376170272886823649125045148358712724945253135904616174520748146829437113852417348372923395182823192018642265126949484715496146378990192976021813780766063200713732891150285860508281932780917735157791309142606361679154842031663903058780714963989318179865805773781305092611493297708383478839853695934975390459381597420483543882216161489759350960986054534667525355171302528200028573323066082359166804672566814531512950079822047409363377941640361905688909008080034899978503798175031541381756060071383743294887061910430053714773550535425666714399152942671853526557006514321879213473417128763745451179818062729502132511682823691771001618962827660136920389434864257506393477741974958890703952538211991157172250058192366189597972696178791336454237701397957312890335987770193140695258248767076046400231818823116533367728761870071151224418206292571358352235578927817395591408964940745966414633621410694725977493244200612458663982693232776321985306985035421160255024833683369318132803778943641625619251215611229345935401423943516633649329364779312922449321945522716924016199347699132950636394511180312385678440856335603180975320271879030034730927120903321747529643255277857802230859679027391518780583890234953185674944454127764530257789073904129826231529711055543449739604387673957785201708909405645026928769363048632561640100674103453624733644437899082101505346762764309169841849608154427099231358341563553704791047020511264177994676411202356899407731315152954976755194990601085182802836570319766508851794044169243964071370666632795643242446335299209038047826277426641353677771994171714394535839049995925062433807951932993061822359048741068860156721850531257500857451755406088349272585543083562170934811838505566879732906353471967837210972226698909840081933050788785149349619441015491235169247315792571075787669771262940370587108015407640775539234927413254430495546417828052754990681039978946638132476215891217271016050695282963691277739660407818227308219084535681602728071338564085852390826447776277656861879067317721685236766554820766477714845479720879462261069217248473391313969217125820661553173997526534130598615888879116577708144776216650733977034902277442655752033038212211417069074509648400593802793129201324547368193179577332879353311575626000125301155102200397545215885006281116592586774082916091130569065411171431887779695903171790096408662463855879631761766068692087643241178460765024652403893102999131782648296046860621461922904764495856378180112651675200601700399863840702357780374295572066990236344788258601240076718627626307789582030290982860853816790045716278923161436504592387330192381973198439789500293599536800349258646785658037754125597301848551128025159171863726285210185621943488260728909478327856206041726668651004319887000091651372999911611842829016180911106180976130941207624498741376158381221758996829308535698344153260611781187057177211412679855564025847460609666848574964354516660041579850715564199082825194176557162440171561094731959197999452286255462178396530265973262522721923668122569818073743319219408197860768591415439958117798771829053655034000965588265316784447843270985153
g=11
contribution table:{0, 1, 25, 41, 53, 72, 80, 107, 113, 134, 167, 197, 201, 230, 267, 289, 292, 328, 362, 367, 407, 416, 431, 476, 431, 416, 407, 367, 362, 328, 292, 289, 267, 230, 201, 197, 167, 134, 113, 107, 80, 72, 53, 41, 25, 1, 0}
*** a(t,u0,r):
320012
36
*** a(t,u0+1l^(t-1),r):
322413
40
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Thu 2 May 2024 16:54:23
end  =Thu 2 May 2024 19:56:36
elapsed(sec)=10933.632690