n76-L5-f26673-r2-t26671-ver3.3a.txt
p=6438270844291300985993855809156596128971134782979093843379174605363238312036730625399179166039020698494000815879087727944716174653116686987353191961774071704151708371991298315847355807750777315934930825631709393787970192977321854420371987967257120699052616674038441672200185039254011059056725949961305613752338142297439994850091618794318216935521153328655200480430980784871169864486006247893575801509531945928412506130035594826059406677129538944003113738724994496163780355690294609429316775728713288055532443344878961304063895474984430224699409274937992442598362580468862584195654616183397784518619656661970297653544058012295057556701517715114737125641219916294419990592446908003526857820263848515473949487306229161499929821424238983647313655749484806219810626095453715179844400918500204714716203418910435292614733451029493670995209963596154961255259216901934182199487476393019534642945720366124613034250273542496604616248680785598647315503128519695415240952308268591469696989756276211741432757155621368289647677308035981231501921171458690694132852351878545326632097651074033048182342569535246013781610876537738612015589706664484915227707210018284129148774489684258666363601217693891172536071957277024389004105234176779075514163234848131370096416558545278781699773329938337663444604857105093912931738773154846489083017326647831326486409414527968492314167339295489777203825975889188689413137526894424442228747617863884381364853596464314494967881625832387186540860826490127720270741344842197147094834533007148531231006886940405812422399972494521412162319448375201960671509025352835247635689421707493401346250244466135517046272196281873280754758668537331275598761378905918356040872129458729876102053823347537039424326498160280338332650699788324224020883811671501909379981413433894920971698076146669808190762449771627680394056750735852805149236155143595119265152946204274168813970519885903435009448529452962029173236402701393115834524730752613224816084878538692703463302768438140431293420960698542126913171401548124177887848137964717781744273018918927333925062031257224785072996352100326385505888503051702381479574110863819716058615302704556837597088321500579600347154460953000878826570279139047134868143008748475269871119305393147541434235278414357149337119844212955349151036399195217743435397298337684625399317564423312411902223601489420671832604983734574193392870102987990371031397241280085955045973881320642516793757514265657366097609614492326053987658184140386310579755954793829466872307255085826061020991349477403820441894860671855952216593739865837075065729924122951455331067308179299448341854454101754945177641150789714712152920785054483485322829545218997794209414909599823031960297414584413746657221605259719178466233573885531863051911704838960961564734891214268890030599980262936161865416329207257822296509226880868095246366927219772347831112520730403033644124293494824913842263584628924274543832255822437403369065716205177760445029759438567615002990675976074990727408809290367736537264799690863350729578934727068576676409856128933145043920861092982897836964416610265941569228701345975098261211069569606425195338505548466252813015377302732172714217244453800492828026213408657172545055725579145213039858718649556870321436519336638626757377259294693536749007031391570619188127409981000319304864702550733271460854588140090410356030581998767701259971873308118634406332766067106467989515828438655861339624460857199685543806603221921429921493340966793244501384452491148463974803972949355803984709404827427756552546838092013603384274477959993824318725685779593943585768474677570943680575743245788503168325061388481036598531337017716200455680257729092577192181962991475354332593718011969431497210831466958731450425255163920857379427396059001835153406567191913681475426613702978045577937665315745505982256187579616967703349351165407208670955272772968076169951963445750202019017943699856783304811698742926164624190655329830861565354869780939127932825051237650528863915507590304325731679495824639453631594130785746656470378323214321480492863914305808760927837417312015196084780024490408366201307002459700642518081734352684278014954773220965892893688393006565441614887414461766046739594536481247932092491880260406202317427122443222221056040041871998928832919674968021084960164656340069813818823660174003199895213208502027320624042047658821829466298421852437907692467283639502457017506295995834218242608480601799062292450934937647827013754299187549060813126193198884229466322704575252985679992388553684479929791310828409942499430730977042328663810800842806579046242336507011553528316942210559074659468261414802405635874314591365467682802919885508544768153273979353362389758301254115997576097695955581954923069705810427702502216738524686466764033314604855123578162248604472926934114824644254402199460572427297506836137755715144354963705432580737566157593647123639320904828068202683935612870776987497780285506615843059264935955675413618893702605520088067730838847232584663357893161282539750815114960505074293606427420782972829822611311032147981340857585768048369421664344933735770092005486793028494394574380015280845046977382414694801003387782313419622011723575172049401825264499893957361001993119843705695729522970176562810558510491908533400635702394259090678491829807453513921871752190306750218499334074172325408948139001542100948134309518238235778560000255194938908017897395872444185871383787952274021469325998592748949734583808775449610336685600435248947941177750583778320077944356751562945080157710331677081933299079524639490615462250241983965698232989006003166696353028052862505766928573543478806613660606461704612498102697036329044592991559809549440238252138994250901389033079322665418763441089709980828717498279906093416119138964912585393175713955794544382045623095197696686545791372583800130153052589611044081673052286649012295598047211998453636996116822768963241753994015121268582931182700479302939809200947027508028021391897571858684014816413189915916252577540386094055458365229278392288802205478611061755178427906911440387106523410887141223816596309232455719915466994165753387896802370090558776313097012725856704559034630833446927047289471585862535723124774886913998385373822304539291516021850265866537083269807767697319838060145573864450819980623046056096942498302870764954494254601557451644047732241287258375273893193150125482958115944849951077925039825998166941795924971863327504461110492349259509127517316300966867016137938692293473694832879061624551824586513817758355515654433986673045008275273499237496311563846485067642633466175513830418950781508941253358117969997735455454409676843615457467803670396852131022825087300305743724409048103714174937942478747004849567270359138150007670251738814745866678165710797831527197028679400372849738784531891100118684224789950146030027498851005440221042287777341538722609443991955451197259609177179905146765936098081649590490979640566783122313536278141465617981626686280472750707625259648864873122939973321170878242681422641216519721509397984958964493524820452220532102857344391595040991174905863572649001229690639627704118876448451763966453792002052499670208291303851742399501805834320750892484878913519824417951311096309574921556976145677808982497654531962342843599872967355089861395668795653854031678586193600346431458033306584647394662439692867454649963439686402721008110275943450514812974075012630131870997579448458992753720162204289582990830435206864492713878349782244495681091234088979267975750327694377512722551259163300908170610091105663205556813538623174166606621655493375756719406885686011030111805500038525536260928548270299838094140511564506279438581464993829911509229451358728396709784756766303751772282535215648082578150751787911796349331551133995317531933177871268583373648683199997436735788165219553424235399772279963625019962517069768013974173807327130879449984068597120845421097395491816528435231488336720467363538981150315237340237727553905911868084399542274211007259603022015318548666593155547059542226696924185104483490704978211540592615839134019362357398914305743562977172177706347270423960693828868039859957541662008186468183041104356702463115747732896045131452669255916380925873852157377444183250238598246650109832004952099981106082847359458932916609975550963001334670141620651150557535734389978070481350882543586857798118495414380340017039775091436418818405578592590561491969820037800583934827880875863669627258502263847706411690111718081290832617311176517633297964286051484949087753472333291079272606018558291990323810622310707143629943276032071129645196206048137894115911024763926757480101486722874251626243791525739723041694190755814065669881409633851061016689292470301844771001531339997081930184716711316890041976031646305670992176860839707900780316832011169317396229271408932958724861937047998256369075976590444051300294481873888730283174186383801143139406615305202221135202198859829819202355327748670574235933638480403397408170711642507947336828009719196213402361855531577418824966936173487158794768565340587915478614002544307747172533496816546483745409868897577665536025376793421197969100477701276702210352691873359786433698140734095193521101890572279491602310733726747241235518645035887287453078545611707437989433072653250557191773293601493319068573406782266182163290255505768509084191076348887300155950766193735710305547432421731256431671858789000620418406775508606705639122965155403324954964031609148425167724973863400418168724532150282166702735854884834262407736092888957360821698201413052850002708822240533327162664621184090300724840958536649044914110254734360478582595959845356428610936070117720517436772445214252290558203703240151111942090537151303071056355098340732325906295131527959584323521151993130588968820726745006452703992173073535903682762376632911469701040636856729649134314123134494167842954924713271800361079542545723029227730984755868869274682840992571885880022394860269591660804593348507774275378906739757470385622092617288051547089508721898715492055681771819159748630707031669126016733889980517919133419463625565259234848344454076365769411744175714038374629912789480550206874716238948534080399842374857503491302993620561749949191040246490272121482122103637626795646722928350980954656689381089764118050034014598856964312928216025989358196138389303358986250684951112339268234177907970599714824609495137424026031055724553271617046435574141042147015316459597231255276517457043950021561508359404238498456706731240653138562525037035122615218090703814009248444928970392164692018553590350832015392221338221517073517377431631257685043781559045767324673482392911128259402994115178772490050100948003782169273050607659366109674877093154595568576883768912903346069465594157120131130932319480848302938796620736758093398503325107811261343032012877771932982036453594955734162135148794419219382937513704028331425140616539864961455580518427187503721273454353523190688112340291803955934365853734774812638015934346979981297168448038514849206052750572664222955726880421490838247664494244553129940521887588295600726768912341441026272362188307640468978132232731517047048326405001934350525063281231026980716554442277244238834206757898205693104808567746688711542855550884630527484340978254438964312892486394435038452335472580454684299884717709856568426758127346060961718832307950464311539691130100743800553125235354197416708975772155997052818320284482692513536989541552695962511003600949828124956483012348821114031775749941962334553845541500111931451984423662582089619154349995207509120571627744750753965268048610788287518131471716109936701402676291011345957698050191313042699672746937162451770481097295188836926412973088981885848606578913997717027239314658588385595728828802653867080734752522771161800437630034118465331387183574117478541684622349122133935182767971332407483897219995381003976240679916615403226671624728373230888556297594656125476247915500790702778019827997397621455574759326357910772813203815099880930628653160207190378159360183246161024579468562057103434675903981933461912084349671589277812999376802544588400704532999274513515015065888034095709786265358054362773574483739394288073089112726435977910949582591867671966154103578470762876456078899486408761060931083475604369112126697983866961820527450832490742150942810223839092511612518832724836255973604025607697407359590335632933468394323833116219730790722653826486376366384199321865132697682997677886599852542229317001233006914486397676766356120472313511516745566816013487699516135865192116803285997044857385703847591226926904064292681973573886758202541215191102370063358872932533426809861849538851927902718674942714821860213453321242649474595170465014226860541966102997801297480903364716787658728841306735138974561353654005766275136842143105124064104932625855769339884623412483616006602831031333812043908990823829624827529692712545526795052797402375081822755089316814522548108033361947155282608616513663859488216357544231822049663005288313351746399516858582283098906386027511325826859991967990462847460298909350995051135619886878577580620144626792102321472613252458979793250011079152473127832088325662052357379775626955709954344133432681829461386892366198669434455771514302616557450359442730694827899960461096644595038700791733493966845688561406265104075255494888203074765622894703812233788566953362111290186172326350114549288738466099951478861546757989197593163518064912429061367042746236485359721892957833834069474159734505898647077986429941043312090082383900300448309233067687980221521906891752977059616181958303102184269758765189917316543888313009716519801104744085643401906078510184071520497613954316915139013972459957866076566661145215888327459374739995807794020536322798589593953192557437372609339169426590175292783590377440239958872486211027640576247902040250417525242195711075267429552458642529715499118715963550435886410107109174855692899428878705942909928196400877080239322465177068126750313624861713943821900074193835094252235145693128426697556377909766585173618559238012468632636270013608503951762652972697468964897223515666362576492108255023748296544416759452227154631421638194650219285121231008728747734927285502073784060077414432662738117531565284111426150644616270633045646400851414476936745430916122312227192106467611087821994387869133825635215787980182749257944710305754416822225239086216922587718442334930673283301554350476439124283256081584475199400831173833277081704762089552150474449020629576421563873274488717003802312158579331830487521763093763334093704866493150392140071634311673609606895735367037508324228674390214955359910742401585792744926562212736589725205219614270561637814016273670078953034450032591013246188674760774223714369455468227605438379481878026435174495019975634042527533931437127737187475697501136651435099259439574975314778060779298865389172840381044392693601976935279705925846613443267131059781421924020305385887773115200328566070741383118259677501386715082061864127522385758966001257621957895157374864788327817429248932097017572017207377032591257941794025737497217023469046874233334788815600999167669484376364147281106191181269372311034724088371170071984625554062582694579842993619484460816699670165401943525521239696302333008746530582273655589444315288117308620622068017819167685009236708058151801980185048285044504667633058662980026620410621179723324753286862194784260882310923486590028647707823375253536130465998508237174147424664931861458300217581323198958282491675905131060920034201756426690538039687925925637342970720204565677262942995683116516607256657669704012519260560324102520496389730215202714470399578784444785449416677039092879876325188429967731563523451667004513425199103685458084405542698378029399906697637790553398692426711777744702550956723111588805464512478805819704664956842271556612148032223153544170078577604491323760964744237953015279223910924750101306920683891948109737271844520749587786375702277290546062324320681030231557452769788846993457347511226703341227028149091902479987671141483376985377567251005143759628426398076096014678640202568102084541067948076121384742134429741852517957608595249706865955195990854591253998667333335353736909631106194500454415250137402929266911748917353683513914754397999725247028899145892694135510260231310000728415829503646688660568937488330321556577728685812774992169853369830116119471579322938446887397503235278694934918546504943880716191182936628615248779302447760610614505862434943096648126717124647331514330481294745091467133471894297954110304771575075544976342148094877435506959322957297130668691267152392122624638769990473564656923604380269345121084579005615345993682768751281166389117671828524719432593839770349186178571290151032520717740736803098175956994493288024160017023443021598909673790547867006804848338144607555284863212747426770426176286225648004974121992773297739909466916546580204683248523488567277206279108404579131869140820837363442946800393699299242979443493919892385137063841132664926139627111447706933492565913853848108724496153990134594778227379612091664446647427713853228252202331329407001010917513573144361139116998173185110522386317795751091014091445482970440209750108821788874628926799712622928510475459994040574868083993696079400303213690217873225608973971323151828445996333078387996320705228861798697894886385907052629317173461400785967364814110833223372713597589969021901200832647227453453714209656428136355613814667820098600977004554632513193906040906069129519253880336094897347251478387756887535742024683292014861811262577074453233715383956391743601137367429240610940887567303408056917407186079703553139172317312755844218065738933668609401123837066360687078623173399673615508958739167311772323125293411954310909324918106676312559723076475479309892613931179338087594025299628885843206851375947510968356985201740439380689891767306844842534760994661982816734975720234614479582392009482242831440318012948887616381301230381889363618132248089991342505810233857258289940223201933599429209847171087424898545389978586933149535221191434448395320848977420447362307777853769037257710661320035991674867499390856361259665147655693519168226259498651837425202483598396292844375868115782617686466520278101735001248395520048627318657548349162803064336588756403032164816728076204491143522896353847937298064476641334740368121027810498920054607669145210157562645795161744784613670521881903200699609214685755956508025124568305587479223331502159533424784934677656501216374034491730431958065897521597164650864888131487908772232571728395088898258944490971840012866641628528584436214535526989006294444453322172199471941625514901580444958419138079751969771848344763998770843177276198940096706560351416898203936549022001779712418088039995268076181168630245377215715052443556487560272216796875001
g=3
*** a(t,u0,r):
60069066977237838199322674699431041883300687525194945558727699068039013451302\
69673497434161914406311694902761215188850172420190951357868959200528100335208\
89997354391106788132868558296863147523576729046031438486440417619004784129017\
42070647734508936122160913568778660801627726416239923180999253113138981376309\
31486763511515195135480335098896400841236055635302048242105072284801483565443\
82928470622280839330555120886821932320997271342642976185983475490511823041986\
49208070718590448705975525517548894977558117696407720708966916144781604733996\
44548853517146948944272287577448791054545756899110132955872139665618287710756\
60612547128870040251602820204973822325818190269385122275296516729055834630617\
06649371948716567118076794345233888149717429436408142693242030833141470583162\
62794826056960690998830217789843436128009546309810517595038530896035212578851\
15684936950459199212181547468722582186835710159426396095550521514933210696001\
91729635379453644189088758224198085036145958412272914426057055547567624261947\
36614241282928397570488991292452970958417625951244302682789747747108452072833\
95412561737638453085824294780971012501054519631796442590745082694705909249580\
65988754133357172399361084004639761551361394637549408301834869348774547142981\
13306568299956649122745103325888516832469039993816331679052620765312275353471\
77431445516576242662761181998375459460332911812756269196213116963550461304722\
24573125924980045994215274670041278134084055012054238050335569016172450426231\
51115289163012601674737769938239480619295669579638529425515398622990099174337\
38847754744404533406342930651792065419528604409823045309134345605147808690443\
74041719591309877709441898377453300801336443665192218261861336967849949744032\
16217183252057782896622783541555664363102902506501011484596289511281451522658\
73382396126659430504484293104198136563692862580765494843655066720423733274897\
42462743876988085877995034344950535479048638154779796135732186295637203997770\
73611573792188138753407191676600292331261482952785022396761756331739804409988\
91764439985796936231272108169036740672665135920255208287516299072447310559650\
96045176769939733472383219204426454359437950826880774233515294780834039600407\
67123895112069149819945190070436730976831977427162327426789754311931806656158\
14151476059522033153281465068734075791696044913815462522567934905975549756328\
76069504803047746201896294868198204498243577224355478060877950161722936261143\
20196057893631272159468168575760809858322569069770321340208370485085802980427\
77091230582264289259186266899507571493258492906241776447228790500684160341808\
19592948259910363260192067137078238857985312863853029502056769373638507391936\
86803826438675092455833091806199965689324941997384110656634888818957487807258\
02563118775770731799350899592443520122822743362061475057713989765350291287439\
85497815853194390204334351503715482026431086798499328648603430960476005264279\
81841466030389967965830671644614831924458786348149395494682334097343338313219\
43085049521276555618358479779030068567796634867241906791309818926805811157550\
62306971461003549820390903957682946243259781633997530436818878006973781234840\
90378355794766677709927908442794707250825676719013874543347023449117142364689\
07539585980854845711027714198453699196534248376618818450003656000990027254108\
38387646329829219490697868235602883353877025228735122732979114387674798341422\
72977330734704352862176533004850265275553757796474685901108470740610334634218\
26793326591862986962197976730661237156080605269411675328712201809711979169417\
42415168884921067617489651177338747039900968635261999398486919575280879366742\
38089371064832361149365521986874173690453977168448320673456047282275452807146\
42973743752921502514968046124337452030577147104650559230993890516747958689770\
57586724964432467630679381599350057605230487121981283271900554648165730305848\
78516524215841739590557081445023011782630867224944637324925690001269497179215\
06656518189488493848374374147196637882338931492715011159436988142273219384047\
60935056162063613257728047279434300331685817539359076569696043886102382773240\
23101630486862975558961941299842032047319573945672310352110177947099762849551\
00566581943329490069946937025815105443138795280341516117806981127067512555702\
66899576928277216080417025370043206422949242829589867621595052395263322452853\
59066575000601114056745163672267833624365285136292962474942344985502233923532\
39149014223123046568076689205642758832456787707197563565579239733337416411332\
56203537124014785251188567222968254226038327611419832737386467382545589860920\
79083368711035639432898520587619774495293002906476351968872001580492643335477\
18633853825014409996104177944191970708245161665728388790001064445827073551374\
39813480551242531794722686870046227366871096444950700902257384991503265579639\
43224035521129046434568217043532473490843082526329830298425377947973240829529\
13139308935725209671407466857387811652608222968318113716859782814922503487276\
63554864042045876331041119268084349293354290063776725815742941852466451609064\
27824530950242167192872644468001490912914319476609587510502258151234315934796\
78359051365022449635319299406659102012752158912867041283382317547349584111917\
78955852701378965542570284288298977929102493361608008984205073369380956355220\
91902971778401062217814859580814177414115644931174733102251090288950661662793\
11033384373160303287721035412848910634479355619795385987869120277960654861368\
84387801846093107805162739813964802380968780011806982703489904254180010741594\
71662030881156687034770102366693587494486444127665206087268429118841294665172\
63272208484920822775978714373945471744376804119648864474422627947577103999645\
13787426009545276973751733207178805443591160657265705453458287704034607298163\
34894998605261125302309627742289245681636090995967863008046835706290536699412\
11319342589515238515723915665426344217183294112075630990844856634781945100854\
72233506206855214327980661071041282009577834435284717929780487945572433173769\
95643442704556476416108143587874793459547189642841984483576664990143958640434\
54415218582371350619154986365484518022575374265475891674000545245771154412061\
75814732371483738811703863423577027618208843565138811866811307055566479109077\
16611294491338300119512873224305353579310567605982935121076989609745829675414\
96949076049355377621013515898444838629805347909869073064726159940891011582041\
55326150419213019703384473509165784237025431395432531023838965341811210120641\
30542349209067075599922176545004355704062157656289756695597998748484561662216\
08936185912201597365610880208692605669679990981095727907616449570685233921739\
19685456961055869095659509927208301747885840586890687705681105770239417544037\
80881079147842189383124066007887179938964228495093221817460824480263038244295\
80645118525889487364188076532521710033267095552464626324507589395715634487231\
41578936107286081743768148748277578805478688062859682543964107323817290234862\
46015656427988075726232454496259655628194611244494435967043215362308851501932\
61837951017906792808400464880865311852934750598742157685769829968107641021436\
72523909266237029951086524294004217673242550129001682683199667138724586574819\
21756451965902317358173244766187170713281518147301366772647942911726405495780\
70138793791498219230433578649367565873518484342126058268839202631399618194857\
32528568334018126587439173957806703116783208658730786814785422988406821589863\
45045811556120918629123220550345075043476019220056233445335188415889227413738\
70056688745523933032050481198678391303564074162541224023922091133660218093044\
47960480045717020485003468341144704581214050176570213750557388542193701403247\
99359747323179215001583770784507031535421497443978004575319581019206624345048\
29109431453153594432533144633553618974894183309728968435871619650683924330743\
81110781176935941302291780629614004035396053561996610454146514181217059939263\
37208017631257293654953893588287614221425597608474490358149843344811627987537\
20606214362502842609355703790416223621311052683513600111374877788386999386482\
10300709786181601960501818694132441164384417998077942157729227447729418388697\
73209619540292205905931414125406552897508230264702483096827744671367372910577\
91204006507945318704725874425770164180002200330555532734233388118934038637065\
36379748147773503648033980869926347920101076453404157699834038403040628331554\
22972472612164124552473260620309282371975296586375184411197107189048480245247\
24213206752347018084018584953975910037341316653832564455622161685723589811016\
03101787575724048268869938720078420952679448111944128571808037622321826121699\
10082106874232969844346831951327690951867000678886035457498873989686960576961\
34141531488642697211531061588976500673707653792236395896806024291265521014498\
61047436647289346871124416767672854574935151615979006799751745232699993551883\
83039928571109874791621171344428740217277440862340691658658409163637526003191\
03570101116344747142803560426642097313068191022453445049029618726578237319234\
78861588842998631747515883381853542015158960864665490663720797536723191436515\
36221221315797520789509645762126084702216369781823273962459914865260533068010\
06710440361121096173176369415144986351915551907146276852514154686437383912811\
19737525298378693344674076814399619451116765482619777051707456952911631622590\
61517844680742640365304910815555188063903936765664955914567055176072738895818\
48283919372228305572303964414105678548276985992448293019326669097898852785434\
79583498083868820189755502742335118510455020648587554177150757544494752622507\
49844250137578850373521549530056361301726489991302182981441491335480681487400\
61455259015141998849621326153365255260755036682641777466539721764664442191837\
83090525273311504175942427660915647562505762766143146935589048648676671583265\
17562030535717547894003353419833242768508691384897387090804055123060987441970\
47116216576529557930675190326007057335771558629217384523480959083950790973805\
30910203728246974776089981360172973985064012310709141873287626423150768844830\
58597476944757482589736887213195159586269473008777225655033279090646069569526\
06089440463152901953068559415775339892851998819371986978541241192975209343451\
16375315015540879510931072760454724496605472945736127193518232185514803595626\
52386866113505375653249262861157315941197803529708632585353343014110250938982\
29701305293574205075738569304798411270259524054997542388934281992269390580033\
83924921514652306946911925567499221406817356207335477039620255522480711969971\
17220033934171889059387812537262487988136569533931360658963216616286974991008\
20241870432439067359232316529025680421676117299078742200537011688729932415451\
90601073802475293782788358595537693999984786266584706287991187293758896576533\
10499797326270360942508560675429591713143711963420145848194589700913920359072\
58608266602299350946179473321674418448752876393175621694618858032666032791323\
76654822325563957388218828113993485930823451598540756314666418972471473953011\
40803602325587906833048868014961213472240011204093699973272093825193131684280\
70028585843321965619523169400903805662369256594097194813291183713691200881349\
22530908867633415345449001912688667457323225502581620199343543092472162842957\
20017693179433250952085070973130168070234506921119879795478075395214564477512\
11392169102855755659737313850540489608853586680474903988404138854817300854529\
46446688748323149051190259116667863937076605678694842289753602821428901327113\
91553703928689806007890876028995917564220451792441623296178342165332813874877\
28367054331778320266653182438399396591606584458546618978947439542154525027949\
28254223521151300112422686653330227663596861896405843986505214500993916467746\
95850858138737890219604432044701467277189089614671008545528606009493328685852\
45344959508935386547225441666311113057094240869697951358577853228082849506883\
87946728923725675018588637764111848523433038920200994967499381267598699864142\
80576462963760814997272876057986325524103745493959808308821832528154184242274\
65160747939175265173095096152552251725313618247610625569047670983255436220217\
12104846258715722244190230256558141650693393051622377256918924995215719808180\
51250451491930751034719159488188908276533398473308622822683050968668235932644\
16839927750455261841514391996397469824359279619952841855677410097785732928832\
31211095090564735358112972305855790647204677449933288548707721921421737647673\
90915960558212537944421778638713221763733521613220819374069848700882738876381\
61420921894787537855211162671386242682964193884187331333448007093227222682337\
25558919816810664977831455269260119041362974330088277442360201117891498364579\
67300168806938236833468197662421899952762150395451215809032423010260400668506\
24512361383934058402364855476222424497746583524285194086168980261472280149198\
50722813444363454029709537732985112691138284460536872136011056197488487332365\
23721552928795579151948719391959797294043858273660885654374096948610549682839\
28076288559400893918388466326574295918737993470267371951708075180990213992343\
27941123536438472137341604413522344466369670884386330399640852033008049764997\
84259976415951340630498332587949537384795126696695878673839207248380902505861\
58876828997233558393399635717939074922905727013127965816366806699646037250613\
51018366804588824244783827095333544577128827185949367970314659339481645442281\
47102260336849257428267338407842694849435330659949677387403076492692146887473\
97057766335858234723482284434124810118536006773827443066311020316940717110783\
86873498710670274277920453421022133767306934687563261607586568141247329674868\
49833743698780484656874486392988871254729777823125203921354421562354563296314\
25545088223864084062052612965896718681939103229400343772376133913499341018004\
68641789803182725144521528855466799391300055275966218977670967943379236849279\
22192856335447796038065512974430726231905293978371250001738728624273819377681\
82470003630514068904943669484848642380951959663241608867182116038917108409115\
83286560890686445134450750086335481670898221517438816280296348887886576392926\
03553639551050968598433224511772443913480224560677761993992556682020629932860\
14036147516714383264473496300724201831586328786001020456225804261199597910958\
58327692228481429373353909316888221088201005898122239669861157690656332342496\
39922696734186994555223526738544249109540116716283867137001937157160675940836\
56892793527111638843560865459301810853114392163668715737343484052805222766567\
43346636569504100759605985514269805006315880919943697069819834870447421173079\
70235334281144937920763881901859317656330185510505057662414715268870895136148\
06744038877434130669849031817332035020899451770295627792411831536104097548518\
64475172305430295521563926609362473948013190937650979729645475572439545165978\
44857804966481190709426640438109315866686834812791477763233721097445995266505\
35320607055335079672266067954463101648254448323821361646990011443400808047718\
33341836631811418804074153586940335518023507255067019518563558740080565921986\
64017803853637266561678189158030840178795914825768560495788947609057123451968\
68793070708584140809826007551441838313064448061596562881489034256823327877606\
66551109449250332923164819065521440017104493362791087938051715637192309783859\
13115279173361286716181830748847509853661489253646517394692054482771407643659\
69382601308490348289662073365970135796495573222343562892314774941327207637212\
43243661953975744503016771616556419403896540429935130469790019419807922643200\
13309311316636650076697160513033261320664951546163813448943040389460625283450\
11361784861825563124751265004994652285490164373256036483684310956068186199481\
66424277337154031960916129884967283113992091115492097247766081852834795472123\
81426740594103003374544628077564733619487279838391910238746102271991028834888\
61964099168195085977688632581497234770999457046160583384368047010278238765162\
31316182907841326008828070058869848243057596774736569246114008051598935487673\
80405315211025710763738532392750371337586701430112948896058586320980034122088\
63580748004262266311235549839014272582978445240473383936231913411406420225671\
06833129049904050689801063740101632555159088927918445193569980711875863848746\
30937859365404688530224712079476148591195401206043103434212994244895705227974\
51421736481726310274501382849717500399072735727024518779912773332182940499758\
16951713089960392448768163955550212519644114229491483992544488193679765059361\
97859467333639980756622001885036536685822079468923969428378196933006028661739\
89098671848246585333374365547796290311788362843107279581223067961196892690236\
05203108186766121900122870208638633190676944731940514983394669835083015709459\
41870518515022374279003889112640708206373679874498027111089183760649703333969\
65180190917270222707729596030287033904799717033883552927737999118491435187954\
54834629272241725206473279930483191582229138889522531818504087879724011118358\
24909722886791298997971912212239117812106023244945328241046787816013563230610\
05250573579070460701371091334182965210743729059816787586223772654129588287233\
91517827256465811599173489234994889188490807773774933491768076224750485295886\
40855819257486791335532633137959330969470872414833269633458408141472330033908\
38584126009226936476732144619369982077982725959533288056377677637608827209498\
07105689485639976256402854399549116727955769280861451780815229287220500570250\
61959304775130336731943186040163743688942796159295581708117386434503435767916\
14731863561142071569685153072902002878870413187719230027360417443985635192236\
61184420804828983729732757194931727152445006559401145787621360005672179785280\
58185135928998051280103152922839486933307551371565407397406741786551441097433\
82037685986321407231535760944745121978768908507615199471154524947213480991433\
61653624978414638703535765392249856293357771760708473090295114498660699079844\
10464867056453231313496779861163811481490007848100294079717103940904612363415\
07884777205280120265545533442511281257124853998291452104435542078189548326985\
85036431018835774758987533533720784001485935289996182216303516221961298087977\
90322435725225604553750491711992333759027733477067193223829942183669018897286\
23808493200801962996801373234697889530945037174484693256173381670608131214608\
37540479463027762557173874679619225579209481888219845142282474040482674527874\
10624567430342848850021608628516361371608340352834352095933277389033156737566\
51176144404701159358023265137693166898505526758276276205338395510011224216431\
77139171973037412238026849520251823014732634194689187561647530202053692883074\
92609768895259026037309724029009774007295098790236906862298140125499094156706\
36531276345691894719549241094895531248107700594852688590788404455459691581568\
62527353973018103074219874412222291131181153682915148446853243440542535156348\
76974180784493016875482387650154619256940626678218884492989422592617942075595\
21007672673200457663941716927898816164668074287271667494958666210732153660540\
31745551462050558284085877971345056648108531966843986936111102272208078719660\
24272800237527660471686076141315585115077030332018936942262143929838202893733\
978271484375933
1
*** a(t,u0+1l^(t-1),r):
61099190312324446357081691628896097263936069090471600573668367004897131581228\
57363503821028571030642870806774269254253819535649745807735950998179171723594\
04723997124501974210173914066155548767282224935352449221470478371313547843984\
49330165809270075434009332236624811469179756022520564950448329265132790274509\
68897040270555112736946235807987871809574508893785255929000764842740201397219\
92925100343563254581668606346831740377948993037693659593245785895493805001977\
68594275575500895843484216201665489103647002887342901342775566368057602242832\
39739401916154828025846088864950592401676230758044497508170054172209812473213\
31105366800962130974031164388553223351770056340457107223211569534698807143039\
22411847780634536114742634334005316027954813006593062610811026002841645855757\
05672336471656694274265677044546003092691382045026989493774454255452751058231\
24099683993553890731361509697553837615548862745225776950350959182927778081999\
80655331163024124689651909490636637405468933047424432787061249426196865406846\
78506875645765326146188695323191714297468732076881932739514973860670869257362\
72504309848894846707874872183431394280279463162459618455109414230735163856218\
69907103614743790575555915027227367322874558961451648958672337633426629409098\
70876670221499314059469563833084890111482442608930009392734123372220095723949\
31813978344298879192883560253438704209920614480499141979856643085111884006625\
30675130228087956750814893528262779152460630446344557245196629149354400272769\
24339131206536933536255245092592997971823783956138225535706445115988857573897\
30082014204115650806666067726206505984065000626926120041123787759148199836260\
56769123142714977434362659764419273805432245485817165198827876508563346524208\
49078356812650413685846754106041077685514099119688595818737276255312001602361\
34876628000214147426318964797303356483327466869395985644832431208662511123127\
17681826301459478561862044580233717223598239666544508609656854013461636220669\
26963969484229950350464549733219375586674327247795269297456491702916478440599\
66006916984481556788292851717487531509495406203989488386766310632103427353814\
32097398450881893960655600241158312097649105396259222666244388796368171040500\
40729449583444397834006415194902955730989867715302303031107692220818097016821\
08927921522493472092673215809462634433354283626163852019203612246270950395236\
86377234788952101978134602175691421295641109095298337277356028621087959819748\
01571338629213373289748437275881038108840426631524153217425234287616749226608\
74018840109934416406181958507644893190892079065405622559935822277759129865354\
74591326793842373776979926809311091828754621551764764198769425654429735814520\
99439261833121825016704827571365238412828906704734749210232057330322246440608\
64557770330339147350036445566161736973803626420789217395252493341176234117663\
90393812695264176102800964176876733593872563099438223888022139315639580917257\
82173152478928273954526588843236308141812849136542096810775493095797243364678\
71369466233324170720066663783815150129516620031096001655898197386429490662931\
98423704090559880792659129534663575546466808971772407700472792313631423785491\
98037577330368249889305021556497510376241765494473919551593060292831905792164\
98665666769379687652481565674525788357460880717482592399842946993504325685047\
00567927510190706641663748076727906005176095329120719693030203166027206458746\
16351004144945799427873022316830548495713307769404584051609794997684038122050\
52118828441241130361335348250158107246645760343699549718057748678903181384541\
40998923120889703289386579814892251812289409683669493493209096116764795840341\
39278470675804834652462894282469014825552866380340253289506740483257668503732\
00623882981267423244056458490885575538068287891011126163143839335899049085307\
90621438361464535671505608936530765988599927415605828322651260837201798564041\
26165253462844384642485177161122013056502350478534255971441028736553861546704\
28528441331001694171604802857116408735626630210703693022835693190800948762552\
17714221112324082509736245303518918558167031988051193638415375828414963828301\
15673576990389028730391084987727854676212514120517709029102421084456243241397\
53952504034533425590974965956590069737983619207978669663235611028496323060409\
25281563242159783558752151207042875557747943671254859992383391986178877821819\
99736526983462440771544652009627196258866726253314063653505129036700557334868\
42392727221590322822191616351720233796357440015145217388783170961347490004667\
31122354480911073101155359372558277878360528299289840587116567573457411337635\
40246641915083410312776737446571453371953976161035431959763697213169901956449\
99982344351488397734515396429837277815782056185183538008264748294844472454720\
58288309799709713476089849774570064063409078806278901560816997167134618472752\
21993150814095889674603684859927456959067615560007512275675973925644807660474\
96858739742768728808323350533398749473017367199286055645551911995028355637112\
03337155386818367243470548966143673611353934909457784350632424242219359675243\
30123772638563576276566066023722845526640610057130223523544097519315504632499\
62232304121550165813416950843429247384889387790258115946334211524581731320696\
65840411804510866345015219495815359115453661522150054154352212891256728382748\
82332176010399365535590891470731676705247317298697558107220026456821198197203\
28157215187705388874648727338471185629282860110595735586803638953681309178391\
24634537997794597328080857538534402421799970237089846286829495323919432147667\
08046374390372664518753298120034527901680209514634813051251596177685304005625\
75396919455723323488106966710476155075470082646888287659407367547964278344762\
31065666970051948390236221665179728152162927613874763639155321576772606994594\
87476263318748990259262418786101279905544105418192392277209482406505594134771\
80645290586763088265189706287770204353812375254404902261856129631734261415553\
19560125820263235152469075408808335077266200299126685225468041865325015093148\
64807746116424540320350083885201692382754858489878931698729105118592300910795\
69389113006077611723020452369608582640325862998860258519428207329299920189760\
56643280836589569273640907169318970214019498974616004781997781774632999651140\
65449215940278721129065076838012626523864660941133767877708534983546401245411\
36768138446771975736700778764870473590230734369202304757154475652631907814959\
73638281616112707072359984308894243559418150476168780216102012978969816081981\
34924640299469083327252031662603572950862794872260427764332798298297801733593\
85723944727416201393316961755679831490381898650653639640222948169968153260161\
30526793843560578533527197128532345507763839996740903143291928591594005626250\
67584291651985249436853953527850947226234783324591069136945683206612672340661\
00784799015079446418665042475201610741233090760223933957082210435727906890013\
51938274775792595471421193099802167509538344021065207646540126313293256626885\
82496096409604162769769131100697120247756362348365723186199369109143729984280\
87335707948546137593967889787718307554592795625087146456372528016864042153637\
14067727645936700346817911634523046700865144772157124186877260573043550546091\
57284965611619827623693900624985664530443902166976417006691208813749580724004\
16464860994782218702766844735530353712721373677039259696815008893031337263579\
42303977866005575703622482407243902741508322633585762794460199802784644896870\
75507476062978297726728763453673607948830377534655268531214462815304262396182\
23669665187033453855751239718698599514557670289658758412328043393187081425829\
80830113144035854705539433500264013555811504413253089870609819642595737011449\
45972561853908976459274382073416048153392284109683951063213593126717134516024\
46757610341953656073391162119230851454635133934547471645918721381027914458602\
22587493394332484775857341712222604318961259196500303666650634467282947355156\
42026161556337804585799833885621592600356797567462262968793356199599394383893\
68548014394442869920984526149094315344720459803488109866768230462142832173388\
54850346824315477235279984931116491602358856034486567103628120951656182262458\
89363267892537302684596904614159505573135381051664154832679024322752022392431\
33818437487717156967615064126533639664332355963233869844359576982709970703724\
57689583057060080345106374968445985183468297485831238646454986542856973511945\
29904476429736070954230572699542882069672622144126527337862866797863888266601\
96439799794187910141193608918888680198753386392805041445214824694267617074656\
17731614586668940843684428558793592158727541541516589511946224762683186483914\
73384693916020459145000153828306515233999768107462859216684278045244293234229\
70311161181909881729628057286107930481616895443550203329119953968286151599956\
25009664928486163109000076647933053581579269971665677870272675483207174577425\
24656904838138554316450687680453241657230751745296159039728649835254032344081\
77157584093688279784052067357859968220902157856707737782989397825855034529425\
31017843314046839794632983204050387323028782272848392968779246369078573068867\
17978498423035206033488374949901022917902824140354005348740042022649781223517\
20651884140089946697046489362242863931369623536850821793178920468841454805206\
67342884789026130743939655838012045936880825769567168726763533385115903976247\
04587818437325579535556656338651525694153093237530592886306683131932507194139\
05703579297153978551035865197198594793477877499285562781715979607616303637060\
68729624524749743151208973314550940478479972771178551890799645133682229623536\
56593990761588777068029957667763651527693932477755382260865997081855484171000\
19636699684211958101061777620089632628570771502494155215162053541979159314098\
71546525706723062661274773687255037016953878740696512799436234906317429080941\
74883565893243250751778330541716771047497050508325423739735314374903405233043\
91975658661443248098832535497728507407982003364552302157324148092893141086968\
10111236160885722467855725949414954246329847462875643770364370284641028546349\
65282964223552894938542664485875891154737116704533319556941674016101950719700\
14125272239584248610355908773387778733458249602983939595536589380636091818794\
37770818810019608420014563826014505409730540005898804615915115052576150709806\
61431013871078886918471115171745222752622417523787237217042146324105710762158\
84229945041373977081324654094591310070178229719391926824328653387635210782906\
87400590050809259691982226541861480294822798543152591329688770086639009281353\
31448887677951900018605609965554234834664099129368554410885415400703471882601\
05476457706735985984899751753532015777246125741506673470857046187143307462233\
50354146879473798284958362601463313618419680779194947767742375929021642927256\
07357242939582607218049972219702767991182618063543106548699534433191115134790\
87266071817344141530465509305754579965558927864012502666873843808145836140371\
11945794626966983452754199228488551070044432547711873250394889179930791834306\
35179655527312887014537380221005564399952594461612991719866256205903839194407\
70050512288652245844509633184842134591198740094103148850818149350796301861093\
69219541817131951943012971934771216952840022510128571885505918965440602934583\
47584984809519994805497033605038080920313555271321292525089703697812027533932\
47171670395080506024748886220967764886175834683569864828505388824460470001016\
57211047826536622132453972027564633307916075872541699177895143705826395883634\
62577132934969588318851491266363478851495400590597106653883436993462851411852\
67117186024499063165116688246560586672491584835113334845681800777604120312458\
59499740751953466030749335084684229424173013868905837023787190312372161551866\
94922255491599418883606222947933218055790403048577478145451926155422474729768\
46551303937813163808485470676665858832992963113980016976731385544963155607752\
19894368433671667301865613331342062431659114614438096703276433893838334588501\
09611000377930346658533718519859617280144109832548615310902378423599486437211\
83748713605870660931690510448844680479445470221846177561657277345240524086801\
76621113718672261961132399264173286630769592718102503769363408167695303427613\
40446600713657323399730420529787003166591849036623668873232813900606812325915\
66539219115950743287885485535456804783833822464453640858561481439226860181631\
15133257492975277443568285871658247935902721221850686851793813615679773877430\
37491153879682420695880244295968753969756818875612601914246823598218348546287\
40823638668974676768055084003371430124472690242329879352028037225586960691895\
02203017048395842512285156538615062133176272925245203957984813355711716986051\
56450010930101164796314383260062575621834170123561847591395251271958328225522\
42939154290839679982684081293606731884631841119556965903295136407435363195701\
37551929216185335342116132163561491901275704129742220425588952123704795796800\
22520636365945342567201859274351390816771298501290654325831744913431309377293\
11623148813367040009164688685872461765147219510486319380676273683558106193712\
51035505076184469515902660866487357876296696322918143139613256783842057049285\
05104734853952649794579761656981898154523660487850363195577071467002654317323\
30947599912513019201860937080733314149879458666086216034010824820969013237762\
29492422398236649740943035277032726477701240085172508257051030775099765835718\
23794260514115696998312651821053287687153407069980968746672582627615056158856\
16085552253729329852716707318311302039111115142939167706247758071572069172705\
13550857745365584447745455837674174646489047179525761270739178098653500387406\
43614386677537706258707275012804328853953439607873331748515912178643601895179\
23732356617842460637607641698430853193097758804609781607700912201405010317348\
81823213851254454621812358932302242896402735752295757566784296439728720010681\
65231533400150009046220977291248402137275588408868506164683872952235642646752\
46692425986450001490666176142680987802275894662825602159652548897033586152466\
15797370080666062628717858340763528516272681907877209699894142652309068592590\
36197646231454843729810428790645283251760700008663661449409363656203191646606\
93805256155800589193982152185838443234914711701945303765228604762999376653268\
69831704099495044453711532627788769359810026363684893297640127168738327323718\
20242914470250222757671089898047687465116367378085091010734017537133420651504\
72016356974521913464672305810158004822728358160044599394146802107301346629659\
69384735374554546217434169617408408307603184344079923386129714139394000743036\
05309037762922343072674087808000527819782793193429045789530080160941564291751\
89281985953574480177584920894585317507860214072894481002142366696423138878396\
77799505378192229849908002521205774680240641157374897924366083942384917859071\
32658153175981404054925918301999722140927980961778255516944052863318595399693\
01199631399263655529453910491731493530753988702364921975341394276299428550144\
37129049264296930809288715706330523479747383049366132393479975610221283022470\
86980595773956876706358629700933834222590914436928578682211909197208156651573\
72437967955462325432502552161112866622827611158044092362843615766050737573256\
94058952698112074966863251118092011335725792284339488159926128767090570187440\
85258735193483238042504348746684123098740357236560069675844329800803929103786\
76253042488485895527212548364743471458600534821011834067316957576976977543102\
46343231719531598642403983134096508053909771562710009448907533150479869869664\
44405719656471790914025300457522577699154382655208423325880970342548910390133\
07376563594718606007919561082250723492958377267116804526276967949955743519086\
92322228502635773130663887739371866747243831156057878122325843170782659060070\
20336523926906484675715811410084600433969376813112457466848929320599663841703\
42983847921347413282772253290290327757426028656812854910788077827174757329195\
10738539742273760324092002664381013914964265100991430026326038200393772537837\
55631987283240513949397499722100860020760749900511456058263235175359112949477\
07972272085793023289777638582234238672289972704404331570722492848257977271341\
74045701466622662491555422818174114999834914675878461402677290134587561406709\
80450191358809270541461148728213145780326297689748022678529615796791022788154\
14147082444971348821545350829991326772475912331132120388142788737665177421511\
79300295522371288782294734827242391941202855738250180395417705568919718157914\
80995321007100044735299335250696327239919778580931240072380395379874299249722\
56864565470510192370173925943042528945216673459923695951319069126662219896070\
75388799216764254751571922645228363234675691908479687801973785287774685860961\
40230570279481493237700633191742799665432606860555871091558022924819473166063\
45076099871907225455129031760709962674871309180230966482768875845067922822474\
66921825486985420386862961043974864749770045880125276201243707821927209594128\
59420500556875608519909265476328963348004947544965826903272670565269958741531\
55394206137768346415435332986216113595922614016898318777413033492785615524742\
74973652804272299257894578010728992325699653351888973080051344412956281399567\
20441771141859555174084103802704614244402848790650346068758873875945596143814\
63897465790735651357362063498158749187572997787349507358523489901490650612876\
38738798844450522473018551795468501366377304445377832518749895598684089004467\
13611340012431607243959360720380913998721022031266352669885744615588167785372\
37278176333894775905285327187764202285153292727915915644121153434450554981171\
00175793508877497920167616911029162987856710851952505200913902085083492621898\
46964302247180225792945221997614869345883029208591180728980705204112880601784\
23959018221885332757478496395030140147751011976127357232717732234625502101683\
28198596039137719324389540575825416529899812862714191814244441221038588881856\
43656118795899374615764677479361690349339782902301370934246014619419589638671\
92907452912980529616294438624805151032166652137597629203761339155629026111800\
18434697788719346459034479446410529493472832358206191771995752298650880906206\
89191845126730009347812665203301955774187908970778956451676972274707287174195\
75556548818393422169308149195850264914112369001699864844703686179428849434794\
58548676324130060736075034374017840380139119305381171532718186349858583201449\
65361966228719575089678999558908924910671291527159485679572004546830081183226\
81635756741759271415609944925692192268683542222512525314969064672026422059371\
65171569348780819093126988418777041844567277439185465161847273485261473254060\
13383355500108055422729826477524411074944318062095203228639801692495863188332\
62666860934685539216347513182267801880443952695085960849580059837332526592613\
74639291447367824027261158432153220025177829415955493972201209030090960196543\
38958732652179928204536747995709253670778836782025424848710570246939364447738\
32193227617221044290547362662996759421511256697342778620274141729887260261364\
15998422655397620376846193134840791810348335301752351127941517745257734946363\
95535785021879688947084765549955509404295929030102862977713584768935106694698\
333740234375949
1
*** a(t,u0+2l^(t-1),r):
60906042186995707327501875954621399380066935046982227758366991766736234431867\
47171627623491072913580775324771821616990635701501221848385890036119595838271\
83212751611990376820679159859413223534087444456104759708652341980255654647428\
16719006170252361813037753736403658219013750471342944618676627486633951106097\
11882613378235128186671379425033221003011048907819654487707822488126691803761\
91050732270822801722084827823079901367270545219871656454384102694559683384479\
33709362164830187005201336698393627705005336914042554973936444451193352709925\
65641174091340850698051001123544004649089266909494304154614195202223901580252\
67887963112444863963575849854132085659404081452131110045477497133640749796960\
06956383562149916927867789336110673300785303587183390126266839408522862992145\
60132803268901193660121528434289271786813537844673901012761468625561962593347\
47521918922973636071515266779647977222665146635388393040075877120178796697125\
20231763203604659595796318628179408836220875303333523094372963073953882692178\
14402006702733402038245000817428199921396649678324877103878993964377916035263\
58049607078034272903740388920470072696674786250460272980541102067729678617474\
06672413086983799667519384210492191240715840650719978835515312330054363984201\
66332276111210064383833727487985570121667429618596194821418841633424879404484\
77867253439100884843485614330614345819372920230297353332923481937319117250018\
48281004421255223483952464992346247711515022552415122396160180374382784676543\
41859660823376121312220718501151713468224762510544532515045623898551590373979\
81725590555419816294105479524753798378214426336219293528875767355273126496419\
91257734976826521235940017004363153867164282644449987648146650344679584627925\
42916886770039295412867259625200062687561999754715923756085841240806273462417\
10846459523922638003474963854846127748395978565277768619611675367117740276584\
09828248346871092433636980161118120646495189383088625020795978816369555178875\
79460395291972110676016295097603297476284418942480848003576228820820852059860\
14586452547228190433851462302153008227589730525789310868156933464667905454908\
69087606885705238869104528796771088771734513914500763585107683668455521395483\
01928408120061538831369935484065538589585263286276057605298078862901917574196\
78657337998186327291537262545576029688043363867598528988584422744965562775441\
59444535416595035270089919555536443146129071869496551174266388909957017902509\
61313473491291729327820886894608495311868328338695309740447072324642196805449\
80844913323496267566120266331119145372585781660562401413803253819557573079689\
76779130818730121805082203120767431896735376172781313943135802601781380485286\
47070117696663062661541377115396749777171913322106504481432588234441354196855\
40433773163857569434282905696089571314244710847277765706964023920708869836996\
89475813287376091246838474300658998924977286293012181030631131499046410482324\
44610961269827341581646104368494781351058962363718465314008025783587136167530\
09816138099815242888496379282917947336694122812873358868787876425250050755672\
97901816722518068735358837238979707552115491345939618213537683381133115807244\
90351473292442955105671812847678234790226248849075161112546928384635387649513\
25329526621531279788458968522762271639787137153570634784248079932407894729246\
01409124788872927800857645606516964258057519685298420263020624020086129936748\
01968440380525528196804930570834245391933392149480228148390796699482718718081\
97370296844482728473997091090252444104664793767270573270055458640929830969205\
66264469201645584100905905695350969667466576987093088350448688015236561501541\
57805514498747495870632136977044982112721824653110515923997235508073503060622\
21064481875952563107352381172157802380413698993568519863365723932308219636144\
65677429599521022913850691310809383166718157360551226125635503426757535765630\
17231116729031388695248659214353450317651447368486202475219402723688043227800\
05677455741967969110999097474006451700635186701080815173448435994201999504082\
57068127684150244524984708174003052640701804278921421688030501089231354880477\
23316337020977893760748120546249262933295087837734196777166375496201903167926\
31442643642432687680782210532069763932700214721546703373467742921978421090776\
76834940808306802156564315112605437594973187263442673922860578312882211190138\
79610910986675942012519747946372315764897706043872607182524607027100871695242\
91784531034377708524545067511830707240626067707405032296932433856095601205917\
04575076226493019129286585844510148443550115670314214115292173787661444810751\
41278528189324453272799571785518013582580043675805604461471504282042915965017\
59729502377774525033563292963778782733118888462785697529840307573153710160343\
17324279315622116910833506729971844682808207113529863937337069884203739805293\
57223941696664606567097034644353397558775515616192946904941487179831388879672\
62411346466448068970151622344146698631690652655979566533922137773758508359017\
89627975759673525197390030897757550301729001500892585875340646294140689412834\
73442664822003312073373549482025091536566930573282604271098752637800281751680\
34006069229701219030023641199034845127613657375747289447030731403850703719050\
62049556972673634944556794144406037643012817492048420684949624230905021127587\
34126700216899683663507885491372145588160128729787028418788350925345472597001\
37446496909978185327099785102417009067757203018570670037003416701983686493949\
54588274969350568042533710465177602414144122069849309364953321998343290634028\
51224309982394668740506448916283101575331378504578011745504752354152052254290\
79373536148697854604582919397376651950890092923030895812222728872891683155052\
84075996789956947499645380079304555144305721309510565229337127725634232051513\
96367276184970015579833770465386523488561352714025293039241486150215270865641\
86396675337279116437164870546080730578194422540218163898541515944805702106547\
23186384642749231247877497720477012627074631699656316357526625505371405983265\
14339439226699278338304720079452898834653420581059504095888022594508236735102\
97831507801632687766045677493835320524497646361350689735910520688638276606442\
03987927999382226062027711466992355977305001085339031110400317764808027049503\
75042105668602392189774038660442512846760768440792986735840120225958794076037\
04302064247256363590009416977415667035150974408077323814824166456680489771287\
57704757016694015690677076033945157436469515648530733492552691547002577464230\
09102960720018706878377683828053719717087675394265926938945023382707819220210\
52576239949563463138122071465619726649000290962611531190359229682602605884207\
15994043178090945513927005778284087302786715107393987748739899312590020360835\
76327439307458425676779599617857740859871554294060222764542272195422115947592\
53258608923356329095950611360949129358489466658769063775974468990725605814491\
87495898775447624147486247283891307127527158528901671689807122752766512928381\
44406013913051146449106004237365095631588534016389856832607590281612190268840\
57554878524051260446673997617683370860531912182647461061884522132722216941349\
56278261699743012147618276508175766258185908276565478904937711804108744801478\
00623369303047794448908777651460946939725955163287345087808096457120235368712\
26528723394166468801704357344374830992870831926743034429069545218975389938194\
02971088578757928994338112072974427811872363763300454798271179150088803026806\
88545913967942539145927724159299508029076435350667949452612098865413943336974\
07367232104250418701307347496194810474996371015824220714501927344525794550932\
55917056938101073289188940032929143123074481743875050598099988811270355334911\
68482659129397146185957392456745607537522761609864086096733465856558913858966\
43448576800303644515730283840666370364683705692394002294034889806588416309628\
77310609853570632874563799009233491765792783140030861189306111913645593464676\
47372759570385208786266220079871471654307197575152055604297697539326688184576\
84558926888454114800054121956842173146581195968492889287631976835813613525843\
58997289879665375621259078761681982145238648902659949926272078419669914036128\
67584458826491347038597125147518326946455290279108841382206909388117400614583\
82078231679009937293323341057640488011020451782106681636210916570751983441225\
97443989011568847214405301074973553196586943542251160968963558766641408790621\
97354725713941331003901076684686582126354373602048150539113036871210999262597\
95397313598842742880473291925467535793488623316747702009666200380165611962723\
64988522022116773485906711714034497557593524023471753085670314673865431415999\
30265458845685304901127655976372985681099874214604704761837014784827293360991\
88529355614422284632484870592895787392633912633928864435561092153844783365182\
94266747125761760064398390420384266267833497779974427044550001061237078135136\
23103721788070676905545153367448647637239505954742008905777979709325937405164\
75859931035436367413817972308256617425683289075285057895371939244740635052514\
58738545600725300785798526987388478827803190758814098786580787213011939012801\
21399008965428140050242363227193222002461613948129493213812518180639297194359\
61787863431533287223820841872162011885221985106281219616804276884640691512882\
52166879884529736231577359771084715970800064465764532787690519054077602909936\
46512198357966278441134454053070962388481376399055785954105502890208800638203\
94937393061230414867523633800368672997502710341753574701267983887044281602380\
83264725817084570095936447582260473859475294248192739819490478710709577685843\
61578414394586915812809631141943534610325037011545407395973902254410208667825\
27477679558761340741416692970078811872105321223771834387295366333732649853674\
79961025625458395445274958807316401494244856995467756699964887483009787050127\
39135778013707181465945522331363609495186733172682666868060703265182951897217\
64814513270521931192303033278030735519442544976677005100978550153716450440750\
07761042579765957275649648838932082947342503371844424664662480810611604852314\
82779435358778755123141581247248253985649433511579051950333849967578973004042\
50118553781503371112114530768835446450844577581056698479849961595449676354667\
52509161848554846749561409251222046488519589932118302599215699515002148125897\
84735236166533853556242017863509990225480302399897498848600495703481562045313\
24005825088661519830277263196505141545193472407317979742692208751004119494868\
17998902200279831052281545109168556753321778105186882400300923605859328535469\
16280977600993147963752272947749532300940187330224080582400003128625378715427\
39494972592805313742587107648937077898076749158551436357672039718690799640961\
95400445677536578690801486850352259939963138058080527490289028059909877986495\
51696471887086561041385957555151547439050323169770051417354857295889141114343\
69392733339523243295911877558739549681157793213230587484576033975243373012424\
74078737320453916065653817144520726356440498619742288824945801016032169731563\
54984145551989453230508284182372248601006485100828124517379850759520581536258\
88796401080152818302324671225353697917043211937852032468781843293839095427391\
60465423139100976330969727555630738922430623071213518444350473489259020417403\
54916117628878730332982290611555347260923733705658527638287523391075003210853\
65463013902788365331309216401512650771677913182989559670986404455152375786050\
23942730499371595929717025856771489050883675211195413511368604790001865654286\
99260239996292129135546375909357061110131347690942953524313731713188469373669\
78601536332113923871654780907530363532325647264507075620669108045957321196613\
09891206271178059921063088503805354094064985374062088329296819847738740598594\
45096368487937882259105887153577264784802656779720015095466303628060759846534\
21325114357398580571999215237224344000011952693177129673327598235548098213839\
38904186025556793748751180412486397323866725421768640127818236526418403077683\
91667024612773559472047310558258375075886541519063213998012276068203492275661\
11513470043365274226953870268289850088045747976677011563042976152368320111817\
14524313569930410764205742575245446947005305280637480048280067572855381498969\
73722322734583591081290809084487360374705889556002097738754733350868329252177\
25970601984920340516690905496883179478932345681109741045520718062706648821731\
36897852042523300802545414578070287194271838014616174669965171423006392084351\
03758305131906817679981781985233341681127450638914142687963640804967921733180\
07185629273814588221896848753624207479189847175178151598544281575769509815102\
94082248817473621724575087550611010303461279438653280236305198561120425994525\
58484415532008115803280723460504948933883166424541104132202220972889966808581\
89484130620794875936374226452847174249590855320443508687583982130067285124482\
08771470008968732596039895707828420799374937941766217621293096637539237959718\
66495808221479761926841895546402967031259903458610072699933435920027416934583\
02208112515748387617144146993504055668945489627945266737744736464326626405955\
77955308537482095007422462781556417861935379053193428250868430893060680683481\
19946342646827404326314493706538330510199560402008897347751221926011075852674\
23684330365898120300274443075209394294821883981156544118202571423220955240171\
89778536974427682460413183742964129871343912666568169453287961130921368261948\
84414510480878239578929155556076301530081267743100101616809550227317010670472\
00017842394128499515985253027526334804003282323730719336259619742578690661094\
89798852926360213790903267884551916981642401087282792583898063731639843378805\
57280516119020727208363627146588930554099003023233057780923132688089407157892\
05322243793971515029691073811080702972255510884258012013577516272422697323721\
79351696842241005344820328292895597239195983162983969081325547346663191917918\
69661781450518344107191827731845087905018658203150270634131658390742800783801\
72150721794712014130843206144337423035777656850403603417314342736136746575587\
97201593357544884348542775543058269732764970584670010933719556321479851305153\
30076894978879117142677202988356625875833110862166305301518712348543961325279\
41348548285971925582199279207379522971790639905205750644790579668911918139085\
55174701873679991626144478256994916558883335026391895742431570391597953264739\
11432873644738367469712171805640792773445820378997361534409252465888531018254\
44180688828132486973213910744372468453425739535724121208496179972083323405329\
89502591848607587694091385098069920188611814952054380951821611776466517073669\
23732718360089079606690924200599050914135429252880798015695949243678313825076\
17556120876798164644884441692600327041555071141157196025317891353863318629044\
62801192927049367163343488287735155792947994241176663262855969873020160479116\
41195587886700114052644803702520270964507766058843234688123365657217482874720\
32597314334777047556231190015993670052785324881388004413775509995130937205939\
48918946895705897308310985308944863236924156337935048729433147447069898566130\
07675072288896949804231047099139522839379352009836075272257603899429837926647\
78004549721672665815750700046799548814747018077460180585089631733070598255322\
51401232088950498333669795108235029213484298736549163118324676305234646361769\
27981837189710372168818876622089758115288069489763778623128278178672831330012\
93714834767236730420171834302473471021955854521261533222004048332792645685748\
08262062388489875991268880974557741432032290725314719640322999325978879764702\
38575143092752702007026274217930830878187614322262558973955108476344856932630\
01873792582301160467325505567765210141558087349517910518290844763601826521660\
93716362659107946661336183141671007316009129898451794208345887923667434637330\
25540939552005831931746214535237125406253983630352354861579649248985544777925\
65292645030131351913069074407391622822471046479815553999584322049006660098438\
95846847835817678889980015300847670351481764789818643630036282547494740590931\
85276986269700238352086443347847643392665615812311735965349863515163035669341\
74648861320506006356300996942880495030544061304917278889255509203848310325278\
48943344138487922778726480491035524541458197348135958363469669617829118114591\
64916629110045911414354316856574958807364254599053350320220249255810650745620\
46136080076862904093974606833689984327462816717861945086599660849137257998682\
98859936316294245719758502788800108299660591705357924819878977311062226951936\
15407348443326282739297335244635116511026459997429876826629983171086498514475\
81658460416335766050774008368933859201448865219270617881926068908137471044976\
74728982148639604841925225313367788851425926812878592898490201140394997707554\
78038060573645408432944993676911157516859058050670025345220115581537641322545\
86345616942912787439991637561255663530482885652790826441200586458834831391002\
14655476196720977540539895835195176030856125819387261629480029082764109879921\
65449729743734800484546011739312117310023899238711983404105317549784384583233\
77242275033012492844048287676459898273701573087445531679065047085537610417709\
84325685514058582821884373865278847987472994805992590657248231627667694630127\
05519405163539661954355703053064873630353103220184644237140036550731858748207\
21651214581702767317243953708385855354524821819633966239371150102012808724742\
95307590839673545057403108533733616746673266602031011130387145665284666173051\
53926583405437619022956327967840194565637604680271833114554177456634780532099\
33050742689003643842360294541227539896475252814129037090978515436238382520745\
80364911126868401509461080714260893768717016297099125310921550445193871465032\
61568208562521068071787334046094485143525127114148848229310587063320110694718\
53598768427717096721364233498101699241066867575781327652424630868235748143511\
46971413965252141707979457728904998985548180156088119553503942460592734543979\
12432759094753222746589446675949588061617950079638669024021843867198031399561\
26965701217786702863029018903125050449346314986477720997637752203609124027147\
49672522769366176765275677087781202213725289157916814980303458034271584127788\
95653830863947933448926007673681401646345376065708000846455654132637611872275\
22103788390095023574463128703134194529768494284097020171854254084024964768509\
67109639412673379827531066931318100104964812289663422834511490291850600325154\
23848703954023938919743238759460319247096988181973523132639743204743157849665\
50924579428560875404812442465442375011775164322968228606913314204148572463820\
42415494840828930307795712375303563313973281830842413111809821619660014434500\
40738308011698862412963557268427916624760089448621772659950740148683968994902\
70266438824249230873197837165885501136880905426292222301056624453231370028042\
78618303170927251348565917678416170857553452716010429186198465482050630501506\
89836629176988632330339055430917759718184172387561698532012855061754097752961\
48845936065217184298058804087665895060853159995454445284277490070045677773709\
68951009306645046234453634041685341467428372176457032841973314844060924403857\
00923975374813683607947511285835523600067385524212126846066439611604437232017\
517089843750946
0
result=O: not congruent.

code version 3.3a
start=Sat 20 Apr 2024 23:56:20
end  =Mon 22 Apr 2024 08:24:46
elapsed(sec)=116906.133201