n89-L5-f5994-r2-t5993-ver3.3a.txt
p=7527070650197802166981406579180657037723984511740842693671070565220738583756420698030684918608303494848348430313777964740063937571661568609258034571237395611578922624933983159460421835086989027653313815204731478622494721858067808431284955050718704009242600335848797786759829324411073977162988219670920873820735727629475202612437399120189618080810028319627752546000387141103364746595428839955490083739925949481562724914382803270230437416365012019808525566123989562460158888115392525784657877070060058534922779772813928606310993493114416440550771191187971922973830322571008304676260524830539429432298625222251193755124832576154422304153135421658504070745361012285116855007391226498819885493191306829632804242279505935043811009916604092288145807420806743791165247358044543995111172769957266334591740905063855939142440272273457191803631989361183891745471063193120569373435013122918387133451374814140208358474597014388618523878914545893227796542206003554163643327331644976917768165666862961292908937029448491306001336414281244453516619297845372311364425597259445297957327007301525238181579384436113756194260109675258636470677218312968166605653003451670891615627780124661470169914874194292171159511102402838084323823295610996082277994065155682597784220086161910783832425448403450402927708883773484578531816477455638441267122573490646262171144162028705106609353988062845089929393547343354693294322056624164070691268088433530863890134693594776155116985001076918159578572157818206743283041939216780550341622542686560861710163392557159224468462351808487126827782729122672163453238644069773355920745738493887825469612165943510464761400236976734609956036116656179085219732488890977194488280274377892872260870820423374278752750653987815982160360541961588441139893801287371040246337573883064412498783803351621779359263147982889102581752854897149642413200932063423734141405492728657675717346933474512592066323330945399421747124073640772487179412730021364724207832487542793749876815485133525309780594848085289930209804590407294874267414692905516149412747442791477534009698465799122001302495113122947567209927112034711837339671589672059562037504992724834898881740898573624638192430860345975048179303890840308069293209598193495797537695895138503202961669060990632014809295749671664127508822776558153987813694879376789106751715889198327942439335917887299023046288501207705181757988937154147603354848083700740952935221342280050761917283555293551835111009568276978614181160832847100457486214323261934172783598210770930515627313060800112169041594696279927229417649786393509199252980474666398531344823234333874040912783303831011651228821542090723942622990913012710799560975123937090662046598120427813151118276013315572738457210020183276551825806360408257337147647169191130182520377671552144136995516391613318404478452777027872862651989691512218592635403249466927122898182439772571320131593567793459202337646793358951730253807085205854354364286418835867261990951370527497606392352271355669735857040379698225209286458307936107628016670893151073524905919186999844204609696065556025010650961252752891397492844721196411575298497245604825010706917802427956282687320208281557561138185473311974243271311899128511639642498641882041072833587198847409434917967761272450462955108302526405745618016554399923526897067001172977187200253694365507437596568744271163840410623815957006882375554265410181376545649858372598461063552873958297380374716604487296894716741837812640917546515280704069588858529655524633241107544223698437689440883874034332227254111354874447415595721650519441075987753115698419605527577728526512573789287699685005267907035494118513516083552643959378037048787045010171270180947604182022043465252052056823477121788072585797821655184367467756170593563284024657167712812738291273618227645145290915806947361893512347220406356686184866632610223248186954677525867333789593444407667195391617685017470638194242852343426104166210930602619100985065170483638301731716660966506901765794788987067458106391398905205717178297026560224955458941349239568626413857069116051251135988240866320803785815368371773514953930805208065454610878010153519636062066599013048756656573388023409050930426222869584762520389631390571594238281251
g=2
*** a(t,u0,r):
16785367549941098832368536671572865194124485461182079206886487360442247041776\
81815660842736849651679351181699959972486137034258078480529799864541709385939\
22138209974536027824455967406922439855316668898079065511973281632297434912128\
01765449763102709940610998748942819064474419393436694969073463729866153548620\
24067261372970182573540003802284832020636315276988817758086332466050338490780\
63131007428867400348673438848765590736512926138754384939768041730120124564967\
24286154320497325332499787065866233930532877798893375060792073515489645148662\
42821975634917738823164161933334851942806097037210292763402593424562016207392\
83766448243617382614919902984640777621550573958105866664824350923683446498166\
14230081153460283298235147698552114027125802565150548399038654298501608439333\
10909791527700470392613958221829239874428764180716980953772209933627544007859\
24004709206588697027600792641080033075965658355326646393983513420866193082499\
79437341897986289119387925784924619949568298526623009437104403683186929575670\
13561238298020384717513134206103419518025434266908188856301444483922628240128\
11449220272925336763132000445758267593296101968379190115306061976972260883028\
49949677995078478910169453271541685709758358328928042125949212521263479926765\
29717219305881079214106104794630874993969439852879081081487061012595074472607\
37240256833388841411646416514813240123877388593933801445505425476105756809660\
46338186271885877641527837206773826475000366716350825910876552401527495860215\
91193460103752118352445342062726181827019103072161366436540246507056467104453\
29262928259554859435589245007221762755945837032629968413698507972351300540283\
36417922528458118180201960540143279360040003450226879143708865011862701105141\
74192954412464161863395839282964021760400857434222374196317687083741974933278\
97592336398722878814741165679711568200018426987573088664206437025814380785014\
34927135334248784906616849683661648163080307901028008240710496086684218922646\
41009038794764333498346644722043006222529853184776144081072651123019654436786\
42366082675696163347651793010131904267974249949008416275787320420629045641022\
64173074878137459837407397267467644968692823343636133776381824506282203819182\
94316912081857152435743984767657388699452385740397149562850906184615886214260\
45220060091093930247295217678110043446747917246833928245395810102397080563264\
32912271311639719096888676821393223357693182555320315329853749155481311226652\
65232504554359328451319907554232830462059229755133725766230962398865724903402\
01942579408741132053074240100191750498489081255842501369627561727042377216013\
59023657525514334146458506068724898955812564539111235506767543155982240272038\
86231439204926973601834508302097452637971217636391380855402332699375550969372\
72067595783450087067105715481837104138618392531872962203070204422075612814255\
00001553297700041986949692772156483713937012072247461576949246311247484062946\
84069283404389345365617941402121295234919046235846598980000905521023235871400\
39839942398215562763196622549455651231435109612000467270422167088020266975200\
10477176091726893960540199787009652576279622226189935773751643593638947816409\
04372826799781291564885769875977387642669941434251039272406446787336133815360\
54857025624950255350565809564027719713969515924188994534297230398670681076375\
64532389891514633884812728176916311829464980459412615739127456565738435081585\
84034829972469536411569110958412534769748601186470446969679918417089456817172\
29089270031582356180280066720752183342983221892461287290759700751831545211318\
19932127669823618847516047453171039096560866776668321370017736778459280658353\
59945268944800747572032649833461412303955011157029756174743268915188428514086\
63223960294130226187951103726819325035131573259091569275120760867163539815874\
01866329142291061139453096260423646123374985483999572406389540168647648673998\
74224949261702253253430150617541019225259072079784345690893088268415435079338\
10290978457233074375889595231731615607258402122906503752438405951966953301785\
13412861728153955310390937722379441160431577252819558608749307602369229301650\
67343920880423803690290126412879429003325377713189539244236827146905493834726\
56956139859637822579626423487884184085157990987273441586552922021835748504769\
9917402042046887800097465515136718973
1
*** a(t,u0+1l^(t-1),r):
16409014017431208724019466342613832342238286235595037072202933832181210112588\
99712170689312256610161876939957808403596313333938390622221956818251536529752\
24332420513223560832876237196004896360802842241171463146233970384936505878223\
80201202010566774740148868732150379175136427927216141270215314318882607504929\
20388623225594169511353008201336741616586173678850055028084396760533514757803\
48711029683825530385698698067403133545111291023535676757262031825857341502972\
46163146376091555706210554172012730927606131659904734364361757965814989427840\
40068119678977879208295010320479810419424794413057595616241100298450760238617\
21350160166406230538352192155388742248870067815547439161128737674273503751570\
48888599513248169322938395508001618196921188157860177358701464740239240537105\
90934235663850684060940999517303920594733051979355613667813191773680738088400\
51269177610028412340883286079620839509239970948256542214746214913671883820560\
33710047236596462009087748076742453582986049680734601153761255618541482724197\
71104708291338313311290866623006930291163877444780202559074954697287591732501\
92358430580707279885034870390920638275060763359222706032003235475246425437220\
68560671762004970414425743556933127734203238187023825934784431971459366027062\
03938806316959978783296550875468747751952187838240536662619638119935992085329\
18019623272102096088515330942732225771324083916939770022960460779332085132313\
81622083440677674106964432785097283280493632036612018155027302347681587881287\
30404369070035703142749258159974473714305670267852815619577460710934124792694\
25019364845663494874253163280602440721059159072257099166754595237545217568528\
13179852516609281449704158734310470405779016825782330283984450998143806461528\
69838852295592768099642569343884110958598147626280168496848680646886773701591\
10650804192473486913065354790031936626026982436282212236757862204607780318982\
63740428263974148473733063816314974437450704584861460970739408730480536884022\
05111975144657509877307482284329037473145775759108517532169676882593204785737\
40070879028259029640305340252057197894252854210241411426554420859628394393466\
08025696517641104235671805400484065485089845241760884140140079562195158890501\
71125949927555422560503088248203187159105919692406182083863217705140193698245\
64385529595777922842647342842277979692336528967756934338548370414002527187406\
38452354914517752300994311870240908932632797296232415882996041775313568822467\
61527739878252617051066097967815053994300054200085884381337891493061560667899\
73199472247110164966682440994806285240675424725442445285106764378902413601304\
76534337850054371497434772748798331714650847845409189867602351605399678830961\
75777819491812019036770954304292577018285764326158390253263266943784170902794\
85698367178439995428829802578656900009949818708288366637978944233239836742186\
50225733717034121763027053920762840581337527496636531945179083837901127918037\
71870420547788687397778974106109607000952251477195329944574876249251414439306\
21906311402739877499447819353279515553600241683480277421309562444791113007146\
29076342547069340284294903827659660366049137422912134523219095531001303246534\
40149220817723415072399541851852334108080929294469625835805405379548328124433\
18201038503314599401001553744206470393028495387772200934873525681211697195739\
42009242136099507564525447276088591833288635606062557090268096553053716806213\
96051986251113717209515991878627500357870829859419540086951669125226464511854\
52652290882892168821977823072304824972064315572002514033119348717037115946490\
43700465614446407662594162981126845394844255413962753626295365998673198132381\
54565330179222255474005011944818779741086064718531331148403733737717835946506\
21447638314441207663557581221733689944657771168080547542494734838751801254979\
98237039251208301921079708451893967959173752625613931769474976487736266416734\
19645914524892785691694048585757588300925909028668104756119700639078766131370\
88087144859537265533380859912634494181086689070823398287137096401474420716543\
31497775142320906985045849432639991807058671933249613348463448687517901290402\
90049214134225960558220841067299172747645436508857935225307750305046626259956\
91553535826910517140621346728066153051858484462895113299858910317310283291658\
5569478229444939643144607543945312718
0
result=O: not congruent.

code version 3.3a
start=Tue 20 Feb 2024 13:46:05
end  =Tue 20 Feb 2024 13:57:31
elapsed(sec)=686.039354