n67-L5-f33155-r2-t33153-ver3.3a.txt
p=30032989141109740519529279526920046785738999420690884044118785317279827875443896909089866690703294822344536259104144725128059526529404835256713852493294348744428732806281914582723458432805473324373420763992315990972612867723900377467755778091004165125265418197732644000142551840812805097042713932793122133281088316243090062273033761064078160972022419759367976542147461508322234987015747190093813735668609178130501074700481008373250860459502887150575350978872858458032233499307541708102426628231565712944764739037401002961419774243777490409996998714664889818165042807641611314881947538527402533579932910423516101902115138373392227282900362711789152571570818656929133939338897167130088019556037774031972326458243146198815473312723021793453309655806877866224442860882025743883764754583558243812877394833916324312080929161408600069998378418866563296653874782315707924814501962325229400127491356276864296100117108501615386462731422943524344659003721040658207533227080267199401791147705741741522255174839696228667982677212441742351528625721256874798247024488591733865639498092430831044465211532415362999241536086969830095077735663127951629950354070972754319908755060665830404691385758007177391471172703387546798587152283289291243239161751118527359565558271546474907244240919274450088309877542984159660200464958162076744330428294643952885984761983516211627987047882635435861469828989832870532899025722501392804580616600419336705611716097302234934321347139873584572958055203757193914848776863830975654376453185601163762105254222191748803007220718836492118007524916839117664995634063235738791250183401212370377139217873424827376105908161662617372100292589136976357594198761948451323542591917039936504023151689650928983226483985201569012003382247099204469665605928651173767436426733299753643038874870404287921990321672124681727191693840488390329832991633557999637092787785482881309970695338400433720574703106704127554318077941572453652298611665483305259491289886161509992495967912859112105892099638800227645021302023495050934626691343345892677119336720607238666886724598571821497088882017053663200323218262786265702268568669489049578306393716989507451673454603024786213334845432172201499899485217096957643612444801078343644931081185063181791106795982211946383309341388162541399598131956947750459243433486298404318342731714599626941085709855784495571934718901866275416083251011482350903873256717203483203570723540858215166063052097700559974864690071794698628710519659765160739066454613000759053729615183583680474531162405908488316077680784336991599675373480032595860042574284056706682558477253330200481864272151869808306846373164591469927964716654635615417384682729579545975172682655077412269553368867723067614670446313032861907184393432749841170617812056460313808598190986057815348929880192712267020745298801685910037097435277404040412182857144221479009126617726044103558764409116744627573685274776196012304311977686491628331612962884047781709721344668856987487841186903275200350780285842397115220426021386232638876499819736191616197068353570747540253903550344621360270936886288100351517085077049141873770327492223113881288916788632763485999810710873050460826541206576581024578830552553449473909083832771500647620596402409946391050287088276247314487353616144473171481717148277743876514577432784451277801864420654396940186259841540072990052061336393407763871991291971697419523675804509289392814665710082613736076206299782500547716383318745384376879654229567932085803556704156241382224208602829968436762589087110606267991998630332827569960582111118120854008175761921512834202133150072731639466198194275004567281340668660774256659961207483665240062119920701967373052492674966498125355149640642439939475649355924462512516924784859143558780637961501507580307081593017070058315676050081556599228413675552159536884465591804445029722653950287727496208800087727442545199576797470316454805551560007295714039466500851361510117820415715496376028705690217570323195315200472535038733741811924225836728955273425411516382782417210204357189207897157720987388107158707382627023334753025880015735648715928291283718359500723208428854272402259852097143401558313880650366618988517756862974635336560137015833265074332503299835443499949614627108442194143458417302889533479775109244792909184350055175206821170254054426493522667931934003152775690405085587262072345501193706990411807183659237632691763201413201306410035693638235025237867304173077337469663518659715200209446138617299897677649303083873070135904062323237757351622735326529991733816556013726107114885557339497905897955303167290420611366823364179860818008781295837720214219561207189730540444587059321371399079068770818113665775637789886511303568537359382750488062512061299752262592896246609179130019899492472657511470897291515762153156452204010456200683261595675632717096977034635462931762743087429447849931723850493313566030638979248122093692969606498197977700173176010980602032134523964424570093766180883269154497293659606159272615036636334721371052713723072030159104440402470844064397635874674166861559762412623429528377935062223735323366692117365705460131032541130056064093950033876858068503268779745880667269737461054421424705456810625523806029748394002844691895384559898962427015279758256037298751104869961700950629959004208635762482601170189082591231535011301274818819527663009686394352002035332220438047098418358685783367409924784368971791953921500269824087613534637767278540180929181287124218692002423854521053926267093025684482427411521246908125552150729398490910883944292688120279272534236512517772147401804086864938086695414888729655969091797529914613103549743952434800770404585623222015684642408094675541630234795396863727468884273436707803620300770069750676657776585696553723613020185145765274739424208703701226744719211520338854003816674390165517046984288956243837996342418346938989673476368103633044813373475382250136894364375909002906875332792747766366623721478878677217106256441642202919088468123570820196293261523294961115495471157803244328530235611422407904573753159365316934064486530747321350787553856384440409660229655002228007712128927475635176464707898660549339920623712488330490524246371648470579524034797236567551223314457625600941961312059462285901164123631566978933693651916757962999737066038616367505579424627536656385161584598848471120299506696268939289717303540511949080618621906027191157642285609150320096300110029453097760056995779738735167839359042205493948642406278793236581751552625574495337897681940843510900497421517795980753342220603435778494881129421233489903817958775580273876536766514487153585866132616845118457218900478067741343972569487972005159897636853404101653410240156330360451609728712432942645026588701774158208680805552590131370223099862272287540650944541916726801322604283722741381029620317762408682003440412323835697990276379044901828952508060779249763443811864333219366588692700737735043314596026114966279552059337138289304434390776134209055367825747591097933172778637939785211909675933663188339829265560641926710905573377259922286625084894454477579405963352329350594355429346689643797481654434171734717403083207780916103115488440887356127012729716686389278810302111821551011820801817778860332969038190376659202692225955667983807689901744084831374713841784633969754715122399193307650358891091536902502215606711239035907807464885835426109146006903144977120221444863650558447701647697058558093961207582743828675120337347265884245161092412323760568727884902558227505835842659099324421478631893805118700703536300034544674265643582385627663828509949268400759159277917054337828185480411971769864695494054652339319671738396941313594764334598315132146254861803345176257826421773433745144918153379384409546393442583752121700412071340320817482892998059793314598932977000736612960829968102967009738921451968015371875007215826972547997977734945899430702309730917835876219175244324562817057772687650267658786959407939802619559957134923552359676133047480262621047487000498815322754154857855362190878595034806457795877552665322091069793738761260685011951224932726407495274017559541066621077916028064717706718167422431586900128898376312686783413507082334627866187045167508082407744205013492967409919648855573017229494828634993241582428611925604637538714946872832689991195363386178872198955303193341230602815523422334769557775619879856984551249268028053059452342547349087516503184503628557138308357500657541388823167375943214336208534901441688654181289716554139939905118337818533982625291222558009359560185147240807711224717352644089298563594699006379497212168719660349959931914617789325947853051523860110000052375192669390672597432666468363599150289343958938458596787817683708948703205374063069402075546966183133242505280550913958351200141518822447848993776028193546919091548749647838458977396442821757046392102369209120902634527380469945663357963292467849264410531661764718591114460097829995459259172160234587789809059994557735157380506623714695794418436658037490505434373306830914424271385105532976644003654633519520383273321562741524157519260228428751770328561881487025906581967147827401895779240890443961109505381664369727721631335653408795656674792538492430087991284585697710413815041056166288985301107232668246812097643148705656176337894618884425229806087207953222194036200652374249398494561517001304164319866885378572419906978058226109843772870771708613890904843503108259291360451413212127913477525391179357004411787622926418093841764185440451148974973860113573489950549821519452932414793279506059566724060504351937779546373958035399362988336004565972174786954382105371184502294611316508893519480457776873500769763190344710624343539836054158791112402517203238511757829318935176420879961778949519596412015571201317474234195256921230640400757932101930263509172370119073063864664653080978460767435678339245798860298325871859202446060991176547130556565812476937319190372429599734019375843406528785351396637184262006545527928291917290867706941985774159843569185825268503715810030806090853856217375883826124177811488787869942503198819420269256754734409640888858269453852857320747946116877162267816597138868964652346630324539739178630365542314290519305753185074064038722732485952693208539020518320315592245132897871133228673946128099764948058487634800362080814608828242965498490305888714667249898997027642830990022035907120470748327473432107638463685036938994888076912339109221798038641594673966488622646123361698645870238077613080907589828463180485255365514179788385039061359475062118988122104313456190310840341925605224008608024739223272466876387486203441005023497575005768838455025114564659523894810046268295940246153676289079457383331424118074913770096160573843675158318468523895025042155323932898448770233129129348897203777472877006855149949919345464414733473945956023644673025661107281220209457430704401740948792337356027928150460751461603921929951552435352311045630909885278938732659781361940731924888108030847981427558806606788313087463906160764537075173815129974989010369930368410895990558005154100854516398041452804310422087922216062489136800544862472041733528314376569330328296501370644251491318671528168510270971244102913150826087252683740407946447872239430541845845509227473695086560649721101022254040263185060057158795262759691792826467763936342198121779659644419743294127386336830905916513024738894812541833260964615629524661506998513672567545433865292110864796896315648086845411653199788618306152243998369967670297209863302421197379896088390464393601991860262522678791649281540656592144952593630516015097984806672999564623484333318323783283567995654586384185308248386654816917244417426610079818785380943621441529264266676035701654719983715783951490518217907714828055156483290127140195176142737688398372959137952980733420400390804076578636520998606564770848043940362700996238268020899405396393915871832455906018162284480397879869538115279256850480496989119385453343514490525892009639886173662616345942990576916907668052298823535023437580848438386653927355637149402697372430082014479682762934237021301839503598122189659746222248434546861798723438110817023012740574565006382946346789262525835885854094186863058375191747474108746647440480068659184591418854916318802012132287015648766698633956212234617157451864452452048113231998457337085783817129847213364210807053463653895361330846404700647192283855628517810107833136786772941958314539043036102928583479929587779531534981695412218235955994923483030437747019618366866423056356898549204858442004208273898720390125745855507197809139727488377995288073718422640478813556463799802096335083502109854776569878842157502659892420377427415745522319112340708244234510024499981363503849703224541429371524462428030328167514146530606544809836172459665475449944155901083645290567865615669713223006392232441295433384176917272578522527633959280450842802122256584050645337206999119313894073136689645257525481208650239572295367979090645473314886017263543805920113009598703786420101186204160255206804552149154965082684589152301197299652416433521332826405744781904724604148325064073230968320282415259291996752396642985416726730939969306057620884229625258894775025383812746533014564051153608429822672435477644338890555491341583400553892954500273771588392817364912119577370467459203260772478466689474884797130456815329189677088238256649046010441037921370329101262028375303103230347143557579615985752825710360772576963369306242781297862057892574212162982066490154850141134259729656663069931047667356462331456116271776791741398895087216235566481397184272693212604796019072535322893864140877957395476446144722053409472820665295007247313128754362504686919024247198881239226503602995816947600582121027336230716765013513709872427430456662614682806501051183584243516088692854885574077083998915890063852672444126798347545970411780489214666346732893934910708326991539870928797856387516915022518261154670909395436544095122556636126536281008106236947358490744733404821388055501575870634502982823018019339826541725713427394894999671604429077675273003376091881559318389015366173205536098243203388389208756645386788598327753796494551737307513044368790265958754707893964593941025354971770256832856002036047543044474676430881535956513051118629455405435203641977955712859003267890072765352250783628673252186019136451131431223268806323344062176221983773835715240322854736735082593813179349994411960859819620284237345050793585053350924479826281088573822955755979012491747716474830360812784700178319134042781423766746031463278831196415894887591242701307486344181722926705822527611427183549172606954767776130056670123200963649919778105659164098164321831997070456940882392298185075928869650469291112535386306889986400645297062539741771736359978924439398577491218204870016571158556068899180220111762899406660751892884091786294576933918354950985613857961716370666567294376745099221216014248407379472049373840452652794482744824333855967485239523608118059017334992944142452066748452644769205634918465353102531697539562006287528849548324051869307309491522725923003779919594566629109849880927035992559514321270927899854226217588790168322588323330475789823363245587340632715524565297692403522283009813259897977593752843969972662674740509674813957308655756226447880727072621238896978154124451951282289153291606833694188921008961726268326980837730241015316784885348588997056318948983330597856751296274086769519524929035518857955141712470679303039221054239458278348410515498388919502092813306291171353484460013832345693924277317095337458317210964049882384655064807301741308740035932940551282334460993636322039410586898163742556370343462375035042407678799003615760536713331975620363388964549566188633465901280948743079402912842130962781610557627748485533809387050478331612805166269267480282417105566009306521838303156186616212873995109938337886649206667302522716405358749444037249285977082335690412417265073243043504994307277600631399274780205383886494443412134143365143556524984205881012433380304796233982349305232317588074340136651814410358118134600793842452564049394803667283226962566848038624806279307472376558121270931790145418272424806133903019800937674625803983403004177156779144861389188170167050627182337437490977157673773014495887752628999599096298350368770822311710254521369803775403846344418810302043583780415046230509934424073582515764540263090062697208031225263583316728439038812746078545771236869868452561348769118063326572708851558258389650258386494923000886514247034374263054945025264512234523268096873018799822918093566255727366612081901604341707576623003296797007901329666047525557047144406332531996528821575226699155518557851058426759832039343620885819360179230128363531499236231790542880135980230820465548297387302337523907410465345451290524256179955539966281796853023151243638886625437501355787749605853987111855104468589334812261967527447694938816821872534275788312824861644178697197152511307574393104758206039434941820644175263220267632824925676294193463535202001475798729598251637058496765124408958105219764590583671255349487563106622154615787116121866808143251129975100382797296688976780128934574075670730154678559230977158100804159385690480888768416354050672841953958793302320869239333198023329032615582635386530723600792357436822992060086458996383160922239925923926078419405112258561820227503722153781088748710700786290473008210550656011302983193940280244975592878941904164020020958575411833756006151424155652441227193391999847258084034834603753349133626448872821596894223266823130696273111017920723261721322750016565882689638360468096586699606745866639232982004317395834179996663920839216573183146030711719811808338021618150210174403026134003644827609965585345977334980198328424564503533344015709135455368068091979042474651190404183898231222356503804078930778163721611189639563519017592260645581459591314592943733684981767095175244552488092082436752083778267912628121266504283446578861435114696786132006693837341263987227986542332587641441463858556712909438540719586595509797269510177524320705090370754821654353899010925066427876450321283470315517397470634409948777904133922578983538310331470765505285583956919771524957392972201314029329812758597670710135762621092594026756932035945585351257209042408362588588109227345858978252336534089875475058243268368266160213238997254334067555675336839902648594519086342397658166836373911974465028190361555908963846705672665807263548532180392033692711013056013051571355539482109617408533279389858329829022176968173783156189161527445928682586379008218326965829256985347712249356342541394411439521478154744240189912346978149507218322468677180480757339137636773972391482629623470818263845446697738535716992893096464332556049576849378960536460444776721895860784835454797099160933133434002255380753821521909880336857225030342473175636451493180663736472529120692508691933905330742183739090647484841478990289577646499860807637150505829069592004213850619498693748271816698174315059838285185225345742061613817938385382642018914736675005765604400637715135346375753016289315521934614771896658598316480914134715592042939334662732358147917298009604123617546388764999455387041371248802722691551660297479297536427778265051799376872751340378283000435470981628531997928652276683445134931567604171735134421368199209406510717428855721172748616740650408164857141163632106444512184816737381240044825891220633221659533992104450470660326948702201831409998164792167355250578014685389506044963931932191455609542830405265607205967678102211204281644578245776036751715311444819514479822054686786842635054806269316717601963681252224409486213184735536266215264450300058029856073754377703077343071475972339136406453267585609124572225383565954845306174191837294354635935255328546155784571744475998704919258956119168618290052382311062051645301321695638533124261465319765843078946330456754799365031869416292502617885666112850130559214618539472498449053968557871484084473518695197749656038512675486998146956518847840370776579898619572403618951288871958618445989702410680619149874828511655924583374772748551281074817193312413869056197841713371359416165568160155631009267489958596147681540849640229694928345129193668626442065571978481584058541853272758990115600176097051342179128285256576459367789711481065137534145226464141128446827234319319008426535880193969622413417689031943597273836697450008168360085651272706459397540575319810485167242036160777944812998476548432201905396371522300548030989383373306154666849430728690890801821017286847147240028151866521670625749528383121560146717121882760071109494190430777076521978944188714381451059904688123409358536560323211391009899922898528092730038506855806071959433567123623864327144091937913995080215529606010817319940843843060771825496826024159756913441209313667390154155519334001053313593198883893535568189637503974160271435337863300469886203233397574603594838994668251503697269953125976802027917457284542412232951767116305410769397802985240395565414707990698718267790190638335227068303131395877177234018524676039668041342764614435175770617590466017742526348266810945717493459947488857796191393304999185793035647600694503058530843326241887622147130431956431775074741452156219040634302279597793417430599478933335106221258464644695435376172006138516297233710627628584468811406091486694990468335512162197277989179224155306734948197764815420900988064947720351225154420068088178415446161019979882588405629832544149278257278229460031247107646037297426357010940966454844033253661837823987077424699548052255004144449842747534365878248149518289077790203216384061376299137196890238845628617440250375121283652659057184288600214556379352198834410760728717161144320551368375905392376876403849436481102651810916130220860362530449512550117692717800331709360514870883086312734429805399085218585754118615861149482537711016903182332697412750751464108064518964057530193065392999092340693681376368924794776211456627968332995795783547051956771640072502708787926128069671077751398833629823110058015217193498892294858478921473935095313853973019627878823613188477172773691053284491557360423012604237953561745226289621249786134814349719701056148339175067498926143922900355857021422396366729760386788397727253889779231378847927168074359402157488478429879251566640345695927541892910882222313023699762857673448344504531868667908975053278923208228855479643015795193690592778133882231072126580668508860588293886517944472178111109725949583700848271312873438164286608548090591687697029543107001880239439409713934189111579028564553645773757088253955102205335864431129054482727035655132502775539625225490462699171665224804912716238151574876504758168131552314109972054194742320315013064448033294911406853382762729340659834308122887602649900180485340325925133110212181880276529665398051031616734292538404813360410993641607827525742095465227013537343400838257403323567607960024424966855302716877823311501736615099864373029173019792708704266520094732886195978080832669688443853090693137406482105847171179706548455932527601513999339542873090143403837085449081282313652448279203461691082340795215707436424101745454055695010426485853121302225377131973218866535940119889675673887479503097317797027890976819686301026483809604978543371640602600405304005008146208923090334009396029548097008663977361058229486613838828780474509626231480186042688274028478190302848815917968751
g=7
*** a(t,u0,r):
25768304683072157365756121834097400142164061502952778509853917802226092317130\
86354799910562062342695757161211031135617415987507376222934865026048543924655\
12227198527477898827119767273353470961123123950155054071202545018405071065238\
67334457602081573677477728813654608552122309479417386773262648554336498790355\
17377533657127343026296699297906211399523615353772387316252197414047761885951\
10891004921852036666748359699220930127051842492382742534771751936511398729125\
56991656342405870785551882047022683381706608146094090060540898166301161086771\
77742489718247546398560672895650250816871098805651137381158243714337681543201\
47887243705310087285112067150929064077624076451969199527737693976155207790804\
10119432256101172619438583676102316352698782939684682301209220571974636778088\
25227015943269297319144880476750020625976543722048857886005860868338751130852\
90245632268773994908426836750468253093875836855495660539004790943860015850235\
60885543887717425192652884742063508834869257086736804731526414226094940012459\
36419712913704827501493761156086883839857689594701121170765671868936330565303\
61511514948123814533492379626201142215766971989637824984974037928946232064817\
11842051282487225208980370158201882266179506515153187776659062211886699200782\
45969647450724899698687547041555870873747817576987493188040898845199893410306\
18466355074768045115761749257818569095768128870833012039691411132732766029172\
27364069906195026330169043159790893414852411485317573647715846011535563598011\
36482367237894025054916697711145499683324579850788630812264052047298019537676\
17102372504563786479629565662540262562638828926573582402137835854489353985018\
88698869202706525705262051041479525714815822537751771235599543864820265520451\
86414972049706760832325930294621229890196801111743497308988678270709246045413\
71711886257273546388068790370676959946829769219304733151390389029967068215927\
63688625611919944312163954856600347572132253095265552141441604910873869165233\
67220880898467591264352672232657557356154046923311818685542149009059531942827\
71361587537019097011725907759169683909062810107761888097055746228445022607706\
32043025877321269470615972546431918421604538186885809176997393535824049395266\
57104129738080374888691375831626918965821947763932521884735086765678420997676\
96309527378499968794149110434605208551972190611698940308659312440309051380638\
11126479915451539056263097200719988817801264306999429367851857075523254263360\
58858866368079805634861248209869982708045843390408159985142343362586807850791\
41190180579546512681000098275147978471477373442694829751946501129611387925214\
70445867967247916528735720654333635173483357312013439545506304295527274188175\
21948119819372688967735802811605778197925044669816171805641972727679048850639\
20133872429365821955163642095652993637243900827444429492477772478660376055693\
81837205347125103799466371846510811829599468012666673652891429742028989830638\
00894584085341986302216689045822196575797617855709967685500981710852392215451\
29967069409137258792952645677383630101219009694852527767248591255263493876041\
56036845333652406697084647363701389537849246195685127112463848435190101601658\
99610816372769494098832743171014589060464691107098783758992907729538917235524\
27065190886366140908596486139939285179475556584717132677340035211463217410201\
95830149402651957981131313313222304246049507437329059196353999672921472574679\
81094404138262546466862662554386140216852851171638595131384026897029903498317\
92508825855533850052133854699406568874835397953627433289692857296194516521660\
55105948370981228112918742301436740900177937134824825566055026179451339347692\
73901480372865801174543024276240374666199805068795391872739029371094431221424\
67160209847759732988919622880060790387151212553915547183916712134680701071473\
83188835739521465409145173433787370968293503903476006808646110034850050969975\
56213797893362375288264687147776821383550203708934687019174715047527014570378\
12368922295315182231632384862597226458622577304681756810899166838958906326294\
82206675337301580442005435063233550474630985767913443624599003081056427313966\
35533846834037576132460717899594217093429398602121809620505350118659826647392\
14303524516205128319569657211389530993490385370333095980145590921482353884322\
37118768597559584941433777287831258810522956769350059043402575087322045879219\
72564704373203231608017234734032745256407797869793144244908559937470508154236\
75634338708580724400242005977733305635796258888495328268125267208998106251416\
05651654090146980500355548971299010035641779704786933643312207423102045963094\
17660568547333799580769230691016273290761460505977699990457180819728920326044\
56501175351808845527344464663205818515343518287639438003835157687888037014556\
96897736660409841005361941525235497223722626698461805054350399918757635348595\
18744130470497959067569355707376454154014484202987612052392740823599104097142\
01862384490896928712692062957172271954524335690144662552414190637232630396542\
88244194888756388567922375453864866748585017421356543571421561476281140451383\
19784493455867795994208465590370143397519093636322837439580187651160986531998\
42072531715804704351672182761500309025353482682833879649074486218366997752847\
92425920289588102992609129066344222775804613021965612517434741584693582397281\
94351669942557352412205444074564623995239330976237911003258368000232844797842\
71394156405048256110094842100718040222328632766570396964937945471547348623109\
26354017746315045135844410442951752402129237715464988577797496464647231509067\
17241271920432498747523723754435257963773807966717906426873716581603728592271\
90852298471717237453258239052015384242031264071996158343749277402485024707479\
06530116878384665974530044821480762280666738042845680311189059061007134464724\
48945742318614523161471874145445050907816830270660869529550621806071984608057\
23723105276430948599713188550666057264259710677756525469690834844507367352747\
06626762013626312519924457213000861794941673653139842723832917152449874441877\
97061745536463452992449409903553617758354256315302887790505227716802692901010\
45779056500237637284196183869870766370951142533951836338789421546004259821242\
80210735441929427329443381201718975721208777849871488477043991911630617006619\
77409498140671937705075133365189514531498756086980338687438775723162185602897\
49589496038046427656082028057470186413031988180758844679251091533445783322537\
74402661132843319787146330426451178468639585811988221216976745398749910577446\
43775925231117077759537133001325708105265097464262549440527075787812890237901\
58347740061700582123138079351845872045969871428321527429169999162111052437323\
52626787662268951486367625277747897948608009043418334337475808629447874986068\
54566942997777667314178525311163629381661018212207312846462067998042719217242\
02207192186259860541314492674811472352674647894328131061222277430481311641223\
32715651419681829622709878510416964551595534794475434112104923414232640146649\
15895187377385102887565713322052576924125191614859629703479057959790221653309\
83372329766671639233904066410678556669112646522232047072859231513695055944914\
33162026662244071352335711818501951083015595573509851030773117956981957689013\
32192432283944194176313031655629858280995695837945971437823925950451934838753\
18453922760260164730890822813515569769220969169220012192392119428907681422479\
59654262165687434767343173595909929869963130106997935696424785319504476251215\
94604954557501850785796400792855653866234690099055824309280889880487204679560\
16472739228983903691499996930121791481280137240762428446187161059942050032532\
49443954128682348217289773786567968525246394959200007153001507220353628666164\
88479184520363414542963933051992219368686853556486153647228785135866045283262\
18565831421934717785439087338988917071362783515445756470643077990853543833814\
86671427270161229215069881606153334339775599511823390805573736859320418953557\
20999526140032219233530266392588449426663201392039211263234569435599460578855\
71890687561911795424461822648965835817115425817491275031817960523596304748970\
35568966003929651239211172012350647582443221764407924602122154738065328858743\
84642798354692306486803990075977383453986394078886294018684635413788302785716\
16677402541509922792576309451070660862351608848519520795277923641876484463015\
60310594806876285260168789076643110709188484753721934705844527901576966037711\
05871808164878290656296882420127772374903216877900821742441689044801244562178\
53414723467036501398867758572157190963632322805714818569172927449718719680695\
25010109905625517089159732304113302024668570735564170511610277608559277900466\
92294543696886528754657680345206843859153384830215709249986895477203050263885\
63326130162308074885686286181675642517474736086080407614685802656215827420632\
41663257918207471974380044937915310337197088597227829855968070948257116769197\
47604394757262227798735021094611354698081929698512832206953071268417626532972\
14231496602544366598321900632565805488271978453978026061479410675458044238327\
81425734460424492443213379161132504937414668864236165794128551176206763938136\
10404436971348127632365617347533053676503247468314720899161101865259616685366\
26922972609245760248484205472939605551356755597484888485099008322277271515252\
75991869018941906094315868227847327812835910826578588684000918631955617468029\
22638515968599062474667342697199802650501549652217452863553505330522619067594\
93883500056293557647797778215894529992979135830028368471736228244238646424830\
60159737105983908333781587118972986445787654815136280187173958002245957123122\
12599071839635572566688647198726731253600574976371678563188830978531378047086\
67245162336711079070858205275719774460543775717468636906160118926338161991082\
49243912733962614850788855994372653443992291917604125967206859846408476302968\
77650956463063971423277255746366045681731576171568675717933446824277444135976\
03786430882175556463813691150072063386878137215093600907303928929395304384158\
89463850305743456166090869893562164688795882272343479519338459812015072895422\
13596359805519569872033042947743801753346710521221986533954459657178862447364\
28016978314983147040968016160629624744650355644925562237942291457823614380803\
76188165006431625952608634508508322814544562257379992410667744587062591022295\
56212347188264039519140575158120173776828060522578664034514957167171340881845\
50962152648536353056612655643362327935469452241044729474107729264796047188307\
78146324026373432310202245777909598325434182390658710665338934374632464397704\
68245251718450041333944971754898943890680830936390206497220474835380184176169\
36576139699907869557123027171544882302632472382303738443374381566642705920234\
18712072821408856349103611166258434363514646429603298091808765500945411286701\
01337216928219938568522625356777657994046316255238231016091935494966339441154\
82964778715017470196981979167311998542560301744348983618933082760147425057723\
57873285837245993501931486169267934426869044860024792981353800841071728471881\
71865703079840846784132064563026828712945601723004728693971447554437669373406\
38254514719623530953247540561650158984319895322828771513206815693294326220924\
08545147991553996690467568064845456068624372629044031485935972810499133381518\
54057089740025609654875989876842221853317506951956650609834215143726138161567\
93748674920010118073672937350964854216783981760127677795514201711685818124933\
27440299483408782862802649270018052274381431404903735446917172430384269037460\
70467709396654581278152904224633544781555824510934145738160598848694797491213\
97463612974770009172763681752259717491608929379076402101321595730047247310629\
53982256420631121995737038826058513363198445418634506678625350601432261115006\
06271347738735195084383901844971050901610524445840323508356188335606036932533\
49827409540709641254336264469495579871218060573013402716351176309944771157498\
32914995710152031448484517856849627196832108740808038632019749746028142630378\
86463096481932247132426266292908628746113046893664580399894036365746927470353\
53098977044701350168044325733876217008311974547724339619316898301059798180322\
47167363583240084181380928063702909602377712266416664432718968735432871215344\
27102233700252482481908591499470677918887239059305010944436796013574906967113\
66741875143455450103684235678105975753642769782940871888387280622586891568412\
07423304709899081005744931412976775476567965545187247167190062812812328504085\
91451933278530462350393189890958037943737751820153212640950225942664182742793\
44300973015210936997002038572811530546763952196025150974089090664928724518718\
15042220021866215233155290979548129268281072520831363051184200233874498924976\
31272462577958631483805701429466368324645024364434844011558694283255877139098\
23542189552177685432396106990051020947278899440251757202418861850283199571672\
50406625530822031445940230198655501644810255398296956046571137282187696683832\
72270965814979838832767355320960102098400988630304536665654640076798876325002\
15677271377232604154468394359703929779360520857631297676593072286982446139453\
39484535434631481843623795019872372328709937062626823124220896149115453699323\
60524437132111475127971563095686287702190555302942572605977381610417220281212\
05854794569622356878487484468177631694989674383057439749600409433774926744272\
83101773299961303565056129022874253710359262904974832170818802312292472533213\
55631968148755153514649366459743871866901847213171697177931133652532649595588\
97960327878529496398188427680966115710785576752401549612348960228410372990945\
98597383861079996397742786524419569451155937931947552444742941708424204881476\
95841053653574236888282034601006257163784917240331051577592445948954287103457\
08647563063535656456718286740358386130485528614210931948480454169140008388985\
91844680389347761184487314120251984831530116041038784105970776414914984364235\
30704293543287328744531879079217152182532768013082311621819466447124302902137\
65228040966401032563400913704109410412994598414544859549843815947630705427353\
31816523397847977901915515280936804098469491822558138071069833674785592957060\
79298219444261330765974618372549682299615338774455874120925690856078048951308\
93206680707076402612845548336151535937965681291049551513008335850589812613367\
50951620352097004403559262149460593571172800662120704819909718236600148645384\
23689668683437789517777518417661034997229266850723794111320174186461736521275\
73923253906098461920684220481926115393730216216013997545657788803625904497469\
28791932159272377696357850688197859784072737863404724817086001633024803849682\
43267223117235340165037560441907507076798956463582542920534719846207795104367\
61970093641187008654917078822952054624177252342038756420535808959757750932036\
90949173996340096038629992717919540735404449577369272752997817008706461591868\
09499549323716652483781355328623772182328330791827111359572869060452348519009\
67671907519195886229657064268116311696146555627962249881318534864520552770925\
91842795146970160102651774555361451311608331753664879659098440149796861917169\
00397948746521977847421805404110711549662885589256769091492512409455075264074\
70093019485479456566901311526460319147385752472951318033402251335315870183627\
55108376097666195059278448420102335511255765294636873423946074223873270172369\
21197843476004327296197219648894420139469975291246203650386567154372649884193\
72431710121381677762511978353968816160632876504561380749260946911819644207807\
81417548227668445664713938262869920077025420082222118822419776992464775439940\
12623654457492735730099037537082663884229228166382830902297360725623877977420\
02040935241986633096140942256891611382245495587725467911418014316290893594743\
21658227697652961092612203166448247752389112475180125511589299842842007651664\
53745520282293622229761769293279563381679782502128966669186815260538702993806\
77995392361670071547990860340456046648940428989508304629930002429675325399643\
09814283558624491113365754690717780066385788409545102322540500038835082271787\
73158352778984751374329905402156212769921854836606662185844460820058800845408\
93104085237868326590314980823138765756359849957372641080081167106458878043270\
93906745019320545564490675797807022983959887368336644022373854013432842531327\
28511564418134174057776141621937461223244761109500729317149843644864590866784\
03015151687568557038893284905677838372472567640872653594874811168242999543807\
41546529008733882355617140083787645811299086868050459475944768877740483662888\
79098920452482893981775977758400051650629107192345000332943812244552136725840\
12840972464374716917556816560246239846164053655434473983793352916392965001635\
11339239153394883596109665777523735855133798525975545731273794204490791276154\
48575300069530133613539227172123434713229763724390329833419938419463698569831\
99216956126439347606292239554931177011428316769514972209640271170501302480637\
24279847414080553166271576525185100742536828651832779340853468776927946449900\
63331245302172891154450787543492263620813015993588975682672003301103377945013\
59100263446868762857911566710380439594404391583054055955125581792663972072698\
11802401853291069781699893863767042164724625376163265889161822720941971679634\
04964926892076813855012225750483316663440862637240373129070532219515685470189\
88292838825407818351800821127023758429896289637862302604179917132033172662353\
09995299904596190224476742886054278558018720789937089860329145481808660345345\
63256172138690946951863612844008055914207735062586455692548647271420382017840\
16504899687529224326025633012317754772983964966446533913058073478839040163099\
84169901161643360849479842680794127187554181818896752071281856442728575283849\
58631784604175519819360794417414639378127463722584104465246285769795958040076\
04501890586901321537727291779824577033533626532779219255497945729319303358689\
47436101888090020373556651493132880930135243562934246137402329253375980558556\
89491951421352734770971328162687138826258795357646189855970432562572643713764\
40800478197911392943506555985315540225483728803296377964229751272620893504722\
26848553413010165788276344031609165478438220705802422918018443250721366789784\
68238878188026389972260766447314240071074549931709415963390889232934792074572\
35017143561676603598260347830067307332878817538690349280466606751971646631113\
28409842501261743312438804501041612453321360196356775990641659676298267937405\
29894740605723973231586716496753810763697943564535137370699511799437566121753\
07139270298043237360514417469055727678758702644019168035350310350371639684134\
43170148727437164979346876801469296484328897445674957447686841312231378685358\
38637510100859771706274700334050474624911315759997272425997236546295905964421\
86299627694390086364724940973760817771907071456088164740909941873302149698909\
80473467147262632124640610776364908346049202059198248223052875650051736521553\
71649844699330102783869310594801030059054860680965911318905132453668150249342\
83371099477419005164050151094282567705580829447937072522771933206781250208524\
89796980092352068311892096216937962070379393266659663645179902276766397333090\
53693676714814028306161842738664855338882021591108008062848637393511668677886\
57986773290234990760338419846960753811490094858934299855541724576792907737767\
93648139775541993988973668457620696880572952675134001341709939615483831529879\
23601721872703356232134124868892334664668886465579113465830685222884406715494\
68885757471595861271903960879762327178198994742873330773555406243275859779728\
41949140624363290913041692240338063854801560369532722081496531472736069351324\
53523723728625503375141444386535682065004456681437363410223728045422278365339\
43959257712850043793487453335339149216707861955539582087662183131634780502054\
47427118396347329391454572760673103958460614667303304183880165225618503826560\
52198648917134977842539167959080499593660006419618657905359782026891298774848\
77178909827202678116972132736510481348758395329717372196551434236873229212631\
10980877023779073743702484838514408543339170912503090116412696898357449789616\
51128125606924036035532638426697903673690358845262888296937909958925727269745\
65963985562776324490718926016631625567604068888207241843502466744928649440228\
91240311668534014857861420616337244359093361735951531895617855197343959178967\
24614590152482541201980614270686740366928830502265373334447827904047966920488\
10438755678444100886931714470381263055530155931223050602058521404946266591646\
68363971230592602863000783292535555018256999162193151862051099650217748190072\
62637907005748141353140595150638447549471076204899131707824852012084816768148\
72922607575371991222289101080272135191849510912700515896920687501426021375635\
72450753888004296604306233088207377767045975709229967785206425936030712377189\
40760646095188641210700845295348879198214216308981362439739627349366702594747\
66495526928785548292348300867661338702105888909342966807041568115652167843079\
62432832114852331944154301475593396893095352718298605883290575408141011946015\
38960673165585793411391693928500939822240988522962436875731537348649413384693\
71035623730388822816097411940005920692755926896308827302077788249244019572812\
60509244017346142226276276728729071431732557591126620752265435588572903743062\
96464238065351750670897840982951289151988671180316236237425511900988437185742\
53597901722576197820880961399531783501373896958726161857900424401433149613362\
59395125819456019500273763983567691624824604086737662618066787894172042035179\
47209203918538081118989261984322308760681292379142560938863494543998913221545\
56893014104245856413958836242194635739155395798022379106186184630141281659500\
35936864231355894906752155454352924801521137839762665148683552755581266846983\
02652371850532547424018642649558430182183186943516526451471577432525317858555\
36822116311330477597251440613511824924184196570804528061551427392608520303963\
22880080744744720876706810018360300001191814315387349218256180531641856852980\
91243039221222883479355593796507738448592353691228669202874399435965752466086\
46597149318249295493537637348218540613739814710641196189840893734841865999244\
32705239324261827033074066526826659359954502816500786075253766039729498191051\
12568176800098035187268460663132175921768805632614077303241511754657703377240\
88662560173560525029304414543801401447562047193572711613609056501071932212283\
15178620924537473917989429786796829710392782283370578910067182207324140040617\
88377778471070019925438822842977705635202204958898857491462463631177928670885\
08407200306601157134142398269237180937562152429448144361641559774041564950323\
16503670712059503506175275012207914078631485848505325324380416082654134411864\
44524998383743058052305152151020780036705112511449283639784417741660710583094\
41175369467445743343965318838186795848883433170659005957133161126603580015337\
07552276186528603638870954259884606213580602384756154632396357128819332144864\
74281532781678644540994495791013426172766804405134798580761324543901353455553\
42577348065083870280738835817218934776921781716819087287461797965921036873814\
12998443470816995889288762882615110532334051244041082508256871885506356022499\
08891083028120929641256703398708020241042177428613783636943756307361435485642\
19996437642085620520532772624529115277851271580229979513298632326325444995160\
17086717909164777615040637919224852051621007629700956621561849731081172401268\
49001575568363205903045098214406826067424128081635614919335443059268482595181\
47118947616468168728721882185751901086820990114333277851113430404922193153117\
40225113800623556570130948648402295076980451879297599579786318945924861978077\
30937357923302178748783662286534172819545741365749866984993045811129084628072\
31086410715902128676370311477508362969894472560115065800617933522672334336925\
75787960899514673715093647129259306609999624626539116434287279844284057617188\
358
0
*** a(t,u0+1l^(t-1),r):
24957413976262194371728831286870558878949108518594124640662710598659536964493\
87833145367921997443799736830963131554426658141746654593541809832921142192760\
38066202769620202710182431939576613483325543126548776145884982412930785612136\
75705051593624461219095562522315827164118460579715441035642495278151084492756\
58439079800784174889105544424895176775063082003478850652454051341577727421008\
59149679592143406142270264463930760997179581714650418468992221281166634433453\
78624786037924567159433116528060431107457099498140080233460939832396579094530\
70750593188652343889515057315017900266689840451627150540492424856194188068065\
76799882889408720902014134967857869753503039081103035906235458851031442510673\
90220569003286800054491215658322872831110359700323975515506832512017392963393\
16740851105893690060850111510698446550333925213313054665816865246607811409951\
93699441043532855208511306922656315059453170660742300591973171648423861505298\
12466068730411632092184786970460111703702042702888443743471387204994050291787\
56602309360476353908789412028797436446295734327735001973084234642291481002059\
79505907834371666523697164882719288090095983360593278044887442329783588398441\
75455413305066298541564903964412312544516515051389625923547413401023131743415\
17949623579897892365512064791996420391706802338550823821983667762658638023268\
57745385859128491248482533372083019718628572367904700472008814278905511154128\
39090375398657420606492394948468802363336076858157230421039473234948780128143\
87432222814323933357384354076878683259723456708630946625864134325529900041735\
31249500642532058933067796113719065488989355289024064074797834026900528160315\
49544009682341635036215343141572827353160779171179163049863893883060187234843\
23905409992198506120819170250384897481064733943891429211852670912540073967061\
53720952773653050173059632631739573095356105152962975814458523640912160474866\
97698424106649736274368585647826210760421797578281671129997638322769446708985\
06014629401662667063726189540021480376414933558592215999633479984298917301270\
19815243873266747805063204368146861688148246153321828681414131836640808609561\
71594119468594376375386798585180564345400199572613178818280692340640775113597\
34328125655413509944641647221540757180184194162969610356893772846478750406840\
97474612181274445300626935630719030660476562235806316312932271139739885428100\
54832289988042224890156915820277751407450874870765181590541833601118676331996\
09454216727126245317680299839629318916533911255744966139456045844183726484857\
41642237834036307736493102175580384743353959593099537906605527317840400193302\
35361907087159695379230051123253206094597517396600429210158203810702989336099\
77551151013867954000219641184667134828060270536849928636932959599884952907786\
91877911408861303082448702309426151180127834018189185207749450967094140445549\
60730440143893894239343304200991240827968715522757582523954286848049056584219\
33034265005733322397601478551373246333901888622488325345747454314357037215664\
37066007784374198201566023960263166216914914984175350320027481740237719593229\
06371350200775233059763801817291205950993850336380350385148552505411392110697\
69902783689710314214603740763535108985135382645686584270073550493294685574266\
51388314250081891719165128184486650331170381727156104026654509627885703575615\
18338990855016057205501306950218805161383613846643879011853349333563803857294\
78192831980065473326297054292185177762476362848055562417459354721948542898720\
50786520146793274351192579551523145378774144171869926647709515633027556211538\
36588628317348951703770949711531388913808701350861806579710637243734339158429\
68079405815677716522197264771043999239641069944252879541079409565710340728442\
77634189258144916216541033348870066214128971599421701293513738675897042646147\
73228347901564496217948297346710146007752799235184803797185218460326797617773\
53395881176438384457515099090678949381969952543268910154934951287290150475506\
08483186978329739434133463660627383667966622074814149079087654595774884798544\
28570800938575306931592676617187739445709031670321761832216516970114092188701\
67982082423176253806614051951704888583496305639117976450629307632408293641005\
67699567451009862043779003662779370927261666949588348204546603794582559531319\
21964681473860157443276770310242163253548458129755127115463333213944778701202\
32169311578242290753219489585059686839248111922841611733705143715661995659872\
66261230147821191114919705090322117696208264727668552203743702856267396614133\
73305972667729767827267437290384006223331374049741190976214970126570862698521\
28293627579061057635919849305634642313080155804740639501246989814912275980120\
08569320183395280458302156334643397652972568411454980164553631746660791094518\
46296059632634706148549852456259555003395690893265454545647065655579947522940\
09413021469678093222785704653647824477839203231564924959834927301178153268910\
27677903860064507879075879157820696962948395056538711632932625197599435733714\
60991755189459858857743000002519468843909265124880288703789414436817747919696\
31399666738725103113271835554309544479415345934480510387285706221578997445327\
14175144354118542326619561625648900699380820640367079240537177211495309012373\
68888041679076589262072478151669054926216355968826834501151830136224203930234\
60962981028281072091541636393896506456927603777684969747911076699526216814693\
81734899734959324973763186230415724271276333134055943913593744390274879610493\
93706513691361075184017138785656067885978317647495810615559113708766724223816\
80684728398460846689035214964960022573305401422310699581272795430434380489717\
89741561806523338372561301459469445577072238279520754759505419022686544908991\
96184763550043889772534344110315283747359043489049837224473319440206210652897\
49503393784112667537509472511497479375752664283122590418480846993992796281230\
26123427138361443224197738561309433084615174327757194248616647734015876771716\
56418227544666043944122638629374960549646306300418658861894119060239913358042\
64986375921679638038141561340155077339385066431254894818076741529910300467062\
57625170106873515831197003258581126869767365321344960370086257930920209687007\
88875432578372207588307051024042504457254655469980427650843306851474408779138\
73225283164217226378691650147403830507780263762564873483987905158447291650358\
76350665743142868743827698503214131595838673867378321594938994247428258672527\
81501878090201397136501865482961456069276801643079500968890064599488549755079\
24216542968599407480390859585200073934120391600002539143447552423860736349296\
28889244745073640727654713218396176771795994355402318524056257929736928409575\
58313357281288460006027385321455131929246218549045030110072723742507207591402\
05297353882462985475620459829343794890629727429305684120524450473628787493622\
51788084739839095699105295352876845600317753380170952111743254714137494142023\
99168655395985548270946280934914332799971899084159773598087635614484060561614\
74485898264110746502991967098631341985953419850755655342180765926090529363520\
36343130578209944292977015369783077613091619184119849787349675277250106631962\
48202382466579048127961511096940700874109510398119680893441096762531476502995\
42018544554729167086848635554578569034390936178709909399570725483479671155016\
19621456659412816889708943773929415475783945663894906913610549237088908230863\
10574232936697270736203003797437239769160094544190308349334494872387202523030\
82886616826671372963865744823849706716597934116917703963883938800332012923909\
67003317365134759869040206816936140700400692362556617760817635012601216290250\
00335577949807728867794641045032612872354025887057349585249711538594248743103\
75205364028463866532870662431474981696245658864149176784204103086135994907215\
47352221342223485407575619555594160939746472146078582315972491620511998748135\
37790158579841470253756493723442215426985458268444333052950787098013133042431\
28380659932828408138768824443171330388761212537044970349356558509304372658542\
07740281309963522141873863194977400424269136193863927216131381346280337117009\
75009103437372424451963267997975976854324379121472010890866562456098238090461\
69741451553320870268687780598062011247392416642837424626488265767899859691060\
76292449314679190956446285727085919786263621157482193217804142827971280406487\
14007114550715842717016624385420075756801434534199216480835434366212655917643\
22819898117731771020259567938375499817651017745379467212085132396538268334697\
39146427973318569536665626309396999639601935025115401201611541620881417313120\
92404896656847091726214146322515330981934245083046416894112052089408811113389\
29250309804327162465175445649029006115333872720173956161700594570577779451385\
73571112080277401200472382071063471948743013621833122060377508167034210473829\
29862665885816327751410043523785108263648928466545835210150893890444829877859\
09393067649516213637236366584641067312477952889818372452188813780949938984731\
76021414541625138278794288374897650770109573537594102164439848801055518370688\
12779470089292253170524846250467496040782738725151810926481149216116341296726\
22664437206515494245333132885547747791578320100430691220516172086282915461001\
59642179764898865695210226979035911670370004547214385001302186382065748985052\
49824292721143034923515718528369614699844570975392549179958931681998972163091\
24373667563992798270919069675259948720940312075749071479735388029911767418614\
67852201103473131008531414565744002825367904282929573659688584698091276432440\
82742123001250148980620628083760549809381749593680942698766385897280175255611\
28985814334192495108296347112053512437927829609982360007004567066619551465185\
34359825060381010149047982032777543795701489069016826653868366932152695354999\
47694279116460294803036759127416870643307219794322877247959091529563454321406\
82200401889051468826041258187913967321117645452882948160376100595541440649179\
58912032707561640351316057512482383070507846183849396682948210886162585015426\
62173029841576704048976122239568949716071536326710293100897739048699913258852\
90790879951499723267668366771066549250619016833491224719948899737897010132587\
08254206270106055001217274393337084105832687110644687901783268300059934207981\
26587838135599861499554516639359459509191761347182719922220158218938243752363\
18429441157864122191615172443354154322312492184455559222240010962610004979969\
25232574418337656631754215430808967965472161785906958266880562959260507241822\
57155705438130911713028049232450904671836603224519100889156939936269904329245\
44419352188848466606652997119255270831183881711119186013042208144756332226569\
63047519919141537997633141701111651740661520454189285135715747181678424964702\
34207147452902983247208742283404147967459989723776620879129468684482094148308\
32414017794115115326855829453941997427800103505947517452648482979390475612587\
02032320643565871484489539263445537049962250290855484134421202533429499094368\
64094056562647343356765810031074188238610928063730306488933576339079960792696\
62960838297608092864351684908945564872328432438015069399405912491535784672844\
64323428592082930328844645928591237897400737777704789192861146667980868402783\
11772748229582017773634672566301368290241088175682506019595330309469440373009\
21586761741213614945456815370228305781010312677244728038196075506336154792847\
26812527807142666805620292469291135028143926390053729892858160399080320351771\
03849520828336478506980188279003498181830966780273897618168030640616931899918\
23494949310745870678490749895886335330387983879471183110036663919889716451280\
66774198580459064828166223235580215892222634398615955881349937123157648619036\
30255542057744128646220838303560168537083809024341812412514762645443134016981\
39640431201502269364945247591108325523587815634607586055296028562807245560530\
69588085464253743452626382021154809875270639086450043889612852579911544093101\
52858230110881512976329410651564149417910818605607785668075072306467816463688\
62063908131102211383503761409565350219137461501905904792904363892698947235272\
47581876368469489498420553245747245144414045278740007253674058844033440894927\
70857901092858403210638171586173797062442749292997958209311728460541627016260\
01074541031363418347862516941795027215146032235760447662968505229930941363253\
44711536415164893981540326163759983509647018286274900395396072491106884491084\
42154739177070088946123587417463520304228414181877158969621144752269283201509\
78434215098436846402303893705578239546906843546092447208193051000412512656481\
76123669668578424993599876519820957907180471182863520349030343056591806614282\
96387045265933362306237816787884027298300199609336669808314767359381944763001\
53365287182148744479070556978888755335407943178141439829376777330286286599755\
98325826943892373653054970756098366441944948059264813793951135428421140843892\
60009214237894065421417635542054454390253289319329569317832884710370601333642\
18248452904718235512855095887783035948451307169910337959392780773682827769320\
27072042557669340387369738593139820100989035935538005092364618963266215316883\
18311945158716505142251018253512752220463820162054650368563595221346086275219\
01626814984597477658909520900367488438834908457745079062432638832467028034600\
49027196139109765228465151040857356571720768545828359477759837108935855622949\
56011158056256227578743173913762826146047258128244854934674154687080471649301\
24161032088129991341111449333388295479481859014155804609394839236893510272650\
86486051826407938819224456180516133048558058602850451897275041899544312302419\
71368794858458597909701929605818953629266415409613538556621660325991275357234\
67650251265874348314874557987687878441847629634866088416059816530980201145655\
98934877512585233701087291703074380972533186804672825698353446870111127006115\
73220197440032621846513937102481817476691755746041060130608059674585491849276\
85332480110106958259564092674626402638327191397286015102251720999487524139482\
97091494222703097972244940895238834560837425737164077256317262298929039871947\
09486632801412202373533558506361869703762409912058056803099104643061570801069\
36942681070141218958653738773413503485991079861972996963274183101865802655638\
37126750195315257076077681430468445646211516495177362829032549058088734594065\
73474121809548497271978725927974071395856174067858165157744727103280563548151\
86580553235357579358127176928993380049764010201575143247677231642132521036340\
48869724937025433398704647110117251622598845775649920699815410834281033376919\
55508269958456114062556379862345479581077441916654226483681197385831715616650\
46800772040119542747256658190239089021934653637805469891566844046851605747936\
47082922862268536354587520398453563394745101044562012337372094691793346182427\
35639584604846876233218559380642352390584029835424085848183200389551363150165\
95214598470872422160865158832268478652115201501175209253852044509598952936243\
63794120219640770928723800007930833356058027653655745514423895655497178732679\
99791798096890679539980914516906021025578698936241858970525412312915142486209\
14021789520232824698377063276009325521876291287496940693508482298668027441079\
34320861529642690451159661863040239174216270751774528305078404265323412730296\
61416154472215160949021434308980234044118346107043405379136582377667467964147\
80320988261724470842820384065537602722493647397465728710339437418745538524201\
61411131830848687902852510503669098169564009761410847788619868162846298760708\
96687625381343214857083080065786600913762382387327017181154818975219380408613\
33904728268270936353977039852349293342417818888419734824952338884607741957151\
55822863853252787998709933584471945289797210761538302837282482397246774565538\
01046605147726818960327203766105470725216028516170960722763063134500825592696\
07298982930752913837916119210623912785752796339474558627149467927165107445050\
62254278616023111254522616483588548677470275629698602735981156199370857117836\
14750197712374070064343755417233654120240781081972004697006008778871740521976\
22954068950275441016396446840549898382057181083007151837338865899147859560063\
89474935702410931697612761146886147253537337196476299227910780728982899363587\
58783805490740528396377332853120787994954156646955420958732718747275864969152\
65026934768612469279734235067400967688247548347313643429547226187508712133213\
90332856704393322726480559156897766535576577750075961698532596830780807250470\
81847512361605893050720097214018104509544919798776144317610842584385013897273\
40945457920761404311020789647121728346937981441536940881907118852241055500201\
80269053750460827224346986668490239291564485533410312215072583069373605963122\
12031360998218121524903417553755506405147070600332958627842101379873948194037\
73620133284125339199127153589783886068407848082713711062438192105564491272179\
93647191772810137366933392855650125986593159948096668888357885014786226528449\
35753558509441654640060233207958996173715739638313566004952485493737906177001\
66233408911545072901338699823592157422955263742042469454895611588830894023667\
00946758653086179411333929995718118068706351288482424823670580967020700224256\
56885543053711980173184862238683463914785738563626659619922464663289951591813\
39773722898969501530903449415677897607598318008795746002631249737083373689659\
43206700540692187704366529553096437360424028775132370004747681977528632263887\
44296147110395610811818383844185437624374775030813195424164941603010485719093\
49727131756704168900930841810455354853970428714463105688237675853788272094201\
83817682564495087896185665539902161091316637397572342286423378858875573864261\
03549170006207031312258449029999906401931847425994406726381378442782571166525\
64828686487260905559310979208475017859235340738306982296759514539277903416437\
28835747176824007223603006374165761672338512411118334733471786597977087518730\
71467832947555719033130043579013314747019099534730021608602955255892121030490\
41920526376624851508947754898826354737320581517720260804558775593820357722771\
82173889723151943515214391636127288959646828246549289147173570288517438814014\
22507165368544810920813102436208877054291563410864584434584296435139225876819\
43014577825466118959147665405265889859047728430361916859647819292038242673624\
26922198484560906282231176045205049409816197406353939687724650595441070338525\
80313029275697562578830590373386456816678380330037856466460628427743427337976\
46086864153096295752271050593009809725679476809007807873020156533021698656383\
21949572980971946674344383352896631353203358854522061348923202682003301372395\
93559899291958373074402394664360122818738127945636235010521870781426894740714\
24134931111671876792440881092769165982868651977340015601402917913720160671835\
16101387662049139591009820453607505324539366410267208507804384261904529603489\
56612413985285836008830241905779998642851849546845855796453309633092066491155\
17297227208791742906055241380279319322930756673522928095582942970860411255482\
39488792151206518987559062423483465924635978171603388422404984259714707369795\
09348823376159171057322065217104249977255566205820723180821094163161860354077\
19836183391620579862960945589546031219826293638940273543388365587422140642568\
47071105599283540002145952089538911908331315650086716992954747229970753298467\
54687184328059903269040930639024241384331146472070343956830955501709864803414\
50481387967618285581472561498892226231165320108270679825297551771814617692979\
12172569299412774728382507565364211987276648754461232952009956396459486569876\
82587104730589620919274645981026726181049063714547426631379507755062556679429\
70720529625277148373825804528218125636385435317336187638573331009027871004192\
39429071281326790667118967041569735430168104061833791042945541005114804891849\
96284306978280455389625582708763810477250315604346207199072747438798341118731\
69437152972190170847494229107221323033020355867952336502743565109961153009206\
67757195881591405029375107580466445222398865406754238106450165327321274447198\
66229730544009802192327231819120598484283043156515230637224884758199348222810\
39728988787125727209239653301382235376266536364118251951929374330847644943075\
34167916087024621971780218554569791196595549237879041925350291217990335297004\
92564917245398329075621026261277680725415598604400609563238272341483484939069\
67546298853977845849470734800630164621116384787159120327419749403570932996416\
80040333296954601208671625553481153378957528646674073485210525976119286174427\
03275594513545982493186073328784436154046114573173087642615925185700406463811\
59967483358714108932936870128415559339872336044605103087648545480235993862857\
33564903141181963526482800696627207860637463366496653508556050482150377346332\
50240765129290874683191701277739313431719354096002451316441188756225550099585\
54512933455829558095678790723117620761906775935621809076251317397813204960647\
21396017340117471597833843847350317554137521775832174145281518769355421302563\
13265365369979356463394201079508289997858086374016481921928284573619091989672\
24797575058976450262082165098583078079583055317694388162858866592922683592867\
68450586619991971748457982892942797314312558567404004065299116591051025949891\
92870841233583501386987862426076757995069644939657601218103236566554875303595\
94827251552805716558876580252718556276576440269047543488695338449558731120456\
93169995724313310476867224851994070034547445655829184736497963493695742807347\
68714859622340270634880533648420456573693759902189973934281469394005788964142\
35583739459563106538321767726074403939540971989589123706521636324082863504783\
64543233940126231561771320416391308041070086140042653889557948050871101467418\
18022767105194345766329884828166993601473269865784119741906797598937101107043\
00121353155935369358227846202544353707918681060678593800900793527305989674195\
23425616147687210819715556118681033230765812762632357598076032824309650783908\
44188050231798208681285966346453856994161302676091943123975391633792987231733\
26133992532443142390844403781932320105804482421224969822364365887281515500370\
45830106157884807173810928480617257867153596765201438267782963512416772313953\
42165563960910930378187120377381065184291598881715796303654871304213534961262\
80354492914780264849207565047858785770384472588231116828663981664476167256978\
06152199888378550465445184715499958744666738016152591318075904373415822457351\
16449223762576504459031720457841684719506296127600176077232900249751002766612\
42589666561141243074638300445821064548779757949702739598374484006420581265157\
93107673024225596245305749372652794124841665115234741217394098102830466752585\
72278030724617071577659269854481091607625599930195717184802011380752430881421\
15851134798240654127582262747666979266319287292557522965805187812727331578731\
30089431267421226945029347266355742832659828630323582692747851860381789035833\
46125805956882598629256134020937188535530863148872219696411856380010332182264\
10405540491346099782711452217170346328169247623155032191856247897414947227931\
11517221727371440796379921403390366899326341033422682442751461666294151098064\
73428562382574503011653801812882467193903958722375454037717319973025386777035\
83086818177585655631566807137909516107582808208832231005011959780206704998331\
78108437856145863231425097961519457804072735061970994143999025015357161761046\
73891681331603648249532366096591902161884682214780297147456756557725471171857\
94312714798729398724277944774093324547819872302842885778517194851109684191836\
59971847866299589992503361417668799304368581334511601275379091685886180081865\
45602645184520018076665289425200824252879668428550472320282553664409743943802\
14928839666974487809136623962832048500049546707387108933017740173715931615300\
80457817371695418333407609368076281617694996150880675618081005544686141997651\
87039388703376100066716574317499398360034601473955717665376141667366027832032\
081
1
result=O: not congruent.

code version 3.3a
start=Fri 12 Apr 2024 04:54:46
end  =Sun 14 Apr 2024 01:31:21
elapsed(sec)=160594.882475