n18-L7-f18744-r47-t18742-ver3.3b.txt
p=118567190172708094135059675668139503990754474605559753601468151460724845102618483320815616424778421148723651924329188380250293179227905724695289391310816827663934830104242729877068994434919175872677911857807066655382439460833614177342442840288998788783006655046239541161276076455060844713645806403318651390421671554672886395615871647882971242627470096804916181106269337130714741341988203395829590332378791284167086397946297492122010948045971503868704190358033285140833278035647241531663204839220924459505144003380133804783896049418167835583956979345037229441283541140748894176006696713003486497567384655444358297280439827927927940829853694773448445934382157163901493384287869055468623242923090045952877363685967454661397397200469115747013161335437659497541249711952293869895476311424611674949202756528135723407410341158331900022496928511325516188625313006771144795292305459070237332830962361598766827868490359869157223305932301989304255955557790918345842306080432416231483474671566264289393796021192552520379691872547313844162194466067181046659799100489110389561047091343773692653018462244141358903883042734942476358444997138232599288879416235430189446105270688169391362667176101852223390529383862648697521921125978217472326893151949100904897801815481131516779199076571359717293084176871943644862712214866639034424803801734726017946424568500219008395729729561027798067222125518538675813584427036356306894141019356040729133293638944180763930980517692306484560726780531398414713334662406793300841314226524452594134753172901797336424109901382689602306187708869105175954780495576165668554300670807554727321192121021211923497557967370202299159901413200924167838652371928153553039847538377570207793593697153397515016870636303222370183470843588071275686429987577450890524146683624268326039606754946391684931289811252854916017966286935246901481866169103182615394966758386635208658939251449632608495638845186903172978894715124839338185851049549188469173828888111114793744954428597194675835520658274066798588009463110484995611277974720097896607606726438274609518936965078733430207923048598877573343239286013265026969198074023488826250625020308032348749162034786183772358204319650504662604409425737706799353096427090350936987389147600736954721227604509742370940176258632505891510552095659520447111819057074403931526579291613221052628126761916732174195671411733649130087456823408592663244895709860632195070723294924041184482503247353061868445322188304910027789483983765147986249944693686864373741813199938622747251842636489690030316456988690472646315664998456572691417948056949894000980766656431701527724850833458376144663778578881674930562489019724270936245690082062067271625493786559351593089651820587125998751231479114476740385872141099787389025556931431809658087477141950594143825869765899306444717440073469569380824944808405133562839965179689480178171724095965726893547281472108215838198368552292452923262293601622634163750120256755168271617964111800973639191138612772158746811961243804063930958761685348453863459414535402993976198614901090009269361169465675816816071020203737072636885651246959565086359399675797070902832845089186837924311238725724758539191423973685449909363204002906188713248049155102842243300640518771724333864675443695400990196446283038464948779572124382296834992622007301056078267609294158555029016191745296328562879279207555775603116364919087456027676190461429236515644418554520865216380947737655822773068671247878663404579647982027403823132301730511923553151880364084529367078579653371379341695314405323086731487097757495277008377484763599910097603371428238138279756492022778109386907669905430331652455680464209192582902109004584245439159260394459761588277008645154017830921675179021178598988518972659787046187016936033751593370576058754359697254586919160286329296218019508501437869937606950884290473361063446572591319352643655171189593144974185278082377528118458754177469969084287808521477275004663740187692743088191535695225609620460036213459149133479088590961749151162562268057270895530065304484480193819259490321781513727653730460677496084136594944400060431360889722985956506931194890387320730296341696559377182868509009406114021096842280970769663915690436243398727121119314186991730461555160553407309361787827676333914973076726036095870530141351179445687308447756212119194201157889886398474079767167133199586737913866771426856686905233455691328277970808054965455315434351672878860418138211157983468704617597970687870310082260831335440320143616676865559068099371727294053372555939961507961093752728536206998305152437658229299092868898127260309897486421480027921353161392318179826366126663239631496507228245332968120379830254639450060260999122015276613113835749001450190910949611602729772322546394519387518889625735731843425480771180910079391287733652835756669421340342030704634568776862309493079681591469438398741067097235592300134868603074553455301741660514609499317629183690708773373089433459437273182958307561837263337126188699897481610609961414280852010780946372472361674162787096468542948260187795387742894005405902516256296947450396733430776009817746134586897789391472253847169718087749902273523346300226753677071023065783874771463222754223092216765248374171373222462460623594186471838439840664211306118238151240966849652278534154830573206339994308968241473555793037239650917413093452496998483940256436494463250045540102034309715721295936014248014429669929126273845019280256407590940747155331775060480609035292854431988359841976184174246789108033845967950312169787411806863735325650611537993449149081455805826421188400578859986630849048783289062164286653414994489653013784731876140286121294325714112095962076289186498565659949954850757448046629433373540661036222798968785685052795155671601034862725668433234805033799532777570162086744234717512657597482101960381295132971202254413927343407817675625090660543488860845103701932586333809270738305723368920243333246616452227932276123178375770647218829068827575600765762939517065591834205077426401898211692207857307196658015142108935503082019498426797203599933806084166616342145480639177433108408661971559441625011040319169124568290714725653651216519205407617412053786131310132509327752736317480541225162861782415849636115483684343151941358046653891543198351221320124967222659587666805017007642820710865216656269477309261833711811539379601082130172648022492364633546043886057899987624360251985101839445338607896503140586630248573021804198217364731777976632037982667588865350562663481960098792793664945349685962665203701427412211262783230764872405679534323675845187397526901029953311865678711241765315684549222339543208037823482988269020262114819441561476720306251946865779744475054132875406462848200524749146097231486209693979456533813462393289042129687670899602552245314204798731599710417286845313691093797720132162353625216556097631204288556961444105689553262095264107852594533026142468315757622787006653264209563942015884828948510902540041728188525809733332317660040280080328025013975564505703672654876298939183896640446025220699877262602005886842198168172211646558966308735377599421466408925637679557809458674644031904350709839251152863685593404965193752330430255353707086873396918783665828180572981329029940749318129416270691571815009667015112082206620508731802701286163894259392391633282668546673478123994522971725114708875339190557341758079495816656678295158120920529612090522901448469413112864579441702774234980331905293595785063258431584395785983325404253140862542068774935236958247465954364214207163378632797720369487249990037588711648066945108458905411501898396673525245936732991831482759087585830356606871580140625861908088919995698185296895448259097120116748139362329542333129463441482216541879778043048173582917612715574482225145424643970080048207572071385521530182983121060394872142739408897360169725526187045889466302842634143921653416196088045188371706383747318574823534108517430047337438703625571575327955341770953559095041808891161160834861181635205353074994509239151786889962867544585948985558089912770945257869252434519080858298933191596721986563367577979206573619562376437037809635679559092441415074096226532244212936327084659403740976845061699430281572748477025327565992153848437391911253821528270443733747762188075804757351762316599225092119039882097071808304326508432037397543413488116905195032392446977791967566244066822866468392109559498897996517143639174120318532081085033386597360892021371945923824256438888394358607721908422408503477803246164505371481272850587578504461854769247744933580103077923204836298231074138536803399220131363645921841393178493917991561584450756093643517870671047788490859037116083384021635026382840532592933425078594014808342003440174401969486047549078755022020436377057783136909427765660754436737893619671435949379851599502817870896313529066899414486915716303680296296715817285751219399813372666032295949456110101423177349919383707723521268046322220919946510901030458880620572211457321833417982195057024261291374831082321788567548274458243327901554385902105067886185123563267954007736754017349928309211745615843041417042816009262229984273362340439157983751225295938253198857603066165889134882975313573306163047914438758933415102948844498864170360101434160644217763028870818718408711796538668757237502504813147588062140498461392782535323054848375440781960173904426114297044495255201613008726876589942210410680820139155324408351055186125490285112520473709243702114293236494162514193400664779898764094153091622494147340525201226130210242455155105204530501366252567309805139104852209101499122353812054803215789664877683832148396334219294628963432600233817724867836952274251510087789402978698100891765288310104337013938487187759913086602832673998351525791488175482089992886912212073300582669833057959976214230745945370171105349426338636130702034284251751392250344346477506552577657262749826853508343557681950883046255943443147131662383409884170608379468597828127196250091244227035233322418017120309811495216595777752899072309577072296282949281639664485369790574645674591955119836154060137178717241190712838071981797215371476955913259588596582049080365563585417576689910693279596684025139886226255996012014667984503948235890781551362646248887101007213553287677711519247436686496994801886633134811328711522615915983195243266137368977646111848859300040326989238063669948295921999145097339213251745428502287800223792222574848281277486582604924994220113796731763497940300204481480134394302144251951298212985288064735281969339964695773244946764331215777266438572853704283637560011386950832559736932600601599394748471670662732095052427716558223464103498035947270983927991218883953865468691729128958681556901435491390920579424080164330674500710854169189576873894125351097071300097260216661182799567679785529339778881794557697311359278260389587789706379470480370437710348559517629942983099528207393335444841704515341569688379897245659834029627856242026152710116559897571343950295254049191820056557465593251061008603643258112744448621746848933320661953371851203619485368559478982877737822398048301779842493727477462021223599730850223896405756348565816546750224138678794396503017558449395368319442363122937919956489720013751855752004966825473991809550225072129973628695308574906701396952307765217940530866548595001913868801002303746128584823885094760685311516270076121264074110425371355679006268686005892163454606182874810533430792467369177176808961826350093423601737383804739163025246477305663254404186370093680251289289535603162443383707894013050615097368681090876160192758320195841334532149405591531202384652986226234891433317838776648371615140137572503492856608576019347642725689156536274451626838111940154259314770968251167506018914412016703465347806278053561735816612426298414495075399350569704763263615731674253496483424777858132398018749209821673859045255146344080771719876753578758199503999369904008573858432591199164573253222563401439261925707703552968615959086730446947868141074215499922468771026479624581926449428031008075378295657345937152482881386151463483623529725558835296392640304399680294271246323063415329067669982333734023838616334273618490688311802467940533329842080972377788629484217813297233038396664587179826324601354359861771850141113582483602980764046639526806103412360654044897699944982594172281649856804084224986667164846598429602576151582691306985366209129159113508897565468164776868205433584820544494508024616090319728298086285033756125342646166387998168054894370872904840623829438722831024481917030712122851295611843918771137570952573537720043222672113451054215983321493929259009662611738979710094324914160098594781005447486219721376189481039389184095676257124145258873158411506038131267859767256130596290099489028620057581165166173538368290254996660071489820204166483538216426768182930505162973185615265593171561416763398350765082301026411111769171869580315299735385028080936342313671158223885916905305987190021751126645192006680934687972155259270119640718519945597630523668859864048745528733138761296055574524483894843591928746632892709007881068201595003639557479928026956096901401516972814554594713315288133488455633521754458598322974659130205899899111310905482472000401357116483398571981288256303858619709487583095131592810045698098144433391409811609858646373622062389408247017714951004430749529273571477384128522032054874019310171134883175788893478797577585325728544681971679407466250851535589970166365011406428933910054961904298156156055692636500148064073660836574117519711948957320847110750271683339984828698690933030504496378914668884808991555520428200781740121529814412252128122497461675243214501739820854461664842897649285482143168691530193798772469041741326508150500461008241959274477100047787909772536999410709936383584948762000831790423625382379057004883042960111898882297747235967324368087040431985848057677425377035415677323950615339242355515291643303560351511961028575558869138028539157838511289744209907812351729245926525213743320614479407379076641099422805972943914366932853619404279672575849721744214903729641624760886327116678625466784537893934798689819341281404198064351378545442156384456893701833247851446572391138181440022733731432328781756378139114450486447505407038278567684091311014277422072871352315655538952380858056469411350970528378519628713841514366870366808772783823079521545496530970310328243324031782640015508087155173037443092314511527639174224303966624533594753375486625860332178927057041315270006888159547092383051083510168416673195501218667148703948886246698569013666182112276696683874337145385729148579838970629452617760800253426795439545553660407748216037659901029331852774472900455469912880662157586081782356636866809675711707688149554348671918792153498507159258280803839932470216767426421115890190766318481003586929760690103511735524786143727322628130502967604879986621039874583724434776301735090282480780221762142319281759867036116726533642012195259861335115971153703150750194612647474548475280573774302624436569140704808899687497406089101092130185726741263450044939282551613598781530000647009370853555651413856287960034266847105756153903295086831497760504383021027481773715244181758758621338132758540477114552601502295796218845719759344740123163585160607353719091237973418791688688144118656669049020516771485871242022378275591587077153976007455613235728332562833430121069457386346605454521990809812474682260228178886182982438085326986036264623479813093883321868662140693710884253994858013363804553549330719176376429124048142586882693235589467880575154527402076181060232848759975902203169967883895508753913686465042207059437541036462960262110433841204060205317603452358037460008701461553986691538350086080298068497583671213493727204190814469126311574372499795639294862529990120165038380667435208621653170836343749229787811544653498362911916627449510335028031465294941147316898095209249999798235052792154024035461784384916507254915636783623347855241701153670437
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):
179423
24
*** a(t,u0+1l^(t-1),r):
185026
34
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Sun 9 Mar 2025 08:15:50
end  =Sun 9 Mar 2025 19:14:24
elapsed(sec)=39514.202756