n97-L5-f11111-r2-t11109-ver3.3a.txt
p=34955853249233589994022356815885539528395676355593588673896007567308616083044551899197777041779529777485588309188375576208157604208289337942553043958414802096361919532081961018497431861947759851105527185053530665851985098335225748855743929558825618218421865653628027321794009218134235595515234823177906115295738463048150914497879531852755082472658473615817441134217384974206810718205954976300279046703167216471855834487239894104579547853342675968303546597165750598045432532687940735876102352342168686404428645118660442138802697409903856133096477883972140224430732484293026536703290107068774403749464670004310620076754812996006157631105756510963193498924807247051501747341165251610418092028646939622940121792930752479960504782182457165043177594002263252843483022189240645616097552402923088671044344817301286745840104089376590339274470558228725090835636916769631860316795755921247113123710684739705407026032541145953157583547254205054583532515854548504037971332872840999200811205578046286999925251657809814148793175155647545508518359208457505868204805980411038653144285838322612023442387451125809545253015484139025832753322454925635586867502606268491930576629083281188799806025725068734749643119527251939771327908236573549129089410109534841379633678607848181250727001080419259570021191579805635855032129950061833281409345112570214044518673309517008625029315555875569513067823924123914073247905643288309114167755455378832934125141408089511999728132077171888035383612195459279613479094931309242842449853976705608779206063310590174200461790502416353688228682214740620519915456120254369128248339102865382263150587990834798843783242438202621998231801429687404998401450877315137754680513659402262646872667452386344354843441296217280421887709582805703684247831709758377475052737144828044059557422409129026605790569063676884297824469505340263086718531033670761745638137487397112147431668286157856509652992311832494819711288838833834985124635023123818521723906969113571081631198611123339155290907957325491865850606636095074214107759243367474958664787650776479105825929233298773453691533576098370993648452675272864252938697044271098371198494739085245298483651587993503731921150463669481523413584253972201364979842078834547051176703164505346495235946405324978037439722595881321335482810796337741743229694376647807602923061722916860436795620277062069537590116066134264595689386716831802672078863177150508243570656315753226289920432762597201736664631075094371129278014865090903998652616610188419701310820811242141111093440933421408934961827865759523872204804825410975832125833993322132764907195709801052649420842947661556561287277182831465519427606981566907517105956467121642946877027847144777653369923900277369654285342788360911988670506654456339751967702070458890586863014986763328962001668005359774865614538332169087302299410772855892591490454275720448818256761612182318208100240488330137422358856810517503260369064324024611629555939121354315700519087374572539211827794641456524345471348125477223074931167903213769474897889271683786099291560947477409827724740701406723413460412269469657119531556152411398448960052741432837870536573335058532555107986429722413837748619643706274627492081724606434357367109196667971946717223131464558250543867237708836552741559314715293797104893952911136159034135168437774008005200437420589986652664216628456857426093035319580960110786176875070230921619407347898437310794926415126338900252829808112211263163117914779211627439933086852810331635450670326755995769978402946873519562522738536258196029620776345670966919865297675394812462848718961262618314541222254746178739251080071559004160576026403289415608218402397576942216285721827635768447297665090791964190454358195148359104727825567100594029242682464149563722725725909707911102062562754942844453033476558252146134258639533116111330632786835727657618660952500612561175671057970632320065163567702159168784005726625044279326436315413860563109996783395891253481083347478058522130295170380709313545502590963161509592795831481241673096143713208765697362734379107767116996867792429145979194539636981870950531942463288087977683043609016993695078831987635534819498268031722356053377784971476515765098096787243816622163309679019018158688529214830844232042156610392119646944598381134594963617497921350322023603368200291383622697564789158689786500805701462951396921906722589557661821712815410303396887417085814593346262106249315946969864382051348463210620168068364712095568042793519572864847905580034992780332184205601896091347912323318604968443477130322199769213584976920322260247844185653172099857555964167865123121052461829207247972592806945519986352358441535836427303466673636544662310334592864876052442242959383694026023246461354323566768353258276379714185961955206400564229470250437680571662089356051449774894763306514001715142521982756077941709653502963442629340468143502690612675220341301015723624838634059925990093887532419712658096928525567915651679104042948552125462717650329124821933258363296297793463323092668011263761321282004859750549294022767944137707956204589600497396817145867616188304091743594646661055348935935270534042002591177450375540229529492065287082890604268973420662188814099531189830186269029649556181836421859129330810454174451676199885893539689623396360163831741852289785398729093304450526909435899660365471228615327733299777742944808866056243130152331301345456778578344894101296268232180437641166175599900560906412539864435617555410734235005842272242955275354407319427426385813430768341515213523992145508765005957059168887871919588368706595387456425159592679416248200109282644951605606341576243047269026018595419492434517858681050145256451645130791339751386430249158633182109437712955409890887438277182798891838288052893653136857485660165040436303610286762993095362408724279007958721792269032320727717764963683696574612482031961350514275743934101925772996462302511468247349565567486529626553039787516660129503204120050427120195321586009480137683513376673976412028081916690073476831570051000876119261731154067218237393478519368006344688392833650886331308526156698948649298003497492908157307526728403467116333968892935291877813407792681427135222830710477675154603819169068280466278873221690417055536292583641134428888240456716539061805687627579387448677114961619723626804421810213528903760257748117784269499433084527905100209027700753854560921359478465993724523110509886945513059613095814500858476283140392907931125031298824262228521279680858109439278846604331352330826718343214547291872780076486380312441108856639818283058730739555888112142893567172664605073444227801882088737991643723256247063563869956527252029810387342315151804130115148252444205840970588613872903071462270492877776734627178690580995453347973751793866879232533381608186375681489355252565089841773485646375499218323898106636601846690638765188980189754251219613999992422487796591128191432897538563652616269144214162387002534592952257219396628627173811658338429765091470396456693922927221483652918338315531578934753531048612809378449167392761788528363940751254975576151012917565312306391614145828653586829107663974424596823857066918152035550045286443808649526875097811083752837082332703941040974651569643694079682812142241539948723179226384129138451461485258221406011805434593845884890150111800051944579992184593175325021159016656416095711494030992220345699827721713352128217432238566303074214713374963480628789755236725834015907767379775751193062019583452214314865902974163147790494808478827386994491214619986036242348471617756611539294124720821205650838022101222057030799194963945263586049987216723858827254751506338795244906523446270246110858686277799032329000338116998660475041591720615780117983136684246669400153309667982771453763707174031580164994127696718462114605988078075426983559736981987953186035156251
g=2
*** a(t,u0,r):
42296582431572643892767051747221502829358768390268242295414169156443425460483\
90779802931022055323103075756185411793444721187070109203009891048918318968191\
05365979226338191728323818925529567894198376878939147721056809019689856231561\
15450154766178998044290457440889913059370751153942425070573434136045266399507\
84354028826260654243423354183364979191675307513910377240303581879024096902920\
55213233376465108323319309455597295602718665412529025446379216472913825705582\
23634973364552408290410083846334024110549358660593579134987951263865983665921\
04673823960628967156118630599456210941098102955321702853685225070521585029287\
33237251674507336379653782654641336990167689323171142828099544486058913546627\
96943757547369446210500752210786440773169702244888742738535940614456848981181\
19547803840753693729196365722893455696246652594814567431052210937545675735991\
11206692912545509833228646647090068796899285350435425014993747866033206760921\
77588116046074344184003689885945312776137609032981558749436007269909554505949\
87512003974193833353006530721464223358210052781523629735677030458586437036054\
83652888158622295497561487358082212576315201704600190601096781535848752359977\
21190770238447765291127333169047068174627974847123306768966253994446198186232\
53715806935675111549629931337967130730730407972564181156481938458887723957481\
82705053075862099589938675947045155804362854718226094391108120669481899360286\
29965828378854028142984101008387850291421103788309519671039813377984522814170\
75650572833230970486688418383936432331181378662283933660581411078255876650792\
37879627567054798361508290977019055077866451804903144671125384122114689101066\
00977723350225172617860479729921760048065755561551316683163421527876737802715\
92761738747666936056396842290931048412859519490145793987636880763674481381194\
52419333120644811150461221930065885670490300003676081014617183349294225507416\
21712222146359750505698392318626251006376680120697317318731850659494988940332\
00080837797982041128592743262742100877375031945924037790199862836384515767923\
40296750397990703886844746446999843930574395397180493743722915158789667556270\
79028902314627737080165746055823423568029029150178634293146811165218421472139\
51562459206104007264333043694730636365162560891538980193192381082905146925923\
54951504432234253020643410163988159342010635686675093079301957438471995369046\
84729401128522700535245104140484040440022460160784157927366481233215424444352\
11497472049414206140381080372364274261410136420360086418906642639798675999383\
83696660983279878385860931816029907444230635294399048113038117175690238853678\
13838747280756872259131919780645537706808859273705799219966670483439157605391\
22607327850740444769595809569820732521718796572120369504518096057760791933561\
72816852647739167035062913130518921710998809195052552576101042481339836280440\
22018286485327587393591381924595635782287035155630035703449673621743070090681\
55074060503180129099087946628105421674072617894504656783206978007176268633683\
87219976280957232327724463116315161623944580203312318274399206667131628886610\
64626446018737381180142788746447665891546936248702135330287098846058285114633\
18294441779212324166381713373382334925373542082439168066357996412074367582976\
88845922992654188867737855724142021279682460555278399890721154831580793576276\
92228817286770805505494496921683022474752431303553809706549686292529278913883\
84972370212043279748557257273669296173405127401883497941515948289095710914606\
18609623028700693059240678157756284273726768828460692023190350919005012788953\
11095374754881673867565716958670652513628872417195841139378261869973037010187\
22772308004694994312776816059487892824287627449380688658639503429699194798019\
28859442669010681000817057234114392798212301747598582766704497734161295145167\
20668936191718775383645781620972104498128350746572433495700933480841788170506\
63548509682245295383507049471006567207123046571857975252574119902256198014446\
51072788479169196125942286469292163035779849879416507712813630961079090284167\
12110850448450811777657156160658269390058135065425426607282956092302424446333\
89298260649380890859872039821156621002883926663482539296074806385014365038057\
85864529964827669105623710453867050389971315929043183840508245871198154865840\
75768697112565018112817604711613011972013120349945321520771009498574464772802\
96404117285990597717248483388964856007552235257418346405339488201464166597489\
87701711902755071343333647708042725066464671102337746738356579489771485616722\
95833535902282131640484850403362721301635637331780158683166465965751842341264\
20194288877829427053097391121551201181660732768986172074843782207358993489989\
14646403382408276427166431167989764734788133407700468372964040791834863537142\
58362077037194675100219041395504857366500023455113980854269771488128218238731\
51578970744251441945416501396579974468271765900302959349171112812082225422762\
26636008819420753224515991348543094686807385857655815019664536382556413370166\
12974229025586054747212510448013603914227852316297283515937177938531715891967\
74807180988835689824103453924261958852033009062094212829362915119875122588029\
81646457675492124066266270075534166018501487464998155878479510097495224598769\
72212481677346190823135324714954403677730685398997370297631165457839001248465\
06043273969452538552587596298002207044954649028064955108652820186193118302444\
43095957982364076412706403324622028983851375604174385890422201866245465572927\
31068963218727928054187484320874628002702079797321862568484560938329545811072\
47587967869675917323596709724204698842435706914941397588317883285650718592683\
42512296932334083640304960656056572080415943543250227019261349804188222744431\
07142093660322132232000391442783673307254087195521482500457585845766609004070\
67576030649060825752109917758060148194615035241963267604596797380031539118665\
91243285440013202955975576487996989279273684469832216453885145563775996300533\
68645529108080538495606057272855281103258673234122273650160263330185325719386\
03887657929297433665870084812917814289515875669887698526101681543633911907147\
09665970511857755114585539791191949889069661997617110601043066946964213340672\
46109008435287677072955328717572460883316649605727865650584231966418870342107\
34136819521076410236045170317215422342914452683361962515967798693707062119457\
26193641974365982454046371989140262057726589547709526270122647848820293710588\
12899309103559865588433350390358369973549911875222518966094314032278765171252\
92351791216401871484496894385240667296371696320407080213184593554603875630259\
98754185966612878715773572965107484138383124215274043912409363203003291952896\
02223166063892548520178053741716534180122501064194862624615692901216278924172\
13886751564027732737296988890514005894691228264739797495607056868420133368299\
74393293854574890675744122227862127164693472963821098488988862156030044985510\
48239670578923871365391745905514574602119855603758708545917632114354054171916\
70903028823449567290587866602960264397573293999083121023387526511163380602166\
20196656856644991364882730668574722312354699206388803121065895000157606791797\
12599646741937995220031189361793210511051772568821499347923492545241764119320\
36830901852044714272563025402789073385311645267084006322027340905376215686705\
09709639630155547965970084659275188683514113409328696225717686595793283992688\
69836416202692112263337955046863924796257526268397162447901274284575858553520\
71708163527806285294179054335774214327560241015426347581090777750058661829679\
15432731560751430930086652267197998031837058115608356038364382591592483985295\
28658943605043695977179320987742598737408826498718259381138263334369690183103\
85324165065748549996254589091219365883751400674247868900726702590637376893912\
04845322358691809782493226699422463368933699869977941390103961368291180904091\
21568379174800325981945093942759595387938469974185504698259153459054085680578\
211999642894513029339158673245574471266650107281748205423355102539063710
0
*** a(t,u0+1l^(t-1),r):
42820920230311147742677387099459785922284703535602146125522609269953054701729\
57607651727687617992397741984567875576008085499306515515443897962747884905813\
25680433514268004022476593540308860058176042708016905750656686817454606515423\
48286313709561382317566785425694333469197661292214438604506162658392934991237\
27961723398487025990242651962497602900663017937636538941629659340334312980229\
48459678418322113798401780233972468688702781099461203447780611718445815280444\
82605654852542727401448225381619156640845425090270359041620033304327132223763\
04318540786587177492764729325895750746153038115924864459309422075528050959402\
46459201075430981045517259299120361828888776380896404929274332227621627350925\
01038101649196340171787951618358173510027177892552652772484733266702181819790\
87971950169358078362202932240119407626365412750948632316561122643383018823627\
36552230427990288880748010035277135765455888061391236068898629037926180398453\
86401191864827331921821917446514882769230224020993726833106701574908433280817\
02233227163956566824324793499003036044468855088732600352235010175015194519972\
87169246276291166929349439680703066451228200072839035939126906926789026149563\
70627019456279762381513209200068312821420883626219876687589802597683134527384\
18018069005125629461402203214057632351359297327595968526190392241435918882574\
57697264477628985122045353748041583355656609115559475726535080843070517947397\
28684413028178664855500432839070344303298224909652199666961794535562843344924\
93943761752651189129085382248200107112146437075452742755547296339556569336546\
00332680801357130572601368964337473116021821042154010100932723594702887726285\
83634471986798211947833956751367071123041777324711043749483629232767771742419\
01762917327183468321558786616851681244423893698701320359384445401240693960300\
24143539729578424511830575920934471030041832648349751440418222812302005162466\
83138406718422061462380603793650543374224324915581994806154146328827571447856\
77767790332667768911178603716412457499821829862609046523136224772372753566699\
31292164659122820050731251568243643648722011869046367633107909974807721286307\
20504467219354527209258709849903879232095504718156055379425490642473195292042\
07160340931799511486618164071111594667210030654657232013769146137651904945666\
40343465230980958636601799546186359664432255137336354563756113935643135807506\
10573154035074634839401035183547892181014474129719498728118958273296607392009\
37259837405398679770220515253013418157212741417306699060463336556820973635739\
83494553474808141341057554937716228610894651434412259453282391355554167434508\
85911128445394354146641819612637011314744506289495540532610885406787576914548\
96854526129881855241946170845479667222401260992435911275235262537815677783977\
78264995449157421171861213706517090161961604350363121409689071933587850779784\
52043306565724210377809456907131945316778196748468424575806487757549802364532\
97492333980492279459820441834238959959288394149395210379693014924620602542365\
90367331358820338513605344890484357842423232024014537095982667906806814368676\
06749914357812637971632162160659827038962807359223236181489005030100329971426\
15628670396309997606460825522639140730233544670238000728337640995695124205906\
35401864186778001126428820877747087659182656347285983360440838569162373661933\
24777108410160526234901453495092316141794816815581336273159806370535840222733\
64951366536985965034696396826648667613571306667196103287898377400117558570572\
37848585297651528097165149374587973748194456045342436139180313946926562534270\
71150276094818223543609920061464090354706916290136285451023446934476834989652\
35864526698968072754670743531299726206406895558257308765978009670563234402953\
41200675429370317542149500092388538163479396397362201561333065887890567399032\
91586319698227685822286018583215560339014239392191100026639374804984454966008\
78385887901446683342806723638002516387376638058285966681325038744019704601402\
45920798253704351449817604070151156792421748844863819791898097460596599667855\
14327100660621689609611583716368909093240673929872849251174893564521049542776\
04868073797926934961440701471832116304572570382451331105530279191440162951752\
79077726617284210458172764715691848535301538853783388598861653877865900587318\
12245168564373675362150054356798297244393448288167784184251641847730346567507\
13301688987883043143495365414447891412604535694493780451686671939498846348698\
42921154612293357351722081357315981988776216611870859301228768491710801554120\
35038083868012901867433009705883746772317070852422061476759438684335542866155\
90692565186232271190119259606529108634325948464469471728664159672739476880360\
91274251358223255060561056347758232892657407788787664261885082619832816390908\
81399623446746675204767211330159876259473164241747625245025181878476915159046\
36929123274138856514987780339512784069118110105678615870028605946116302597424\
60850504796521010495894288761954785943255411302172209420734757907960005271449\
18093744261440427326723409337865012227214148006168737443820696673306902452611\
97635369182912165317790686824149503796479699257078851831379810761857045595319\
44228851778907315686922463506222606093111010036878298306725123859034421597928\
02446520706404201453174192376710036781173627779976676540990229492440311181297\
27192570754197817956132070632274961677743343024280636370330334486021958611978\
86605412006938837690549871134431392979518954640589770839477022550537764732922\
27735107390860918897834436605844148184553758472495274087928584421036110428565\
10987818711035536133393363150537814943788215678349762021230914896629859732262\
14526912183561365668903782482371322973974818876431014957516655793496341208205\
01032284904045133871240065716867768430897732904556872779388878232284376884286\
42793915326528521939119544837705521932564808406119837037711633711188954892864\
25019028647947250926504199337021745344719226012846665418189506872417847494341\
95529564592891454262080512528303900290489152654379987786319274859071920666320\
57654860300321782017099879252747373970790865864142504706177322223926894286161\
31686623038864256211047344003479453400091186733124760732460956206637323423408\
07011186225807772243281221222335755852944541956212095390054284428812492701720\
24229424721750911189384573255032142454603474824064796762033515206438967848210\
86435711916196965707608930319584149603896753880945594777603507119673437847496\
24629465827984161442835416717511572907106315741444285730136805528546683747756\
05893342347183712866536112084231254081037461150825349802604237276355163344684\
69813122156281633410597212299385676090511840631165870903059066052627299704378\
20432544155593695815882740358349383777396746945155955962937375044619786514141\
21496917905730555870403976356098890265286574069674588373651772449433606096005\
93910566092441521551889710519943062625412813537752764999182938959617194303512\
67845947486927059853392470028310209824460184392235056172519916809986542446775\
18062983726219603248735650073244895774402714999071754755082413203450529948474\
04744549297016623489240781048763665150937608700682879192814645764622370512356\
59450055585846317474824964436526184195073075534550691488600230056133190947245\
82742028734508078499082401750757532972732864010064386565688836867013110922490\
69747362435488054758936655956704219948185775972254258575623277751939481728135\
25247611444874245886437185894552320558194603040319441321222364461657377461208\
99043388695506363211049042612663977315091979540410971724658018796546992348228\
89590988563570663544922437212659130238843302637702674501649891466694870150402\
25295211500973989728962535710731143349856043356140386563549068251737909482894\
39687687773175184913563530278300597692227657707399701986272901383083294789291\
12343404867270633870705952650241750104912216810514858018906903038146030254141\
93323359081925949857754330644529342438202170015187804343278895030860541288188\
685702117806428480116090392335395642398054860677802935242652893066407475
1
result=O: not congruent.

code version 3.3a
start=Wed 3 Apr 2024 08:49:29
end  =Wed 3 Apr 2024 11:59:10
elapsed(sec)=11380.510047