n58-L5-f22053-r2-t22051-ver3.3a.txt
p=281814679523884745149399706059102009597543066961586368382443761581064224173261599363747627033111874841673919335365668688915636541813179523358549029367868477952265623054975697881269737021896608181160166718171384644851585099916294044108809481594521351691381251691653771871760083136686848241931876552991499336966309080608172719988059120050153653356682625855168743640408249419641293731401311593379327175910662924324352173653802410431239151496130000825911903810223273599347099753134043026047790074315178006391713118655795133570754078869228917038231418811738212161054879680165755211739315817175540669864163634752560656287145142958047922957770852930759988504186850067731562060076135784653441168753155646342665295849160584042999471009275538811168949111624665025083371866062994354580234779881433045924924333795882261748144582540322844360792977923488064866243435256764798165041251335890579027491701644429859156065670252152522117763839702989661006301125742667644618278234258378670435437021606715858723654469008278954522076959149086420327067458154697958077578428815927696778637923636369407256198760442958963580248277261432549987769667006043893048675229092529760403747022725226348541290781906000754314983607983900009322324965086061589670514224652818126537772393104413982985068816458043718861021504228331184588002898518839335820723922802408656117903245414516009471351473301167294136461956306478316619798260136751192396031695898118344636170338388993405127020737320584826163017053889741677455463179056514504944292620541252121044404677005942589580658201673768887721761144215264562163261280772674345725761461381549022704359275871282851169200595133582520289838860610792501478903312382094429134274640341745691835083412207315728006046132291479464412936599878884427612740553026129262152905703590187867823892485259226551679477232495954965283235473619699890205885397469010191135980886591254996179882130901595369630706465977306841424990643181407286413993611268546525238252694610224311805876483343631426771129099422647747745242622142987908031385301981292746164432955442027674615423054256565995403776820773759474299710622540816041975015493916547643376114939580193521986280018799779549061965056793927606337430413580560168575270009975543423366354142800176143690768549526695458469739687379824303477489802776220621480074294907193992623709269259737066827602457240603590771351191919367124141276007063091454795571946362694772069686163110034203860842926077754081573160852833546094015088910623838346758481068648879780154232879753633561192646221976473145339510401881379334025077604405374127664024601528536627243420626360849673849658876377596923048299710393517388475059971223916496456081612011813187545776513061537737797205088348850344202215370542439481337161655619786973550679030775965984294782797151904397152566688978826720793539739008694974772692978496851394872773031479327120743859604834083406333021217419878956649698452306892297284189285418330087389130699592882591532970954492911846860429281785154014639274551680028000079075883642623578796688793311306516844109497949716012326929248820289916552393984829523215340117069965611437956407416994763980931381594346676548082853530966274135089090213987108833510510482775209473497154761678730303773453207461128054651487645997988379182539051574968171477043796088454810591101650347508146976759445453790325342507383990686018625362809188572456069453299308416784441306325128521053019922707706666056062760581510682723975837407259681082664602644979764057906678571376509601379479317795072335289938078511284242468446513318371139699037581494878220968774953023747372328402429099688079142338895711098416537157889896544053713246017687237758384707800806608576365588638044127086337128724952187971097414388590311775675324297354297079984774658568191446055733113460996125373987857252630955823618695247650747662229582570809613589299834569206761953208511510930028405836670522974661411381451354709721124614804066828121852576918942232898173849010866080583156416659889884898524630432350971826373844223211252252621262880867680351178647848117572218763396031800554194001724265260285276501652257058800218437893229296984602651695174516071959984731047624432428831924390627141355048884869955494933604356639948723043657678496143513531237760977966580246777702337661133866880022933845178911124597800627366762548638232772091815217063673263984396334256940112244096190281217139140909628171412972238970262907850071068781460771405031590404730743894014249200245728094158946810745065561805766482393092666079854940299872966595862734712725994730939043829883401475739353602342301423002120985755075767186579454587569704718402678071247766935913844154353512153543812583541971161177369517730048909335084314152855579096853957930793316984453847504044762830353286339448310562326822023581052997553898616220266223182881302895783083491380527479957027477178930602355247466539902207528765515806919849873948155141550646082495179192741828615731421696704467495834235688281863559209006783749089121416272852754578854064138169417944456740528437582260731736496781433252908489976878369558740625554008786515849925692286520739431330971659830041882849015820461744850620123789213095736717641985086995553134715071762727197802070804622921711225281063471771971625197236384075503360405989211454849298879372858561550362646724968012920212607654422861752951580803142871570962760826400209236019732800718608904701225158540784587938804253029808709645700507637288454258295610455391077967285419305256487881040133011999774602038554764103919324805461675796743452613302201805576184727645136961323052594379953823756612577063799487266760218917286211622266858945886283544378346640392187748147344340694166018635755827604801266781165181919246864600177587275698609624042343980960510366635739225214224101933797976746829493228402314060160769761880007975941122309141038412363073042651101741233396715421171913274378828874234394032872534246163402350691883471535757975460229700247793484502196125672291851968384659734482285604134461959815069664448451114190181086845571346056076941208717587781965483375147529117453099041981009197791715450367886548553856681183273506749959834945191400906797109071580166125294891644533289198441884520828030644060866567760722623221278084019079391035754062703560872701526910723665148181434957543968115248242779003057354197993542629891455734764774248326873726616298532646708169130072254865306708113895773536545774354756123057998287514958437485566061164178092046857049180877696342335727492466601985024952761335427040202391588036712074901319827633427680447224140621155569062887203707089032043900401555638948380048821212760959437242162351018088601101534862392613885843469452740784825187716804489636564296138793991019011294711300761517765933794905899498016552415826781009420956425997831861932362442832615037557663359784485988972624709720331641948389766543517288601227910480759432730211024995504360874404248303445971832089086172509293555648091759442249310008453447137525660922418229002380626993091615886079797209561042093259023390665757602395144909104706332101727192178610269568620248734868463025578318665834980693719122288743937048720740746921819268895203587490813255406796369749193210395058472272747794255296499611979055962039426296919700180715653588708413095370857359368618150646067077530817990530991513310361135920224161111638530284784963783101365135231298453313721308708751325505217215958775407264685373666658382921877849694988547795281330633171063635913852035241733244334211334400765204252176546871721257961151243656451633206806320393097241107676398726528254782895591691726556501013674893793416391740835701518661955371161905651916919928248919924342284843912819574976954194490712658615255247188080924634730666829790749563188447815883714454382141792580945308638895725064515736340116690816621510116271638800713707238829785778397414874539100695734211773186051496734172896465216140177497749213449100713853773716690288154178138234344224668581121580904793409472158949885783916100709170345493455156344960371199275712047476302038058981688317245132555776197874646742451360973979243842668395915730695230997322450128219092747400574669025275482311527234890810407045791636550345076526888498503513370655222070140142475221964388210545516435588173100298234790149632226450661747211908456539510859932751698729155610427892883631968082705141747954234653804117853944441097578619302117069050842230415616837673157765172063573031337276055948943471723011223779003549832207275065075842164007607825326044252857905334222645610492864646339733083733485079726134173115766345439490933618179111606332630291620011622589817166295421619113366284509128164055795765794268364991414334234918738519284498714221742294949242202694029919248659046686487022630180490931750536503474517494502995520941486336416533937963828699540229036127816416598603239730104764883781894919895067423505410481247480415389899196889542640877956963641940758844868584899735977949667737648538738320799268827993982773539105775015432717664580423614970019056440733644663922656503027859408930346027410483590338073900626423842389300602202724426840170415083002544345149127099502442610819683688319829458092517941665537335520685053512349923693228366867622168763987451706652642970622203522932301649152441614001187732323292598479964697111224120317625326873865769511999825832515723489506814427583225716998982781843563561952053701029033620412083637506779698166052947234922055399995003065497958103489662042556166644798050338050118422771786819406835899221398895810918129884044903641428039791160061791216551238400645122798888504875248635320761868184483398474549792616062580436949697387955762181395346666537058100099484700161121625801160293374195335762394259315483223379112245606792554545470158398355573227828888390875420263775702399318136651442291653697217287321633611119835848126121311296286183947197394917190569328289453713001032224870014961257915418685542561520142381805494888745997667023685923395103854678502174858791507001569381418967350437552640747867535363989731852868236665253424177066859287432201857284507416186055879790989418089263031489167893117320832996444465129246459306244278881887293341339729749866827701751542718395512268015169293958816850844367140748084521751773435343599846552660176138965286397337318387718320379401902574683983367483828212330908062268452205087831531804313945171338102888955438287818038996774020383023831212895894253013306116738024379944817958893491529246503743719782196459887731278850699182365444068325680704982437946141956184850396746403286729743569040047517175883796354537035262835737664147090623335683607161457230052571080203081037786830322927467197991082305873724747060963954188951231547681742793934447202244589296720796199144557235680214867194567897770775255737527305520671713129779559087281137458551311974154825376931784342514178560337866289588891658868967420916341892363026882249856965472315349828599253583743540314325554909191448176783418606593741731994835942690082962089104716623662516916171302431244006726099357640101851207941171863746337083307679673067265499858988201818945255132377673672504049514383429542475049537978694240058304734738575440649626270601755038113919171826625426076456120941801119744259968931664017891658153981643514011862354572952289651046043020829711130427671959489970049853272659289096890136750102537826370834645275737457818664769471196717112134538737996717091642352385953716833551119020715148112975745717654931549357587173214865306766114412288013361381857701601854723432059653606225209948936549156965286760749967175495290652426089557581477024160717760495847362480434500815572298340018242965728667510938029843733351667936032796613509366965871703390600003524934206874820200413648692854509846951642759898089663806967632683402404728485622025135458156596876214006492190187899249662480009906239090695294814877582526284189116865493765743045499850363918429184133291010312223191241184706967947306039262999322238029393588948246373863902138821321939423798309157244845095117264437628503452348917020396255691347315510330792896315252309692984418577941407766701593021369384016820416846416899435624188695491561859433231260188414961531404017738609210999778553523253602208899858819938146749823234374344022977862515119421714488806839968505624842084270977255308550226081176512161387011334222668856051871374471625840748289729402633441290389951540351776555475464706844471256047447855334962238925299201331227700246952334684706180320313119146639176921170789920375473905587629433521881721241568728184684676649153810429299076734387882023171608224334172802671334822370880729168495044445768155231482637437054169771085338099251058553835075518711938109403443556646664077053174190251487543179589653564589091196598396473030396176688490987914134595919474645725530137484347808478727010260597014222298914371849226932247988345598575244307056436384958836284585889898021259641558721322475589789887406991115445851028908837682125303831359477006489590414201953601272395262579011262676269222513550768683306597909615481924371467840848238749280849428721534643311687949150986635781338527787787956748129447759720849675381739220388793541522542087925840722716577082181287288046533941181908393483770667210504336966572163302493708238521226993345611990977811203596061890531350187971006441727135503004772215969560351171416305622837417792502310231621884326805853676428633144612654931823520891382082737798271627187150176765531577487224579753661365781724829043260938629885941912409010519214882260966074026801097753858152675415874993875614946330016426843571417800632911037964101601811307419201063112163672617804067796453754261058607701884373003042836728871844235474870327453843472309279171314062608724531363752674632655130878455988529184890580335494126262312641094103938832874976321974276706716981018659008199393921611170489131973280864373311534138396903598286343602782944240352622510517596124743631355694354645685087542232341722237824782556687153557376300831566506206081907136906955269253263759733951737679004810612005636402022857879489534827364114734015916987248412463639922223778949981632323655232835667072350244980869899343152080535415715155621277206476485425229848940181750506286502453487385733943038772470364319538631096806178106097367108330976000057017039030096032513652919685835297063386149683367624572335311200653200888037203980067442474975891897173848604902468225526186408410731682374064292348080116133263659388107572953230618889476151095930418230369058472514416157286845455762671175662949778510022743476545476629397782755074917215900189091568150514231173227288564183125523245916075389192342998747600178539097545384946671827530641208567832777223471443192229314229887130623701895717000455325778034606182479606836340061815316693370917203913206477147424085992596759816228437329889466266220066558470852318547639903353909058228783342792938320833750807661923331996257427067125449389897840590042405392257487666282016138682675021052140894391784020803876047324421955038538326135152180872513278976966858309848704584875797988602701817178476903558245056897003770352947460189926384686863292159586873827136390626243119975681188119504746883276741844187074384296396465191580185814283195833713529387367256728275897609677589668930919767221409344661683205525359920407182890446325360283557170734993066251074129515412920291423673852478878300574217200736831849388566034483293533734520572149031407855009968280150376479397931546387364611169271824709822258175570881369924408533897651384763664272446742172491427919673934547053432281282780991205072496086359024047851562501
g=2
*** a(t,u0,r):
20741560412957917242995818365949907906379169728372756712947860852366326899152\
05371317182534963703398834720046308291321550419084947745001291918920856147511\
99772867498568462113640614526448115903621333882704574139098610766633538392416\
46408377845356771484485660124505717609761542118860152030606186114300174351200\
72034833276151219112115123569130888705184126294041953193404715728559921863113\
65332727184801470247912302723199809198574077392015501151680607871161204324329\
36911946541830665566717117349469597101270430085533066521830807500204775248294\
01383242454393241505363914446019958358401364414411979330200244351778846430273\
38825217123271296919347757039351539081521649850429676216035937504932700202322\
55570820165774498218985564761066282679656502034654615575345846136169342236384\
49710527979927347218007443096737693446466344127496776134495436317516872157415\
55168348978891449470360983215466164233892410300376338864333305584256278674186\
02140039050063762854660338643905278041416670144048164790254287202060968919009\
33105282486419337276053607216492018576971450977236085227848290775117963678837\
40562287686017797195062732064414356790998474916448305283824968612101903657157\
80872576659252639001548281655517582793547615040686123117430334132999749846934\
44741411318004813248486914770106489131201770817118271120517518567701333098657\
51164052807182572770902776788625083782970914684349659128484435999841568041032\
17151946064887760347932818101510165222136905429914617348726266795043205598055\
16628498746072208997855946756389993687183615610886818422763737459313644364318\
93901363216202142434717752160302648688318454160435576820080710408427041264178\
46053163801831673493332140140954328108847283791322149984282613529152482919062\
13913845843758124499533665288858079213375108589387229770470272311369445385978\
42378270718384869150790742036095243117022854448461308584099119191531652537191\
50067608193253116367718839324834357419204819995895929783528879311338151576280\
06992978936502425753539832331250934891250917409127301035510171750687423404985\
69897239100311099582258231461177022655205332368516951367932832572617179740089\
48697308458701819004060689361140352257906552482059553102243218190209383663774\
81096062818003307182643487843952922840713987273419999595976366491009296417564\
05652451647857433728409911550687359432494843298377409334681051694778571050022\
17516648118511540852908424280771447725265420336797914119843531072954095252294\
33522432890160489851740415803935932270040378463876854899251951054382191450232\
14242066525575518193515399498674301037787619374684234969879655784695189842457\
11684235535796072210672500295765115758100158535995334893301391133536354858684\
96287979176441388208025413916760664406945060336915136132917750187429450247538\
53332830512719235458264150978536163212533299766651110964440960138703801636304\
28908308841646650404524791039950143270203217368262662636095116878476086748066\
91578853870611036160210309120941780608978727308011633140678909443184001949003\
61587368266622506783119289275951393873354774506070036500608058199850360970953\
99436295187712159639726459049099098507261992713173337858256197283452908649032\
61634946900183359158589081462899654968534391539393889801987911777634255703974\
94512101463735715322554172493905904595545503577261560691390248223494907454519\
44707834874195917657420710423392110274059505081465576599617489495185398967945\
20854346171449097082670275627893276671176282909947533488014552945914950226631\
12872106217262191787991862484846216331743125276841147546705106346619315428533\
11106661529677789717323877339442578430520245677663380232115881849165998023037\
06330183654254780660337041878173704262487614272433684345713482069638564235329\
49069017806990171144941393663912205073237600477535544126741564810346727696990\
00246946689703868285276265086879414870618890429701957150729314827525506293793\
63834861833597022709502794009727721158756017246782429361767975614644720445009\
06695789504909350798776748197066354747716495793185497683496612341483413055952\
87199743530920312266167895528531412799821031526421114934828348165792924948031\
86127384674848162145331530098594794052078867852690592315699635052160611952769\
60770289416762580667551647648443828962548762051051582267620296351501576037315\
97926428724427113280648700226016013205137316162595899099207978340306162838892\
05185945260236968793100516785877039812617419372357977393202595759997588635222\
92515702013107922611654796046975814407709486334159947567882113500177652306623\
15512775410325053788182750599448741138085587730098485270836825348904413104131\
62022347732360607065034145549727485663321219711362587941834861441642513239338\
47329561045515735764649322478576451302672744371060438356464832589297604184945\
00824606148689077462654396504931599727062205521650170621528451303706388130055\
80317629769454431400187458339565738725410093556550061996693815381159402626006\
38931296349449656068225248372223203692923333462135373368024741171419633893009\
50722584218418127551671645188585798586117832636877448807693399746657545157957\
78289928393295933623768196273700365912056926916071201610289300605438985580616\
31134874140648622982479995233100407750466875665545309522879264221459595141634\
91082577687564385984421005641110886083846222418450102402872710715029281736721\
75823241122024703794618068627152241711161451659786795704732588080596307690839\
75218423901301066907989576457509276479233655226250172363471113153476228591968\
23055399771052334132889615386010171668601745672295993022993921029923557362104\
43023341055692951678333839220686086687750804455378968318341071003763063804846\
23056819793386403181123390420528904071959546820803533766709463646014284866856\
71895642262833552112312265175398840818417230468866246312732865018263644543475\
09061897159162891171337323509375738925656923457307042349141766832951651699869\
35629843904069757668939023275310885666507016104103148278326544743685870292666\
01952780427149922175939121088154777998254998252816994281805143651400819418520\
51762641301092262350503178699387290593823760045936163484948068030487311095645\
78962204642964002423891273034060020043973279918340510697272628729616144607526\
59576410858143044548089489802276957470257147076449973563851735088930096797043\
85196608710674026722766830022682170402503765008500532270073294305540287977938\
71891850690860669838042431802314990149820802308323806292617549061536128752360\
53282270668534625021268972324737560011142078687384676857906278959572002797721\
24797331795808657371718272893228976899251005065706867396110094099893766210168\
35075746486788197125984507959095434455419060978365232342874301588960208795020\
08712737139313820277280915696749717049883028498192841752758431069554495026600\
77159324125920661458102314903493132104107296587209638199807935172172176313381\
59568104372511321958152377389992312907517360477075727273050742030540182578048\
51082293382392953440425038221875792480466764244023280138168788385178635416408\
84740148681760287244105037421138389424894353143966912096035615267513362352684\
17567422966840056956995534949495492166221737093218886438899816545752141466915\
42929215473074623692698063864121552999759536282665310106386042687121344345715\
84025045030688631887868256425380545457905772740045155376678584651897344589819\
06869840393238555979402128135406202850763035592742376571898223714416585188061\
01775453289933300672104128939203819295101649530295887550536906268204103080975\
37964257960372849825781659582896017333443626047395302356616388988832096409755\
71839870945658699746808435018660569830502097375511571177327059346013902836032\
59509793791566782997954211896319032960193849758684585940731533114840204020945\
18093195694552498294627247955202111554851107455847460647218319544643212550763\
17735199153175162559810853067191205064315921645119835207183038287145164516740\
82786193042756053116177078672599167850669759249041383842525635933957574715822\
72536474835819463258844410334314455759261573252885277787223329004973476607781\
12060379865064933901596351251798399079170638343421098538125396377455484052081\
47510974047734935607570548354592794937150898711593696225012194937428318299506\
98908332026669240669425583000114105226014924175610512816357400024442016768487\
23468203939393977791690014029323294369252262086822956402602754981284044879636\
45958570264450105397632378993489858584080224344362314486176336578972296150009\
65928954018195008055501293186676870459479646240130799929105052502646585292749\
29162353128508870984326494316705199830740503108647817863806358162821419881585\
89399252744411516663878975106423517717842239518813626070134661267650455444789\
58198327095993594399685701034183259878671693227483797060435496278450186784347\
51413204030243465327142979826142260815894632328554226105434393430311667437585\
39871832874506568362458151663368094999690019155019339105366720232908264226118\
28060205670130583612544486558128413257683948665572448759542047034129339436025\
68978341377922861608570590072882616571984441357106954463474661042769623699982\
11419814558572696580891070338368617632524046839850982327848620567977095545490\
93245114041082618574035713213247818504113584802011311917806179340255403799624\
72647075186228504524972734676174115922488822390861047947998525243221205178154\
36542550108987263802975754523379776156328719460339448115609320506583547894322\
41993850895438382160780145699162102947644560963452263779417928781740137761970\
27904874170989943352481254017073860952553772240579165206360831871812731572488\
27701541870125412771125132743686278159671152395736874462329355720498985785021\
49691649026327743963222562064971641683912633213386505713650488048871591600350\
99083431221826949587316835743594657049080091037286293805478335381711462874810\
37998193958818299559608073498377978127726864736542205920159497727753544096550\
69751465712747616732207393185855165896539759234077671211221748561956524070266\
12766599320145466036581189701895682061855684309314138916965898148575461526657\
12115192346872233778419918422082528511406663138513728265905225902562103793276\
87597175043310114858257481525593252788247930088442381170542829294328396187964\
37043377600696070549153155064724359969922038743590430506027896442643711022185\
62652019432120843555010056696139745831293712752616821171369759117602756933434\
81330853831263351253940493957892570690478992260410959019851884891354407390970\
29259164600353689202221454215590590208009305248412889487062757889638278450788\
44026633336068379923980029496741175846809756427554833382958082294464400740797\
50636461048437262712025798340767016256790019055397726913781702177933019191859\
43639386017745609765525426755377759696594477370221234114598220966834287700998\
86707432836047975204989200535281903309126681347497264145047411693925795344710\
29208122586987750631348708325213186923150294676438111071176746158577214365771\
23061413836869470283068106419093762696335753140852017722386506002570394125460\
63814225520197275929058822282009686321438086351775548823891716949376561297795\
14774217932760904354204086695891374242609275600217944276327791877853358947265\
87624097473849050637635245671343608413164905858112596094452993914748199253819\
90106009758107143501561245030207858939558895040912722311496248904470249171730\
40933144522393775074078962153165387437077774299678229629804425862041432616364\
59952318960682912284767591524318124935162891708051844510464396313592271705013\
16562413177533713370471716826040133048962631273069296569288518316988766333066\
73919947665621846179566920086772367753111406480754678402089342989229427689545\
37270330800783794531020511165583779448771356061935589493623599246349011150148\
84819402962032718415948614086577986020744397783397704726837896507644599590505\
41817545224173001795264510559119758411645339201856019143799670897822882717249\
43658785599792600261211578253426822776299288050389964987746827600920138307542\
89408688157369548160259435157625986766750444543794091924735640907128499399256\
19281776549841698801654178104996972032553008935087782519782938477515852872909\
91970751736983749900739345163190013003411586881487889867843963879522102183589\
79626875351194432840921724489756750116718963368146590933116383197417249294741\
59155555397322059900063066260945785409288029270116441888316242156034635716880\
25699934036532073364876116292372463727866636379826798962837984619402879881789\
52854285820749867341168711335705561637929583701539311465122575029609147447600\
78699004995172009117068111278943818637618342168201398837740234392599070929663\
95745912950780840341987884278054177331611116618790741240840338212789727004333\
69890754482994202423753084445092162152653220784902021217978358738175691832794\
37487157504556919264342139817013813963487945124952630721049468337945839439279\
22013777204475964120476509481169054303653109951182766102429264968216668012352\
71208536225037122115367186895151880884104877909562261558177198644852093445769\
19447607111362040250948317801779850235375711206964198041503715860427293671048\
03062596733339253990181188479987040343079551799402467612000977681031022134519\
42236055137980999353717932970350545521496494364709618721889334203408535713154\
54609681463572769045340442236198805750767763385448526378505364829132581522893\
29734147769973365750913656061476994696337400330864303719470705179539049497477\
40233057512616393506515645181193616662327355115454536108096006620615204656059\
09767134187719194007324854274440022489807098845776040552110669311920073971121\
90635369263551623067102370425359669045846701551431073738346660741111171730211\
51235095359641846216240093840833949528170033047370686452910830585147399443491\
40298221113760572128950195279176097425300994312410305972906986947652153494741\
75840050831596053247533031742142153344071030483725607946839600369106083995492\
45260049889209015686856350126582252394157877893312226053198245055246304670379\
38981899631361391352685868985302395278324496773573095045610060287956196294700\
87150080021255083721968529634176326543607557480079467126923676929062103845260\
49898099598257297306765614369802973303003475392630582148000113233471617875728\
91258601210483387488916482469608995301677409507478113126777910450192242244310\
83003507567039039961721745018228957412032948567676283652763519078170402127164\
18847893174754061043614839188882339930429763293998844423571490261483157323898\
27567013071864813902102513670509652497803059202459165599312740659663545372600\
23966693272969168819973768372626865805766715900182076536538188139180432487249\
34708608766219173159833604196454072615067993004854888877477863865220616695857\
16852387890436807558535953821293296376615822564363199525732082166139872731965\
90298518227311319168186965474082053309647173693577735502654447206604787817551\
62703577061029176311825544132598528793103698337673919873747079923676810773513\
90709025391713941587784741434952843832387803851089942314864455644470782337314\
04775793403320750465062551929505924924036474982189480775273196928139044595247\
71233511977263347015030499063154628549607308632099506208011996718050412729055\
12152247441298747986471719379689870345473064510629688684770668563845402956026\
04133640594439175572349245466321404330750964810674271210368701510922383563878\
07044881549437569827235303931165277083077455890836420803547200512216977332704\
76077160486465744685873196115885374433590010188683618761947749797693306997858\
19129531383029455939136772383500914936302101354455955493706091681997321686746\
84214779838100301675931243213361315762910230095201106064072270599633315694867\
49572776709988392666649014196866073684954651686980776609548967607905593233439\
09334487823955424454429222623859742308241149984601379704040828607141101687116\
18128733665419067708883687761814110035382058406298642918201722016868826436468\
09486714191860569045208022389536909488800158266313261590241268095269333571195\
60241699218750000736
0
*** a(t,u0+1l^(t-1),r):
20206112521862536227211958924437614088143837901145742613021217705362304873222\
85667438070485827412142614802001634571844499525114004800497182480796540567616\
98691774451730417575380870401444699868065891839536928882790358586516639982829\
62601639830327180916272035746291575443205197960900447018946515548849490502460\
48436107960598402314383890759601694567414427381559891901727148338828076054147\
40412452977585127945316740560508509776328279198471622725210592178835031930087\
17073187052299710884967626548328398263058285830607620511077023067454923713351\
64119272880162981194763487306788464868170894409148626602926053261175859905578\
83067500920360760721701551354911757501971498563529997074589357596517317996012\
59842769101712384813875883062071365056132760813651303488482298477762796716695\
22340283371749874939281707473316475816734196656814114794066885651711409425090\
96543079100360284334577207833545162711550079056209014899085570793358358436673\
06704358694151790715749270119130549396325750670220834449201527070486025427893\
60103923291797098949633745073674969184359416237334610201585902833912472768650\
02694511237601576887038014796447138341230851243333471315900139259343838209486\
61529398729190410549062660254084384324692445630668410699996670615979375869907\
60705967275828058558648258002943414004173464233524185317134593495980782380078\
03783459052649327006436536626962207978790959006356936949895843222671744953016\
39535251805060494795472595895085310413413262490827147607386865885932035888322\
76389447827355670993835209000450578089280777707888381534132608367293319306000\
92292496502740402344691071058338314007505885370967810570649279025600799709804\
28831682671077866704781446305793822356037367497796170568927491712503166104575\
48065526453769803350768529907759840755421131601345983349765197346809636333894\
74164701229730911930865437554185175699599710108079834585324821277619829985280\
30704449829568592983226097548785644388002521653610572900530171829116106902435\
88334192795478585958271820355308315648134385573837329948995642860384351333389\
60076522330058503261520586898999898429051933842699258329901957818704507980494\
78554307289251636176510209608610913816466030067441167899875526416277347944193\
66774289457212460937439376065372616408684685971524646345536759203877262950262\
81050010640643722803355851334025593360188590550185601213269448458092711199546\
05923147691539096184151277458305880460618622800929489706423657308842508554205\
21515739649789498945241682243779977496764879563314816525494088187489172920946\
25830926221246802370584974783355263375127341157131245208428958148948982495980\
64235865324953510563929596076173353258910072921615020541436273699382563089235\
21519675366179993675481279590105158124700554703217598651225580005960483461256\
96792988420678929108118744907079387260035836865066367610739359265557915452758\
39031599781875880896799286923429691202086558224245012377826357067754557334733\
66660378023407762128900532119178337903040417771527637176449426726580067116080\
96818129140174371417794198927795039955428496359853554580076056697408571761105\
99722586480420677257722651002994638083840827140414787016806648712276814539886\
39391653434010147441179852457743278006031465670849754059817028185548588776834\
28757033627036016149825192497459964123649627805565949749628815185116642180557\
66787388049997925217894904040179542209919381988329916334138233652239036766327\
05777943213218753543851341882064510017980156041348344444166351171495950152845\
81425679562196999336943159513090675421005191336270520096450490829519088535676\
95738418908667085906686440288560229259080184987615004927210716420994593182768\
44346116413180268659594645416644763527450569882248575646571422070558220865123\
97394681749472761835493178338349254127053477639120903721295790718775276846116\
61925354315920752120303100634908343019339326682196064235153422189314929365013\
63953255346044925655860738186107032704929435279813861212483204505027533368303\
66984892764972832231960500621326870046348814515915763368297650881580987990649\
74079097977812315074514104747224216001999564679951004630804246786512944548558\
21268117950905071002992808533549548009973570992362981916245432516846683111597\
56619969445405937960101265440128023595309052161146718051472489788079660351570\
05045175808986739432371084323442230255548173489920189747462120203803693961257\
61030329825529764435669932792763366230498219687473736128975898315106346537302\
76812171662226060479016968431632688764032203398903101095341678504928500956316\
30737309740765032019194337200821667657618704351196486330421200781473456787584\
74415792559921950089170492335807890245382220832944260263988581051165328794301\
20292520746786389325072777468939287478283094720177084648893050226258671468214\
09091362239959332256417394421244506799325545324759745021244428783637880827785\
34086604000949493633063053844386731883313909076149992461453078299308820221258\
94176276470863319838203129188701137293241888712433509109882798124874833561532\
35962082723649181324114904348119589111747942935653710319451314698849809617195\
28578639480969000554676354250330383639870674726661754829588897464809446550681\
92287642335387313421790973617028522224299931864396721369435370172264306680098\
14003000274434327107105789462875686578964322654930330737581159759070645387540\
08240847669146348669485265225092605036552664184873821359094110942646131269472\
96510339588631610017701802065263792439688221191876866283435853438916380299512\
52895002222614841811524258467077843867374254955212264942237284481596726397593\
58217031979526965154029025436456418689018107057753696038383896616437658625101\
55885516021546265055523737678694598124449721563201268628710170426891633491217\
75474423237026707696369421373316533786420046530131927454116119861542164589227\
77170353618369283926425082820954354361000019183273300766759031004383606343486\
85932877825024478598681086533149327476746644764459181135271919267965718749784\
69565412454166432337158083994846434544495698026181772962030282606052156960705\
44991594854460804490911384684049846950776679283880746221070332578613318010296\
23798778164409225187404949409539448874359839268274655122207166846650510439669\
25157998077837721387201310038359481665997791377465531311524040840710433972120\
16557022344501735272043229791118364373091303683552828312014336979717916413290\
84438120849656386241679923372635662958453145726994794988867911246088864559025\
13863299007254519212295996137006563217376182634313605036846198388604790768975\
72662618067384249097176632696257033202123601402325847721482251996771508658547\
15691997596504262689308277454716612098553623262891129877501187825114768622322\
55770424631641316764688065970882536854301809012505798283597547658791539312598\
84950048095496079165026304056799695269898004963355041561497675976151427196595\
92948819069416600331515291560631098308002646008238174530947529940077868082147\
80198375482575744044544500550387151098498192884462896547645409337191686947778\
72769954626117018959270804118147045132675613049217766267469478460335707618036\
07874785689163479399681791520092755276061121597605898881373870194706909554046\
68859031921459925526718086671977110734820091731889982807444011693839679206356\
32807007183429006879893396544834036811573966106810294028639327711155429444157\
97860972230913104126672997110171531853256924619560168481047590221788983124782\
26865489142502957312362310393218938090472666729921401323009458959649921072091\
50435289344548007235170448262141908190324836788019608409910259381783441747003\
87240743842441967008779412918994060554986418231306788769216714063983652626950\
23190926832273618762952676534865144881058410702414195814544170167582100928013\
17218507218742039778869207586793361392429679410112268048988498795528781791979\
88880622001123086352424431588554475585753418233085491635258476157449840976227\
13801223385402296310188811695996743680611708398862326379199566528053778629408\
82348712577829558636673155176227533667650201117280902409564031109464650445351\
98841429841374398923158401966765559972507265886186043005211833155754866936606\
54572511402480908737266417350873687459153796706810706784420847513771880734709\
93365861498806855380405085612882898705234647600424915338761217143376258183431\
17835193239871578908480625080196741933089499886212037691122520817365027416711\
06185183260340659741986977905342701908675979422429048215473414846634696113528\
43167201129138343445372863063651244727509383633388292865717829679888045726767\
99197564121115299586633283186246777552501278164266963870039617938509453879207\
99727261165411762836958186346882693211539246922539904744954554522969261622165\
93788315934548107587737292991181246376369027233839514255886210369088021636382\
02124004469680114999404234423021740495919091548333396898908233817300904283625\
99304489362800556407449041769884407764643673551832698557809698922547860665933\
16194521012885364742111952258394119980651346729912290435586477885150457032106\
54833520065177570344218903644370701198522886485116421671618657564763342653379\
31505444345783455772416980207350949514293127152409177077537311069618991176789\
40022753760130757496716856486275388406860652585655041637319335036634680060232\
24032544712670975196203058101653316734272398986749145894993128531779353414044\
40218761451282429547192413034325135195771320452531772145233536417419026956833\
11833683548952880447390440850950037790028736699450099361199259424602824423006\
37238851604075800793110134687828747694267737359368561756740103875121913773741\
97638594457717283908827065458183507391962250363781710583546396809236104358505\
99631674391137217964171979620359602020876845127714843202020923819349091273711\
49514701339741743008296428299126860195910903904530261764304302267237933262553\
04680305799555327152498625948827459670625220130571687017329293302716428148406\
04635599070706577713305300155242056994319303492980557416366839292014711628234\
80100070261609102103571620946004353312976257676329127178620311103979084123115\
70090479500961129917292230310642898019943719389014053215562563820838353831222\
17401052318007272219253551975340166099420877545398352308803272559828070742894\
63804486059373753510520125246477399590263725243416221022855980637738506525688\
98670513495693810908888873167299181740540206581013941277000159357773337936511\
90372584506814976697113225771479583131893257405862306545154621558561290895822\
96166876383768471682055411239916376602096021553141361089978257346291638110346\
89085728399403571203116414604841607448590482824126108064648023104797520830369\
30986878494197713810492523655339606869726146280869796463561794105404857011634\
80420434476526633426469743184247083834861739503326935951313756023396989513065\
47240800738378258453773446717115658522613900171406981510868198620305428345322\
39051934639769316851463347648339476934645056091040931573415389939809596060133\
11460643642711155153478033019687809583250998644009370525748810874786647537982\
71405977850518270164585836380707805832161831405194386558057555778129068546900\
97952600893735826660277622501296352353194090496407970171368242902745731474442\
43650105827105664819544118405371422869890268342753711140927712821840297370908\
78948381788808181916602462889482384320195282261323942795302731609382022630612\
36887316063255892293633988945407041837479299147920231854035018129189819546105\
18730723770121804494807558590945782036021458362327680046199690430496819038715\
27140285663439772400310082831889640483839954650530822880679167980001284593490\
28805166407949543085257447964967102824702280498235196215078884406627037572559\
82639710848046169400464275143646154707566660728814969656152337852761197003609\
67955858592088939000319505842495130403361050558011079197204852983670078677163\
56634755333875057455441106074577264648301233977895062127859190263232346342755\
22558898471537084765337909793080206427454605342567397956813145910135515171886\
21611453001133106020252737782632924608369658611277668356026432785884693028894\
95957926339995241903241909920221234982799602454426549003647237620079981671027\
73428028526382267226671345763596792559030037763623392710929513725023569654393\
86402811992943489601821843015157051404466707520327589265006041783353488783056\
68633876657445539331990786017796369753341735036241153306960252209071785066580\
35906049869828120383989368725042196321848340060238878880916895342543294667449\
85321362681355509352741801668071858280428684122287617283278378119877389565121\
96232590464046644751274233406253692884745042574185330117744222906920562305121\
00203559219714487126637653569789191775496155727816523735981688177405209595254\
43222379027590819480748589058602011227516792530943952735449026107706482396893\
43312896645064281402898524794563729092147903063303038351891941302047781084189\
13157443282077807438018556111410614043096847601899515347067639921482813810946\
86761576730097305104236783972586818741716300898309974914691645962444226903011\
56581432471258944103165684597657816058103783879610502711627940586856480383344\
34505274263320985205108576277378679247266356848059197388321604615895710421807\
64379417845016815946488801548561604808305688124316299760318821499787934927081\
26297746751877276366180838428470847450136530363269828007321123074032691510753\
38885032542215901145930830701194300539774342441888187183234369040393340339254\
48025954125741785521972442384396498840881404371984921724870702101876496927166\
26770428277981877857679239829855293648358274283181278635683899316096050322410\
87887988807019719754228803797531090632978376375510978084775211618718356155654\
42167885017477178990549113157442855722415643607289106231979708599932996468727\
35861174644791209533230013607566931866767408861410583400236833751992654967024\
24018092997628220351197260542277070581112675077216387089516295468273182370608\
81591651862177804684070656305379721422026084849870741956716225142135326696551\
66100573418051790217222510954431817139346011123168354820247844057696457531658\
32182890455488987810667711613728839852943775425566546100549288530078163664472\
52414317135802285555639871607539037850887896544179520924070762484237975566436\
99772305798799713083631953710203328303400411164214411836820328522809562077677\
80589014844520369093144689100638807696233184949760727417162286928054590115729\
24339591584644920880804130025038909959399647122007026428941247985711173642982\
42344495071368303760608019431732908751256512837178290400417438930677665804557\
57043640049889801690110315113007422259150455571237158799861251217109198496410\
02970207181221667330979204088121698457885531228914341474390799444786932297458\
68183644181308683450367226752537083562545577144902736494497150697177022756548\
30494616262204097613573443267550043781273129807466353743754400335782109871174\
61492479283638477466819178183523295033499119168630707268310674327821023538871\
56438004355786543639187037512039659005193010001673218260540509099301020293280\
12532940041006763700339469746543136101269229024768828418302829072657194259229\
08932646858285081263283787810165582432158206914694763520576904411470306965669\
18767882357895655307473128797877224236011123986578107047527947500376567825367\
76037799329093599029041316575207128947212556751703060404666248618656724205571\
43547799009438502127890914291637912593161054176263197983890411368559202102648\
52374081615211873559471578281372029169679398512617057951517033430633289561772\
17820480980478423788534056792079016317022563411881684903515309423902282132333\
54051626554236299322884105141277260057074232307417381858613883179262346947309\
77505001224268583616830629319501324500152833233104914169900285020201508625510\
63848950774152227355741511713732928308436011601846724521463687651250230855519\
43204214725686781993572831691875974042620836789831694255911188432194223580091\
88046160428755472833443141376763538184062110702373109456797539706940369796939\
19420242309570313217
1
result=O: not congruent.

code version 3.3a
start=Fri 5 Apr 2024 21:33:29
end  =Sat 6 Apr 2024 07:47:26
elapsed(sec)=36837.454171