n88-L3-f13117-r47-t13115-ver3.3b.txt
p=441581454484289858951610897644094378599787515117598042901241875533887359163904728569704048501419297207941585264934737519157972112972323974120325693120374407678461718994472761198581102276704753880987596092651311910342328198688239113179601651309537783868555218856419295931950960056215143281045160208266054957370256807118672283884215181056405700124042067827705522066113268683423583312287079310586036315527247227179834112416823588959497867239190004982156147783040879846756144888017623875974765538946302998926995088639286370129037300275548525531958520418557312354749542852346393423374729246543913509635174608765753375017696482711708677422875521753906403374612183893885313877147645558621004316641492710154562000550479081632109798660499007619409339083980835081670482979232445364678474755329414886949317368533526045022036075955314750501830221679178637707653980783228042895817580060134367868397273514465957245058252703119916829830321618765320321841632243080348208514056307249857007125368948348731917396781385092118069846226615903561922065496410777258434087334343699358577113755562658847306520144388736827768311449807791136205427108017534805823182456160825421838564414885165394082766844734095302382534436988589104653443567673475268035941737351118431558188816229575047375013259227359486539228530628161012245112601623653817050414429077427427894427333822796654689193568099465662229756146275749066531959011804619045871220763998822338739100647043243584952798953586981659415216623501328003566554069061375099334736728928480711898588625028970070951714362205899087061656796079101407342766624333446756737527608782739489311150513640360660073209183459324276193222438155364039976681692778835147582599083294937147092101825494555011470978429244121191693536179577827078245614984667066537158038252352011828532583869877553933096111492997657375545747895469207297947176089473143645682226353910273481176647368229706177700405234737925701231056658260793126269534245318481696624294716344695776723383277001878998971337679284329540759550119514396643164187584187369669958490992559393581877558183361862575891776336431887174431014489387483636021321621169854701118989885285852637267283473624438778124201149101768452705360270010136683128126931385989145352160872936420748247772037542773465174877430933602159953979095846286804256579439641617604955500726312437734011520644819607241579697650847163519966442489712975742799948764337152883724912656937112868770991277907280623500913661872222656390710280092851111788443163015322513021105259006111882568522985545248201393902644777449331256574117010074476899845204231718784716123978422268408542577590303077186356932016081350986472738411519416877491483788341268291184660932401274150429369342145475878593703106428892141476531440155546824923552980119894457863297112495298844732607024655420032173032256770363942380333650486276797118269302672267265441284657932969892196262106579989421579393194647375173108472589166165155746878488580290236119466765862725249013574026738631101393674261318009163069610260406382363310085818542345290596217801683115658137358378405988502335060163297864085583561394697496289778153851308645796721449160841184543217120179141376640852466442328531556499686867253293050435864444880762088108737814542790996702751760705951586872972584657768275667985562961302907016806909956113029500220909917473204601482748743970017149710992580847324455961899896822662475438163242710692156008636702119479431928547666916611537420214977122644124402266241182620058575301455107000604386518604669296794331185849116865732825553903452433890771228516830808826235936201645318024781602299088642254076714757406012726273894616412039945517025478960938207074672421553999776963083281416542065228748664030023829481225141813225265999598097528333882964064493081038349449871950027938090706825176023203419300792822030760813166392756126168904756849289195592139432231770824210362853339390392171170863979518669189559021396788808229531575944750127830259068246375617707242073988709558292427567961077043566421346645860636781390289157640361449281569915298069952255000156360260962215503886994246227774198679618817573535557516163496463472705027300010856915007290089292832704628028675784304277087069363329836535169814360767268376298572502526081734604898451726088300346506621606508885186421502060132875062348665544881176983986368262416912728158108947355149484171638519871501484588844826549400033062980590381068871744357985197298311691062833015930710459988775436512278984962985785223415848559613425973286164821424479897519291587487111713589448972940812929429965573644678821929314255649911952990804243159414868389310743251421948561099783286100378796702025996605975441927683965254240281992990403445719393638491600734521879670484310928499659972247768846691671867168150794545942975185637111912573974214149486719240205085590769094959549119221717446758684435732191203884655962478122231486076106224049402611957087463734935806759029883640449177431701208482665786092091751262874071218458663674168174578877034625646604347850961142561638986069380951079000130826994180528810935636535414384110152483537932126987573887643834320909111645063918940840857094969976536378014682727299258709881288877230660465015046735818854218705785537362717649731209700472261186882496152890997786887969464723628710562913727347237373400893167040833723276393523006927380036025525631683532986031490371930075081662301053386213997416854196499106381644968671749639779039221397183639877337965020430297304244333190644822298016318192521552676907956629690852003882865985052324724749878670494832984905715667133896171153543661919612338482695899304610612778451836393360330514799858463543566369541305102699066229684714277704946805228718980825790390775899269852396488559246828294078983622929028801002660497990109967517385192966016462132840039542534653943437768612836410709771631510387193248582210628430304322293778307691954381402333625627934111302493055824135405823755841786700205564405762720013314219198142907398470663079197322892460215191043330533791154187640739293997858192161586957123765866816969765465364801825497950136410195895957865214078551453350284715234233143426308310613412058845196165985057693552373837062275423346350643026874547347486674154842120023451917209545296843788484348827877029381581586854134917201505362238847739341887527484689
g=19
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):
164597
3
*** a(t,u0+1l^(t-1),r):
161424
26
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Wed 20 Mar 2024 00:02:51
end  =Wed 20 Mar 2024 00:52:39
elapsed(sec)=2987.616053