n47-L5-f18456-r23-t18454-ver3.3b.txt
p=145722924731292761489570420780128281131080067299991742066964060559923997214601188330552020438963939075875334678107717480413821508294268912395643685979510257002142023489870157490954067522884293286887855435111825801803716148853065162942320544084915835946667891999130991295241303953107898164782708973445592207188538828853525597313579160657494731224880612874603555645716445250476282331390789362224772622829692697767248182067584453969682673863749639504624852201704329350945985566278834913398616839505697217271857721010947738073701478023122381327803078019123227811722006641575638303926927909231929267687034193892182771799611522176337965011592834254632892706750201106037001923526830486735460010547111965465393267686703922443389717410981707858939535043717000484109763051848040642346219671047047801831570302038321429074425015922499843661688386388956188629763845937406625914687040231972310920969795787583154391614838102537040719438349858175940884226336826604041891008039660020513177308332719332338709432330195383148040398387438793190354421955404628206067694888186361766248118174682576605813128005021592737466633480651723164256652213553271885373835784867876274154527428875811493598958302051554689407677806963217624071758617376894629265403804464404325302994851255521550227889336602333868604651315071744719697384099502021377832670229293091635562322801759944370157972931539700085782042902861930038525487255369253285802939824841068308133601892913748602776432460562182575156684081381450453224111105599197820717181945673451945179126305133634306070810223579142098167003948997518966628774425630372055131288962541608672615555729215841961255722025636631457184262440020148693482402625496580019616614007810543456651017433079240150360354752570081501384707390469808247263193348485206363106949923292083608055780331923108976209479927247358299611040492166735285367691847546536123554457045401059779789024636373286540385404904912866552772696020290745900927190468758888207363318897019465038257786316929161375166300027355796255898372255579271352750139553251392348165660095456553625454716720195920382656611399635569480293850007039783046546810674181318876380289804525219869412172701520714333903595555317812340024618833413866595934528990944809223228707401028962747099000911398399545698893585559331882854070854567443134231755019562647784012956325429835591803075384868465535074754699989643209500221978722451410377654123984750862817969156615701355780585954103998168492569769045514098003980273581731411909633813336823396959599067333655292112785180002484720284838048298804404466617972840794208247635782104731307300221351246275737603123608303083813220256789906833739846956031670814668305402626403794930073783254206817000632080796280223516584170438646374043754579428099783219587439396884432180069944191084038257863316940643378201046176545102828467214517315004809073214474363099849086349608025320284660053512165209833470157676842334470005531257734579917293685524457385151369267367110406830939705483307592878914029303534493611725665058434205906363933056900179100213224239875327426039785113567016691980285257150102185152174829435869962705225668250125949025772974348443618210558465087973546625683761521255633837019510663694246761046445003080183835788413419194279655806778689796568690304949331573467204964183697978795722403857132330327540198280134561058345544807539091721309818915040149591999938064270643168556416657484104192064114732400225068497529579494084583582458763573925498686542311632154185906724684518694322997831655197974121743437073746193540096899510123981064330138086040677960466234902519438367329611328712990676816323436545381974966177230364864952994555703819724002143329606045708663136843257939140361990851990402280141766363966695979239416428029923831454277091700357104309971935146641179533441635050001667376585121175939794287335895238452122578128784548656815901214054110165762192759371928456340639442003697666569875639880643644420892176069515073875397562978586246646322990275680740078526538137961580100513223772093639938079845913638834226205542990280668872333027681142716617402952963712144488683453251280719616452783584613722836092672933645490935236728932378372137289608200493524822072702396684775834239445620659648659376706409667589761142055896753086670532568691168676821740708978812781770161562980273309965038012282443871984489027962927694887357726995238064671962613007927446532723933544774678456511151961074230180751700570561376260535323501263390437052821063479241069801299301509857462489922885772738315048446037291879669917826643377167009481261917306269792197364647668048158260684803390280677315345882155665883151058468078524472465258878569814525577151450317446085370031654972247115462821329120344013984593767856621960755586885457066058001162831664038014436957107507473944549897444495207653144690669592809644637605543006093680382259482503498199262517473278081163369311426210322150243599156604896981180958809295823284464418553134547121718761885640627356892974078282501750339770490605328928907252751782774493406707573058737703189944117828643841022921007124473324308191032073021607052242496708716344433311464170958673522693335204177154353532531928838051577793824622263137401675193041256955435331901707256975275408888185010536760685366452655342184737617171719686950573994910052087354083770827724268711504651094993789846154468829856974967034634093794998811484122527581383591660544855619203824915144778502964647864089066838381444085686120801262685837425025230174793686479714182834137549008474888123857269683421390347358976044338209734431637666288905980255204836843863371134346058400305674260853945099945938209042940541892849044424621206224082000279045489969168391710249163289806226999387943665592019545857014925720049108160037848143065455035772995995830968499185540043089371836284045271733162450243895973196463778456494531064280679992502199893025376087190735455341776549914441946407394258338941706332181256876928260611536064593458765538134396764171453073634779685439116098219193355276140152555458293763317551194728194100048052741896174965569684839535317814482871515852997472750646480577863445703375825844504245547402301606504404971995690265925745664412920904539133282274378679258664295865297627881999165399506053458757032614545740678993309221349334749997958660616102877172718820343043213482255426697165265035824770770436434638692180188489013344076770472565319797218481612286590326610162296595789397597928682234996105175387113420391758883872779164634347730451383715665805787766922924100237803975462277921856073616393685484293609515558434654542961590031441719002511076799286618671864952376797164095069113645102011466582163134976232607685051599528719760795700684868294540973816768139222109635350070305203664376313334028191990066498335507557362613912599430423229974486984887411033847709334086990434903946948064622651047125783580445291190722026199857998846428930192324430783106972469207307866816735238331367339814476923968697186816001085879784852165375871196737755162443541093292465158870400472796688320129151758611616052351569639248960535987246127051820217271098506560492277224804463239652164454231165432510500666300409378444268092057295575922417968625693481782143783875118069297063902748654654148538280420752954053828452397392969274362277970162024846675420953714208082187366548324953927401234252029071740417778703179965117988331032934346196466666791085666077112814735918378849048361203043659574386664370883298811832924435358085426165272368415767772046533795511739056419880354653633968655034522817347138250208594454090392636447062063076429776762035434802612239521128110535425014315706162139294372792172077407165666387597476880001222706119740334426047971420732911721745058437250000216965753135999333512515279255504778455964042494305495354472470756564103689524979583350352326822476037017650319549154567638453440737825050194578826004801626705532097597736800466995803568629250954129186243368106288146766995373959868067771614645278589615526146153371800962542380654007434980105464608819311156477425913017266078917130026349489614931026242257968139195201574018007670952389048601910670349557966733203847199909335536330119121610222210724936210347515217583385041530031764723638693739946470663130549417119961230275901667356542091927662352119702177321489081409738200053398904959860258562944877878515925740903610664920907952143172488662461667522622219787458339998737741774464911244130134692006432052877150409776213171883783892992570461589612617679220572798971888669049063552870708794829182858445097328405889935219363183977023155527456510691491643163721070378650333849120329509202267685624835013175456830612981030209418257486599853892406089846246583685798995135227754774118207448330629127025340589248370243941550030173864971207713249026544490820476979507376677234390777220805862374870912029331288740241913312933726291547810731908221844868718796740925211637060791170479888937024055554552223840332353229322540785892198443243049095064289539523129628260703113785413933160447298849297028999267740181512156874216407665107596878709027283301097192888589251132917197079088008820274995894765743730760937002755591835390522243357861060515063923617948191399379033418654826947525475915129653367672283996453446590052621042181761576596806468537438419138188032920094611862296606316698375757795858200557591790511114475940773914368947921471413012039662788820511958784258823866640217018031873477241239250953822219973432812170795861329203343993693307703060140609374521120377830027632633787163051842504320844727064067544805993339097654477675403611186140046225958177488817844761120129305354817024883680727913439490206176388239858485070758338744399183766972374090004666020656937227537806306814183451132079765665850511481274167172893476460315117410299327188501311283483248264368463148144813189942718457737328370038961710353666013882952681681583929336024354977020887423767459019115502779973930351569746289673874229624173350689799873233212859140330212402980685610319351339765982777997925876389483945459244457497649857148593923096343067752984374762755410244706775184463712038737472998073628494071742951332581362058450367683142510541638558683895924520777722106056450025934919165026867155006754824421040060199829362197291294359740766929626424962600267960762149084419963959609745048359083758211918168086225524583245279115261442463218062978035133595362762634130183794759558219372473576043867392143519378479180010202815717966132345409791917334679445164473480178039812675744446717685527750506998530025214409981652161641562300895592054077749526599051604091016505940572329048566967320541618605711482006093227059377490076074226598620135204261957261235650386015628513831889120814490751842327844462555217789685420341835521530667737742317680832478941201185721274781754520633787416005323562983108548873969010539742340123506136118051451010219363265961286255567331717625461451298367804955224797935912849308220280472987101598343319013353120715088926412720195524066937980214782691107776045870077784294641540016194974963107420326803605245567603638531453480504230715187476409340142445620950584255538999280407553986488676574242777080234101173335394297386809620550178879851272830544224059936011079785567915732267934347076368196073642528023192849129524474895541959060156595355943701793256552815951525396977553279581339131613875760638790069218024299992928209289849244455186891325885929591885983224279509527299391023329880304649703127965705984675626273042237126940355146007602116687535735493621553542112066723758070245638863010242524845018977462247731719974527855213005007946123982987136265110604021607364968576281087291529368577316608228547505772557365127055030300590728526272081553987575763438570031393923209733828829325720995229599296253569736850522516278270676337130547258707710494197639538240585843881937752303912469050724253116528397973493929249180695572627071812696718759053002281724444377000225426671469443033979429196096888382350056717612950198545973787065857650385000687123154404373456650823753134059128121820526050860012699173161569803116816584268617511912861725049373373623780829581520421593716925657308325170580093028079038888355613363225242927187502854411835916325543668196775287989693908499844414904599390256451070395562700999619868105436138408364238342351796172965841204004100348685200555366167144087997842554336392475433308087919256365555862915656960175340332046993481326304666381669759122822256784887544537337720330961972390861166228088010006265425178902789772435746084375690615545573117660043685283485905078175934566837183294846040480787461188650855720173969533615882505749713237692338372343721882051320247907861159925722231039879624747806941198653813437037807377482846978728251711006457847164176440166801871661449140008127865106094757261429018087359248294826890683748775265923061624688379555295241271515612946036763628091083791820560588539012676812900087858673639497037965678910660045548401645397348797535201679918995407149146639534753625357820948013620743211049557430669665336608886718751
g=7
contribution table:{0, 1, 13, 21, 27, 41, 45, 55, 58, 76, 83, 104, 83, 76, 58, 55, 45, 41, 27, 21, 13, 1, 0}
*** a(t,u0,r):
48292
15
*** a(t,u0+1l^(t-1),r):
48911
13
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Thu 9 May 2024 23:36:08
end  =Fri 10 May 2024 06:58:33
elapsed(sec)=26544.545518