n48-L5-f15259-r23-t15257-ver3.3b.txt
p=367762460473507874545779513585114277173971107416990187934683837548095959684119919041986317498150095272328957008086382573378095203200904021147169119454458128447982043029901135620829742424713280433595207698727547450721496642761347298998408911115672733270328782869893395839204195603956041107988564035196908115152299696024168104156651812061654527010930699571332451651573021046466909118173527233909872167601672936297372788336681753246048197447145564914890502877082170910729047980822372225834469772050977201771790453668308947973052786579815051709889446253163352207390612301543206166258083519349647329320646799162669607877646898481881931270136666738908502660853186684282362803141098800262397823787507500884331169405432454035393011288339981812125565978529058333278584199102206872256648012206710534095630688147840013108174013458228068193718038843109712957068518330068523075446179483925310673952334777074494088820768324356981872783421824314688132700961387701871205261800965678664550870513791959160009005754511613303147603751672674325140912624052701057864877039448447089856964868384819661963073346544005130132127877991674972876520674525323150119159167142697115270289593413166952918683490636429673985523445678207611963983729028338770710195045958148710189987109695218838196762944523785056684805519769665709674261217817151821151828633673657886628597244828970488580109269200562156802093137068416238195138161239887466154866216152685094482015266299253436737212701680191485865637231612889362107034597843531340459595158406239157597478444765745364014197619548566207019235349882483354758014078101006288413498273605434521745879465601191096044961401135241928668118220964791519747141675217952555774820695815131704091513171703774738643715185148999266181273959368026988851982003161115513978786151460425796631383028435400495747574404868780226245322319859761320132515332525645934857925092712336221566438295117317422950189830031496606590640561593386478466608036230116803515769461585615887329146877892322724863484738608984250792753797480971490016350677062246319755874243414058322994901693428623971758515382703910363473706636657284059046625859697605773708787765667238873830314348138316515437816460396295080169887997550040366731333432872685155795371633247367073763691544857136901710128172113867863747485065875362125403007476075353973611301237511606369972445159648584566995574842655930566138829321262501281399542608052340505968251487705735222649530598050694176846889266874280981572537327408355353808890725688068306974413812829950509878668678466682346535730080711453919621030136698699962610617296996559979332252101740253776808435570540422605866172950376210000592860723095334338112465713259981117060209051182257310743414751213707465032577240441776770252220842385366278604961022542363500604453273228327313920157276322495634087481543345261658348233021982834911529363047157257534838080011530001772317831898986269623035276131007792296415431102686179243211254018145873379354980888873980619084407992366294076171084564181287230926071115298164124336775146895760436359315609329415462840652999862115201983087069560496113159257894393520733781023903736503528438841576706462866012401807856245831811874655555058696167293534164797500798841862423382805164869610183568118025715657249678321218629914189944856860189672207807433310711561712585589698008562974355205589440669889792846764471585410705770283745095109389820711622912740631904907880555586144799439465033173234455861990136136522424993442893215256777175095850909378870198730360318094197984233390780211757255728242551867323990680964103387209981262073865623824433456277477655822431944286480049920627103371089934003001737390276589185204767885202295503306683717302530424590446195415925361310340250262833894776784305586244982909210211591399687643234887711887848034105873499707243628217935917138036903475947057529062666054185927715906279656339106672569454819981674029543753018059438102073362451760570267079497243425351284282879577585540781694222014530773815550478304511181884843716747392022180221102006168552330043703761420770729151987159516307925231582838418498115159505381294488642330280924893960465861552897350241279170608296886792254207830885522424540452792786952966169575479451292931412375356285198060123996108400752523507919914206678795369225241018408260048529376384509563940623066563166788793097986755462769088561952024545638142701932769326202916437088282503904506434891952390615180290071106105270423768386239299127324205501575539095365132291924116345894358911435219239034478333703273122357597168594713744095494040474085161434173458375154581789550372962977514715224768497209427782053175565780120862049389864178214469302321903242915642300096926998375237868643123908217989873436898065023176305092568474422799545784500887827620436431657254549916139219900253501273971615473723829720667869670920613969226841834611106903419973637969329882058666695017782087289026048450043181761194273420795921757719428241961698302422934481649782365905697843832002016965845080747165778951772215443861922093448197148330147762059984796764644844815078423815538886291929708742446961965176138205781575888161680647355322750965274609381554092704229585925480471856989777887105956787428126050456622623545374762084450981443898492084212830195921669626235641947065069512612802057276143983494076225026727292292836372681178878768176858335686278609456820294655192764472547101301986170623744402862751069521879379156375455291179603627351614199413833148689190192092466819490611904279453328730892605240335868528549948315697142260090442824292847515409404736476243023433484844742758566960247479526759411671628322172808872775452982299211595747128267299611171716620932684372104920132404453721431583339684117518451589817685458856892741242289365437265537364053136824217522376249113091518477794059243691451902222330104512633868759805745734979102949691967794697573258222608255483211553082030411979777655939637632331461780404763879364746443231111982690718804235628839465291245916433916902529320999678010160511366910893137818121646450583211368350740805740361167204129568176455018302644850365759471412596086041604723924974847400010754523515398663718252305977396552546314138419272589741557197023770606545983083152402684616531656656069633102152259449403185590330531846936186873317950181170812923972763897992021978780876224024685069593987871741567690639176156656421578949442449728548419492853969923888557690098531900946188452097813169362963712840959524162032180778080291458818284892795265359536878716599555273694557186247447789510398581700326694390135256596473093580729375645041220453867033282262621876707552164990138239365813935334610040403796888617719685140111234800353703824421981173380432938454237867447881085755862128856053051577457204948300954396954274412951586961741829626977949396578205997789757430949960759896514120758372214405066743736608596101328989537829790916689652514684305436352502359323725777396891555636260439129153748158679378332420989714052878172680768222798861032182180787814118713604191884537866909858910359422143109303321912580058708794162684217353272503322077263192597966618523200893638931242480728668367971576290796221148640454833538540605385943708331494865471244507929212939741034651852473737273450929487898185767115629303966997281785428309843204368177576626241002412579911557750955340436227828026320922308048909005657381595637371580436354897199614714280867039761549713329202625372820324510965983156321352361983615224650262691551936822894742287751608159633066303021797658770779166153105703407407906738780037213806308510806607034209820108634085382894596148414248282789276991250062974303046330625336464355229516888229594963836843461932495574765021454949864685532334956297508369333632323486080473261651225836490635963129203083291986982342270750023780225231567578444140869225610911242862819715797592470141910860030704285974727661376912781258876564983508143790234200697900555631077970525454989469291198305516499243487949203372095282192730648611637730717788641973457216346969063460148386199825799573740285835270044235606213308430418547952951837205022135127932263976614063662515338546048343569769566657060050592519851989875375527947910291401118307989346167355538146853491057024203187595333181186794033799403346350308812969032245699256231387273433419334363675037880804138056208252374811032324605962395917223434293285943526138075317596656138600674644924237640322425791826197194492187477373894988884394898266415317706049846810518997476244035476134118096003991545201509319099001683671886006632676915007741725054318474787542637465618427071007174493686849524225035245814319005682029542412820310945266311398164017924104649597204429302760550213831753612463827313783194143206648859565170969294304501668327768281228591445697083241953315391403290623621686861014105772479896652600588786772138956070754663527651474530205908680681230931810180194838699556276727054528717534782414269194128437605626031783419269761832625321974412186736930640832922218157950463822629254624987863352442507958346957038019119810159115057352777696155214053218095171715336467543489974807139728230242184027602189577666125378350807338259239046326541209584724592312953993538865022106977298874934247208227615511247813723368449656747073480938293062905708643474016946685719612534005563248417405597932236882572812556856883567152488461969229794132566843154239720718070839031130704426938318013069347930497632207891945804186227191472361747675848694796031973866724252250031079531268939211843635641900679081964223591006140921011608593075633384487278153646506345118685314741206406770181199113425861967026061375347009522920248165147723705532029457247340231442465726678838776071693907192169394783468641220096499703999489072609502460481106621011163350385760877275793917086211054983179789839631752854306707455477066164399419572495093216821498908721127661928322612489071401247349270132504613665665942696996746498267830956608519870369363696897518922008535085838759200069799138123078015549886371865672298297919712687909796338933870692222447879706122312236182715047170800632257232871753479922228778357313426761484857057816775961738901555910633249915462641816346335501378056310487500143607066981383954961346880140770952645694335933383524627516336662800931464766538567224941640602302589519957702872032743887822594328239930123820445099272317068651665129063676936412285230331927059858607410121584560477012080294372802676759070897447755986887965622225161251065965595116680730113220055482540355559235172952864204794915016596016828222773391784397229795132770641048719965818307454103492443678278443861219619289266467294530661661282807255660779645944230450867270601354438206734416350869647983115050362236482752723751703102176690424185423466951760929077863693237304687500001
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):
51257
13
*** a(t,u0+1l^(t-1),r):
49274
8
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Sat 11 May 2024 05:01:40
end  =Sat 11 May 2024 09:33:46
elapsed(sec)=16326.642704