n86-L5-f32560-r2-t32558-ver3.3a.txt
p=499884450457644847822840582679395009572011707902009779694607062213802850622398210454435729154796827522754629942079491910182977071578882837449854410113386173590069779184604587394781278722189283197151837012058650634579669077638753838581725017876574105060811085116167459784849217187602604875795504614953866375662021886296469708017760975408728463974718397002784891430545316987385125503292147694929530399398847456354278206317456172106383852189333565089718412531074795575361564351493832773867442644019950382923671081647449240366130140818216336042542815246944416488875424819867443476333254107225254088947181806754368276678883799876441917120106720507141334678977419332291265763855232674444516937350341963801511742442743998357641437139279574549598404853515923787715759756847946689830134846518640477925385087053399512750351240844408443450669961753247225011013189466856674896686742997044741535596474754956060777780177582065653843736702130373924287619675468347927866956907538669399691015191528433649072726750516957170376788868963750251376070031961730500630576101516422680219209732801097458467502766394255805441175004943950150650006533649647671420406663020248363973244589674100420820224311461323771742006445111211143950627324730312875165831054291098448401193003485487325818228583949531823259136269400705676130215988507194924987308281351451974531444530748316303821209304603407739754849291744466666293108080160559445872216894879457257472409270596023792405551684834281198191164953679003690772667566177511352575897375204144305185679767104981589809154020803952419215025434698520317313123242822977389605794049104318703021787098176740301418870269010888979631646432842852283014791081440386297568269756303202339198840340072397524359241306375778840555681736846261726939459261103277082801905053149583242674578525008696310619227223629808285472301369880024362615729995475709158295724477556848535115227102123180231045065609264320047787121514615797364771791335327135289543731031517058987405635167185056743253426864058938934926050048913945948314058040693309003227378673333692738380356623351608074380669473008874719590878041399273433223479441431639287945691571642324351402282856558554543001657530398670756883622080761381102432398716568877544633081414986195499849579167546514589579505860525925455924659015261231155927843872014647741306477489561837422393229386206035157529637895913270051710147546472761184755014319551245537427965677763909522655500040559790093229154873981516148888136440128486974887466709366746453081773725768007567114108886162197682428764250234798772629743472323997768549114735487204931688286984501707769199140485809161560181059451817918390432373398314818373943344995712326294069805953839802721758708952317136210605859707743021197392528062747635933602769617604878850350274344917768030959740444771138537244327027330855619550912821877513508211733265053046731807825042322599834496455735405584081068973017869786795362550037197001257044054766298048791027515763035088958761946766102908944690207229853746914572995017194025975397334160182313969728940455550824461049966392689973478456609340509364608441439170981489753901648401336436033676192551870911806878270829548423394404346786762882587407574864763529455341301488705698818315892387517920001595197813200428800387813729558835363514855735641070596610512634596948554481015462045595224146192703582806147180977672878397015863512792589129659822082304703712015528163028252336472990516336442709946696248464459753274881372508304737838911308709524683335978108891254759064205338744873258366812022508985287197085154666916737056639754453924476639777585941563713723684638084540178657665608572236052433786486045108064688486491781010701514946030651472272253984886864581101462063230551178862320517742726774153563692138592286994476621977645127167087693038018889418962397999081986950664374918010836794880524336538343176005377718328303011489411837519677790546892343842638519228268355162427990759873681202819831268818494482344931646397989314142967544244833983248095759874794827197927768827503490308756931209575503712900211012841823994260482471596199908452941356243886340446414880459049875673601128444622103239206105488549749450515986366228339759647280853755305439678425104429039871583595135475730138488368786885638041722222628617452955929546297226713047788881153301237076357707895920198825260120907168562777790522186571995803103923346358335273665459100318442412478512909384704855656123370504509929135868589490490000622896572437642684630077407624859773634347563187975924921646389516185313832981861368457465216623991124611736481469723362118439449942210177471698106240729777305873010812361083317737598750557427336885801001620483710220446665245340747879004302646515484426729707368165992100344027379071036192889405037190359606821413670294622630735818106808971980996906175275436599268725462889075504650152333911313663828732907446176902906941782240102530089197688430551809095589296045004794556584886573783187104165860126480215377671872383514905699872310235652356499133020860337922945749223519078584012473054567032416585769219028722388752223241904656645892711611655877766426832672648097153872367398972583031550673262569366795593839719613833952133246690512008242269437041821376780530090677695716872115375564861139226623502349407113538704549894937808875700264338733938003286564184667688513680215376269748455593716932028179422209592601192826981281542378648575853449201170569555729225642245855497262358667916912986123132820618490489730320247768257977555178918257869991884260352174913970937254571452146304750103900082838482701614787624329212573035266325551799074761541269865412508163395409480960581839520403638660887628629258096122030808082929396106899150459462528621358033962721702147294943720159812152425794475395970879185865976665235606091329548843904750391875680769448474418068912485349643101713900057146701673243087466341756374528844878930794612584150228136373110000389641159693098226951808847175160777001705617252670156065807677738595224221400523777473979634462288792580577391399084351967547903779821815528983530338124178198700429933860157298157384135562156430204565176042761186799920387366873218366682300530551760862226232208980489437270687133214815405292711150851615897092789998987738013271777512972115956521113620586105016249804140221582303797738767178438819271566479832384296669342842778877510648018864223526327677180410451583673455394227717138133816287648181394455261003101576568244002025332491948352138365425597720182636332442461768769416278828778911496294983617729185272551488283978380706114017129383266781721736958114849241722707687767684536431470315772422377369492626037454536241298237713698881138392826759392101784521163000295104429144353014414862262131836450292523022696024494440272411550715543399294685917505879746212904189404931017804291173107282364363666029280620177286470088916775004480864193350936700478380690471751529703881397806433348961887356274298869863648912226357795807388304846937217499813963356470478603045228908093999145533173369706102578953466791669246799939294962152219514497597740160749829637307704328469835114350307692444504577946903698007241568062202281072775369677456389887157258624586396075151512861872319252895766934948798201324071450014967838205679375322886381616993861953898133037326898880239836137676954468246544222510578105182879602021508374531544153207756826566369922131433209353957008836707354671712931880401375404817006686499534133802076134323295050693591200591253105455565332463939955224635944762567321043817267450718954392635747552328819498335777047075654526954191300114977987041828742650314580698914281978912837603691538868171897821115471158637414067536327587558223459055844586447492851616045987659498765990053585783838748924042265824551995887059887838796352267588368780884395105748708735993921803210594919206998093346230157545424954273658184206823967637368209198614310478777050800247791291268030262661461280214668204395766943737247314263283958725771589761748046171715441860712643270098816196990602412840677264178006043359687099837382039807070045169327752667867271675175828667005119572505080925609513558863392346754471153381895617694563145578164000593198406072460772140837067806011538617571151730322713501782640106851649657586432415843753993489293453371719566918083410321601860626924761222405630655611223627459191632621100185177534230425966905984474737459699893365751467470253535412851664571138269797990957706561804146942986613357074106166561095485928833679190528504189458453211538106449998865620777256392739536089309228468299136215868254005723027927879983877308869339125259213327820701977154390909560576623264840496249982016493475750555736412663536926008109601075313790755936162033476974239324208424305367808318203649750527571992560629146862939805222923836762694341024755765040711436754548402031120485399340862758428334449941548210825394620848922736481551954533299152166536254624983913517163952598034027112407147433852775099231602349340677699679945717324315862602386227651643349800626231308777595303246105787620334954093232902307590887653223306513109514946044262143346756762427778734426774814588317524947749761214607935881353532684251451194484381438546698510796085659989229758364574728707117015492458593620859067048014235781614627166827822496384967854825822260100832850856149742898899593810684614365629715508498747438603148690627098377493328711831477044704672533988368022431698030692537224896299328833110437463313992742377831969570267501586424159736550607682150628447293126271665932884103470760380490241480126990125381577757301781063865715961102966850590900423984174869591512751291730798503289610901426041697226382604360277296582661913594414532531962365821890420523927960601069534812746107584102372704085429331870047337380763104140256058024477613536232818835384837713179610476269394429991650788240968050836632191992692092429765032340338442493879776919875442109628331248462941653409448575126169250006683248937921519569475532553642122850704472118131858196329956459873892018496372882335575700102013151194535249510263997758792016084574110725109262124961604708018433624036400691879919209533718056247189075902443567351990610753636079906540475456505682383246843772467182733639201107158514861700189040951229714542164054034837205750391854125623356653145270763638559287463795187675487271972940123195047293745425108780823911462260278770718124113381659995511709563280588513211081368599071136627847325709742654582447217760908741884971104202772302245729051749301226617086136165169336097107793218562820303885703530004511043992223107368067442622015023377519391488946863044451171919728350245724075813173109477713311747001528511690282025740805050040713313685944677905373322691565867072696083373780057061478708022114982485514704018553019459619174469137550822318301555649013083156862053088927715115973686056473410492000238978450755466352723705889765920265654975251804256414519554197762410031238024482325134797544282188626224635824730122025657666275312950552728907807623695418013667125298473733511578359304988833046058753984670144343308516337538594735835328093179643725687448125839568751503730312147163748341645070693138445609124251800081340771593283895132180108761756786367644053778583125090133186590892482333462001319276862184248796674649711269482264564999436169193953972901606169778282204397836883084323808125409204047446427720298038298745663665504060003680875208604370188338077114004995938195997621209658533058998016309858616965464211158810587209727644607880423819238148615673099650007221255416754506418440963725753870370700872334023007722444538106432479033606070033641593864140388783492460900397772439747659797620746433627277937695502344203877154397781009687951469985885699803146470826523602901430681343445381081460013159558919085506398372918621657424951280281014438861462375290245951214308700193754280041840739313971639440846641684855100993188911868526184111293757255452671686706416230804325548799229287751138216437009003449204573905678997276080699705782104218606598069847453380773928122364967754749531025603239044258085592957229254065833600667015135160344840309804871323703887741766440797020435272257580350375786408096272621569975859439709021223025766805710055343197320076222869808967167412308487048455005154462884537648491624681758336524574977334080081365951905244871199841713656280310483381862343021622965347665753781438112424650922539159349785102454440482489354459997122792996393345426189675782160504342035234022542165245631730638240997264623483523078881257703847994398882385271116136137058105642138235915360450933727456926740008032614973254452698309314647873248827990791670547239568484083454050097128787019345000101178463846889859596596251128586968117452090047247786624932422779633555218898273219354174557473278695828125135505454006713440287313021028912794649959477905272600864699501860382573003390787309112659498819122190806449828833955903475627749998266692009491882903739444903318994468384225306012416227380957252447259994687026864881363330923979637677126440069252878640602929323920588707627642021423019372344161814957903675873400204100615369891023255072122300619593379786066387081354717221025994086226827099769293008800156943323347701860106020595908705508062868793916888283301435457598154216956353848952331078088548382506430304836402731932473238981821952340859984287476213843863714674843727816595749794490797520023327634780480585800879358353443390020553568698987215596026906517005120009471975275778836518739751874983324387143477815348425836675126171094409444884508641911242446564834066096846163500352537688356019032642389027514779703750872365752131569040449051919027435115468158518168216958860015346939669014776456573260383587745358281252425528363224313222871132661810347928062323936160394669893851432824524526349154461358121297466334321344184373890090402912305068429107714192919667350113273965584733628129492004281721584672454884499287387852604662749611025575554639851569105819105675888325704062437245427339933769283821396469333647368880704828974668258767661641160458671824180214360811878814435828487621199098809544878960105512262649518633138408251014057770382481242583350717903585944859868340885845372382494808990155916595732955670515707419352161024956521339173570595114962406317673504069971747555192603408655619366506659023119438371710927345693975581738387150724748871926621781174528712693514305654680350345904335175230185276334595585431883126803512379316227470004485447963773853429688287992154854821584147090211172059127132533980694475133812448633987124004736471080533246635281548559529915412947753423753040090090923458643272856108446772124034132778977036929117647443886009243697092054752444613334115325778600359488139776389030556450659711280417682983481731670840967451392429241118060675391433367615485215782163404604481495393523968729439485438789993304293183986023543763787226022005044547784270724865942082666244212520647953820911876933244170855396280993737259343121892591772751594147624293251955950798317139420080804204718291771817810367790121891451350039254606867878829697188164987718806576463301777565642075475726914203067678290193166968360299420336315962905560101972801077171602436603038725788666211378471110502877029700628820815997000819885690196235195001736347922439888475934383559246065648143663766083922706650576560415477812048237644405809441614849947024183535927627504077805299984446620638169975642039768604079197786781545805234532311578275303029264005581300512955044899901246889724144239070880081555394088682476816152361054203140766416199355410551673295184045037259655877797386795058441569671283026617198502750491039911087768650637616308584538044749789081919965952293009028439086295923377393163445473002135731081491922498642267072010573845473557592460380462787716261384732954386478106077612474969322808442683685801457422982021104047987481941095757745766861374528776460688204494650612283471068407741128107359109593180037972204709024232575468287321077874638654042705768588851039773438777019009897227212097120273397115310217384418875106143899096709378902421015675213193396985189479920256041010830560370285520376632658301177533619864379746177498873309990317597976969685961102892067270464647664238778076906235589393535661974256499932306424066714871511137109975842067006218198480320946569787370580790019464747893749212104799174918507978315698621289942127563560588148741855462970363389679666496798240835419123611157815121202930019211114415970818735726562525863724400562338314729199507544349859158801804795505116301009151728222820026726142718435159938481088854612467541125238199737133369233324169858884388227413633427126921774559887563551929926032128909020277854625421560971913586802374598983427055084793540631920597469423794818954489657003415033932050372155097289705194297234050267282851776043996092097709441408615573671813412187472459237686116211698322725603691045108296658845593716951379331264433614780428451792200276630873752635747822102829654047776783635060741126299601052290836094020515178494300011326974862221199193152339322672195544109284401097560343056472143204030019105105957882428154689138344091396602894014311973092213984561817265131020225044926731764700300654161130562970611381692068266713713587614387141516175882222495611451583015324947567567061990872161408348621586753481104924302008537642839628067173551183882676937966069552559574665634736244664278601000438011830923197458486869348254459522722102453842767295687961604289447566151363240231063346318157479181863695749068416548972771203026748900796581532868446854528905545370598801524587023051039964892295963114387974680064589456167796795789845456958198963874874039489227333733218456563223401199697985474927185408021615049947181613482979788080213812444051285655154100604023004251208530619487817635245833488874336323985680049849028970474720579984707051353482417484582577713292239665221978957267484662469027316820952866645521566040341179216083703688047482336091044132431040338370315466186634990647991425427354302868003555456418675920391875997675704616649751276615206330919412517487975738413611501074953874805710847524680895707847621408700717928156092316947537696879372210987077420190679307224654099352801629630696157071058819463930257671000744209351317546020046543404531268431078171264097163736105976046591544114488048751306569401724424113999767293300697110968145240843021829578990550884761209378406922682946159454301027400645056974415645625840097481668953560335954403516309449985692506182531878024562550773987414042896232134488955540992231179839576520028644541356148386178263394905536459177256087455447429885699021681432890722603729431546988538960533707053774986626568636162301346587378572878058952531679033209602359117716806548460906943541655022077740607361454330987747900289748032555060601355931337510046516873981120536480478655620759775442250923337254905097339292316023260560354885970191762731729317707973596413439968168339963281412205598414723319744735158793744006260537546318919613386702903697278791676504441247354875295107856478848798716710066200074951270730178503176928539671799848288995897130615211035862401738868889704802310062191436930465531440643971229919755859766357665377722803045946198341981204268669476130459156528547838426013269185140516861744238467076351222236341414815833791789719922925805994822510341536998222945853849234857999138223743080696410009977682336387771018583899129362223751028428240099601557789575904875863547491079042709708914482961764286020903764137897672056181048418262181744369658747614473906789336371529084121417522734408364876829401306540317209759688151020949346121583172053053652667433891709628299880707864733771669839053326689712863918795463873585559712519549470813968271213333061176941124428648163121948867120093201923894857137768121760188278059209017824346949480927915101893882319280494935186758695016074842776598488767565857186083096936804084315890778704613561178054651521657281007871029673009412434697069414230125679578054867889509994424212197460604639182457157103603241057628309727842246981346329369069292606175827336537165601216179378303044725452624458166994423652575714421140093785616206001643084138370174692735883996555149038727315003696256119233264249504985572239136056980182842222688335973899170698820989822952630531599708192170284028496349533500981125957095257146114189672542928608714751868080229903127119084744276987905261991497256743656456877295648959537782898292407022396000332808210563473458748813896280152984363953772704771240758835313670073867372715876418803706562747314568820496090972613045996680577974694568208658727942403747325435001723084837390096269435314467136651566343658458581090619160659081729111419898886582915812478337614462312435249297004925600287596680606103567600105837316365542105614390527542718225377413476622951102563762132517965635238745713248647058197687531414553091389944242371714752194673461812316825862213900824768080513784283553208260390131330374453552751216282857702003951373424403505530754238526267009407399129272176480723260042814272905018292599594643573228930297167814221646889780998398636420105287664158671166163740912465097563508420243305350032069051866632819611944994885579965690390399037701269141572538687119658516173276211782277905300300483839893107091409747610290146192599349512237965577941174989441254593900547677431326958510767237184965061606903109965213018791371244071953226414420334607978464836766120083965719683752726983342775642171539203031145162511724195041200074285514463650740833617485379297414026036975263899841458459391569709126001908865371011243951891820964145354542725030424497026233948552699663228714299092933418733488641051361693085203560784761049988643042381411986862167183674625901720482912445484862719104404358049673377881463862343601898806823011408946693806717788080103214353321016376321893468344431032547798285897122227084082679671499231905305213626056940098806064813277335333637972138620952134730847356282990628807652527543143424547842379514587861517512041085465821264514000952986927561564929746788190431447705900740750301661197305580090517891536222675413237570672577836289074951546931054746673412936083911300312116512302713137570691009995850222566675955067982085807969387612998135496787825534293079484450267065699947707175807042350923289816498966898786170987450945536634231999846922971330325716424471991956547843485337592884563321156289392144816011733167186638064415498734430431058854584096333181653944530688844182142378400723924012344925076043255829178452162294670573742456919199710878503822051040166508207446048564405097586885547988387474131301174981253156068094986290719557573661272132742626147252629780442531618628083546258930415504213657453191636796125643186906569416194875039625864218548429774818106803219677708709005260379751912060927098948533273247553664033834328273388005068552794337404124162596822163622737868420599708061928674702596311164968184942922857151133110291572268426034386980644729208539400744371050677727907896041870117187501
g=3
*** a(t,u0,r):
53537624644013763201826226404963205525162453916305247405292416363098285301658\
84833967006659247874022768702086679671358358059684436609835189087940732314365\
91914964733506711513099810749511464722304149617439914814829634825582151105361\
12102749414581086652012867215941534942957351160792238982197698544261559088833\
40254402235190572870220046627481849169234031899826187221140344934894694140258\
90181269527057756165625755431958965995560325937105694776248211088419820781106\
06121223542044989490081203107174536686011125172844441813643212538081630969590\
15633551294774700595855799820780319631529151488382471292624317150339284243230\
84549667669293235634297663148369441184816104883945633088954194330077639902216\
24323141907615617882224103397917616842434261989159811555437664357869958415090\
48080744206214639518580874282341908781556261789443614429356675290377277779867\
95125919003498814351501749834918184623824462557941093002570190392315266642007\
98163047291204067242660063074551084797391492706907727012695243815689034980366\
11294735408786601765192237710042310133661753470047240886905147736238299753780\
18695462808247967627498430294970611346156997538772656091255536094685997815344\
95554096155069846023757507775953568890271410713517112186478616508930260505914\
57664382376777067329569259513228134099485827105349445281557791354613236912057\
64661407169327405064723177092431446761392515165230249689277443591458323799599\
91875385195916652914429441589872275295032880834148166634585445751516326273766\
53902129528175269633761146586087860888436385508538630305694352826856039562810\
33040979292240562115259842354993063408784267805426590725330936333982147288862\
81961005811066209718549332957469479510884124822265372469561690900072970528195\
80042175377485887474391284591382351351401623463095521608686416097556808403119\
23203652904473600284313748673192356507524673740834767141506092361446825154484\
50853472091546338478110840822637392602744926526752208677118000714215351897767\
05885201353618951013359347547701755114352640551957720244201714071235993057996\
02386836110644356161582533942456522559140384922805361943609572247661697005592\
50482468183038233862184698234648177328567738983567322892938035184493937421191\
55547752150569763806223592484954391607050990254452678503020301954502153803388\
99288442317125439650776623266163295309805344778567998720786927687730939237391\
32072787938314867262666365371424218652311222538156802227232722887262033623938\
39705853512408851470987640405434395351898484248700342037954591941273776095501\
04476845731785451250579660297536104379210617079713717881206512001469485486455\
25885900161011610188170679648183815536040132902081227946030161203095391467289\
69905961530719095951704784933224904079014609487621765624287150035772879316528\
81558875746992775702407397555202718084888566260454825248725143823406929561157\
88201634988937338867424627134636853902763223081696729476632687181304976618062\
03275044227457040926193805508248701021385416578332910898379883462941826547052\
10255190469382210580274834044986496215479763211943173362945507677663414801819\
65054488555525826157969522789493299778451400657096159542702860368552949564078\
13521211755264286654378313229920672022230537465451666280584463614554070554086\
23047251113512680161740046670533894403803434416320747031692321708456857937659\
24521534850435751267432441049287158660896985903165333190184916755985083248506\
05723855371853836308270876527632039898222008629578656694501483376755686306626\
03258252362572842996330142352911682105436395757397949956394374225474011627900\
93585283255462253384695776391779575925971085567610712324258807820064826782538\
76611770201531144812017945434147373980662473885425313423598667808648121565853\
26554310737281369032697462461322507198827726803584017813831966359665869719920\
31256154527450246037511846671428043233937108446213805793119595091924371823056\
77087282570168080241615455371896062073170415644325655415017595363296125253051\
60077983574913675721700255465854093475408378960378103824712568220039288904607\
59059142179329224655544711823988621719605871055882590525992898064041425623812\
06786733254553644765161259947535934978529767270795301019531001925372022706181\
10336971642416846426808564190272569189738978236781661502621398230551882582237\
79437193212589559328684350170246603039009450697832104297075451834268450043524\
92921158005440843298096741818917151856249087791051565305329418535894915775307\
35013649261818607505124301903949777078095706696441051823764487325951018900407\
70812981033013410451525934431479066712222908071531523881290356622481756238624\
01743222155910832831718344711151235735256179452470042944944591697716540737208\
28848650888107100072188671783821591494589994580038720233296968261847004677804\
69287273553805364609837847775994097841360813441808382102751659130577753946845\
33229850797625845527948308751389057340408855408375180611923924089916476865137\
19992597816804970754199865480313149619016933960572943874855463013334648779149\
80972553072430912098754137613606420013497010241352052179338856163619546031066\
94865753227444640045632442623836738105714653414219154748974183889331634773586\
41441291718163358833579761678353631092079887267751094136083445087843137792406\
11205179730548429963642679077106421179183808100233970641616273470720553836082\
74705670717906945319477271158121127700355672299662801117137710162150185999525\
72937478393305874983106784047601519910241779094398151510667984900595940870834\
20218016118647367587751769695253188753262473904409445367999418600066284531123\
75679861333390138081378752508824033145011729853598042939615966214541787613080\
42837179332862873799646025248692387361276988720014973429437545656586665720770\
23466597680906961070002585679624299648355410878315012635229700581065026193542\
09466949954568173832304889901420843681534744543740749429997528847242911588152\
48025883149084811608062461008467334123813946811821987669698854104079316101751\
80527180946776193558696120411749204334667645202107712039286533488103007762489\
43340556008104173056820313082010653872753245971921688267160776097371464800228\
58035485141119960965674632188509111296853798386188419340957243804948189164431\
54136099213099485080816045916422846632655840918706953674908930354179723106271\
47348699212168707167438682209358834442946958181041873169059196730672990684936\
42562080625786378088915867412214073716393136189434112687647718472403540234177\
31464736737821964810797543984769990048358173286618461617781390402820358339669\
69422602195936461142707272178850549413172440712022734615845343217885045893261\
69131098876685140189370815158315603512045876554352044834625622214212531927454\
58795742690264395214084573624811234556947872322398028214100353788501993359919\
01385181047081922643661627266024861138083144304125913715016992187174593089410\
11222165573316056843613602078438317482743196838263292157307442233545531752770\
81634698064460861764879720819402038685268112006839584639789941223348631735954\
42098738094652298660297990055510788532062123457194952458883128569770506901167\
38181358569774089623967984994429199309712874491069759942300754754779882583861\
44016056867308486602867895523586205916293387776332273498490446502710002692717\
97121630675415565513357911934074691795386080644029811338605657557193946186430\
28942420924555793569145423986932030196487270275065253919851366387330162873618\
08052296603055471828261097081131471180042615262490048297710870073686450345201\
82354920488623088291506508640537650354691232837880855075612525821866027649672\
18087956464113576853404550043909873058559014161241001057302023539860248999292\
83617583323207594291047106887969204558509684070960083792829343972000015451288\
56285441656827176172174180259983679388824231414241217985833784869159285371959\
99415649073553638127812102566414669610900670466331406846274857324648809552085\
26484408078525278332317837534739037449130009764926669809518759504113987535089\
32785871429643271871582568670562494902512385471584706949579738124987311501260\
27087915285508469339621352051715926522770221407065384472948060411310425031109\
90964690786639674259187357597711979530137263483215744990723823282324094227583\
21469769351841523653499346444724382248839258361646333720183763500231072858479\
64113312502362483062152941671327789021542693203374038605272010206550877128914\
21364463531549290360548696283649962023835785941870350317562616040920755443811\
67832750691173686605270270332885611116561692673324544355927314364192691964304\
32159620505008794238537198298325139160786210556309372443819338585794719821660\
64153642716413275568908695364831570372769224137593866290542636770438693326542\
97808704130560279869100033895573120079487850798524415966240431516501836895483\
74887194900040129362910759462732597799062203152617474095971817532352664139377\
56351664417148373073966451252884519369796264804775468538275166106989960762953\
78538394103162272224310489227087961088828150296040324338162902085313937514291\
72845639237513424358601948764121338575330039862694064014276746195887398133793\
99763892919625077174214330516339197036032870335777137688259323249444303738805\
49016563221312770461161438658163572218632543422888471556498149100276364706937\
31700804569776579298541378735833852438371429840676602161275540290507213404755\
52437649256015102457107582642408806921903999426084509932892963350483330422929\
27725206835141050626077418484650712084595344453223235924231537679400608084232\
46522109265695672597893628300572518455640567991983266936374644721464971243221\
98558942530960215850674397224766162236229535505037151191487870428390154215202\
43485908717073678639365811802612785232092862270866580394097564941990602750778\
45700827583323067050938236954214118874817184367505048625216006424283669778070\
20751940018179434127749698285435408705128533251015663344368519702317327542729\
06577294557692698569846400309094596179643417316937952446403811268458037454717\
84451081222573641166075494814432820698334797284534214238144215524097305348972\
69716119081536282008452143452105799420607678244603307762417323099227834963650\
24719109452410811865984994119427671038105108015194239601272667571577596125139\
47458908295364950713573104489638519220128269383368524938351809615356981401574\
80925608492934725222549274159966624922657887258659201973583387864228774241134\
29851410033934734106120382407395002915170606339819441171442415799048492139175\
85832457369680312352707727584385766769416880902462858767024274657701871310647\
35866967576854261497551858498785689699687372464600044686828301887194189565160\
13502915042624091760807585634391109254317578551930409422735102976490681457696\
05187328424485835134383057800970221933262558804052601169135705175814423501613\
70689925183289635896000244653708078054546158848063483132811567094799120023104\
81780900373232682846620903206072051260290631131704851959084002506309568810386\
37036020292049568402208593603958957646750036654828602667043634857505293318441\
11284369629168514624198624800387028384125213585644631693070290096610009301206\
09992588582415828892078177664830226369322559459207591044637670890079393006045\
16478494682358619950442545803541143455924220570219368169926224018686584968285\
96068947936058086017004197266026196497779269263749119466536859090042281564304\
01923289255175817245916834209975038349620796363877953984302112569427741781328\
60495164309612374473901870712351275247372073677887115966376407051686564896483\
84151819974678159686252697153264283884584857913780341294551939933046123854984\
07696155053491143961372067247049776202078325402409100833017833107985023132575\
34815124088439199017956605785754848263942217348415280471710080589099350649807\
91345231554428890618687546785857877001217015108613890161830737503993391040405\
71673858897251577339645513440763741502721502823951670206342697386412707381003\
11989185044992101006030147028494356387120425624326014282969743643251819430414\
81467127188301064235243236002346137579602435488358448916987025520677870743225\
97188300031382436740938876023405773526573958437951021228211809664640206262039\
35853413750524617907510833924811431805263625841146753244479813163705324611191\
54318319561402058981137646257178319143266276397456718146902980403664269409809\
86529822060826824293848926336181276665328066225708088770190528804653367477284\
21069016400409670057192531104507786314373209756729323971801017187686863771431\
85809360888617658786855525246724307110797770144414545992836172986059624891546\
92725643298016346935654038362985823896288953105204297493398215345300341631784\
17819800724799767142934490517257055030475325876212527701974569376158195887350\
02229992021840680113803943966361984472870575674609862665691851129913727295144\
91427626939001503197356381426589780715835135561080704117508532174818270008212\
02001203034625365381802789231142730050665351042950022106368538548602930636355\
51883988927598787224949477813787915609357784645337928765402493089771849510836\
21347800190396279545849587166428537911884406023794753026247969875376394400506\
17928320951053881483231922020126341241190094547712245521965603070106600836546\
95552609316649246973568663153320805965832323527986635370776668116677262239732\
02481436271421658065899049454914546430756395053027392977795250052173710154543\
09805772287940127419582191952202417314169833024085737305918950505869204604944\
05374778059730381991483686041161859175906115328590618224298396358450975087710\
05641309021437188396663489318238529128124249680862993053886921735480582182235\
99135332478284987351415837375087623166360254972227946584632835317664386856479\
78732589967883894953131095706104317188702502677803841675763249157404802989964\
41439449838968498947073927417927965378707120128720766153079033448168797124835\
30144485520359133911570274258107140418630664740238164071079060129242112515471\
30875548694066027093728478972224110887756786422929638395999864846832906271718\
43037205329104423209346052783830086663977729581603629390764365723855148255849\
89961870822475278719221347740877013239461694983080798882630954748935627782691\
45631488455506576771994442811454790958644405815962146443628682151907872828757\
43619006169637319713164171412497157266859365857238171841991812987367923901395\
93804833408391419019281030512332262178876396829050870289852681069066902972715\
61865633633207123487183186970514016561768285123752369700958042952221026077231\
02423042348250225653662730036332976344560912352368360558720796374108067686188\
74740546944918993088740393821651940428456986674029995523122322646126164457728\
43435425489410736812473716622832285893974163161127825067016834152863181376091\
84961024031872382478480418126384262060418334119276379202512947538213561626552\
20463542972671528430954351871997546828806561758247679620374803914769201797023\
19615643959784951391662153361616527532515894389332378286831313248700020980907\
27605272511071463865385072565394072670439168395059364873790242069452288921464\
92944840556206284406551085000412401915899999585590639868180880837513908880985\
01179770051265172595865655078132733847530893461947067614044129171723744298334\
42251367161846661026970063313996815664641705092296889049440828288980000490312\
15371016119069567402710676953946331423970535547551609613958542196620195504506\
98612941694429260475648354696578861695733210561807284482330499765631890654130\
32532904876168749039032205457443958920416839554982266056885247018468418433921\
96203772802662834503525111485483448796881823113880679180194396271854869212869\
95365078620960185447531966151238634255934858129880937346709393278787809757420\
01678938468596286249331205577257247919525363091618638934758812188227674962049\
76736703662517158621911969504293262900566978489056867329476283342330703480043\
91262459217496882082964303555740618410570033284954434174997757284937485308779\
42354188945584800449125673458270689789326700991786890515637608317495096447008\
42099142112234905091445121001257507590921117944121507019596445775903744775000\
22483288706649404024592702410673628353490581266945826142293393718807805010158\
52873679882778489960458680341233245885021801815250674756456441159430489941479\
18051609122960692144727842114227493360900013744602435394593158913556545716308\
53212031958939706701377080575559751426469074820298160637429582066823124336495\
30883265357208744037379984797378781586594635973529301873595999303441560158128\
08310497242818712615238680115932575744804492907788153330128171137932994594219\
92259953015657579232337357704056113850687475070815610129331499963014743333453\
36643411974040466676376483997313203665783162404766939744287114275001801754516\
27388427844784126853763659690572423733776242273892026110846744994205406164239\
91633772204477611322340152801862057338990730252720084125919034692281807091593\
47338813875500199948083380505751035395047468659631484652000488330022643350749\
72672579998699159076732935985979558380801500926640248623698851444056294113246\
16328995273654513011191846983844889018591886517979156000140045293322055363958\
05641169507804100615607175823038264918009194514653431955112503759958138820167\
86959889752884251100258422650657501341225948578109197274263092337667836259934\
25214311981463664681174862727940251216445278300384356183046272890363912155310\
93109857216236308708549272637842084014298388718694464962716657890728859174721\
30559485168935273150053746266872727003485456695971756167395312131190077438904\
33586615541458192142774104359357548712741348166537151615046156848089208055367\
20671665218857616994893281231817611774657062909553226610231165297199940220006\
06570832941524789792205113650387252335008628563824369860292799864645409413018\
84486432339222408486834137371941297826337392745114381548124165994287331793834\
70005616604907913044668948025180354423816714691106709187444780394370719805261\
48835371728065603773681806878193998343348110030287468843906746660203776018147\
25227412394983795844164807275313882170210658120045783909191131643283270168766\
38023996489764955095208823491753075557103682909244844022310903099900962929624\
74428276966979212262684876542443647015571991149718493431508040271353033908993\
12757892693667004174690863755304433629347145268734828766658441420298866333338\
83100273784257411636212519995796691259879407309359886814527394632334760735043\
28256315240520177353597229205402940425646649898853581953508265833644202394607\
86428588607498399881663269645837163180789382440191073969919351067964443188361\
72548859804146908062296220158409779176512755999169163176989332393031048025287\
18468901055174871450812873357807637967159917024217538037604540406850545334475\
58422310399564586930596564179704821526109178746984798625298848968472142384806\
23613695003458995437466167002126493358292468582260937507711250466058468835529\
42876379479098879997579255244273814193435336775556400346090856019599156465274\
74440286744926311980716616596742093467667412149164136430649187894052043994186\
46160376713844026795936081864529506783037924349215969200959438295477788412696\
64784197407583652220814625963908594221186824725226731600254593010677055009329\
82474219508245155240113816142824456748412661507469981340163133653311252864526\
01904841175884878780012103201428664699040522024624732598195720337800945705926\
40169833719498650738894200003359250382070460912060140082874075377885682099265\
23972175879420590829210067439247219590216867544661135506809983070503571210756\
29059371588098597855858855362565759170714410605142888470634255964809002802728\
10952021176902490465988497637517514605826888891019408632262328580873843274076\
60702895252858417292969318724405852580976905961954112206220837842426186977174\
50089357217566420747349542602112972854935589280793982387721590151216552677579\
91006790037453538220454908575786125096775009472530532917077037628839425855120\
68609778227130276090335596754694163735144664514667326839263579412204985936294\
56547420982474112520495503283879313916884067721699028559587966482199045186951\
01554171379253907649094038166848551358783084288799304679731652626009743436749\
69621557726882046200682169802101190917223812312986945839762611288468247725702\
99418086101344521084374832417600184694797085205039442630821827036072366856198\
19260491391994549658405161645801412858089875582894073797074128347963949410075\
58501856236221615661373698147006303304629499681931717430231902399264112402169\
65317796949479594298727797930807175605613426404646028280967635096652040283312\
63480307568564411615257959071172719919718519046517021918754273212381214311077\
43130435890252811416256090095976079469685102773190859014504104044439495662775\
97431121944570959201317603105646204769543689586903036988260112198395478681147\
17025775824020499207828046011818437280100382267299343287473814374194519590350\
37955078590004902040348829713929347653993349925071392622624914453976112065404\
65355928935619724560653155836400356649654840711679209861163564375935134800743\
19979682916043846253794490566809998852712620940649111956178703644538769728702\
37390320675131343166857226244489901089788255147349762631441338554088684542386\
08447931045652217943033538275540582091403480531210658765318783307117075303028\
35164299585089136618151997092275317908016044929136920899713351765827495595113\
01225499825121937920983346318063084578924392674119534069665888930099932972334\
61449863608786302835801064996004952776009913204984310877833266142302629676854\
86046877830654831039754996552638940598846231920937536154423437789461631967075\
32446745050101085461150585408628127459137416586326692818434826672903138381895\
54492849396059327630883139368189613665172501194905175180805800298843459545491\
63749804393089522456143254408117369378059250624188933905154270821578822818819\
63657662181819252551769489983969062074657227390332760686113397499841369158367\
00674865625289511725650317110250975809809932307727431431255586024010619054898\
44178365144935840176514609927285781299170599160112712765718486446356469050056\
61288912527955978599056994343280432684122753042188560050763673020201000837115\
84739480443948123530422724761402525996747152585075846363150965588999413393179\
53014328531691463566334566008373294253013600479084537836698390492237929381053\
71552434074263719922911428797216081706747120018771104779656999763362210744521\
89819090669947510337905425724068085390407479045968856358586919641958179052070\
52549928175677370581883793506982845821295415020026142326268160463039736296737\
51857908296345299585699870660769073918846012359968525539600253389457429449502\
06489994184360397588101519520804930196933435730791423142762769446618352944853\
67577438190330862665599273106763159633687225254545869002634276784676205770338\
21007170555558836890994787780881390033521413352100311705976114722788812784623\
60273646439943852893423578388433934703935485999891275599626697352624718360545\
02294778842290609503385462740372796561979367316958385938987097948566222056889\
36698899914457499166403325956717283755137459236775211907448726717532261722141\
47564423269930501222658175921844781713604628903508775934166640183302901747180\
12477859515554421895562984794623558404922130148929730317360646161391222454167\
35260370756649485395136355067747804331447500501282713236824300865056385317693\
58447447111674393005780653682888301923862482748260273446338667142978172529229\
73879135648129974180236565580798553428420042735359816978141196537239952257078\
46228733432561060648064925768092607387038000886356112227389948428282845627050\
4982345698197221395275846589356660842895507813571
1
*** a(t,u0+1l^(t-1),r):
53787566869242585625737646696302903029948459770256252295139719894205186726970\
04744489728445705613864144839818176775332953568833290188779330960433452820035\
22782915082402634536036784655905075668720135376624975108082807723927539299130\
31393611923519373704543272758499618672849775769386040284635596296569036022021\
23355496550014058271108095397918272367969951749965431792667610784263950415423\
50919744174709753159863037203349997582841186469024955722916036537011883436480\
03908904324220736406468136828496546661202587008385265538263395603152040077758\
17760692057121921420299571061773691805345814193743733997071676240677002657064\
78968667051502821234831265684076114579703201545401961908230357702300224588967\
95305042663486839254223282218636186482221536788362238313399558215749836839063\
82572250948540571542477143536694578757193779351485834851529208788464940141118\
50191866337782188834935464820141892301806836332721396891471078302643535860691\
49228234253347877080394237038484563251160827406753234608459460640225398355624\
59153254248230049952704806513543908220186784998852316708039158696724939808653\
11032976640219246654704305319690362099407030207020894448357569409787239635211\
17848933205280256135913238437839439893493966319089087500140981665367843421441\
72219304796836717503843625804139563296962418268306258751593075161124036337417\
39286343710734162324595834315085188342911621211753266727976217837917046132931\
38429425276196375850537889029600904031237516132160062837361288168656925369349\
01586079712713903012070022153716655757196592723797914294049601906346497263850\
52803075367367735607861428920609277523671215834396836246924451442917638172564\
32670440945571654208365156173890905652391520362985565618345825778224571697795\
22059178997362105436456603380324379135488465776181868581649471261410948498371\
88951569117846492909357230226288492625673715168196273990906214174525475131863\
05432619953785116902378398436188454192860449059556840837141894274972659796449\
44474768119975715490545899123554704484634398911210557406873057274182939804298\
52631405840385926451786000487472659452507053386497263726726330288033600352957\
54919827978477254561821414846387898044387382956413108714100210885635365700468\
82697835027089697344067773588992460662172610190281122380251956025251463578381\
47184280049698387548305925895790574933100421084723778360006287760969645769778\
76853706649511481955769382950189037600267857564011876000469103479639540783714\
01982724910692739666463773180436423341403145706444041113762036348095782519849\
78914179278619183515988528926376142214781161510524706293350333252643479349603\
97622062159895884745538423250649659679532383755965827516273065783875481997015\
60801881052337765867445703630392153864630924191112063316277286123708326932385\
62611905045531490808394360195516456264556580108542849642976895195131518401312\
68071857374506607489588140800064663678219634020453483582499319707828342521974\
55391174219181863712964084712302149672278905918101038400239733525794029285367\
00499145606961025755719627854720326730024486662979322631680080542638500771949\
52753155635616983142833993017268712008976383853441146281931165038807631868298\
85479760829751981736798380051722355831858131011042010194125941035723790771425\
56861664050550554485557693947240401847331928507900208969281921716432847003661\
38921728757300530685114198477154979196195291159482631664462157263716106046118\
13033490550994143667319760171551890691397648259035139685605598611941287083034\
18399514044937795578012355902645163347758694523772356818935897914668568171448\
55926951244516699012075308494448948362600268973621966816902406362642160240907\
29443757924227368644006824731225559666846705789652322356481948237259924187542\
58984536277604811465156367514830081928980984164945287738266289265173180036073\
06845585687709117400898923453274112530080605684524794615683178635770890832501\
48035402470122179589148674117796603912914441861152572573817864249212540403626\
07137171173302628456161974679046689616750154772518057624080974234138445248700\
06300314645152423650201783307760744136597495103762527923406497027925839375557\
22224579815032419950806270498178026178242791394375111014953648993184217023203\
42411373937666224794814206413383085385769505679530408755201330061693581380474\
19864070865309398541236564690182394836577188562901348481468894653289311154839\
23793805801918158159432394208361209521310941608936960101339359798900961133735\
48902601872751467484139821520681568754464033991942644035826879890497942424685\
98874666285268375019460229176724067023671194290352866196329060434911643055797\
79902620952156915151194153976842884828324602325730874144500822284540614223376\
39440848137818150959547162315025240381119359634100525649885656255599791814489\
12187774364047219720061180398664471780862964765066124316116512814660749997017\
34598804349435489998200168269369398411092370139506717402829264538515526710445\
96369780813148598068645243003563911288573502279716608412086347527869357690350\
32237597671275127374658685408254442515894288533795339070932408246549609271174\
63749346846620385330626058135619355930671304457236050896261645065285563974210\
06714126880246287679674905290297392208289410550980557694141724476675271955769\
35253756666732129449934194852443052463867205897153830448533249537343899092086\
86819142569998014158503775692005913543961441077905858078468885279620541676460\
95686953082350253484428477717291536343062702432840719911744866249338218839418\
86232105829752163888348183185893959942586761831134045953284196464679105654051\
50542979266785983730684909149854957669498245865986455838493725160454681112674\
64138940207432728485918882509423911111796489134207386937511483778232728585946\
56629373580444341840637518385878381346060151358605932395431519911508840508171\
14273051494972320302110234858943816807965812445438885515104893594428919578760\
10154855526064666003991790891793512154270594556041511421658232507926558473842\
14983423621597744415646148985100040956211378372985899303708972953500314054564\
54747374663604192538878297736922001463195604729960538352441638730879268090612\
46728461262226963584562002086681422740816701273145414762717081544467088273509\
18627864382161574180166260883352925281734532986488031890011212942201103699671\
43368067555829625501553708736946877554258568630066345032593553391413760949571\
98316338705271842038910806102280432603957996769216718255750648997484789254878\
42255888636691348400016953620553229964550321621289883007220145726829790451432\
85806461216459040326380041890236406319863255094431804338608393372963874305461\
79257761336426900881197943146916516693708088863195891916019766108770013402372\
67660335326540139356073763977868243121639505713258896693157778409363347203802\
85612002620597711264780495740656163010809956369037799399961049106815931059015\
20144771388317532365759323843510391794053856020514754772420922356017733114828\
56992469764108204723632660692508490779970577515741730226343582405530464750594\
73107602418156744499048214098720456078897147376229476046459613763840397222834\
82990795351145583973286229555560988288749816015304446029799824571562234976876\
66630510914308059369454580376637495393026783610955673468137927578819759941516\
84129668166897430898574335425830409310770702869258708683790557919272349296544\
34306297772943075518581210280054962176863027839374615516115845222004906864624\
70088021610539390931100784742574661988539546239439114816374319513806368414040\
30078332815834213820411767784517751430109959415088515463453854140362134221332\
64857741508297113626763114703311879935583099194673498727971033920531865474546\
30413183618834147018829773119939182170827656452243744314737977697359492647606\
43663058097802092961026534042710027098389237163140570077270917384888320317674\
09310213261572095822152962055520246966693857536669088484212648441944088775017\
50230833886548272162067220529765830341049384226947802721794757447643931454487\
50399250848082316091337856105999294598602546001330667299484405436495188772507\
98456206206542589177808193097708998075164106661066623429404400562623732337510\
98298792984523146127811014729353958893023058364089768076581544212680415862632\
62279618881962165687362555345026550233194250230748324073686021966618706251843\
22489191645697508660015467075955836589337010165107810961038919684639349944642\
10446463828148493396779082354068495926841555250655926182723972791812075497237\
50315630012794478792969944797558279702540038577495060436020345710430753084585\
85437676623146090196700303799251026831938340390839294817506637085261548578997\
99280410422839107854477830263827049226050126211065359597221173823521973874285\
94250388090086705078572956556150025401987794079563278785877408320967298318898\
70568274241310157978050398862651984343408898778913540735075327418124618687180\
44663296837396498064974697990759797238002596573238472593075703763885338731034\
80212242815128482645525757617503871271315676674639952369620245232304198660483\
56659110942637203183805505947894080585485642289690768328068887868137105874848\
12461203344086445414990307782988773119300997648269094446841299548461317295009\
06388255860067732041278905692048556215918409638681601675809531682443854738248\
88244692546292809827479480410604318602882967795114868277808105838081943626066\
24111027637228991824320970049702965684377874306691813900833640116825456148526\
51944278762475976165881701484112200002824080888579086698854467360443561436633\
17701017338831506737006110225411792584751868496147521217123359215962940296645\
05741757388714465224393698799111475785418282169393066930010222764657148399213\
65070810251700539884180778244268307105258561907985471992576078317069923958765\
28453865994076209287403868312543783295334538169407499832616641374910577666856\
71642471951037414679233123580885620697215968046772038990233918953962132993442\
08662155876822916583711229442190275900370043915056243540924837464856067508194\
58514811760494153029595921961092170935021701100054915518434337912164986513066\
87408537938126087246586840667101624814728162270021623858413669145442717479820\
41641234146399657859757099600844233461252190685666668357581130071911758572035\
55056755673027718924187358011999109879419251033150824307811902097221393079453\
30976615068531992847304406158846020930700174314021756604645868666582783457946\
31671444627930694582806285219754456710292784707418971709124219794375515912001\
14244373603899174688621395780391302561991189403408063523172847368522141484833\
38742163503917073175878431134167508979331104362193882430464288357255787088807\
00774170481665287333920599572927015459986661551705994900899132402151235526126\
00543011563722463683096330713206310737806268228908122182997216404459682248119\
83998468251372220564048798550317359464698101699828485388333563206352804056826\
12881651542108652421068246358294609856277048643991055749742657980195234397736\
44678578743459697106233843807525526076473426181695216124872970220985710187341\
39815108983179572115441382152396304893855023172879200468481449247387833807747\
67835691236862214647876861967653896893922571408130128817955307075373881302058\
44753370941379902023040316792353193612114342981845042157647634961817708147409\
61129960764891223673479473630480100309626978270582682115773725845831461216798\
43575592192875050753133999635791915279357588130282612966488396941834033759766\
18013815870348193215610096065816967475417694936887522670234373471162225797027\
65030213158500186575544259698330877180031099080511341954190371025170522192308\
93259629166719393933180526944748421282386814316519320724861987324175429403035\
55052356227040689209450334104082368563960621724458302322651770974669375629498\
89344042159258157148186554940787185483949120688019183766694559807933602950024\
79104642552234077700708284278489062424769689111645188741386314087563093503230\
02521347440160131356198354997815058331037887928828003145168481942239923162582\
95106096036052236337181813201236642423578170481301298818560260933939672193941\
31255472300436509741596853969360048846492604369033892475775823715362149335158\
12304643506596161408479605325020635501833484038350986452904088668671269170534\
17410375208280686707473489610386434545429050797071362022472088622168771134412\
15225106010690628328834215441392206995231558598377127466596647053041104953835\
49085211621700098021978677374836954317708285432531048173350041544305383210140\
69029759398835294915645700434617511158934080929402475712690683597572508294401\
95492803164020158079144486721356439320641375855462020637625097769881575719701\
00442675611470167549764250043481411029683894157614080118883881091266310714088\
35106882740896892439265213546036877024097795915854539895690412526411923967858\
00911416047026720299118082553698042997421667473130567348682708328762332893404\
41973197446551720962483474521670940741844927845204690743653172248643093711221\
79110338082256111161573891809183750882977568887379655790451057483281522010886\
80270992534889259375662143595776943784488908386184084272869108857054155345419\
84025091823841247876711062645803868511223661749148810627110167043356398226073\
31853041666400177164855164848714460522162072937547730774001582533655213977545\
89981349606022132660044236427159712380479814264292693598606619100036332517542\
83240906612346944074202090140588049514516097417288751952538553449407342815051\
16884464231811289470435523977861961226213800274102245760359546668247664980743\
24995376757298239696367800659593517592774689688710159221272014740781611977671\
26675646822254571792832344552375613937445036741472708240023278059576919008003\
96933955934120514444042071876534309332440609599735699013185113065702677887209\
81315451005350237971103217461895883050876621156399201102439813249514122975091\
30191845396738028094163973017482057040566382129314906200262435760097584562695\
73129869649687250376145512020647192637933055267107647912321059360590296123593\
86655492935682875231798648735201842437385655490014477333765133070838598994672\
72828172740414005510627609868518829361027809338744107934370595060555308584664\
80578414171918839035169020042133851607377572976634238630573727353364025362971\
99004715815620687218827869691733838673333966071324251075614557212332293294026\
17118581463519296792480288357861357707255838457571182476079817768735749391822\
60100300456891563839597674304643400392588865353088281791065223358160433295145\
26804102303190702897610735311946108820492569272780911261609315498170196853724\
64258476669218334793169620683564414473407766257008660301474901183222925262853\
21696095076196034369954919781669037928960036938724126771344643836116510887651\
56879609578239667177259505045741798297861930450365437928948582213928844360569\
72193064648547679357336024849924706244440579320144260757724826342009020666290\
34459787955862378802454226906722113562079460656322725524398219473017014542909\
64428826537733795629462500541889843317826839582711369378336415001615931726887\
26805460726870179291735730588649621345946218071050913630403947508090537773986\
80923839939459687874090984933772942689022634327782488097769825386344303328672\
11823035542620921816078233544220890434317903528768863321380327954194659689613\
33089835055199677427933415875299955753680948878772672217198311301179580170727\
84040639834926129105319915642874748071530284373953910460305898924201600694532\
42768819464759639557421711552016526422379569898376207541744655267854358762745\
12712660630873211882159682500821840247847657955682176281875976086382669722733\
95903664422178486966894860484344323491490109568395787661119801277288219700265\
11490698218683103645453200001053967097487666374025822123063008323560203790070\
54125763903705380650959177578542998021484658127194387718502783264563806670893\
79083479101798921681857694328643235676725822422605948807000547935193962831229\
37416533431792012402669677536040394223450541799404943225794646638305064217536\
00465618032460091389724509988191482883128966300536640105588959528358944330439\
06808607514803696293615077305214588336466727771460045685441355407504386732895\
02980466436853086085390793694833774577295479694873693779595826972499726589198\
50442139511023066991341884327645922368187128654707955634530568619035334445142\
83899296347170050803624405881701486960672945384351840192226172085809226691007\
42512038771574797931111917499514070016037187962201240724546494164802165014141\
75296073793905634709614210835428059291699005012866529396095156063880394195500\
12765368295842721992525674033206702617497407260688698878768154958173542321938\
20941467118643830199608867209252107511094941874443722842999939271617122957852\
01745983530334006064098690781564825338509091210744930060944068733674152224763\
91221231458466769171650797772925839119284804623647815611100729532115055490713\
89109770056058090704143527006711591115846009596417812778293674550050760266486\
18670117720448454870741959963505139885847259567754348757329565036232093805651\
60756301507425075630291715550529505680676815960173269706956758856782942643901\
83818766004105707061058189715769535996057790193993550685061675112712378497199\
46562877100003225195030870935674576510886200438884683722789063823838087596348\
51102333979509713535895567035727087123151372036613975026104378739525274957156\
45365272049178588394396841604405305695037410141284074976548201578360646565826\
44707755407819191325357451898370732264939637166074332059866812187824951750010\
33183191711119528240546159001558097492912876402608753630055709401068149269444\
55128582423427447139593996830472222473885153772809777621483411633788175235038\
77376485756377846700665454983955820273080564271405249271405277921903324489643\
58270215870217844567538311682734674566889854896118650369543980027874107385776\
03852514908385541023402229761992587637746764713007300733604653318714187217984\
46448982240334817610160246686215445581178866846488624160638337447599685336625\
99761620669470181445678181725712172936644881547310236681876431044045563680291\
90022241104563110814607557494982548365493522698737116870220851293644664904086\
11096943059262028379690875032371021651499031257793743167416107686251974310062\
18979918336494581224992875257430037894656889177552451683402878588460859173363\
75551722307993440635447872563470812134108536195024498797788493580198134968166\
73392899345284510581205059407108836506065168339090993633963486495799404086459\
44161681924993723877375983322988597182567110649529034165857349905816751513237\
36379620120692878688170618945330459751566503692909448719365566437816440406357\
61972490695955333035550561842204499022095304125170934573727810903614553482629\
06500845928974318895725399680076926201767951757008070327564483184011228016854\
81800500302261325014671891404564058686762554803466637496075915500914017242791\
47091488626993832752003061291165848806850067572827905483094081304471234693403\
94489027579403092148693818354896818460513665240430075442930463281045751015634\
57767101161621076407495073843355508215264992156635278114129183572300747275501\
02061434557012147329221790417521612868344559667921534268789861885610187852510\
63624892801934441679143292408663973353213841066328384614393587125082080375564\
88935209248601428167407117688830292452070589821191608100521564036856972529950\
33447937518375861993510886277884737078532041028362941857303926336699340745853\
77958974086140574913380049079953322389424229204533503086206855073633839983915\
75040040923243782719798439187787821538458175360535712413074191800312312806475\
67305672069418375108686856636758959585312541967074587944271022925322367285626\
91798613718091183013291304339365730510860084794642973607743810941597177579308\
83563163740524247174741463902776432111961432368005905741539151263033623418371\
59965738637068167250429021127493810087889738741776707207072728747554829337170\
73598619395324161599627546319375275610658878634717127618158367364642917710040\
10499556467919836668583717584924502123778951324508080980501075569417528124331\
73923705325935765294514645254462223400607468435805837381317701424450498541496\
42682349312908573027015886747956005067164166245353831674682137951813104157662\
39191279780622506710352305958298598255463738263886498852254235192169810212202\
85270110866280238499013962587191708903178997317641478436649637817375545812550\
26095235583729653082761997391390086233222541230400119472389847788616419182758\
68050373032343644692279281581277797340466897116152312259870378491127540004523\
24467610591760323901043477087378008061267158257751928650401118558844245190214\
11399018690860901105407612458702391698768599985017146871714674091332303765776\
79585328863079693838111802933403656705909439771715842949923324673644757293103\
97310676738231612649507915507671931385049497030452001286014775225614662072098\
04705569152983449668921886808765619118297707301005432737576478013518484203898\
60619028510482561743475999701182804626543985626299560980963581016345662974416\
13723752397444611175614259430333855056506797508999481293042283026632788261516\
11047605085379388653163749242830190077135539251679126602643212216806185403928\
50317435859123983666390370853857765014332535062168691719405238878112019632174\
14226691273161448180328243577299945909454028332167438737713880952409323305641\
08420763596481050609690084629538635860805458933102351689038745554423462071178\
38020591263355800047919650733614686449100529046277421572874504546328318891032\
52088179781311482912022760308720354887356251677804658171951091560654263302122\
36146309686189325822780606815764579968283716383648479432899975256810249205340\
43542769327880332895266347301747921852218124449783350601817965566345062998084\
96913902452814496884043082860069364566565596332051627340752563402445203877731\
02610312332061172498323035688842867219730323690007516805096186470428863878994\
30369893009161078073575855472110224062890277463225692082195154586214216716219\
16280038184828164360345210347114379717934234076826590976576182461512194862615\
23386433127993121356288819713697241426812401749201578538395622940930230532900\
70195780539391392080984922355993574204014879721327367588002277286427048376340\
96585823996358557233777771265181759679031404402889787779913602399297863691889\
63389747025123961379134171228575633908926144855460045511588171564311614156027\
60266425360283399741910586441734136209223573719386077910214309556253035163424\
72963326533173530108409861637267546315325739086412818994458021156144496970391\
75536049791659703411963642232481347840035769653899284295620796122368061706502\
54139340562438644075440929042377315491970473245874483008041773972512929755987\
44643626043693751847044647864497814907420592319226288559135837367237719336026\
06352675553483948174332765314872432937506107158599379454370027489935352526848\
73626931437329211683775695934598425528883830939199824972173974184336318352891\
17151430470872731863345245479590223249943790133564167385947822028624887892822\
55731107663824714381932753248765450345964431502119633998519915917894223728313\
93818225432721960145266290655373468836450588889052701125269192191628312119482\
55299885003488849635504922165280064279828395929270205248814243949259528814831\
06573444382964375616402164381789577460912708253389541963420119263119206911146\
86918256855426374298991581104377042829202643732145708896601686130573775575584\
68621802014367742500405737222165493453762806707046837598954180648058065946420\
56528587463525397999363081350576699858499429461922667373176082641300039117372\
8628388395200943250529235228896141052246093751076
0
result=O: not congruent.

code version 3.3a
start=Wed 17 Apr 2024 22:58:01
end  =Sat 20 Apr 2024 05:31:16
elapsed(sec)=196394.730112