n84-L5-f34179-r47-t34177-ver3.3b.txt
p=2094534327828347071294518688428913247653949981198689109152097071417315069259572963450020762313447043601800758393203309514024691654994185583109103918334047215240111938430384958570487849109441345160996181858578249602448944988094958597044753579641892753411248215929470673037641793434649258506750169354514436241173321770902506160010820845137650209032564377494092166951134299279941622093784349898418778923729408543581471126462240804085730851033732124237244910008170410235806996575362387976086145019544919639728405964754804256901731484676424337954882237950610540694517935559231633335486104244608166354132852668169383850940149681374654474128318497339618150636393255708112853356639577593408857793314051019559320035607434381257807604549378506574214229356151506824016187311056543277563556047769314530631191469103160060042585734328611227492866278778786310072049481996785331023265667199883052342351828686462473215135519601525052165571438776755061552016273384243004597590897782360355989443424912953416198786553812020694856111232424856405622536823897712784084470122608064643046997291548315572297746154518176555808779729422552397441479928245227166669602780276809515003932035865556697635087604804748821255856405705808455614212669743065791671840506829347019120963236531998984614144761162873022810479309421715887636260328449737508164007761800740683494426034019109283514860416468255683826036940773115036206529283361089381708948452639426190623722871364627002159083212551973576551238903009559191126911125310132030322517250138917297128383255438183275885220574711609126233747472904929685001374563239866790173947178311622194590731000168296856536374518751227568897662405683524215075436619180386308636791445426461546957902815792856167436245175816102135401690122996282112829320784943420707628643070025996258201466711433219903113571821410281284001573963961054783465952135269606661564278174132790875889478326414124607820451442907406863970326568529227318439421935442162683032707604398303412860608627017795503564617974393471396902867107093006600466368308412906044777256051662012250263524353858052718673243125619982949660364197936455397480782892187295750099106306317089964123517453739703447016291706426775293663676044712835114255431286438644385518242133864524414752230662064704968495838965341394214332398356447672144856803061886800206864698261577480278139956888539003055821062054723790443280147307013759320161790527021643260533384942597424071303913552157946092586066570131582188559825747858059430200674428308629535148071814476390751581664038858497072140228103757390913380204547826427861700168714839813959902789336456036369007261891579586804387583753319573445430526955536725397296262313649018694645665690515756694640662263960240209014776067603723180052135812696800749771000674055986633586969672381379187743800036461959802822264922253619674946321537467852708843191618376115340557644540401272594360033058049885557874510782829077048404031349001964889412102348929549562546421766046416304693513332043596054731811110213678178400518777541101746101201299110590727013290609483147712562712558537871120007987747419813447201537060752218860452327942008007013652237953387971191824831810433490504286981267117960564184842460879726214041330780894373987851413066821053751701164977031259800410608866719516456896686971957395893554288184488875952803261774733727648929348956894688063772677567398652590831670362626618956749002124165053044071869644382266209069077052806854694386277189781774376434070010957229418099016243895530111359801904135347456277314094386800758763400203713907332036769238143500689232384784385488302086811330558137128370960594471077062522721974422822145078972234107813726913805833399422395422860567683055096260314185512534902498373052402059867770606885890469990512778481645326079832490347996604728924956818045301090705693239129101038235641351804473925103406011889252473856927038421753033907462174573232135601507627315289180521173829762795739377541035223346146236380002903725913710863283201374336386742233306568071668598404545998186906809509229958596386651296649063174800599571704588725003292800634691882040089335551121113877081912676259376244018395141234637733470760006069262950940269718351327864742015424502906480798523717281076055181423084076741589656148981250394045603611636748600070077197200189245227542284532058574370585334786711527137908869412171318804729749912867942571904776436490867852426910190547713480110881894292603563991570743516615541435945465241257668796409635255998161971419479032858677213398923132317360517180840147130718592565308789100288060983767556032491074495531307508375458869553853071669985878334540833599388232750937016998585723518598559649001332691782940079809369459490203587165439619574070510993888966929732847063922926228961738859597170866844958070554931268760967288161344351186718192499348336737249541712842982481513033211123736425484039984766993888063639296202290625694742544736248885525798980814027271000137313898644783348490509814631648260165887460088067462047446655988259044008114006548097862118203801677927592576163327883352004746218044997970535697628370066244079540542225778927494664952296885561052309753110142877560235480559988728515842394583616209559185304516879015175310378889321265687450026143057651071110439677244763162128257874359861886158157679519417600635534181849428055683514128631761615635981284511828408054643088197542056717325950833398695816529997756100534467842102243155482035505500918577631590031260087518010696150781587546552713371277855514340388678988789337818303527149138902278963173685061728401623151536911769557962689109501229025020338905549588900108534211977437793754724536880373851489440242068109927693898824594898676749954591505111272815384931574328486623409548264224099036025611664393253653549988610920555587222259563681723051381239182378809938441174610020488627311928430631578434078002361039387750171759767209222800283582360521764453163092610833625973007911373602927316247599983467604799298355007944557608272402898097443765929458334625951496727921472642091630162719525754087158873719670170344975276192110976667285390551807208180202659553388467961765173341265961918912686709983269225438957988261765765405647986556014612349648541157313997618021306021339789762653760911313240875873294687595663069524871551066832218891231252245602447447418425326574324289472423156839344852947356094815708716678460218253065584275831727418488418847422704279807497452134768912299350893143708767063011045815016736217657124873244948915427367970038831997610012651878942466800708436435225448404212318386566198111546267509562622645842092068846869552093166636018362151652884112824443705101085325135677366821565232944500629215748057928145790035454682594670270333684170361738724623849495026777828985753737572678404137178515990220534665278683672286968798732492848035324740209342719878619712106241693631823384262193788040693920282196464006668731910252285944496214840186254109851218331566618416229975988837466061280774927354037577927373886637004866240950969454005405490874017417578814348706533581419736175486623856774524412741840578284150597542195872543007726864284228865424046030499709049017428816213908737757900084653096213102252739764354445375584603299939379704855867200089383217729224442469308389665304458963504862648648824303629891390922106972744909826284004958182758464809355875074968633103418532232850664049015169227236019711675827805969561004656909873879786248473483934226323336440286119920196502418661608631874468667411495592118506482267603261640572252913958821772758800257742427261555786621273743251366498910076563642526507972962625904820811120911743806421316354371250480382587075688851131439464724094998231944613526502109466267548513068930336988855827141351258714418250847729435072793790705959291467450185600907603952276203014705042176605869735181215202594296423311727649604651749129837220256983377988022286899233812898329863090196261569119696436652477128172376780142954364307786325159644220664853948909823048188817671287021016554035307857541002315974765555917905011153473460542568427658795204135414030602566133841002741632218579568281907664617184836590429818959149791419535748705986920502720559484806997838102416910592617484438573086606227553505275487225367379171732532657583553820101363482409531915140594762097827567512994048507106328164849805175096123548625019112094697968128542519946001927212762163240989672142261304491225344767795508241458996881134705024579776849179587159930124456045071609282757268948963388797816096486591184884353444090885207580180851197526785612076160758403247986790355698778284526338450442264926264436933070385324973835431629169368924071982330683831220802967158847705500898966457979764133460835052993046673225279204734820331059505418038586762379437780055789099712182025415363218103953997637171876157434218485947176395759633019445350670525923235282669909091718324794681607192374288436413263359596958647523665681558556136690964804357004461537670865447666038352127366659078596386271946344722170180472875508273303414834866480623903371623271365264268896481177915421841202885370926493084712094329433891502752222574940298169445812251979852634243315066279061683734845191026968357182743958304769337381151256128956539860712684413330203737263895265569857071541000134654485385027742910945214568360132099981703679473265279612128588782791686901356503509794577855215794791467645645620390849807854899459911325884918785961664066067798857847993132275651200899224835101217490685584623852319653654354456540134939933317806900538657139196480977707407797260093259547893382871576201955548239100965323530592688524992845366341566463600733587682701110937464421024523051672189597950646801902022050140069544854952909418428390897557762656669548766161170860542876930372009597496716535289818721881572542948537996523350905107624995029947032835270943946098700524784929387035637657707806331365777401146134688360543549090593316359464739816012364505988751540297918848980196142618375655019742014960263128993247721534665379114557907537131297747289596193295446916721973530677743520764362129198000098550904012428946345339717451827127784208952149882688496546002060579043725546665209033597020225617802357004713502834792942505134712603253859573206687332025333334201756642714056028176712417863024031770319422069512619529166689763294007192926905106623687385477730258184092285012054611437445461124901902265785796531963735133980715274367297660110399931219944323635672219022295707260455450614117544495924874245308899604457581327611482265561149484995986591774994330313814893606981549220414822976254793841428810749371778983200216180628475889195354036605347707877063959191243543401409879159116169461307407400129464259682670485164999387795905476820777502042357478460887809293201699232464808145514432473006968909959573127518649702831961265994484104008702636104904392102600997664639029486295020167957959740819372348821847668914416294249096675162335365426701148730917793522265220380706405049103281936175302113287311224604595579305605458403128998534674132976193031235204770443006815575972661681211780095888830505794109385115837213622733237938986632658254817182846889573169817035174360379159301285443579706130679207963101909511198242066186362803104720200162761713987392145344390611296014009013324809430738827157241278479450473926453756692434398243186044195418597841162189782735773570676089858278692126946233105155468261343657982883439494698136384440008613315241247580820740309607917392054565875335267527884627332830532227303201636752516335018947930470430409041528576219681896148225520436889323147366487660340935003048649889178273863156788467681123180211550030903166112447052151545089214484966646091161545101918854817318565134264239186136104835692030175876852507106783963660038893262722263782984252379039677077487210201038708156160762535155032364735401872357501462077897608546533134269691894034135032697458138469406722441326657031211983625851433123775819541907577008236022447639055561174160915130986150902092946783050344371604355804067291357993852935232647819911379147967872488169152061157387976876145581695743441515886220731087689026713004385879175309551910086201053656227824977285158192874976821821226029747509313693101207984749546106131687068055499051605374607670001470528033595889495124410575725894719684100197634692881699008836763139265841319561661940210263934229623106843159735242827272013026353001278739957762942705212825605259503093056138286706540958093029376550353916536531711584959836259460833917756667295272861294140820927460378640301351823766197664216851848700647114828332976090195749448685347795557505738449829669737774984253707157100988952067183242264951474437922232880982019686987389172416191318016231835709874278036177082624883344894096797360435733362521911850135609852139874150953124355800304411920630571539646722569693425587315655248296969396901137979897978655238749886226409317438226367729777594872031698266679411824129283628599813416801406081417814797289213366826449248417452732006840035309029982524751847783901626621409672392223263016354158710865978213902905208358189413209373151520441428240288159401535993063485151771248137634247875282715153610097738189153403628939079028427844104733597675474876067705190710469558269118458493214766794850379034205973852247216078773682063687457157452940609634877712636958290395477318726215069137163360691719282052124969700372565249220295774983904580499204411018476964229952868035954616684280471609531604739433687797479681450992701832064770777757341733867374457371606362617404889536891575146177400797374118935152758172482332819869930806894225544256001710028301397338074872818402237131139939146111918092466730469217363966636128140575738542577844744170162583906721776964994788425340787534611512187582280364140178539385769184077443601440235740674184545165532428066948486629387116354095226232021165624980049685930767323574036516331241909606723089219964624892570330705812754806024609520476551607352552124197677822413325711457050877581233104195854885406219081979453765764050532975117424843187688689470781871235851603080899590120628163982770353306153142524931027879264010144082935687517967397827791043179499239967272726024211936204386310918663050798912986129595136226269819038979309831684438601990402248836170390581223631002968429382884974160269296973537038745688440030356113041163704746875937717020839268964249477218428775182941208161952729912380356024313020474595724401235864330113022569606523788710503271904341027910833973852790010642538171475755968009968282868591579112258867559557655306443962300107797917064032102906415901289469153730037712964302553147429442398736076297058650436346147055924161837049743497394424556878153094078577851379637538032038693381457640861664322060098467223937967895881655371052109642194755208016196219633799238762375365124057697697870191781799699182487256842801620347754408847402975041355422998822734535760907882252232768165775439083462254658937168888774704841601313823872346337231234180728803897850079157929750987618522850596905069852640605400554385953933211317054821118356291346196265996595222203908881228898063220981112193208392790395303525308413420009694796894796454420674431609321981051395314873043628681876631562018912140223700721400788038504310493523533263474360069931334308398858221934904036030087626801371628739439472912944399468408688320593868545866731582198236766365016498077036792881893866547735361378657938541448127161426343837276615664779634513916405488302647294834359669070782111111187790874683235964396567618164285925791021145356604473530475623025013676320618321319430433793685514709171488216854340006639440449854386743896508161933915631306175060171998249676370657566142239626494771699241588731757158137050228552072984278412498482715658290840315181224578775302229776535093958166284762765843596578685194325634857800479647200654333476937971083626161167354632129141851013931569108806813036967988583081796884256849050308778161978497368566649209262331233105696007648418018571760743461059279038569325177031965162207142569221175111864573532590057239894833965300323641214865084619120561979903122770264899206266684646342776540225024932428703255647853698068445647941582405697448865726295270924145754816739395039144000655863800834423953304687765554461291804051047096211835825087499010138323458953733110193187697284425129162670327016242608021186580345428667351105378109516898832878950382102718831700011700327297761975967450152020822295753446583067239226233185752613236446158478150799249141331843826683629225930369733074393029853826505506518459402698301632213126156608576185664091799897636654588001920884754211206212202010312238636559910844219143001903675860738553598638323126881379352873495735352798495707964505909040576419517963739317111046086145086238210774910227859998398861561225546131030179838578559748040356183080988971974753415044425943137638260538298887344040474233831809056503664681980319368008203593787358774526053030504717367117189453314212620397303484369741359241414797436301653924178166131458766207224219942247426842779873355734924250256822592961334316139870570075506737215855520539700077183595868368814148560651780539093282234123884172707430151856196983068581861748413497934412356036593908363970862738374298055803958379785723163736904044535729089152323044767638639180415334770157963800744533967810543114452240580712589984032162728137142365471179919187816663969364045429507268207007940846905027709200215628079549198087329125067410537619978489198886061391938128524709892272654263077157103897802507421246817678131662588448526992522917195177756084054527280058418376986709485112659984609332089926168358860291531486317443409123197971339522601282159784632050553418271034827718969267857275310806937967606203976992539721846714885829642577360634585894799813921833281113990926756320398593540237741194443003837799367887791825676204879156170771162325949512726899046967120083472683571541931505465096985527136222415725436779094655981220551391273630753016065236422514664907031675144231738258546043093492053606867581638458076647402214059451021365671171389594546140676224233090333175842517937376463732270554166524519433152815579148472459809570467229455171615273706698826487608407596488938086270820939584882813831183900561761487065002094023767950452841524974622640172718243796238020350041578118563112249697389493148316056813768655993706821032489429626181287204374804527536475154559069205672267736508664146193699530292866598044468672648080639941716839046460484958102524144051072261273899034741680010052168161482275485369048043607223571409824390863147904217666679724092922638180752576427741866772846455811917154130299499513708398632565254149566168765937660854710303624231990176279138150767225133772707422311961388873788846520133057726115320328384178400634231247877539546836413895187695049330363556226213101695696689017187380031120298824325084306975549869199382603910923757136998585488990380855836675517927087136444651313997378630809697557611549253557812532648640887809859378708724802852446757770661661458912864935110326398493717100082837016972556477574935374950093276262638044784960281675581118831691602476216496283677357714430323638459189289232254193379905540104108796326247435489580216701918982727885262858226431825238299427929090488552521608384782139734644740553329476580031909223353491836726271577881678586752977761018597753918670752950568238948857267402638067593960472243429052723778457192605961749889251033787747982737606345714687078498535470880233215752291377099227053780984539476888823894920179385085452283929733125367142096379139379484336883808195673982814880101713408422108274204692940687449940333442113016090919824045982434138205052510223712372731207993043057410269609756121596422279487278537051445863445699469256084191831763772172882441728008482252720412804025233002069625729500887967876380386345306477343352851449639786402634978316803737244484158211240287862668742359590926217321514869733980365959243559282336389476745436302319633655189546930739859227396476775484047774100377113820098425898991222030066677035787864365494870530672561205252040809594910150199119310071968188280232374837679576512077511005629793894232221839889516716471862754209896462216349364912235524921365766006906925626020567322706621164120031476745534519663788075142718061701585824070878157292020532704922031091229039361295367980727174609887779444945977982895133405807341562725398970510397892300253778820821541151401525809679375384907630567624021010264090255867484206147985449802730991389395783701270574551448527750592247525909843764750472085664095873596293643336928867215563450857998773535639243212452351733939417287272361300959311260200299442271088162162014006823140131772538153119626587915486714717547401084496424000691942133724216652505719436698638200755339708443049817740813734907402174949546274037274035991694106625940512689725074129128506918449899462436356466690660685706892524245212089634038024330416883262299442203701720331617856121157943363124727377652568078991466630584756913768506760803616062995724439255533158039553552998963972032972668342145086676524891670331650271119369324642300533666350862212918514788916380055423319339529512373130155415266180238106632254404139954714059952686825927011805101537037394816351201195810858123365589400537951109889279501888372954625443390308698967438929361949232401379227452998914373607319267061720900302895820442329857469251329065857762221092768862675196988126857408729252118440171384981529332877451955083334149665671868438585018597358773580295717021081639792119786283099261529853520031280620953708581599709549531890814549862268053516223112093968951481476409836636416777384382336981133098345128904099241295024015975387513981418055804932550402538443055874676288246538913697245874005295930849335124043226889164310482313927885563918582460238917382408694840549485642182730764445436127068254166378618344525337665997699604639208929953738279870975283128562084882829989618999996296388161148273773439469947886152319548414397369619314075086867036687566935977177375763398399810219001701383056614642767874308448782972431235437669649490305503155848810681053483339082664632086268651316087915689816729257011299650466037177224938882442783295435291003549683234160634876327396698510755719991437003151185236767366840665087232490972788604607737203688786100979504304538101195850643099305494913286005964372157037221694380877258828619219992357718172825753258995396560359193723060459977746405042591530728472528200344877879685344494974455998592269163846529843912018301004197188348656002233698378695114501994052617550557576878897479512101352813736895389402651998658505229058851278111792666297828278338667646152714910472481539448334134636032583326130532994342249960213040911466745353740098626994692465091905357242868351995989096789919897151142486322417233960045003247383453238843902586463398952888999731864323539929298752131719078470918249042111436470281729455540516587453930916969355559895684098876262859154011826188411690680221871481111924957107607250437319543934613730301580144505663641544862709333560082127345372065351481980298446006140243157911007663616820020868175700381258025152235158591190372681720695670728999851513898340721640566755214078019138748579703103754543106659368765072904685645871845247710142530239120593287683590191467997606034578052682636038727749482232349948896972827695270654372841131918053033487102924440393795124765264880947228629230510389144713281227572128367990022300488819891115735791690575494083007455820296722648161451414445072677453244813672760162465725630152793216424631031984578918060477977275553423795967261470218152162688360683741184498624472026781676880708718218224525227970818761633530513541115401196194831383370739358446881608840195969005296063605244413486040928212671512706004999634907665627234239697821442098317173617381077145926876981398014201552567931311560445208643392602761360660498014624422818088599730476572654157406157983050619828424430024439489781841691999468027754122504276521129868404391573450744208532501828093918199685719803604741032595584344066347808826928094012853609484636763227172195911407470703125001
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):
425850
30
*** a(t,u0+1l^(t-1),r):
425490
46
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Fri 16 Aug 2024 04:58:04
end  =Sun 18 Aug 2024 16:43:18
elapsed(sec)=215113.781311