n42-L5-f16756-r47-t16754-ver3.3b.txt
p=73395923678727020729836245040557483298054913183351914494348063186177320377496321688488201539688218955141165829889325364745989551006167843107374297072959145306418542728726983002461218475485165521920730357895608894632569016696256622088005634757166145304505514979292395813158039622986260812017802456511231448680136137385824092293181985262693636947219789522702742294158276816386410747105777533262775495578154611306635964544249766149417773908623861261847563007644612935491675724764965746660737948239150040770690331417933426976208989840734294587662882323958632040953490829358505996824794635445114610725298766991102090549185947004549926800898305241072479964262235087732356179992493291035055377404959219080842269539499801663818759543010878686427265076400371602840941071724499805913875465187531692666876763827128241315861989669960334907506714686696108884788911942543760133024226192182836627950907432378315188803547532562263785955390741986504205030849038690415085198594609787292823870898176859394026019391481276610800833564447929810203349100016846140202528848965090927498206375044141997760491631992318593898266129373803297338008062098979320369086449429269040822456623411749638840081765604612623481188202450233986571314949432189420992341469757940180765087460322042126411220335688348620675976689340765784713738591085699589855148588755146028098879486175292597885540326742280801943218799599099906387652194527716936041228402519158130006484751020396717039964256439551022691846802395499520631818493307833289688917652678054799483772488012419651495260106445793376722471717124833647345684575177348539503316387692470872655740404624004683614610377822956875493781145767755855685731985412423903298683136010208455807397404327838270069076811074781918709044372274999486072280535850384552831778822204816252142280180317802719098690088837801669738883226691479263320054211521335867035998512587651731922746171035566137624881042491639969776690855961055071171835758807339419504469430233970611550044859584887425957225584337618799727360079926643269558708563803683104462739240940889414379021251498498735561478440835621370718342136423382909162167932373043499338074223447592224032081465291109483922744895775680415147911333873155472328675117256915717546551489253997370890785047112309545865786060311138789370827152518116192124772470252344010252602040223398627659008522741177323614899060379340432209330762700136798219936728867489085625321962165149486823651196152006914411323714252536146154408806598145183940418144642287815849894267764922166134701737029576295914715912845402302148967451043397068933594512349052914897285783688016162905785415660147314100203239713977336007137116234369292348195319863794274604303435970097088780493588880055105351346202799046310499672722232420286041528625459312782381872031562512030099347640580879933013428648460440282536789773301740625582565234668110677212712624356781435539904700910953969923251830187110560483735114075932505250002863363210356419334062511800173843902030369476578963010560735273327194438406487633748284838274663238576664462839945273241002295300507479995414188007580878555631063924284975362700460960454444996718784588348247560321679192439600349958239147024487334060985651940396695520492390067693520718874832200822056165204444362836512761179259659362285028642918137297431718500410213524241190146633595670911563496260777669536546693617642796045660061653545317782823472116987743371843775674487044004731742803254861742983528144826470413669421943820237074684097851759978093912886535261141919725055522524310474019898518684594760310310084204834725067140578201756752591243398123072828298484263526214533210786634603327359870413049859049799805897943818072052427411486938131180964379414813323377263088374802465964310578299046835325905370363260709049625183697039152070193931251031792790570684620633410200855021983259150357036561661735977428730290132443973564987716453639270540345857424655126044895497861347831841269295091308023071713012455642558692236257134225550388247154847553876942333792837156536717769700173728148483536823934181922428668456332787434187089989807121919831013967356279519629737179443005895625969655332137444401775469116984103479994902900707650994964663397205076399390966592234010298009638786632934866769879262179363314410983336655249329044819724008329597183712037783335768677005884585683299323601978355834297480474930702587974678831472738966654540918129183201729637557102039772736811139986584761893703852343604711465437011978830030881852557528130301638693807852163451181118863064792438543765744618325443545798897757044717670355942985737250886370565894773084735244433421250412731545766496152490042496149093744283048835968452773656543899726507990622308671008291115179869188178776160747848642348767147889185931990329049641579172901945652252128376884980770885262037932176341248598374187908552357970481669502398022152783047387543116417280306607712040437466963124579002675608584729913481822539595235202725231668836995384029173527325805924840491086166927418150136737885850198322328109632089725675310807969595485857688263035513693933983455669062342054662205471204419275716197766338959819893543212567115413384116572524364595379571202939672811907374287240738221381997472984408689555188365538189882814519899747877148828524847788740645544167124622416002304243803598848773172527787074705958945278243450741564817374241183909899400156590871245768742185199039031455043124228975892771012234524387466553088487855581364207717044770810250036615334281652697692126768288966506495530236856576219641759061275436866163222859692470432924650777563754009328469350205804450838453572177705121650677593206452925307105364881419349522100223899460427201696085590487586396959322308828203644496057666459449097633470141050847238902932917765891101764915094779530173146698407800322687384023827265880646650261230914149782090695869402690685407791141154973884812336012164216450742606162009886168633654012524975273846662450197483280666330106777766591797788596957967025954399634504532241404747473933406047666178836900263909190103698751215350897376483890099153990333731544617054501297138883198666008844991158815386734995399911744766842299113943356372700134820272694692056418946236120803388756996840899196101776898621070176356254816404779698350510827427617434284554036543480736815500621577173222052036491700117161031519893079091838146223940841632151480683015198086239136676691588413240394622027006034372277817774044023357127997888824761895968599912840106403864460230232231911751731920510875602872839763175959926131858154520312582391632173902750790335656948898127279878709683479615081838852269687730122962137168954013986117561093321977917099406565574372946608299138427423104342062743701697641473532126975117817879787153546729455709516392933260716447223744778019532465291032016212220843392634696012185603221188157467441496593907251373103927977359412967879817009597407013790387594562489928218256827709408082839213752278703489397939495212432390869267157764016620214585221609722010308361451881714773612088291997681928398539400756530834598539265682477828154477289814712945635506556309944228910623634505385231320015712301868700311746514190810370145467818567059401039794269724483862839590866604089676954759396078399115518003083819296447975716689734390373402302784746283493995583162115896620111079430464059581875437595493377409723301313081917589225723963537730766415034110357522539171845809639028852032302828193608184467212965839955890050084082163439275755572669141108094941048823967037917828698982750886546558646250901583639179210177264004459507349056395139701070525137902454582839073325968812349506076841496913798545919375195422886460448097852675780038377460741184541768281061243838499904280351639267750416061527051677724458851370156987268998785914836669638107361806032585880652061817215031950048726855429744250644872045520201910281530026918189563934081347768481428780349604240140708375262874908462245610983176289534148446838523589037565737914661991133396134375577360359543763410311709964005285700908293004563637774443272048503690596986883567936338102819343656959849277554381203445659333627630928848460729325914249448641502739633398294494065715432230254830361839622808010641280165735792557038141463579480182745576523844777312677898389604300060330131397039292377202066724080539771051284290896295870929388701399340151690980857110340667012495925511178953480774862715187796086154788167523429026258562891409346165143090280172359770647658858051175713221220081541575655346283595479891186552286190223032847634969561015432130536832725249726412129641751689332132962389337710901784363514114849498689127794816707521627470238329313238328788841051470575332245676105673357957848723868645785331342115579327928106323633430597349493094498007517506315827502171833690476613655385469460936926315599343209276930616359277404470307674769056022111928686409776114666360194356391091299911891078957274347913868646408651255876061233431448638849783058098615216172698511044754151197864377145938489114483983132221598791777891724813552446719841001657118116075135645960298927248827797078061058372650319608820224245742829202422910316512558586974863442362834620984534957388279591527041545767115598463572630636840507603522521306924589314109017069623580562568312380034859535755760562934184480903673992803280358722660491588830254120999281794425942654883669995925580134476624600560462642013193685334397688730453792043111597723875176728757095782910686983847207309961551544316679101578716375715580871759456624336431327936838279486117496308054586639569279315145338030681564047468669695868306521124103849051086371066279935199583379995715605307871922540200190074132083306600738144331866459529547889990212267978382204466789792198750546028310653393413575758823979843097606073971908824252482703302152946182297329319818095654752255709467014058723514864624832473439840773180470661711237615713464752636671191227412465074371781261453847649114865352128905597158565282505806993333356148975576819792221710297141490477228228005094963144394081061769570319022115894030282789706818611359892597107577124851277397962454047179813030463018359483057050810534563359170439479186113433362143932393390960212162462181261150904882474720694150696561631316696249116928249684800135613275498400125835881505277127963378282642441781819491134116012693102689155141662076886077408957996140431636637320247221129160749873120508962048586628059905142988947095678496964005735154833230204021681558588528702111302541240042678239640839322324619964872560286930865717088641392092036301309826683348573172347309080640513388371132910577105579419435252677426305840540362242897364200799499442997531984610223993326884408866366057196265670619715770584199185693629641805284648690238061073895078632746800713249843491434511218832518083814221882105760875138637908135101754124398118969812715156762775417176874055726450794977842820882635568006754627709696204243064272818072400219569008827858256107207898579378498058161010469858767265431551670645089086261152611235662082454703562173612557727792962887051118815149461407181962309670378766954084442989545279556734708955748528598214158466197226503239820889988676740258951994508017636562091806358506970699149965762531868315788460266397778656830069212044839715851914149187628306897454846533077915550898277425022311079088593511004919738620639393505667756138934499630825402214626556233959971950781690506783895702512043682335004373603417117281869408066515291892375559582873434482273117420764292432035387765702981511050117149795147269620028681094655357095977450978183504323395284606870212791359902303682819611396441970949554027942134475393281831421927678384925153493860101305386548155138893706438399919810382293703221380566915565064853649784351331713008792187190904042958077013476120287194248703599441796541213989257812501
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):
211954
31
*** a(t,u0+1l^(t-1),r):
218351
36
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Wed 1 May 2024 01:08:28
end  =Wed 1 May 2024 06:09:57
elapsed(sec)=18088.798792