n89-L5-f5994-r2-t5992-ver3.3a.txt
p=7527070650197802166981406579180657037723984511740842693671070565220738583756420698030684918608303494848348430313777964740063937571661568609258034571237395611578922624933983159460421835086989027653313815204731478622494721858067808431284955050718704009242600335848797786759829324411073977162988219670920873820735727629475202612437399120189618080810028319627752546000387141103364746595428839955490083739925949481562724914382803270230437416365012019808525566123989562460158888115392525784657877070060058534922779772813928606310993493114416440550771191187971922973830322571008304676260524830539429432298625222251193755124832576154422304153135421658504070745361012285116855007391226498819885493191306829632804242279505935043811009916604092288145807420806743791165247358044543995111172769957266334591740905063855939142440272273457191803631989361183891745471063193120569373435013122918387133451374814140208358474597014388618523878914545893227796542206003554163643327331644976917768165666862961292908937029448491306001336414281244453516619297845372311364425597259445297957327007301525238181579384436113756194260109675258636470677218312968166605653003451670891615627780124661470169914874194292171159511102402838084323823295610996082277994065155682597784220086161910783832425448403450402927708883773484578531816477455638441267122573490646262171144162028705106609353988062845089929393547343354693294322056624164070691268088433530863890134693594776155116985001076918159578572157818206743283041939216780550341622542686560861710163392557159224468462351808487126827782729122672163453238644069773355920745738493887825469612165943510464761400236976734609956036116656179085219732488890977194488280274377892872260870820423374278752750653987815982160360541961588441139893801287371040246337573883064412498783803351621779359263147982889102581752854897149642413200932063423734141405492728657675717346933474512592066323330945399421747124073640772487179412730021364724207832487542793749876815485133525309780594848085289930209804590407294874267414692905516149412747442791477534009698465799122001302495113122947567209927112034711837339671589672059562037504992724834898881740898573624638192430860345975048179303890840308069293209598193495797537695895138503202961669060990632014809295749671664127508822776558153987813694879376789106751715889198327942439335917887299023046288501207705181757988937154147603354848083700740952935221342280050761917283555293551835111009568276978614181160832847100457486214323261934172783598210770930515627313060800112169041594696279927229417649786393509199252980474666398531344823234333874040912783303831011651228821542090723942622990913012710799560975123937090662046598120427813151118276013315572738457210020183276551825806360408257337147647169191130182520377671552144136995516391613318404478452777027872862651989691512218592635403249466927122898182439772571320131593567793459202337646793358951730253807085205854354364286418835867261990951370527497606392352271355669735857040379698225209286458307936107628016670893151073524905919186999844204609696065556025010650961252752891397492844721196411575298497245604825010706917802427956282687320208281557561138185473311974243271311899128511639642498641882041072833587198847409434917967761272450462955108302526405745618016554399923526897067001172977187200253694365507437596568744271163840410623815957006882375554265410181376545649858372598461063552873958297380374716604487296894716741837812640917546515280704069588858529655524633241107544223698437689440883874034332227254111354874447415595721650519441075987753115698419605527577728526512573789287699685005267907035494118513516083552643959378037048787045010171270180947604182022043465252052056823477121788072585797821655184367467756170593563284024657167712812738291273618227645145290915806947361893512347220406356686184866632610223248186954677525867333789593444407667195391617685017470638194242852343426104166210930602619100985065170483638301731716660966506901765794788987067458106391398905205717178297026560224955458941349239568626413857069116051251135988240866320803785815368371773514953930805208065454610878010153519636062066599013048756656573388023409050930426222869584762520389631390571594238281251
g=2
*** a(t,u0,r):
83174130684685713945144542699946260266850028854736311765065329745689161350508\
44871323906835062175361807425015496724651037770651016686033313230128201217322\
15079470950055205139120376612777112287555691176580122828387785666765316492831\
65698753310441679302130733711129215543696114034742367447651019827363675655719\
12979030570098886743326027809527979295081293188666563330427790919218044987948\
86815081654253261817417712681103039299761360463334508333828188842075056700846\
65184755713675087409920469541624163646810896716489593911099736478098914301668\
08602166262708974886082506440964176667267879937746069522689980870587569099412\
93999665063664608921464093264699817362391857505412478316730528119597346997639\
40467442486877188540582234111659578475219784011171999914518892375983306392211\
14597845910802779299723873700095560812752396500862170196943013348244108200378\
74552482839822915764568950082481778246376916962493023611442970089942346888620\
05732120167151791376339273508258767014676994941338230618835722286643754175405\
82893131476737780775121135864324119136404057690284971687054242846343068185388\
19064521980190570059465742119116079330009832623582982409924656881409633523526\
86970377509245377559359846928491312597681551360831778247416501506709171834419\
97029270551563195208911416134830120485812695235118316569700459277657207588480\
47760017044370716411969911429904171914280333615680944382437197986981440693609\
02258725697012981138512377190516045985988364222276514042684261899945663343222\
34389118451327761342834542508127492909668649752189730548775660943037650898748\
37827514469991568055274061582870169709955829242404103574604714392144336757906\
35613472618592917440014199089050778891678044002245297999095497031875716238482\
62256567828578021789472656536660287198398867555227459582650422544999472203019\
14078617581115610270354206619198577852109245835283690466135035486658702993008\
32262262530694651667316676683614893364142332872806946663610305721013730535983\
33251066673608020249654898734787093613881111072545467307557307134245372881834\
07240006083606549323566059534510108592428458267508071680470802981143925710000\
08570617669694587983565802603371065876258160514430169609425632643236929238552\
25202636100682302428238130799378540416568996606003812856279153964128046039272\
64431239464837636427180338718886089724916809676015653413284171135196296064605\
75641523763954661892654654204661487938345142258425777755553331017071071324893\
18752993419583219456091918598328599374777797665572946061368670182720296046005\
52226682720443726092587602290187821976818093218412394679096213938931958850650\
30139648276651745434245063703771360296739389308152086255507332678746078478040\
10249956598404958879045433514877511950485181561490923072733531985694994713707\
87599521707230252058976751602825112435754815012195619885168501732706511927138\
00456127327168369486903186157995132304486091210015448621205906609544708024915\
95948691308745410892411772418583099706661641661930456829152469061572536492813\
63332450000126443288485506354925984801505812202961956653885626153643026939892\
89584213369319362450210407016348278460937141524394076367693121842919449942295\
93416922034790704839456393331636831144171682891692369488830151121105057694948\
00973153881479964853700536180496099927965538548111385472638742558435437620605\
77615653946742916783489079082926119154972212590362961397918562803322738857185\
44208462419636043653739316632492605024987463278250421082943093501721299475225\
92572391860531406184795846306866199973078296821388889938517799689568867526935\
47197314238363671867736468321766808079371111157930471362643942332724238239823\
88966467192846753664107973390021796394037162908151930821037274221000957435272\
32567157511273093890968473623925354994710262113435802910351752278994221957582\
02073065929289787260518705685058874288472461703226580758118573481415478855464\
61966676834892331143678549024138234277629034296689246584918666083403837500756\
07047225090773754194430505520463835183948584510366307831589410658849701338442\
03234135469103679901264512032418307095412075624957902523174820182143490485757\
82130190909723332187312061373236632505267006157284488183325982050809734024093\
53975491232734502020121963919784858359190941887610551359376586700127812097627\
0891162585030542686581611633300782355
1
*** a(t,u0+1l^(t-1),r):
83701025630199560096833241160488906259490707770558170753622304685254613051371\
39816210121629492433486271363454508921096790951098579687664293494934443215983\
92007576195892658927331998908061673179875048496250766140422821413070617140297\
55888700163991988582777715734638631388769302087451142626052429002740640116886\
58129123976425305030387821650855305860751491426060831152430500906941598214116\
87003050497311879765582349775010479367723649624640699789336602708042952987639\
34556966835843164886725395593019067850908341311073690886102178247643432310818\
92457564601024778346899318698961234800001703611559845528716071247143327455698\
81382468371760221828658888425652666884144566104994276821904386668771266842873\
31945516783174148105997687178430272637506244181378519370990957757550621455329\
22563624120192480164066015886431007804326393582768084397285638772169636487620\
96382227075007314325973459268524649239792879332391169462375188000014379855335\
29750332693097549330759522299713799927892143325582002215516129577147379767467\
22332273486092680743832310480659204054010237241264152503171328547632119296064\
85791627549295849688801724195888760375539306676402060126548613983825803147657\
80914986235548289453401040528943293763458719559497680915047194276434931294004\
53119048736052735812044791621657098624636848055612278756114851327379922930669\
94668904030172159864353431230817592007854960163472588374000148562464581041894\
32861269660704466086901143380863206458297792773910844900873211975329934513722\
39493845898530742636409059971979884267467455678221701692523561057608930135211\
03768503249439478441144576000137220558797178386926120520326192220872852918363\
68146770635181288862711121617216711427643425276467666402709676651082168739540\
88352310792197973058727234451372162320922661286346547561907031556596753927382\
15796762669864758932700341864750062055697268207090917464563040236347943645452\
71923652429079142673353976897900236580023777515440112841569828019698885390057\
43506955783757573319109726147586649863018819468480144476021471070842402393302\
70453291190018536513851093395814697515638412301781878469396862366544837456579\
27176947374389485825995631217148077153302329857055519100164075564958792138705\
97669983116704724253575385926614422573054049073191167326861917835394015561693\
37599582158280046793687363489050978981092753266723444882870586698948670790806\
87885406719925415406906765136274728133429681621148836981154121349305910690752\
23939663966132615416447252019313486429640643442639924000218969450846125975708\
72467032746727080013536121037727473337757212360972473197425330226327907911242\
65624695822295693142878290351668554434365792679334950150338600849561664495548\
04885024196765895270134409111804337818044816195817109915728224043522926806916\
88516441754244380352563029667277398215890818365214053676296265997076598428033\
90142274740100657800394880549946232690125369615870750105684134072229606627788\
73027099307986332047386326632999463234215154324042233478748910042053086497745\
48439533393792402657733830829572574750474627302890222442643272654163842495168\
23545380331839937596953821359438267555259820248982998118438689130612152340120\
43329970409671731928937112565411906092596299887386348300071609092007985662246\
32291535851769883183090494328245848977282967299094896511831929162878015053496\
49148060804324093631891272344084927149619095385053043506321666821081344442706\
07384443629534190536613683344191653201616343136121690718762642510329488702670\
79584162668697668486418987414692501692364765670031172499214292538281068497694\
33921641115891767526627106582628679261774367065718266203855261424424753776184\
76498381464656642601346666434121481982053687922049725857912623469459787029884\
91054008282837719825119405131045244121373585040851233336028188718770655942833\
67154071776805650166241448617000423718354187704966477649798962634691414015634\
98377325466425585730109091868635037571695462568251983893601408764475174027910\
18132592127547886573942734967199805180588982783282655483011244029539246957780\
57915256689269947556747635638053536190134143072355825887575022662935349701504\
70342780354400312572209060857048991263218923843348733809826689629412148628771\
05539136878552729634729071383530101805810251021740210960748203086463463395983\
0978255922673270106315612792968751112
0
result=O: not congruent.

code version 3.3a
start=Tue 20 Feb 2024 18:42:14
end  =Tue 20 Feb 2024 19:31:00
elapsed(sec)=2925.948123