n81-L5-f26821-r2-t26819-ver3.3a.txt
p=192309753370532664456049764413009924637712562258682137426878051702735931476481251871648402233169787248955342952383579492630220305772323142083987965085273513926310667416846517305340182496115677109853288510381874304491879688224767760847894466893271165204819070565430150860948923987854290315635210368869601369123538121714544063388205056254019061613473139640592436438035410664025189641365624438083911500507433922756094613308091448794994358139664653802305764142769340600367930402338678579606776574029869062893295229608683366475123591475060872909931289812900701018993100659386838023051994528842010670802944318706254872788367509057235299296305642252290645337395228086443426079230369340077327809944463939830678117275338002224173864655307912878612433225150702643518820011090859169048425809605865264071172188296504069276787220552086990207913617534167976202171803106422915575248977510939192599115989112823448456758566727847302976027123899756006637437488801400691305603076341804107470212792375850331663906419456890889685988852749572418265434948298376519315452660589284658232602152705963246749644667305936565481097615537245581217653449337557859335218702695147117901873724979696054271292451861632902437221571234604768825036805611904073231772933085811929732630028278283263261236342122214804100355952784603104710379450964802363227594249196068348948976114882019376698634819451538541318570003149500027550040098796066126730993064477220693951525453692879954020310708251992722527672143675969167134644926438819321764912658049938025744631703007198728402400665644055854150049355212541128761414704390865942285609601616896079067541734734256689152631778264630611994264494871776048924441547083968658909306503154728268780855591363078477233762585251677552061223281335368990152108342755319815438444238393937340622485500549841004808006886823371350572053904921794513881746071293098291864248787858073159618334502857729409394514292054478669759233703858534533940153972479432237059133878671549006005057609602650176628528344459599511352860820753664220309499760753572305074073142041574894414392426555001628586012760476779989909563812648531975834931596815420555248147717512750480217083739599232251194663290609981286533403783648481509625781906097952646330342411057756820618691309722422634565855593240320916676713683690897850310673869427307515460143479502421508135537434820967737950128939352621434474812145710295470681937457128717037256605950071457091197321808040457163490050723570180521116754270815241014111213784426463818756377997807904621623437985621319432158025676297509572683726588330128978328732231561498867637149532662702158196138006184539542904611948755447406586449586444858480231717091130305400887952423437905794417583169292340156897349171848785798824969355810615724720193618594545707243711409739544114948585908544310671469415588903479213375077181057834791951167144600537802183485970956392881661144497387936869083311857278389596761522273281249077123424926992361744369582265741238226095537306780852349581148045883808866785709151107529266410133152180480178333975227226704412573426497139712953781737575170215078944972365073561307532246854741828138836163061760306275285337371088729673805839339090058235032339953899779592718829833416744714257773335431739273082693489652027500618535126565778214390376785129260487898231562768802845826409297023791537308874191003398023193379417720643756694457838970513020456870177067433956404798344674950763217013513754438692464228462427028526426384199057509704472442616169611006458087947179386402772374452994706305419693988408468623022096515499421733681922336383867229568377050570026995635449117371265496293566898394571466863459886160829558722338659543510260012392242840006241340913234337036008311370899113072440986236418295076166712480812142740053208312893801738776066737876022011653042302523164738269020545707503686423079728182475215256370555197773614073021956587381219430425251965543826178762199984764142776575526945950299946046916893820106873493428594652602854526199013735890616952882825661665885845064834547030631208871597397835091665913404488602890447007810616882106116526239324207128648072618154188821792396335969416933702165655709108125307459834353455023922931728658234705729899076696722953911132250857550930342436614722664613303143686717650258932289885727109809124275651154990119036665693635538202632536533375443714794095889410830605036908693211018762731939383486637660322188376995675671367331092744224510423271333277513485046777725120877054824893927078277038905763030662312915866923009629342882908659971597097545655411775762266807675773091782081695853631696260518747374733211765765686872022264042190648787182479274959336649505138793060089231970733004022838796476725962623836628237196239339985108983806360883174904573835162231923170011850247026308175242571221905574417839330396860512347761536519540998898814843301176910289740353597313948996300299720740626227049716676690124564056589557328234570620242559893833966810941859520746990091885341806375797309331818577939640521877033437743883191408359714016104866732740003035197686632539200264804045763937697085948855895813570430539503076203962721810357481601423464343910561746097638228466341379860639942196562318313534979123641895001098664131527801017286259318405849781600503266005039022851365495941162843330455620904956797765267274808133146577117806579440018960915806090037703383594970185215140338986488988270667875831478397000871892508327980108304262007948107555367916941737762904368178682103745103088661760015508631193806784800324942946084339919946937516213465306054191215997051173119394421294287568679265797553043464788227335321138515582377186791622979144103052566264204100712357272896471456521301948418887584229348277638257217679975112377574819109081584991311621726762263933092029051939333726892735142783816711946092679445359309816024984734960886219745217425860484244487471378544537425133321764463113977482659956382057745940609033537425371933416941939788770759228410094385641795709614218055217781047668952137054875888851117387540781866278274979473647427458683886517297780895706664824569433745223926369128248784249919915060852663645766942920924748554013624802002832453212186723040409355481301956204903998787371501123254599477528041898463766478739163944296825718092530112597899809062429629659299329448264748369347942794731824565435111497449481670508662663691900560963047691388747341544033146345369336964956452727442494227148329154999926894137394577216634432334593170655614300597901793499499054083924377042899056743479175696951694984819821566339334304407060644310155800854507477641125938680105473310052108873704570556677754597060119159729373786447080398053179543747192289943771484119996509105407896872054023920281566459480532103781775327041415526888486007249362589614869736487713890267197012918864057198361480246915296392911301334372533499440329976233951834614207358779424595707090092396537584899166257193568327849893266406991918323427149181902339851993681536915220611562963119745922990614949716998500811166710206587993265095332737972103483685563079581792156595730345375449272608049622036104208042473394875321098762950561520292393879003395237001481746589490051026444741618284211713118087024793428996546719419778006424896654095972954646228027769261349307272164635547060488975195039512867942591592986048812721817283074753814098220921182678540588234226459178275640668101066842794714551356399946598935195472955826911198421512085866491555640381881057280615087319137252965860430124744063546405863026546532240556020122741141159755067609536486440348224714016087063648833100505787521899953560306863650224470763968336929299270854959939067103278108596979403466936163580565563446529461779099043438391060737325457526474067679174693551413947373065958661667402856728011822390074027117314721734647415732357081469128258248395886706629867639523090333882049460402023282054883917037337570888985685105780129263225213913268524619279216592805210123805411169391412293781916547422350300320630496658139978447093949707317174078503728420842357171261439993599596540672715098179307238860104163359134572260835578638241297199673068133460505919362606851230910041539225826578025724344966973672370516585411201485535624119496923706759510758461642317049403179872065044163461960159689418421100456484890573627497892562398718353494869161591715450455788924470644727445332694406452208589486550143832221165212205685174634277964142297103909851704215021908713296837238093999750806494544859842727468901003820445890719224941868447879225608580957116624823920070022428636625613155184336467254740817872863363486056975161263012417487199809761390952783588703065656437941866216897025683883330162306136897377312383880280895189634208517411950816396932111846273552154967218979329921618642000741392291793020953046348960208751896794197670493483733517655001737900321635793460416028287446840339835972519373939349817428506231687165520649391001062563195303048259859123538923249527811041104747284851351278206038591849038980996376497781119250496265132661552301185302620408131874587060366987905407846742213749355186743594212634599453123923934123474538090746308020001167572354488392970200946846586718699021983811229680197258487760051218376430652657659166919225670766800045110006707150275573110332741554046760282599342094276748423619533720698597033655379572263366141681244947242711868135843547388026759666584767957833149048026449377314156833296511250723649182040955969768026852590586678300032390734262017115636991666758195190157082476296144704440132786736572120444810133768731646411546084911783437704626409514966756892738643851660313377702123880753723777985477513100241357837712385422519591662130961223920733573692804056920125530716680380507778535492051114299813073924205906229324298536537056929812532320828385337907715574566505269068795446325509054477920079237771590136285621354458588545577946957781123359655199167184712002571117493347794438845890774582204298675757379851757991491422722261536624194783035778196813214197938824341346744476061395188921239111061328315285839294081692126574490325162506560952635710438908341835897373007983773187879195255888673346342885809025853893865100743436961078505104700960062711226926841962423932864932372854323432951265483683469663087847686249306299778879794058207311774703568221541417325113847921791554985130491965644906551854717560012022083218915389850191612938052514637503420114010403552275621546849547805374451069063214931053053424072406341785700587931743227104362372467344709503076286703181369107233005002054465842556078962364679642657458850744305117781133752129761166613526804700537326662400746888788155526749463982176149716089624915778321850571196963668121703667064940000903842766448945465186609866303206056672146798539191938254478986342284721436765448781471860911540587888188682937236186835285444461501042092213083776607490898716160968747893043661143475223119824624115808189992762661597579708500967426306767739355416928492297915828995385561550012755917677492894439860782373699976194377568891381260598046829835035005254784107942811983808937459742895487360272903421604235199509807824840236127717509331288635478999617110472720961626423695605354528656826431758236150328962637072968855578737758188725735090426570874298852282543904738341388820378012901878524293477112310402734255603170518976165171048028039943723549088902781562863273382017242982938504645434753162843017090257516166275007819781855752737563730879020567925528483853001289536895384934741572968647405573980419648051717503715469416867590421489373432663829328852197327047376843645432376495515602528280001210856381544678807180575206967000016963332812438915261988270726362969515559292006435195082026789902873550111805055108513070655133020036199668137863157644444847503324488807858313833582483140131961851185290493069851528401974866470020291634405562911805576178456436934564554711886260670005424712350920158134204943138292795236179892528945697360500873080776728010777872057796879895672209642580614615001582927952244527969681171086226873251402243286048625297969372330093681712720699710987751680609472982959859550837369612402635395972069944050868286112136948613850408190023603711397782573675142358665648832493096166499849939117350352324104746716101602081729181748966459854240540088484777171895461036896601686295794542935485844236855695934752506366814551659179688499116799232817923401595174553504079780175738304005609722494089515468803561924031136777662150523395251159521296542965956767612545694259802265376960822902014755779785198006987467910821780669611751756348945246277417488649734738198281433867125782413556640868899455892157835806222046857496705575670727448655482886068110529507908889493222992606730700246557895583127172249258417853209198565170185208937725902232271704265717744133484839840319522002935347478145797838129367828858797634266213163780563411346980858454519386358195791995074038175799335448228447610750338285582235101048641057082687880081489940336342924247596590976329842600177182268711833351359559234282689383032465768718409061817541474490716271482352561477653791963761501940161360732672536432720320654098695503119933638544032803577761809737572886139632710774408880532972965074300178645163592825570803667774801689536715476247065236357130361677197599697818711534009512903327913919126727922614253703177047473332500388268989323793740231551371797913960777407022784790926519548434855368080475862437661624250276536338571564846929435140744917701316827907374846565394773644545792455613297271839985765172259113394366245245425591481704827996324866377046057157931787712924357049083744649801476656858945882750708050920523017912543697149774022426155952487726397890062869414226115574066264551951136550553656122010395028520870777776004809067532307973345004377532702394306568843279203071772629655214566531600720164293721860787988882916804285392171750231954663883650909567417907502292472241045855735004239939111026896215583446610270311865711166023443026353005394773468234711658818318968601714108441176166519689749500059139435212609530991486453223919579957326085079508028055263369918581214193648526383783499819273575165991371501902207744989507743615891524491468067798216371961695816988407893679021093713432970916784533313162391824927087437947544780430233654919201178823441222293804294376687308412214591198508515645539168014846775028709757265980628380871724582257984947514901232722522111060993306944969186507509425259162456924417513318374156891266175643222846122493944463925725758623968798356898940311454115878929897196118337638115885809547661641271793580960987083778340420042618073623246316889430291830466283400828685672592756520092001980373700082872147555393815315551842129298663479170573677609172144616863351891571367322336085260487087737166953722867495366014944562007659799590092442697523979859049205898301779993574306156212238705399767113969934148415338698756629298826367353000540626805470755521000744102461843007084191817670079133780990870910863267169003664568683570559729821953861665018079788695221074853440292910194942014568646583745880605160070913491518840130908973252477128288470536671457834568137278817678622799620623033964099421356772947970769212745848542609026980280419896579682230610351772739262205949058505295555750627494191758569166809321929109719409918357529228267131144454596808248093564277365638222493548587533171081804568817324769339909973809659782383031576423131076183698469924964750883522718260330333019423876540551623733770508004367866652255960632925686831247938818072190118109976002544605111020863142567242917459928969096898149137886252238358306934146643496883317394992836427431299094838660759613127285314245288616751145256313196855515278847073231191652316860717854830598230401736781150756696219581661797152890021493739249510787112088600072848730982363145633656103739786009264592810562533643140410021575018355154310815487168932700575960201174168409186734467184668803508144924023466969184597500594767441907923436632843065150320355318529868481169782734147862271505874781502714260626868292968916580871378148622176043593015217051783224839191220609154454710131231836777208888194044129459199916616747167493713869886649733976203726483110751265551790800218190804044053028014997301458785968251585788714643394776953098471597445786493568348137845178147677605322525664844195486891056439161948859065804653465060502839369798563130034206589071297761729304633871295538421152622050868058164955453345590991488991128401767961719735608021774288940633141666549211171019346134143783093343319879122919489045556856046222524466486888072041601238765158473911814957263956831425524687473565686505987071181306283769651175232909409368492280113330559865111696161026496850423751247742033917751440599590836065436787498758280994069799316837420436722498218487900958049048163839957298856629500117069745584536651442044102929797987741358466362352915838722347671764207078133718182689047514203317673763876154625228962703552806283220210290018476727441415316681104053089190645050316424900396988796573031258291771614952460356913248933783863367554459961736711440142141640686812823206300977916863327156238860857639461194090875859113595818816740314497819343226895673924232798689951664195320672188835616853950293911934723702226131421376993386845395183934685563141801656320177627580225603302913082274892589613820562079636101079256428891847287225655745489207898564435844315389746286016662848300179914898966628914948233274544726890552053712773609035263989895822390753711745422029074985326290466230665684921153707010973220244746835321298432154335451205709880516477285846102239699963793632023252762086779834897013742510876263339504349741487139952198223175641157285894067656984742708304709311397650673690861184283635992965017873895144683273725737080727240786269655784905532919079027272788447796290573079367799845764012896703279815976246252047648036755196325423812985435710417980314031846486539619559291741043783473640952168120907496643769457896546037510373099237375471890769876947017679177755947234909125594638243824203557156129712883746465483090814461211810632707014013182813797935869375888427130720259138800865256610476921320348022096310023089839041077441054347725281007191043958878327533826197888885708657162562636375144041859636537676973735004846509617236754734011042882121991030745814842523674885580189212597073612465086000507649993105175877986625844067162658190599516396352264232011896372235549684668878699959228152424219064466702330102665108671703084534173786629113182031810422020623396084610777618499228804043557238185589433007694438865588232547756464102299672225082826537478448666666110913410017710600949508454558966758349778801441235212129338723113507815119670414718494505900652003163391457524391037140105737490169346742674728871626355095659271913683763563458104834722921333899368347953897146244161876196704139140461134058268848854965914698720146568039149207254845386216857150429859757423400878906251
g=2
*** a(t,u0,r):
19442516065760852376506631182155303380872740044352764093857371027146602672272\
25456422365346577346549086938517248597988670491527291358186966469118327012115\
22579500084758431828995698924503572949558061674683996074921841290364795240206\
21722130602909714802207208034164988252041936215172068750910719768292716698418\
38970410534040480854753118728132712912213441766389532388538001813294667274206\
46306902834527013015695906411654054480454731739296079200964994131127548339803\
34697197763676440404398245111634419762258512147713437888350634995098128654251\
19405340008426087302020247666400932413055664686592727881817767062120236763890\
39551656864887588565004317065842436106575595394303766101903402818178415853853\
04316881557656536672024863977716651629992027716999062736037259752703121285861\
99079584935115297819759550823677656140388318799781599471002006673270438239403\
95692940593567646576716263559523717706264993064506389782910961853623308763422\
26265332271044930117821609890996471018156395265238513309198468531220939007091\
66894725347301298177148663547327296586610279226398557667894731607763857288424\
63890758646301867701389689308155282611047637280270995787906108424793736198794\
33595447271086827666883211086436403100851818542128211221047363501803732243534\
97558609596889585893443791571099418855591669454598682652337388621936249254151\
89223097785937225100787414852145721589842319802465505465273074273184144527853\
09053988282285412503398818647012158499223368350163351453412604276464247547653\
72564048279731260206296463343043266972884873440278226517402779144148270729661\
40468545699898119879081177790266139165467650751307234681935937284693816333512\
73331072782554154872620140431536558546261040410189231415730887468943027973744\
50028680723404833339736894460051338967374300580490437815345256283334082671250\
16270651369332841055889255860894962578428435428346497875934253534445278077322\
37307475552452451196437413618238916443289785394926707793512658527460097841381\
34956661767059916667843513369360450711132433082793285714421562486551059777422\
89781954526732904258121861600429887946604032218252950743247106646500458900842\
02456979856901458766582756911584438039018135587734240539073549947166073482380\
59578045868066910806852712252686148062316655070650301254399761775793921456454\
96914129369283546080004765964446760157534211497726664091281991007898130205057\
77694814472502834660399838306758035768550027025403507931310872085943876915713\
29246664286155222431192004923479289021922884412815294525068490385677942086652\
66437136055154920762698155783791572461295803463153945911763958736782177983247\
58080176039709034828610867535518115817752199188193629552425256947787656268019\
17573280589005318957519235142659791327387602977199000957227581561765841545558\
98623220012739122442612044018724532497692115748399085710023392235246679100213\
02035353829808885557916038141748472220303004947097466262998319114371800750431\
66369132033594170868592041746432282877084518823258990182873428169717826011892\
77723557647670664391846582588217155441725426540674388530764320351951769712088\
34064461685446546029564895472619816111173418860824979627333668849708744481336\
70610893704819151015701439882483633608554396696443134760821707057002177035718\
20048875617695693392677168238736961584328906114608842121488405086603118038199\
80312533901295800177474867092976568235326511210995925967713049979929105324421\
92718071044354014485065913155708380180968751991886636818957490151757299252511\
26466375221612400662405737518081334975513725840217074425247142311221639484947\
47672752912691459835965320287057197764807477931062228096177787533957716991537\
27524234820840897690936291981262972925874390576623494167527961342769117529989\
57944908598683868284384798488872872528557511246309995663279914743404402795979\
00331623783708501889632200454631810107631019379360433563355790260347199265825\
37812257678509195503899797717102862269737336051924824426241906313049491238278\
25198109842412844159929737164808266728584184596548347117857742355753245453432\
97965212804910185630919378148592598720288698541373936453674394421058936054772\
70479681521691849692112776742384519379775222419248965336678092838080279567734\
07063201416953884898832112695665080519972889477921908314685841892531343029186\
08397767347528749292796654038690640415470561698399057620341748461392404947826\
72715444117805450744701080170246426833176950103460690162655291228614944352425\
73595656830944194349741692314688836339969121990716704990674585732449142628103\
75237173476441098003792731794356613338229228009720670242796776027613808633372\
64239995983579414591627352656546206552312846656186576213052956517425602065957\
91684594508021644919384453595855277095189109427614508946654745923841486546983\
88935264969531978375021352241106706709002323796994821269883114780539797272494\
51826282308528898285241473490164743248819805997435975651702395053465357364355\
63031225977983586913421255949886701806577489856302927497486884402435259603017\
66877311554726356013371593426121204245884515089706522805266614044586221997547\
52069828960805662459310797344685822969765676176808055590659065138516708702820\
20266800143068584861185497131467716890267341011753894293310667519705275437610\
04220631175027141389903912245169357792530471224897947113503910698156072450381\
49838638940019558461107494369746068284764081709083141291981088019310944521027\
30516396515634607090632734911322540685214831022611189466102451813859169485879\
95702811812081451485725250688271534036714164522246562465936788148332591958788\
94956088900355367384769640280968782963162286476068862992226370393756792261369\
38659433128517318491267659066353828891813424420787319373018736023707759928524\
73193473772132612694290089783600967103925378333584633083191468818614449311034\
58201932028983326425430362698514953476558711086922780470744548386137281421192\
81482426216049565756648836356041371510666397888555229354438695777499698919258\
26222400125956704545596816241481754494957117683356370852733680978830387220823\
12349692159022603811459557329063370510246845283011264472375799226054238838554\
62419974453825176639193310610562479523628479678803730466807336004247857549160\
72940926898805648555943813763969751642138955918865952087666903412652204294587\
03792930549207881077746748248636101975207769938538583915962777231579427740325\
87635610400071780850359346867910005294747684090800991547943836476706962116355\
58555162207219566060141077016547387463565489772392142596888425795299251146713\
36412159940235623010175109551683996715709737074443616636469607757049260899729\
05917566017411090273695532826057904478713227993543678847545190370946367657446\
62961816362965283960356906698175553831139756751466390705989517832400558663351\
64626820713153208328012098976277804704863968980979982824317645187284114051331\
52970445316470705567383737646618183404663690534817956923374855638871097684259\
35332910557810063330358907874306013618006097156182754345652963136465323332564\
90506313679341736059725253047949636397259982662598680834128994983330570860226\
97579456242092337468829424984847822903265590365612033821288038290155714063128\
14351171416388548432008954401886046119101138139808979662200610427345719187031\
82833791745792146067381678785013543309406022189496308493430176970156102116724\
32584608498045801974441587735633776085338041962385982066156715508733333395564\
49557051729102865714733653607472322414965215844653807815435392218494750948996\
01005088953496617572731885761060533013513156880045347048029502292366727154501\
78578065456411421320346011523482623158341007221604148718811022962752426081748\
91070185327964776274848489485611624824541632751983854409520213634409129371251\
23733532413877911920551858702640213489702646113511846408530494702391503769399\
42371988635521562834364498396841414167791546176905072461379951784644441285858\
66913291621336240543603755926528242364561518047950079416968420694574428815201\
99524363648414156051836737285373054130093652886690891282414604027961835578443\
27554752004466445538157487640124748284168764527641943710685120691266314478390\
09128797532606743516727069225471782901351762944399615362415743212137951821001\
19831540976629933672694334716231001453158335291921026201149642592796184875653\
09156085052555704770003261951468869471882928571484475595526594450051996157310\
67038400731276161038276659226785072470187651598481138986753386537680472038253\
69466148506577596492600417214460020237325615062243699374003693805851042553833\
12722369224320410802602639821819447231354044923182883970902195414375598029539\
94771155525502174786237205286007296138714970914310244771303374806536598485330\
09974710589148624707955171364162290008058970902753476449076969831907926753516\
28494899891364168394542966869464860484403601888036905554079559007668766253264\
20817879937865875922674528289296640604679409150440324846282010296398503672018\
48111034822753772983650765825612286718583881025507564470627495476070027441835\
29858798771048167658933844868912054586349206757017225173787188480604598608755\
58357416821708705268266542021980023572434137653430207425139045138179071757389\
78514052726169625568995049847161422663050163593784097873366392567115622517240\
49120829376498340949232621325207518031024772367333056378100598093797773748973\
58004710828709739883275800974451740822118041565038776529287315726189917260471\
12256331532066794283311254117817785713898368934177553371531452348456062167809\
28928604414546401711141274645707934857313792656279348591626281601025588747558\
26316923973864166238169868533782640929505402291720040536931368755474032046461\
25584627728744816093230434064854354751479690831317613327470323388993039089985\
75092535337248810383535402296188974247390674413769703045240187694522073091845\
81305551937730001963139121855876893402857682485684724344201473954331776574434\
40127739272216621673071704144017973838616430034249015462469115545638646933640\
99382463676557111017737372171197846865820438964556040470176357497576624700445\
88673682702855219623508965407717720010938707762778476318935763301957930437431\
67157166114063580237438345993997857746201776731955731026085459611907110301273\
29397828372206413527060925649171756978159554116151409101558665298070535999372\
74128300292675398352631659073996680971873929413312311470325373633359609224411\
10715946929458664037034487531526575529251382866976168516147676503686608526706\
23401050423037224010596126446628955720990713729404003987829381814010798048669\
07644747179284759220422530747197837291569010024893126208996692737726700052392\
51194531721543261343234591385437206803710922985159577352645179913506533838648\
92831233570030822910295294637011737202811545343294398992402602510358564485501\
30761012585691636416741256805707706496682419583095069111872669089810249247407\
67262234031885394462755995522432372556871551045648252375437080859800873629666\
10789851883390927480130268471042407402654340913785036879883865303662574832541\
32329554041332312304957527825519204985337256986871806805138156753435495875844\
95457848904735843505775535552274276981501732986020387394041198671414160534505\
74142694981082080082683050875153085294478067996142184488326514705713192903114\
33480272706289623277194531627869925097981067593251572214918645446462534496322\
03903125867331301829156308357718000673377212359053592418817867044157109134787\
25122401933932810469268612898687920892204314356257013428472051522507576747982\
58122608077151299010387352880171817642126315391613965765188769046314409740217\
10437991880607053605458171643324148053946849029879295563483831045081288807121\
60054769389219432655750828196534535447634290278250348844104032905799456166017\
67693191868979417270929717538430372180123416902373027130252703529420426418028\
63962563395804531339161257565404231314514695714976448979889255321326369662741\
56091081224175801741670274059561534243637017149929473375743329870141704352962\
18023044421850598222792908459180515916303491071470671443233948325659786448737\
96523785337408258610581847447552857518904546734134315483286884936198952143965\
90001190514842384024103835437516419457740844764813717009537375484384186780279\
87368119751281401598377787134676410003146638268466527201889642865043264557452\
46039486490013757666003401597192177773476639681753688571676679621951601762470\
35425724712211560627407808616949096177185772418005896580678139064385327762713\
43542783725937045504860276268011386335222315818198556892461097096965052022433\
13482884476412061996698989299787197046282027482050909126371860294581097207863\
11108302464304845048282907776188523461108590034783936849511727430665072607084\
02437892055901272147359262465775767142534967142944152450013896040110519547928\
22164341791525989222760308049385822920562836968966600902961073919539369180933\
62835185064330057840820256977481025668783643986469081024881820318462529639664\
16602010576391845734990697157200009048937292916933700310545059069319781485974\
53324958872776484455254047379492700324345415711440002604495944997493870572462\
36040887156826693012640639318953173078563036744967636300405401614348790874976\
24440824314150858214960887179764789751909960813594570701985259573312813815896\
05344685920067236396871601761087105974467623863296800426964143201534770694708\
68779131273667663518224514385859798966245822892174311561497534430710114150468\
65843965390798367536287846150313570073193433348024418129378115365425290856801\
71644171171896446861878871686705929273782188356676901174806102603923466520825\
08120324508121619346485782953957058795655646773294494717360883617545264520972\
23712192976301049391199499553915789253994820635547137409843688769101434595850\
00354236267112634676387771293610969244759021170295782382958520602456589272931\
11796031313014355969877614116154635796172625043541830225608589153963641704273\
94312527298800358110428443990719356378666903737776652497662366584094929290008\
43942874609658394806487711095816778184215366728436679650913882668535609777826\
02845380993462022599052609746339352509373834600356331540861967275163361051799\
42568556212064394110055527430556212858142192676344832808610095280125665676062\
88891325314856394845061651863710695726595044848176894356973601480892865784412\
48192073954864522983285296233988849700899642888454115976385293487065320477256\
33296363402910435140633674455978996899994823583239280420938269533685667201538\
26163638712669876856075497786601740051183172855844928172765884231320301843923\
28795666331260874216543996752053274470975280380509490325744280733596869163179\
60717813500128539976496777301496622512331239179049907573903614161483086880474\
89517016921093176400988630100895540255645959064152930613135526628227819375651\
46282469854282664233321363847559092028937013243950586105964876272617070103575\
29829742984137785302890874196883245513882482865488011115359812606527563935213\
51605534526859193257833103515579416999021646630868724331020263752140250406014\
12518237801214991276841813014002157810783783741178503147284022912392720948777\
44144998806287303820764884876237865236288178219835244570227579021381903781504\
11089521897440573855834595671967436374987471631830995735036235239305733311591\
64552223603424047907424442952221113457393883546573700330933831731752287588923\
28016211792766445000425258177049088276310786270487893908983588684999535414333\
32786663708685066768281361322070863767289016961670852918168316935399255473723\
48971958254376699643712574843870748386788884673087650416449887337704514991697\
45039844767408605287657772627706350451544205873514706564223939409021449814885\
38068638843966278679134276442244703299263234274594620497780695870435973731388\
22593484416660242940977621996035963704419074315341802648983521566039989244923\
76378551802171915309413936314324146816119396668263753918249769159484198359241\
59131854307761998878693863916661450709842094091857385725957672420926371354825\
89551988187756964028778403001012980248310422256575349033886337757628133043384\
88188602796887168545270198679153540785413264202092594691439103673476049234618\
57512337348109361558857434150198779970600769215718117301703812554057703215746\
73650067023169140235626320880923655366503331478721513214954531812343557061008\
23445752779096028229576338708426168778854632370016034673451818772510584562807\
31013098837689105944358043388669738792270336970344626503442234887564924394040\
99244117493763844191574663260963308257019980072538384439352840312422324035855\
15371194267538698175818596417861488325111569953138633614472245540288104994196\
74744249695294728604990205909028885376113231622717748326139023532323905044721\
19499582554785017690144997599967361475107302058981073447157481637246858059992\
73029651552850465317616837060286634732446458286155108203710832698484387978934\
37853008934276068047699633323924923953700308141874092986526997100138061189801\
06224881252493900558941619364707370096397793271603425057981462730972235618243\
84083405885239157521712484492179386035657120545903577490905755292896430065289\
11173381604714128715456951945771960236279248187977883157784125114671962908467\
06446186335262156592161244622085004567109322632061526445698891267868587587693\
64219682914405242461835751278596655460790658806202576560651340949233879791294\
82934961536133559931890826986270368595541681752787923261064812932918871523356\
32603208679971443270885164596197673171742145869905574301355673335334602132981\
10271693742083929467205548586459755902131581526598370519873436776426157028867\
39488237549574883270734952672258754935638453728237244579572953560023915263373\
99359475541132501469199582912808639343747144966005662950618867012140314100694\
53095796710433636147453969958148360808493924512617991640809957258826251209819\
11282496096576073851379586895891854486446386028590334951628461396314818939628\
55261833012663840564718886348126303614118734651893784676437052002574621671394\
81016487966135920300745528639778809392566743905050983271490803314116897268920\
21585359904093643366633953619755085424697344130808808936784959022362388975886\
43498491672403630573210016038902401211574878096061113823024831101460657310755\
98888763307050799127478973672018861524043491862199853949378118889657278912072\
20497693832408456440674170385670158939519849608201721651595034850034749282755\
03232578097486196797891555374443950195265091851002641970237479106850921933408\
04392298720332898660208156834559343487364871126265449312597617926450626979628\
48471397254676766034048134202851405496667911673278247497131639390231998291581\
81989327674774433192167454871850339369433343827270529292905945550259098270145\
44242598913669828606566345145239135082537527062632009253959142044608989982122\
30263590360851643538253329320840188057914353093215712939356414222022019465132\
34143029332812644478728351901447430696111076712139138564027232330140731200236\
36565877966210088547417583605573379442486709181846404969828203342703416033666\
28502534415414961723027203208880363678056309167707790776931097031057817852074\
24968619558737629390711601999438133457527905417559953047559115392691626368257\
08879946276144906775640108598678928039794546555917519818876355715933854864690\
06025612095568441508892142450017115239047342849626561439879048734685722613997\
81390014852847656834867884671006206532909806192370539760406068180287579848534\
648685465242579084588214755058288574219761
1
*** a(t,u0+1l^(t-1),r):
19384823139749692577169816252831400403481426275675159452629307611635781892829\
31018866215894510351455469469856960026481285712620682185017272206598688059557\
02037721152756181289443782903956084602526732114818464929298927814725730565902\
93467762262841733452645762312995359206783651537975712463816029205182055818007\
65264266882604158953106967040512141063809247577171759295396939493373911584965\
49433588582792511493394138143370214556180385354313004781971032724210255911495\
32517087384555738800824363078662210801539644159144555283340692458020686135989\
32107401314039066271450454646619327272364104850727467561693678732559049117706\
74449129693181690676087390308970500094389911134973487864212294797946432424019\
65134932354221354070624196725557255037618164133269095190826466697057117958604\
24008132160827121861837415658028761018310015183165036861295769264744413200117\
89177531274298899850969331026706139908917025726036044412635261670081399835340\
89095405469053698871181189683604790095253854032997449471485713431721767081254\
60168034767635715689976115584278847635314699762818739989354984629699276109527\
23641824644384058004946396461543545867394676932258322209900452316708294845088\
71477953362270546279147652596565671934380448160697563710005679930581762711655\
04984251704910685045095293673262328591925225331588004068799295480624865725207\
82133415003189636895740567923801075531712223898007150849649118563174696027770\
44041958643465574484100899303845950313765732242299365247319391800866430789352\
08253769204717220858503298763390319593143375299505887566312563182296198709692\
08300983249750054241457791506022025992869823894478429831247700082068612130742\
66585283249074765689021861083075025731583707946064040818058095517996609493110\
24360939831050516326859336909724777130675860519420733252094973623739619517923\
01088839347465384554239732846470941917958321376630336161168869992800039863443\
07819916277816093774489528117888059124466967040639091449911730757348940281021\
16752042592676949556069497009213980530980704794713780415565712152763074436837\
07319693534071975758839600883514665727177907493569707565967441641614700862560\
59422982884032314972023164161104958994391969013289925285248405882040951602610\
92042205969348611368256710139176693617027881613467362675009851503462188751836\
40840200202015642382437986243484010127393160425033113159260382725975583824627\
33844088020062173429953547985372997086744240595061064287597783444739295678574\
67735546587976720287479269003825047808207979711293587419652856883049817629422\
24103494701875529306429021790367858596425489506289987615289881707889649265196\
40103677001015536208941399085857824672892400377546170711023401585924784884434\
54909858391411831364173480735708278593478440950560428254090407729238346466788\
78152527965223576085215569110657100650517955167543302072901661101017460467868\
17459581266515684117091361470704708207779850629747028677648175734210460095385\
87240440247144336533670403640359783521366167135356144514674990697404123264083\
00638324538923867168131904301605235099168377797230250879337719994824316389500\
54141421739792401976064702904451804787401390911683065741199147577157679957653\
21439941497979925048295797627639468523662543887254876200700574395111962860538\
02778700912598673530977829460580472084078671971835522115193187267355037569243\
72062348340757830444010549979941029457180141741527095326859302057139998186960\
73451845314252073789264530624089067480135016822771246205251384839734280560367\
31432350369322749621864474202003942290126444754637795272649969782108222157098\
96789450975265075682149399455344861866395586305154031573637200627328762341710\
75513777150749381674049240669745872116005327103102356202639154335817280385983\
67565250116195192117368819858342092491380782726291271640540211732296377861866\
30597702051412630964143677604618065863988197363397939695215268627527177903018\
77462666409433500561751727100731637159144643660079350169784215196393558029856\
06132240080269185868653981268176788192297584642255918788131161517902345615292\
22897066772848137602340982367736240860584577774188850588826695921293182535322\
34068762585425701770177723992407117245117135705838731018171629654584492388007\
85677257199099422332366735506657172269171782980954780990309919513028282664114\
31518248750058337573826931029673754242130886441133778517610764044593020956883\
62113914610037482048129266875972698563642300399889590191846225082535968256424\
47264512448656526117249877203962756706912833794898554530761604765884011641076\
73826974148617830650665750394373359292715194692184407126349307849490325521700\
91349076114191938583937063776259719292513698743260206550699683649421371792765\
16338349420460749830602897353731077459891812366998442154528173977479939109159\
01134270117990340456994582649886805502150684853977032482732126309380925470498\
98556768117702403038104258435297785553719450490025186406445117916808190131820\
45040035396446543628811697326890005362047586325572058276426092460588270702118\
50655123686611441010364556056904227378686044718520450037298463854542939439691\
29660126204245408268036878064731265631576460520497052458342569396265917282337\
05666601923059479268125599513866922478130049198662636446742980078993983819100\
81359442358484034145423485205866184624006641933429407211089952506173413481686\
00432589566310301611074534445800234254245493929530965798533072921330793350341\
76419908692146077099265872196452147389413006598211749734749032075539112603132\
53875800501066372994669686146169838090017683321883813022417687886764839460394\
91706961040116924158108602772716650076031241115605750639133710540956327002433\
57239078727542489653014639306513016343173028502624745725027582504349576664641\
86922869992393346781250653315400370762370703620428595596297725587698679431773\
35180561310796432281734723640062386849031830638593632754214149132765954176619\
54237671242114700576362044556765284354848396707877023926087245641661420880922\
18429455318461284057330950317916526736811844337114957289372453438833857881888\
93025212360331142079081339058057247749088842774753070809253022373751407269300\
75291131799659523296050303754151314895961926326641108121208501179309436606878\
35335760943616314287231814316598921518571778008127477452391927438133948495493\
30784642921465424457338004188551128378842168247326303251523718545432307776704\
73132240636273348266233651476610569077255851200323837270353498683007534929066\
69657372408385086635630272633708967916195859238942907752387273196500143576545\
07520729198573202763854115161322916606761043492620341809655157882399263092904\
93733834367507793269916020859215002685007847495046516595772059242249197427009\
10252730854469838013887004897884231712946463704726134353746225494618954631709\
65325257446942071211311766338366001130072087767386570412376049800971698282633\
21655992956481178251160047030456111643818991156376360612029529657746851103593\
89530735749033178869437961560138933458902221496965594837208889061876405459174\
50475137674358526160438234492911210176496599924727468131357098855783595872511\
16874472692412538247853670014566375357558570809630989210542376455466824703890\
37453986931473448881765604388824069721121609539987588031155504758421844649384\
84961881384528667889140190123930417068131820343236675530541660124547330300354\
22398897493600562205971434656299551230485406823031720991776428519093175136230\
47629582732874073828339785199141544010173034195263143697288699659982897088613\
23257299372032235918213393518446110066885521399689129401002708517018457934458\
75377537072267767251146171726677036739473526488008884182553423488085504936105\
73886000801769035098958731356574201605477710993075890449848046828372307028903\
31081504127783318710105117282157601580237653098338220751531887893185594262665\
30080083624733665021799618579640104333465755238694671652889210087954101697473\
33183578589818922322406118668586022060809109982525895205048633096074207958183\
59169691946193342532395085245950582159381208812843143830538002829065806392750\
56553105856085239468311322988373636271456097570586626370297331015624574672816\
23345032554765180479585445874654359213217187980172910272319554063140509827467\
07013049757114711317582482090960286315315135483933129980968189647416967709849\
96666007648838922263267347227577270452678528189966717507706040757321871539633\
19064993013972670946174948071809449109741990911245289909641358684452933545558\
57984053110415645167696558409669337684692601367696982165178757028979081003228\
28114884449174059435235866409885264895355961703826258202442544982878934533903\
33065603135218785543548074113051784874208398300321193599875174881294650121872\
14692886522118510094578449787414033954622594134496047735578225114305826080657\
18618060425811158992778744415846270393945430962553116516827097408239482080405\
85741269018168944540114663220188935439680360458599255633088295132314235115128\
21855512464229281075687410437405722069567311645609915911367473234301273651206\
70719751890421911968551251857431603385796241751803524208879808099356513746415\
06255466029952893086461596793428154066284481458612907106370086547264593799652\
72346355240335294335852631301620884316869005838312928443475097633682045002352\
53722844719594785041371396929583756849923808651109516151459350028237542966335\
67624874891532559646233439547227848416117691293332430011396255442135941244861\
41596817195176388365556621316281234420978789204402545794761329344454708867608\
07477777695215403486479134364860136831030962411008489990464185809924622608841\
47307081469490682065356308093029576713097374391744610149581424041066097233267\
00879628833407294383754972836175261710674113113717264326498601361132525620876\
00092260751678339136106513862075653849030464697408368614838881499582838453591\
07770520626342079108649094788055300247359588472374087179975356820936133320504\
32887004140845058997483954280089137120994422823464893754865349624138235518407\
63775987523214211578515599553479158892924829353385251032579395012420610977299\
16303731122134580989611312691374343987167376285737590632529425725394257053344\
33723465324407605221896985916864332945767943566579007788619330651634388905720\
55423354104039628917188341300064422387719911522334936077518431869886350432609\
02394981894180812600843434566358708624776380661344025679612241960857058455199\
20476433733822288179357827331136288954980607250160215493844567671331455385677\
43212916742256698123324327851831837158020414875607552937420392550467739300750\
17711083241067297026890119676731374866371475870516588742501153590137006580426\
95553004921182598846667129689931458415569347546034474749224867806938265192243\
44187817446677615720650501477851464985592519986192635197172921197271447083467\
17910089699680682006009086904207090156929652759406359707979871852155025955872\
33828221467992559464350191381416252756999528638984607709634596940335589138183\
41915104548425375766539377466677296401459520911073508580537028908102745233631\
70512552397292750547376051481823302299920825957237172363579883291259129419240\
07340763299677280171930504289507884468203508259058902564978761880104326230249\
04783221108734655512704762890360346168975165717221881270260263920236299155627\
34864604241285796501891283759537966863268957600393258944251231068283120447371\
52852968223808063544796794089594208386512591550866489770690811058862874389580\
16739249405938944562831614047356502729319435085170197364886081043212302039531\
59433816955260642336766025423554097114998344129324310080425597624811993094103\
70050935524878249292088859561296479958831279744924164122642632733374816140038\
15366179569073380926802012682598231188145761226979576295605207882340110598759\
46424072605273246893271172382529985319054801421950555239658481857226300523613\
12437451931722025311448612884201251399634830149056637558583945958355074797273\
48506241220543232597036237638019808622736017099039474938426584084176892173873\
27168376634248667664268300422209653851269949554938117522037408419648926548296\
60629056004062833510847183211803442511430052530175459947728170144103406291906\
65401780453967480807415100020787884088430041071149581350755365468110049727519\
39927858268339913759806933166917726293938488006542294183486409503425925493483\
75873197212595319215955913758624841934386204549166882374134612323370143003531\
27308734431166422465308675653694054348766823538427244068569301856479139846503\
60327523240103404420276121145554379254108896483426454349753497402315304093583\
18487386302891551426975846898304148983830152029581915330744644091926553892706\
24725191774499786160899278969730990750541502230526417749068072453126007109733\
62668046678880793594993211241841714421043765460027404223159255399041942338587\
18834477275824131687974669153096844217534460598138806834999765094852308738260\
23479591043367654108354914968645770399736808247636828558932616103867685338062\
78867286509399585065153929509849267182323235667922027609326824472674915665541\
37439721606091687765475845458485303587477921896272524851960348721536915466906\
09227709450129877899843486086552718559042078178958830257970964220834402771489\
66801534034286909080791863775670532215554144906135833103463048120573013181427\
51916363409918668929818570301855393493831221418598590336676415773637041404813\
40978599726861528018170435708156950898096725494868156334312081806286642001654\
21138196947502229947159395568265161853391672418208321933148506714489310765238\
50660063839042154734692287497724606041515772367487948945800743249015681753700\
97117000103053009200057041758247987404570615180495401261226281589006554537230\
47974174599516773280246385311916039137514123838409015340378277229727246362627\
89670692539317048223342110251196693371629172442787486292801373657048706218708\
77042927362530633845337917931833702158795258203650014705651293637186301521175\
20738899621355846662029546530806242561519524201462775190547641460699988847011\
38174498127137153278872020558440467269722146055652001076282090731833723695399\
24498658794668366745642958085370986478188749037743998212847540072566437131764\
41255296401346102139402543669634681069245628306385352592560807163567429279398\
01387196753091242338103011947201168439572507623108120189742225808842738586239\
15111385308114183152474360636855351630570563829437931655980589352088865520350\
52782130870557585184726749605961255069431040723941834484971093659698469376014\
40922797054768779298639071977145948537678178277637673193024739174254069494238\
05564818656687399812340602102937389383524315156828453262463140434684118809579\
66769095952650413745112513867367552415855478825402875207215472873170080687951\
23079280965837707034813589655492289394353241084734079186983789160488270950204\
42584302287949481253400528939999569500661235756579812853424921150146396305048\
36862889147389601963713156469296054874375413183394574880596133637368728433922\
08128960240429344019679296086749804485671434029590182122322874245457341651100\
13668035315157973498572252737996216689683535124735836965838076256866333052787\
00393826703004552177379825870670393826091477394257098443906428935265043532894\
30641185037210779868131822391041716979215995454881942335229006054619366150429\
65250881693621602661408346682333216978291824544951819914521565168750055281537\
75114086535221143976685123879787815017330635569388523303912420766052949255833\
82244270047828434522678152534765015506851957564158476500013514807994509908519\
56245038496945314778300964829497244682377048220051782017588018235812216727627\
13155453536644781533094989919612266325575231968845523458692117630359665097333\
79201966325141452926377201437965045425971651977043894620932681936102335827140\
78312791584563328273496976233436450459005367863367494629253600137060642095829\
03451612479316805768436446889059090000641297568357926755287603672364067206840\
28095854740083179890923258979223286167676390548558105649619519090300477077808\
60799608400849673334330989342256265173389619816644858383934152779118850749487\
59737004569003230359675925092568515441836370243035940107784981704118553539560\
35976692430162449506753999627497893383150915301131416656891635068734089853088\
73431520830222050798725352569704297338709553047033912285533301747618501995545\
30201106628416218056788278356175646022834292214615393621008341565470493807428\
05995255814431868241259058096715229181610781074290191409960210451696779217797\
54735974711883239312667913518349173811153451941759338788197490637904750374027\
69034781228169147142655929959648249487351594968114483366358084574293184801335\
62949756372756762051266199363304764054522391172798704562559975984750243605419\
35168723259370225352785516894922947939572859026165105870162949050786184890675\
24444993833109069278098686208475695163507448024178386814382313907094226590272\
85218430272750026302750969723557194209030574289821054134934928859484832521582\
06799881604860387500903216933358090066438155902844957921310894592304662218783\
17661793404867527974170310947692206848607692888497335421199803496775075673403\
98083846347726846434402183542372043440325897303147088252271412577239701890934\
52124387562753960281798748347242022357711372119800216278204235804165713440549\
15067695724748253611800630354921294465358045575323637164328933409325173916543\
21264531383207347587879281505598943169442151539871638622307944051812287334859\
71972338624541260946639214552885513904170210718956299600164706945615508358105\
78787208003976855492525413427449489564143060513166327877381230732579195138574\
01982337734887717445005768836436028659865045853672742370138018979727108393156\
26661079471277508883237566346301788781896263230201491843940472748009333940158\
34540616304764693606957073904860086740812933638693309173033073112657627318988\
78904803229820655234609914531215617529513310699128642563047961510865813542181\
58361946267819140741084705676470142475797907546101814988969879741439385405307\
58520890078996051101040052293666706100600670481000386881961157013481535555956\
06091041328710576175635039810794387841834740735761898524509632734462203845394\
19037071815808961046286544181220198240620649971146985888831879080388073757905\
08090873801688630584073991554297737305871255981303118477718243165949097075537\
86608976640027422445301249998769060545040562220640292210492378960272034893191\
96101324156544101258431936515766074972133741430079785465874756616919613559718\
40581045608403127447566589603596259382061117799481278839859939534977479718561\
33787505868164372069555409769015051177686701252882763083193563308955345477660\
21211911272178663360736690910806273080503274557753406060582782507083255248572\
31054935415409680747199679432641986313746614519419451362997838952488488528169\
41746487718831312251789669589917813612638642846648307262978502013648066885117\
11193050017285010518850819699959456124312527523082345867991543213434082146229\
72955890197764361281698243594874348642954107670921044717692214608748806490539\
67883832532876638394472226344759056960910741484717559943765129384081385158151\
18069602883489149778276255999439800717297852285757104522195438492416577031852\
76509382637343289841587764062777803624246194785721918869858918458616543722658\
33900907015166161267025993659364245460889932336719657696734007047045705632947\
37528323414115171206277772253584823130734999645805642016309907740583462400912\
884149306592007633298635482788085937501008
0
result=O: not congruent.

code version 3.3a
start=Tue 9 Apr 2024 06:48:31
end  =Wed 10 Apr 2024 14:20:25
elapsed(sec)=113513.196904