n53-L5-f7174-r2-t7172-ver3.3a.txt
p=2729712898317156480949145642491886777696217944137502659524781617218943815065377502058073767514727811547715427423238818219893639271350079827275667678199127354332450720225478101094170046926206016939395698870969110016225325414952268786355623739303390945020052625763733240127578925347816412654962673754806165712374847041642965073544396478380361650276870043741908636847392611319489808233334726566011371016697318459334662501482316463488240958385845161916322146061095465999273862656854013646776604895413047546775426255732776007380795518014532935197545380039226766510504481524054771335100618369746578549775332933458248824861328507898338937235817567411874730321429212945165888159092190270091051484040112980264975442992783897559104950989709136258126220557635829452331443230384312219873660750144420908354461492466781160272623428931773150763688442327750382487118826356948548621754677187566641566871800418326502857557158135167190264187878860419429049990171902606885187026800742099841757432703032171641342722991166912429549938281598474715338722734347873611091246712508060919925712766884160607234558058707048358875864714728842816981377800936078470302126613903797070008099716778297158125772300076294584302307447089017557145009779477956850116275935209253572951345870885368603175418295789181116562715398130090469362723272197705391547527695968577736932123650810574722048520645891463209322137845308370618018724386842711558521331280802698083254077741373355803357038068101584518758260901197199274218039118086853252230833847640064103999243058424574046470224759133062237988445883393223345557307193479837338113657768085772779314771968225003321798379658738724175263907403950330111610210372538936193480198663958314433866329902516353436102112558495893295103173166125930070369900873644429734667389785978275036968396347269055616912031564320576060869767717125824491270377251043382467364170793024092875473415210508728293196780743627753370765757422123582313235034569669896668621460547926736618154667285621192224666700951286389269678927591893498813054991581396582588995258400067262021857399148515366037207996079642098711375188015540292838062420088095886739860250701946820629162989227839093674817243995207781918721787160216271841803289197027312268511860702020212434650108170804796165506960595754348719793968504658790064984584918352476408523633470343887903200197817087141627479797292561889248037083643600089702646703810432854497405572688489738636848727736987944163288181229750781381763818139726964105310615111488211514365716996286796554915624132482199364259355570819966981934197934766158898971459768970937754351189288630756045372112175975785859265945838254272102752428911637636956448091829000755497360045174342950829108275729687950102354441699710192392970578480255869307055460505082227543289523411853075634523969171913782531335648284989257953309995121629187444019305952849362802502288804297949679302543785245298045328552425304323128352830285885072342408940327002183878126024872592526917158931535669505598084453058251553604946748873894125200950640298323360660183834221757201007048685614266534075220159823308318257108395824347739338116504609580470804140600662519848337046200196532326340923985347887735661165921950179896183827394246171178511184549703750733315582402371625447013941051747089089279269344896403955117597387365464887224416533634078320618587485414089569178617225929826383168173607155380449079640640241293452975011989226152709506883471203163168189491569514561235617675658490295564020988903351356487029887907065310397848377319413506192901103872032154777826671319508786835681768052718350898075544317492355529640915151350226218615514957155815148150989957007464042529813237726119643731271564035004670726193207398835971982793439063660674888474022447515993803061310307099563346762791426051475774420654552756944701934792615659452487777098697566841970781062604712728922681245565202584050968013459831487309467465461054920121174254297346458532564205853137003040317488497337283512299376664071731088840401621908530227623490903613827053309691823073817987148156969269810365306192613698302052842528249162653094933927202895370805003070295581467733192975119504973739671490086355460202398827199015299260322657026923572540045341565885827562601249764086798693191600571895117010085145875610250222402472858452920455310520690005500210879582812473972307603028307268196480421806876477643897505399470832589821425795124520983372925613809648185791903670132016813295307065446331109718765885999016776717276123924959009429297861239197316983962640858920164542677359614495242551399931025936578726847732708569740561760755708955176766525238834387237275350266403637948541575148501570527163291334084321867655364101471591414533063590649899468576567116893851713773283409229754380348543545613198636182134689893213988771362749747376221151468439310402612777983973762250694327482967313655912118242364543463470037137800528848543123517949766417191648751976652880753828735146966643063580849421102747982699258107463257290171777510743935803322712769581129266249774900643387809395790100097656251
g=2
*** a(t,u0,r):
18234482160758605292740292891845803675010735866838517765625541203022544684636\
72171374793276699838178113873905518723530570888951033261853324620146009037017\
07269407708111061937153090559134670561931551632684580736549083851737718811554\
92855566578546651512733951540101738044052227221323413636535150660682105186958\
66397823817500669127656847558081582384949189219594969414058264361419191899867\
59734609559583915380873083555455099018739761014496020174456816010319356881177\
12875149402547784811160467720701359157612459847388294943729303714060337080007\
11960313866203480029016993658068587251847213070990714471249922399550110215007\
36744327609041007352613503113231985471471424737081329027358310042082239133879\
54708170035959191796435694821072611257030204283153325007340741574040778967205\
62875605381096473166780780276967809815062112450526424464710143879474937255501\
39537600644163047933212436129451656667036267944210390884818163429168309647750\
30787601786053934348309413993049339028957226942939650456254906564169389580994\
97502939358772107781109846266786544379572208952803955384694510376128278619285\
63268478321630830372907762943886700174356037102530041816182057808773644276541\
06108079025016280158964509647823139413746554637281728665326912751758776723247\
19781386731499041751426226921179421587172985863893885950900433534299145828067\
20155374850090700992827065859874146391432841179145549742382718808066599157283\
65078904109313210922492955762023196137239312374016766425014294918584585305182\
81999729115177650130882017972490197010223562821471494363027615463042110139100\
88557497628185010667319483228120524453134185992338908129621658226767477430221\
89613176120374677490762901458388205145556205288560093772447727075241540418227\
08374880924095316211189075256721128919674972121287007093783594479062757816377\
03348772469488875997572915209723708496614480866100483504005076016861200369697\
94881992660897400940408162413606198304998554495367433392516715259579785529852\
41003092539490974639135646015060060927317746794956406077356235459308032145523\
63138485720712073437637291716944883261124493103060074263120826451285494138120\
09219391986255943809156158256966188480523422266474689004761802808768041965145\
74777918988798798321706153823024469590324597183614244595365922948949501906346\
27225809760383855864967796390494482237096111207176340970272545945424089378715\
81897171193377321418142106071565045914313420176887718739248599213679981453691\
46804266922555911145409414950128307946701076505061473521963018230517337612022\
34749089447412529159629895351958009868363692049810917532524952130773794393204\
42204237941445129351256725864199065944448053450383085709335518249539896518199\
53853764638622512973941486907325341772504672236510176461091153844328187431550\
66837276705540640851850434642481092069711304761739492799891740163911785452386\
20114068384067309322130543728243128110767412482972126048963765033743520715289\
21271030385774099248543859094279473020103287849739690630971228324729172138437\
45883058818461489180798066216626582722973952041464291203780810442824776127563\
42350277192800049210028012601338102727085219903300447622470667619699565957484\
08410664289877861825079199754497165921242563258689146861731283593995737222212\
38900742165883586272017065079669935644234724547127920210548985480904478424579\
86053126225670555116385519223907978420185550547601305446659102444675643181732\
16440256611832211316306921124023956339969579794139985199947681184026587308008\
80307000995059815876371299635058036843572690539260733987151743676602058743870\
61333359651219196273457627160493682221368579373865174793915882164414318696062\
35421059215858399914463604084893493800131321101951114035163991380084518964861\
29128098598040991524280104792201248940477538312004509706254242242928450601729\
45253308255006469949406838604449552851425083156375446726023858173129972412416\
39060892441467260514261835101929974650436481749819948102920351072037555326146\
04663299116743352272426692798468664094440187062743429975288950989551803093208\
23162213053862159836115999163673453882834348981920524919236140364716108741378\
13310415414968855472233324024536665950465771298808870440652267415863371534107\
69774205095744842044577290737982932245810055537768544741520241656894221990589\
55348939849464567502881660117328118176348424099815270519891820259381627368774\
44907647148564851869446550864147427820923674140867561318732613501478822909255\
15524892176699348706612353360684651617000071243114318001689311431002484498810\
89916516481872312812651197181491812921356118473432068471404507818726182987709\
71307783807745287044093758669914508476222482822024335153925325634589534285449\
32458669525618481358205808003885954137067449993397795763014962577219919904911\
21450786111683270075937832197830230649080864785541328450091468340850929448005\
53317365475926072827088469616688969665972848666944499270316831247315729180917\
45934894533569329447318346381075862216552214929498589951503359798480805075327\
08268065099904439666840213663204041243435575950781737175664720074132966356524\
43104415785455869834747377176949116619572130080194349854849633629783056676387\
786865234375668
0
*** a(t,u0+1l^(t-1),r):
17906916612960546515026395414746777261687189713542017446482567408956271426828\
87641350096391489661444375301320389644664752250227362005652366692837996898627\
54444208767246791363431777555078359114711224357845935573617064381347220868832\
38492891729830244599331545225010090055236917750281675667016555139831528447073\
17899659317785088245124089817517242581626748694692065771889553025585314201067\
58062730345938695344090932353860097239960004828606870111442621710732781607862\
56955236539028962329522854528113909591906846796237607010608418018598175336054\
89589769305732758830890939879779929995826005650553755528652618404348611229109\
03150118131034282669632422218982309085756369202882263236447681717972977353031\
41150538238906032662367987728478492491933853308006858091041207294267591321088\
16237121452094740115880526739058208441138840969379243186900979618167004250911\
54995009015824789587106823504371686786790107442218587455749573666967681330724\
85324351454567935527681101166826895812868174961928758531891045967208262822054\
94553784759512728599413262202113732205088875857843405287963471267575076009358\
34587008651182372342256725286212088793978383741406747651819505872089087792531\
34142065629357305066288500492473023136852903955174871264153375396936762770134\
97270343856082891300801803683074402037702812465141301173339347901946466561694\
73685517816855538699542747311493173701766382954370479986531532242652229112542\
02831977688187823899933202065699426146749983409214070022169726746394443054191\
51185362723887033661464975733463427004051882052223503446326520574484467441991\
28882812042049950595451468559351892277329380255949586426694323049041115560217\
90997370561326030589731232569914165532162980043855421429230103235566542686163\
12416050727854082985838373306001587681596978610126162654973110745905941807699\
60174842425126800380850048469429270619429789593056762243454086627336747668445\
88985908960402238049263105603780937257603370881678198062112223368689130699974\
82182677703452214615678119439939221509461739367502099381355824043871360909376\
50028213522136407447739615817838088951044412388633845384142608012040844542824\
52167546621233381944321017689475777909017013483244604771143327309209334624454\
50680112060856304938681492377101874328222957713249916848143780620525259357130\
47096004794628457256615081485276018484333905616628262988770643922452399150355\
65455904644993297680091649076267470239205993467123268702016588449362376996439\
52550298055683649268545772765395464091371117046886716512586437064699660888453\
08376351313626675342391034956413854002464943090832278295413725445789834014883\
38452066002377252776084449351668543801733417759657641055874401155236784604698\
94802499405593366034289843429948239824495606268189634368975743895028878675295\
26714451375500988620978869948304785026542838209133394126839792735817561761624\
77237767754413405561852749529532173713567997887469632766647050691819984415014\
55619454989622468723120915517735530390999635972199456667540607456620264854513\
43262405067231642069765765625908739919567234340120621301916484506726127454613\
18236200357001245930805952494727238606239377629588463533444248440902567766631\
07660772117005804427023884788847516234034613020509102307328925206079646134388\
21435459372484479931801189659077062548829310333706460566048105502205595578629\
32411453299460904425672006902520409945571438861117449660192172460639553783257\
93390431642757381172900209966107358321886293929574596244259998288505151607864\
93235617743651555710927503833230646960155217056519523196963388999776872059848\
98554916064670348436209885355215352600625431241400530935342542963855977641642\
07239842583238189137557072274985227444440339285748399411777811894214737187049\
41179689641189955748394833448628771414600696306399638274405363639762071249602\
57614027268389587255704919348082195614573135554763911754897681080199493866085\
55724469223955872600831981776745603848332832377068691550173278897090772895137\
43501682964945567501065734245202759949031081905927679736211903965787399444827\
24542532579840683910916310555942793034639719958293210100327706705469711578359\
36424599569190971840995599640862354586086146664698531450700430276656245099363\
24808201411390144283297459167839526277322449749664918189277363064255403631477\
16630096618635862697440672211028810664198452409399427336899751631967586158556\
94400324145896022195145115818683701572643608138337006324982925833787586569567\
93689115670531096933439676354205286617892285532160168576509263920265912920987\
94888076066030295217214349327932079755104212153550055265331372947731101856193\
96972913439941479492403451627939996347907108879113718354753014395644812112656\
82174980851505574507459595884055667535802765262977476078649424327329741703026\
58191191151593151451819188505653639679336897154663340513862280286823667242352\
73916454718873508644565922258305335480356569948376634013963834278801075363296\
18762411398235748678803645547882882655775827834956699114051203634436239714692\
46442890277750467696777215812966842897745116502564101178497090372202434026766\
50713318495896782352686047048021886979699576845220798659852334822062402963638\
305664062500656
0
*** a(t,u0+2l^(t-1),r):
17879619483977374950216903958321858393910227534100642419887319592784081988678\
22263848038317722146716563753604962221425934030333722734302286865562329220428\
41708775522174768815621668138073666494109530418276048476706062758814679373605\
50629335492437210689881344698752452722835641961028197502890005513093980385416\
05524812276142123171579693339136880931349878650950157135042160414265824392834\
24590073744801593674359086420393847091728358479782774272858105519100567001753\
02295243800402393789386386762064955461431379041975049682848344210642995190725\
54392223925693532064380435398255875224490905032184008950102843071415152980284\
17017267341200388946050665477794836053613447908365674420538462690963872204627\
40020735589151602734529012137428982594842490726744652514682912770953159017245\
04017247791344595694972172277565741659978568345950311413750215929724676500529\
06283126380129934724931355785615022630102927400385937169993857853450962304306\
06535747260277435625962075097975025544860753963511184204860724250794835592143\
27641355209574447000938546863390997857215264766596692779902551341862309125197\
73863552845311667506369138814739204512280245961313139804789293210698708085530\
53144897846385723808565499729527180113778433064999299814055580617368261607375\
62061090283131545429916435079898983741913631348578585775209257432583743289497\
03146363064085941841769054099128092644294178102305890840210600028867698275480\
22644733819760708314719889257672445314209205995480511988599346065378597866608\
90284165524612815622346888880211196170204241988119504203268096000437997217232\
15576588243205362256129134003621172929345646444583809618117045117563918737717\
57779386764738643347978593495874662231046877940130032067295301248926959541824\
46086148211500646883725814810108292578423812484196092285072237101476207140309\
81577014921429960746123142907738067462997731986969785471741504178209709943341\
55161235318694307808334350869628832170320438913870761784578515711114909464151\
68947643133782317947056658892012484891307072081880907156689123092584971639697\
57269024172255101948581476159579189425204405662431659644227756475437123743216\
55746559507481501788918089308851577028058146084642097751675121017579442346063\
57005294816861097156762770589941658056381154424052889535875268759823239144695\
82085187714148840705919021909841146504937055150749256490312152087204758297992\
30752465765961295701920777659992672266280374574642897865580587552335909958335\
19695800650110960778807135916667727103426953758705486761805055300881521161488\
97845289802477854190954463256785174346973380677584058358987789888707837316689\
96472718340788263061486759642291000289840531452097187334752641397378191945240\
56548227302840937122652206473500147995494850770829589194632793065920602945607\
31704215931331017601739572890456759439612132663082885904085463783476376454061\
31998076035275580248496266679639594180468046671177758326453991163326356389991\
66815157039943166179335670219690201838574331649071103837254722384277855914186\
43044017254629154810513073910015586352616674531675315476761124012051240065200\
66226693954018012324204114152509666596168890773445798192692046842669484584059\
99264947769266466310519275208376712093433950500660765261128728673753305210402\
86646685806367887736783200040694323124212192482588005595673032170647355341466\
77941313888943433534779214209071445906020262887243795011319928295303213000051\
74802946228667811994282984036280975153712686774194147164619358047211698632852\
94313002472700867363807187516411697803203760932957755631114359443374773169513\
84990045765791277783105906871442158465563502230361810613794764697142782553773\
71558074530519838239481527957492871914799424134398173193162296937058922038898\
42183988894785702767071060836664398287444292805932565655084623756164872970258\
66977420519504847031229759410051582511502139921296283840637166322455287320557\
98779767289163256941379493999646906281490861596006086837444356215845207692553\
38404881618962418770118987699097267936913656476193033882955483380473699140795\
49657559207005560917149669838631904630623500872990933865418670567199178481441\
13350781582042814871725789275556161972387844611856003201537777181722317896467\
87727701104360586136524139870327575779948482600656282643257123181535502101551\
13403526349400137296987256552170535038185954768531440404983745913016416057705\
48524713895673619722286662898228391051953602638126126742170451861479983541260\
66869467628350409285675286603665339534633303389580656124410926627704531956169\
36969039364710127084261278673468768657916553293559887498158611708481511761900\
99111674242624495529762592707775453670547494383871166954821988459066085264924\
11318006795329498936564078207403143652364041535442449438285629473172226852869\
52919558238252308233142634864638923765191566518756841519176514615654728725215\
00633045489119128296022376645106699298221880055162645242601084531424854211827\
74831371136957950281427420478450134359044462243744874877596857287432525934639\
57957459042570970032605299325447076368937578215212631512066454563708222999286\
68014060388433525062514269537277951176376864075639669393602559921419015154242\
515563964844405
1
result=O: not congruent.

code version 3.3a
start=Sun 3 Mar 2024 15:04:18
end  =Sun 3 Mar 2024 15:53:25
elapsed(sec)=2947.090984