n61-L5-f25111-r2-t25109-ver3.3a.txt
p=8358699501247723555472433776190782632145789656506074058508947257100324055411403056996427614576018959117333409394304760642413960618200179436429530479182475018739398358370786107571243290301851371770160379203183470016552991314735573939335842286319250286642374235353548059394668755075015732602954974950478745283934391557623903251705475357825337805106098589057794375171780232876089818296764735767743639245185736708443936766865331352893652293640396956684495108530806021329297008913161321448864463978890809524266421869472216708277865927781100471266970988111886407210361582530843343964577135744521165463706794677460871527021981093818055544607989640488068558309157778966111121404148668752573668366254424431543717260778890023293008846028106865084011875654480549683516932338071200620202834617457325004707254498646047433587381159575067160969096940203609748164064605085705085321841191986700551337319901265700392344624433380395953316388514351578719421381912833828460547577421438444666892927613008728908975917756796492229487328300717775388767541400643258461622789920874673997115571776311057647143886899481413082436215888471130315465570916482705172723878980323507186269831394842256451820404365801157495204947916935826873372399601728220564274130777800404469124478866638751204382669258122563549420084614136985383927158861119849746962840834336796303266382899901952059521102518720644293683194447568804356415965714659144100207159702658778797718531359828867512858090165676065392018046593883017255381077124142372884561939127665266730958326379141476965917117249834303314594224377519191279331530499700453113832634582721152982985995166803290754187018703211520339742390808108909656699695970889645673867236756348148490394664675417604974499690004244917101230741815030279510540731746947461051415805580729674544502249910231707217328410640334062942097620560004873978696510748218094963817659842579711860345492433076471340656257936765239564246773922301596151321099724552853782416820828347201462097367215106581804227023498012969747923654322147944614483917746095161720117548281305852411554221758228956621398745020588006899965714454380654374920272086896296445996978453241191790442234273041789456889772732387296085974187254985189529201385652213559737157414490494603106500886537527795308986094804663973016036069924027081455433100120546323885296795499961422640006011896310761609330544723688389854965426967066075491074845642644871107083600708871188481914146682603537945284609093722023539568425364007755354908731672813625143079991817768706409774969346848617420266393000643336759064050999453792125215215145778330942002268801965776348001719513887085900595124108126109402077676510522633616527191319590658484848876059082623283818081319534024029833651344126013206118051143312498078426935478291944120896710907304557898133172333524669434296051456666004992965389986822105059930080361750597721518262005415311210529825211070051013977862449713918488025175241579708963499545979296758426480100779880245572124417982377550437225308907616596474680548450178746354175127963411097660573623373416436076420220337255554290155139910235092794962056190437211225886533254210473905997956385219353075204951501109089253616395030722517260427054214284098511672830960681142981923091767746160743168490335000909124730445832108103113863061220453952023342751365109204154676053423576986907017580832448768592907251680600052814347861880080798069274358052087500689880991610714951482252057990528911031063154522852359643484096845525257681234329792651305911363739815517149673370912078935409960338094932207612733142397420659834463727190314526331749071716320852661567612846470376270595740827569536883490815994975741178896541383492954115400605264218247465791382876620429176038014509388148615036941976910800979826296310006803792428549754698737209873995185672110532219389611628111802959636049897091188106827694043329477235180222783005066551171083892889254265064227727987055760401017204064480424948151597967208246993449090435347473042536066313294536610604316913950273617146181325382652448273888221008352065899399009034200346997378218779128821124017125414106955262350884681979301255745085516789646364611159069437045890886607686678277028327928319361771926778872520288908968732552951921771452709547058657407571508440680407855146682252135874423956914141794107503330013852417453166343215132978141649917163177822691127373748146322810138243373746416631922601071868484112677455941152241099854976443875836945092737375816682482962188013345910314105441219548533442003371633154779410374778703429440838815172130673467403348501531994508054398887806177776397596951862611808930714689722110801544183400025841777995154650804490985478402973703736546200797076751903904016270959047164691930760472436825821391186366428883697055723634720981457347988486893915032809610799896285637766766915011535789810135549035014082519097339391933244536417937617597407246482773677462616453320785707436724417611983848765776598185665002029904340541417964249223569420604183210862664759181819191548605517913547971073863002910136724590284644926600481790141758157561444387518069310450567011929508335310163013192238700519755262347749160079695088372025848405890662290129394222680102793340219630105578392921171566730244220547134189224900881545642611491088046837684222507670886373168690781497520557127769426344994201591624674481775688524387223130852545297231402457689559185567500645817182268620733217911593986956962089277009931688864041988896544775910569592264104474785936564913775724580155852502043088331694096195523172141990511056401412530727688264331687829749444035170418774190917353110966332993641593360064178602638406695027550727979971273788665498351532328823707077454160360023913708555882468324149143263014231305990682760903744654242449570380223658069700441226472870186423965874129129065995975301212449003280053410810907769535881518872718440959914180365046263618208851102452154846364744031912732159740721610478981172517357519994317159280954702959363298220763450099225081878253884027969204214724136874306719769745400841239413879929201434583630865670357455046227013432798372112798362218772894603263912311371104208683329334994523689434077166974416043982665885238362498958193390000043266625053064907756720135778570200337947662473878418857756520047358939601222725439262331824911131987177615579190367751950157235876119154779650148317479160986949595134168973683356681407154321620331998684788883765771753400504736267194217990652884823923276435487509315616567590610985615013480070619690899906402571450675758672305222887345740705193190446190056505467078022266935570947862325674234608531460626318479176124957051790482301090727554005244962589232116854617722907348208454633926049102814812105636401846712463494880627317514437135451328140180192823379037882996806677751323646459520255973006037731477834144657823278264079606585059377477924395481708809054676006532844837102453878927035901021295242817493368360405033353942296119648018438932904236824360917908399004137871678512920139889775720254949723758941726880779866324604033854556128213738217819481752211193755380568714404898251909779964069897820815924637609377980301421075760655714397227758201086217577078298438975662792614329453317335464191325112510535882708249193979968698396834047416187886553247382665468334336815987496485860069856542277804358784531340895632040365200816673082682143523328946569592993137813065512125032697074418864143430232079644022891880907095052191625526482335498558946807523657215009304321031555874129318269794519747773663825109067551428857941766183199323012201673410448400077124473974417981849967073816565176887223667474097631422720604640454034445222422233953101723284478355302894314619003218884887071256443204121916620619932912288750096396565464712483340481364457510999556715078772550485457278746197751336896886480295448499000461043069657732722161146888243310722270514660253871234797696684874230696636432084373038608907386391646800893305232628107662173051454089350573960031113709262076272115616401538523697377687218382584733932363704325084806562455879816794244936396477499833121752252949513075652715247693894868506436558471498758177266994028419314854601129314328170899814365208012373102200127365020287359512647269422524745209303066106166182560341575291001023183683816510184568244160461314052403189079191045628206482534402708355460201504341888107900943786341694206026637007871349194354736612580654268088121434138552198746199991870442603734037540270674444948037362277634523107305803311461905221109217230057234138329409105439232962284503033956023902999265544608712984866070943682177947120521219095366069889045770397216978329445901420905066948124738711949145305842862406803285138239227610447443942832517897524891432449896829669229135856161758140210618074244693618448885755410954540906992865756467790928454095118990466878316219713438960827154645665153729995297417373812272474937668484325706419399662872665560402750258107098841723930937228988424990821047110600181043459468573853831054370723998198160474787992249825259060502376896346670735691531542401141774683269186910420919648262977967809463037401116743216078805768172060452745735693509252598923369554148035770994132218236939860715763112569984440773975882241374062359991810739602564370426691714275051217758849885267538456448401357983123677386025778173029763715312109433049040110290486555695578947878576613426375272389085790984487393062312515280397418372816467994885610148371207682914382975965356934544253856879140610893656858878004593237985252231320213704424973733517294300248620172563658727075581620418519361353732331449391262667421591181057712271578301719249106348650246646043128495882966187174698725765669556375962409012769894652773214179374421495297388395230395016906672982709054110836956906870266543835308563865859678420027718817705799027291865678310636031269804797190693579445709895591885414110042845724758844258420354073814476989631691842786095394486509211788343815579351469046076855709833124857094849138633988971193166234628617643436366367492278064709476613802563383182939802723313503453632950937722976038607779158378804620825427469721814073589985647280639577477119996710833148110758877882956343152964012419615225925863841930795253949952601015261113256260075298650661139436119122025578413737427538392437314248365940952961958457412943631603928284440686141150467725334377712034611871821309011461443380455261881047344495314837010744666985101431412057174466290523921524879175322854184989287454898731144305354170780854197149074384309494372663507762683553201951293314836471339327132126638620565387913985832445231906797887672247007599877619490379466044283265224947827835463664993938472136072008289371108587822466431683633016981845684352635378683553321267035792715833492668471850260494421485232098882057348653062044662320325067854630792392147152729318645754558697023690362050994329484697985222490428262736942385130775082570224685004648840296472351082796840997703957239182382283153751998953896044217528812649394582524859791929260438598179550337293753537861056401386912739233521109759757638120738477586630451110691985047270530129575915446185199539965671161397245064283852833978532002143833681438709815096757292835844998020171733390589203535143136493141455684908298039080579625854884086293662793443502030543652098564165174262304037285703739805914339769223474683305353066999700609442347624201457653706795885969178053991661878649853807908310709727294708284087301575527432203678717135064279705039018208874495521306251568732989187518507009321555159218763808288991710382394949970698265860316887654501492371792597197318171873643613116188918067056731159441017447695412083777482449221365569159296918053118085286811093257898800766326849240785488658303161097387248163022798907443221071796571050618367809607675307481050356824151462868761250098364134401888691319465681974639183941717219229886504703271818958005692499104125383235420965704491035438720890704291381121489861971061232152644361954600411182404652351993005259019994003352109408675431837663513194451882526746812547482455128319363704805486418615467730237091684510752067491117252942395289127414611137605896049488991589404167855853346720060362961442828478210564788946410142409463635807284522094982875851680698517067866281078666721829670398108310904091189245827401176935551720443987095655013746785442019940667502479882852080757619593270674947169449077663549820970114543546658685695136625276412671647286700691950939575014682037665630231264156485641534368468746743599088492502083793415928915207231425181309602835060929048351645067321720511106927924917923190315592650245012940789929001526044809967815199694007100063257644034117610213218665972780509665792764807349690330101934359977774015137385146825626445365906656024141059543823240487701568920385280610338049317238884726132545239026767479231315903289404108361769314125091338338961449583792605239649586914528165366285547245370196899339794387524720323255905094582311595228399316833959020687075907207598895210709030842221714304729539352398804105661226335603170520387251165097612845428059386745915321857844916092918619650837817122857257703866887999449649234550200697669019979250194784272507738448780383569665685137567800843546574816625155740566492140869276412845389678717814835634487689745227142073499687348274226507512875247033658039932815782980022297130766721176126796941813111246277968896538370963708581479543082227217016681958800116688103152657987518652018234404599556412543663095402740074274790167538209188284603281875355042797639811777137697736246961578334561432940757735488783490784667638964630597151647724900326015659792506181608208005703199477217020694555806920197323515203169902566061138344437111180065167457613107970337587912434871830319339720744683444066191567720919273111570329285912508227879716485434074506012628776537941722881442709113474080797624693342289103209124685372288286879015575135595543059529307995083537121552042675513041941099921238086130167823123278432572779978873261892517505011440374912406211364660399116623534534066614183514990114779334875343086145327740090454546013173652436094046554330516073619749165542872253593572426026834199948783746561938298627679914970969128853675951029448419368461194908666607606944746091183972703852254426598023062842809247622524089142835132249088254722217188589377247076588805843035337350007374071568266525816118199202627546059712733170866092808846048236797760989792219609945897769998071015898615747917040637148180259467720329343991929411537166276807217480131212287531444613906736281213902760819567657157242507824746866193835618365817894533585557872072562956492784702474945802453281427598252395280679304990265078111306631926964788669730149458232677437804593807405548209796620281462242251315872013648510195938299888864340447109539981880781755020541001826552755394192054038756141352498714878246359142593604788939842298656047011419600334910710773529576223268691421888356947604416971853169912897758957799621827579282600791090269469281004200832393956533921717832910927033432468704948319265649495616221330214435483724659048450683301403032925395567126866046104417680333851023574456154085752219584661930072290293686115058489272250149902951311616598339658716445145945749041596760573351790031098098796336613284031464375950986006382750482357555439869358968229179283891157214302865534016744433912959943597185658712301667900661565596016596980977322022404533850811615148607111088761030189627721510989312886705120441196094327797363321403711331132207688688815584310738451647924819473231852843776764780531699638395040446033663972405535643966466196643290958228545574697712605742565805677069708127814814565175032256115721674204494770687423187628403079150220396181734255471742543841929236060247272643844496504607544734575210359777263573030588569525160044896925052136315226903487366861606018847283752817673948220790300431064900707803922443434834512500405541121712928523967217213765619174856387598112852929320853056144631921675600483257863020104818205367684461278690389961420725873596905449303470142840159848431116955762138429338022620262951487443302253404492386419355702992780051714488061089041113699566955531417855970501975938610723807986615750088461872637131357742777964638906271296678850341771233426985629508566113727495810936283745152434971181198670343708755055775038757422342711459793861766270642676967619300080512271459583932205709745747931848025278463320401912840944007220374674365066089183460359327564854804357313889213657383177220751880778404993237727284329761282327323119354506401769058148726018911002861118320177588877879537597497654357754538451072873210943673874975574677576758099058840532502791929974670915954614687591357883337935776107643461126676539526571126076893762152686543614082705193422477187983902217444765899337483643411646120768616782942672157949248576353035527993221927952710039159026240793237218279655585189840589986749543251735520205820941720654972020326279826929663009544941106827245725353258354224088906944504685246846198220255824838102417673675050167222055093858119642337823683703064276811793874443136701543903303129558414722152265689333016835239937965213598141114189325718645074886685929396060472553096128068723822643695707062261841022132860321938167177078102506003813795723096785824765347616238044233420057206326857208043702590849804941704955032154378690084063110990928952722548206863387032483998703504707330092387548075084267568259230927532460323193112192615312783257731500938422040564503841403691702529229126672362239601974146416246484572462247261892931242357025023946450792497083854962209148904332132673084808295233213427886956583307401084117395227250737150987533765192383077283688151546585734519290156185888918116688728332519531251
g=2
*** a(t,u0,r):
62941007244395358372707426334716593220057796113490737660572372845965440137247\
86501918309993775742276215352057273911484763737712345504735115631436450824403\
68911076696385320193900114619759729408294293076553999715292246440245999588717\
63198892415983954658417077992212216887241855725714868466500250961377104951988\
02596842890799148534222944442479367244892237560519164504350515355695633177463\
84603311096035162485974145828438544959450872892017711121890838342481672369693\
40609606477116104750509949413761047795717726156677125791813332330436191686548\
64029154048250464629402271645725038005326583215624437594171216392128036259847\
55176364499582508981619928751562440679580756148167441732394757068797227978958\
15969524190973665041875396356610591644694082609423678238539116882500505676140\
67012734466945365728544562637480473717491298013160025572209729995973318140367\
54064762953592924734641756598551515700188565307239543550219833543815284724055\
13067387757243005803638728307923257983431488341703744925955728684588660708677\
58648803958210440484867741958674684373621601960810418629519828025547562226408\
29934683530950405107447056401876112754557490011147699506108087218360091126118\
30403162191082207644874482715938893257814526776356494169001013500848984204756\
83704565250732586578979656900149951366290352713323714445149994097150622423246\
85946301914825560761635958632362616990081939019659664515314344541901930968038\
12221831383355074559912561020604346820541139511372371821418947540772401895890\
85193911993301951074479206782075140163131945848411619763493532155335589289125\
23039588945095627195103333664246627444119471597384078902819618845436060287793\
79028250835182748158260202785060089714948710660799031924220292775301558132671\
82500589456545798266573196422577226748586717800471437171005451438171716101602\
28944493201019418240447553464829321217154939539950828168367010595847259340822\
55077546978614625230308401558021065829195141622263842253918778207634931019019\
44788092588298898159866083745442700959317512975256098582948694003766220186511\
70457740229470639006280965677524851385582330686590032898394640433591325500050\
27691956741829841486327443149648814329112238357247752906174182030024076004674\
61037998867487633952738563003003847715488643396116810482079533111342436139195\
16756275842986766652938791197168107516065279239233594112439077138188562848701\
14709512479245269579220034918259001769373575607889665062007548447793587689115\
87943633951333780004926881352452000464072799310647572683725295024299097839782\
24627494962865973273923383877983592656055191817700891746059392948443257957523\
04025887054702870570047710831993277084078802295900452947939569756831481284534\
18960379764490412423543113244975063651765839091203672489215332715015233609120\
09446473946212688794420689251091431105305548241515383392303522331320033209729\
42787671440760840249267468695017597029386600770451101273505123982000843032512\
90077729341528958383935748413525330424634580621482956956909520849515158122410\
45909513951588724982491580968674073029547923065760743529714543445298298459600\
46938713564485565384119384001825763655444259139534323804868203524070248746064\
28311399220053092559540420486851216461158070172865629328480335144207973145458\
13405549710157182335592617928964171339290066538808810111285903960587322225568\
45709220257115774016447388850990018258735770917779272307284710682279534711409\
84238366833922750459160515491839769203939995700840946163591613221888019480386\
68286835846613579966686827000639055535570782681154352492468051903396945033386\
64333512568960810844137040482967954383637001345854839523323880562252577568553\
51186574306838327807051002389602054160412473392193331758592843159861273268584\
44421673310770909566177019444889665576395634034174091130609518316955662492556\
92759071228173086138331378092011214351232556986979652881491190351183748110992\
30761200377555968187628605945572509664644441253614627096358090707755602815113\
03182617134560846159336347917425298758196595466055375998595815326930780998606\
71650978166472010296579339107860677850506362045560337110745380131372935502378\
30419289105622247453802752861289025798740684002306384895436822537312550216165\
53041384557604939414260371255220277928609555583761558806874260233093002447941\
42608644910077775484534556123727970939038902889351690279013458558323471149254\
51735858313441239556348770962950007500430870342234256440995132540662387623872\
90048641891243235418107603409726043105172383771860711696853684612432368763754\
81907972622385052196548312439899619096705275740494704665213972383200456818285\
38839765548896012208363682368951627824614397120954721421653591864564962362518\
05186562739050475254669212482816136074943356277010021945885883035145205578171\
20652374391989136192892001987941836397242520321625150130238626357449298435075\
63333920949423882959896944899037383035330631118019705636932321903085238375487\
00368644972703206842336560413688029656212573313592270702605084765660152857912\
93501893505516376998534864618238381206297784338057465285179684276877270796653\
47773714949957779586563663909851236099954988901622218618841191332953616484337\
62973016278797674389264376762380110619076927695998291977648855274893375574149\
13757125478551175400104015441354638496356687044674338496781174033851853814695\
00529869642189747873898071992044486350363803868886452789299268776219548276177\
43899602415846763297951721037803778063379849337988477709345886357901753196660\
88152460506402380667323279863003382482714121130874302721785924532255884785617\
14623617639098216260658902974870669513810233380073120608857356934038445513765\
65443522894862291885482547026363563794926304176093580133135848332533696576076\
68925576487442121198001283264877867202413557456981689183691628651202587038436\
04251429322982751098007022542579498648084304877049716173410984118960519724644\
56452649630841452648443224353407125037724630321923418669496940181297409946988\
02183406135504605187837111569860428153778148798365045112648801464725993126522\
56030287316284763372690672822905570212555720820938558891328400563560234877924\
71648665432517467306081077368727506635295998661828683345327865158668868024147\
40418497791636498089411148971742009371667507359896362577259704624414691385469\
89250876338143860106731735281118947411584486961715519622670032579768664957875\
54081026224126336085447458984283044939989065959566128151972071225576453586415\
80823863447445311303469172184683986147177235490765616830618082231730451360292\
37183567581099587204180109995009646029475626130310580066409197246146961622272\
41422715592209451465927539573007216810515049317662724762952113630235884628024\
58328341713427510104724059811125486167097507670024849237403312326986602241898\
51617814819622092659998233172721317848165949456829691783991527145349233200966\
33934631497441955351554421059057448501164511237008837116299485008955568519600\
44155258965954283467467057840187527476735464118028091109273409285328519437585\
49711240877069797726733218171032919232162338147770832058033469035317841572506\
37538499011551854897809495788451647689032874377118502445011581737392022886533\
70011173519771419904831203412272393424268374924807645449448780180697594150288\
97801568241946888383688064312944633059074391252119861619166970070047773752941\
11250192541792183553995872454867408283859007834795360453606780972043351967931\
16430669164298928160377043894785745952791470976557556224385848538526326019763\
35186682164752099694410926394996214954831259654073066696766903523832773238330\
63014962089703740470000296475597194923758632304257430029402144119863041488694\
60653138829020061537367615732193766571552733700735688603071278662259300301499\
35949090228187860078067645258074728902736740333025206583873578196079421607995\
51646130861529426188793725248394216668559763321220154307941890810942382031996\
46561017327038032153268094829534288225866137949284999553824674365057826662064\
54315730515549330895886906756683355519662472719747347165431452272739787343606\
84721297386969753917116503980266560371029571456723335953289807250726195291004\
10726588401689650696163077449292809821919034286230743434329030591503585083441\
25398475442086304651069869356788859341529277502046066437106547557374340679446\
47098334596649458151350283598534672852903856490748204650339974408551465037368\
91126875602170016333169459566959058602763817130233938751611331426052087779431\
35467937206194123770457313913832168979887852827369481459601376630857358039481\
34840523939166153173276944174524941067111529573713805766692712594334911666927\
32326638703554399063298056558885938784432806117302678238178570458721337950587\
95899801269893530814631495240574233097306162045056395742420600230784568885998\
95844695509036087760415142059267999418175247797881065062645146510910438468207\
27637699415154119379282500977064152996753923228737090941383906669252889528859\
76836243248634772312740929539299689803879578595409906254294692010973824448769\
30296562791462024656912593362459982155937211344421953750284744818586075868645\
89552824806411736280643686972569338079461431171669832709443546454278181199957\
33428284018088248474281936325724979836111934783941155170643214837515358164118\
42007255828980294904306397572325142805975633650169774354695249514202240976052\
56671630409076417073407434335615209175389772124672069892972742734709355585815\
60332415715118969623765198283902803839327754668957073833486920730970931298860\
84911356697241396360645645770564622256129212907167741096429141207763001840308\
59272030487363764387709477525681899100605801089816006113190069759213240061392\
56034730800400148864441723519385234530380901913771711823154229992880002923614\
73513745870820289493018412091943200522133852260808721098994043502148791296017\
51450790993604455813916207885684581593364573404984611945945770805336357244704\
75757399873538942548140501549175951099693986615730673538230277068939385958933\
46160848744773072475597991774546022855087331070750798734859099233785028087226\
97324666675507748557679089315461630122845922653226195513806897168248622628307\
43409726590526617582301173192663957617929832048341436476622893131251656191695\
87234950434301739242140139139369530845417467534908550758387472168538272623589\
01933302275367536714506550681005856120561054009570716577062592398794815468847\
00525997413259192402321601840271357523257360527401435045866126394181901351970\
26512217547297388882622431430856449161828196383669988394783799539769888526054\
55442829364095052976290195535375803547184319465545977579981838366642863021971\
76786417162062739481445685630466865482812196428650404972072269090734239781377\
85327905237311676451290823401901810920129693345353874455166193169059798321045\
32530113850492626156213453007155610693238660718629185133304913588812857370992\
31331831259625818809417201996722707847476255737931345298714385714360104139740\
43566951846222224189644476663031722305777566178732980031753444014871565091407\
79519150226199793593032461522993783797704581891835357557196307272047760945369\
86671286806005176940253182698858838842624398730101977582872535292481840917616\
00347363717537918780850057674324368036534602127127107980110433385921477525521\
22837212957991959249941206412194233227331102644292014039821964140093754702443\
45292642841395649097501504916073622732729686351064740594709187570664330977455\
25359415038453212553340574118398583459761430676212334849076785824150539128350\
91893152431136702619627817793355161307359484234276764582687277169791280834629\
57028999370030218816376219514940076134916073853497846225276436528930859450774\
55891008776102369761324121730213479107465572139462333991735495796442465291533\
79177380863721564493700740027034026178943807112824951275436074312559408582014\
35778019131034891729147641610757917943397327935794192818616403839623755959825\
68958058342085364067649025530449371856305908613811464529908444428426368827357\
69505792939979182209687532231977969770441174783114729597022803063325978667561\
67577304745467062818001115630960634579506533230918688586051540177221324068193\
20462218456355765852690330550811306608010453804156367967537828645182540641357\
62719871754817496853568307003314099844818660642091078109412045518141096203507\
03221050732960042055484524138384732600173760625435422267542640349848254288711\
62448086971853127321744720086853003843659630682081129146562365271294320218661\
72397252652106668213383954575700802054533099664498440925552860766468372343261\
17762885245137522105516315565983352103309652236041537741809775558110780665502\
10803308623247044549432228302822535132943784101532262936735178761681048755373\
28182352185951554806530151904962512906339903284378788331387417504068856210390\
57499986055574362219564141909833688075379456966297930113634854069096442194473\
15104526316152613093480087957340878873569325554486351672746319616230764126563\
44947444148165381491117419057648453695873463476330059576905604905536554775037\
23778341951899934316818566756573063263833398451015559696713360527711986178217\
83649890008723928139705011629958455113588088019877780656498715591186118087517\
69212935964122935361937777692379715365958317454561389466397085208130170757637\
58265202865173806114403411696536220480631206984685575971142577368158127321968\
09366390022419295087146134313235629949156290343070918740185160012731850247260\
73287182196742373589572218179677205970808762935115150510117666635855858736163\
01125344772044375396672557198327051931628827958260908588554035190570836918742\
27264656858207456513887257842807451457123276923037815603798134526457325049256\
01571950610163445040694102845839567897394673410456234780971852727684473105790\
93393335672561854095940917094413561514976487866141673951464601544969730506663\
46597864537831083826327592891699615627151877830627125214234722662277826818468\
63953939620684859247590043905748230539685608547321403668396551907368499454897\
91823757154750980628294509206344416583000522610908584606947986936632244037173\
36114471858907109558267030166420369806345848823046280972074663338184225049385\
22126530124579522921186955934265135318581030275094687330701173297263599624459\
82840611394086743694716470888085333080019898728077103443923825568920297903452\
52868813466132058164824069227885601637081182865972730332409156620506568127361\
46023090418771575892805348175215041521604801867875564288391611333438674317882\
88112273147919760284378817055410878603435671121653782806955960036798206152561\
43416116113953886664297597313975402681799112517465978445127976622595552802939\
38066615314460007475832283113663206353634597606391245548545835634558058295430\
07801067048671370799805609024555552675890904693939537003999578542182963688077\
66216788506107432230871402531354136628926102080854747497165765818153159977257\
97353791934079960259228468874862064358347625388028525111777942717724197540687\
78897134445839403608392034390243958220629460874583789925077670639906239066880\
96363418924732091498148405364635151665766960381781389384100448586830680254204\
92061106668591369763778019768550719410684152408516262773281775415398163148483\
56673483606356228661530467374375394224811826616691183374438431532303319508434\
37298440607170125088800339959895905218776521246777089612132464068193278154612\
59798054369444120124952231152361671997983956909729103685961632267926492700430\
53528181928056174648934826084407034070199014661651469919244668263483364525956\
48379282286204653013271662651329138982075156548402657142134725043334443459114\
56446390424220043628769223376472985497630134831948971490283223607117338978934\
16868393641469802875692675091092462806211113215239246221627303076572000770041\
38237005774711460855873645883752868080101036315592919815889380049752667592348\
28706139896611462069011546498370557327896742977749526036889556922206590288314\
14581016994632342552389582678134985986054090887389063343585191363903879740369\
82771146545586334897122136833990674904607239809154609481774737759212415205167\
48334902202445553675767992888551384206759845623276296602841875186001159583248\
45894370222135512972714753366196300814905867969481185135133400912279470492033\
19285244551380738456425864536585832598724678933219200466587170848301025509622\
45918702329763535999064303879128053724646498351785473145619655112386668598613\
78978255778602351276907837021727163893170854138928108641866399342853863640949\
80658281846980332551301755864036586863106768889023729153103305800247004480659\
68135827669737748443535633789410095100000479586157739175151576455457879878817\
73875027413921659816611790095759912380311807373096422286399174307353738770520\
17901995028363680434563502166009978353329944259876881269255699860418433902406\
17292247779100017939357566173329606257404090667009508994385481926815630346828\
80262640369230837436942129796894765155145650573656335667681057358577884009532\
44722616622613895990800864510031024559247430887394332053210078599069223998515\
44220950937244250432918109157337313891674536578735278405864278566077322152988\
48591306920974602323270927199713824859756292486153465639409055526228387434263\
50805793590100290097296734140427701064712532255187836973590872220112518348896\
95289387684375558321349357841779938357525788961117483906594867467593173076253\
64580655647949964260022406068556846714983169115653193931305688709678036246187\
34065344091603119100354073073894692921202799087518725985263610309112050827731\
27759182074856751640906803812338284074004392807874556819362625591872565574862\
85780656064067761676935673287805839400258984562266139741389674504835233535832\
48138443574903845070286741788316628966604382241943988433981118702087178817949\
18797260483067550272473077653030763641234776569080509099031211038311392122471\
53633299522576169501400078799768130435460451023739044619559567823700538453478\
89920088843194262336441348103933052579307182020663179654507139257697985200450\
95323842887664202865322514336028830640721882053772254948398430316774467503041\
42786543489124962095902832860646310609711198878307230473016340398606119805074\
69361292518986445719461717811457905809302548760797435534186661243438720703200\
3
1
*** a(t,u0+1l^(t-1),r):
63526116209482699021590496699049948004308001389446162844667999153962462821126\
66323317284987077774408929173391139671618088234610069832136371686443164178681\
01424194275236179744175414490062940704254532188819441943721258027339919903619\
38952401376026302178482044188686965251399482538570119567782457809623638464157\
90137583794166471296161271947256731880634927683923725130552976985828261905541\
19918348516582634115989841739194281765182819917574316670168708021628248341257\
62102657267740026043011369926239570152384424806207988846982911781051136363581\
62897950965033669479874802723440941413078623165836085752417163954870262360536\
70563130172221390207212677093210431495991201424445226715298825195598795835336\
25679732251181919564177026867229813612174638490254974052177594728685769341124\
71354154309267567003577513418970996049526409681277051042336513674554743408604\
68909986513586484459930590989241901636312496193229818191456936910092452045527\
09071998267602502537537096300161588402932179468386249858866339708216974951653\
34094410369508545509295463331464488876430833320339864752237807834549996403811\
82935404360587394265152407523805903975383389652685593127014802504586546156507\
18600801149033835073180088796963557604168712284237630236973134476288483393911\
28307396534603938645450915330828636173148297559264306744108891784640734451085\
80769175903409596519048245100392548356523603791422768966319922778015229131087\
61339431409495161574413740206718862660838334699393097721485259138096979337154\
11351093114089618614348203392267073737025602715528328048147522494097009109874\
07051909161052691458537229196317977234436651280228286807626706935632677050097\
31821342144407554582042170141627713390917689378761307121390999348245928526999\
45153317379780619764403226136996935363779423012428010956127680070399076012241\
35455265382170993177609748516959208665388783599419162560370422380934816864575\
21725014214803605810138625742491381182188987560319415820688275481809492130750\
04035790660168874636783829543873111193999083481002171212537858489857008421977\
28483243790700777748703232290728933669379244783278120853625400703226304621564\
68852439739429853292973249394067860411852989577036244633057607360980475117599\
87236227276614345025340382313788744042193053095682305400239635012775898360940\
67376852112443482943205154461949218741314226058190612915609161520615282556457\
99706812064045690411961788230912139900031762897737244949702173732168826884101\
02041383536538742103246254751478778688838416302911228737890072003276645894069\
73063607133835510874079378150421687142897670360494923940245868048893593688867\
87595848820151635635107915315159217242894939900244813068305541852844522943221\
75843145579034147997201548560665402888900448485145804902793695701741802845858\
26267357502153577003664971886891749853960447096350187753188150028955146400258\
12109734787487700649991070661637946536963899847998455468610749304542683538791\
24115636520002667160413238770623175461782578050899133183600578812259654944265\
53640412487659270898663481455766660693833229123476978861332075721682213584722\
91730972521924342220359537637964914180793674563142212605179063317786705241711\
62704732280531673765273199960168558446852766708337155763140842907832748460223\
34911311792456120285591486887135153011766866626154974348708216480805265460069\
09347951388324021583665359265275450035377404910374829951575538006019185100493\
33361432661064130609511277256040138904375028861406532648512119586500524309553\
62414336312651156407280197238360799743736779332904791360259919583773809064241\
49924926364422597930337517618931799909115698569521484777856771882220397014741\
92432664639040012129294504403848022791385763317485965652763028952848031453020\
15618156329596137145145464512770446000080586807400145098623152617378889102713\
49929474280759024522087446679851956051708822456978135710402795042363411108040\
04486736104837364970249323397921789302961189047472930402698736969315083850578\
89002375859583324144881307327016237790477307508900512296059521445507826771502\
13087308640795123274103981038478240592808546022079490310978072908158606881550\
47966347570083543246865992263718007446272137904054253015314721285999386672358\
30426895436626499276013123710448089277215487707382184187549054152922552271494\
66643519431154195708162367402434605463040592557645796297543464149171099699114\
78511623264562207254747763521702530810527837264406420843501063387653937044015\
14524525680404859120533570506496404727664026117681462004792563486651527570323\
58897820973456360782704804056206786870512628901428918387201353268568854159225\
62441197632351884831814606375037499530819311835226544861164315826121343154732\
69511006217368341558497478734316418880420917357938401963975127631753461141314\
89635862600148397751126057783314469670523659288758451658673779590519876242573\
01638485951609762349962387945907584471250039375424935304207921177084702742855\
40876720025570301726661070271451397793786926584767763258937402950732690799487\
15885045237971376519105573851077250619902146211054015427272988114776528294099\
12759659179240255625216978182585576940193614296458016135882211703910688616330\
14421636616050773619974669773451373267594243092906642633483572389002610141239\
50139993842893616605682671627396447884769033404983396092368781229385669188802\
39578620090390714985607615821983810924669974688384733226915596640009105829873\
64360820499393811562341710476402219559320963475260614952327853428957944793442\
58958658678440649810313004908210585241517572456128114300872911878505275480835\
36671911561374029692032890120719400837311789334469550680918447901552747132087\
51310859761082791278840286507352335304308089208275060957746672951826838509718\
83643344130751676109536487757380051890882209385532647781680793857787471645699\
06017378865161873618174418502470675926353348879890815792552918898286845937224\
26167348896998013297233533211938134168221406433813809015694122892146124249284\
05922162899048472699543432660151295347770774351603498387268378636376832372054\
64253676441402948423964025691113191715195681041053525574249116106647780222075\
41106222747295186125659520319034402447310702500650463934195454874619309028355\
94579094716658351325302089267628057267552862673998984805733566420391985993302\
94595838003969898646900556193426826072781155499208226976400032882635040329329\
89510730319171335225684022348014759833189495523599279409692927133383937218693\
24603102549878401846794914821194992658505576325341127212841623500816923019684\
19999351077869437284431452319000439551661986532584383599563067605672896192466\
18169009097050707986859136886434906741024485367096508392886595430251357659095\
19693943827629359468247391044429441549792969228710339203753675124183024839100\
76002044173854967359360766548828952941043986171567816408809509469409584638425\
52178379731813925720028366540350147225610927676131097222294300938653694654576\
80687910775730750910059713092353945394845886759231539499399456914807005010046\
45126883222540566098694881553764964962076197864947984547284776184384541294959\
95390782534899614505093249401358900721998651429761038324314478247566981930631\
62295473937617900567957124293926984066990657294626574424410455428061316805072\
54089232222947722671451432772693122343820102724583127265029080017578098342941\
89309623282552535857950681362150372238689038452117495278540708550800727085826\
93874247762107815938760363027937804680108257559340959801504973292536530909721\
31131312676243819080680350677552620671542838429077729999392890674784737929789\
21502484977655833674900697638052945739782948939223966563540012657497890479957\
37179794834070712839839824643382818850438350083079845070828913390859320357422\
99231485489273271791940784058614600220557666205974976100589534434289987280314\
19988126765952674506617836904089780435730969620355003019967911044244635251417\
41548968351326566316711490133394500732613897531814873387658369877083596631034\
59867138368947531847110291016041633725024540859240350392732939876868842471635\
06491614892559114179294213844624948050441532944368838412350934276961365765156\
86789119767973618232515191051079064362096236464190391779668078684651692780100\
07042285970764397788596415287064452987466468660763626151661322899873172531712\
24162993749606358824736010006489178443833905621472291546159867928949685827888\
94098838589175580894035576720967974154183932296119247611188063590703302406862\
98745859597221160777619599700547740271865561950598679826423700185194677436926\
72614605835014975314329983496200471727761968759658024412598222538770959982556\
12972437469722899452996710471119938215363788378685306057125781605083953310022\
37561552410516711047968043005094843497945130350920133817051336222305806578166\
27944181390262186849821391719845523981159612651247821311567478550188490353037\
88850798878508805748014210813504324405754291704967050618129839400573965527136\
02118917488661921590548614143250682936186560069736425967150021153174112325451\
08931457797491552110562511229043275482752032698221361022863753070551683479642\
60372040973270809526280480875368787437437832258259060901961613951197101875122\
94031202993023995804056137593029196116128911601321750238630601960838874109867\
19688598180644122346975912556397222486774875928458205191989893267986325553519\
19084248487248442198923838107659440867591270670319751817608611525071859555404\
85860074294143979965553188174988221670503444287393593776162097948921524285702\
84903892549672591280332922690078503206717399481337959141150262042363720316911\
72704838207697823286400003877182262040452070157052011482104187273575116131020\
37963340515676113063712762117839014931061733671270253632931228146864279179212\
74728349086086879169580336241536298003747314366818895133114838063257744203151\
80747146288365719015373596272404092976038613263995093066293208249741874509927\
77656871054302252771031581908862845731430849705119936107642776324560336426015\
18037510021284907146685888112423608724922140257331483450853805335559922106630\
14564072607418179155160833837650516458649271203787395206498329147236325627508\
16721636399469096099002512120085800517432499809747000959141299840307116475018\
41033947317489139208534536183161810680633831774940901163843929413132917920222\
64899481712190342500697182626247610427126694617893419121603678915118273248769\
88578695928389091933286078882611197500233192564176747191046820796252649438907\
57170365651986740439300196397677159844607475765722697450246597145053273943959\
44404449291782523588287581151242510884276338371600189854961749214672743554712\
54127061146305022584194848710696969145999029595981816439276128165946908677087\
87316345259438079818035890817324536918059185846572303566967206916979344918983\
32965320752157232242658996395004334829829192757182178886204162453516296948146\
29232658376249166394630907725775906990812688394193655281570960349154952385395\
39323882341472629992204252674507448807956109290620272010800288779950052416294\
72024640334544280386061979757603287763951503635849763271539433634470515695194\
02218031836074282170773464609738004675158755690408370468769092725479680076212\
69938906275337076060353311862531898682292559915825500750177861053519685151920\
49609936053218976135398827188934418662379333346164582563432526887744028650540\
53681817476043417415804971761242965839142844125908635925602898477695739100751\
65037391008266190624885572815382368432162931359789341945947353554255524219849\
53305173768477946867087837347875063205303065097012405156497119055831837230170\
61543213175594908765532439351068337134842252494898224609840759312068330919772\
46317618419439310781681716487333657532103366302777388889401031613939274397829\
59063491974008484747958250226488525758296538387446165961927511922370717825140\
65327084381921006260494299633699890620161977730682053840834617421134202562373\
86996181062396914596830357773096311568117517326024851318367088666140823783256\
10656577203697448179764308760030885824084054229969713803104024340143086038973\
27169656848014565393998469959535301833233685598271186355111780258550074756742\
14543540540279391830072577979570508661471374357448658240808432629931913529125\
89199339354131869334278769352614496523322950980065364360097150854963124986275\
35787514683996855195442547603150593328196624270027783430720327577536086665897\
52271641565216967814775547498018968022817157129324911223622041973683510446458\
04809976116336079471675704485435072458758506965496434400292395992717082311923\
63213536236792186985647277330872971578373619786708590549502562316287109303826\
82882489447101930753743019269781044755693593515490730188471096758137579089088\
57129598487812990242978639372870530954606011283038352100736304519378925258827\
14077011158348625878975760758929087566120036247525135307254301583682996105975\
55749588313779529815464630607674725025116450758844126522293762162463985041418\
62098350003460411597940555755395517674453960480758094659293837620461861393131\
87346002501253585764650877470113583108251504412711587476098478089058578347205\
25330566277065319237949281326385691748110155239186073438166034328421580008649\
99471223549446787350694171376107016836823799821336860550414056783770159064813\
49643498243734518787445674487871882556812373583480793808855722177689477775160\
36013886344008850287159444990782309112030253201505840959549431088547418576252\
53251339268956446119621362306181509346367410133715158549388348795817334182581\
52530228455184230148036047105881221073091512945920704551528641095396860635118\
36283053402706065007376249615582553927508221064420637262797585976238468841214\
57097851877455801103489399950648169458193827080938563656757779645471712563613\
69161932418521924452742492684932678288688088682958396020070514175533858147495\
66287353318395250608245644884052732903898309629849422526983252620625695062465\
02795476907995342666890349758789714754529963474056131192538352522709242477719\
01442304698022238084334431602684935727862413259349965871554409125950206465141\
77220449684952726778596205745656681345050259104269818776595941749030559146789\
86475647934502572935062531885845289298966245695978701688357093898964589262403\
01406194766940139718438934760882939098028051837103052612725242274076263488212\
37955243338991187523594014094545892754557369160875531278394367903831330380869\
46849334287206371419033286338862458906267794713924872322945052607454704490824\
68745454970011975851431475381291192215951009365812582912731115043780393991961\
07564738707310695703673537793653792879372278238079872003050813058662178127800\
70292998192549277133642144975277605350281931183077485547005093070735888850633\
27926707778207492440706856386005604294391882559620249831393996935005381677209\
85823053472299665996629835224208690355888230519853397208294796841695088423261\
69971954674503014338663527682463703734852848997213385238979065691195737225660\
98222871419439504305946807618307315069958021599845525023982775147846934516373\
88095880986449388497467182041331627179260145936459304026449323938899491358825\
68348527314912936282166394454314139113041110000627303728677489131079155368987\
39803250386229394133815611161388180094099585961069454667427899023307467232948\
37113963959428014697859572867889625453214018788247792968420548063515128017935\
68986084091338022968079277125889602547766012286047966535631926326194069657805\
05553012304545408676215760722641893616668328210962970967630740876822519309066\
30502330063101641819503935743705372677791658667710517168688434306685494062320\
14474444518469101139262429968286147381406244983109187692716135380357473604236\
34555085215826095863912925722749364850890366591742134300712815854176255757279\
48287017780585272576977384955713386110062134926760450278985297261370554276473\
70274457266168275129414044274583829441170683483518777938958915353090316891259\
96124266820611660477843403499844076161223252422862799656208161270341233204091\
72518023073898558461902820708941451430944890112825369463677026158036435001231\
45729781771392590695330245146479484723954160257224416225975863401541675010981\
18034158524333319866219405787927209321817343501733998277159873430720315503247\
31283912163412166303962359957244665039881482057432393565214143220064780062832\
76093245379309810570104742295003082112525018256782150850824618705728908545745\
65768226283848322669920260473456367275975895279661836079440190571804696370679\
75166393364814147063730855852148480764888637922520629689719139984313045690971\
25874142136787103342745128393030109264276712464116708862038775705375815017133\
44150094069827970067231023204219831884511253125568766185475926259746137404509\
07842651024643289681631157564631585057809771098946121865384238902945564098046\
07094433349423656884344953906680611893263092837884763394067684282044992116321\
23505453759117445487484752517450227779429873088949289651311558555802379611214\
68777142939158779486067273609061857456876557070942486534448419303177437236217\
44499233349675471884485740982173118934492228153836403171921449814367549583361\
55284718804702121866780749896125507162569431991336831189841809030456274170040\
19405581843925923604177314670285594700108266286776568525802208349648756899285\
10517841487550364308400414289180283070012748486652440596297608599430028602858\
92538244744278848389929652871318995356423915707697778735447972668466543887254\
15524118870675126847634921030756927782356078760311064739442687695783743199303\
81270887618713321709281767459996143288503769633445767838931733665103784643951\
88835721923893092794782352853562334587246783887546170256913881306341005959140\
35305733223010520920873736731899917682097384467300705457935790456289848474955\
35572268216641883409136173992434768084114781132139690458517556957658244373278\
04463887964353106004069136637216174144687839014663577570870214536537064043351\
87701550492466984562676526638763771527587594071320075082902291946680569392221\
41362709953020975003512763473282750713079190386277441913390181993026022977837\
29771278953167292420831544454304377242205194087003313624823929220372710560234\
75052566154621113873560299517540515823466051870127557776868343353271484375076\
0
0
result=O: not congruent.

code version 3.3a
start=Fri 12 Apr 2024 04:33:50
end  =Fri 12 Apr 2024 20:50:00
elapsed(sec)=58570.329206