n84-L5-f25345-r2-t25343-ver3.3a.txt
p=416935791263636457012002390373733293133145638461146012510120960773209181701655923362537899978855618939982578660214330645362151482647617227540502635447114741682585037469836159364278273198519753139437932218480558017440676397518476667782264145868512863880435182643661086543741933909551242454944764054060310802491697422329770258193813326282781272530051329294953444612625396515729941224898780124947254590763542131029667495158725327271258462330975888344893719303241590477055015786981790441493378087367662066335717320642605458439658225746169464050798109217900329192094622070100100117882269039714653268813788907652906713838111614991617918768518874936843758091449257517492126027385894213104141927412229304314770637080965396956960783263766764782839529744374814387397305855191220800435980332690442459260723828973222012303045042979529976047608711589678618181592710948228020722833029808416580287636348101604112104036088220605564350079449480050972020713742126019592678264934049830317197188261792085841071620121678131314250551621402040779407169837012633784262028264720053047070072885086523106544932045294078594156060958543319960863270933693878882614558466572999579228230917798330264133680544147873586167872691002957763400401446674968367103287657579308970279758575350848994389576785834875931605561220450062603638378527135538880287538146035391920154357369911730049683211616333893270836276586670914652401316969193582789754386958452832945402919809366439271600751225719322209342823123531379418166633915114242248239214190075606549643349311230169019353257479180955089790610470068461998888185469335637577844331742675603135435688793007686200638971436060224808499615503625319476704804727007141372824936982584356380504839689334642832906206577150111193361788620816786316528366759494352993111948752359515799850315771133939273597019191048638095164580394250921184232875857854758093541316832827781015153645532741856845768800286809641213499638674939911313539923795910960652761618246927295648754395826631023499964743636116001127508222149760110041493615682836051863933159792641669368597508821615914909891150576963919822505656637786260550737355872131154814773233122116786617532659020692478945355689632402913836729742596864196630673655128759920672890602355324905604550549856292985443700903687447650139938413805108313835814459470283042817007202867068817826005377893208154546484679016545683524993854847971821557987192194320158218014227588463570674184662311739851797501491562166149252950242844080312744518177267069234897349975389732664010919528764514898969774878952921874705660615602092398671971501085060445339102411814963988407293566788727169403380661977524616522683646770623682207697956615658864918797322705680480680481826839866325192475972700307037257385097343129305266666941785701605033689396926378771578705310130513505517248840722340153108732413242615095364800613500816596269275818824764494359674402058530083789474234762186702337790497464024505764860601075235907078511823529674981895840341828198994779473891763712880532930565433213664529684348437228243972660886605622603314787963077793428008987475663054530320201767893082647608596694535128801602456094174075894686742629503995669163034435073762880223101949280054361572164868421695097210398210559390168732854218552999810190822843584878468591685251772706706629368751837680763170390547967972450653304822060220919895572697709494163764086188184292675371009507564946805428887057987804717548075169218860064072231719409440081033549551182655610425357422042298010560160528128999830435380272924165453017204072484200754395957202671019561227756669148612102743947357605665994612791127292184122235316127395183885743248492314998473201824867268516153698104295433621888173338381289999016123208525871896692084094612683168466736616252234354198168577606403923440635298573047768728043960754201642051967617676347294203174071007048217343515192324940815888257531292004173449168996742410353284436607834439309674546116471139086759427288935422636464293338342185682005455037532312876775933275022168065833738688563144768671644237166862361460365718317387172378636334213398836149000512767845909858708129933241167733200778800420724437458735688620907609387769294594531211628862389036101592572700895430683971688501258050737698623711074555417640789344745466976255238312270966448776179252948495160726633718138384060345964797231440346323675488101254754206663075770501242921949144076492238448078838986483539814750287871478098202410695860682263535518760472292564545422878600339715715355552888671435517757032219817206017202155468961067831750380918038657672690232195462117756193567079865456607798106003025532054077634175049651862199395087120610440596952915090210427726076691574724508254272109610701601734201381777975799413848152535943919661448307291694616578859118481194392553317199784023479425641215440923631531082128029080117903690003971316036343763514650443894581748510581940458114694572096317588653508955779506129317939742492935126814347081782984914444530311345176842989862351214533735943041384146272324632228279458071325506831818117980680021553214635584547846148977625192592917656568439400702305275080661947998310402784336922002849636207487023313008314184058985164723673164653137866011385174280385033381550307176799729362450198575323113196992858183480220517834236618518999112918865494062771854023413661928608498771371471913205949056987670260044834551767830033823341813434035045873301286051311118421393060862752021662639786057125411517360787888260896924110652814848993354101452299418046042967205667056879243409610348967896368813640811071404235929962028995010624817427677682128784866724600680286344860115420525147986617631580312415826070056527548247076296516689438953663863447047112949733300995208809293809913225194233262305957392289837040788578689495632705856861039967118691481748803942594123540231470934473257837739559599468110077200917034843240676775601935456599762151360155056620203390411311673055133549114905425476286623520036272567343982750406313439015236617554321240722753338795179395023839567585553003483400832861602912420649848563839164202573794755011040256341505916085147370082253893501934608765146332236298251083483609716895543198074526801575591925841485053459354772430661125331894416847555036459955515349883671035712675990176694317138718676829770154247347338945872122765724651949444429880919710017774122761170692458527170541646256295841929664882870729285614037547788804429225363300660986849158750133879710081623872912800297109316464981144925929140294022326828754032486823656562748051292057686084736612313168489575800157857422951440365327328251550417856555138414375981809506317113559309348124729193491671787060805782466590720627285784148398447367618558061230185514713367315557934788497671000282789421439647819840256208101438271272525745261052167102504540807043603070399281998584790915611177246287665634316957519593156948110530718675611975064953606600744224293950056973498794598656939117799118735386802957932439887320600274519758430985068349732958286069485233281495934298085653794361466771268938202630400502402931057893417262451146767969289635671632231036863534089142721477387499115478207379915242901811095685747846023758841171688153478061220058785633384185351528174196603482198255841883713268807102674844935803069813222849178200110715209054947970937256255568352539952744383991844939160460172777986782415507049819656064573786314514586336558448557718186687988478332379018463507914418193975343230056880448069738147606150184141889433546804274896864873351784911882650913716580333248781964644275464153119557601994698909846128923086940223777522778232713761648750077773497684485910925956113976375741896337864444624641224173352628368028044362482705718308872178273197703143409510925383457525022590915417788978205314246273291778854044983016515604436500825651665620218042037907783341370050024780104661704913359149525722811892365012311778652496771138294600527419533091177757068631300770689793435311119960690721887129890367973859858442983389503145970868978116370560945719630626475667410179552807199004339303568303951309366198960512155860498861823825806066746833212815347633732179908257829217855942901691335723537947049582408884671326896327418029179967768109736593601431795927921418060558856130075741636247974906668261470845419205263064943184550434042892301148464244911533645504954225735268241644934989239554442452575888804404624786340234125226879284769923305010165576762152640052584461482264232321496879764284981309657576240492145545634295807727390445035940782281294270831805642368553334395039008411714756868866190194658768194975943512423784421415064395118942429977655336248479086797406426135556682685741250143514410213310996164576611762162420392895292738496865504553894006131610122660290697680313196330926722852026516571409539662098698206491837266532661291977933923344100330980826340295042684439211577549911600995334153062350344737868053891696330595324498015116806649306205544689812622557321805718157742844011424969149315766293698176906586141037657095304104172039066850730843401241020227394198082079397470255886569138150310573529883049986353634017438449309629318216356064169859146791589795275859360440086022430671353332741542459397004096828056260564151604679712232618255903021437755352860108402331507378408333149702142973683531000083637042952279467749639642857913001009116363747352211689078540619664342428728380517764847918631752610727384875748394274834463168262404764966390912357021353384053167591482303737884703010482942627607598799614902753656899800850063605686861961840128594115301530875732283278467084735022087030198402124500088046330242723940651228257012452742180186288649219868404155780482805693513703592243638268673178108010626322464444328081685180355792285313200635333274051256593960093049496057578610855670641866862536832685559791670688464394831013750433887964452384602045364525846784541841831770627277067866716720181264306220298119046446963940052187718237919468513739152613811519616813643785746441566048496926557937386048577026414927645871406691707810367634547210274600742774030243937471869709609807978397324611396212828535926059982454283743129105084098744495104769584045150370307551406357085050334455259736185190189186638100616356505188275041699768462195800290703283011245302743818326498094573443078266361366123402113978863959719458755729101627427821657210705797641722176583895654008394535075603030801419401271193486860266382166964564953423476757262727477409087448905044242950073311940883861062799586039599098643336132842586846636086594418319530469139348639259906674494891321754447165075873872680515557850408128638406649526024679049003846746713326860400799549274363844430355913819996630858959032276351581514708111703243394647773254180215256038225139631903520642975413664052073140919540670734918745444724878774486587409165624204777773734726091041783575956725046577787795847398605044343918580305664762803634885677247017107816726369881930088464867684539607757271469831320758585263832905887265936823521516212578522963117660015106868133395029315057983624560998419100460124598877452747261212723860249713130332060122019218718614865599527040616200845870915149051934302709517880249589864518960431248410163281581799968479273357378366439831492237282293274790485969871996211538132124233860222996394042502028523731276406928343910772264529595968544301846167752562073650617790318251532289334957945558399986486097656974705808957446100242182971773203596932020241935196290837342282555466442071049501961878080246034995449817803719893003932805288909788727663536370117060930720957822222108850715087964522456557990909939619222264999545236022924293420773358429619852936381825717464157022380356463547287925582107305510003357926853500784845519104346593850333822605769486730750177090798773924562903692308094434026676273245938978521446788985631482592447932451580956778002615472202712497392438957128849944704980824111830826464181207811098536452121759464631363409877829049853351623757016794250963549743644129150257256871723866004536292762932415038275562028203054127087078307120027433946999136859564582158707149638520908594983303856403622789519662209200414680506850943093933296238860056763508970745223845912134521747900648343419688462988580915524043100947856824335692801726410554862142828492518272246928457428508917277535135293651724869596910753759181656406071013284037812555170259355856797435285979650568419110829650324503450749515528448012297480378556057554470450886810697631700182481499549656502854232467540936705467659468117254805231171778832508215043469767969224072876367045122828932680421684266467297180468998196388865431048756559902769040462227023964998107612895069087215521306681265650575480461944212608754446749601642982691995601502125107167231120051402422753899115003652827770871848850023733808013660699116674918876071773480404333987153598460673186223938356678776006528000525044431673104633754472941995783874172315537881733908064334630755902533935941590250005791918799754874957350453149844434465208684036806905988027494784236723758531267374627357476918675652673475976786668826899580537342439078065815161763930563844526421748089874787957797077156725645033060871469433985228803735289558199106537639985918671772062893337861790627434021907871864592734684198739978033123562336580744268025196204841872931775846147458459558805501470871232956036724860117232358171017135325070931310758755115893510698652121491338581884818716073586119042777875420327727820180622306164530263506324718710246163561214846159955355209380846249858587695366198268972997802037890647040119512475916627949373574858874963500516870778393291429067967069680668592309716730129319294217792810520915286419362345334271911797065665504409642454921136222823924298193051595611278084929794568543363877636675532302306778024257160030286220035559546909281985204440789478242253738078280083841400921392754892794658294225507418201761745112039310750979674679260875365662320137751812403469195057207681798408609277201996559207274507152471535723355383110446746875330578381519725139157725822303178953132202632077624583551325610824577953452840654634949609980602349922611527461069373808512831007781799873950011596712811124374595367989716919535577611755812788093627217560818583282943965301332667533855201169312660401674424415660425346367371795784146422428645627512052665132675412146867928790561306537612802280135743640805220306446257620909971831166845445479257700205121028996991757984748481093969998291639574582728594524934827553275462807757145489266399661914658177445347590026210200426063738953505372958417424787457795541127151025965159246853061643661713977165159837606380962247672584691887286577582372007129725191373457147934966982360733243778454454564109080859670874385747736529093934130876493002440010078536724519008674038562024646778872212323733453657392593297413658576071633585763648306478832043657361167410233131377962484121512850123817968390897291583584433514026220724870710504844482148026179442710861460198719500491855806947480145957846999465968440252696573207585343393071979738112051105000914024898829218076467796533246454183873683650559058360143646768854548654818137636260552477429741447289316677375085245288835590445862236173029546158359292154680673779428023753446939039428671605168109396123173689859782348563378554328583500142569143507255401235623677443681926848934888061241647110647425787996350298622187688212971327550001287703209301664159040331025733810620214261890550603056066063235614305102758232286292167458990168401727947583385293592289422287650788104474100323235819352185632296992705042563323610264436907286386860781650839756268257612447083665631572352280962188076017567724197532097893845637189545843462785770343208036944499264078277270374124004374181198081262319058475573914224795532248119523972513443874891779736005701018714030897932516802909239891184782802222719582558405425339968974015969231212577466426157299165774534465213339571052612562598707602737710502249876768691920340200774135845455746995338217792290999069636426778600331063118475172546938547700289829356753002278822196947501924085380825502272792715061617901067636935857005697137069124754698595289720413487264797131904927689247506720295931250985008962114260177178260641484612985796945322415578161402909663639918374141687729321364057746238493168584679743006907312203768828866821792957840857279499659527657878497520225769453526866376033499820013459871251360708559124636663838126668571716009720840823291931893296901214481506639384987870028744484004231786996568485859178762381580091042665878237399115685477321067322515513780773010931500305363688553151539485121504493385114806110378891157644747658935112508833659419400606358270910888431795559701834150963984242551800028633906750313707307823256286916705810082472993139835493042768257502159143216272961817131544042428885376033591593111652109944329891497385607378233682962738403747813947977756049551068161533562546140067746058767503811706180431436571318307839445683775643346102209842102027050299371570652596508991207066736760341811279615908908379325574156184785516397708397511668470425489387071586951069657447220974287112188057796873377472402305024254548195896792594327927948790820770973905068208435369325132008828181014045336639177050149818197223603659232800802974659033833651164955190593960476072581545400184211500029633672325381675918662933587510035611783821771031939858531109671298163491337425681694333740874604175678752799835958172012453888983412351617869274601693860543158716421210146534921441441703083713073097588103127407729830540408256048527858172382189599986286827635614456203468492841750962378379353800214764678317900159699261341627020489252321727726207213915214652874191252057929997811643733757486036128385275248421801331620180657580635638478860829242205808376939236873340126576166302155634908070561296978264304215862588663264281014131547309364833608924527652561664581298828125001
g=59
*** a(t,u0,r):
44737210402588191837387856487101582353186527006880967142335979090965345196587\
68057680031666773120791226013069024099767824735885408808932851509593278347541\
17825413745205134198997870587142011695118616901270429638752713845774537325464\
53036942851691430294370695097664834586143509508494848315415573183000671349107\
35913341598434870419616991014243054247450763334850460693470504613782269343163\
91074068404175889280706594833222305312276162060330081137128194070960812378226\
58188003193943146114372239468774550139717822468504951565690575327622563983492\
65063711908070532231175294812174074264876746796138229574371954979115689039482\
93762886006026838620752807233352432125053316269051227385064490660744288113322\
04352974889358787587093481892044202173861198681541571417583767730918262017991\
88678068969768447587867566684882672192011673311170356642990841475357251573088\
48978847448666235599840984430990648633801513021212287630722660709770547635249\
29209469297822584530121902294377827423546793035258300490290810746984839056063\
49001908418897643897563038932351145560505131563280446169195061882056978392933\
22712084600546331529453408516982318006289711853532041045421234632828548511891\
77479760837341543922387066835795812739744617368012863075228224105790182765658\
25985251101809513514609709800158912008218746127671895429171737039801596164332\
18548528430695975530325625457915286343310086064326267479607324777497891422026\
61310794471433340645720641988975041733295545018933842760606519683273062484921\
15491701156927981909175819323606768259511258277673138109499713577660452751611\
64811345325034383459724807023008597139121026967959890922164322494074897247293\
28561635089262121952008743538996779850425547207866269304115738231301439628169\
29866560717597083596572820693104771991901364117176349375329374407616091210112\
81760453239388822426716840569601591995188676111594763031238430681875795478155\
43436983296162420902925986165663201239550992270774674502208511229821052483942\
83382330124607804132163789529882311134667219750882154621699215524692098163223\
66692598074522649627683083650000280457504511232505126965593876698313204569082\
28596954856957234465757094118285079672911625167914003131204061254312920302990\
83666549755683265468110138064352829847128319531593948820116163272636237136827\
39995802373381091069656631328600153918012881220745828915011613704942648728676\
36484152730377047941234982837806058475351842231840625187376453172025722450552\
97679292662024214113334001426604968609787191004462042781484156105716981755748\
68004207565289044856523593183148483716654364324486594568445116485171559173840\
54104514377502542066426985784885688787745635956102599716430425276982745030188\
39135288395529848792110088599074486019620578695272631951557701570001991765669\
31526718707429450977174209449177744551133628536057822201148722902004421903950\
79777004099142000800609507098428566987940932599732643105828637620779693295359\
89723024479306334088027799061058538998263316084492037788982946856954249537281\
28295243186647341255574236686781657521398375485862463920811834496709838262040\
35130587314590578266513132783305335676748438247234825364356138645751103357649\
69492776808840242532361932041194353890487834349988748414577873530119359488341\
47570479388391577498329966932903816478839306757279930225651050352576507368796\
33475291116657459679887827515211429621331267072183145888182905796963443955099\
60740706170470479495046422872377188644799217460406730932016171879222251958132\
20914461929084656571836848749504634926329206948998668418989469986408513851385\
76533105224668241681805716303284762953108745996977554740946686207846600398919\
73829059964607862442555147108796122195248795845135631584942046950323094025056\
32253993361745558082579117832918065909000276286009992083124168944300202748260\
54515060623351940903976480838923864746205463488377167140985180167536888025584\
51911698892583619217612537667206466800057781905627372095918013646614954481003\
31076320478110958333504606309074200480206353379280787982973532240092865481027\
70848892618675204116523679185325527217171678057640409878633463960161282825433\
67846742664800433138469724157545564359622767866109769511878775501998986612783\
93823418367772977724435652851437321393223393890233864873076453099931990077769\
34343573700883050806079712390162176184988844155062324198299796312856696691188\
60655218707090667469995368403384137353074596779795624860967512202274293354916\
05303798732646351263749480301747833655251431594076171854788594232496838221227\
05888609599937118667665851206877361162998676992175723874873816451496257650824\
95444503105532955718638620564579128181952257834681587250554796827966191457308\
52352395697476695634940167367741246395894025301469828276448139950928480415002\
76053047789179578895008029005967939735683397361228281866079808264776803277105\
90676710678257967340337239883235891158341303215832097093553682571934237130241\
68111056632851123375202966510659374261222106996858251219926298886216151854422\
11155706727585934877262521510955141007675814934369491939107179441875314281319\
89810240733747525281223028531946986668834051889502043303809438585105322688305\
40840593269663126599303982219838917852991831652200645497935476953573560161550\
27020218706218759351730905765965063357601485792111949529108174850130567281693\
02302162920028531408184034796007061096059090630713217004603733368308742766156\
36135891670886048161942675129354199367122859249396919181681589362869983338147\
77018902810747404688162629244576581471960422205227993305683006615475430573291\
92440124904392955665581281254041039423995707304703329698689508583172755634041\
03811680752031428178511904442552803737036590279616745152849257111646400429099\
89815292418616199549652994724803490384622348378964071868567522218137317065405\
92691128661624077679972813254786815521950638319678590523722580368906334122904\
54292281926995144766144933828813893384411895884718355959916466630403494558668\
36831268980565989454745022928211283658397838679724618022087674493154478840944\
63757534782379113374251881582982002935215360555470369989204647600934911859743\
20063348890635786691295514332527227490860579856019298372737689093660499925027\
35728750899942318936168177212684619505443584795936312809825842772757583520500\
20144895480234125779132262289178515339672580906101364279134623618876708180993\
87481122709277426554121532267970425179021319701337459593002289845140238343375\
50740369468892078772762255154175387326222684884907163372273615300799965399118\
64330054383905304193202925234638622887773871525588148216092388891473388936529\
28917582415635434718798296566924768505521967535485956687253076858361783491828\
65903637789716892238501202978931483356938101482689551199622321391359836008366\
35186254284816002782628491389305378344246165638275162446045866518432330776463\
91231534025454712799699989057287443129593664028058000983303433049204742110688\
59491129284326507542012466510897530098737228595778609453842958448148065245079\
31852666652256220954185234574053225994611389316492446952198825985526674084111\
32564206604358895673398454403070039573861507999095004094559700796446978339263\
46424095255765531104513750184590652134985384557157069142241973907834502511963\
67226100804820310477790756613839025545720776501401452367865509081165186490556\
33643305670807438783493236577221388681959689123076984621230882189730912955536\
39872851834122433743002117010861611669390958811716820871879741931595917281567\
59622248422753692947240232496197191737653907798175318390644564909572876727154\
74151139127215302431614316211637250642686811343992170722135543285851032720778\
82903238139914758424736219572098696433600910646521045008443041789069757594304\
80633075730362972853069403119302648963344722868601132819410437018662491088334\
50963015453382423550910296651171054770528549082240033538007370238894091600943\
94323574541984728714113547287840522293644992434924005224328757361430218625124\
20787103902667767212435603653859242372104939591066750515252900636765890523020\
09372034367441100577160507658210538494129035431390106365921159006833733334641\
38572695014835608883171782114458489037236483595162810932117693687562674241351\
88656118947571636622083911311226601621245316560727287901397549499314846295432\
38315278736965089909619352037350868010994629041560650750759426733514803231356\
21718420192473325233375975931954531010541518174736493433631703065968157897965\
26275712707756940770748550445582171348072472686840370226157280234391323021347\
90075601626815884213942823285015243454041916751613928687126162395743071216368\
44147255812770627590766386578978277642312717046952128096615198707778494526257\
93060480721704655994016914899475235644593878287526025274542614577278058768560\
25769934120293422078868858273209187388830720684178364095962625227366024175794\
61806013361709524345232052180036140399096215888269888459070442080027708157664\
91084071366863863282685792176616144919186109760596630843736202244522811224360\
57431903175565741386989545566292323099748219655142426663136580800403274022711\
05514786799354623590191990373242182579016272878318637022033353470555854945216\
89440040062975355832580716242589918972158172331381438207669293334060632613037\
76597918730834194969531614703993974542071193485584566288685235283245397564512\
63535744930071145610923225844615005685425886450737585033099709375221230206811\
03621260316750589329853958965043675853346718213312255993885839420027114936188\
96315701707417032141469630399410762428763089742547087795868895363336786540650\
08278185830090892314238127408489983942602555229556168181669187055131048397167\
80270568973789795455603128089374489590839121810890488256605119107502863302481\
97439422953511986790654673853486312118248902002885054457981485718542629660739\
95779518192067869938340288547958859447371235044278831876791977436179235933988\
77206129187976591524580505091402039544774238622863201098954020440043487640316\
48198521765122141064281712603056998325319179842109269781849448134598723143502\
02147160565646264872229565367775421556178585740867799467613623359981339628548\
98830682938209870407544966005743798817368375923076759974216692875897152421107\
54619760548841039782105931800370037202196666815230123149343217364020019380202\
48052447186915662464659699653445174490731619841132396082032930802813636501904\
86623611734464563775297552379528432474177636804463473400026590211522590088704\
93696926709072997262681961350530067019119743851559936093711924622671066209844\
11706433245547730442297980574585041046829932102877897924489732604623005263818\
70873208695678954745200367510073361361220520499230175639906114010658280651529\
78195023390560542906583259950832675112472685428663712568382920383955820489832\
84429967054009568644052091581085685619338652108992587986173301838824252180812\
64126653861931935734879220290103349414244806195811275592233997212100579163713\
92405073771895528856384911663041632525246965281803857580162457060701735370969\
72901557482503247764991261886152787448020666713969856781386218979492502410829\
00347147717265512173610956878337770015659749779663049442587032125810246366679\
78290488300232331686049356687347394883310984922803025510999123552287129007173\
96198809270801703635021163858689609675513942524919620966950713286645505721642\
91539513036947937136945955067978112812527020479421888463005109266216850737507\
88292514581183507619491954932725506807312685507809924628844542729544105201137\
27136617826031246698718993919117060390068385019144567265193498041576930293201\
92751308076046766059636595846341130162586398402564742480358809379984991050271\
12889011483894146456409875584163185499582785933859333011339665559862328712647\
45950805771959646562006846826918201549234223611560509518010399555011765450339\
14451932199000750002033047829745251356063786635877432443227968172893859325958\
86724246365211425490344512038252597766840489813594982102200737698994839040485\
01412248538623994414960113881223360305551380634213924199896389520140819165599\
06592620949400184270844210559956618465853277106236411928925239535124045815825\
80821696631520546366622796806401673510509702087000999255990668444424271994476\
79606643598130872961312664790554945293879891057049264629229127902023128388887\
49301505782260366233597082228674421346264813360696780562618770783644350235397\
89436625130073850312796656292771562132934922417085037921087253154597550472044\
95218385106193979042686429684090724512560962518666372034183549739567248932572\
07867473223572982473170503725121983762524385253670792549724721061209542348207\
90068238795200170088300785077485238783601917323714197253772572871697688288834\
34364806185616505991370592021479819220265423016202471719519644619064975594679\
38015478785588142958026490167814275625914376714250849667986092898144060130473\
18687281314741643061030977430196341839416795444766092467217919409874643235064\
72525260751531578877567118041596959671444296946863640913058225436206899804306\
74905356661401291935213623225629204285112804117802399904389918151547996149337\
50398919484198145493816075466375998657930152192187954025012944473850368215811\
14830232881828585671632665500454456337267518524127201854946676147609698689457\
21471004833530310588010834189132653263382562147288721369808292370362297830781\
81168917971493810125153501903486004592904049892975154572733738975318639723092\
09565126324991656843713076461966857269749500517685053570043564747871626378916\
66171204743150867026661505064079656959476413148877048907348114234845515257013\
43236705507146510708004316145247996429541582387151138599591035527795329655795\
48291622292710659830307824483296182740577490579032031750138620380110929644414\
42393537369796537263602062983624104823469579057329006603260116519510538077345\
14540972742286423176094133501183529929632096139665648026098264597127930742608\
02664158665666427404823688665854178967784582357283583605460234521600170338992\
86657673573995483260514287596026956916856889421023279757965436737613582514590\
86231546354130379167090070771961144362090901385129669572047029440704152846160\
37517282002793271249711409815539383365957012436496711015393826095799452996182\
31886544259999686683497039694597304903525052181804358011909308469192673556695\
07807694708922446296383842569692437754437742308029405546174601957831160326077\
50935939722971060337066507431623980733131101671085342421929117815057238041477\
21440548980224233009315091863214669621689657274380965342676713498712647483624\
43272846336453940829852966254661674777413987121624462004442758339862598874768\
32995226382663085467248461099665739800363639665218993687638911126593675832043\
25096873607172335892875922722819148585368465856529265840013888168344272363997\
74842025162999243512320094864113772156317635120213829808166929263527267781925\
25506996466457159272341710998284683723442822439885796409812354505716639189711\
12651843818967969422146156294330508606158718733351436490190974982165057516467\
72491752683374395058497745885163650195130343719519734219572073066770574281629\
74728904376242684821590732129571779132243047699161813081426990540889630724337\
70524459937298838233659957743822526081248556521248628375243946328517867828443\
48532631180149968553745462383288182856680083432793869186097160550134837786272\
37169812934483209054202875434679322602402776128085464619661276983042698413639\
11434230517390734607662342589942308356659807487164437509960499456801734453392\
96462557049869620434132982980930706619861683707572808282112572941436794823466\
46819492058854841017941366070302791952048197236296532626948744856558930696463\
23453813820401653692195464600085051887945700956529766909832850455258242058970\
70707508907134889712287349724687870520083870421607389452518234461151381705543\
58068564265027519061237879548990300856079707915888585181414937525958324319149\
56834964506950540877569724200245265501146492956361007096468320341648951834546\
73172510670446233813740801518293101618711351058475840418155720773222677133997\
47242780556685016806395194104009636870438269003556913157826222364144771035599\
15111114350566934964255411944683497442908099632056061022322492225069252777588\
79656734117193080155153481590529521614403241271946784978112085169021389786709\
11913498509109562147526678200487607548117391335973945327966841325773756336891\
41177728064305250354306477621740165259979076911282420017198859334381552307261\
23860142865061682410986899795971445176217324669564543613625763938706583261116\
00784557443217456711302807517086179159274587000367183512732253398741056257471\
08775342323069146163486011701122736683129897337601223309519153671853220690856\
32415454030933561823633961713903169891361364246411545994643953374099783843763\
23986090313467317690362783920225062363432762148394530687444244185271004028394\
07351402983099153774512784304622033922429215075750031386566240600919845408428\
31336540707447317985326898812035435437688780487348729251130517165505237059146\
28676944072949982765523781753160186753537432140222818695643655021215281423803\
73757219785165570168506224246873832873166355600680439843550922580814307241819\
43086607941294353995861625334218493521639043484034890340299816760671060888029\
78214675752619400848404377940880271397026597357669475671684474181901830722140\
43661801322411682961373255126120082926915210575315899607316029314410245443117\
25218691265310367671160575475024971225695310236054147565182608543846763503027\
87025869101634106958627485909474111053002026876655011232781279849774244086810\
54100713777860160451340278876732910251302141972584537138666890525506872550001\
38187651151285866645472638228070646213836974810754925620926726356795261591809\
14330350769999691950731959082587999821439765893953179693040513453826072532773\
93982682114440407603172714682038806773029294262050577564580201039584502805033\
01754223983118569363022879201453285973731647617512362809302719958487231970706\
66694740882412743371203465570849410816985805874007039181896608944078528576605\
30143115063216928191987826320010466276304424998351068713573074195657929849677\
41213850220340531025322534007213458158887651893726321782516765757400341556592\
82882845384558402204008781766977688683238845580116509395581622644221299625635\
97122716576775984236205576356825735281631502629484664623760181711986660957336\
42578126073
1
*** a(t,u0+1l^(t-1),r):
44487048927830009963180655052877342377306639623804279534829906514501419687566\
68702278279392774389454089614114304486907986014156319850075817857163120220714\
29375318234980315182041684917502820576599780273677118755404609201716152214604\
52367584364170322576042433988078637934217264348149117569942606324568235162625\
86411496258648654927988191437276177895647683577153254016712980822838472869669\
98393318720648344699453808655217334359924198432779307151272864001598496558777\
03901770184470957040107343441922129542478021038112566002415511532687116281814\
22015825354996512479649617487968068257803810653755350378243127644656514636652\
65093196056319326009639557612289883576357771164098471220749125382119436548848\
66770386026976539007855307715574243913802328977823724792695135292534748903259\
40651910149807021040311923255144278871273490608591584844427984952661870855997\
59422581759298111262842805580491166907983424411587615006506131386137161534772\
59521438714610156284846290538770868463116894844939987533215559242341866983056\
61123053385800359775116274502160924802478075841584562966012237677683873201546\
83442492328781859964517042765722398241110086251368767749733883833390551036522\
38929081839183063714060578111644112016130015593354822834360219124769920793063\
71226712885023998993558770136784304858126190231338222202167980821498884536199\
85266803201819763178804699313695815963011986794628264119982307117977865934112\
20520612955283666793088466917275274491543659399070279800155784251679736879227\
28079818391837983874268964788712415408106721884694537150825903436499257302860\
79080806581371563048952813693895781125295559901969434868545509879942139201176\
08178252227625987066908974236821588164402664371661984480420776041750825799866\
39485200639027109224178191686433170284584115109997357673323804746436504493187\
67603358440286927799913204928019476848896847540607280665732903576478540331026\
88580858506062724234316893978343556125443530990602588717480411446616088537154\
70986902369950164966466694714244572209403470153020744623814597357732030512730\
33794037414273687933586067338816681498748661216293541912664181208853857665620\
50245061353563251794000763675871556394218736303974129861132090734717507887503\
46945208377739090637906353508540978049287900223868353579742727131316742800554\
36696664615468428864234506642699314287530050570862814028254792006685746685459\
16242862034773821205310090109915251065424432116844312278593360237233407133960\
88186211808368906299093550346866264218679340914968312812528979091146336936984\
00895143962873635472423740844752499651137191737397200749795842767640310939876\
84743258938299359165775949517682227340656657563058223576357188975340716633001\
87658297034511042554689156137197089080088683567433269610728860741092381373689\
80371862871227608753629898865118968719533626885343612570946586520446149274478\
56590925791038690451305073694336701748492987030675424225460537130821931729868\
60237154817725869964515994033690084912532113944224607941141476511062613472767\
12852772115706163205682861644730688327429698642511881643528636913317238980053\
17319978252253631882916600819931773687875660400558768558963653247918385165528\
63419191849983726730689824313098206524837389796307543856807633789969577422237\
04993198049779881818003797499914605948668723494890666869310037955451196050797\
47360797410506532598732816364147805597353645821080537430280671468182660484707\
62451382557215285760684560302727362799627926402846208671445717982413926224908\
72987633623796205556523688365071244609872566462797371111893536323856369319131\
97726769128351364281907455075121008453836935674534064220494048633524997787183\
00163659815691136277918305652456162518481328207604584250823079306612060880461\
41300103370906347133375506735995877283227674554680952052836428950203463497105\
31377045372895173294075400796954113405592944587230603298631115786357744196923\
28229061247331520694494480606625629147867337645204479055307102107118505527707\
85888568453070263319524151846954493860559346743422740706274705405572308917294\
09595310740099201111212269982052504697783951992080444865332624459918069687546\
81726444010570421396782102214446521129280049686056965581709835471232915858192\
41574638768325971325230980048912974768470979758508419216749837332364802807996\
16910152039927507185542453979779163084234013712443149971655063062272223084341\
32636643392791931212008441832628960443364953181772536557923891444386459468495\
27361745804038822738509501847124826197719736729617218424100121198577936982338\
55715886713078197221248334797519239851742393616636996621146656247666828437493\
22124216974467533785449588203546998853814593764776564395472477367604777525580\
79645858536074216442200520579105228242701700835664777978536966754557957691340\
11694876040125452638372382991023105030730834095461860905039287435710017797457\
59787558521622787653438802381558896426794194344168543894521695530525471591768\
75465514843664630607028485803237234237394210778795670132023635518725660790930\
46880837910842677086709329405581673303998224170523996178031090833626244490371\
23138422053036914701831287459074962512251568840725703825875741817621043157895\
49931885385582997280016168712551840959126080496643139558524840549359728511066\
29851419719977088749577704056183338865387497987123439093717076015926668489810\
30341479809571708306181141777576453112297343618798697617811913796817733952925\
29130471959772053484429482164977568242982377277825268189053360531390747643805\
84416746783846673627464608950571493411539394681247221674896335562639594055640\
71140366517229528140890239606767743770180260665534438759088262496034790551278\
46008446749690152718054242348745425524154745413188319737269484937676336680195\
33208683141345279514892586552996574315370033290172101289619334768641675031489\
39796304083833076313635593422979992695173654321618877995164951774112822468908\
80456537573256122521413461691840097149270729644915643811025973806747929817426\
97948708296611286811009263247345237337847617773780211956726513219194621550128\
54454137570175688695551498274969056040889831978272958787028293560295946835364\
39429257470930460763851177812494456414490436818613785054716788688663330307552\
83338841761638820414623900359677995351638681246285224387776490436656422755241\
11364961302339060770115679275445923455200972811565848728645520411315421835154\
20729131342776341223902772534878325876995105425281518532836387012828177364754\
58191961065524555499102820363005720668294133058896498898616912885324849096793\
65554676633389524300230681477501780634906543259834626418052729680523863928496\
50657092672397957917015640668134881635966392693721822726280552663440841552452\
17072862555105241396533815077837737876843387028918686980425924440429585294433\
26881391725907432403601677830744490860494556137967938797698918522989093139316\
86341143341249001451332607944199162925700316419327014957301736312676104223769\
55337404423463544778497019354266229837234504111552447611603389248997190695712\
61217889392318161936734058984636339362768268779773943054982429940873216447107\
90723213836766954038691659690657718756113913359771080492912582245861067929165\
06649123614074391135616189605739259858368504494395706220663733606392743877227\
62190353736014232320412616315905163333908731152838163724615562152472743695641\
76232439096692951707350683530191259761091321802724270820925770080561867775915\
50553898328992205781717855405954650187549070878007313951813312806162948499005\
24246914321601295782577192985500842110043541118968373460221575730209002299975\
87063621107864611085305196083706380648412700562944684212971691226470691438090\
41060349576224647939602559444016131495481986635450097878852493559121557645035\
62754419202513785679613283437368058195609337652187706168043743055836792163329\
84322029346466957995173612792916603392501362414492186192967254468685923334769\
04700143556661421750194925401794815738414917919910450675078083974507030077360\
23280372659968786221499337463809703272167726508544476048252418433764403716740\
39142554212543946240289153468136667822214054804560338762756641808286666792229\
59792232600959547696499805700025356759302262810846895866327659985675091719965\
01673885290828458784495371266615828452813376300369073803160470937342908664703\
03152285566022135073218871038073975925192235962111103775452291076104655217014\
98950190443027994430579838135503713502560857308894537272772625509215307061629\
94907908163258765892254150349893920622920156902943779153131237660853254113493\
20606399753786158859531213835145633518604590096898473354299734647025029811617\
08019684950816644584667040521686693610762040157593588703717070849207505740463\
38486051192971917936268451256048533488146941409869775366204072464077995066219\
75299645579080224937700905664039331727756177977649873709591911572786158243777\
12718561283265668663898042568591390312987569760283290760324475022730255921927\
73519761554933590049045424280008785301744248941804850988132831122931816939788\
19459310986326790363390349598540455496208155053156541705094810544296638753245\
75567826202154131752781783530521350243998474521123938212963269480972131618403\
00682686623667012743116145601904420823199226353759547593274124871801206894791\
51565684329729809909124168582629609353578717100763030969270406381381956385214\
33543932749660682541337448253685192046923970962662631155934193758957178593352\
63340060352258041766033713155360300219497621932529522036790485238740849615017\
35665287718372761691470732186552920327577089240724830082192088865498929393172\
07672716011842480987224680284118185337145318201245509272918008003564611966242\
35366912483722005359858842191391034849417840607847298201116180883229781121852\
99783657307919189101238151912087507017867267881713283417209921026733444406346\
25812437941226856686122169506684159394543436898644467486055023228707590625876\
99887175995872342177751536749791217329239620326742810412473382860695620980631\
58087439630368429185077900603412690785755419283812293436377783000574871942326\
80047549229771262459150928469167171295845807069437038240394907851910614523449\
92593046314137867404334090147370580930225589105240356842953598600729041596758\
38936891431140157919391453150973746220637319190913831687184727798144790940052\
23366226606187336299899253989027028128248498015366511294994536035975908804783\
31060012787207539187551247333603762767891461761754451181573505830097487068637\
62138509597931862142853357652391035889469493652949162918910180402972998738027\
65415437346690986376451020757765367005561544784502066249236295143646548570824\
38230860837175624150166628269569689256684338651145011563634504799042297721511\
90805302849699999330218395496307981682207227728223840923079754007158304252238\
25243965374304016536070439624434693901057168499809032042168604904031199512513\
59574221501101002263854732571798950442683325452871044787431197600476531190757\
46222007189760045936405126509287438867137476193555187360702089174062210289678\
19278622398724105652605476637954356204136114989567415830138952144565237718876\
55797210264978845749527391415830755458256246984995781691743115823149611251861\
44301911478423017622567254040447036664019404392013819403761477008658310019249\
41047650971058171275459069745779882128400164654323611902829833249627916686852\
74065853131801909529470022420813277139763588864439100643081501945063727620615\
94695352337486302544266464038413900991055578226312385441730780142053644221447\
78056636738467232271699130020221718020692420144852985341995771118697655752885\
79371524433496644348212719261925429527940062530788984367700698609919837325852\
09182269574384952720400127910812785580666199992011098157594988958409230882008\
23792646559814485444232344421548668269368980981859332391162251934014495559656\
91258351963032432667445724169933069149040130792619963109901437129988581454611\
47376300905573710156754514766836460221079965173444404383083119408040534255542\
87984034660495621659610849497917358290795268533743016888433781563830618872035\
60423417104389558822917775086182396927367611064635835534168900823837238476687\
91926141943925836880882128790708840294234717732367256482891000214539327323491\
83728134873444213839441391734876166475833964359619352618254873691946577810757\
64682858033244930821293650268402243780488868458400246840926587536019125536970\
69272021448079029155409163340528664301809470847185214782665516417479577216842\
46410080995628122682708686368056666407178515384358824753470500999178242880759\
00088158368641539887113632315661842194420800620379063980015169964874726640762\
19014735129989358326390435859903774261046827385277771174068345996366666732699\
20286345014028715650319125523689624518194973306885402912141156391931341061997\
10962270143730240947077600194834885454660428661794647339926524811108771816602\
88014286265451382242423162085759083637146058471170009937112320606091560421075\
54691941492902324941625456617319623457065298082295903871605896123422891044916\
40376528944748535409946818249530625323593068027674893474356050948463850784103\
55708897567231520262722975323973150575965957492138440768582303591424364292889\
55753828970094222657625399896537656022240859520264421602262910950139374186067\
89198100799046450510165480037096496767967561799773593384515794929335108840115\
74377665867272968689225336934780584250352862288727390427872226921402598867231\
37563830185243334438249629622477760211391162210969200521189639875096948132622\
62632502759498578860622391335855539585984466756618649752227807911071914985305\
99472101375699279520447908040055556561342841013131654133982884350566278418204\
82783933817634924547006941960556409118542574508692616847528339185068370857959\
17086583759154618136312582668711015700505163890186439930734896855841327240006\
77553791161248474863832656519816240852672364008409362948599113070955733552994\
18865477442932039180751981180304202198160437441958605505150112054564195481552\
08633492733879944677510479836869303849288258166106094596224716681298874690650\
93205088499400852349753127226171986052517233716620090804635769257438332792966\
56133215188238975231539677794203655220387821313832237328448473852952484945877\
47831260694706119003999386164152212797820345459445712953128827713540151616955\
86981183834501631126040596478901986098774530328674161899131687128616820193778\
84667891597772713308154672348129345239749194299206020842682543064926442674982\
46763341809784954912338493027073674264998009610218536831906853031804655046623\
73692569469707693257645027953144461311743452244895900241137393428362901210976\
52195625862349964765660864858661085150967384457398570610168423273136488455536\
01936965646647607080800195289140756328600329048384647391700669781568815109399\
43855024090326367966118864137939790205769726629327265988177179426079771410358\
10546099934491881587687423704724843926294027533418587855796628385461000946339\
02329466313922482174678423826701447048249163922167737870488136352255467260084\
86718266647866243734778280390931607416779195478776846609770178902371111610903\
01990438927726882296959283487654322771764521803360349075379868506178225519914\
56802981130566505494235950524378970483403737006684330360098127430129137905824\
04365626718751180285970557654211082113772273087410119684590559465977513437048\
10866906245194393346537248917803203370702481014601296131573702274843018832574\
96272436124935614004078023805655585290359752645670507756875911389009739666141\
93220455146515270273271102367803414690952857890009493417534124257700894759215\
95672318757500573500599662252575096936472904427892264970134492788395507039260\
27143727256634263270803877659171249174685985946521212761222415131184104638324\
08615947813525561344837467060803315792105768629874263323240406495851373979324\
32487565769603320445797593176861743721749346082248947240046354464303384947374\
26787425096846437200714721082629728135809233909074738650448926192487820696608\
91216280415066292152154180074574780454021446019938230872481038271228887699883\
78665467711074476171876674845273329488124541497479241695620297541978071477152\
18474891903126672513383527068944353934373664778568329087435320786718446145095\
28978318082986967870968093995428704158963894163249971641794589818588837746895\
27503916970382015667670983820988142827438263332231313760429282101212113710590\
06185121942790029942260029471012820440258783843744960073020673727665532443474\
13009107583430396209247923655453431503284142984552999101340810925069826970746\
30043916861055942507884525275611326340117413168119091153853974255784442708967\
05557586448010045625759156090492041044640820558453406590174218982169046111037\
92905209180807185895449615236472210879853285788370102121421340400898853086016\
19471722613671601095635685408089600691316642322774430795436168262520187603258\
59873203152811553660209823721371584524913301477935958517675842237820573206703\
64432515316725338574411743739461145957142524492079304856436404301578833124053\
20408480266391082582305568621269263062464529444191749811977427686520694575208\
37650469255146005004469842750619179567258622018570390785711868027706305523785\
02584725697447414458140125099357998683680204471076633730754803805811763250258\
87935749327162069622784222985013280131059999422771044307257533972124187679891\
74824922657048709897283563112367314522850447049265670904945203428215966344646\
88544588611450291057901522862862669429465886320475093617940208123284712635350\
17480524074038762464916614599635486014495025794399717600538327679132449618477\
95643487046576692638937630532594608796029250218776981478991213598057626291567\
07778400539069915853419669141986374194001912509856016437585104401398456773961\
18910050579300718836375582796944450894199655367053161912837118224820521335013\
78732079977733378296910798290526940192751404452570332023678541015132026554492\
29237424967369537288299545300979176266516000007349199550350421431226352761178\
01829719032184899512650603694404772918661560920377922466993179630318536804508\
72006247691008818621482768577307705048291539117651994703991118515160308620322\
27283483863097247534034616762065945811307665023863919237600548987088690066062\
02083873276163853822625694450480143359753819416574385391505676944440006244691\
12889038758080125983253821037029878420783609790922774607224710052832961082458\
49609376067
1
*** a(t,u0+2l^(t-1),r):
43861645240934555277662651467316742437606921166112560516064725073341605915014\
20313773898707777561111248616727505454758389209833597452933233726087724903647\
08250079459418267639651220743404842780302688704693841547034347591570189437454\
50694188145367553280221781214113146304401651447284790706260189178487144696422\
12656882909183116198916192494858987016139984182910237324819171345478981685935\
16691444511829483246321843210204906979044289363902372186634538828192707010153\
18186187660790484354445103374791078049378517462131602094227852045348497027618\
14396108972311463100835424177453053240121470297798152387921059308508578629576\
93418971182050544481856433559633512204618908401716580809960712185557307637665\
22813913871020917559759872274399348263655154718529108230473554196575966116428\
20586513099903454671422814680798295569428033852144655348020843645923419063270\
35531917535877800420347358454242462593438202887525933445964808077053696283580\
85301362256579085671657261149753471062042149369144205140527430480734436800539\
41425915803057149468999363426685372907410436537344854958055177166751110223080\
85268511649370681052176128387572598828161022245960584510515506834795557348098\
92552384343786863193244356301264860207093511156709722232190206672219265861577\
34330367343060212690931420978347786982894800490504039134658590275742105465869\
02062490129629232300002383953147140012266738620383255720919762969177802214326\
18545159164909482161508029238025856387163945349411372399028945672696422864992\
59550111479112988787001828451476533279595380902248034754141378083596268680983\
64754459722214512022022830371113741090731892236993294734498478344610244085883\
07219795073535649854159550981383608949345457281151272421183370567874291229109\
13531800442602173293191619169754166016290992592049878418309880593487537700874\
82210621442532191232904115824064188983167276113138574751969085812985402463205\
51440546530813482562794163510044443340174877790172374255660161988603678670184\
39998332983306067052223957675150224896244096158367219629103051940331861386497\
01547635763651283698343526560857684101859036175764579280339942485205490406966\
04365327595078295114609937569837748197486514144124446685952164435728976848785\
05141854932878653562396892119011348554686851954554365478809136778018006959871\
78448820220686773350679194927947215211322973946155276811362737761043491577416\
15639635295765754365497858290188232540605906829353530006635627900252618842480\
64453509674230636763492422647519503240909715691233987890141036554719724890072\
33122484956835112012174109998762539487344260269673716203172658473812190354967\
61340120340291401914148358849673573722934211580447283226174098221235645640035\
58965818631964026961136824982503596731258945747834863758656758668818355393741\
02484723280723003194769122404972029140533622758558088495441245566550467700797\
98625730020780414578043990184107038649873123108032377024540285905927527816140\
36522480663774709655736481465268949698204108593556033321537800646333523311481\
74246594438353218080954424039603265342508006534135425950320642954835740775085\
22793455596411265923925270911497868715693715783868626545482439753336589685225\
98235229452842437226509554992857838110711278412104532462382034439595122256975\
98549994703250642617188373917441579623242265338917508478457506962637917755800\
32074563145129214895845288486488745537409592693324016285525085646230701808727\
66728073524077301424779903878602798186699698758944903020019583240393111891850\
03170562860575078018240787403987768818730965247294127844153702167476007988497\
50710928887559170782161802004711622205657409868425337919362454697720991257841\
16000159443399320866326202011606263326562659113776965915525660197334478018974\
13915378393808319760366478993690405718796170226358351977117078964961615369217\
23532007246753254269322700692029735054061647334364193692745954833409884625270\
19022467134201274386699337955173535017391226994147246453779823258377383144469\
22919188390468525784573015691655227311441830153777622514527638319270917507960\
06461356043659193597933746973869948399314636828180532332080525709310036842829\
66425697374995392042563047356698913053423254235924955756287485394317738971713\
60952689769708455327219298042602108206589944429194805075933297913446834633563\
23326597887538648134199307953821630332346937605895214405043229935811039067223\
12590205107045090567041125405741018169090844186714815800314839549666874752443\
32506613482520001425409555710567307553890499568469834847378938613780683885117\
30284079495930893605204543774123936573601685177790178486828755738093255404163\
88823501646803978952477007300966675533470433590014007257766678716701242696261\
47879515632568018460351403607515182859720889671152152233759033763631650882183\
50799446667490136996783267953661018268349425931045808502437985363043054098336\
82564678130034838436192708627366409597926422165009660896941727927003557745586\
43851660370698398686592284034681884177824470233639217412266977099999433132201\
36193665868984532610326349142148004044804247260910256775340869313003570012999\
56458875351260388253351934776894902120795361218784855131041499898910344331870\
72660115675382673981796634944334148724461702607749374709998249538825149384856\
36929422254372912244194699781729027634852528474652163005239328930416921510103\
50439772033429650551173909231499933152892976089012399150832364868090211919847\
61616922681987066790646499754035990432631172348896140707482788452692658407951\
02911356716594845975719558215558773260486825871295292597929657930550002761512\
67890970549320959329162635488584504635641644067612211410085147278189877844372\
01500361743836964066910087114226979991950133247117256198320054502751177307933\
91692159948167979427991566123479284142239245568192174842248866144902569946698\
07559242639355572897792543843462935628231194326469596673770880287129043333919\
45867176688908566909584781349405606561417814045408863438799741747609017964323\
50742306586724530201669864045180121536472065508919196793323610034294978323088\
31195644539667126998800540004936688805076010535279430781587408458698534274417\
37844028921667145945240336512412528723565079225100001759664537676170406263866\
52364068915880074110763208227161434967126422372157503332653109596403520842093\
39415125857601398247574221741114443744021952575227059852422762392412205970555\
03849152926523627898355873202148077621929569735141665882421629932048024918202\
26820940057105747314954233385081554023472753493869837714475156846637058340981\
18616232257100074567800072084659675002738222595450821922953581653150051408414\
55005868314304265912559000921160164462077455589311487823849242176138486704010\
94995924468576114291615345325103374176606600894491526432434932063103958509600\
56119235328636006456034643934342272151115532387199879676831548534380999046449\
24115166630734723080414155161478462415966947397499549892297494471354509506471\
94953092271306137869708401462687979183477692900987043006004466251120004322295\
84630946242473014393106120011094122783160467437977683311941439829239572354599\
36120731917787099951924672909626916711744926761461271488794785869396291903919\
07211694509846541213372288158610779166826304337492298916718132852788347290387\
49600986063999036926967265571070507804378617781429942116490694830741636708355\
32705272661406734016994300912615937458920403501842486320162989807639254826863\
27256514566166635878507201393687246482944351043733546651647239992580526542599\
35808579068720302870919594208759968041017624420951011134164102781799316232028\
69344826059487882719532395763879205662727423610325967940062061078019838231369\
36453128166999371726768409123809719150184676607772730054876122984251057771862\
68057777882890817745972984232531581276270874611154139539627008148772544850818\
17719564079178294105831903147280474947433395745122567830366965043165502669331\
80641566093353154340398370686680549350339731632376564301951400507199058707950\
29513544553221333744158671988685855522324693802238789880751212926260686701041\
13568853825301060398110767992951991142426603237485919754845348811919000436200\
12841076566269394729819864663942526064466710850057108201852575730956135416497\
84218301148970514190524021155088895531733525649473538557567774532413064587879\
65244802638664747982217668539881745710686253263487236337184451932579285181161\
92029616069414667423589493644376669732609205144289646870624931617333179970791\
66488396802013328696018150110673293810039367443202301470566131227008081843856\
46933395071211845473502190210471608680011273460109835022233665275229926299738\
67700757795931687069418675378457733531885347934197240221471751202780033775977\
02049977371140072791897292147481778097029599215729150595357717181077835810368\
49123924226047232084781024141114692575069821211328647743665127436336493413733\
39999931087156029460563018539979515097715954440316796513459557379486625332584\
79608987025107906964944504538490386258139596894825401349124403318954331228357\
24527830513229412804392359679160786487357993548191829309990384904030050579582\
50700424709152902159256266423719269406453978628137191190288059507012823301368\
28789303025396155019454719000190675450801861409704821057286203716152642599175\
88985098326968847258105553279218696382347526138709192670733334126723353436968\
58564402298634524867373004276360657950669182242475246463020404718297049559706\
62637060441026672856483098631151861134874881230572687144052099785525186312088\
34039252745762085566473486654408315074612087986169185798000072620904286524477\
06159041466221452669691062473188688823502225630468862001040060374648520888928\
73107771258552530120498127446432397995864637600239323062393835322547075670280\
55644243193937194877696847058590494266913182578783855815281009297210481270362\
00894737314124323555576871903497409262473941534558556509212637710028477355597\
56589793015611718810679115895764161790403074586441833696271788912325954331419\
32809734293484149487068370604301921936846017888069852572698620165515243939388\
74798520890083756426454336222646545645013860390860135172348119081733801760702\
26998954753957859896306900501437536212368622060649349014795862912808764535885\
49729718636887953262605256527483018766738950130123103031788503883456719839676\
61650675154366520887998139827981662222040693450951799327398549118881589561979\
42151015419064977718185484718792088502176024154981895635440794876534729518469\
33242466820079024343281848407043458065343868156422229981905819853727830058486\
49687947599549126211833621215716181902390576488562487061102701491205406838338\
56624991190917297662582280168310508995343884030932101372955481770002340396467\
22331001497548640389306234359996248106543583477124161809821838065164513658251\
77278961175040136266116309732807214605353459476850142182156862567048567841765\
98193140599023668586293513276037953013779623595520467775424198571416411258366\
30764340734421338636455663624901954721863753472933511812051169457463397586449\
35221284689276250371641013517458278094424735678561313452020785057247075988995\
44422366634262179689318477759563219064747489998327612314633325066498023464815\
59330469423899732463861997423196141115790453065040804135667360649586262549438\
03169755221699340376553834463505563260615719977833589242527633157083944099877\
30381703368936840510780190802901187957855009826982131093272483642180919828386\
10702446728243289856202736802634886450412810022568537473946373673327491772224\
05356684019557196204149470272983362097252507959124030534001453811499469402095\
45922065327121340069653027800886177941324222851349589086055421684756953014804\
49915414800611968380375758727436785783374735137390511023233297454776486305410\
18397248529451582649796088408124835069705874407606389574041882881521320832951\
33274401373111639330977415020402613631480991184476289776585109522725386776242\
99006437256479421822779521588296116356678653573067960085289073680654772293187\
54413499965174689771237688539652353253904988282565748609777261673055118138126\
95000407491862995203101686401746843081153445960634394547278054045620220128843\
19687255224939063166530458751476757253547256845782899550141829639826965646029\
44031863061727566034763209095679219430719147616044572590819238166755201365433\
03136238660706342290535070367721799866049006202658912536696129416956063790902\
68860512243091976261940430959921419723995841922435656936611174574684644078836\
24389320719213481782764328077971521143722397548589956551687879148205727751226\
30639871231312933421971453792011488274161839037149742555741292224037687372147\
91380975966962328921614562815950112954659102539186705974807778808039112842361\
35090192085059239797690459279214137763018849033592730893694935824097254730291\
43329248539085485919705375262386410026525558530654141519777604593520551031927\
11331798642225730195903623724665938131469216037179803611848323596633853386102\
60108643346329190101771303056626282921117800920876561267975072841462869146440\
54054459653116644096779805809284177919793727802356127399271382940753487371018\
68983842774814957184990224967966030371055470742014657627505701385359354485585\
58062819190758315122607235886745655234674212010607470970553497956463562927594\
58515840712836800315552094657006105529430060930985773421284551326767136363450\
57399535606720865099404924513017033393974893278107980065718446786612496727579\
57560589835872528424591012523755017565495316444179567899054827693160252516887\
53785747800367858445524607015295246152254600775972651864427042101637914306037\
40060591047081201551556887777074456890845987578082942969962506407493650324228\
19014712629945586338754735653706975063455284332844079591002636197461973891821\
03819199732549820318088881881428292893094125972330023249421847696668300146660\
85085837208653604083178964066398018160273033680268650254851234255525240578959\
59368774386096068620572712466429260274100075153646160254374805886974258337950\
13573040633591098220000960438975171180366680028813131691872916540512105130801\
10638943862577035306410768361699090278583064545346143886107618799273782659982\
02673048151853235186110347740864334856464843507171053111085093245835064820115\
37693051781472199805255252338039482533558578653549100306177625824408846767607\
84914906648449593200182481251925856959616500380286052781524400055580969863032\
18997771284776845735875084639392756506294425869507716894566106189599454258745\
60070323883686759669896995936721185873268890449812465554982201864534673954121\
99741877302842074327125182199351427647567115053074495832873981149613657051497\
00196624561567163011691874256149448527476746437847512916492203639493520014267\
94037195745335785050610876704944775686679987028023101270917623814630171972903\
66387521408644179100615787322504835329399955402110856438202804832461030481440\
23143858604578687376051705470825244433422040267250566470757313084821905337908\
76523522551308764056009092657628793153475276894208491321231039777481491619127\
72284551559095865425479616655351500470901324876919627585265443491372454934086\
20144275306437375985380661882860681870568207063856689060262063419399712508856\
72499284113735673645675932475770081488791688220273585322233580184157313099275\
43948115565254209616533295831518330256502747223950745930824056755584202563987\
45109639521972354077373182625612905291451743230890874911354765504343819879914\
58367950143797812495117226844938777624609615541935683374164441219529752698014\
35115200388129394871116400834985184868680793346101206256088002548361144598589\
67804385504114904707245402708255859397534672406881595828098862617986947896252\
86368510847215787217324910306886742391536698421499827389696326820998761086707\
53387045079502240426212760401091928972160514150541448000045836582601354663776\
18535069531042823907196877246540350885923441498149852386624896810166036517936\
01668576571586178008577213288590884722466086290859067535400440819584992851764\
36325704776616437998187626465278977542296683423594207008294332016244414114599\
57222185597048124585580376698432561032340222732285063040105485486561322581034\
76884335784526016386203814879596495163037577644848999250217392190841429563861\
52282277997471687160504625007676660520365526391507938301000851442507457647360\
66479963123563149468031747872239481025740443322874734841585384039808007144836\
68703606639001978912143909094194458390958051174901310212575209710875482784006\
35881519379352180704900483304158397320951188772024137820628428390977936244822\
03192315405652156999338819671924194292224478587498860256658276398392908837706\
97513196760362294281442017063915301948418128610583864791811882257958609661491\
94129597055491246074988749042894813351083089643266492438364807967896526191648\
58185803364182309608817939127750946511026342758724181065415978455643146540419\
91177703577092553374452422263245461031123517483400776345449846330072392702391\
97172451839920390047123856058025422255776884503905743869701122141762823286320\
49737320749993832124260035791541953834782272704114077602811859349784227453719\
97383592930097092094378889009982546302489288063295268141114231644936301228699\
01330020087830065613836374512206761588783106938680992206892271418663519155831\
62238433263518741558733835595345801966143504585524965896190183447680080074270\
02732725993641277237059333077985393512688538234140099149018138712730268598470\
96859331976800099524753891332456914938892326531527458749834207071879585466155\
93617161505050401230639436325038923418227523088761483519930947252527963447646\
49500420218368023107931009672248855157847020834258092329802021279434510645481\
31755274008530038873287246426775694144414256757608743479231049512906444729341\
30359300102553286050484642082835578576099379049803117462328630152306643340613\
40605574635965805031256007311747273742056679928869718171424390954000835928140\
47945427427996957101491210549793901998476880981941291402969675113074154737356\
39667164406615289866268449003293178172850948536305130679734606345918557374267\
26664079260488544695220124220550801978259324415904309680036229313916255546934\
42457567969989038805814823649197164942357697849207912875310007061309561339735\
00086443005177482869167976159236280051041254007719075381315812694986772792329\
02304844211340480350874432737540236268663877694518049565886030904948711395263\
67187501052
0
result=O: not congruent.

code version 3.3a
start=Thu 4 Apr 2024 04:24:34
end  =Tue 9 Apr 2024 06:48:31
elapsed(sec)=440637.469424