n42-L5-f5160-r2-t5158-ver3.3a.txt
p=406913089070592532173576123040391777956773164989809243724685345472186648674724792253632747163806725420606341503936786017131969742880853106723951896560666369262445080236666043209204292538673559033958662761170433387653723080259362811713423246717149083525269852704895429512501894631765429975989154525678103917062706341860472915659293429693033033456969272620160261049394162045236445797154660626253577507516293586959866515284005162002350187444109762966862923920392100233592846744805995102543707485331713067748720464179514437013537360287924954220773392567607926736940514207140841623867515068738185277869972870383408212006598882695280089044313186063892062797766686359166555565713899338301615957743424939009623871698239907881389811529716508006188264420682574482707913093147806770974458241498042749507312496906468440114514785601865981972041869845982902200803215825350682011186160169375378130447097837613053389199884451673124096918512963933566213816075736728330236903506737620909909946644456809544074955244688012630256119272700709497328695012707297348370284077976791476234519793997179914009222836496535940434956527120748110663738723926375838011356092944386322482441957709061831334590990043300213665354286603913101469317375028521426893328876234152775027244574434407155458705922147751145898424615533682654928924746973720646205353141447422592739553781088917701901546387861922485462529649577346472054433871624140646555831444556339318231788045141997386001153910377645119353509301211960690422112485417862629582601672537937795233142338543581139035548806790547227844872479087902817244249701485108087835654074191982235266387542201119323979419701332419004480324189172517270380912932525297451555135612430439983179737041741216770961813026963852685440163881220375181867072753110378816190459109856801005506986792639279931358536479506139924121985371248415158799490536069025497392201448800748970859541446370776928612006092398853001439609757069613186760836305888981593174222162878333470839615234954909080848216863426988686980189134590551917031542563869627274999332579372425326584046776726618859958079672535354763230542521808239116342540311181640519704537886961243873634219002651250542426569635485779563552024179326261387270423256119981185395515597010661476177972397825054199260336658437122114596533215596921889838313848607023944060631955924946737263028258791720064371086984084317387965955468593613367713851493500297908399351803999233416298430380223623511423805683818093415130498218138012509479304552667564678862863519141032905365986783616686089648602313400421493688721090625548430429144605533535318201745500776455540997956317604552452504288666172024607476270316516555832450744881674571541906918046387123702783794319319131600320009803122538476806601926410683763649735787293784876387895751150929843236232286203605978084179136470120257327726572650333894913677142242396326990690941623098091328263043527812608923567289064944047507538133346057686026990381930807120272978560897789329672582621041401022996794785126826114152889394103698207648356366948776687520029668440736764162214177065799019523846567923344328542054181139786032967219771099838034624551510162083511060849840884949370992484596095865676992849495828543016649945291616260721709645344149710551052548654742472990646277855367075917519727360721548944400407640218063798416357901588639914431874168913895157220608947948566774676692556853599838142701161591455744967207697815287480174975433954122916105581013643729847469006443890316934188114460541084162792184420309639613820569373730676883997925933979777526311887419165803369999485754662312600980506732684105486441694665700197219848632812501
g=2
*** a(t,u0,r):
21688467647462581964851607358052881765096009693956832690525728913667548374362\
83142711862542383089846491831800215983069471313398729554947058838663608668351\
74816883227766143001030505887923113006965099967251703840995619434401778240378\
64325459050024046151896883149170926393016350983873097417720221936218642938779\
44224802116320640464033980263866068325646223065454191393270883701110256098834\
34113793156811506184481849608852646374751347252649907710503661337938449568989\
42450498731498159538965579608968180306511006800740768119492821541303346400059\
96722182385350249507892940724060685855213855316374527531046955399143565769995\
17204476584287460618928172054469471209643829435774116525508347314761305477245\
49249212952361516187090078076954533889876729834493622381219928331767864778100\
89293862427184567854873975608511476785810363807257945683910983166279088868730\
28114034911913511962223370277076543528303147447757456443538412741775143657567\
40977659079196396836767620001626956909115194498200156149547948699195114541871\
07319265115723494781620761944417729894866813614135616298568329990502004968941\
66915771852653656251831828955358742983772739852758321660052797539357909883141\
56345892995610133699769307901388363383475988568308314616089020192053414429103\
28034290895213581735390138594902565047513607638603200794528550771168901369931\
04427453224391476241930182165320393135113524224730404684751528303224725669605\
01325357566696461425815994852885661754302806068460673861503423128484861542045\
75459750479949859547277207815675266914627208448592648664437287471059475140193\
61672441317031353852201591185090891562610816403621544326531396984559993196599\
68103070081017932938801279282895170511302659303598354167888728142542451103479\
98432480685389226463433717334813396073486904599719351497774078319090295147055\
53674935935223960476736203414099943576772579557018202875405279640128455724790\
59011004337221079920146813559091562410295019924724858864976731200051810382854\
35257510388271891618604128141517399575149202309665400920995882065849701604408\
08736764171777812186542511337574644264805502699069296931995287852357656465461\
34408880187916412379144901057398585981439700251869375034298464703872841311653\
91133616157139205073732288875808973194151355955119499718158098132066825668028\
59288040753888205759438946986087079952203913159367283821281307543762184316832\
50799661096119406193598679430978936251694116778585426476039592499148284603565\
87851768545115315914108870633926591913315888884294750437902645555502675606675\
52469326571811973833906255702170538560070955667693685782705033042424656136088\
34130341731341873407474937432460153035191385080335191071728322645718478585906\
96891157848520787033242586962470219325466318363873187243369335837623721970971\
42970565225064313008137918826776894446025309174627587339114748435363445606444\
91180854652198631886747973857409715567826322262796598898991681519724228603827\
18851112826779642022003241205562613650716151773215178250734487466523858735691\
20195105497572958521712715486537015066745257291620472598318843490047057271144\
67657394358369797444817581327891269529846015637607087740621022070314252711291\
48785475059555715281379962136724548859549163905113954329651916780147389942897\
19096405837188781276613427874420840431466964671240968431795723711008432977738\
10401446609691065146403801468326458558736541727223622800455591876154674507439\
21889320311061187985845692565860909026771328029687137300597191282459120675217\
02935548226933261906297547514284274680272108008700980434593538925922265007468\
39785876823429602503791416636347619845077917089452281122142152423599441537319\
6209725907235012616322610088520628224273423256818205118179321289063033
1
*** a(t,u0+1l^(t-1),r):
21322245867299048685895388847316529164934913845466004371173512102742580390555\
57911409035595138347241203977229480628758729771521452695670279233507937977891\
77493521222044013006641623049290264944933794339286853307095130550894055906113\
33783378127978611976724140281736520506455099278704508530741831697145532645254\
08581231348878078054697571591493095314518988529639767898825409117038975977090\
42168156874613938537839566970054008818704889231498220713515794636172134285460\
52240265169427834143373290272231381764750032952323006556499509357679087267601\
16852577054265536101568294445418010109065778960188090856038657840809059030914\
57814532326766659220109497479440906029743652203275116434083253270046761857554\
66804104290876987771172984826124157145019524265055643766902893894646080945074\
79906161185449744007418317483789894626200057476553777745533499397992950407532\
20885092483757373861547928752698140354279266909239975940739452676717026785300\
79310118869603962368604564504413743753051335679281204169536820109527654821651\
86182542064988951717766002361866586238105460288568598387335468883720545222749\
40832766324184832787917220211272009987799091337420939117950592702858432980799\
58583954839961932567878268931196064564618045046516992230451494522769210433114\
66960541142761570036293494603619032054216004507744985396497111827565674142296\
18611605046118449438595526181290592875796410307239647382382365536378529551356\
52334873104969879525567694752180275345693565440663026460464903788604254123887\
38350674017811869423589600179012832764098794047021665853968365168546275747582\
46747390713179042061076235986843578196638025882734876598691279587072113386525\
76521592349818755834768987512639904967959837664325586461489106091355055118618\
22098723975879839900261290588071706458737594765952983461226298384996838005735\
64963726885661079342982684031873115261217320239920334534169543210933040900169\
36063351355917159246073039971789828711059269119241699897275435551270447730986\
26782242858263548232924133482467387199583831163723583644656364357420719776191\
06525449204524528303467684692099650271591150871130040511004748282618033748408\
52589593280428142751729696349112305917963232517785276769178978433075738925528\
42315224889945484913012606699669609669297017862068701411472501728335866135172\
57536460328400412416409021051988048583404972787070275276456670080546687771144\
90467209032582680760686131373044957966018231129416066554305340468205818259415\
61040012603452955983101403775192371787199860741783206809495283810663043185549\
67155585597803891724140484029901242411777074615143510975867612221820862692889\
85148778737754487177329957250673771464240686270348292911042478548511224726107\
41408943175656458546752562041903179974754879592250563068528202587082233232249\
58567685136836210161846659409439198292152461552541943275227257373603087237855\
78571797068953251610986751034301483972872406877496093476682253501567534312205\
34105033998560098348085738070759492594700306808939499818733342274781429601317\
42931023040765910441608748433293425694136050320467406456883816114042510337860\
80773873628115898426049554626294606442100022878247868623049560159183242815603\
63909172478812748231600563151301432649913249317597958853166237134704000619283\
54233614744253135814156540724571332806920618175854160334448328751535495085055\
84709864959621234778078033713701809164686581360347426543037017154043244731516\
23020645108810623835990887250489899305868997912863151867754086739228103628168\
33655210639611687127391960408039324451149314440073759376598526073514571977323\
52810130310463624225115764197835183487468721491318940540342378742900764288096\
5879730535443051802913785527926471274895448004826903343200683593750524
0
result=O: not congruent.

code version 3.3a
start=Sat 2 Mar 2024 18:24:40
end  =Sat 2 Mar 2024 18:35:50
elapsed(sec)=669.701178