n71-L5-f30738-r2-t30736-ver3.3a.txt
p=12367491624648748477918109120688752925338889198942702633285468734796327453270143127682807112733355355795663705160670835625263582187701901699128247486304972897907246212586031238891996719131291155570444075613367959821246097457728686118642891902769216971712433072680035307074678378463589025923436568633990908506375399872997969430566048834510665075820343070616884613744269258935396283276380053117314537833536090555371431730453808404751488583876384322997242895499505445660743542780931819751138643276378485413939204768208743416140103388212630467986124851884785718936415186194077114916771484169055124847833323666859398895871560354226431565720875189863572024238626940857491676805771044014172293160469485527031088242627250493082019178616105130159575038431110238880676931734438824602726948174190142460877982413511026684691215608467769217970268190670282685158976785980206275567233127195709083935841066519358382774436071249380599345471776016675118027146631458457463422498252451004054015682428063674143173305506361215492720803277161467989554903591909083517644488829445729868153146293910464877053843226668457532897860019159873173780579029329585541540798945973787974820030627188226948590202869337166758985269495130772600226633065257785088650533349082262093384435578519216018387899927870464810891653287437283576245777619872467630186220516606812255412084035379648326148858567695898931507783405685028115175300926539517803655126017378228192008382298879723607308115517148386639538414711992911646718434109930614151812361568186331283430411304552764300089769247949043725071350835863810351112011602622209258875156363056166590966955328399657790179014581179847745418081051083481329367287078474287298590950174198311891304966763321080029152832765366636901721143438589882227983447575103844841918109178646946206033529250182316515162582366578533925667656091377753684772182206747931906333141163838341511853499933988831235221863341021433648620759905552764556502018300268663235536959659501651580578457076982525759344987664112152184814976916028217097494517826846523927691921008712602173579539906516932847549918216041578132826055941944210153996533888134499036820671758745740712715843478125817833459193278464322353525148110419935160522350289022882204223609186362493743367298959107257951844948487692462410707680730471926992621153603646986239661300614915336472726723429707267222836925384418564893550670846837731867459149167210828230982062728070644104010485696062672301032191477567351691158033307512885387817212900215651415813159529511409132995050487177111687232269182611879920756218963627236781187002000226479827481904983428566720476477298881993552278052845341619810895981982524028226534264854133352746187975976965724145300786355187836556466880579308951686065862460501318249656776745540988096292078989325830824506868601371648108564963942639448155148183905472759573636790858218779747256349453521180977083915543053394039698149332488414757811427914340922276353328448337655855426828573866781196600281883782209513820676764330939663939867651308980317678965007241711192005506419190076486190066007820364535809375229714321811259754902868794746323710739851050957630966210073139254201575206017699998592990225231299002117923308236865577663016880398000996870100445000990782845209218973625722032238419168294668993395774371822218191539177998153200537998769943885324312078596347664712633606332403589960917260583179726723839178473106843189934012189559247362335717526961635543229836120247602475283546427473867191998045294570281987478148830047917846824620635974633572821123583224400740657211741550419119238390362192319097316723906278099660304470386226633056018366818082429714475438036206814942759916513544237272372287598045665194612693268073713696271945749243946816240177387405334667624570933146240053183313916933717680458568795645972851906184708657060615460826221286574511499372563791123088326650915447002203337470262003731048636075516450027358272653113555678105115009948257229197241937198077156202672158440235003700242735318116160624554789409994199860398350588646999417689718977867849765542172770379161110672322954319180057119589698828903685129189075300090074147940451403900136866750264301709996577753269680286080430978439330166329061711323488169766729830301957961127323833179992791785869147092070101690772910909734882979630901845592460630224212320414085122675225580015388327894717202702736664651203317843785871640326408299437726970911738539759437580171343040250285671556051128421961060683682210276876926323736737146915399507778788391715517784573444589240010223041545447209239801624143702178263997098715620825742162646350060850818107960908788928557749271752757462401056030905759897581337029269218046857425272845696025427262502597570522141450660652548836325888479705168611274011572824271968895518407201123049973553312763079981429944186239292428914254456253061238508383956845967957475986975324741454408897174672802804950450077592494839397432233352026806484593380941044695567877981512393878376371095208290365955418960859005702489900833918132455870590944495986190739481951892616015358056616734439968567316034773279261370884790097085559985881082449529823381511342975552919621095398355111988120548388150008468646882709064693133886158419788394123197421128716772065180097316554733134010567302190213305580127612397990184037307874227979087301545406243110152818852199894041624330098615940147414183526685834850656976402656116218464557901879473823815862035134172187878604041314463222793576803692364098854272262771517939458819192181947372546248593542499342771832100958767688666209005809671618631852508065509853190572411193265435912500484029884350575929123015223573582948241095620685053103988557569611243833040933192572770559133183551164644503500415020330510736628567171791736681461452023553547608675054476422862827622065229097001760941003204880136689297538180490639088194366081397433074411883192017670421105942801105445720241204131037770387062535340356441281668842395830257701123306597603810717218462817780480247109004704632102739933785025977438905338405478777934632674221207432589764792276555302210443139096974210817694310363661193693674899007938767403874308902217881677333751405660501889501897035289881425829933350125958696167390629311485554479570949410761258337113533217827059272816773504681555691376141440877320604891457500553489834481070099199800075238653212500710704289306768890393346091773801973779094793464281930795762815457690095262740457236845152088470519622929589393830408776787116287179407887610745022454706000716782201739151619307850014305948375486347671158625346417023488048073259019181321045610046673216001406488938543797047786706857620177863796139916171076754599785054304133439504494956009905628642879810198181197015224700512656169988070874179915163173394615579928598639746862445811172868537824029843233013343156527554933364741245468288741952941140818987117453975461708659534013428519348042394236825746729722813313755438045481474323633356221962032070271436392262947967156288117577627921811316930203591883581762929512465211818718737546507946571864477439741134458253135827114414535979217497940223889041696608743541511226121323365382793424046824922457100728527917662303612223947479061617125759836315927394542447286279771073806067660059603328395563191322644179538923644614154690907312985604461832274040939204099052536215254654306707964284659490449401758276658567676595236299876837402927127798795011511851034122472467775557957483812872046470813046731211555077742209349589876168681254553992755109827910486409877427936413110025268052871292562285741161832473408976779691282226679333356551637204920289767645137118765239427274635290901490078355079136056418874106141431947687124245570532870422962874668633024353861085808824821525295199207604188847026909109308446855009260846717184981452748739303892302048670063356666864013375197477106604945964526030945151779164375905603920079600533937959498751388186413923952802221640846866409242841169205618443342999592414526012796931353562209606246804780041774493770734317520945217515057331191213226654339870055598364959912886616667879102185714282636600535198115098526494427105476573898552947219144682461018017638605809510568135520058692445459098667729828699538751357946037247234084934323338627904417621398082618241460426348913070147776336059922823828724267851619002782221117095857348617774134932012819511273549634348389720249978587948273756197836487900315550545037540703960541345941464246247802089020907134960889459332129929758065738962504915132682549315763230345984835910524190375636730634326446663757392649660693647151275927485164114271452388526929686333374499263143145990956666807603314497528160276239757278855070534499037937762655334610109871251066712003411273602158241480280231163700119330964722129850356007976388990807696596926899917917598038450695098622636573991739628273187147361567969147990877314905607157863259927009921824631416079621088252607432582759121957747519467399891881268002268991400656594394884769698699608125848501375825314401766230363560481617208067146896521977499283173874254381510733848238194795928515409086004941009523136774822650055618184752439674926580630355953830884829885421161516530809743593068897799937381332443899364575303144787296931691067540307976988674927225794941608280871257479854038402129704504695299456431973407855038975602421774230324060336943564014066747422846674940856613337785605678060247148819562571770458083931113400998915282502307143334063239354546622291776021322757227076498090056025435290223581635058986226821292763799244662388767737408146642849247049231722627934953579488994083130456766419210093509612731261176346488509031209022875180645091352345728509150982867410319448838965246851156094980905695201744480211740892230223110551653049757481164138937083237463466135927052451826143149651252268211838978338728068103346676519112572883794356456342489601449799580215898493294993397163019742621236668199600423979894265926460782026321402609007029637988447776294890819170895946944210986428554978285648746304961941327364441886473532850408951124330914967130510674979036755091141700967024613904085733719717156172395508132489103994212931819665205719122041593145547344411178212483852305056740841111212742588616866641926350007083664561224150915959287149586117183543653631654943694253110796802963807742051361361846559766725120578009051758606966515241031447001023821423526136622018240720074872067773402475901521113247114830014079353851279423596459240388588124023776619925605549230397553237126760615923365039170122585132297224136709745402788901995650343070186063418064243340333077122484545638372307382980508634138152815123810293046448924121624238503515245407970095911615764427948167883900056312285617848320549601115769221686774282604462667060217037326239515527135714721594062569763271254707919444003295028299075568467527285599646878014279250506466119915965835365645916164920955464907544385750085565380309733469123441501750093535118666379144830500757843145527245034671831591108466436658162768425146477836773439125032156251735335819923882938549232130692000397250013561406504422006305785122654928621957846975074619886908586602856402533374397711901936939185500293651974026081257793707294804359498411875617310531049971784066320605006454619722754323810819527295921657435690785060369123554305921493107759299053626040206123157686301988125537901905961578089559314932256012784464121098152215771250029952976118125785959199010172165204498102912099195640725741135226155026792562368327704413644771224821928645524512244816261727895543427903635798185077283550955209360304776824655865078922176482412328959645707431347662653109947951280481795245204552618979189579547735759959437668809894433062750784461951899825195877487562879238189350447609234092216058588732069865671166498512162061345188031504868977232580215899277688129126782073010756244632751732370217892227553339213414674787197963838525792046087611627885647124598293617544622750282371296427263644280975350763764035108435540581832152659751051942984035120999422736686239779311207208107644158966771490850018106520909557418092284275051053798131533872477507849353721255095170640468359155639011272366902320556381460416828961793833319391227836662455200273434357515692723226853681513726731386726729299517745198231002450556634804873894640101345368604992068310239739090228824510124741492743063852805780351569340992475271337004671432237755156337038045782823254585372316873474538729034523771017681042458789537079582465460244261574481160229421753099696655633282651674018841527997525458835713780549428529831940879479188366068024399620952481441399057925292435716797155023657691678433123680251033566439782818500639534084196790278778889108665437467902827189049790983378538616954563685009539506419377163064870390738457126278484443725489132474958862030873611551205698778521173465909094256991810928308883934828981919048521273734640352812556220457318396687375776732984409900318388674874350248956177155521114356298907237805965340853254218250745730182131012939978142044458438541537881788049034311507227186165251197111695933630055354863780831794697804193846946727573745349241787269818345566405559174014089328806754736247380535105340821636769966540122268053071475526856013516009003271918124764442489635978734208219883931305421711533182637204823089517291080255457545650934556470055626536715660701696432556726717076874925533283682949034357081170931314237536880295108752622353618900942847820644473268688475895646343404547605415181857711198896285849585531959779589219099044334359998436050201774487447412021831912058060969729729705244453219217198178937843861461367160531915333557305152360521734436827242517505375343298769746655508478471708333049447071727866998616415749627262558498113458347445252977604372777650012980351918907160696917955387893701710852111190970523037054675736049359889623886052141741337933159057385493377944162931963838675730727826570442822694467879693069169855540369267266186452573089063534836908533780300501152382642760056145519550887967448289523197729720747323465466828464501653566473743196764349946165746463536237797571599217502427517703038281663258391754544614724447787838475172955338452019769408899183896946258887417596524861007304335923702461941476919071833657962460901279923955273796974913112604684598592203194443872733518730626736412748003049249798429405269072753030192033658676747908928990110420386211731700126766361785500374681411864434659997916721769561517958868755619197227579582141157768355073585112284129249417066366258473798437198922130986773186276340128567382099951570100323240333653504238255434000824574102570775851575163681545515257445674442840715897508404091895420490834031062105268137979514207843167665901797905871708014694357883285243383460362170369293107279409197480839304750670642970296941818950564646891452587177861526958453125382836625303183930241963599534852548772436409907204505094083628680711915964491025057014172518822445510324987362885167535511547733655983754041328757992993005247421815708208045961643101132209616381734333155613095489650364402791027807716617781257235436685974944352067406620305495659441690321154347296032599683047744734857911418030209415719695441976163112584287373087048236201687805102854496659930533071642876041415112322633234507620318068809223670512285998276484511811040689318635174701625818314584063005632320181470084346681308041958350837666081410649332723540199978718300391415821475590765672516755913574502881361265223568288907909282290860744582137567100888266423295101777793684809066319146107453353955864758142620880688771385016985116470346052134269633930168889561320427218259398376201894402364989823894305708717868772625418308300006446650894913813646741787698091489701077961588360186000560863383982315190974326004203184799686528197692054762681346807696850144067305344097762162656529744542792841031617305168290259182949388641421331013383660869268801971657273135429561087043196027119868154696799862171906697783853008489394588888499686234942971585354032690448593281096334529020366843273591629761716279072060133148456756699342056797549356277288121200412095413634825008435769758380278184635665458640917719031904501795156842659651469910247842874143990007636831205423378503716844504920779353936337036370871154225736764580480420223791150798956873705590688535435364687762247822296774839596758909594344488120525505340138115588985950309737351242212346555931824970534125951863992896016424875427670823607713594500041898814735644085802292294831072081674705936507372905638292320154348777873579116332990712893172357763565729897982605230127500631473842065242166025987546502684105766950170478887296312607607017768052208638879703484890958954617831356973638257199481039621388957475865765637834373510617578198525564934179878063924984919204133700435678532302485842219844152755108847193713349514177683340876075812086452740816016756380607132304093193990908815219637708170842221054471174980143532282492753240760592358642430345189884325075473068369943737338711519897198693055406525767341972589774971445433593483384411454375062146244066516170310611356683869244589759543803464387889669997304990983284220855091381191223961788952179660233132411901408766023103635223230047130536429149814455762788610432019983878613713246370878705893971975361850839964544945056658425950712746640923447926690968650746834189158197511623918472277146035461642073653439932597473803250476815326335685168307685918375499466429683511580883126138925780613569139765743461575604319465344885320573078958197824935273486194272311622098908843842379489545977518710871509386829657748054752934869657622336249457225599190638970608993485192194422377482026529227345263984905122946147455752594262353473994461074552553620649580497162952197157865676621536299496930139444512993474588055533854367953051213719575082334241579408273835165302599598508143168128200985801067846066677696995662014589428069149749748315543237697118352704090783226446078625331984072038319705664660819920279979272553280399311758317942373354195154515652428248986155533816956090610449314736458096398072017696471739129516723120711717684366022296621838094837151845787951604350645040924264852747537469724197934725334263062822733366838130802352130223530210142452519527404397142796003092166090263082113029958560119603666182307494435723330081896100214988337701619771570912330239974072706296252398848408147158475226506076428853630076470456487226257409798471774641912951769981728771425486565307221967504021060452420450017321378388980757633542544768379449809558421839989959396742264364995546273403921144362614179566465190839603881097233377280562375087001418480298452087992038800482811434527361158807506311780242151639574080995523160697438677696118500217190479551406679100384156532809632045696315879413033806106528996581362584155874424624582495829787989795581569498149075880956257325187376084363043588056198686381059848871444215315094554563562452793534618860352975487768534443059655898109563300720371722992183524468791158083806175539282605725995186393193957904009766940081694181846523848711212363396814306526856825604297611100278926440469821907931842638629386762391200364417332443224565572310558071675701670557131238145351742226833054767347111294675329201295213916324896586964237987365410680596505834259344623980329237769953720315246286785490921373678791016388293756078631053516488209073462792406771481286491957643661952314041060856060326543762941646496252614182247074212858413423234652799763068264222830487405847246887898895924016490094002081354124742362537027320091614462984657185159968753946211973818549594785094267576061667126606647995216803317198777230784549671747899162337025494051356367180707637612600236678315587009898881416761595084815018255349996794568617951246553825640935183038683250723457610979100795874359428782633275276336484506490407303167272313455106518570786484085167005901273920853205939859227907307431261100908038530456560276914557900462123077910352127159318019180264136754747665273635702182489861814304826130050061701520153651437476047233017810525898002240682334645995280724050823938678125777368686616071707704956355855909789105649544215349163679483860048644988488987422060859720824295856644094463516190863420574934205144869354522527283111538534165681991106536084767283691128693824634451647185157188381842917900842773234904651493255263727268899056293424701890064247344486788871681814595916070171166551706771319586925144143698173200532846389283714757665500078944413765809142348007553143666162843970500991190743063831889388916470981613870005130566017060668073502478688691140674178312396338826474515967869080321035625320880969922890118063347772656246721786556465395738460366088669137421634243605064773813917529090321559282621826773282930914476052374336362424491857957799976826161179101662804420887286604768306045602927720241772650839818167827478746462184739116208040184204058706701982001449540243709076042685796707244091037671791245684065247219688216918219824344144581120591906862150154664730040717248754677032181060499413724516423155473708270598384592556683869413831574100017315743829586246154023623880585991968349889050368081336902513601485170308851812616210161564190826644601078850006363097619593607045205201685522750053911633800204052977961769444509494253785998594028778044983003505019373224918658441675526653555277851538466981871679432494732067638192320578878792023893217300094613505170867175491554205243348153322422381259990106808268698674726117589187325926627244148379699377280286538838768033333627889495788327331578481871770590556908552176797973262242919655561451471163532979757495140980853688267176127648189920297448367915938230381432574267183217602889986827530144353204377694055438041687011718751
g=13
*** a(t,u0,r):
10920495104564844906001690353568168833074239162666406425191068892825157141237\
53638174391868054355277916757105165687234785710774307174077920033024253040729\
10688520984057134655839416331029929300903687021187666039085221603040551744298\
42761673550145218586022078403176471176146941008183349109890394490103813972211\
12947808785720700718982112087291726194936293135470911393618975563995491813304\
35869025887369070123679603929742179907128213955644195628473572065654767260633\
08518436548275562796840255422013042202620508317810328320436451711291791752703\
23174824421426578982085460940937009247150922052127567524063682479783684922505\
45877927819390725315327926495340974027075887771651506194958318645141348606945\
55720368450918239862185391422934718020829930904758934670340931637730721509482\
12420789523780989579295525847113023656258234338227704021946774681236185961099\
53765020205221413258668513138111211153476617365934519898270509132030692220515\
78222724129217970475577817940202065956914236579695847583980224268422028762116\
95328007246929373357623477697987165572074608008363640057947357922817752294048\
64385435691482480015488103969181680124482512828980240331805254692948547817660\
87043807204395605149133624718248183992964200472206000116996622624233278420947\
23963742845845661583246774423651563630962042801732985280712139782502163834738\
89174544327161638152215288702032402294719894421152754787565213727472198798256\
99790718134394220627476273344975493543401569910795945253066001642025402712420\
19068974098405237731906873229605031526470853052326905318192009087697926624593\
90056092380027880677445400319062451154107755867630685785950998238215549768978\
28728069875181805559204165568106714013831314490292795684655809003817109400022\
28565201251366574195133181874038421976965627486600730938420881669499541369040\
47452534999276063279109854828885602296888454563645403286865565036538368885584\
23873292163647669255554966640441712137980700905330121925911732130996603091103\
39128215913722963697913537933995834565077759897557024550162410741103037919162\
46168529156970876592411054806281519662506932277192707337374544517043865777847\
64713491285407396736737565978939423222762649512653162972489049328089791185097\
14694446766488399663816270578150080274674123530520720498632944691155808197539\
33249808917087714790895146324443086548820850067115344844786320202888496209284\
42970242105417696788431516957765005114441592801005242357757717238966428714647\
16132795716138888637874384125886962333964181142507469197154329254341053387779\
74425989908904202001630198645585742644346295801773896198260936882462899700277\
41344882850077788122766199981687666522100367424414180729454912800306661520662\
43665029302115209056871692402975586619975047488398278766073442030059435163085\
96793602555515298043387961565526226640144469338663126924890259057475747086180\
39564975011165279862863161350632720995846388532446703521286327807182516827356\
56745920280276509742451614693705346586058727023114749084836303437001998901988\
21501203418896307243677965980489033796910007036575829042197232589031361058296\
20510526101394430982540862168144837537305828284905381885119678327837746159342\
36357923314576100383658328847799558814316349458196145999090691362909875761036\
88792370188701262811731523050764439053914348802362986929358748612523197403537\
11512554466524125604192721168468770319018663129094172369276075052913860450741\
36756540057498794125547439151236993548994109494769869714999459175334253671173\
27633808154209424385763071241846719452941786329856753714954594247305342739951\
05558994943205416932311458746140021565601444801052123987145854000317967789020\
08228749868981581776293066720924356200004884735103811698846421790036678543788\
18117859706175944570062814595615115047299490743223668430081557090891938081280\
96582405038740076633078910511512496133968129966960866188652472711844916246555\
39402823316109774418452345190955339604529365394597382756168699243275833970294\
55469862413492945159456546810253741573547526992696637668165537843111333811646\
30545902128926959515902727508267314335285896569831481879049024878476731743569\
77530048582002185745731134297373855624479926072366116866383599043659770406592\
19539690739534899795354726314185896438208533404833784099269781561371276926090\
20553961928536868561491098640053904022440156628879675426944697933635146922456\
88229789979295248033329590167101408632965814273648797947892563716332222418715\
35878935310352899865164748870125296560629246584082185284035129153150651306075\
83383291295904541002247983993146396591616583691391674482325943859538900726297\
76536867014988480220377835157229892902694568462988575874483411888902340710943\
81658931891303296167271037312723893294824606239164926069576848393001324752897\
85989564320596844719535375106515922749590452272789793654771050900933356200622\
47575952757966388375495221880383214853474275355859165312664757516979962360264\
07164492952147312866848714530736029030338949897064512964992117467042430562052\
36084876771247418514172943187932662049839670125895955370942466186436257675443\
79460633567706892039313863494243850203529858243634971095853373180398995580642\
29625635211799415611639925765104922449400587048055877904912696557265494675329\
95802934834045874515847413228025427236747563885510444226736457477815197432104\
12403722147788467315201078332285665690973355402593051782935733133092783395834\
88272526817474253325049428529433055340872645937126662649390464925064387542834\
77077875150166724054063592173130110163545350620904204627359575386429406177023\
47404189680736848067102572672831766035749928832240802725034054213734669665952\
99583375080980269196675277451465918690922625521299400392519257646218452003672\
75439083653379910737927398387881558545415622442415473743296887433064901890821\
89633396672830457514400904175640371460107567838109659086646295184098044302481\
26921034897304621367977825384600731026813878767902835972926525549109058299091\
60696649726213373234314875625249873933404705692858551602981836547493376108570\
97298324770635125177621870553473765171358783551811755009187972568416486330390\
26681001640581972511541901467193615321779380785534138120377609162806513373261\
62976762311580198331851821291822628228152024076051112834031514935824009931617\
62101476065838952108570249119822316843017508216096529900783114816122152871580\
59256820417446054611483297021911116712498313412933378972110046338136754851328\
92294674094119156972988731523846784897593423466435730786638127551887457876930\
21732459903626714284694070262896094489265856604914035411699982374013426929411\
94688270468274347522509499030236815794171647602878548275053986329186841356708\
79848831562632152415554444993633066180886231739946448687713937106483273671212\
44972924192973273417279319566215527861705373199154597906077431161020295054982\
70824690461567466700916628724049939969644434105526753980994665819008650890821\
07445557076952598896479539651265642918898618351574750782007213831006161066519\
74849895914444702734316562471186033268874636853385738258432143411111713436234\
52441560460517941601418277682535439924743180496783343681830549990024078210454\
54959392849369771633202696666759506782035928645253566516822956333579291421726\
63751893534202803526964905068121769402381810552054715441266512853163300659343\
33464065296199432901512958140895937456240114079220459354669638893809809537850\
37858170757743832629738973282297937894810532869578194298592071157366288739797\
89797814931721946338947806985975282313246335433006682175255828951525843359365\
27912474267846538463359951649644631301431890458176764582067660170337279202636\
59803133646370855687860656945547771175602761978044959499921768867852776152311\
69068535133249830944589807402012649646740220615785135383509565194461586483065\
60758697064142835029618660157391875348771378178658357228844098077307088387805\
24583476218332402960504459338769192317406835660900314498751924760743519358572\
97317732765127433862277713680533690270897566594393684092381029937228513216728\
66764853245690210021439246482614302872714672182373974757686034948503243617088\
67783039361428752408561085471868640102026469299690385195431082315928620776886\
87799955840237099462706579562344184127913578210525909335625960307888251773724\
72299857115681182725799356319988945791341358147524222523945047546130789095748\
88929797831663664211825429340384123605438741692717449066350889307696997007508\
00843960075969450695190720955646609024094048650474091185344076352851297957945\
67012463956420388294945611449673196284545443271296281229807310931583257267226\
89618815978631131268148441597158008466312929436809244605461000170465392590270\
72797637204750389184006215869104581893239550461010899286010168723315011025240\
40977777096503924904345766439693999129016924590692789130323696828493553979100\
14736791113726701317365523919705677229027281962650499044424660460727016314691\
90669901215459070572722708744411754720536924184964065786435504315147888319609\
50864526275212390679519637720837880948347060917652242511202645167576759446690\
61651120393258515549760971149540398305420927052362970576304688691059689714104\
53115964600351940677977285068325164395175397512422671485375261675958141102390\
52679947232907096289061318670425309666188739779879943260048048791062229423629\
11408929772168399999110857136404232960170696604307232671304788826885619096705\
00359267983675734470771654796313891999267684718319068321263809194368099996074\
03769334401120093203547111159090805290776459494200294325191359994154569384266\
45376145277521167024420937974373613972776389577264689813727198232407673750873\
31448811117313308204219444953720756397784035006466748363822682799463150854781\
35194704593612674225837570848382832015104347330368892819121313934856358851444\
71611080466564010688781775404193324748162512568988041703618713949353474557567\
19878450961566412127827358031787192331207332480631296957083186813972886314037\
60269672078392870066171096429358558679346814444986802405980235873149624844011\
42055752831053817873096884135255115366376401856390416750950418318080173029330\
63836957947916969494643273455197802024717437424663681306487052924179850375320\
71703437993864683885933279011211517383010164140458262278429872813941920628021\
85756129506911103842784197915976240926006489454745478121953882734077307702874\
51024890022523368098787882689001879676437664998476272674751830511507036162324\
15853651021627012008517057486932448209670562548758075609252587920505530845414\
73069046156751315282025496833577017042236231352082510512274018281470381992702\
84995143295783076770190403431697357863724210655582611203584391438622104314299\
72023949024320694506797310356735092631233135129947553943096999704410395083829\
29623860331329587218242671818448912714705190662600462159252930974293998150726\
86951410709915385379868274741917178912394398893575432448876001439999939420259\
86039616952375946899567199898782322414837497237482005600670452977852242227494\
21691539740535014171643959069492210460836099167557249100968517907092869054909\
50998808372695682659318448819328660857819720958388579783262786534397362520367\
55133616926173255542308134946532359988460453325915097824127848853321691754975\
00557365615227294948775863569157724519404339929870946747403393970282301528992\
78863473897197140103635077176197472194340463156800826330430197318877887899088\
93601402819703222034369695931796094103173007967592946930650297506318435413122\
49437097686170085198917125085330561094220699429215192067924953642602298823515\
71496320830593609845212867841415146106435179350200674823700465551484996738296\
40734530808750851820592886818189296684065260137764484779123050690019727259820\
21875571824871383589750760829422404694888657832571233362997248332991517762993\
99814431217275910573176484683891040979742324137549344986514911793617112886468\
82818339700864713671596618799861226960840409806654252015156199625586243987406\
50676044183461559136784394408942679903527545647959821518022367321196445238953\
70342677973385041769138764001818623910016780103181879930689636833063906219861\
80189485704684977640107197796829023988369295985254451578370958020694182743766\
95361067423026411020293264291901888499333854745273797900101234724403643000748\
58233375779079856017886565490301184249027649394972513179596475904979236765922\
64205659880579631392001754870148700805037501444093976394309793358682490356755\
33561134429246953499974749051284829548059973263954821022454179772947941841442\
53768635667460931180077662070381447970197147416901003797516384150853270364896\
72094879604782079963179416896166720520424401467380921253820275040504357280963\
55664590575124874665937803045604594426232933798883755799278017697737484489808\
61236049111116124127131700139568297026686448257940798703214692418858142815863\
70692218149801519352682251453918416037965801233272380655448653010411127553681\
48033220737931887885889741752056448209661662639166328228736064708596345765816\
16175908295158128415819640793096543832324959877087973386342338416831003498628\
05550220576425039017638096069039753886751732613989997146320214341961703977302\
28923769049696744514453991034519844284707687431533487142663812144274952810855\
22523394198113719991405126982830442832514397661193509098266739597342347471540\
84797508216844260006994252568012321779496188472972970608816053839168070496275\
09395338878344718474474718161103166853960447617143380498159249599135136108750\
65444087733636443210643701249801594550526788045492796269086211289021385993463\
59498891037041670027183485692223058581575113426873712838002686518587880437680\
23865569012809775213363059118231919928399597949947589691178880559245889492043\
99733730267393235047174506530058102856553824548953253462562906989625192421585\
57212262155355816055803589886254204051840247204853772804644561472398786190323\
28166872416064815277578347267836271351329730852192568785992002116129670387202\
74968123953110044953434069150771845514295724642813281368629681398649051845808\
26617643357065597782951069208728391538341837207941583792246611626649614616507\
44395022895378554607510138610682414181626971841719278674931584782537891384041\
15760139497944767139065272469586892406955067023267086170101243921513776898007\
69824421460629960426376220376431012609902353280053425175538735571295764937634\
34075256839648983595343419886620007209534154960099196315242742921002464354127\
30249797525572210905464349813178280270865715991926289480168739666137357771956\
38531334563880579793810035465975897377314522694497286206292738943241195404291\
19980852975830172852506762728848278429936500556915420693939623697039143408252\
45648669248757201316485259124092565956572061156840358429826750120102495909121\
19346974565968308436866762958047781604653225228203576811112117511519527710306\
42309457529975654146886127235269601406232364020046648241661320723482008333524\
99839425723639858542121461604424237954822272809893256999507694086953080468997\
23245305330283521374999208131436562934064494278389517658359110455255170489912\
87550884718176975118010940869907595499796436085813727718321375581106094842177\
74277219962613334858320515263447805172830431410971304474014271141040365385838\
92748005660613499480615779980758441250686217966455751253435143341202193856169\
63841427602933856696648818233654818493293307812823633473463270347704584130858\
29974109126507141617640636331736127176766447755421377350085013889059371587586\
28755200457297526672870125535792886623967855201311586008795357821206749140804\
91075264952028411925750435863592566090331905820520550718660702260659544569544\
18088514607022874085475854450106234853647813582392914892866835485926153559757\
17777276339733387202380844781195950010492237896591498856033607948859965812082\
59245620170362946646088832295471686286044241997192410799105683896262830037466\
02747175008433925176957486979182368640555980601288131154302858143993423764818\
51329699978578433155640345600867603391294826459372337230487661862727572882860\
14498671940797878126228244366228905692392740208897450072998537414785406051840\
08252204423849524236805638431363032986171141217812320439856208435544762923119\
63186772114306188383239896257157644312860786309180804636002988585443101703750\
35284817772547564352140973372178584302439859142091946843580597274278297793614\
14314220649613542198854522294545464390986761086566610786720806338912498392261\
05814090795954744206290975700873161655190361522360815928454110199638802502395\
50482448784696649785637033292599979930345905171675085123492068472247930748845\
25786914317674332195438884321878197369784504816952578560311547922918132556312\
45642110576075861554789194820365779767894270192940648270880521833639381171718\
06183010424021215341956065074594123498081146873502008887801448981633215495905\
72718250316500263333724561110394353699665341157372776342409633583664811876534\
19360102756786121186962899708623703597220307994846711919052285394999186404182\
02583057591402543608832600947003561870065392217000532857482644032516996689190\
10022813077817715871675692754508820772258110714175798568644945118947105820775\
18098753215492980738368808323304457616836572500574847041440230949986801223868\
82761112072048887621018894389993574942072337770140542795884076097824514290293\
97248383894009631485368119109804750746673900544110111159160305268126599480266\
78590416427193706603200700822720692264459679239622525629617967712997863178630\
45828435314213179875133510733778384269827951856542972757677178459054506578607\
62030703823996701504568959185075825964477463998585591970894394039840050990211\
21316162636669392861644385423430114736457648159087965454858973043772542445142\
91688693186485029390114479355283935404519268125318609454589026688402763920011\
02071994931262995103598746048356936827017102793315441000361568666592556602885\
74105407259198003806714642817815504131514765712586140878995337380660287200886\
79417846488309542451162313336509112821089269098149021699542788570587791532346\
84148990768052290827073020408533421104774124742470767495931662942530774586809\
86712235614482034295407336581175371091288299048470335795789948867900903953924\
56816552455789313129504973238061253036393406902544221714384797701135314617505\
79645096219544548269041745720147046234290807687640644716955888246498505922902\
77626246788865555054377121615889518874261681419356098363001018955039896072216\
97664546592592282594743115671754321437321094143854775336360372228009026744912\
29249911949759162598454565136326651558844671529519768791708303774120507983076\
12666416195711361258649760755857664667763624701542844724735629180694984769309\
87377175555785574742698082677088870730382657702301505805453408585610037238977\
51758674370046231425648983470219053025829711558760189710619965959086818314439\
39409336250048654866777553575234130782207852928520505770088091364128938665051\
68704637166276997306050596379487257365294777117470008990418067030479054181840\
08648471113414732341943429106735941566237047218832055718876351137022700885707\
21387365772018222525181035331936969702608263224966876599032270280733019538198\
97743913519046950895838352405672635691779193443892097645639210218470905096349\
84692152170885079206510398134316180963711694350634381770279498949852586686563\
40028843752181404530824925674882536234400744758465534852421232284916796256458\
16691068453691677355699615913221676158030744394536088231402098052105942592588\
00085300118654085605374958519026482924062420809213596257048055841200051687938\
70326632145770085947906015462920469348527447038170499097485111914299217805045\
47367291400350222777289644575101946883282345588386293587359567499273198315684\
74367388811488368628942214284365763096671465165100130297463071695086913503836\
24712315884835729583724674708633866174312202550590886118676456951792179759723\
98599353503893298256735901268338142677473856191058322924166529953979052716198\
42219078927730875932037936311900201472510090656075300383783569214750612019512\
36408955708154522944962524097345051728817792921952382382696624520727936701797\
76437329086520294782757360153394960343593511247347672220564844011926008986952\
66332974071229100048845989166111947404716960408965095070702804094576662315731\
03888130704945460027570593756150651820690051158192310296486967014527808590558\
98004465447202466210824872113380844895698242152461803552101798022393142724515\
55462610805467779484092828167781093617323275444218843662032502713854798203116\
14728342044824422956742192913497067547266943679359785225014924138328793368775\
37852785061416550281991317903476462220768343780288547542153311528984248422953\
52483577589367973913348785324141673541128479653240036766690314291964004339159\
09874885256682971981470713628495114992666366471522208044644937973411672965064\
44168766420807268544397871178437866707094011768926730405181834573695042288193\
88996114006515707907519525490227888548693607050336173752013101863656970791735\
52094726932906694258572217912259523752214261253635583304132438767650472145302\
89793064569908902688682114277215299449845967183776997599628397923474457158337\
89644191197424993608325546585533752935894443706050325629484834330303710327219\
52776891781867539368465550730408088279974823542465390080208263105767373795375\
00321146768256303643474072010414238267385176973485250691559442191663733126109\
12463961169948265218383801785010727994403519511414569155849249653238626419166\
99390296132949846955387881048958796651294826537592785865689566259533306503798\
19415876420982318748001646283284402938373595227551856692413279930315289801801\
52465535400285988655743090805295203147501582048491951011140538271615054011357\
26611804999271827526245556186151981011550209161930883165882976039726455801787\
79540242419501883426093036758527411013719992094932106557603175403999490035089\
31034290846634499269293889284841572452381907114997335709771087598354372506587\
57159590423632298764193836989626525712643117012609297831618312524087932118565\
83019274550138493013794632173433593426424781093033783799492773431461750251572\
11261039056049805586076164903739962112586820948609380673991652071335169962264\
69088697734574268049630779227811433518583687091174638794655038509517908096313\
47657133
1
*** a(t,u0+1l^(t-1),r):
10957597579438791151435444680930235091850255830263234533090925299029546123597\
34681112696710188175284523495804277235436036398353381830388490542762727286620\
59875458201443512236776583090931503239638354134509934440124016240423475476159\
01117602225853526236937215702394511282068165043318739876968164799809715944936\
64860428747620091548151926737644925717682396056655976777742256341676110698287\
27270619406805205129762320590885131820742466098188853144765101755572054125618\
24855418778903905592299508837942871338076750135424632946666700131601956390594\
63570661876992014697766385496795232381625953497378284061518032476883742742174\
22024738446183672286954182191248134754234695997376256499131449965566517401759\
64176949544182967743936870668992253869145321383484049963671648279761516712798\
59801607608233246622033789241837076964263641702910244352712165761693387045905\
08534323784627601525685506953982483671551849361515271381503591269512110200879\
93550774154572051915472193312592333451671589591857894631264415290851548678636\
03692655063170356506063874564458243144799663301710288891666318368761640467188\
10697050988282533741475039769756476319695930199860127898051478661327761456905\
47135688769076450919742232729748460948772685864523800796895818397588544372547\
28688421473860992256802539229167933609323182245000481266943324855375897120700\
63203449913777136356582951064553463684169678886909785664533158960974369349100\
45316620914012774038441651397110178119426716807435116074990348193470562631035\
43482571971899253262139852413850575234941308951711934441583374916987953555368\
28527404132168405753359710852422799232774033633885376677635995967224209620968\
02098606918925345102440419811259964457819416351528218546551581854339704335696\
20055230247690582940983011484029492493308659063565399333455154200652993944473\
22811943385457069156615324324340479767885810581415432969606897647081534351786\
67669011163071160770579502200941514104474406570920144990212677993276319749397\
06078821403803562668574625831846330039251297020651782277965907040336683574606\
95476010003483801427945860201999350420137193655257914723571740025029292275394\
12838225683885564562570196440929024887166146623115178248726271466237321619474\
60044484524471938960522328122583206255222280235607427363294211773911716945662\
34268777690305453346243600955216958870051271981273154623420928312298083399123\
44814988114835876958720638759433515890594848495685894370298230434568806162148\
79381265010757707059067615329032671152765871452164912467359836601751045641645\
36060506295910671544104593431471084918336147316389209548877904957941256097900\
10001773731788131683772200661127148967815317710114342158886809446287318354820\
97267515245384003651628900870935866076215053312254671559163159273649671069642\
31890296561932677311938543541400041679691959041965493154533147819845426861105\
13085580815280224188558053178551065461290940248864982242196700381838856069125\
61581976634569634917114530711917256030858473547542092513210605713684904900522\
71630879081701164459681401878497490310376292451196131972125422507227390597565\
61463562996416156116116878687402407766764398482928842978727106453526889124776\
14284394175214524280771550803114846103606212480137922259563253168219875338933\
95549309158764800510978629018094329560326288832269089942708778336008553680106\
32389720563239383109076728148656093434485317703711706363735676666910170282397\
34050163636403093539337521050958070537269287669723787732151212717266306628153\
47999494931630294457288880090913016348025393757931012221347418463321102681309\
89269840905639863422455212286613883473525345519515494736819056222289603013671\
33964521386090239472022261738096239629902976076219679688763227300082103272702\
52381000792380392852860310001942233218468118684593624268462355133103348969439\
33830136879188797165241126515515369846767568687120416130403273864886291952942\
33194678887965187015570529829203205990501718844409151893505625741271108604395\
21569986521353057090915629075747242394295706586103308011318988141559050687563\
56357496360395567532378048213278415063491850918313355543417254861076312938621\
54124148407309101439091489227036507455593674405567813752679353060795647316240\
86650244615207158798056950752399438555212639407341713150569678893969367334672\
61846897246527367548676232610518413322629647534753558808916197473613522280064\
32357411009802479906602510631995297903519492011837865211588687941869024986389\
36340585147194415946246848809661396095942822733291977533018260962278003462268\
61696031809933661753104998661299781857499765742438305312956722830749112167043\
96389200651505994875713207190606664905761480926622738646423899132012994190142\
94620400516075561046661539138248436533651869907021658547729431116873356433825\
03269257064607932527189515678791741286678528554577301447482617325285338158268\
98473719301877938958877425352230496444142930878019502227656823510808886354693\
05490080130920180294482402122573184281857655276103237244601377209286062828967\
60103285186098768746950427706124958749895750545349735513765600273139891619980\
97624146479035454526423650119932107905240605213885146535590134357682344376499\
51810093768577896072381624267138121506420068091254255746039240260178061474906\
39050283423516019049876339886784290522942629221474805871900907503221138080231\
31811662313635993251719315291512004306004974956622246749355673336262974052898\
87439930645846193030570547765659894713491692299313955953975030491061208791564\
67373722970608966604643649677682081092753318969559598301065213807900853763128\
87655846044318060461441539510904807143459158488522481556489436051380427320537\
20759762538786544176958432414494681721582611791473690541078213221460417299268\
47156317233176218475428850477534610273202991488086194492141610719926957050133\
86200667556203607426680861947471539200062633187503010136770801283251265291051\
42074786997748464928684431812860982661106564652731497929799435601937288395238\
01106717618827914706232140208348118125703928928508127655993099865321779424908\
13370686009946456293740631155580697555859436270560832319524964547697629545555\
80565535054989385781683040430275813335330160108701298272541972500845493599897\
85274531605957027997758452621239919150784477158982203817612595960521033747919\
83263768736504316611770374541520467409868077326683494328532094821159940480430\
80975699762012688998611779344748866825904309947745157156613251478583425592613\
16617306055933831345490391993350228107891022866661446746275629684000325797236\
88850463731158854876827798700935379068504585449551342440278804511184480475038\
48803859156162029337421762333850304409553884231200898948695166350690307408883\
34706755112675070260680904036646542056925482810410592907490994650446410501352\
46937724614919954980418433902227585147758732337996572757400457540955811346222\
74009825310247763869775915118355885405554890846542133666094307945234048345716\
27629403816738394815720126988699161524512090441104449822036683413670961160743\
48490382537030585076562258606422225907387234713589766814236556129382761160253\
44125959873181082965862507391536126583604142604926435449718989004712721737783\
38724826800160382408853441955548044177671384801466206040662671927011610645130\
01227834282337127887758670317503836569094319534677777894634349250172915497370\
54868812969912454757350488010004304174664485927734232149759116715646082956438\
77171392175946812808548958468987511862743071486349128141056143879305245553183\
39480027213483176054708671562371574325635620830853816995783311949096146337936\
16908779389934352297323801995000162325106064491443503306582046331731403594038\
53437798879597483736630285451591534837581027307528690959151401151662015482387\
49484396521018516666938357144035342680647605283788935390475056355937673413359\
14872260021325653268677387202094226001145459871224580413087056507920815754921\
23194745106956408859577520922026618791871411546497937311318465841470847283913\
53820511019142589356713538302324857961512167613400684151585042496471645198212\
45700634174044763396370523650731905260730690321158937299331627366221827683737\
90323638589157275916177940801897638879270047338081179256117711134669035117012\
20148087060532355746271834079543541491881574512486926015135448281754236774088\
45365428544160280741855299772944740624154522444741179112361621886604619636278\
04747226363368070772001506676761419608628227791333703140189001049399251810478\
02432331401255870119976193393774513698015092983374909162191224970131653443646\
50479097469296108753478835497633580869883649760326732921414810289221705479912\
83128279679577782903261063709039632504137322175552650872523721575348060968267\
11776564624472077935480755673869376622208654256461672443267281414334201323174\
40890498875993745713760304717518554052445068162348597020913698063471448273479\
87606791536536644809950004748424949065592493566147612857712626464557345928445\
10683502238841151220195152828481103830572723474380704741542306708064585561918\
48772333272749918620673158573796560045566813106500438125623492206651199173010\
06367941866848295330790736623434646544284191810185268324582054564302248116304\
20680345001032638098174263386790595304785279950177221898122855996488010211458\
67128463474921503184720643648920525893820185101895390405891926646524502003777\
34437499182492867949277711690661551984950438495375094163959278483149103646297\
43282345904345074451986054529483701371858628154508147828584071286761196598552\
20543182649368519341271506780242869181911600353183987284393595645323837456919\
68067117458531997716463138216642153997598959417278046630761378973854132438588\
62586236296647328503894029704412899398003006812830735051355489196290318977730\
77896385356671380933286622617969636653887261307708764482153436179255644328856\
19306248350368871427248757653584695047420142849516879897402242988819001651194\
26741005155093817831545910777082052554303167132320871012430015308244594874560\
94676024305159776759487646020851283114270982557483926309964313684723179628305\
91009509635689334808113068339565155395933739575041799820319445786884522428071\
28606505936414988643549196241568802484597564618631961084425287532076271158022\
82592577647297972732657854138089925709339756997107610847892261962800160448955\
11415550105462330696157190660877632458031426565010751547056783807919019960075\
66940036874242020538534613887265759222337226714212885152695494714830389626069\
31422802723852245344899335145438447467461062761268012445977115399284145332998\
24619677117646280113108256165967425933659457506166596051953318456832116019858\
12577233250355386204290710578124415704710816127798633665204723459364874770633\
69437393924743075122335693064628869842890778850660852540865166181322321680943\
09905708101424704728610427215340585124834426870967168146203960184852188404919\
59953510633052130743559786434132073064984640339419969591963915374677175907531\
41145074314615049776915672831620767451354498926850574136120069465885715304144\
82014387553923015352295071048210757042243243332339436810258331671216627386919\
39507298095366222917504128713392065141594872898224554573013396228172211996654\
19080843257745758109269544238536433691705505828721151384119223198236714490269\
37139100719242789722101262879132212824679779363381267064778490439037507536452\
56028355461966779311235196351201540616291789758692561867226675905465241991611\
32198010077301307726445697163727451161281183532601756489871079944052246631966\
62515592921796937130510275000682760056035718793074360330896386101184186588488\
02203556348704346911504644289347473896151267162262511771006356147922658108868\
19581873495530299788273270352112929628631733275265383368406594463598503230125\
38371185319180119887337683006645810373353738210258338346110489267305192228779\
93471784890720789091545147712262131719197847322614631549323003226664509645992\
50483634173234582460967841740291106554138848345068705872512336204155619674792\
93883324061774565566467693597195033289383245123547453980711005035764496581781\
40570342790961661390098465351768177558635183659591331391382806607128676003168\
24063289166875300327446180348800130525136122585430854018614573959609338517528\
33623902306683352394088145144535756750180968634555588832944160776694935106073\
88895550328725653943202148385511720548854470400844446972958638337272484455954\
08931160423775258678724297638676952336651445390110150719545273970320143211874\
54966211896163987317075456012953973929310460149336320980627863282935307442262\
84075890375277899236182116188400863988215937272224563266817119317843711827065\
11297919965840229725228724088339427385159705209625703545735859213914904361193\
33090404586138888962651068514615708563581403562639872749898441313924588061121\
66540361848752985251006439777641575499030796326767324633123689108842938318069\
35938058075565284424095667936774310996192185608923362696180641638985570795653\
21809098045082279350960714827091747580702415739865647577191566627198598356186\
99809575027757759656190488949811481127338521462174342491845200268756816647547\
51661942730138827372171407833713728135517593540198343682491177697596907954575\
11694744482481671166258477980276989848528891352591924811325184099465014938185\
42418717168209236593867432057517295979170731968083181269608529199598323737016\
07169413680774648206338513901765478025632642114443999954032869424125606409625\
97196229044409309816970102254515748394800630338379428223521059054171835325428\
17648314532278469631517915410333196797017819035454832949502132731679442797518\
39768989194585412960458174771585084828171631366036364183998165634732573123198\
97106335385446728017032469285111530075381703039245259871330111184022489343092\
84444037391744514441445767594146635482340530634623536316909100331605798964354\
26602564291783978511259321222221092627327813163647160481217532802429586143404\
78772195878407051343074083442019180540518846585552226437586538929661254771304\
23127698553177236499142225671102893687050976255416270999553678051192593358308\
18101055508901607741443541697546268293285240958364941381574742809979115005918\
00151744377469308473673819715814970515199883410830442702139732862206763042197\
58282540877892484354713285852835771996106669742485434141234090729854140805928\
44920087671707978411969797569102918655009609293462440210110214854097449303220\
86739159184517553188532582128590403610019548465059895736472333214052302851366\
69310668864843690670715078068489191755364693509452652864586074002488900323842\
98684895156962846769326943853742519905210268524716416284003812801485502976446\
20954740358534012624372584119773017767750554352692030277271241897595335288461\
69473070163532140845306839845918475014182158759864731108523783246218359428631\
23149965419533319677309118891087581542154878315049115577174786087436355097770\
65782762595196409483738514983520800505007785415358245008054281043040837353910\
70054055709110888639093561700475509431452473057265487770740449559502184932651\
80968675563568742851924460254193425548789515210252675702498495881490465519889\
92944602333301019201084590725637745880882947193693049556548968023624009094189\
67168309045159020027714582699223958531288518946908919325001862096219437974918\
78793582123786591777831915133580950111107575445390482005145568516766867221479\
38803516258436463231292019201606080617279581791802649215728717472328722015787\
60313772011421661917587320260383022286087285063763692335419391059690377380069\
59317222655906691542653376245427517042848833191803018350841095163747655423276\
50161590880517749678612555124737274695395321129084040698452301475588172693789\
51785304577375160180896497217207388539447296527746458205073631076478564047502\
67214798229902356807824947311596389251750988421721481298353087930566171811444\
14146794417827373418385849845739427009552886080988081503972407624109702619699\
77388445138700405103946017512520474083275876345120367160489617571436210029025\
14471250488131927266021909628956621296361513298985153778269613148784404953809\
83970354857924031732546120621153805711732692893638891013223900509059875155073\
96728712479649692495820833125920325283972402173252226398315516051973567327161\
94092276436325348706172761136853536649144571540129323791051696360931583362992\
99277857923530172158546888343997990591123120271680028203185061364677884309334\
23649376552160360575521072200415947282462367296373745364705135239271204502314\
04021839688806232578452779695326864356170623226287296616772753835651165364804\
54957474092005924926471587199596355853099062267388590508962596451202340479588\
78649157514676623244800511335429312423135981050758759461422459184264400277341\
83056523182789596078757901031533500423957331133573515705549425078827283939005\
89216474785597731362370411841551974427293200600139048555596923893235593351497\
70587055243962891634971643424472703712234985578066002083097322032986436378945\
97455323943955269956567530171959910970710297716233507089785192366896125882338\
92965559485824069804559099024966201378117709517851044294144532970339817742494\
25685404741728761338963379139858227864349587874020110455061632361706835512125\
49304071742838936505316833719646375366384148624585860111796200024562067819193\
41026438613630027669561427440016203169508597128362990846153217919221426569875\
94521028459900943936620785426146103240716960228857937131388482975719328583823\
75120168691385757701512820984066289180420470901818298649877145406247006541638\
26278588548576305061572242933326895201662021908150706526955809869447670247617\
61222201118981967761096373542443014501163117896655531694464816669646982080778\
18217576552762267356078058307088427697057164517499362845985334220591701705998\
44208586821320199365392331493523858174863048198224561695091594162995298791766\
43755138741901487725694778028136178967992245837913341705912060972368069252725\
66995912606624497590882416236222578324487069559854270462955683940277479569632\
72892652308768125268097179633235644348227737736081577832157316731076764776511\
10029451665338991701910188088290612795956822788028425822644907550489542790389\
06259389302866457967985164451779590925120535625078955283204863756466818689894\
86681161354280103547838512218485017202994970006403375355543522948138039355730\
61795645810324427821484696158607341974611161507643953815654492623326926667827\
70075713085996468604958244339386312256620441378878259512592188894864493680616\
35482206433790217869696942791816906900868051428601733802961823096280858092856\
50187340869180767907396086875181668495058186834829575480694855202571653536812\
51214546715062588986595343181981756393701666461570736609417630185838908839873\
78047766186212932301280295868517258739659155973090752144543284265968848237524\
44007005087045255994479047966720363511761182832459261702841777847962537968961\
83824090506843837159643162477528244476824640650814459923327348752682038116914\
82981096862198663208562659560844518715346741252636951263318694664784192531268\
76175023110402551364622738605399823587413390527616309588815908388903865214877\
22705782643270832567735444285499609463772277709309912419867034505922372945463\
52662635762033520377930668438760991192430764882546317682940362688069333992486\
93586915994795221038469097108724956210474021738009130519215895888527057536008\
12305272439901160152107456566190177920361336190261000995747691737753433163331\
75071672310272736282162921516550855125725073084438249346571074602679348966062\
25227152780438867323173514436984670295265350891238104511602012995813415396957\
74755827951474854076834348471288262562622104276125778256366714786035228737565\
44696965097067154451504671680113618276996781643612974086523869540607082341672\
34755952986385837605031485680575386300850416915377933684657170466417899619930\
82100919449563370794088405200282678856671134156085532390880340723995324198318\
74472284489750240379918469449317773966298795679816165470907752592554292985902\
38059007848210142781184158066074267842178867861022328584407975452173320780620\
56011704142044062660517323159963438088032349409795935210723906370741734901237\
62087739038116626475111009168638657830604587729501741322106966924763809696987\
61009077040893525077324514610617424009715998779550480444668951786857217227336\
01409834433274833051446824539014130818948341252727505008706062032697212243754\
53716824899457967228528693875940462715275925874384097335404522137984512405346\
29829980944104702857198466315576499371402516470643143244123213368601756747407\
59512243546675468561351736037778484537801259456299852445484963518187215090300\
09668819438748656341839533026591331288336073147605496174799359020022700003099\
45980124285594592171265032612898666769467534510499062939170575835424810695917\
28368231412707942441203909711038133503400227286261241594060492689063128252601\
46697086125521223024163662360244563875974285874596923147215294940310087731981\
63817165356481219938915401567771131658145567210190090537127529163306994475059\
65069001203346920852882202797578638781949983545550539985799932897098888245456\
81491115751913123196118180350637321984783156200256421147532005164437564034300\
53935168064460412612657343459550288902834062427588435456085575556793983408738\
95991309307740249015244029385211286767902257824036620171080997861506107794679\
78804684073244716906135931824719156404193960134210568644078896695146169365495\
67885696032360320479601413795605328429265592624137381961588261826465937720704\
36760818090366437601895427643689120988728444294798650370329508160754823966438\
50512419602480559921550915749705527750168749005221908300654774652615341749033\
01341409246493075819918888395800169862612006449562705091586089364270597796220\
31458730724071165558611056377044909599358420518086933731565477657075469807909\
38474127727835411908854394754309497347854941105447164677277931379324516615049\
97617646308174593830797719033261192743839603288660973316939052788382756558138\
83174855170258456064638436662297963512346321260670258073401840199707709917383\
15464413648270333873411148477533594310093268458015778534938388743233420977228\
64300431034722681482744600345089022006514069490903636780471804909629626938353\
92539735212721179492608007243307961605283291917078969390786369331181049346923\
82813386
0
result=O: not congruent.

code version 3.3a
start=Wed 10 Apr 2024 14:20:25
end  =Fri 12 Apr 2024 04:54:46
elapsed(sec)=138861.760948