n96-L5-f36236-r2-t36234-ver3.3a.txt
p=14466995576836542825175971310271796249207571562276725077543829850222357628022928993506836582700312071918932196793293589813947979716337181178944685975399980363228889359337715947761062180846145465342587096777962941361140075679888857299942324948305486635248286223792759172153534824635992426938018656103369676644870898464572679379058855485298821173476165509978941897313374737072021200397117371936434348566349729886091498315297843353990581384437036202414728815692231766248042443371997384154266447668442961396149063380916576206654341143346347596894745468073654679285930590353842281351403385085465596180841953336915710641669588745371459448152035911636496822823281196265262834390452098423452543090809731992841385718952328702177823700658870216227032104656088017966258351730995756208200947291368070295247457532675095261129824829894619755943322337576739996503170079245397105624975132283488935233035056580309865673804746597007500307129331621991190643167083459364274817573513749140730482497642274402028337271369130434633452063599467381999283776541957162763950986203059560078387282543027982491860341686391148697387521682880850957335134435028066578188337330483148842466208128809567269953094937748456179413535943044947961207391133443096997880632435580560305534190078130393566683924608789010383903950570607072265820516797744413736861766394018203062887478197988962684114233617390046042535113971291177021566286434816745641859241856199004952793417667072225800786524633849471388166443896861319760072134737815977500451705390989498943913239353478975646603711312381481030091228920243027745250183704872952881987215305059822995719520719323802531732914521366042972681568751390834106920811081328066863649930583959946061714965911015018479097684888149629107477713381153965445205188983569808634245347322805963170451573468292835160294120568819860979626802742372881605657233721274957426008142117790338820544513023478514187492592127483421938684472635047567784531823641824745420544779195882425999462044479699871230618790744110987448617338940657517339206659252762330861468614130430838368471665778316938152140051512910754718977502680483740465752788326555308776136154124325560253511731967294661171507738236549984994876293185450384059335396373536991694074306287818909160560100143077334011892521438581058661897904092137643085347479348620990731282112327273591948281174379869344726353609224837920125014192210253102602960755729621569076288408980374691671010361034092749507197994041401088002778023825843874285077837544299032971741688186839517426139688810323558975025704271707024273735654910765559573299289923689986067692804633740751397704387099979135821708625186450872162925718879811177674893854357149485124729848928183290505224293620315954600433964017154564943245164984905056850939751943833147262731444081421988917671474462807811513429322378400271507196922196859277253325999572556081111011756881981249896160305895175838857584971557945971918679961276280148469424288006927150273773998575826027867344401717383751061537474789166354420818066866669511429587610590474516707987427793826341184149262554253246889631226834740050627389410039713931818901020635409531845683090096894011914726014076427826174258422035548906166297079072525209451188500476606398450096161833791479889463516869247756100037198365405926882695255893535488149793339967897563472867585728546499226756687037232921860353252175740156718825808015614080501520507357464686508284497127426353493967430939955502676273254765154586529170667139262718131655989878705303238031831327929973548795323916644345856855387308286624719023519236025253632605082827755374367233483737653979926358588811988254967094114073350169677626277720596267991583010759647053838995111994742823841111670651659997417150972175632320185357294109239572399973447765135963479750193869585036294850030991391318987931876681943635014910210781987946775914477670945670847375895210492792597878413504316274883886089942983233870859039694874580646262098741293532421738079313812093854629249396903509196759013713188352422018318644071410431840571140353854611692930928165400836294009487614742995623817145678183350708754389825216567709133501455381463724636670008361680212576355497556878169862156874552957402353783022366907410898564306946128519643370550819312406065748109190003634602328834977625896386707095836487506025227470814569087386854884133850959125194462234870677103413093746763146617182603441676828043675901538143293155812229658785012548316092302470163932461158497009651463764589069642646688349780941103552868640258719331539586926595563314704678107862362503550353167636565271701444116379499492046186325447699560986725803108073231766249090080723375537483868390577423119415534566689583783283490209193356352673690874912643825236806632199625369997935490700799692995994070381210990202090596221448716919563222558626703645900596148517905693016899383783854222872094826054834948310206146760318319005736676222630830638529437671166895582647931877197834217508332778884274642613496575966742399707479501085684833891913467106949244578587661067749954215775746174382154176018100245726742096626313990982297733713270868722574229690415016133630973260009780886757097415403081310367896294566696749614279690026316871090818324064988302761775916099146631095003073533039330719907750785779227607360158787444843540458352297346787998053849601857555733591612461302540584843343067757168972714292602988297471110238610440505204550616801927987443612501838684565395433124130031820616126555257977571080032870391495481757480924982243326763535026910123142948032471328418148853568925425117151634758803217192528932849152087215445862216218688412059589794072169631697576363447976003183493270648281927831445986431993050725635742283948756084437209773902579952646838193996269640221955920008791320541983649521266069086183874374351262499248044017738199235918022306891333685553046463202949276817773027138396119145901998032579722961166354406794848614783907530214852493893830215418811300622229700062681179545848759986815425167985563223522604915068898558762524411002959444921178689583279515256273046365110271765527030233772789111892869691505516495772911403603095653288261780531197432435331875875791852691883860088644470257807451560996168235031907153334122600391877162319891824939920163882186872043459542963016877240311217027524110836627822350410907969608755384391494526253118586253562279791132650658285207961575284391174803096279662536422038831654029542530557207716024359897275207596810270100348055493710448221600691589548887997090402528405323022330473259810481919974966496436431278020942509112645855953518340472793513238957209121470131306077751849568897883948794978324553280357748875099729308859428554654111068176016796206069785643238424881189372125682104891910972795845082696754662062308803011051553364039468211388560100535710625399177673346438040092256723138832287503886378582994183815836267235967859366499517607559038151839804805517090111792096824378310358680325516812485594213939998512966674512608299487484123367868567367545920728464463808091629705516040815742414054208947425639961361126263931927010706513098073648585201646551628452466605679869833008770077398125588164253033027810894433852248158791406991459154188871425909952798344115048288466287916536723348924380863019349558011685326839163280997431600733946638179345263862826438922302103619884730884819339389093539204658284908704742125990538087979683615195599252652801651036855134140390648341338648399332945024551056237190432936018918265211555783541958195406511430501977569775763981978276215078100410427676885623432211487821030373204450601104237230951199469287691632160830797794995337541669825189414025297918819101669311167742615575390207169612632158591346637739868744436294422804524760809652377491694440205999145120611670871439601483973515355394918057940923958227902145758354641613083784452923187557806419863304584115554342211174972733042097158326364518661929972498830766589029901828696648638726896319467997719253846309074065733064266018234058038057054894616091766394746988198895350619106668869895838608909727107358675191627497495777843993811232574597649988731335655212119195252655127219011714329302632289042205612426396073839718564004296288126994800054914106930044460854550162783301917171156400589819014616088900685004179742427042717166751113076293557800176415002082615295272417940420882928235921816397301328064969804215872604325541713514756171953194473402684392955505659643386972011134612771829618219768645622554560108042097735957105724148189307179060334757314778865812966083681317457275150825102045001390464998611856419402588947531124686188174627923097438808214860145032692895028877025973117802914227218752465211437565880490275985942672549554355125522251489947029123196059670022302358587570615418048851280166507199088960961055190014823838728963776126471221229221237814822333265710950011605947891833427000395827379613836175666505971829943274172567101806902198943832749333266205576221050879566379108452823352169823437215576929922161142923764078521000360590406878143218187411067286795835193753998089480286052074018821227989062638633676240229971045343238016996683158695497589630403105635072712117550775322202763593151303593983222567843999119967697756795524069861416898778379764336597679637746211924880928816827068091384491370536203188630913180479563906413540949982174428877795906258918941151580528163218704131734079381693217758528071343165246169449985956754122896485083855163535211197753653747873076162862458910343006305224419646098058165554917109850197018847136078090051292528229365059664026751906699640038596378372878232417830829082560801518511080919504097028202896204152311371568936017081375357726768872197370660265480356306020855759486322571053699412456672148791822401829070696099896940765058089164363071806822695485623757805987952139977800816265471545090169594493791879576657942903637251689701470796040009909893287749785463699739591888525726463746541301867343864515740303851411327095402582912575228371196255337417587350085367463114413774352426279647618629793932208082514801121734210675774285040652680999712742455959070778957623323928061203981528266440215544205250434458874475037127104356911849995165484937645012559740627427151214313587062463337435412029334627182897914035470016285221511800440575259370205042632026515274283737940352608147871435132948542594874082177343265527009800850558497296786709144123589642156582018770239505715008632579384904789827630214137500800779483254391318476473009375327323940106815552216135043219525469212526451631850719251914037925494947561590644110396565773720507810011004360944730806523026760342428139815985253972960942272461220504783930605228366988813864512540963148036909469373576902669138158616429819409041184082159242151464839519346539074735824037696211628496024608089154316959700277149294688713547272838798450381898554080217885741556934351736271781161793144257500362906719358200790631285115112945872643750633180162077871098207713558332995021044897969464936740564232822004433490296390300276353045892976060676784856335621082624560105841065720801323552375604962247516934016240157149984494653212332061537227334226957420214979475481964531502303557827481969854284707467105353077915948364898938829508986620318296221038612357717413044764537270419277078433309175550935259157768414628763923409189951809262780272901558781403868436831529467458678818434610626351775403915040474567116857789691274589070835338657175371970906695021786200622804311942409830269691061262623837052443466273170707328142300228407294274371930562950414135130386970095518677522970833655818931423967124848898987223475376700306616249287373755235946782614723538870499150884900955967958775933221390500139285819507334014070268673719621451647047106462322076721737977264723314469582972009151082636404178918495466532982665395490498750008653085148738435634695955634379648882095187871348592442008490572309618585970738229065602939554831043335108680463839851648835807615433783749596886044359431071635328863938450522074917193837147868291542437759149439930718932949628307184229159808920434489947350097256284730031543962252629757296330065301168341196055677637197082261980231318546405304923227281429148035756251556742916418399344478676175292010771049127376129377292562721629643895932367007069144279637925282185567720177426669707856691113870795546898376976871652735262725212900112632397866203207025011492318431702488799808546486440487613801525736963480336703473243778572640915089042367879412323352811491601150788553373805922763636202799541226578913926554596030752045179796817868170642060904469043389195782982323609126490804757268791001087284051476568863643137219664408045324886293506587939791574904004035673791756092112787355953315845619441232436362815736940515270034453380895692256973179293853993562406451413493038734414193134319905730673212019236977177091217634632389736146042552471626084856938544201047657629622260493453227283385766861367386616045513772691850799889120283311413851913214715290923893616286482504289983439170760201837831214969076467691477737772586796055800866341334925486379674372015545508400191116253704939163115434278748863318871641919909956353754851738650151420647509080312719507432842648363836405768502313063025065477553088911726318981758384816692123818469289028726493030577546460017014888424261902765051817107488802410898364143636916991442136488755760997100801124565041673444956442076933932357271113101380430561953772619878168568938419446971785897172325718925454727412243351798409935999699355211757488384582933931550714412594403824543011822790771144713949860308880184826847283645415979624752102933312366840820299680655143173055866058167526605235602693623951540575323243773586982201298234502693131746895492105709814025265535546120751570427996429231055135890824136393842465060619560321112543469532201084302172682590287586555258276490207381520932732851723240812167252302756283458649886735487178932956434528853546742086670109021103779463390385481606533970230699774672678204898998110827905020265654155201646511678332835420668242353348486910036870110237544405368108600958639096353089445631591133421682602357845423766848233344937260727030678235618618274783196668062460946131591733837480829249210335606605808333371925242496943520532803082364736200787919592995080112778665170476391888680601875556491241762296665041124278063749341531365600378840816794470214554025602048294290981140814671213252228586067118917154872486222655492397940687208251133481141988697951341717748885223336180324223617046104750854476011210239392115882645288341564401918422150532856732441577372138392141542560738997845692501086999977588036868711698064754179566185202352928982563201559523190958596851557005989093593979887180126241872745684338642301312345986974342577217815854022678742667364607597733025004758323129263396267476388133827081672176262633659055860887350850837560812452410465004005044971120593293423543246161758434044750248026615479925955742277934822263270146008934714095375802384395110659074685785939708644135411893941501508764651767176376854921363422197983690826763614804373006137665105862807783161686995814126100229342315388580635543692545498886377106047666949372047432945496073866957818661251498710189486003222013725591127925841258945761628053129870533937361328771220040605013950304087606068635823444291701900838756848945300869866203927546380535050521932565164517535863153145639774149995861476630930019771870450774966128798187633530163846413074235172183001011696474967273635112792808519149988197153036842377305977884138845181652159034035612045538678839315487088649654765790791746216421846563022760479542473003319765862181903936510838006079343086500199034543375617351143805433514027046745114049955367017148858854100374126240064589770424801852095296138793467554380743103361759137573350896442300353505031848640356386455229850185567229477506259956561984528732977931555166614653241371451120971684849556003078171230863963664004974855508154097128635243951809755648776552560683694344401067845474522834259756063204486047149263084250508502420317058212166451933609195443050629805835200722522194585754558776272177724653263521306949816766904325691435692809744403427049402191508517960061778712432435089453009810651318542497808446003718083370858927219543180593801640971761175563292523131688704843441776754237156277050994033540654164353437888302327084325785910093915153468570440141089865425638611090312739518975267727953991055486549094184655037266892070116649587014912084904691395709768203596184584621553085813981737271379592577123516163307941307491706649403118033740862536018584644288830058236443978471079625623725350878542628084392417592971218983835944362006181164454868105156884121076644108054897469343986823916211657433860445567504979683577483720290165528175114664070679293299061328260527563653024654493202977654946021590223096150632317571887099806981298381077033044188086044644101102307832666746553156687674599634638857728997681898289986002522938656987932637319883046142258291418550332481681312070568474505701424743774501342677755713624513371186441319493615286092522203419543425884633780443773260250453177827525253655871222366706525353664272276848170222754067606039585232073060778782652385708610697281914510392951061163503636043542044921064036605677761928241000206289430417329576798140879778707067373190939026971975259109412082490182778852782226579171277374962909974442531345569431944900802524098236305414922513081699565560268052993741595529420682925075144669446241797290208420817164892099823882793286780475621626745209549231659894547369532889460647686628455757397299014481034860612971821034201204535029875297968413158641088770960979261119212013703210024083171495372950366481390349886700436833186549654283974572907649598427691985723730829275219334336610485922039849609300286488556376731567288967472752491127572972076721996119250010256601437861905356569818914022582193125765824671087976850787940848144966860846961641958147079174875275422784935933531546285953017987801867089027064102865802034452852318406931018151935038260067827807194690739299779485582655547824895824650984899370678517568957189313538365278477390038977381233357120140806092657002885130788226335742901101718960472137785684685218317104884791011619372084661160314479710070899472732192631048479084090306059733439985231975520332726194457953704859531272622669039208990933131294760242923997458765346533985062228385515329249029175886731642285622339285384075288344296529922784195187628468884216070436660429814919916620797557837195460650017992698345676804663027043590025992654510275465867900555842564885841962564867666856139010549111666446905481150794200457420356046169595058295468110727393950885869708963901952138330405867284092067062942198739851891721997659266266203630039629487474952145253170262371342104371875060352961082090548262687458538834672074866654029101935452541193967598588159729552129791593998550193452017496434410121455376930998956194038152059150152309235271028826149207869577186586442727308355244207534157170916067217376071566061784638328184795743965008601218219565909535814785632170351537187948477400294448429863949155610257944805147790654235407143724688439658786084806888894331957126327998771217630038017817860476105845133981250995438025938479037675452378682882760242011838070754839485422473758922508532104987749520837350942041647778246268511364350058650999994956014856977504101026466024637833769909898939690951597108032069966391803843803020218542149119118475109532038032101029550194949400633491333215074860996947490748327090364242205589682576827173895260057185092945089480772589770287354446740556629216489339354093973119955110011420990783615181088258196936557256051604683452942607214237247870353940427486182235619585760511057355280485444270620101546927592442857459169494560812913500591017855202655158324788321419181368268164349641490854732611534052031324547595726958805143940609173837110639594483281117645440217993992753006746800257601128953934823149443438581687129445215719607789383629351073552892628473218501149276930867998377455325563930385903822738808768627040058885004382393038160407735223048480056033334311764399004385084066416213216762225499765824034534471462554610018733272652507527146628825850103596573028279228213647166855138655639447248220296476418366066314409386880721383341040059211857974614134524090622084486875323733067893066815467534102682989112901907452869531249290984567713999673836961175814281008370499282311977049678784270456089770845355584483187437130177512212298472388759917077551312347636916763297565970587382041272002564590540906450456323370203442490676539535411195533151301950074800122420595574066179481976406399893480308917230955882186991080602728008331944457386586457357730273486263886660930705049267897777701856077007572387629247821970093864111963685045868696404652792873423992814100982440848139540480225349960738888493007154741944904615537319666946159459604425072280178933810777275704918976314120771462832532110068218824762380763704396724926073000879113760611916035155169375056020367731769924740808484075564773802052930852194910690586398836207208574290982824082818703088172821136806180377853015645443397649762535742426943536592795757055244216977291078914730016828306069235036236439142157214238328332897586915533375057993772780085200768489876075037526891350966468308226483439325414123811731920611783118866909879590769977775240562658775146383914736774966302182137472911743955562727018577758299564322670397777152838602537990455110369036782320415083451124776852255599887987733120054356498498050545622425746994034505113044277284155726198008433483964134592911557247916482982950849192358141405993805348433458763768618078584782002868218215439079662468048670518774842386730404250554563850338532813388121727337888022245759931986114954219188137112812539394226364636886090365241980517049335215326823035730385833387752107907086462379988917791994414169987133474721728717729367063502818387600171224291012190583418697630128150609487773144484063670082688199423668469794265688450233349295485731462322685362956526138415856962094184177523597488133253355805280008206297724118164996116541543567116679136210869747870955582708066540258265305906388864160828934360542938471413877439135413045967119376208121903603176247925173019875850592523467178016352080525315855794466309192952379198376595126490860341106631380595438877445077761696499671140774380978463378457779288855733717028561411138399426012953534881033574799038133768778086347694058814955597186244758617528237819719304327749019841975073635429781503186126891918314290766517527394075649010688993568933091718613776859504393347777434077750908203742557261118425612945503822868027899182268843830533756192380230890244637385243461425655712781420681063760671292331837463738009135370837458958887875296538527183091985896110860497212096610117282565961042421973104521592159449854639933469320202113097096548183299494991537404639394569206866149574407517334708513764927839379132601333256049854351900117172091024914530082166560680863615628393494286134193417803782460730558718579945165667086030424331664809534947834872061586303204077402374311506999785279039258480126017795440930507496882205633252935773216855873870254085846158096359141935165680745534158794351811874773233007878394683165434487386036818384654320449419334852276723182862353144419650461166911940427061322748857955693701028777178435961340912756922481241278922018415588164992169612073614099635636343803819512492713096726699139029586379735569210999516059015332744450702847432707487266691302488733449781582235317760847839963655542944605982484569708681220531893819045184068573642567388846344669089695115855529947229606238288609238844552311822980176170173650713428581520128221055184877069634236099113270468660938493717081702869805924172624853200610261335166363231601669052864693086718462204882725815750395178034458289590143773820864132593635894779419695562972550010099088560784958575733437947926465193389106355832592972595015274800425381694296543683564287820408554160684099572738175490481352565983909925165991049200441855766737005507096310730653887838727801182982289406560870500231968516655114102671030789897399846249286095396250430806000369444854049808110530213797118637806894657224863071642057669000980530563234472243194102853608068296992356021528177032359299297144264857204565658214624674732978695016502190021040839582338052821016439661671785959162997932769514240447567422993962276824349868636658255895120171062352679006503439829936623154720050947454672665509902744319818411313622051691984242982895578551771581473376916830646557329140367038022235619785611861630962914768383085340721031570203613856100444524051184925154497448525108656471386632528677605111636093361088689507241276369784377087680354895524272996551423093366946731690377110452318034264003411449965273451570464069514024799111437124150987352939820150611325057671650776003842120859764521079910858851145136628888580300786800053843982976589483973601848965047676123155137612384673602256589552500362626593036715917294462864260352063479543633912937430016445936767444887279707571620121592423117188338699087808533983516411653074505456837664403179287326214928054300670374058187279702319127064933633571863742572174382238351033494579462881646121998464208461752563033307575089891425576614012560004379335031755050519235048179540160239430540893000036283998498808758862834265987927413522473874515746988552271034679580942205664230304136356882555607290922224898185061285933134076860216653876480821999113999459227510409536319876373525942885034378804220978054217994213104248046875000001
g=19
*** a(t,u0,r):
17099988771820793619357998088741263166563349586611089041656806882962826716323\
10207032508084075176886900817785660967302316008651202471054815351261882292277\
67893365472227371802502535754977601439400349379483915521966888675694536286293\
28531828088897085202863474316523041341485478162719743048640738051514182957794\
23740198512490702604756718362320662704882763279510932262440893921912905886939\
27336288654000054253807253601510086820508444168671964045767912542094601482179\
47705186168065700908070342941144099580370248192916243393076265431231435382859\
52958914326305983091596995779824157655735880117102033468575518884423436997845\
34538970290650677157064475543392445771183739855406702495143803365209059333371\
03215538517919801652525974187614178784595580351947703496037236117371746036983\
83809351969839705908898249480362196259865545294893544055152500700301570667586\
67470336680593788487206063590839214454474368779262612264372104776628653630268\
69977193587340223492648968572834371893251484343430312213168343197494654758312\
17373674033917457044552315342387259336638699006569201640001265376796585907530\
53789238733143377603120506291651658315701289022031746954186147246310819317950\
58008252908513084558216418675204066799484679128490147136319729740651494907538\
85622228114141267235012519582039888758861027377446957445755941819985085493389\
70369706078777295160203329992300229538926230241357550344222765047140661712394\
91350565953393348677623874027223854201819682479370896529672117210075180812736\
68609007995640526326009848540553391577214958775170544891581214921428558677123\
49105775678325837272587948857171391598303065088884905807107809404734902407345\
92508304964254662793709614264143965914380398698129775032834217950240656244947\
08970681975184229346353779286160503865721652398715623253337857951380567800053\
55566484674737598395221311594676505123450756779188808414847460578868502585469\
99677541623983228180485883614393751603769616243894685404731525046654626225121\
31661554463684908708392900953302753136413657500524779459141065953918716426569\
46278571854949422712367650750782559019021692509515335089499706208958295408882\
60512077831408168331781230519795801988374973392934174952812219650867185342289\
50472214659560208226394377854520235395813443851352072418239583003220195062778\
20383691174088020569603404028113383633226369066941268807205900700110443754567\
70837385682868348117005565466549966103758421587766775192519167276699613272412\
69464817289941480288555513424674229762991750802895693608601928362416214745940\
49620039773614569725986754368443095976971121738024467084803824491577026915555\
44104524891415639760689801563532012895077081568152086585552175338541259594970\
38493089657819971593681201172453585015069141743068143311264937717511505921345\
83377129454682766957629157850121577771978107867976107800645485669042407909006\
87682815038833208873459051269120921506762036687665713431331494761287873215896\
63450183737726148156809784152966543638149213880787971422856313549085950842418\
78916236008663166263649392010828299475937547372952007946309254069550364033625\
09772555717940878748841139652302735279664428339127337823544110118662739841574\
28266694186740994100639105406664159741249452872208320614863833769053797345484\
60188070885631474637247975713048075633487629680136632875415292293458769394508\
47710243968467909805575345792466158946993055727842054920024929486331141962086\
02640407800931363893754407172486524165210507445584315279723969652325945279227\
56046179498298695033710274041633549871324127212774797285586085328316173800366\
29668427353624629613228734676072869473616802803067798394790417885799736981849\
79373920790240685250206997777790700427295585197577011737110524283469990055895\
42602657447887660511187179028176376922223777860177801939947102621169470724491\
11597402459092321637121174576768615258390708833064729153849512900512736631824\
53904373547823805737658762386914430975308913091260705778294159830813880248085\
06922847621018369127533583126061824353553849193417543238818007122089553224944\
09748925894936171772787139947870569154208988632562825652637292407130435555087\
89825615102104435709150378849951921436062622082735186619161272053774768877340\
59830321957987202608901225205439498835060112652521981122299967770694257215956\
49582171532437684559682103010810323910218463991068427263969714265062584296099\
95268294355380952908778727872823212181887050282066129126247304621183368597985\
43616171403362342768086740393015098372680620107476249156180853725101700554566\
83884832109621101519733768169089343465408030169744280317608385629441072384399\
49073278580624987979174723595583798092952349331247919651744414642015115110694\
55605683995985922366791808810863098992737425599477064244754150298853059324376\
62514127149161857827088031841085427266547208860302614146745001429905439259957\
18733755975000834523712126499119059139041887108473375238339892372906429676370\
94545046475481645291459750716325156914348160843968149089026636654706962530647\
80751295149641814741795327319270578689855478847840045094849344641212627569152\
95279268951645424077028327947366024171812041400709189061538208044588304693197\
81197062360533944904490091582123031373410759212490861668300827394940705490699\
51810393331561008146889145006442108854853420177835558044078593611106541629347\
25904481617386441913282919131795429363291605248891093096142879104703189970768\
67598050648217724154639034136996502293956308771052859292596029712848315060889\
73725748293856732167610852302037540677151778829059878881158349977173325156297\
40195272169761196826158831492948901659885280274765943734245332901161223449840\
18077655549645743811101902519449184698524884732322849054027215691986276977670\
88657009139570489703054435136593304504666535261595507635762889045906269238696\
76915596261578595770144737962742969180478195275284950402856274530359071474235\
18974503913408806246737341364936598693395104831922741111880289665514968551023\
66745556416323700919505886045198607718077584212830456161674509232540098630908\
83151106267457870071395564778250731462503495733547550547408915422319323430441\
58325485589357302037190096114380964573038538054980638968332110874363870329147\
40803560341226852949736319436730257371975359520498003581279058859062186725424\
58787536513856227728518596988180672262477776384472840774509747085380771425524\
09329136631988058621121370789856337087448827553691797822859488980478585265334\
99008894086018185693220077548864350746530031186168951710614713118793078093115\
81058198615036861725980256111805084989901506291927111861952034079339857929537\
94297392586114015935657497979320174588467856125608557885750918123946193930959\
89629410410398787861770620754045771147401737058678438841932648447421181577695\
20378390268619043729882747566437962197738285917036788004307184455160115928258\
40518531155744866303078182095658378525562479822387698446888877475640105576490\
05159062936076294651425861278038833209959221828009895489763389047446750099763\
82959369948509912527031846787291400977120242981213478309547464928012120051213\
82584464151628439601447608723579723608770782423266092739030099942062338208206\
46628439278301044996221164306311919960244207533412074975857106434328851243967\
53772665509848192305262770834622402483081552791360614261636623148458444521014\
70850388724772208133573236914430639047202512460254255642076427439870769671523\
17346406998428618180088871177569812056323890998138964152067524926327986101885\
86085080616108647870375190585645915790856333990609276208900519292081601999198\
60331611983166356115515255627685539417463394622824080115410190193484723590917\
30374361389480058936146594586970496510853337487474953026698322486222314685125\
51407880689687397860445790112766061050520840698431777269805150921410200299368\
44889742537333738873779021400441781731258002717716101112248744821312114549717\
25808524855923700007754948267277009110195182828323490989532562994970041608954\
05669515007679314448617211862538033628637518638666503322335520769332718827842\
60184245852324936088177704557588411417628610584012274936179661082333439615194\
38690975191449611173304158046337325545696481962433552656600983438885436220467\
87859094005109430443178408260421688123573129744089795407650370204000941160068\
48769031744222866804387444607248887886383603728718463372357113656478870338880\
00159278547342653078212566107853664908474391312552730078292409862866096306865\
49716607527621708060967494045554876449169109981565617898531980852253246165127\
90119980055774836211748595869816101697727943085831614183127903053744417952486\
75867561972952473407689698483400917161112296302608735766539125859490047705759\
52390129896594315976108564931568314606861939092591091131723449922827527061719\
16435296283592142877338601359817893790744224102051011726713099646914286430019\
24132644700225243044616572565413879919202870739506215384238953573247758367301\
26111738842361774252996636138785050846742413374221315681150932315185596723459\
75217773776351833814889834929395030971199979200703429137182304081471107144678\
67962703554359637810058702992950071974314335758399151610309711920654991093282\
13964746010619123720226473130278881193116799447093588914081182242621786092996\
52838975198815329926771990172257417656981135514902466914830720388650053159518\
25775595707336090079493578078150943136470860655945722945016430843666567104840\
84808816907519160695980181874853230945057619477435604488144585845733181602249\
52092578614895944840164687999737921689617393793268445373808054028789301749335\
54761198042188441168184288924508283709681829161383390580180327621320972289883\
40088337326364536911680329861963574481872998597602450342643202543345277526402\
16879047516859120238429328762773148443024406277683671095005228796207537189745\
25620919236742070717876039975586867394880097646853842687335823313308032041194\
48237219018567283304080693729212043379778115371665150771283327898547270552378\
64798719340789619615627900781839842986613922771508756644260640072817266777594\
29453760564825787366296580460691662001659609688512099231497227138480919291713\
49386612024641809309219761223740868014841181880720044785760503915236818862676\
58530026639199347539738088275882478009043414012370812845678625434852204164278\
69953532494925889837018765204918051468941660461582943621660727910768882968343\
10616641093233477325060601353038962949388423734986980669428560319629640484561\
34216188927353186599078316648486570186735293301853343899255592491318269481207\
59956575582360391055341054203378245496782830784036327145177347141165133619739\
85292558460536014380480189020835408295702907994618642309575514020370883295746\
15762589131105259465213492066905384391910970816368968972062559827194716210854\
79104609206265828847550155762392827935028017800141338488740744537640231433007\
15463667181331021763072475006126249457019603983376604916263665460597537992978\
07779878538234184409796269927995678989549213034846200465414866795851122242230\
31440311867609186337744012556922144882301086761380402646365727590466322059412\
87649545976835140409092281754094652029640375227324533323949651236542895574228\
13933345261790060635020214649132484189515760436380815174259496001148750693999\
07555227346923195609240385530333334926649300245497703719959700188704119662230\
04510413968198716443890796506537656501600719586575128167268009697649673700270\
90562636706941057400196820762357228053520836883677645242261185273380966509673\
10545696479622185216226133267639806821982218911683053635585506708171445501205\
47632448226609119895746966252303854860628256964247961937249233486783053615836\
33897097603477985274275778409383321259074150865642817273702927812896696117135\
15751289136154696715928419378774834412421375395988177134887776061864198869977\
42183230762192540738950772411739865290307683215152538117797694312914157139860\
28981478952597624204066576757786888890970506032229449299963459529299541272731\
53067683571164635838657668804631057572336592555846809679838464694685094289126\
90295770304707291481657967622973948166164144198551049746976952251022794664580\
88309202106195598367449786365120639340362664540358564699691686174125867555426\
74553810293222098460308258704648923924601442732392023519304432847526672958717\
17524851709255212311550878032060316143131463799810977874646065909175886689414\
39535671177678149569285508972849633826083731242621371859809792937378109671669\
51233660633418521851070419254646649252978263889340070127206548025173795239195\
15673138006855858492395980913696623908499205780235572853853202768354334104524\
97183235946866088965952803364338815866622935330805412016479331314942778521907\
03563583920386272341761373701946972656359513403421090833757983505374146272861\
56163524807883346536620302318307256023207008783860070661799170905772981627626\
11875325083489174025198387201776989159890824092860294154851065059875121312230\
91710963285169748845304396826188193643330309574015598924786944833641536532770\
16642185570087731465473681932952217953673978084820106368904918072389621870824\
77422979253354203907644255707487717840775762847661285736557366067381070233218\
19244135484668124622297021462032300901359245638331318213511903261714648961976\
43013625098016579727932176764546894017487409117296141979347387204225445062232\
00707604250998385585723164960934483848113266860471975929379566240154578819249\
00775107722374790929025899411879238090802443317481156442906280749333568410138\
23475508447897920535573292963445778562001036605463161836973404049562739446775\
10936605090364384108533300903534306996319547147621426599157401115981174775690\
68291247821051764449681866417778835883884605329709309498573146929235879258011\
93851453493590804629445568583166892422935923669599524848521178632065093045768\
89997698874878012716418257205443516446378602973512705770279070929444356865853\
20609839974538691493051888734885096378465333489268881687916456985667175217605\
84959422253437923055203368075401644738848238386351072096003207414037981296193\
45131821832817248304716689490001778638630155147283562458917793511071706229541\
29217521793701652320299555026380987061681645168110821719927308315282811425124\
95774249023073687063998169222185792704812416612134584549875450561310489224914\
64440688629446673257274356392589231528126871336631056381906157669985837339540\
03211448346176803789411467229862461657911527663580470300777487145104366333111\
41188935172473654071970442883598697329089241461181371584217935026167450120680\
07937384616498288383275414293959023401725666166870080654500456156366313872412\
69773243355118189331320958920184693304382231503095212420471416907772647763034\
65807860889667135172169007413964778984545106379360285826162108385193970844294\
13740641341887313345600770592787151787920143658922801528397747098306409784859\
10379182333983365143232315348495815509990645250502961480973286730819729123067\
57498192983665774594445386757951130330679349545360853628483397350905957881722\
71125394402472309091811620573897042433564117130614785403810791086280842266469\
09217893585398888275200151192956603672926271458339454806273832824966180520435\
55562433793878933438815709077418361053651234243298500402756884870568999688031\
87491696347339631558645412728266281169631984690408947931674594972724796873725\
18959915185312582560832060734198418355020799026278598980735617368056858638854\
78335981838880247744251705156503801672255723459269876889325472015512983879969\
71140290522970504710826167893023112126445887796836977393483423341577600657415\
76359310744141657599271475443972455808420223648713208344368073890244358799506\
97111396109060758208799512648925943155037312754331115279164679141059545334562\
81818530423598217924297169242920244597273902470181462130452951082653777592833\
70350872816009964239457782832653666460253745973520307195825233411317436703321\
09966963528604903488954768997566585905211500471285197823009343782671838807090\
57387838919331647158440278106226374929028868192030899239632490990104529558105\
23185783528243235258830269979709051978022413579969252724807047243814269951165\
54664221721575634510864211578917664003605387864927803834817359930061170075959\
47990178429476450929012487900816829193404652424123992686562657129623799150982\
06938520131301055224988531492175195638398394881205050853880279210638142806046\
85835103913117685388512672812671508206219335088599009503166670770250773042896\
55841010498608147628067807461855260690136858444304972072540212340003618884735\
53714070540157482184814683418480912967276988901117884850772393390363068228793\
02243809513827573345759618985851723240958317639477454435525197350003946187353\
96286217095158117623416560491249481801235083187194742749476450532222657635839\
73350613673078945731007711399850260246768220933104838308749658111428766454441\
61742758510102932626225404946642687787981185162608435734522972894601665069017\
90226757474321264134547706784261599961050299866254551972595944855158816995175\
73967049549397128835476782552816117487243364738437386395751837594891980838894\
08623589130613638565410029543703111259333572088880876459242586896217908682304\
66607908859859885857573829756543029855329315429246794904900039435802378751416\
10965919588146197519643699650047399369970551971851894686433053058230317704769\
32750292785821209442583120483137676814312983567526000377876345498211349255973\
63773121017605401493004567264929933473108674119368657390840471414605870451072\
53504174804742373639641453268161361244441900329395637128484539993616035656192\
13484982123978483744711296803116983123453720329530791033878974431035784052109\
51199075778441872229512844681542952612978034666970966976912679111145991808622\
43834106753283559775402519898431753635111689929880874756267325081503396044603\
98859181658044985720615958979107205046306855887274858348411531300043841046256\
88864922368386386025659157752472174388209992854578043970263534058889024619918\
29461664974522184762812837687191821995354990787875342485565594834705243607435\
11658320524453269246242582376040531260219866435351376692727587748664290860019\
71942484663087075308273331810033935660799163368265016913636579451768418253415\
31927125449840203309253185873594359851102238192938629473637296712535559552793\
44451279125299468539941295351212330289955277213146552595637469215227465520476\
12259886376313460825073508295211086607945298475847025755497317942734342877099\
96467261581806899229989769587378004723271440356992463455587215223400172468104\
12445385233935195869885752902686473746415105614200776650739776860234775916027\
50260712646178281160064328015205774102245916835288481091022318112780668626792\
97928050817973822975734097804069491491715017303803176769451689899302277394741\
76260492606254419506503328236184930127914396596423999480434502728296119040660\
71361649962606396031703435539516791191723524858981168011816056050353239769908\
22958498368730918711776850221143395256132628041235341445782713363565034488321\
26736944458998311169796552341072331763114560065585845700591169506519975167358\
22239563104690499897402422787202387449406708608465724613589052433068797796499\
47097995995332107427506539735129796823268397678910504936015401233252726652690\
70684205419539343568924725012292636736755632133719999903102804649657599290258\
23924923850623984877049036912697015312048003306174136641062863286602846807854\
72763560255532440766221353095733915480029516090356072508363701840234545175303\
67847589865330537377602279145093851659108502944250391442856936664016663993552\
69050713330766172253555169561551002871480380440991879019313248907596846885533\
06251243882581735676685152241742673100373323319694547579238704937060711082757\
10894836583867660774665928222253238471160316742260605799259963222027176936398\
30464050849480955199336297488134932276738870893804326617693254819940380095609\
47409847413282841121919516033500546714704787781693906700275112143375169898316\
82025879803757946686895394341692833043019154878675586021848569839193406452262\
08105342870070048058097195441973875927798610957662732011084796529560473379357\
33890399116539076227786940033499611106233144046321188779010676652996735841378\
16172722842698275835758528866740250235036892406979394153379512787296002846841\
42674575167383425708808637576985831048495383971398997959174723772929702612762\
42190293946833249501025615258149265307680137800043475464776000679238281056910\
33766889943405397471790448453442355096096264214440355418700424498057640705144\
98929689395190868553442683584453322859740821521948165657161383184772719645171\
61349602075179988571105601943033643303426231401156505519623183169366503964022\
21295054072320400881974526873954904214272827526389708731527215482245114931942\
60477485309512227738909658266473963904351265086903836318952930126751091093499\
88416125993907007475115303863486632652486249604975882625309371293131450054609\
29178593666194375903794761447528810981248015189393015169275687272032300767909\
81091392103008591275506878698194349367943635142219856656511949068356142177229\
77234285572783507031346019351424439374223580469023979669730856033120184838904\
98841374470114396854622414769611236467409372514016698985274502345727242450584\
83583486309451925968371832607639140332200933682346551732435938830229505621777\
70925568650947380341075724216799150299601176387159506267361245082500936847626\
36365359336619873445690497887725556511184633036048125243043543517149976433873\
98832142300032907518690680529541006346508691340626985969288626182870391124650\
43284753553410201316216074658952051043635628177317562634026564267294384436273\
12342439692053481194169806589170705022027458370490520662226449291409602201931\
72475486472602526845848392986644671580552772108798910577738358128314710660298\
27229704089484947734160449318548639426060707308355033520694356785576842365540\
32370342528263949434546713016312764650068747767629011373033434506267222302578\
72188680101691792864929816813554751433359589103100850293964101725946552281999\
04717940456201476702730628639229486239366119067601500547904249381224695744925\
70723294694878504361833574987206836604596837804560708882146066703728288584790\
37453673231418846779218483482587745065688872123273902339306489921610372335285\
53191863701115337824155494471100145785424759881713383642294488239607587875887\
08037806734442156397556300079935881171602097115231422451630482823331605506432\
29915461761985331469008301373975489247917671210833443561118690603313341434023\
87111976409269600900598811474020414547856780163258037737451718776131296822043\
74817581886726413458846541409901461389560754292919532569783289223097350546656\
18409696998439099076710254097521044963319147390012480419834694987609346505852\
69591581351637438099800414161753273211203133058058220333135102678000090058954\
32504755450949325540036273820441532815918092334154905917746606971221248113543\
95121969231880382918638087531400819143252626112883953183165437133370951194274\
77253527759587965588121547311078229381685412463074114695698062974377519277515\
87414130468591837710290821771539934145321453703707800173676600198624744749168\
60237173797974171306343903984789144114014842479341929370729270799015734968237\
02682641979074501585518630008976833441773407690899819393432912269161389357771\
40512505250763924501736511346753623188213832679800832987648940546860050853913\
04147273292030371077046981931586279929659521427722095445219324697281844013607\
36478897680768119952660003079997212283764380802515788796949685489625463270144\
70614613473477590865092784394593849741159144897455712087472478079367276111024\
62106166198440708685835204053614951858184956879615600278048703083408187767950\
10387219489606436201273746199824403523508953034211179859861314767058504970083\
94232364291464032947015886989650576736583464122137569492384163598196141531226\
25155015435640902955193306614067712136537953910868021433014167040268450992899\
13584786483489150103629954616014624911306304958878682372827191685825767225211\
02074448147101186576932215837611466376638688033095838233297110084744280740142\
79817561233039407307656654602499492291195416829376418302021455933221468370408\
51760524271296761395661202668698494111407569054045514653616379398864019626941\
23639762539457365713612031426083257476256823314525514327258335679155728722852\
46963076670691518856939572292995735905727921106023720425764831213288981666413\
39753172820486067228501222326171381914216967100436729698295549940656261404725\
67762762927408015543355411193712267884782103651692365444908185858592371259412\
48936073080548141028011626585146339729882037229110179286056949765234297489587\
32992981531546201420154922273516283140509387839283632895425376260998285066078\
55494893127418678668634486935715839365872661826665616475836800921269243668381\
74868731866467127081942298877494848397881506809121647591589871257431461914554\
29572964736727044964817446305252248691769224521061215796608009686365534380817\
50950558860487027238632357843444143168009605100373066355653356583220902469397\
88634112063815447285300584680320421957008665856870658789850885688791002198914\
23090632705043786025362172701265099925375205782573848194009301531515693824230\
76304391383894228250258659322044779816525622880687273225931598067157791072542\
74285005815326159841566784319491789996488969292419538623528068309975591886690\
85133717638179486509690681923782096359731036858025744554639916500052032333858\
95321975628853016557731254971868074646705117486741802258621816789121723654138\
68562416639164546351620535514953463019155299976636435878783287700567973854766\
86353177569372657838684197867288851055428624632969398214242055105555736139032\
82057528509204227943909725911985676461434965498372224412451661634232178968716\
85163985739340654499821193245579176195860449601833923821367773646081412081907\
51554881942943720310119805730921590592925126105716202184694401791529505369553\
75625166503155776284592517637400753446971373582694821646940300689933552604288\
76862255919529758701023977302027835641196776129404687843629912646736870951202\
19489173835180727817870069829654742439972964478848776084882000331602952747360\
80691730407193009387350766449011063574658919606008566915988922119140625000118\
2
0
*** a(t,u0+1l^(t-1),r):
17230191732012322504784581830533709332806217730671579567354701351614827934975\
30843126664236999607167765544824638081266546841204384215758278412312099670137\
66126056072269712196937834250573877592492230212322625538631611178301347476290\
44231309013431834582580708892537176174034859976141466980483180219419113284884\
04124007130606114045909688299089601761011312238491979970022931185277724967296\
67899762933091425225282943349744935197314346027824288645101170759420194894480\
33601418550056048884527731339173115567022813534486671642262125320301725499987\
90164185247572272302954333311142615708952143163678952505138276642426661137422\
84801957374082027490747707590677159825279047519280357590284492223319788211543\
90803474090391272223484293788027484714427526395236645400829397813696911615945\
64396732822401937172163972192141603845600562137240449212932849690405389733583\
52755643812679527993453825496353218625447523871490500175014531970359328657910\
33961791508056011996400102851307730054875226610004654691948812815749690200634\
34764844140774696565196114697786147098085186562456784393605335925350874632714\
78056669484918580985885383243110934901861451121184272946223097606054302713772\
53881412194618514136070858411309681521308166533021798002839930728524475833230\
77644732389122038305329873792055420906771136722960512959302306859223550611359\
67606023637752756798478989865338048545567800522383115448366593207398077918326\
85447143866744059454357050733014898776960441483020928736750838914720423306234\
68116183183424591247273882920303798112066849324220066806999345999510502017304\
63439068386536440094460445929687925036868824467734283262491879019491767146488\
15293901194946957180463748382906483421342685997861727634607067325496295759502\
52440001888700860534270178620826700595663695437284523938007943164208338620866\
14619021360078240007367666759102975974644544267355220661661019923377653620384\
74294375697262288293535268515010962910397303677223832755528973206908341653231\
37740195741327179586883202229596936535929497532254663566697977623618605130325\
06783231031509951311700399360560091194293431284968497539419754733391988013518\
76708870302205692456134894711570896927372752378159562071742261932472773047941\
45526571623973103212889766518387140741466845708088255710764249878879232081022\
70792704051048081639930333500408663204037737359329146488479042075999609569957\
81782848010402878686424389569087148586781962868891902922411445200126260073979\
28876985949509562625778017333999160446466307281090330869581130862637658005427\
35277045152601482693443506305258652545323693730953587392556137876030659100191\
64998721781451799454299114773406622130318785234914665925036075150763654972597\
06298874604453118585511261079858053936503678355325007346629899172213370179630\
19291168511444310868474049914970219227094692445651052783899131499009735888009\
46726085204103512494322952674723365071534336459399208711265490914292603215002\
44643966862632692432115442407938370112551365255514783388004965682708432701625\
02359760648323038087991900071824454040475142911324738971281151943176382033881\
12638844213255149399213026502447172350321771702115617045550791160175400297220\
78735729929279631111557677275242820856030540076819043868276502554097354178064\
43387472440598211753775244563655040676382205540645287440456525483510485912740\
77515144303253198458917290049769200766386403867901765998096185294602698880579\
06721426134440993568072334130652665212153734659636987731092426274044163136683\
60787647870113152102494870036874414464252991125562422645628618972948022839455\
38016156495911111564598496615230784723415915514766284169370040357011410106077\
07643265364785665087137507913154589009229307927507801166580908986136005208605\
28967652301551779753658147396411222431783857387031947639997461270569238268078\
61178093340760537284104330728368376288276932504382480898675778227166386910747\
06091462686512819486930275806104134764461011414290609629397922469119569691598\
40731904836406833867083331220930315401931162765956255496981596008805971142900\
52462750203780863436031712079453339985332407327734623817505089049824322120228\
16144084252628073544499239602616529974915890778796622050271637069412647828183\
29321415780002333593232960422739799587611331784393975902419003058288375925722\
66203355579638986726380190089572839066895254326025801075624305998045294328811\
37364245835244259656815114125661967604591774015178307774416700341649231810660\
45217309764301649946523949076210644806990371022000179987319286621485723655236\
12949945044465932241965243561239769938494893343625581944392205824589100854331\
46655054813472386364802957531590781327162646407374172847062265514923859641994\
26079838950270079136082101771351904315017152190336026662861415402651432872531\
77710935223901668927294285890636839149287416034365832020958795857036698949753\
81566754116942465243435822893782402228933068990009974542185119979806732440404\
22676100128848256803831271660865703794406649378313084234374555207915391179358\
32381381153319290488560266359772638933686865742620553052424339651171099352674\
42197639019805160808579305063716526893932437655029309790433169019547098891369\
36891456236375573926605498370819399632599166008525056046485859075612842842151\
54489152671649036127703021745069840648164486828935828790607110821343393469164\
62396140106858927511607408363763414866057784984288741013118586306008036594911\
58468086566858975861400245056821348758123488787076104414113258365484215936987\
88246502722490159062288092294185034641698619784611096233045342489689873317385\
96085083886789835380672731225128715631914863627111877315978165385180217537021\
70499566632511066733521460152846005901813145275969977346316763019590233401358\
73596021899516457898762971444739954031351813448866539419791540485342103776047\
25216984050372341423216906018296849656471684071797272360238428904955714150434\
95007304704627655025265798278882816449943798523536366044204251261952899783645\
67507578419493678337674712588689967675321829777902769279656802450046749128098\
49266470020763386848588932022755178656380425904107557277465328483910587314429\
71713750708057992154224538470581834861665735045246989011238192936859026702211\
98220846333672742693008423391832264407802583070146465537481691286923066319780\
61265614203048026416806809655603367736557556407704867480914643636792300141962\
09400170667257003229911635034449151836845646037603156689531007932106594797812\
16006423736419339391391804027662810269980767464236227992675231238986934017682\
68223616370988919048766907808087864824849994918515389363438978501263765477224\
78010316895145340930091438319264236831527256045346694113307397195955936524342\
83966690185097255789652122942528353161214440640343503097074267598036063670926\
38553860245283655737978301481918454295690607891024377760685157940859304628219\
76360042814291147010969640334965422016873869262659685998514934918348025162097\
84386162400056571006639763775079738031354850420608955607705749877757258349254\
41712867689234607292466099427803772050550092547060281443884120752337085432314\
43873178345676371882676905236703427088025382289433093445164846895935909311314\
63734747191587601176395437130979269604611549215138562856383937193981101380342\
92506975145709980571546497516104298948688772736472497111344516218116757550362\
53623361227752707180275571205657268278526389458682587537828278410225115633489\
08595237508568937607856045323591917224265443467667941036474130446071600209260\
62628875646180541128271448381983321241040519274801732626734787205473086278380\
31856979587099094867663848944647612052621745343302436055375242403079784938056\
26798531653866962938198472210729155113727855285602934902536126972158017588819\
36317077750776388199484717448650066591514654206287856792164073390354948017383\
94470121287618005921041298213135500881496007814551502897367390086449008822938\
45548183674623626657560188990124295981592608078285344981838648500007884565367\
41245678827534740700764043424943145559820037816118278728343151638134744605719\
57596816252215735093925250531377155667001417263585972461074430075346130779777\
08528723733516486385283631330954107212288079540827716763123325952379487765293\
77614366294488436258735604262404594378321148498486418215322834951747141219662\
91779963458011365790207653576339615459122565178429517661994350562492668843998\
37723943104809729116879159250806865402701353682952877769243874912583350847273\
10247444640776188071583997807323060787614560057567386562734001011026748039481\
66694497670412715675289828833291858817253790368211042717517201807960746007962\
54617822597112010007240635273883665261323811249075299744456936462481088678138\
40352491291746049346485026085869596190162918324260566444909161470463269653559\
66560438133467209955084834365095695012501159818564090496205838984327339372379\
79392537933983303270844617534186066822140963663918699257723006519236954497001\
52452691168572650706699656210907779660296289618187467831007411495250461673130\
76551919261958573666272244840024942374533989194617414638226839391736115574714\
30409120078885218808612449462439539527418252020518942104804455920050841279271\
59756355751816731261243425971372375212353729392122220301751851142946317459186\
85728612065811385738397157610117245710206880201564160825349736026127084021138\
95515003796478243049642006337629249810098811371600132002973408743491439443202\
58043401807830220295188152802834346916720494752644505029932488783644855573840\
25331862208410380968389292223086179976594175979511606125385272714287697447934\
54924354372458911532409042393476620895288543596622350406932969709808187814933\
27449416036971373487149977043653652460161371683370996918856221852050952228379\
85027872751759062778315846494469390690052510894011211737860598558615208792712\
85968286642097974809636517437329914608546697375129379560589649379145402843538\
60279634391805105258172678706845637618710436047083920954821018212495600023589\
65292110604805784231990549772564511841841947564185219258303233778955469316509\
98713560772172176610202391987042106128575799609998231966762434451718083651802\
68290570999448726638985393923414021832213069052400654263824670188703089057062\
44762488770969900947401068643465339516726485692668052537396990603137880845732\
59826275128135985444914847173483417343070657876265047253297738529378798320893\
94200016533029671314845326744051949976921838128908201334424209256073520995865\
10872657370962474821913938348855757269375409748314156162447893956988205543247\
25133909914205774743579691671931886959956304114879243341714230495031873215829\
24266867281301517028047297059065119526380848918435535525130657528140204742160\
46847075850377634537283645559800603054793541660148428126672173226894168364744\
54833832119003893534206629029619169264482545854457135482309836501124801723106\
19388517439056892487156783191452083843748179648224650131362119766135082698508\
36773126344362871093119591780239300910789435469121679149161680502418516574023\
94623867541728038010366428896188049538765308234182791499003030084809974257834\
80195100895440484117790953950191819430881291789969136369563481068293222190275\
56171416418605720995185343187070041175730347444779653868479745970700644734816\
32739658012001291007280286943000847629136477658534488266050763895724709405851\
08605670927347437635087934551003679266841334202716563153313197588748529083775\
50643062874760405552990197570192435373725310260964530865933224755157978945025\
94636145945203064799090799256987318041438936314563889069359000414071228081163\
89365690218182285783278034523260483197130502575650865200730826635159574328647\
27556212559849645060628132052094361776275223080355833648883406958680173498737\
70947364941759935523410107851202053963784989929460168331346312427817479572033\
08748077696930047394323494029088138376274492985826288408034732594484569503869\
37831591736500651799529012621424860126180941357347947644887039170385578389021\
36466676085665889411033234810757689990400069148911633103796625593375589930922\
28546753327331966289893941995737709192810064078235448602918401126030582441214\
74768409228831605461618185753687547761735984321122716207557358911492308171331\
01009803772612114438432433263313763446869981636445769891278832082406317676676\
95069457179122637786004311113522704337114698295748624914300731385641692933242\
42374775272939658322351134675688590428820409399291077736914943645023120659017\
24974018455500388768718163563692182115310585695604080813454313619274103324772\
78482831951070497008835544220146090588005544910541935083704876901108301115473\
13151636220573191166201174963559669794541384076979057285640341451858586480195\
66788687351252157664160571978865350620748037617152723505081013836633340280015\
32987104946014438007711319848649697058916706820285401149071753425360085548648\
65265238726256858091380100809912346945372226306765321775319474184696505484659\
07130082294955305308593516598976428620309981981939575566346236291765710668806\
48748598150570632974094039917213275450783170811354269615368661103397664676947\
80550565389801063328260836334702091326873040229750077252317955149112398179156\
40202847176175749936679993706667064613806143447760236880112247702793694512448\
33188855745971020690327599430266794225742389389762863872591149035729699720066\
26093702760523754003888569770281700730205499856871508741024588318125298962542\
78192177070514700504627619458162582543270482225989896212776125526612758017322\
02842073233034199118331465244893335251559420132915927028625485806285298376572\
88938660459072742363166803194677969232332132531994178578338802647321132959261\
93176714175019163671379951695071568136807584558108111347547054139356964633072\
94312251362831343750989570374409279928694319027489876560565756134339700353223\
99312402165803479818319919062337756419320572031686660382743124769008653999349\
55030727080943808433354314283627876300128775114821690431733079754593575028907\
41697691966027551910953647527752418683560280810612628482520998333434209580174\
61972927075199105525310979003885040912528354298151203797437472141866668459715\
46445066375887197896342445039272212851491403887664965032515587312607299836991\
39143088482640237980729119749258273359925201510196523010915111352386457416982\
52240998441346013408979491085933819585447634316351597420347067499960348791363\
94098845160995408894406986015876642838047909853912301292915386793417343741739\
16375652952974722503990522397940819389970631624591382027752589353777862177436\
52667872316623909868427257550004396676358095097074675177250459629638138597329\
54568471096400815138412235257140414319390218037382739418596833787781068938895\
32806397901517392546576385643005119941280221402553384449203951850055853871027\
34149834042460059386303314531310911826914459473584650270999760401085392600479\
85838922300993390766150327901910758267680929351395116010016230538414803202684\
84078128463236833791865021682504057718984014643421976879461697330735191063563\
23951222278633265760023384182327730573921204316888502043941330104704300456315\
30354070440110047322980863004070486442009466418682141010382516831247648900032\
78066716284695270495456437826738805427156192879668793553031683486334753492763\
08208638197700085606046266124674400061786542949472975453996990365918132890530\
20373315554743896641244487592580639814576794957950771054192995165275565684328\
29693870025470706483421134383583779857577467546523200825030995914108260406974\
55692120146241853731466976277995369325378216891736751333027713367021084926380\
85823975546762025550534963835677829837418347179033359676939404402099011277675\
80591939734256652306836057161481216833882774526572215141696389895940709385333\
60106488777077392172451716216851109403852130153964569710126450710186674376535\
48297706872984659398641471534425141077971414090069954204930501686022899419336\
23494630763594280926687927137141966000936461134772140953641394623656649762474\
51225817388260568329697437584192565601077311350853469538411418586475883844080\
65240497616021737050141160360265212272271315206212673430833496842117424290895\
23354558435191692641657593900584549770130301985726746503610385513284986091766\
27797210244929317306644562681787515710105703077099556082653235737209767164822\
03438052010473398285077276655821199666101935958980723829925052910211529680204\
57554660541897769287409977427996418167180396015669560336947127654288215477233\
33423556263825976163306902442529285517726733000987497240605239337516336795025\
40163670062036853876577231769383051898499910136405584481615838010086644890433\
57844650703019153853468448572038411488985919042823729469298231847592808721775\
43973675600958813950498412474685391561142964531259677338939469191097449445249\
68071557432011018921852947781067394208038029721935585808562472767099543863993\
20334708447997117392414938486845550892965813476029312148745229033393048305584\
02842697252044522490902130947593541077504997580972226226194391135781853672803\
98134311347996599359604778359055834117856892896344270048511369353228721809748\
60973514936176686574791324184898820228313269338288598868830728420808400372779\
06708984308031407831108655871440565615649081790383191820419582883283107523635\
01404746387040711713955707515403090228117535870114726371862746355628010479171\
12441284862870609514480961502044816485487955523623914086337332900481994047262\
77710479807079554296250794934459856824426760470531362903968698354310991292070\
54926795425083051611516895805736193944272676220228598832508533952958289734792\
58257710414262583874747169621414828172617073530009451879314601139901538753013\
89913789553404627601818780047138457328305278585755009872675973622144565350312\
45690711627039525966585787816440117241470408381123622533599309790245807689613\
66363185579299135358082577956105483257319344637685580620099943974917271308030\
41825822792511155462402755400333637644973013104739805726382291932433864908902\
44406804555546465357453544573134906934405917113671347631394774490807060183126\
24691251899004943885173363460122058147988038007194153672621452629999298150832\
05231386830572509891838864793359067150602202683251806382522137163330106717273\
81154996963417666786227194903088733149460884676641207870644687296641160260048\
21693293940974337589737802676221561231249352927967465432660089539201278709718\
32657804292884375501406555312687313155721531712972764530285368586968360716265\
70044423472023703031233346513170223033347111222654842618954630567740782918368\
87667050603736732894275745945092715932301515047811442462801247242419304666657\
15364220610489283300877000563544904361907687775658697952121472819223161027504\
60095015671917786094838672152831441934545334694441272024041423578738589151554\
51714252702241128284471627689759942286248770174569359882569790820135937205944\
93224809733895277219762091140071487571355937484810973859621762060888924336684\
18057167138035976468465506441101339890062571909569620695369891384099793634171\
42930372970107435366520891572095725152173807984866956200849477903777741475739\
12256615615639919947382644280505958927447876440509879877144299025198763261955\
05070823376007224996751513387935353651871964158699163603040899212186123048523\
37719871958266800499652578248426844630690319688037664876984298086076311975209\
44411661849486604051239765620154099184982378965865817884522732804013528382533\
82454653353924819756827099439102447831400299207795331943706572666429224453288\
22425109585117318119056103605589490123517958550424886809173106232524405089950\
29982571554096879148886807908466365837506880799679634443318172122629310186691\
94369908176103931633614227005004673149360937456646536520197375279221071827042\
06155457166993556668889272853387146378301131336744823609914226901382713816624\
68767076617370404096793172849719716025038913057970349409198533409939926136946\
60207384322521035343660019962689637171923352155666195329972638377969397080283\
69960087010385545265729623232619428218473615448817785915415944736446148125756\
46238124668573119490011641092547281074456976015716001544164122391460680029453\
96838803170725921985866536023602400023285680676115512551439691957461177992454\
64519215656221359154304913604304262292664076866931013905816412630854094239076\
25994432338708680219281799792039022655463622935648228908102450096073837404230\
15607986540337055969307536186510807936926433265526039998771757029587811115719\
29963084536883103543910680294458413637437098713535078937116925192205287715590\
25571286014951205116032348687888246637860675492927466410896114528819212434348\
04710132040219430108449045612650650739746735701165311399214222635123101709941\
16381057022109642513055551190254053231132772913646483163493158747338351847668\
05608024537757244701388665816726303731034142739849804615797749391675591787105\
21322847765434218191930902623868510566083860642577221833116295440033466171776\
36761171790556262014737361153982076039480868096926464523356466616743206611320\
29170768185011194762376220414170448474806150130612393636130060355678650874010\
70969572011154955054427334219582493481133912300006395758586674733879983200622\
53908694580292932871281976303390002227313504792042206845568470637699784905792\
33458487474244707130567557221402890131684697136780662532429105877160187136664\
34155966381792157348748889629617417941476312247975441594270087050134192711948\
39180324001619517152129765638139710494772333287591638887026108569311016863573\
53645585007901178388122335457430912486202919954895719364993869529440470244888\
88791997869806725691720257968537980366302904533997645598245040644964138632488\
40101392278541198056054348263707537801382997393616083002294163372308660086718\
00692304897520820197466527958624199536749874434500425125284589281575990183092\
42157849044481026016400249694070583381081474115271442405369694527599001063755\
09774177623656822145977271744863369457048966659260704353031151012660119934324\
24514989848658989257302378870510752078791261101347811083004437525890307756227\
46632036449522807743614364390289609231036419466593390145984738589711178199836\
30906466989509558963573424542946990182804427940128430015766468226853123269446\
13880985464145386221699842493876484241315944753654160478945879438779994459665\
87860837282595911462410485545753192580745252977259424634494700078995462910475\
05307130135973441852360028253133362500319879580575824145424623555488952756481\
27605173399766945668010902653472764546759683935789028156761726318566996318039\
28130595518984851668877482627375899937815080519831068481645513589147524970434\
94422791901092350617162631826728122263085328564185417335543060460836670474676\
40884897737005894247345103748009783884359648512271458697143080990053072494475\
93979334509137215547260823406639719453928030010276937746839177063873187191382\
91127888106667213805569544940901747532790565118425120937424880628362526652479\
56506146662579979742891677030370876141805311083286622877453498837432151330271\
78856981016640665833716381427660043310987585654417318614700840103624048612116\
24881750751347613124328569145434908263179231269979686977029467712827471232030\
29223751263440979717305913405993122368690082396697324772029239866013316706573\
85697992044905018095053035821227926082193002165703625124854990281363125824962\
55795595392267203114693895950916721841931196888022666741362003545947817738587\
50625552022680348521796070626496835360596015245699674852162619047768761607619\
60360716698641988886309698534921048925518931925377584143119353145637839894029\
05670054692818790795537653311303955196041067320532786037377090856621341665169\
47858243606043049107300954338287146923094994622353790127881561228713326253492\
87116056186227805004836744267335756849830087194370148234428786706909204246505\
90127534577947261624277429276373804478232576793118312407300794285492051238316\
80676500324744767698506961232956552584278090615773107890625950038036992497921\
21048630035393889825231197925273619517229957027093494675158363196123932965504\
50567400797967439266604288547034903937882129820149867458423737826506293030042\
36262872612986407870912923546173346293412640815386898644422634531697773967137\
51647025725139122523039333653485538482814225671208297760115996500885826882983\
93616715046102980173360346386180338116938981867681799969344059047271127672518\
85899343751940439051281751777460170443081179388556895962001619268212501831386\
08837587841961849466281688486015326446558720657039039822901861234620649181919\
02035068228885741550030706202801447589488566369852459598042004532642566979661\
82303606631922873066295979071835271250667941065880053747625911311670091632909\
06086836720872695339597726250218183773558951706080208780415924811208931906683\
21399676577627450333624089628119767076780321688289973961693426308994644000882\
11733214596414846323682976280115367548119183256906837801678119008122564416441\
76498647209341717896021640058845539925462898819444930637698933617987606977625\
76465410831505963994256462090983057963705109707736313053792849146037305280078\
58090716978006935462599827710881237352620406967455968374545181772715806784185\
15144622294168484903727874523863565153233392628634055159953534791907945300049\
77900617714228448262316466372720247683148914425464079874860011250410261562942\
81449612458590064611934044098574214793416550276879585871930566292031243601564\
13193111427302680569409138892744904200033557443239138548710778808428063036908\
64068082042270679120353574172161486382593735132579937808814368693607422057596\
59439795446061738328917138577250062991382370788641281837251180754125598021173\
71782262677768896350146260287598157027931888272306728657497705271334079307604\
13646799030847914958711069002686075013171779956481657593257131139061357996397\
43680462788117359990936583041865312055219793126720984155033010501254620803343\
35957584089717403459689245876080892044140292040531300170872277947302572669321\
93206068786174728895896521578802282026516840894238183233084516177420356304321\
42422120812318056356107916215495052663845482546633657548023033809021669460982\
92226401047123728283488369853738407991546362685540518034766888659000944773355\
93996489775775697276086939797607594515582718486257363110780715942382812500119\
1
1
result=O: not congruent.

code version 3.3a
start=Mon 22 Apr 2024 20:14:03
end  =Fri 26 Apr 2024 03:30:06
elapsed(sec)=285362.055804