n93-L5-f20903-r2-t20901-ver3.3a.txt
p=691056537817152733477056064401421461995532838634799958389031991620645667726432734077429823744147466096149329523482149122362716035841183026707068038899657506728308319541073840420488385598354953007280157722777478215955502930754330485412759348987705827308158219626400856104460815284671982374916749085478752306666052397967881174998593086377224619858410480907150427307815991544506867159419520413686306508898604826548423476839803305797591178687944900601988905455119316149492524037524637209408408162138807315066625441852536251561036473338377110043246369848672161600977484952498532982217992769339205261986856271009229953827017168651969300132615341596316142227088646499465314410249026681716676882414202654638351289025414864936185687354079532553512690335604855249866524527085654001859330395104574560893242527593089992238651163213510708007658599998545153325121097055340276746974654666163792973906984464682597326413882188288040800979956656826452755755469742726977639612489929048505993330244156343535971729448637922202124533449946918481484405852628813009478768098610730154280010744180266375076616960581397385568818679947632856545043122699712409177068174590933853658104057873897600052936330083620239686419266592328999773198378204192582657009666312266441618632454191201316490195256078451720824252411224827680724698727258099084506297719641187942358683564407874305188379485585659385399718740067134772153701587326258328308904287048699295733297837851055845477401244822072928853665214222593381562743020579970813796351132300421443138464550903966171743242152378455121615835734941539809269683422111740672129490679433301868498946775735571992674847040557177452797207672945902629240458401496352370924337061763323239123868780354183021550742280468336382988715957712744785345327296880031547578723500265405752313809269782369493167762749109344744595116368228577420807717479334621461009483000589996365332326282421595437326066370818415221812835774754573420785761430009869831189817475975645622087710937228297540577957860734943539317758662617594649698212447349757993197149121649307172889680384365753552491062925387795519409972878885046172301769349970187717064115304255587835717729456604480931588319361697606027568552184868571989743292562215549207784720728071624287064274775832221165289610521707144537449852095424349173177837639639084528198047061232600679305881050888317468450499580161421180206760560796692254210632153514612907645213685874207878696498831970048646171145145818192825666013495736536045375916099373759873407155939329427587702015631682617733217844969858945730728726802793360646248556804000424771863708703179017563624297263765445987226413027267468082613568595217280536770897702579919820363461149617942061631213899904824929778613347437911968623102492363061198361820377607817439960039255721310765211258581900268394877224407353936795700149671969249061951963669375419787323167735205598953037089170765349924982472860549578480284092645837134788398148113555674298588372581520100030440640221461934612352687435509959375803942295813943958828891094057492283398653673297340393879175727291010272830178221029196665694465606717139154342489611738168240024099684998446215100399170594922313726453292541074817549985282144901181359702984257345328856696500192576527835251087476601720374740949571399593769508725607474385226405818280983255320487353510262404934693858533018677713354185936362086798308853005911039991665896787756480603203626439356748572297708865665023972451744987636961769810524690077728116240383260059879419906263373840564547247684747374732711339146166692240586476919013214144139951088262985182193091777310690299683523255339073394765339091979243832466595483888877468550455131109292507764177215033187812377464438898723297189786877146468807906879690867241371681249589380598094159663852983036698067064929728594509305559366591588143958290261593860476974045042531191192045489714017781795628094797942674937087736438993297691394137636675023406253263994405398748996608516205304473724700639635676787588159877809743061890905449949382289167509956937685285060939333685827488220569321279089796019867415234449439557124730859075664175141585976072801978788783530147088035999041881714423977856424114528860541420422045094851279794803581045325834176746730500259930308795075947809111978996178770937731566681159744984032747580907755979013883780107769609992507215584193089784330878327001648714936742360539839700588693417050741283094785321039952257725529239711275167943582773356518851293004055077365418236873230419515424630905851623161330365368863087553462190026539930180155229855840736692201913999874532708552362556717237681737285112363864321880326637661624212877793606079250622273557499691806141301828315423382561876390756664273337289164139213432964367116719724981796099994271334075038233269266672112836814231411156309326727016128446536871365516232524222861742053829182176367613096498383182323272115111559708175110356874135510892632350499551293849418556680061460261222804336539378945043774269531858041067076724766985050507221178249990651338622461297241887087608387882098029837166133867464061405145774870051146259379336381250699523233433002496718512429685686280167730010866934524508770062494540866433049896591629652757715202071768144602480146555950623854383365152838687967291147605059033920216592006857673027161142911738322023651743419627396849364208346979910422248014004749084767555126524717595863029842978537388883463305068465473235803163846014530492219766348310453888032799991665145884639971410190621011282713170792201597572632313575336858465720521030656561408176208277276804717830776222180004476001676021071611518203286886755964474252218166307720151321242050472565244690542621229150105647885602287832436010330534803050938710613354077737369936030901346301315503742224219812115056480156333832701060995256646723684266007496116461477521806420755922183074593526896335924932216641958725894749166813712914752213898624737917133096936331597897289071658680996634082393121476314638575273560461253731453429062305359807518606560859248324727487229405542598835074377851420319959125836283657765903531251010752040014888000874030367894424201164309313692141754668743612688190067448668468555030607187562144839901766835724005318316455599776329261379432351981350243504058682400930254213595684416908295529647100213464467980647943218814964841914195533865119402764173704013023267358676376773397229454908577106396909564419665907540981459257375123197473973133706879656374312556198813178669456056368442333928022066532135032095453592775435030713730545434217291883737461742099507703920985502074676381548411215878930643802191306412233114221088127065315136362432141130985708121299966992731085211156879720630874979305003856308910698123544582811511906343096866229726704944216821811579883483965988932780166157281144478420788873240872605056047974046406009859250638986072852460269246292759705556982903936089915361353530660784100562041457122647148425631129160108160138556315424885679196618252000969937214735281452800997954732014640919105475525495295300511994574902233240075533152982694989002628054197194545121775206296315365828516762547095372990025347814692258881699684403459872082171486223408200580967390747118170222701755233727264447217685291953652971246716722596148527772201056607158599156853643282700700147095912518118876709180776820460299330063725499872795449768829766818216174772799195887316365735083688282586175781111954275272069412382654826352936413010325093836582531235290509876990076052218214018410852955572186201350850847180640864212253218099381570928865050678700703325888264231442872264755488937004710827921583422605971715884265972446818559274475541829061562187483096869594367522909091345287973556393464441636879981987618674225337484048662319814390309160176436348810803759674785983974580884946194070866075591859860685536362052003565755543765865251688594829661343725283760001895539337519559153833235380197351109349420227032943624467550892090616148214523269038497802600141930944143254623381219385543857544530276455633982782278469733627982318659840496973579890268773768063217587085796386385693055937167019880121450832595715708802900538545147146304745743638447119876766050645985129738231460549574651588726931167559153796263680627395085506714851176292993862577330800647954370354495980572390474264418088268791517131127227758888208495704692038864109060271376719264582312675906593391620085945735103299872744645798192904465922608822618807678492057993215719184287622526933429414575425093689378057013996213368971968690282150917619113698191001807722542211683662811994205171504688079340338306782821314463572564402618180190666446291918530747699075010125110577156870589432648225437610887490731278644244021253982353263407761590155237499320704640487320188202462632659564866154980136322510463869604502291154704436011270385030275656598214637305604396942735710794851259936827009496098453664412426725755664285889823705267584796007549366943025198924502930093505935483164323828781774771851827490765746741583872316571050040364673149509283963727171720774741574775559606168736439195211595521244632515921946708920858317100170081193540767606170297840710104704066848386858836989796566760197008228905508952736203805352994928394001458441613361845335534931977571352724222101460668437894950694343420832694164449173209652991897642782001763257805944825889313643435335285371438588126154032139884563263591041186030094092852714860959297255927546486408861755579687721893531859576403526953645590686370909743133758390914473637056571583518508293265498609931300074932500104956450208332812428158041917408237738357943313059502741575836120373235827086172831422722008204351365094368578982985604980989077663628048376677979976278004334019561544975994081526896160849697944289169999655219377931746614292572633123139551897399108872656738304665837280197858141708754014347215318937139485372154410537781062651488717238401004025931319530502100578814649646129482055169664886483838583803243753485818877281613072173487417466134964046908090072731517165537229104393399126983446532090455615192752760778352923049290255716189217058090643287481553898218849720494786412366922203226769100049091545058853091244178954555478691074633046564317787448731887611613172527742301008138621187233464229654379966239521769253927677401692409110418564858506264092434121911124368242371790640502593626482013543175413572450403114056441111544846151377719381677438372516832551919631427479103592101508660159016171291481651605748237255505107764374074872278243242386692880778292411754077065694744739591831921614853870568210987310917135154741996146389502781699935788050632008292610000286552116690818813699605193621965240788257709484485690276390473692686113581083044066030110712977686518052403297825619733732164552657870229702565671759175548414425060633880868054673176549811310024960511708714610981726572171684875593463965226475973635092133239480798760298715959988344273521331752639224033062905335724869946650392838572864914602959015089150693412535163926404469261918156311125526444772161480511574867485020455357186180956149393954239629256288413274054900122915264024362073610588117490762291460624816282100419730754832698987315388702108263913478705844322333034407507728907835600298578253306652111118428932549684469965420809587600222820655018177749710861400064800809722934773248644943458535301959000639373759362355676045616783544040789044157953373156233140931985194028415836926582314505693609991649029589407358500133768576790099809934634120967885951561957900109033197275663102752042163482716872902807314185631543465588832402175866862697717921371441070787437095174424464433918805024928319883385488138277668906492160071183640239954782473205978858633641253362198129721957684242696001648592991729316792730072979832498565555038536667252817224963486217119836762001114922627156992468674044853614413555470610084638972731562736889557751311286857680696027812228846697907352657202766398410636326532794757899244951824953534650373413093695665284423632395436026280841162618975460327653636931783215412395473984084397887754500290906576792458219871208522113925129443504695042904389365194139094127463577713431819557880245421668662257243209806054149674824853813726823044927482044138253978584861261705139195134905760377835359331355170948836269231072287542609538082708201715191906960681110150853582704484089157765306380017808828715240385378790159670139982175618400391112584503159448197690748014029840879673412433485656671613412622956565381887189925192604186963625162178085247380927621357895222816943791078000007656639684910186115002776901219242807726329605761935256705053157497716459336895826187368684271067484500819384734496728244723935516712097542329344709991809120532669676345275462271465597117512005101200129807893368866965783683402603076166096382583918738800332296802891254188865411599448951013588950578438536745243830681885429049647351275705650119373016328424321421103765149023231376108080739062864365103452719695506085425123987048539955220482448317861131209796535542161317598875769771054502936782453462022847216068185929177210916280068232960623893288488374234471823888421778371129032963536294066965502686496367832151955583728898633390437940701310932578269317114488206205138844312914755807280321853164878329663098811601341317931546188629625524325001762470504237637475444063405263397356969750926845816067056348462709090894661934861826644633587110731013822241845845851084006317604702701282541334111637319278159311094689375577237770879231169597477901602174623389724012784778971983012387239359270183250527890151234476105130869560680471733216140140590685608283115920908507760976189971927188336210276887131214141127487768267255233505304780938881887544874182205125216533301976149842991507746406950114996750749987090464441859813306936099500964466644738886931946468567984905346775629654760429406554287079139758057398094026997198555110850397393832306740952910647819820028559045466220437578179101937535547798639896328023118029613216794753449517057570535546810473524026003707775586219856370949331341639523260815123503871122078233055375358578126998163099024387889690159152336336657713180688511909449024035156584362381366249917069908486433575385048295353013210057808901070825743512055113709095562600236606412981658619023981460769284913297663167975250314864344325907764987930803386953796319710187065420177729000963572560027857604764487481647801496658543722648606218263744466497567482480871306182066352812112649277815751735051844369987342373834278984737023217374134327794277153306999118604653823817466506540229646396092037163480667689504359707265998472517064608956386339985842295731742252263681425229687182993160148381705231036029503717688990837303336326449213020494523009766910104367809708492131903767585754394531251
g=10
*** a(t,u0,r):
79817030117881140716599975438364178860484042862319395193933195032184574622402\
98078594314464244903233410524755996218822363289370213965663958466635849291044\
20271196109069940285685664085366099970723408582169807987339428605885021251710\
65173704808080023054092274366849298880065224165379613964302884519372795891419\
92905196529027571233750147656944359364641054477587435405274702339054315691295\
46077807684017777888574663429115749972818196217811384576360195297185800662810\
15266386526334095597686671142727032244890195238533967937055299712670582556209\
99495571752163466491289951201358055944617816485867820775948189930156605966702\
04829793024541653170719543745144272287386706882438143837625817382761799188404\
06610729573882435416900129446889396186009930715733762360781359583582878393037\
21475266063457836178316951193700189410356420935116048677488456829983196520905\
14867098918019642755726139419180884862567056708399912008033927472687125131849\
93863455293289756755284965917375242586805102442229643200057678404734751317680\
01434538361346886908461144887597862790259479771538953933281934124095282076632\
13492589471513980331985575339515949309524806718167832599513741652528600975110\
18684435172806114146124658137683781425291413999473804412682584243296884616459\
06677400695204845908375205461755207706117375520115349646759712370270299831044\
42604773866185572073424279516891094822492578305851436590136675144777540661837\
52533336182836919678445154124768657195900271796950152639843776949423282598332\
24270953557049681887698662899347855578069867668249265562940809283634446859971\
15665466290273857478479706484352539060476309561734745463658116283525974585651\
53944833184353995798077486225251753677272945372828698841760930633663834118806\
84413090813898911073339409285223519669311582202270738530278964364374534256428\
06543643922449706598636764608765975221293180007359405304006921032913688631487\
78746595286568144580195883685619694273011160665829526958119382531984153230100\
75544516613996550242391847518706935113061324986836593675413291488597879120112\
55323321820401435376688970482142707235504949784687580843942445353127177678822\
90382491851867511222832900854359921556681320905317641520395025397752237817547\
59845088627607349618416777735232006481535029093589593349913524409227260515592\
37366086215445909500152571751940754579170215123295020402473783142630068744355\
72365378459829261377600667606032701508644146313880844772017955361328013730937\
79083302218071847100998944561509254061863276726434200127136442455875756991324\
09183094776692653785265109925488863795828054593423481866610940187082318991679\
45722633154641708310862049061150258355217176528598606333964909011524650704649\
39256354186717274759590199703868464798073925197976278087230811840520543900727\
93894298416290788323759683378679335684107902536137029143153845340358113933819\
00366209480999608319419049379699903367287112448266655451803812860985435825873\
41624667907578379922339791633547561539347631447281270059418906805998610711568\
03814869570331655715535158939455788534477267353988014003079053553351665105272\
44736921363640358732544499265842815493044796502111686511885584528872214887710\
77757582957232655755015575843172278351361732053784409610420371352723540535528\
84941414270233000877360864470456946817233854829484457722425889649715006035474\
98703282579675496653080378257807663291493649872011453565989516289330435307769\
95714066056365727589240847564982102520467252218272511903741107898587350967001\
88537457044601003853739843102688181765460720690844131156017039775974257642665\
36916072999173419678585205207107588321781628159671382252953787738084146026233\
64816435069437478854330210027938472961344693599166297709539666512360266264989\
17783891653476175775676431232846467624683363331923295971426928025408254203843\
10417147313244604295166378429184327573459079875441175019540738626745999383652\
66582479210684132843062718252521409088509050220241235258268125406196905379739\
50449491623789552336335587037258833560228970359652034222519913538235555091082\
83621712666715202923877920668966432465887025323648399579469153654398847400026\
30265042453849304071307488947575660773487144029468645957891026884790641422323\
92122288531802364086285501044977319886681578893373380159694424169852280833925\
34058746208455322816299813610735133847414247372780021950665831271971952433574\
05864804330799595167395054565578234559484581557610357660244738995413458339997\
43018700902164467686904265751937426423514854179940896693606181974477045801144\
85767298627186652281897483810322677927324341968361435705806358858113454031544\
86962586247513365720010368661242488294806536193580792904834960508794932106698\
55085278377978753008409522406564304780263291771777266499175965873851615021534\
46872595891214403609320361170431400685896723132394723570456898458079151507384\
40198112823539744954933833908566691594260030062903265204372798855372723697036\
28355750086427171248565477405312072172705413704593126455632575583379292953851\
46294225246218962651508099036482698174439607843296547098660171233900870298268\
15255592813092960374324736171058677333358404608787392022961089427983143795861\
87688003823224461926884616920990922943369974909073929583133520344557949334615\
11788370988185628696765359372816255130937580762942218119470073017263056333224\
89351610583928922070158645692721229705518127867515286846022212754838431841778\
50163767920612346371120063057761937317763649669643361015660640761796537696456\
17548519290652617113604882322179946864021068416040011735407762158735265424214\
67827185138301322985742406778839903732434967591669787701672680315337122649928\
45196390322179514071527907201790408328426443520560254709449094546536617905169\
78193580433771130352479635420313896776131198208541677477603456829581285761757\
67275196683720233078706424464635919317676975238342107584239597866622761156910\
54978019406822268973882992890234580565576769725449521426965855327238658014513\
00653768641597309012145115552356526799329671022146232840843528766983841653880\
70529115722942887269614629955713688777657765511123651640553051434075544409623\
32748059828710566962690577683990577792431815060247749963401701654510906418390\
46955279034090762471961857859491741860621719564100950507491805995234477725731\
44237266423988726548595279032120811810603513016342772900865406952612261426555\
06217741660296893244366538459531247187778173074443616703015501529081336742400\
74655146051764837441773128439241089584161421291019262062813504187379927121517\
32738000204194065578884305469047141232098335854422682672930824389694314460031\
12331002409629221363221745105550895686865486844615962070248899655627460474358\
77997652097212571676831212493139802873825489625122068841495434016489359153095\
89061292469253567867604389824986091230062884928801014618766044034188861960773\
28660601097279454036791856332693993147296251826276880495334344210570429192374\
76542398071721736109191165972187257601114859320785883973541002359894138743448\
80289141445916109794681374599183152540461838522423633279132056361491578829766\
57456431603954179924924960032544315742959472094081061120277483019250077985152\
63771547691026156682423194706607209135373401207939228724079169501271229803540\
25977596996156503632722442475319368607418951558034792767259695590083631354859\
96152254908066588036471671017336312921486607220527294954990436536426512206469\
18178995781459855154957689222038126818202616595799151930866989577895842730259\
91037972276316457262236029523530787444829983806750396818625830712498504024240\
21659966387033027184307187939240171301966324437641557026925483381252823576760\
53890792353784031203719126453516368587506256023272849364019816515246690478571\
44228391335338993123414009451873165174657925897222404410062494288531098973318\
46327198176075435962019250812566104326542976884381494488960000503807609457634\
45143009059637919569956873026479407620497938562080708000378398287647834242437\
78114906409221128541518503173085981390917944981700641184476530495743657003270\
28258852002702742802189347934835090822677386864127940531298580362223049886260\
02128036466165118777437573946496200316393024048545909000530839030315546393246\
93062572501135316325423403195780521157740044847732604337021130163130840948262\
75475479607427907961540275711648051643667350122019644953981981333902406423457\
66478849611282484765733693475872258497960549853082263468455112464132376025565\
31086184079112768170747483872977594428575611109977754028919504542022864519480\
61515880812538919304888045964613440110750592571140672115367321199267324044311\
35302006589691280465814061319012472286865832698216415565785220401860811097383\
46159832112316558511656264411626238372758843098500763214106070879195362544946\
30547853306973087914731638090744334158618205426311885023998120219745467165903\
01359243163669450271661618553079470870038044057505179462683410184454834961801\
92359646366292993117154138597628548173738443407217974204090020574524995857693\
93200146283683623593017294709968383370937906087973078468859745968053205227035\
19596799371398239635286824779225020274637958406043938871951881919410475780088\
42579993554830547940222429498614888607518344374865293725256395627966211974876\
83222978104883337494826518865771345124890587270469392827037550555889848448803\
59135625069644377853958658512669400602017093319720988682195672321503460802754\
45043858628404103153951827091422950716845000634329313625428464340949123964765\
27187072045768668051966651061761759938795057149205641777413212036562765866273\
90215725816781225460401156928570790712156667056944765256986475867724488566440\
79883305963161918022353276945393187870292978107460736314606572427584007533194\
90941506217050800340178963877078721650894470651586547037621224699990624398354\
52253841460651458780342452658372566652009071903108738028452962029324391947602\
58266839957087253483737530423847014903958750630668726010950057925935844472731\
64163565065781401125653991349601778381511167339507921391257226182441495970747\
91853274188904205862852615367361088657103369337239610560483834417113712736246\
94684103531596499506740577299261685309203412795517737209629438888335642927465\
35276120803260263098360377967173385883474178844034004902326195499615574375991\
66588074456447623554762943869899762612193024535219854570209469299704119475244\
27714271714783062837951447269183105567007345429753203870266925115778881912011\
68781787044503285330191413214269542357664400107471254651185250808861006647643\
48828646739895473252253344241157473502676141080734864531993941818978049563858\
67256423676026761802155967351894838342973048412658858374413202569415974671742\
98738364648877242502483663677841661307604639214030108399467852056477481370944\
95663027729892773557595901087743017422856586946515622050628369034410929110372\
70055490798757128634258351984799695779645503309676947778957298230439986333698\
53110437654454580972269230997115052461186150915896264777873489227928350525808\
98859079246065005831984011530646335088184775841866094503213240260314751891503\
20630788293910235653756838941908582960313104508798365797495485314138916003225\
68145016933786537635917138174298303758187655662762224788381203728551658976366\
41766242796905089147811433499716199751547053934998304371184650999086897194519\
86259375500390043525500171467717910131173315334096419671299481381950202292757\
01830446637021662805825984789021831767330349273950935044820067905250192294654\
74067142688855011834485788256918318834178541709488556281006103507367825735785\
65459953009160449170748449352299896631021849096946082737626457384766920635208\
05832687384993367111346002436145995449277776442899102820291650202573254076119\
54035462917576549906765450270619256528047450240971790827405406137462593334285\
33908836786086988225379882027424478844044327027551014245131262264158641991840\
14436759489844926460256421176219803792209465310238799710707586998444882217104\
47714777375655290558172185564763333883982886112530031388190412490544736089560\
32342917065358432160695098506770038948328265807734114601112877356343663263013\
18521805924647656568554647758013504954961107439202764536320621203912123124317\
93608299231906919519016428495714537794537362791935782133252118129212321849340\
35092954167286103543715428249166566784399506562096138013167724516174795603564\
47835997096195289243951245843041583524507247922774554569716799230653717220432\
25901375158935168346202730490711590732599254287442270615485448061689124176097\
96833452655147572694357703808161532363998400277152224459058909618884921117140\
16485527972981046652539586682224235888023679122977218928868920569197166102645\
11250263441901167941283925245173503510114916266833281395620446621602279136067\
59334557134915795148330160797043635974578359429870623156884607249714026683689\
82353570078695090008843418836071264962828207320908225442923910694655035221494\
33639690986251053411467924641083033308294459844638936834372112265614552180247\
26613903931400405395342152334761787931589235427646707263658918861499281168410\
41345480154330006552971841321884426143314383802807339398588139550397363538420\
69523791809650994075662443757767055234269072344002588787583385933009124137484\
87471218322394048332536176083416944878912483095286660182050410636482796572278\
07129606547314998551196321826701514085567950891983733748636388534558754748199\
67860830347880906952059674820407224081495659112715401865403307288441964734515\
56029033048461355086992068779215659558215100141271279010612672338781669353651\
81416542957408771740405434470760879127399549222210935847867217480595377035653\
43239447128413789323307922394730006232050691755745008247442899998333453476540\
97745517931128943209646893319519580020272968334316199813352408989411037662740\
04314366228791709625365512000885086976350511690015131234766419712640379307261\
45995706165435971312467581990142615434258594485186464186238224187756699888864\
93264639274994175759025283228698046365523330022483723486797946986270219844085\
80114329680446919625095963782453068655191447100027382821247116235089486430348\
08436951119492361395897467341440639817119602256567552585225124829596457020157\
64064205562947986011817643311530322089898763142858006117982318921329856975134\
84605402796862737853557707429080258866701324203265397940234192201493968556566\
09692025003428248080208393410844647769959364936624146764697114600035917895853\
91577366828783793731680125921338209484688396587236952312554136227606058549385\
50478018654215744301830779569730781132730257616769280736803733756423656334005\
37480327328040699381570497269858718852407485880095901141411366831769642346856\
10600779119316347492652660605603052769961129263068321755335029830413032107286\
40617999659140182094624858804690442265406358640286637497990109915877193253984\
88024733538044177859222737126181606712514860239011206958398198837516650917381\
50539652415874863029238201711813775354618922282357572096233446262226836478515\
70162301364552046140288696357099971380869541846614076793930784417085353457048\
841038671174076280781170544820213308412348851561546325683594905
1
*** a(t,u0+1l^(t-1),r):
80646297963261723996772442715645884614878682268681155144000033422129349423674\
70006683606043094200929342062675539036680257972896138266605921671484013959003\
10351935808904433171770709945993280230159495944062481317078020071920190303676\
47669016026865270046862064230400979907390577143721220343152784618275370394187\
92831484285173312233581318022211313747650312186445486682212621324395139750425\
80322771919695884671832582010197472050457865788905528831699002521052666124241\
94645777555179125162337961232521598813668275189064190980557172956438588608742\
04685136134004125883407249395657879902483975618188525407386612682677713561161\
29035816848173254762103642900937979012450464876021916760614137563361921777374\
49796295595429265914738052869714221081448994930962165086607659423412310895822\
01698385710870385125624140297011360209425059074701669962449375861983021939304\
16320263582102963719421995413146400549450870284591079925000513732143614743609\
41851647036596663318976238290542777574719960649421639493045290647900826656045\
52098793305360880538678923016300178247820617223710787220900447725384583708597\
14411992998490748958811399498887543588065324190564381509638559747619807219007\
43553883849926177669720758481971405128411324794273532250736429274396073028058\
64149373689440740411319363440578638435531582019025638993739034057234147102016\
31618849438821266328732583719663989314154838859678464502761471769658346279103\
36975240974346913649130298583207812075857677218217167212725270735910797222730\
49977664762837211050168259397003417713945918241425881309049285224243635918256\
57126925680302676776957417720553604401364375115622898663280538270887283412515\
45154649633022608741434135432786836832361495454624321686870135107779822005755\
48666733315861497162413065485589478315226507731644979969554589968160243703248\
09728512950215417836025198526779128210605316942500801722749850082606298383503\
24499806666168852575834282477158600187535951945474509056385557934913858718205\
69835888215180929985169944635784409763586637454232298544768234776791103838243\
59274732956197813926057167578061073024964741470762257008554834395757070433927\
55737115143834965884888307616483141520906581382256006627100428259027585742924\
71635686951011062341725003997416235120304224201055459254847690896595855430040\
08663396202099892975478832237675203977395360215485098536525458811644407120920\
45844499274996318638666648568173301004837851730128957444973986066380772315155\
32632219643714152005944388141369090467700817263851698310275522377495245375649\
53694087969177772266150981197441994848252242173614894665225079825389667760424\
17885985187417206579026849570876494805660991349674955490681427546709322400282\
11352524100345506185663864116376189107664303641591616041383859236266211889306\
93051641776460043267383160608587692418488244380668322952433365811426769663001\
53876507761321682172088338204424058207466718811365529794160216111489180613674\
69849339781942830622831633624545458282613580864915361176919362980606388485194\
71906452630802633956735524227138446077692615586237240122591563200659214872599\
95331590676509349472622883673799623965699807374860898839281798394107250886544\
13630389013931176853768984423361081243323931867330221658320842743401187709923\
95434312080832824263099678646773382628321998775764815724736807983738019085194\
20767732268814982332592901668278392260755921558993390745895900874154647622655\
87877329080327968914843349877345552936264314578981836702741015513118128639386\
32054729325583871426246231082975851186400572334385368882313320708711652527264\
48987928303060935727193882663804810018631307413278357652984476441856448842090\
62113229200029037076193381041215755797306716389806986516911507203397775524885\
16929698320005798381138004544356560794809943730177044501000194810087820481285\
62992909882732859924207068075201827080715797588432771643120382664426477299326\
97923595877808123833639993247352800351766287105646339001211170864962587513554\
97986629199101651581388424305178405856958621999752315097559081471100340079042\
13841159032083672564645483481111538257740397015322668666009092913145848411974\
62787276661162024113606787534043979326977919551852735786024959631645609125413\
00092390230834076959909246510379681651738010881875960732782158446941655180251\
83763252662569144352053577907989524848426343449380333867036385363109323367948\
85406256843327383169134223963662164269193512275092023713857671348612559205867\
53335778314135007610924050331178334749992930587005217698215077371614469653624\
28476569262274305812099016109650705749945893573227528544308243105989957450054\
42671288442292725363854632231748903757609720985202411532417661397197996336378\
53579670880607103689016374587411726128629663634341186151115456428385138294485\
47619324160214033776689923364409908744970974801302720698461645455046207626941\
64252119190537560486933146468655696182252342063556805622080568194129842904278\
21897108528883557443355768079652976818655599821004483613613173771258558335190\
17944035378647211614121170195303297635992227145564563172412484701266074145522\
88660845725436783339252785378030715539419271150177390901121724123338812822312\
38988658408400819972878223330559659805119273349687684695685556919566343613416\
31391367050400544319588895574092268171259010173466293112919112736922932243180\
47682536408177534247510943310307943780380653871333627488578287692551038925848\
92762872002904422697053777998621801601584570705172123208031140925555462763432\
34354218192373683265434543437215582675595313282700167701489920726618229220829\
89570844204673284782996873342775902732252473748466356924547201669262703144992\
64367261909942418113829495848042776207163341635059582031105708515851284065223\
49395591659057064174323579684421054145233860008110941659188947290148364055386\
32389744181732910824978699004528240557341151604454752857842087195107153480618\
71133635192867175664520738270912342441582762138181464506726539538430747967910\
54426794809302216118764805064588802402439589682116583311917227767160297151583\
36196950691492943241246989747461363466256807230719741527727628591832173442450\
58283104606151715710354895374213856522742794956977596716268212840531798952607\
51339229985094302861280942096992954763069737429701999343933279304275874896907\
87294276984237960071178087125961028037207185878850230281653618972899142064753\
03684938976248029797554762235734169236482361885606667266163714531980883098165\
94911303413341614973635706397051386618802059434302579071258319815300757533169\
45545667738783094831651934616777501141003253629533567687714521266470359285589\
88822753084014979507255217781972203694001751643001582455394342768932680842923\
54652173157962832161785303012549047579008092114733726699588893071206131715725\
45830760442960098442852227641349583086998603213775570614805171764414200786339\
76231100848939500312498784710176528141034394702394042890091064669901031054113\
72402578830908455445390554709560631706061507209833010040798571215581350574549\
56967470188211342104236505763849990488934169312266995702811350453559023804621\
29222212711527729846222881695220100841587622453500085131916729596073455418764\
61317226108595259608993825300961569749766891090619116814718953080505216606693\
92481260341571116657478000319218790618924603002793595808997458661149435316988\
37670719894124422717370077988945001886904649892948357759717609903038735709913\
01744491841526970533191015863306055408521604820171091171707166092990864472911\
96139665494771693181843676583515522898802243378768582759598566616004981988128\
42664225778067136557650639242505004250558182353876793983049384507291813951584\
02502644741875293865575948546539915274129697644293865980788853569950552197829\
32739855141420437207813116043580938319329696555894844975361844878541811689924\
36938389845437258673312957314514843072792774046816626899234909599951065140311\
17300339023893897955099282096884388478892722339349078992590121906220798754047\
52432983358927322084807007102157004574200209345146881612367195747647487205901\
66214788127406147922212094406885325532523385688690308744610773404947445209753\
63189106974904496634865496792693563436563341181517814548588302292968175446683\
26237248579069189741791438553658760338599681677319436589873297749241291243829\
12103796278673912200101733121639200232172984928482186719737638282826067788896\
18598110386464640451611446135361840404432867254153248023971529217006478633623\
13227339238376277450443561627502036968093279796834665759090096797004920254747\
94622539314487375609354415273336696631381767558892782994488020640298672865550\
95149300164649111951173168449599614856080023167808274428806365548893131212680\
95210843355041925353335810015902874615592701208615056857888991096122067610348\
34501597237435145970988590174804015552473978989182657855416282507742822668925\
38256482053681600404354206797786790047908569190570168340217783277280339740625\
83968577757111621617072623154487026596322738923137121988028618190883697113358\
28454173777540076825152539330331691250116481735640331232172574497591420346277\
12008194689542636930198895686022163342426404727145694081011122251040714489491\
94191214267088527659081883311587510826817236264474283789934384153971055735654\
77334385669609398144123417763078060398915424540811931973292486146080911809310\
64165605589848475286207579640073758010869218964601206746426276709259340914990\
86031327289478431498408469450814357997020013627932735065692656178257686291671\
92404600067023407460298772111754089912185135665041544549126596057721859537611\
81282902188903627802846883234322175550724528532861074506409711980635911824273\
94998976674467496391416687614955714497516801256629159549044043309948516702370\
96042197190734445019037966099178240836877789827187446227622484177393124392103\
66043491761541344066371984634043969941900075247556621020956369427031658357447\
80430651281316731442010128142536334539324555832026323164310578008283229869850\
93141887819711597500985461389597641014046348298879432262854703857064264760054\
39041360154503210599090045137411593474320027719964177942930419709759050011428\
73330172139716982618498920959513754766961370331055583829989225266396272983854\
60317950629787642455226459816182979503042741741114877680532181946364827096781\
18968210294956170292994247182833786119852172842079281630679178071649097339922\
13976238174157432321982111656395397572898330836815574819568399662436324840967\
65340558857952670112842752572339875265276497770925501452756006661420601521904\
71933359952777504143185846518987681019587062027028213773884787967746652676210\
45098048857076390496204341038667771728354586577985184175705807271435880902098\
75868113891982460606405571871897159087423908192877174460761024545375948709863\
86527059186826724451700793566576711110366785252453446695310222219184029672558\
39095028365497462438250646550875536774758703344063201781855555874392609568334\
35999896746968394800552547682799364694549123912425057139202044960166567154648\
56249822926543603295173455806289413894295786499963404575973897301980359703362\
97987991289171640699510156749097243562498175724474192974612321525194904740921\
53268601525306397767199394155329974446584410526790923227741008442614533355341\
65317060903885921242853630211401562865848841508348936104911244775700787035501\
88714018362731758263427445976473420885782908220684434421131164305399035563331\
11719594134549160601211189825790889759718197058615360343987029649720324162651\
15356151963544414554844082160886301367520656428548177644964608478872946003170\
44062134339125752538756225449466648803811686490161106973861537461491771758690\
73945234786395895600814532331586473324075467626721431161281693321561028144442\
86025441753083838736965610792911404647819371801916952290547280486942724174122\
06988409116332047843305906775761356546320112243421674133392366287682368142404\
71729608939090068553349994383245464091349303910864657370039613876350803071308\
16002723114623137732802545934267368521738552461751122623392390802134811269711\
59951674645258260027299722906840377015323884153788495012553011147058922102109\
42610344168020619234201968773681177733713950113895780271762913372264456871064\
09645788055095562838694521259306377148246841885877972077493698577308034284138\
69223790054738426697416367763443622023717942993910123862655181394264923350095\
01839487975116798742589700345306950626060569979115069422389181560322846749995\
19157493342404624640708732885420282584366519267052060440061920249343037154550\
93423930085330924098974407224350223609338643396914844972919261926613595622253\
30942520471401628955423114855546046131016132932047112112545480782903110685529\
73704811633505335919894667325642838611518707604670510293237282430657887230987\
77613357728525309903118006623506426997690861865505642618254836935425341246637\
25027373404188026008935298512290187196208240643722856356616626649924178444574\
79703479983510804615742916065925454433575441245622198515768186159283274800301\
78318983452765604412436616255122949364644708003518361365099531005514858115614\
67749069558530837789885834478475433168179987790368974093638405935336556925832\
85830532503777238169955040576029570093845893874849368930831005527118309842809\
39289101110159181302224863627140757293238846556016911196928856461277423030171\
86943940121832556977702257637888023322820604927225123190180662701151572979349\
80513929883962786504808346766593273162861847778821535910758146844685517614874\
16351412612601213321662116247051666410767984298583188402930726077366413970313\
13171520027096135602643413010716836313138765318026114402130772986887277056803\
07844532293384322199394238471558369933162906735025475865598150907407047798375\
16942873961582230931305562341021082150353726446880523967257369082807515976119\
16047502501298636478616062774920256711169737785495807922919837060304175455908\
33226830385336604780649063361468772477731411051266323554406933010486639627970\
02285570592136972390287883573931272821269026957782255678868575006906793556751\
62764868170633381127694363406166866771089540056910784201208125234934572003650\
40212919442811762553257441028104958152881883838453968715980710542111744885302\
13560976529835757295057307138143624137586023019666920467260057299733284060590\
79250653735011961103984281012759014802978740558623999477275586406184814983127\
82260253834632697410911857238489786967569332364537124912901759946529797562304\
34606742068563365614606672684157307765048795512818634933983270110490277339508\
99054413653220583203667982474351360676966416137462987549653642678568317698514\
52155447611968394959560840098636471775549381837291702711711744668982833436174\
09152475525750803051017883053453474097441244891775525098247601568910829843466\
00520524330923456713789792402661252055176814314471433731735461707210982274805\
50237977522855026460357518810609467561476053592143790926797141163101239498341\
31324479973442394073697819391936515877783794202174274143986521028587634779591\
18943208391716223243044942553017893161450004619046430838543052307132993492966\
231594917108352397984091797233929810317931696772575378417969917
1
*** a(t,u0+2l^(t-1),r):
80646297963261723996772442715645884614878682268681155144000033422129349423674\
70006683606043094200929342062675539036680257972896138266605921671484013959003\
10351935808904433171770709945993280230159495944062481317078020071920190303676\
47669016026865270046862064230400979907390577143721220343152784618275370394187\
92831484285173312233581318022211313747650312186445486682212621324395139750425\
80322771919695884671832582010197472050457865788905528831699002521052666124241\
94645777555179125162337961232521598813668275189064190980557172956438588608742\
04685136134004125883407249395657879902483975618188525407386612682677713561161\
29035816848173254762103642900937979012450464876021916760614137563361921777374\
49796295595429265914738052869714221081448994930962165086607659423412310895822\
01698385710870385125624140297011360209425059074701669962449375861983021939304\
16320263582102963719421995413146400549450870284591079925000513732143614743609\
41851647036596663318976238290542777574719960649421639493045290647900826656045\
52098793305360880538678923016300178247820617223710787220900447725384583708597\
14411992998490748958811399498887543588065324190564381509638559747619807219007\
43553883849926177669720758481971405128411324794273532250736429274396073028058\
64149373689440740411319363440578638435531582019025638993739034057234147102016\
31618849438821266328732583719663989314154838859678464502761471769658346279103\
36975240974346913649130298583207812075857677218217167212725270735910797222730\
49977664762837211050168259397003417713945918241425881309049285224243635918256\
57126925680302676776957417720553604401364375115622898663280538270887283412515\
45154649633022608741434135432786836832361495454624321686870135107779822005755\
48666733315861497162413065485589478315226507731644979969554589968160243703248\
09728512950215417836025198526779128210605316942500801722749850082606298383503\
24499806666168852575834282477158600187535951945474509056385557934913858718205\
69835888215180929985169944635784409763586637454232298544768234776791103838243\
59274732956197813926057167578061073024964741470762257008554834395757070433927\
55737115143834965884888307616483141520906581382256006627100428259027585742924\
71635686951011062341725003997416235120304224201055459254847690896595855430040\
08663396202099892975478832237675203977395360215485098536525458811644407120920\
45844499274996318638666648568173301004837851730128957444973986066380772315155\
32632219643714152005944388141369090467700817263851698310275522377495245375649\
53694087969177772266150981197441994848252242173614894665225079825389667760424\
17885985187417206579026849570876494805660991349674955490681427546709322400282\
11352524100345506185663864116376189107664303641591616041383859236266211889306\
93051641776460043267383160608587692418488244380668322952433365811426769663001\
53876507761321682172088338204424058207466718811365529794160216111489180613674\
69849339781942830622831633624545458282613580864915361176919362980606388485194\
71906452630802633956735524227138446077692615586237240122591563200659214872599\
95331590676509349472622883673799623965699807374860898839281798394107250886544\
13630389013931176853768984423361081243323931867330221658320842743401187709923\
95434312080832824263099678646773382628321998775764815724736807983738019085194\
20767732268814982332592901668278392260755921558993390745895900874154647622655\
87877329080327968914843349877345552936264314578981836702741015513118128639386\
32054729325583871426246231082975851186400572334385368882313320708711652527264\
48987928303060935727193882663804810018631307413278357652984476441856448842090\
62113229200029037076193381041215755797306716389806986516911507203397775524885\
16929698320005798381138004544356560794809943730177044501000194810087820481285\
62992909882732859924207068075201827080715797588432771643120382664426477299326\
97923595877808123833639993247352800351766287105646339001211170864962587513554\
97986629199101651581388424305178405856958621999752315097559081471100340079042\
13841159032083672564645483481111538257740397015322668666009092913145848411974\
62787276661162024113606787534043979326977919551852735786024959631645609125413\
00092390230834076959909246510379681651738010881875960732782158446941655180251\
83763252662569144352053577907989524848426343449380333867036385363109323367948\
85406256843327383169134223963662164269193512275092023713857671348612559205867\
53335778314135007610924050331178334749992930587005217698215077371614469653624\
28476569262274305812099016109650705749945893573227528544308243105989957450054\
42671288442292725363854632231748903757609720985202411532417661397197996336378\
53579670880607103689016374587411726128629663634341186151115456428385138294485\
47619324160214033776689923364409908744970974801302720698461645455046207626941\
64252119190537560486933146468655696182252342063556805622080568194129842904278\
21897108528883557443355768079652976818655599821004483613613173771258558335190\
17944035378647211614121170195303297635992227145564563172412484701266074145522\
88660845725436783339252785378030715539419271150177390901121724123338812822312\
38988658408400819972878223330559659805119273349687684695685556919566343613416\
31391367050400544319588895574092268171259010173466293112919112736922932243180\
47682536408177534247510943310307943780380653871333627488578287692551038925848\
92762872002904422697053777998621801601584570705172123208031140925555462763432\
34354218192373683265434543437215582675595313282700167701489920726618229220829\
89570844204673284782996873342775902732252473748466356924547201669262703144992\
64367261909942418113829495848042776207163341635059582031105708515851284065223\
49395591659057064174323579684421054145233860008110941659188947290148364055386\
32389744181732910824978699004528240557341151604454752857842087195107153480618\
71133635192867175664520738270912342441582762138181464506726539538430747967910\
54426794809302216118764805064588802402439589682116583311917227767160297151583\
36196950691492943241246989747461363466256807230719741527727628591832173442450\
58283104606151715710354895374213856522742794956977596716268212840531798952607\
51339229985094302861280942096992954763069737429701999343933279304275874896907\
87294276984237960071178087125961028037207185878850230281653618972899142064753\
03684938976248029797554762235734169236482361885606667266163714531980883098165\
94911303413341614973635706397051386618802059434302579071258319815300757533169\
45545667738783094831651934616777501141003253629533567687714521266470359285589\
88822753084014979507255217781972203694001751643001582455394342768932680842923\
54652173157962832161785303012549047579008092114733726699588893071206131715725\
45830760442960098442852227641349583086998603213775570614805171764414200786339\
76231100848939500312498784710176528141034394702394042890091064669901031054113\
72402578830908455445390554709560631706061507209833010040798571215581350574549\
56967470188211342104236505763849990488934169312266995702811350453559023804621\
29222212711527729846222881695220100841587622453500085131916729596073455418764\
61317226108595259608993825300961569749766891090619116814718953080505216606693\
92481260341571116657478000319218790618924603002793595808997458661149435316988\
37670719894124422717370077988945001886904649892948357759717609903038735709913\
01744491841526970533191015863306055408521604820171091171707166092990864472911\
96139665494771693181843676583515522898802243378768582759598566616004981988128\
42664225778067136557650639242505004250558182353876793983049384507291813951584\
02502644741875293865575948546539915274129697644293865980788853569950552197829\
32739855141420437207813116043580938319329696555894844975361844878541811689924\
36938389845437258673312957314514843072792774046816626899234909599951065140311\
17300339023893897955099282096884388478892722339349078992590121906220798754047\
52432983358927322084807007102157004574200209345146881612367195747647487205901\
66214788127406147922212094406885325532523385688690308744610773404947445209753\
63189106974904496634865496792693563436563341181517814548588302292968175446683\
26237248579069189741791438553658760338599681677319436589873297749241291243829\
12103796278673912200101733121639200232172984928482186719737638282826067788896\
18598110386464640451611446135361840404432867254153248023971529217006478633623\
13227339238376277450443561627502036968093279796834665759090096797004920254747\
94622539314487375609354415273336696631381767558892782994488020640298672865550\
95149300164649111951173168449599614856080023167808274428806365548893131212680\
95210843355041925353335810015902874615592701208615056857888991096122067610348\
34501597237435145970988590174804015552473978989182657855416282507742822668925\
38256482053681600404354206797786790047908569190570168340217783277280339740625\
83968577757111621617072623154487026596322738923137121988028618190883697113358\
28454173777540076825152539330331691250116481735640331232172574497591420346277\
12008194689542636930198895686022163342426404727145694081011122251040714489491\
94191214267088527659081883311587510826817236264474283789934384153971055735654\
77334385669609398144123417763078060398915424540811931973292486146080911809310\
64165605589848475286207579640073758010869218964601206746426276709259340914990\
86031327289478431498408469450814357997020013627932735065692656178257686291671\
92404600067023407460298772111754089912185135665041544549126596057721859537611\
81282902188903627802846883234322175550724528532861074506409711980635911824273\
94998976674467496391416687614955714497516801256629159549044043309948516702370\
96042197190734445019037966099178240836877789827187446227622484177393124392103\
66043491761541344066371984634043969941900075247556621020956369427031658357447\
80430651281316731442010128142536334539324555832026323164310578008283229869850\
93141887819711597500985461389597641014046348298879432262854703857064264760054\
39041360154503210599090045137411593474320027719964177942930419709759050011428\
73330172139716982618498920959513754766961370331055583829989225266396272983854\
60317950629787642455226459816182979503042741741114877680532181946364827096781\
18968210294956170292994247182833786119852172842079281630679178071649097339922\
13976238174157432321982111656395397572898330836815574819568399662436324840967\
65340558857952670112842752572339875265276497770925501452756006661420601521904\
71933359952777504143185846518987681019587062027028213773884787967746652676210\
45098048857076390496204341038667771728354586577985184175705807271435880902098\
75868113891982460606405571871897159087423908192877174460761024545375948709863\
86527059186826724451700793566576711110366785252453446695310222219184029672558\
39095028365497462438250646550875536774758703344063201781855555874392609568334\
35999896746968394800552547682799364694549123912425057139202044960166567154648\
56249822926543603295173455806289413894295786499963404575973897301980359703362\
97987991289171640699510156749097243562498175724474192974612321525194904740921\
53268601525306397767199394155329974446584410526790923227741008442614533355341\
65317060903885921242853630211401562865848841508348936104911244775700787035501\
88714018362731758263427445976473420885782908220684434421131164305399035563331\
11719594134549160601211189825790889759718197058615360343987029649720324162651\
15356151963544414554844082160886301367520656428548177644964608478872946003170\
44062134339125752538756225449466648803811686490161106973861537461491771758690\
73945234786395895600814532331586473324075467626721431161281693321561028144442\
86025441753083838736965610792911404647819371801916952290547280486942724174122\
06988409116332047843305906775761356546320112243421674133392366287682368142404\
71729608939090068553349994383245464091349303910864657370039613876350803071308\
16002723114623137732802545934267368521738552461751122623392390802134811269711\
59951674645258260027299722906840377015323884153788495012553011147058922102109\
42610344168020619234201968773681177733713950113895780271762913372264456871064\
09645788055095562838694521259306377148246841885877972077493698577308034284138\
69223790054738426697416367763443622023717942993910123862655181394264923350095\
01839487975116798742589700345306950626060569979115069422389181560322846749995\
19157493342404624640708732885420282584366519267052060440061920249343037154550\
93423930085330924098974407224350223609338643396914844972919261926613595622253\
30942520471401628955423114855546046131016132932047112112545480782903110685529\
73704811633505335919894667325642838611518707604670510293237282430657887230987\
77613357728525309903118006623506426997690861865505642618254836935425341246637\
25027373404188026008935298512290187196208240643722856356616626649924178444574\
79703479983510804615742916065925454433575441245622198515768186159283274800301\
78318983452765604412436616255122949364644708003518361365099531005514858115614\
67749069558530837789885834478475433168179987790368974093638405935336556925832\
85830532503777238169955040576029570093845893874849368930831005527118309842809\
39289101110159181302224863627140757293238846556016911196928856461277423030171\
86943940121832556977702257637888023322820604927225123190180662701151572979349\
80513929883962786504808346766593273162861847778821535910758146844685517614874\
16351412612601213321662116247051666410767984298583188402930726077366413970313\
13171520027096135602643413010716836313138765318026114402130772986887277056803\
07844532293384322199394238471558369933162906735025475865598150907407047798375\
16942873961582230931305562341021082150353726446880523967257369082807515976119\
16047502501298636478616062774920256711169737785495807922919837060304175455908\
33226830385336604780649063361468772477731411051266323554406933010486639627970\
02285570592136972390287883573931272821269026957782255678868575006906793556751\
62764868170633381127694363406166866771089540056910784201208125234934572003650\
40212919442811762553257441028104958152881883838453968715980710542111744885302\
13560976529835757295057307138143624137586023019666920467260057299733284060590\
79250653735011961103984281012759014802978740558623999477275586406184814983127\
82260253834632697410911857238489786967569332364537124912901759946529797562304\
34606742068563365614606672684157307765048795512818634933983270110490277339508\
99054413653220583203667982474351360676966416137462987549653642678568317698514\
52155447611968394959560840098636471775549381837291702711711744668982833436174\
09152475525750803051017883053453474097441244891775525098247601568910829843466\
00520524330923456713789792402661252055176814314471433731735461707210982274805\
50237977522855026460357518810609467561476053592143790926797141163101239498341\
31324479973442394073697819391936515877783794202174274143986521028587634779591\
18943208391716223243044942553017893161450004619046430838543052307132993492966\
231594917108352397984091797233929810317931696772575378417969917
1
*** a(t,u0+3l^(t-1),r):
79609713156535994896556858619043752421885383010728955206416485434698380922085\
05096571991569532578809427640276110514357889618488732890428467665423808124054\
47751011184111317064164402620209304905864386741696639654904780739376228988719\
19549877003383711305899826900961378623233885920794212369590409494647152265727\
92923624589991135983792355065627620768888740050372922586040222592719109676512\
87516566625098251192760183783845319453408278825037848512525493491219084297452\
20421538769122838206523848620278390602695675250901412176179831401728581043076\
98198180656703301643260626652783099955151276702787644618088584242026329068087\
23778287068633752772873518956195845606120767384042200606878737337611768541161\
45814338068495727792440648591183189962150164661926661679324784623625520267341\
01419486151604698941490153917872396710589261400219643356248227071983240166305\
39503807751998812514802175420689505940846103314352120028792280907823002728910\
06866407357463030114362147824083358839826387890431644126810775343943232483088\
63768474625343388500906700355422283925869195408495995611377305723772956668640\
88262738589769788175279119299673050739889677350068695371982537128755799414135\
87467073003526098265225633051611875499511436300773872453169122985522087513559\
17309407446645872282639165967049350023763823895387777310014881948529338013301\
45351254973026648509597203466197871199577013167394679611980475988557339257521\
06422859984959421185773868010158868475910920441633398996623403502801403942232\
67844275755602799597081263774933965044100855024955111626413690298482149595399\
80300101442766652653860278675302272725254293173262707163752510786685647378935\
56142379072186842562238323923367982888500807852379793130483629515134837147069\
68349680188408264551070995235132030007832850819927178170460057963428106894723\
05747426665508278789289656129262686973965145773574056199321188770490536193483\
92308292441667967581286283987734967794379962845918281433552838681251726858074\
51971673713700455306697323239437566450429996869987667458074555666549572940579\
79335469036452340739346921208163115788140001863168911802789348092469704490046\
74043836028875647557319049163829116565625005786083050243718674682433400836203\
31897439046756421437589721169685949321842730316723126873679982787385111786980\
44541758718782413631321006630507142229613928850247500868960864225376484150214\
53995598256037497062334172365497551634595719959818816603778947685064824084883\
40696072861661270874762583666544294960403891592079825581351672475470884895242\
73055346478571374165043642107500581032722007698375628666957405277505481799493\
27681795146447833743820848933718699242606222823329519044785779377728482780741\
21232311708310216903071783600741533720676330587072443598692549991584126903583\
19104962576248474587853814071202246500512817075004205690833965222590950001523\
36988634910919089856251727173518864657242210857491936866214712048359499628923\
09568499938987267247216831135798087353531144092872747280043792762346666268161\
36791973805213911155235067617535124148673430295925707473200926141524777663440\
57088254035423111047524903163853613374881043783924383430036531062563455888002\
43789381443058025480327223698125077628371182100397956598445253505054128741930\
07318189817583045030926160926377837864461818842914368221848160066209252773045\
18187170157390625233202247405189981049178081950265969271012920143124382229048\
47673250300375167257840221986891239916517986628095180703991130994954656548905\
77658138974355286960613246107616264410225757779958821724442969542789908921515\
58898109173201540666433035842933282897569208346269638402946115562141070322269\
40492236536789589298864417274619152252354187901506125507696706339600888950015\
17997439986843770124311037904968944332151718232359858839033611329238362634482\
47273206670872540387906206017679952696644900447193275863645827617325879904734\
08747200043903135095418399503813561272694740998889959322532364041505484846285\
63565207229961527525072377720278940486046557449626964003760121555019358844093\
01066851075373085513686029965930156017923682400729832307834168839712097147039\
22134483902021124060732664300958581135114450148872623500857543698076899496551\
65129763107044435867879564678626729445417470896247735016422490600579937247343\
71632619594926867432361372536421536097161223353629943971573192749187609699980\
35979441202667648166960262216057252132057348878239941146841505907113683123529\
90439431549171832705899319607127199341895335078174816442453958125192689838025\
00089980968414738899347100735490670971668954067144912496180887796144328176917\
48035410698818525809049302768615884429105739995675388247939285286694166049278\
55461680252321665338257809361352449443171698806136286586191093235218234203296\
71685913823964496067477970621936773671128160215167724288455711708837387477495\
09184611231790291071934005768544440447261952062739880099945856520683443895225\
79970410475813074699867904736726846011217867175490287166137426036409476608516\
78381772713111900410854831246777548309051453017729543080222092867059569336454\
46904279585007004633092723869315667781843187973439892303420930754144226539249\
24862840176930372415386215318598738727932650298920490804995511200805850764914\
81887621972631899791059475322497251870857223410311199371107813087348087355735\
99768879127866769025820571288324551186802496366560701685383194020410280070760\
89513991900039327289636634322546971246808419410761170467568015720856806429712\
13347094565222350575647467043421037911127507199374972743887222516764524475060\
87391270371708332536428790137855903982480591052470645395954049976855727526162\
40403672425238788060952510040227316358742218991935422879034941054207951365156\
35393077627449646897018649354287107433855532758649361432207084214439516188350\
50996559809217063642138355829662839007760931146813946265838975534501663075983\
50939115460311042301223556545065140096575271622266535657025684274440635526163\
62210512099671082235490193174298457898552191357153645223075104016939727779455\
04112156980805373276706540007776770105508005081224629168759407144636387151416\
51364298634350279775774498261434758109854070086065288275185073858005683284836\
20859291296339877374632086800116438635009715097700688298381437667974128432937\
33473013783926418167949577008660757753952594800715908555668353947540541267005\
56850942331309109106069482515480516675602125871652854062228448278356450153459\
44591106711370643058807483949788515325501261755198432810702300280399719518604\
29536083320546808265692398182114551254872106410644961419234900170500303253641\
43208064741032781827213376936445568685081420645019556973962538877301155382217\
58834021832025006555592689863287491697529839002719154376972069252810166012438\
49868925475826935223792430370895218265828955357557375619756262101632527254381\
66767976159364442467865124238323359398861716107247589896645164095737778726940\
02577352881925056275141318787843914074878197348524102456726610145972335785673\
61119559260342301717292591808016443053343755824962792673212232838474717586052\
89514986327060792444600479616875369468302434504226305117367671375044233626749\
64385128086633880950780537058018618981775028737269256701419223606462733102751\
84351681159802850376533553014344513104542538696845092006825254822317180364327\
85772638661552129366247069274434140680132096552422029253808643194773456330608\
22287621766443076310399357561721144670622869539706167120656945449122087294596\
89762548971702648282334117758534603581336918913745850333382646736621884533268\
16408901539274499840971325113423963064818359958582747787894508099743075983054\
66737829256761215538254920930260481915850395618017595209827557251570725048756\
97100525383818632102314232803946221888489983232554294268737656641028420794166\
98674400258734980284195824187078919639980527593772711386391273229771745536965\
27103676568573924973671270758878162405899242617763615252325467383004593114535\
34535387171794580155696377190818225595097378890839081077503864182767699452612\
43769867971526891522183661316822532145215887157987348477970532101541951055386\
61862768838980274313080593234946859536350444765302932613516473214652389129887\
84768903481651847971331394356310961362525135640335896273808088266603228374371\
16318400439616406901899911359150264496540941420404009512543067096671491082098\
03449034417486945844264255310999863021342470502814517329576008275913850373550\
85550895289296890850823464434346483793696193938263526096376856478277350585663\
78239216187051805228771453637432625980592798824202644395587146339009486839001\
45340183195951822594474284536365686644562285080818450850029934115102731068559\
08897079301635216801236378010557079312050378570972189803160340824963686278595\
79559417324357573400667400069729413810154262035594191816143579647746128290147\
42134933441166412738488471491902641075570412774238932243299816911248458767095\
94457413518588335992174517458413928568092369528238187258105371170435320543777\
84386639410219510284983483554877556401143262176056265278031538835668651447224\
71493950541862140311558807052525734507690846825768500069687071836502916102737\
54677188376766053010507566045371733052693621402463046209086898496465001034682\
34695126213701822332502294141444666306384377952883758040473816658342082608676\
82878129939593353495896428230818311249804061908500934166138021224564490774695\
34796991463135521067837666501575098896801247385928458265362416381621983383038\
60882690040454983199883620799263677445447537520246666084484866031272992448439\
42448931723750624874789725352132944502514701687965687944630666839496632751982\
51104388285335523430087424278002556213487022320168630505997204706992880240900\
89666333473629889170464213321553841854398640857686322240120909830639999399917\
23806428885428987458835069664454715829536321066996767280327110179897575345141\
27725887126029883994169380994174684995117299330329326722609927905348998123451\
81918984377298852031821123839602812723377372099665043673357856763785803773421\
30056252697504454678793257924848462452799204741558468714872188093952378417451\
50022586379566378728800991384198667944763923411633275554539492293820485413368\
04015663346628418259143857504920987478582038119763786707774698887928261195794\
28493040496820486870205118041666256735278237458504997805092042106717875009074\
81148780099939470466943781172380032565534599077987611132941556479114521179772\
69642094091140939134528578374751959130761375691607692950792561845721107929078\
18052468436674965529520218671699921623448410844161527221521230281785898785770\
72796017380764354628643873930201604996627663871327276924090051393910998114154\
04455927338100937976503186629327786862649821969318341884144558934252864536215\
22947019865659285834069677968034594000979037370031165889457905738217653969826\
27795606407072045183260278343280735530867203301080384278232733819451830525039\
57388072881326127515198401825693974402845407666764066687541350294868796368599\
09511393325945356466186650461735565386657023177341766985023075999898349938538\
26291487545094884392318509490111417809766836704879409003216276261374918818801\
71864120785906572603096574179040386086088466946755050178541252550035940381622\
60878538270159881124050884321794858972971607041660646437753002554933424734274\
35645714784804614841018352840529032442520917112449415983841560651087993975113\
49358159762639788356979683529829567269233387327784828720028327469132659327655\
63744890370182661154396214780926323200843013029723650940016477264491545668939\
45809407676669123328746505328008208587824389748642326678567687365585707854337\
38804550534642734988978869962285875980578353646943520735044139422826310559038\
71037968208699727699215410140046219498104469850735500461619937550092560624326\
15638943703525723320898375840340259418475380723583349273065986258277710454199\
00113547127533640936983027874463388717424505660082335295874580278968402003553\
55642790940913328764514595472387325224543969525224758579389917912647217294522\
50440727670383475194043942406752454431579361221220519498252843908664848553239\
12499671363804415902142817504096586760272896770529510602460048161824039687631\
39598927026109758689096905304816577956109993018450234647191723017188393740640\
76560245195423022755290193370597302974569897454142641550795860296652263666931\
84335124376464911869291632217475241749118917408689425856548703648236434838041\
52587345613067804272576229892034417769657438042539823159341330014775645931484\
72685833297601734843203527954114359552663339497211569330593821541952752490861\
87871279848375901076818704638893783327275565670709745632949780515770679956923\
95636626394000125946631239725056169734763968432373974171216237669338377112337\
54764856986513416459633199340427938218800233820961868291542049828286198042952\
96685119247321856008820448917016534404483198990204567714500731705837749415724\
22123743736936115610399176784872428026974214494393121414023093792197371525233\
63687634051059105641068536354671497573325367283678793738298765825495386931609\
34744582803279798743743343032736674387097982805916930724825572954162565191567\
65447106636119433052089294553201426519374866961290893751771481034481827711153\
74516747625452765090114004197485991775330892230104097428330799180284139957804\
62176023153685608944569837873904886776254787383173386388250319992910550190412\
14697555463860437063872506833860711811154111946188868354064597399381076514425\
90948438157426390528324556912256657845076879101943301662533158904135483199486\
48477798689986930774845939835771889830964745198257141209301328604022402030366\
02088175837171156104286343375522915306772638010924891342904087271065054896082\
42946178923515621279232226064144204487752778806175118774876168966061918084395\
26381082160664977912052874307376294542645705166144962062728065375724430270099\
74187925110460812945422211647311076173390390343666499344196046982074214954088\
66009406445708476601209633142389739751586905788659090438780289981111076415919\
34451695057900304249446363876524619126216923860806532476256863985128215037022\
50492959038662511106557473919774560233179031861095948552536228401467635053871\
51690012821226043191007727354876996577976948173655777530662884326729000203770\
85944090062325432040951064033160569882631970114425747555973843650321256949925\
66549967795627135747532527453933362970556873079645902227645953263412447979241\
30820023018838900760948489230633434914598296855841531657196852756885003851854\
63333919904464534576371478843575636246671217986595854033591256525887490992878\
08811547257058775487072911562664280621622011890796950748836272372466344574526\
60962855017707733603061354993640447438091100355891520919606886895788582673241\
50642368491194363439833625405197739817963744721740438439553771968043745998779\
72471422541841465708939041705074641500274561900728060966298463256120503772141\
55343445526482980268123297291783090223827704302403396584295177570636636903246\
82967074607761001864599634808120490935724426153505988282777717444573443448069\
493399609690507251480440231716784182935953140258789062500001152
0
result=O: not congruent.

code version 3.3a
start=Thu 18 Apr 2024 16:06:05
end  =Fri 19 Apr 2024 21:35:11
elapsed(sec)=106146.206439