n77-L5-f14194-r47-t14192-ver3.3b.txt
p=233218107197642567188790235373387109536805340710596232326590014282112243617411224495483356994691310876099897249502881671488834584064918004725251918569012710287804702753846759582332949273518045556108034466873069419751786915119368879709572284332737945589731370977023740741568391218561451265581524933201281117773116530459213161926461845994615351167770962434751360303804399329806643060307785757302126409251538273918586649369068062667462123493690178146382215537805975161348189225747119871621165905178452494466937781542563388143140113893239131421069114679914355617869519456952699338902158964290487606835901731353924903431956144763580305245221323548651449558481583082618317189164029469787501563458745636167430722947890185242861151768380230355756003441005521412304659054955895732152237721318324609648414640400883610878100394862812386679674214145113773046666664432251239304941920405887727026534686067303012979200128756979665063909118277732250483904122955895165227776282867649677157829448940407106259101123498436944656189953617832731126088924307739810806351321184327482199634904287514743143210718389814242384062843878402698849200769778187455147027692961233809866125118881794208845133479478309210352239859762435021882530084349868663542418073097138997256864823501621739061475692634966572415844859683212970163344540518059076990138022092520405951177580571470114505022325499570573546728139791442137865838432904788314742783663974631429352563770609496407991575462836438753634575206390596770921360222156066745340763720445171032940044802615012493853007058550754437060354934668286710645413866136101693141112063021648798318448655595989590734083614088426247487243293995131477981409748794831695214810698285316654519744939359995246538911527138818558278902462206864021180383917041943816290741592749088188582846400115619454923562170896685382135653512752668747775955037312765200054315703036921542947225529354807715619071516556138533293519736809150266354344223476818121404091956273678756534781878255623150720176775074832361786122164611952175810001778609433491150591308446336120574105440038257599649704602052921921856803978992124759915860100603051598588456346118488994624584378086956845098552704408640125841462428104261755013335086239249864680278595856137501035734486644206814943277426708681562432045391153398902910981613818173538725870120901270394149262271523231324263804788942474406357478831429634257444016971042008435785349443933443091176153997768418286509955522823222787015883197607979151711702063404939675276787743825872291640020795618307978284916573482611551235759663905877241293623761524160976022665935356914329783417271115288697511492091380808486588495081631531227366281982691351729236621290340660075512721824465142066993445415320872699037942583241461890997264340379619906693396233270630252335689972043005050209316945857806920796006790743600249586659377343706087222067374418524385878120655131918660986215293693309596036092522728290641657547734784319994021129735462180315727296806794665354299700239611867987893251205870576947766625467172800302858831564635704560849683715926537487234030521352552173930895960893989144509752050084008325177172813928269913099523402163957570917329470209190849255622634653272922203018928854251357567386785694577518535184487140669536068630811593062445245409179996589981596792315253569632130203500016651075004756437013798145589255661312959280212960990133599434006040641850582995134465887449201449624740099857250998957883178104412980456693272951808566745968961245753427925229492750507867466421494978021904312695239574221485391813910461519346396525390796371226302124132158769937628602340158379584563629654300311351635370557080003160689427775755159195126207404734211702774681149125608090600757543448224444375319540310226967890747247081359073572387131258995979286930559280461943744812813069285033076573593188025378069922928100646008491935265661434610379068602132539830896103776628784134946599406789944279074528427078264908419001722235421596467347778841062920509415914452219739409380364007308994611975477049840866882922302040102422636211289494390587829445009313466721572252301277425093318105963456074979232153215070863629067695417910867468557332322619510152746769511617946821093949901751509933055601930440619032230750127558738510018129495849660007015932620660842209070731653274325515829300651251062020527229252471979384500746381744569118582018741056111798456651323564669482386086486799381929398646117240839389437494439041988335196240968385051392007667482541748823330337454388423394660589500763072790584063304657322970796067161038037100340431203335222603906332614240271053456425007177448553060123473348427081016214139509226032318789719783383359991603269351930594665988339933968824116922112246428538096093707641300515400095154736055783070323562391282543773208293451579766170328890475376406311554459433641819706557612201972229049509364767234036629812366273618980358941505417705871746183072337272487196302086382191066840942471152874125015176206173044274925554402367842772696678088130772404911163804716927256344088736649528076358520727728107006857985431591450370586698743834005974769468215869556213210159906538984130781951213797307118662503041325759572502011372931557917638523482094047745883350930235623703543810605092087214327659736223591068810114498157973020778493639987163185833036652609960140276180115483232143958021912674744302085162978814952775698279042649410199769092797251375904242063155462811167428929192889749743532184314254768852984352419833292156465173478879951837991610455837032989622073625312551923168310957115896993873266958699487916001259498198421901379554625268830231217850853328440687744495144515905749343047793083291751739254407113862500258867952031347912793069513055629515364580617535593988825116709112331560224040119127476311903519111926277569630235991735595813970787737124317454666521317280019833897849378550317432926393916134244952714187144124718601229494509923653260811234227443437468172364231218671972216350565538687249423438979287784054790440348527379708596033475290844288542308868488556994218953311368065939311934642261858056204698813720153678204704010518885369308713911145355675912213208083404430943193708821775615934727463871735002447330774042822553469535829721881049745513432301800584946289924321857837310269281440219787887097539460668426845449305540390305558316532493026103239077495892317856593751559905187318389053058475175206512797833923721688155770449769931184203634107756330461215635170865762953181670858703329173937121915397142184021378269237831169183672295868122705851152844478989196160344010867060474625754149856513502273685757545957094289034677493195894605117268008578159036684275626707133838971703245493427319250088065408759376671765587583662327125036907164241417211927312379314034821185428952861150004843303956461012536877696711340837875588967043153873933173923507029323928636970971652105505912664578234862720706952694488295829850091554126474570298574218785375216720476077626781354573852261082426843215152980400075326046358671363508143511779538834262897554395956162113036765125626632499831143073856637130518789317134658020187988972889163517496944072667372039739884881426311989624778456033132101215457706613108837117388828187966482373362431999776128886065902918722631285772344619059374742220571665724293687192470780402460137110628334497751865294270533293839389413497597736466247747039807490440775837620393141558558657542797390599982332275560627246756758980588523131880964063389714515330429208840036400490022072090563264204912789948413214654741907809583601673716285483172395934830418933961134706943587404520386636018457477952622277038931664138469782485014683699773479653635123333179443780539092874515252928604328315796709815819110881732564046850938593645809732232588429396289886505970776918817645145822865314598837710308330251887781823713590695360917868793511201675978617217648416196242876846145315106846198843478291919078606334711192391367281097585079240590617013747874059073751158400435304697967907549649136766219020471924080684814830512467468500625393383434084527661709192960283597848875403385180483465068923205561595368905624707772757991291334319245178183448468757170394462369505319047801297008511463684315083011941113975771069619461391396661553961240824884302660838493465329439308965086802383601861994148761923005340184138582158453327381697216730385386976138664495286359896565820596874131820013958339925528036017617787211888519124385222822869919942006894020919357045366343624236882327539793898168384101480390577718953919918238098356833364746979328699135979904183862833474913995012044468463721199882232038781893377512287713303305787820422571732699260765965126045790167870758688356742521534244045536711606910951214323651911055053425625011760209628417263874887167631457540519510409643568671064182023815702445291711185419453904539479657143326264587574809303475406288973222586314002327670806640196792604689384196294072237121840907072483535743492370337976150566612968813405102471834697814732748812890485672908607095518088029186839373900202935255416333765707327199426260956459106349013504280033410135322429266178329103523284137510620990581577310571527621065153708088743437492686099865283209879575914309433903584808626689717813495355589806711304575523955473007618262982190224386730642384005172150297985246853750554884098324386313456950300493710439665632995458108070663579250160301293988921689978599694945061985580168280989991099347027517101859439928456371375145276569911076664136138127204096223090229346308076697235205456160132647782698160998495843655341596133657802857542350749339166944063788343029291739047923633371852667134643922399754825564857266872083159756019255829571062186043245130056825687578957177034223903028266209540962413228787521062167013881062008409651589435748633546868106210144505740413718315487918279272894116429156702993502251921307562439716675988372665431982815631873232050270952111772718567562850933865488616037865354536570101576112637453697118417039746418595314025878906251
g=2
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):
395685
39
*** a(t,u0+1l^(t-1),r):
390612
42
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Mon 13 May 2024 21:35:47
end  =Tue 14 May 2024 02:05:48
elapsed(sec)=16200.484771