n97-L5-f32523-r2-t32521-ver3.3a.txt
p=7749126494882535251886650014127248560379815163152333667596975381527639014393787357101413775658244140884615131128555825960693887335436942455556928258442471848804802804082395170476631256518391559545473400944077522776286681425533412687389331407603922274917031258619405591130280582655239650412551736840530644737695856075732766204670600205506167501932122029240596702245915193114676047760708670670974491338992341762159553180444444307039844076786660808307218794567079984388024258966003708629469844492520235014749204967957723090295050642855034154511618353415570380528511272546434381255443646869419309055995789036036902488823869216096450487918767786231609413540906844695922116860043172906989844673728988428188247464472609513238910711372711451537040023874344209804515741985009108038119919673434471061801669621534697657668988964396506338285715679141114878616942295543282090279280103185831679471013538819211602265404876674541429589561507655084826323763370076305854280217853813151624997197656089990003970616020257643445562708628856753998127775965592067003016970350298214235909011184912534680244998625634496114713101146439058916439701090549631488569318958703946157360790428686231023156911202668608228629983375771738857049792820274031047904839837009206514625054564589978093996035581224784389011963304092919465495144717443991224603283404540350978029260679836362359130876206918185442338031860419384956540701067343109847860473100540132537978172860841014018750308932260125834871759617588448229655616901916119740586933755622027464201018318241669771553604832582261916377889290504850347824612881696334762914253766787099215570309221505211526715733196608132920344519475439097812168335105812702400046048903104370566406796497430220168376839528441294193540420394184175360556710353160978420794985161977167511134652820209788675774047558155973383991684869082727288127520689720434728815587035911999724543426066511456439727301481472119621116869778586979036495224185708759308126813305750810078138703483878294918743832224852655351476849951212131056115229965279595738929977146652261499790237153223375593749862384833159029774407207822813282384333166395985177873890807729954886460651573583766865442286228274546010813477222127607576920525329640302563940573198731090397830050160580201597767125063870554707089826653706404204889953440424238256429549606360650812585758205074017800310782609338249364747807277886864967593563781394471404425990122985197524245929065187136087637919557006603806256001449509143022327566560403146044029432814401097802122991937719580344532019405837575509202297624506120877910929875010823195570505915372557816236806559717596160793475715958912806299099363943630271324905503355574353106509594135059213596574053146000898908464063251282584500831438643468908108551716302582686242274464625668380345334630148160727386688995711536245354117632013633564653369906499688765492326579555053788768637436778621530233928472913276786595545922742187129402238909427167515137685154267486492960954007121140946132106108182548559320416080039889389316722972501075276882013931469651141451306173571920633920531134361947928357030576456503043481556225874437931535425541067234714475043103118254360960519009888701123777836661678334253755813729135170603489583231261321935522876893753161031132676922169811357470659292630054744793597800658721553130130576690142980855205839099219338227199432071941681847989672679087488067963598150949113305426017120394089189906357878761051959299306874466474898833141132901571640757348500183344367230229097787042112927678873906529873593309903048993297854686005149949395623003102091315750263080409867971073280576652152620244984059685082163335955796035471866845963308269187452016860083699996555248729000136696460066154806990250700342562066082781544615444160695648556380686974676644132785441885299513091808037206261642895583526642041471170801433232942650191007046462312144221678175440421993863245968743485872082684099759295846030095703670786547837838920226154764235370255982398029375975312095813892646140864939160256571169653892152204811533749042511419498505321041763894913499781654693741654949474142940255701333800139991640756586797383672842389251849458076532804940707306493737598975290566756392232351564274856450595845253446555669332918964015549056192434661033751502585498448020201662120326607939677800632706620216852118699694324152499412968229552321705503505815367601610331067781113572072732416441269080875432654091101411781697344960515136166474491719423954847329954342675297922795963241937875202214082262055014096334960033100340720746047567886462979046768789189577048881244934999620961192007190310176003813741630142839185226933741090879316711676632789953201580028265707045129901431440233555893400146453345434316440040146990800128186097012495781769267512813096225670538275975773070491127178359572051314107539402334324501354800696519814508026143537127896985815328021646564755969590181334501868129042662784856293970903140398153675278953786326194808037875322311036627448648153662969116787562552914010686689055791889543744944654635976495735214651144079962302653109518731659345610759819995969503220790585721716150559021852296123956381469906956768520107716252055676315446992082794224482340296880400019287887212627849224383951109297927966646202274064531394366918474514772105604921972946978287664656093446246221573917567376498662165463046983484867761866962102292906268279661059810945754450282491498320092144243192204759038940050493802819531372132371393605997731671977890777490142800463872828437096941845017588976689610295222547719708566818061796036584507244872130667462176468514263122584788697265292909145256866302497251768021936760313246050944427338145636191045380521621549680833703321622851017009441654266254594289860165804708937636124591168107845624673338781344178935208929173382385059557255597373675228473603337348315234255721807949090314838170140219743876795083739151773364308165442834193266305244118755903900366126971761690028432916559814401258822415626871012142371427882988932056931557201719656484169787450071682204111800032736491904471952078706343388651829048387252136317564480862026700549210694019479064151852539686942747058628080894377251423985927988273287800980072585892774537318359366498388704065069234461900866044378282233225609684487069578399665204197943744604792989267606587301785992916698924995057955566439219377817446717619262179845266690716153357512586705664433386983309050923935885362199670560553854749103449272375907284502454861951826919922064016318649705563171102996228217370838297815942040870683311169215565313835714915470972613518866103538658029294675664371086671571699448099778698034737505284152282845380046104226056884482252114846753432866858160059227360357920463227664343406862521061701567346049587787732593961562322474856971617398185701381489493469496787302134083277202293592683344394425368273579043306919063118928011036782023598123346913334544642999648189876129835404627459915565006589900813848399344951662980015373629541125963616225538396370569463067595843000010705040393833526386779725279435568745566224278175320217719426656326073403222446465421662469887454839468581136692163047253522663608961702011926104627309825354929448186607654195450133182206935702140568985285403237722821647091614211353510279818820007401700009127042281589742668985408998623176050901058889450018642211117166463287124298080713356664950038307275721152155941699943659718931962052837192910029565153336220272137599278272274147003660029111490390286569675421509907312538691908669823560611348448389877490219938349389886995758804164714314905019759620111439186713476109486301646050135414140335509364626088892360016767511293021595169549754091497644148575635759468308168625701647831366623885574310185095491748194300439232064375275408465959811734272968047513640661786681476702103938916194937067477184367335142698165501904474847953566741583311927953826184421281522621481099622187558467033258175067992719812973359120627925097301463069561771463654702870449668166145802403070671429797354615868715642385970717613423764974152542706090841957210476700489977511510696183262046301858450858591559120867854247811464130917664119774331529105668288164250796267648066642489372735305710304282318905102028039628110328118353037744467921050417780348781168844961403016030532396226860329786602075370906525551951774382601553872885184114388351226248670028565249093094865790408266683848869967547850080873347899921187563907162833343206342349384761104362712115563318215740559658031766895477109830506777426850183972756095040629957303654946433147673476402699012951847449470018248160787787615637979254643093688023745113369264612456590068462827098112095864059753167659261047406065178750911616542450657665790228813967534395781799237187095679427128198897705941902266469193794763818665373876179051893051352331285557361061414102587307005854800303723597355577938438063712441000928312695209278536693716299957171505733009454396028565706578963916502852465918110245753018865961950888698745078885004206496774290047543081369592618679766586383194880795351860829102019193159981490184561461622920563455828187262100460089753863772461822592942185279301991828868167960055096651301378630990721718541802546113483436859451545249286197871421055522228481501887597148975270905580183518212865538741997911167531482494823600723832969068655064665570672158312173363210427544375757496759059457421787050640210282435079939152790715870004935577787914457286457120724277072808696360703666927480138207188430766327117258277581211279945597464946009483402271613616427237082610265441524188649961923369589546062268012347639567804255931482852348886946189473652952508837424291301868095272225916753133316194043694253295968500759229597481116291712281094946018499157225798645411426759397792936434259693318794766807300099254195296009821449332659228511779117734518218985952306186877915327034385637774413098815301826386668527490535979114750248443743522730698130096244709026298310483928445858135794723111807847704462072105335492667659269086616429860379971692416140272220515902550214322687015377403618169482095061579574892354371493847841751146958106594998128522324114387248759123727642326901916263096023175453391575748004945223369756313154918133687197634629362850389820627906673086550936113478950975718484337982752978179651576140060359647062664812629467186124580969707929584947712428841720905209684600557874893048820013247825234599489005544535485619822984931246695098047538051775225404139899022279944035842321682344738224660761135155342340230491157745698704790556397475333121580997427895463857713092779818819016220733382660381448685334316145622010692766578074806047898446382471180188026516041773981067669838637984278203674501195130358695980124816551839192427849887232338945094184933380265981278328111716629481531986102631402529508566773393513105780368166886593272642110346163833191604954105305500250706015993318708788484245260230446122561638563486276355253644446208694287774705950088418605696959355226588125429246201102720679951987578271837852393830100749386979295321886168992160171869338677814632052757579860510292526174041421831146189805906216415416318569745349352726425003002274842545455664458934143705858173262881363487063223975274624041361977244557329275349809313072101664285780929638301473116591372938667809221747741092700716127515457011655479270605349310697901908994193810874679389991319816775586604906725077430060434306017831425120408214364850608290423290712641212433052821439754284064352022485053836090257785473569140565369369896231350670704602758138022586532472394917116654906385380815816649922757571881188200846395696073929267288940927001448808704906476770259466640349869294621051452682804880562724548491013095897232111993282994808999901110108511248505726632180368861914937311077656183536358537240946151082699010996494520268703297986764763502707123878638699822332434794456731190126838289742853306431073735111806453183711029561779054984956441321189271313791782751463175058137120347965002781932416859271998527247691869395086127484137138613065938208424754812115389689899406682037631387785939265887180580675593665348809431128460992739413043445172944305739673358374535863326264472740285901439232085127336415049901653686157430495539940563398112536793302444471188870599522617994108685596128272042123755313224065888536910886948146645220386253092969548838412280717067749027251983224436190739073711071552507037031184861857492727498480545565731587705696404765581798550062782197899933963134889344907236839672917370054749520444425276201742962540472138653603343942614280884862988469838483062373407044298994786742614495549318720209212000418078603914454807402181770551773067655471060403546006820354500346342679790005102108960179391988259821820980440918543215474789010084890272376071520639064509069390747268915211596285595585241185224165500961156900834529581242979506309930668656833548179820146178378668435108099472524330793919977263448405603722769132635159226308287518305800180323526372949643594175629519723737547212620812404519948828982785462315049043042974440107845946860811892922470353326902212256416982110442141674137527066906343848501323643968520128169706869754856328985947309034310113874868147885158376876526183858829146821795865865299686527373771384700530557895316346247796726063077837791220662388750208623085004967063623140058324882523503870672417996331551543585471374192946708915126948920438503458301976006998455876808106150048780263399704394717111504561723771572813674648621486497732741671908238857939174245445288878529267412154066758326183538890946038215973309148448362619679316802479236193221886899679499082262086593622354341457833778344276297630709047252290010878284952297854265034479583138528141565401932547583694082992693321848449104743740688808943124093587106965296476733238753936460517359471055935290573477428919559880688789982719416622990773374588413756152547493884991416275136487813083342282991921444196543203544434757862934740483017989238065161085871136904258469289572273907891687021034808927289980802533398483801895178110371011192061807730686376365563671519693968910116144971477006490373665939400479446496786298723966031141219032072342370833008287943754802892695271769262871894527380003011819296151352574758366855289452162015833831377354436657542627060970374885943174408951281254453383367888670516670806366306740575462701655995137527645303418314976650594965450822582298726926424070814640756672920879931213064160384718671437910414126040664255136169458127868186899929103673166562049198457977302177618361060005587414548369276499356617504703096890150081267336426016326041572850172906358824783651438873395835710430619277060289146134784633671796318555345562612576938551596391752967578445608701942215243256280012530299945153894045227975010245497235211525599515561741530854459246957355508868901151626236629292570253273345415088171751892315115904609694756145682501965387738223973900645323571186875067298107798431568641505181775205916232029663382309000544624409363681771735352351795428805042189023213604302020815188232361426717281663149578519402345724122107328217325511395409920667156739338039010836173782967288808745481175372277348973866554440075332917727695589844962988457448140575281162264404158477504740746721656970943513358571756517673289734011060331842592057310224208231989528308040981253919975606541533095768900106845706692007882038146942519097741282600684024286833932464725162783444539215080303037973333869109863717200956730209854470048559469062062676644892769054923105015084811227618816653932184903499242649627599126574526290916285370531479319490686329726837545459081078769534617220958942881984167381692669261710703076446864729342835279074537820664203674977936918032320199504232480893347844671995845681231135323294346005092997877474386604211028527119945012890283022709385526694717837740854816304617926567336129247000866387725545168200627944368754484080253857229029194939726424126134837807657625055405103446645936189546876104481996165609158099917589720418695669310643853092514998254228494276054387639187281867513672626685394242841828084830668375563033724567181760228442714433149125255559591690255636928415944029818177359738587961813700592915882117167651312960203285854768463396202672324803504506272484704886551469784748342389452492575348480550586545744282380133829803466479447082372074760837289572686800420645468309956431517429495896373144679350230092178997221018537738082013653710859652972994305273910626840043428223030985204312253681755264815915271374985965381689466438974940786327252882418813731429898926433818343171861226419031957121894392548114690045250259563524640079078753482611432654440227318853686375089126905120359255849916125129057643482888048578236310183276673327970047535109840089031379056000132434786016791016105330495556955943981145098003833012482752071068688430604980767152843751855059440809163854109204685950065740120201558985668371943897085218041584931693884290814999333118295192311807886318154546104735440454909444603152316498713910632330902076271548025149455471630395218808380699140824778170975500949248176594734603599807214390086302836328851896049978460866832083066973203433465734813142492391948597558304966616632091159660234501051872599426638826898374148059742063081999739438519907412639341735711874428725254509143268148873328490520558577477907626681623179290630745149028195663226620232315707397797237688253821037872129461874795506627669431750576921131197338091921812333008711049866160886694208685144342281850361989876829815582028449298083205611353672567297489292055510969566178043973182914769716678490088353855097141844224929858026054874138544189705066267358712091625721478451980509144408380696971677881412159312072951869806747734017341481230365163752880266314628969189997735141441143639454433951264474599941457322793780808523085061399811329848307667100439373889582398417998663131370448771367447400225177021589975685285491313465944929457869979412267122804005452989364467201855033873055288250603497459601801918687375365020914807935652767954016740062716311307700700649164351878525157488181638712055401065119354115683364303387411000045963001880044327980380090578441319769735400361589943111089055401794538285454002174788313489291431245708843536847060937907417267710166464192135184449370405746497730090986472972746770693552613394853755687043676453305920154681696680400227051811604840115576849027850635001681233389379156172266935429765482781064457464229168298107266858583797563416083747961510382022411431430578250995141935169144521327745853983261059021922863938863266768577175729919026816354767475053735271220118081193377451739836650579262765613561612303478468750999692301079124609732508189556551334215873696803141238287871128343395063443367187095487485927309791673445619289386501161669745332702510587431537004975754585485030121926301468914859545259659929058218710324505603183443882098267409220197097107855132191295744736863739372655180309606570121289015508630632174126426702568370521980975588720403339950266341036124118406277933388791765695411378426111260289794850046681026880858925969128293829985292631093552668523615817356421601438113597307416562176896197074262849035686855153939140458622193354555194549935672809270182197399970681744679194819930777351278943257832774688294969036445189651152613085123713714371439718241867197453701542034034744623580075387640739722929651888083634902994684066941081369475346187108114378183352871876828464914401934822367996660324022407862156242439073829229974910820784155361137261254005391414059108892810791292619604489123008086224470248799342592529554042641398544710104702513311317900549124691398340519476654700259857225459769601306304955807142469557110721610522551315710578967947999267771225214345040804711943230133977797213438432844881524145007608749286282179289155762172886384261421651666297306586790390880947696436737035635873771983192749812767512923180706827292615831673862730485282289679257593935992497337068373800213599237636363440329271143168364143026843898257416471456666249303652821871959352894843174020205910297507292334070276756123552570793871595236617869103315780884891361137221531560130665263552409123258397195962524716384325453918818876186992908467130791832808806736162044623714869289831815926773465631763692900248111947948127306308689357033370877061588879641828065547837616530993778086214603568096556122276033110774444402477390777131491496241125671769979046250338838824640796877759586247770159499370941076038430021884243989304721689018412669703904900295620320659845792233969657157658958387041668063725405584745501260203253289145683344644008681385801225016659984340923210261146721457694145369786449112833700342099414572113203753333048929062027452695638310146299623977895859092511279770731498090480584844806488130668503482692818568477928420260876172071143174733584183215033560953863236851354776723397665160803845063224433545999466692595397199414376395995564746231163111728930797989392968246785563024462389890729998234322751193261548269575786506374100179992636573529567256954668306167418347875888287790885967532142956586569828786327711280789927764485693221019510386640099171036612770437624142297515773131404352067698745899829348157474699930205348831526260633104432609753967368810989238598104660956525231706192464854639469936777771732181281614065831571908928808839093162132652535967364263602556439683649866984466443865833935328522735451281155610182691325864248491891891123336790305190811729734489178847425723910324031748009173087114830755368678095719018447830566806169259370716414506469045695744719051176086771217643761075978351647007167781158801259517080678138642430589146901224145422236630608450596839923973013182226041373499617339293217995403590741518891885971942673718045977444669550773832885999040252992785502347770364868230236031374168171198036758605701477450031772617704358197566269055476195693892061691318650133793359288922890347610526020324029470805074987443347816369275489933596391986283941047947771282613630942643802638745783979073253100164196642616014042140971068169348385238577089040792076546736457832801020621290024985859491540157201431161434184753816652004491958186028958290595708921941522707308087718151263478330498337815684694227534924685098521967989449146335791585835786032463595946461749272285138426394496232035711852884899106355542503174395352341342167812479948161673692705410923194993462118478780222353452679848064412457181076082664296732508351182308667873157733854374159133306927884579772880566809850818275707675856858835804778993357271123807244990256637769269635409938934667936392539107050332018779002695284413032865651610591806992288688284239636414674225748674685721581410434903585820519400685647483850742560441330147074455059228167588467894030423850100705817414752752777796495982712340030526113832402081418348256147869847341376880773066900317899525577642515504409716346557263316485478182194138619621578312731329874277208524802063038805499672889709472656251
g=6
*** a(t,u0,r):
93221991733436899080196399669950800181369176412722574021191613839777497343157\
26190593000772116867701484192002747652658630714746464530641774034984694906293\
63411217777331112139008338740159162504613320450133572525989987287775491669546\
29293656833475184967251886041191449261297275409342532994462997394191583656194\
48114859106517744218732047223919504824342801176437832801835977316955285456132\
53081718231308080778713987794247607466650136893242437435295239358420986419722\
12187931835361024614812522229245018427227432935764531408776249459233546060878\
77476879158931167775799060873360560650298707183911428794362934210352393694055\
11466696402993696627764683662612448971093416919430658263193700710878314249597\
30791104616997605492444264095857813718761990591487208360843948324376079659569\
69858263367141668687347408554706241282175793724168997124957715962006761198976\
18158153856835460597396413255551040362928719951155752528206663947333979624249\
37090670460674873342017959426991020781372214048716287802762579747766510723699\
45065011938480514675059747714486607256604629415331408751725798540455449779220\
33473334663829882599986067916618787647696041193120668074889070732084722730503\
08857095359208577641768103356990418700010534018450309007627896593506295223239\
22075437093940641201743647077230804213415619981391854823782116990659095085121\
44319774993566204222656920059784314391803444407692257708713265232808452010271\
84633840137611469761491399497794431877419515917398645566216455089313793507268\
19958903220275707133005092047926081308013299039433825036844728735178986613596\
46108540260081647733496843300929668069071978584728144488035633108199347076946\
66390270355195839031744569289532346680385071322926809872553968304345577913873\
76186408554862557337952714876914829125734203562958749722554852657040216367149\
85853251589498734271237577695617921246163598094199689750652092761740738973368\
29787651512042021356686257415580132820969919436822109599042035943436401357809\
03754695407637447676556406818224524000860291105588787248830166497744387826650\
49130819366050662164823135367393276250742267058424765529532772083928108444895\
42903128186118710108443787083527991743701689822906416991357284121638430212715\
39127070332614278851008613098219511915035391971557283984420509558073501748589\
55034317798252211385145183627731262906146440880425848261398883035862248474817\
64518629275406671207040434137738714790339139857916121552978985560150572290175\
49099524466117951192621667852665420124713428417227078944378925969743759499055\
86006257216498469096740767572452065595395930107665515447201934522260333757036\
40422808634161268486396380203042713186161931870529328782913402681814345512862\
98572105977816534824187216403861320536755946787131041744476233956678585934639\
08138688226809129294915450022068809309645458771471200697154945618094467906155\
54375600682373550461868618409781031610035113124011782780039975191255848872688\
75204729707888670836444681700871415952914671974274441745058851116670893408040\
88252071063524058378625103202767056673255819692364814360591686246054428798693\
53480177359187935580890627595579903231659213268070205226063989546374233578135\
07783477173161308312139726948831637116925903883361513476853051259996235504368\
89610745190473750399903610726824391614961023599796862720737028843402090318505\
27204526103373702830630372031290339558579866981541924420284155470837582420059\
68812624436360863887320916782545843263131576232942248145760208575591783306427\
49859583408929545734852814954550703706616998316930329626878288059068383109024\
57205632737779656046378116618519976853095554379327518133679389373191872641953\
89122934472731815852847566485733071169201156533712539602154715823801153842493\
15482263067265581569385984783250477628268069109585596422098716444584145958423\
28092715925121021654975861981723793253168652133259664305360028917408865880153\
14249445068759132756403386982550375889818474124179230008179781476894161509498\
67884505482765861748490039841350411546897201043290277420513151595621704892022\
10320641813751504179468248293392983004512641128533074605218097886551170936322\
59102388275100098141237656701901213241965580940237330596571210904217393957127\
60870456156840994383017391725255842939426997489806606896434367088971196633156\
72745518079398555189318226523100668018398962064702075015137107055145994988972\
23603057610354632968302599530752909351432394161146064120873098795732271955456\
79380078015144301172071749588722473722827454067962720349709697884670429314548\
28715949983733819059874997088082688135384670176813379350742383834011235437800\
51263868263540961252181957890956919819709887057495224167414963793262853395061\
18980413765680454401631398464994314173258793118106183553982800129053232781800\
41469892463137015007740036455752912714220226009677397603761833745574826773682\
96829932554207874706032425468428817914154759481657545998855003800825995566565\
17773087136990100819237512982523791333685315545067516486007393583961004081740\
14314169881454057473592383233301821216469964778989788713605814049504123540695\
64012740177062820723728856551847495437751155554856086934117643121125168419527\
07972436946322532632819465009169075103418619276974406345515131237461107462322\
45291225032883122371195269082980689925296895826512229786074827314756014520522\
55377147121223203328316791302616933893184485407343875381335699631267423402924\
84127084304272113345521488006058128041583420455342283355392789058505204552113\
22959175259554090583662407404322549525677426036898372724790708495245602223251\
23844880744044791896240675242786508015271201389402605320641788958039012609827\
62103955615953895760118515272490680940588212834063201116221558117319295699829\
16226585364695008028101473697017440101619041938769303899226568349992861460877\
89200337827592767510724266042945095912289773462358310082304276930701779463064\
85197625788317523373828648202655395704725905634179557900922664737848364053129\
98537448148300232268096333349627556487503186786843518837844857381995833572627\
23027729534499365208674863352392140450747029313104204798621456724714363365999\
12582760727282774323568526448866331366874675045625430243623369154649543938199\
97610797583506837310965481503452098643199900300704770181207607004649054333141\
74678605243392124711529581315935833463055071369892765224579027320829007768393\
98631789756161099027828905766674185138707352657040845043794470281479724065012\
63247595659660889307245240485494787888067690547205464263809115143884012959724\
02353855828931532489087641806914313364540920788261494870090726203684346287263\
17144947466821646325645319892804778466624301163133559579249483690446254549711\
84722725782751674320233365663250725443650433115800540631959225570056092414948\
24238417265900754436064033773735789218856835196262992195463383946432032149294\
16064437973883036655125051451057831726288020511845561283722698551729765410864\
23105357594739372529368557300173987619318606438046351244673021824743591919980\
63306493718033115589098223632932070397277248774388542386336741457205528576772\
42098419199176683427842470292765067905962441197685056495849447633797453423031\
93226908337950640703177991290128781635937817322432960095111609892009161678066\
44910221916470267560266304076603097902259951274608171880703107440672145845987\
76432158092752034710386665371990198012616848900799712651021819494364967510448\
92983400949805544414512118962582728666220404689042451109798318647524604307894\
47025343680789233973844008372426579973951255334410530591098168067934896083652\
69254604359786503222264187515034956314307076556687946347298738153193176154579\
88454030150211229395147433195320764184969840463661297977434154521834130226207\
34585834316034055897841410151320830738770822994061341616311759712020880198312\
90321082361776564518493750910017131608550497898896835417207166591073648981864\
03747268567190823411340485343458951526698765730777434283961734434563163845496\
53516330380561158909716129377816472631038516182509292175052793904176665893098\
79108324208814079012472424932845289985880167171364176284549163283584100958460\
67952419350069510221153938920536600726828110707766075531509508038734002908940\
17730046217602890064917790322773288948789263905508875427282874524203470689442\
94634736750846424170113571638288564562240402866011719134949394993608852082951\
41189506615937079099806241709147154005727694960516296428377397316726167247263\
78704406594909023652589759583746120488567828284730472660912976733282296671200\
55023899798458226966930908087648960918652517715004436399465899312354586114482\
06701905709600636472906375236051886393803168885118772298463098676085483426750\
22671813535893268612215575258963126099653244500771319225582333877838636296900\
55907665119211244691258107248171243195253742770850161248904333564170669256537\
13832253287852778523607809990288513244638830606940910400294964100373466747005\
68141171945645263202943878125504482336076102350835223273940248108426562440135\
10087385444477304339942734077685453652550535688116541253032804332476537948761\
87602599409906460665241167601723367620796425407088484773213968103736384223645\
45014493591552931516499486625640881695752226919104590329898660060415619470927\
19432688761992027175920341898344159680828857740972908937145773269202743833237\
34378373613092763068534879738981182715725793094488910002961701284060559462812\
71515558493081838227405788462974520574541920208934891296039319529793240863246\
77077937021725089941296077241007724310662348713454037344127279167077106178959\
20427926815186064495445559421443358840362686011485272784098219201729697694011\
66800807231191615937500078861092115607916231305318588861721926511313758606263\
24768221189152206170793019716977455375033004940853293275118056196621038014932\
61535989459041938136162239129084188542104000685198855738713757109962659368045\
01868131421422436147318612487777854019379381434564186715050106413353205769782\
89892987415722006025448614263577042994639155554490253041441106251010446918201\
94027969410998152035471890518996702786346254174401006243428141321384223659222\
42618957874808097143162238571114782875044548877823457845029850505782384958636\
86751216592036733736105190350484078846787274271859767919410071119956512203710\
59459766167474812806307679078301924794990165526578869603590802285955023089070\
98953626629790602233782748612355909607860257225844353719263005264504515880070\
43006562484994910371381684472536651482569875445912350901895421537172772312077\
61445151780237893366585932518327501208460964926126554163857695932490249078709\
06558639290692098051896590248967250574471123496337730475937133757223185273670\
07618920064705087228977420295118827628559616118029852380277267511831298386072\
00842668956455918768352972808627680755418630393461628257452619399057582430208\
28850614122039276513542259340438882768457182323183278863398193423991675621830\
99811282976619589879825409922440681588149508667902042493774182151126409015431\
18625484907034143405037509483044748564599754778287183951052662829792814655772\
42998805828392396266253782904764571706988458746435091329500759788682516801599\
33723996240667254654704805722668544165119187399045537013426878905922819297125\
79563675826534421043375855148913831799265729779822410566610209364297776112015\
12536092272229061297568686758814429411002359467368572193881908987371830462868\
86633650517834774583123940365527132988927861173663558218316434409777487814738\
24352462802749370584422553727217584586252024671182458206036257383021357944583\
54876672159259421645217374493762532534518961501401094785021541562538235220769\
57599652001515448223930615955773958103068570279026814836270247013945120441985\
10818809152817733792187273073785569625441920244037294154830495197648165801159\
24703676100139351985166314856857637118040041171598564291085291335852381613121\
42742985707735897306940561821402237693690854859593518274291687200249155462213\
83683408927614291248975774142713169576318346887543643702307279194427552268810\
35460539031952389138512983740883669585226420388794239320300858219752486910228\
78290788325006747807801049375667002600235588626591905773144762172258646256065\
25276365817033395031631800043685628202031469025989093906933904915146500101995\
94938955778601898346664697481704214228278973318882288611363416977751518323664\
73498003897481379694898623849127055950648493686227823855273917941461774564753\
85742655138912645430519998048270501245666435814961607065639394313961984081857\
07305031689384447388886134548497767929381762342840698840211331225709446912748\
77214231126667487764180855126390990379699862041420012466247084236725260997370\
26325020797841358189967374591056744190776659655485153888145637511806720963155\
75100009952774932994903655725526984073620557651271881923405918126519596175863\
67309464360727069678393618798280028482276296497990449017512921569512403520867\
42916907284513652381458304204116820365029485605090891333048246699737830003895\
31685665465846204886463916650243787376137837079095808561876565650639470425007\
48821617117913212299766841403932879460441047706896450499955033157148904514582\
46710976562717517039390862353043460908465943941707584603236358525895381274350\
43665446769945085732647928431941278491266560096549248869884521877616929202226\
65842124379328231222765626929678283732263749844126629091116500399878069825144\
97386740735567071857318350522633613444696294788618964339874450614883316497470\
92343694129714188157364315092163770094612768275066991466381905845527382460999\
18217146362662042663595552289243064697579473826114806556453609946145388263886\
28384568536665009735712609753775386374901648336757751564189188495868565069333\
22063154114890824897719551287519660337277136419142419800151698508682656869844\
38684468513998775369720209485060229164825677248823130561134610082661727068252\
08707086968213423102663987972858080839738158909055833802314742181133825211404\
45929940314437395961290172127692272773774035348164386049742983844504883086576\
79761431868083647893851564935430317852485474318398184021006618368427300672004\
86371585782845852896792516615100862209855620023834436802901545598933469902305\
36468614349211458197457900369629861748651514635143644673778989194839139260766\
43928149736844147386395501370911049280107064105339238878630297769582293855535\
54455111936994863048751395298469054476783760136798992667763264640503547000157\
10767773096838191844598869722400686838807919520125098776774135633917364931135\
46288649558302787211210897039633702787991241193842323488911643814362321861327\
00771474343153269132109509050480991469573872990237803543473609877896388139683\
91349107420191570070631554980058667008912281630092162150445757300012232916910\
66574343733956650536849248815719001283027752381855724931618494281656173980622\
81936269190989288118581278254288406147117188193741451857449466945196748883551\
86721659701688239628726010858157825558850547764605720497640228012138758006349\
66621473268096469519035964803499030352784280014591430717097122208071182293005\
70775704592788199968700672684364849376373048550739508340201345364092539373253\
33173959465296217220775061617914474089698677169288085406362665038962014687834\
53435107061752645508443324546279164325604986436144908344060247632425613781070\
59596236815131770757307336755727172271316850489177276551831644645091713976288\
79209900852465753394925965975331040671443530796340889840768942958841021906118\
89511584544259020867813456258955742366093003591706090964843692081385397284965\
08155614649914106255000264177945834904751143101131120632382040782026484382031\
18306153336045046570361823090760967550015305579206638244944199722503083402554\
57330044846573065466946431420998682853538515048548209189077185047458276296862\
28812170612207550643708284837806757416045546819206445391660517927509464424549\
27468417041281661400003806001173072495333147027906825436434680418438909588907\
50200174926915512797229130074936962134729565466138556718727453775975014451681\
36082870269533601762811218379758009655782693994308407266689982590370209984581\
12392881200003591674514697457140411002354521055793923098244126876446601687084\
86586731812529385050701047631939078861374555880224834401445536566050536348414\
20422644338308373453554170756116443485453902465221215124908882237402098826121\
22941652339446315061236024891953691841387227817194200860433663690890180704555\
27029554289983687861409342832994230008661894816990252927413871918605129405580\
23295706543196575548165854630783976824381888033775312248843806678712673637655\
21318061881813277806186952684529491124552883286461465631814806738615921045799\
09997852141815105225589451134856814422210235561453037170330099725357017477484\
00936059372872593559422209060364983768775871154676835633368930492583268008913\
33656885300898912662425414164162526512149244514484088572244152306275200787641\
17915158357354607146410811635417242812608685376595168521754983291891016840849\
98834668357490553820954444176389542353819721244360622549201420151317404395815\
53483291593464580984709232219666859792184787449098530256345109914322439618281\
15048183801354796718473713762710474900436815931904757819959237471258615501800\
06093175528986111140167507414956321820177918628848710334816365072934241164933\
73237197929085364602475459759051448508193517304026672827742801850444197741309\
11635110488724073991896399673486725606185759223674795283449069407519775467227\
42547949323713654482264819810664122081396835276419455564434657281305680789112\
73822312103608830948124088422798995929568763730459278980210418347514162862640\
87483980840566507126210476540273711024650875874410011586970188764568654453944\
86174051281080613849377564811744993515830946141740962319687059228748979926846\
86628786414280919382861624139475795999550076938969346708560171742635378994473\
08632639594403612083039772458194023660947939298899154669313304822864376506598\
54738218262681451802245055940963504584680984588796183427796963881121868997390\
46467969164223576289687681861638602590619205344013588668660215194719632530646\
22574293857773255250072328197845692849133882765242376109937751752402286180192\
01292919947149603764986499355672753751536957982636840433711629437295731593209\
18312653271328863973029807514123521828566789167625296852391747038649871955039\
22247088795697274074939844605009953175013781758523295734873321855994620545404\
38316057492855117654760074439009677081809125641201605139465902798486821382954\
47722503163942880944715309865764458282511370602647481338583001167087256975055\
43305529349126169332656039724896586490768299168663499270156264013364835882955\
74011646162703411276175917885877387748270143083026229730553302564231386268925\
92598113036769299456726986214365144343793914009068091513542773327021946082081\
10652147314332936062265903894938050431390702252376742312487523712332200787578\
56205423294676894626230420308763084687895487487976969895729609520109856359471\
55748008480859157278262341863054003373205318452509922598342403092589260074785\
27248964353127780205167563307444302349064685310703311461960108459790745262983\
81981869055082073520365312550616960572541789096603089673971042613223707260758\
71445570553679383155080005131960897488703635241120236680139016985832766338491\
23667734066710457603294737089465703710852038024062968299016421569329189710782\
07497240261287809184470784653041819124567038559106856568826505054740913231897\
49737943113633230645217960170408266457314442752353866716494131579888246611846\
12862320460615727533767328794086133747747230703520554386023390982827977518653\
00506575608221242988061250803382073899312867501887859717224986055298990435726\
14389552029183472164730138849071368376725153588568739172827950018847750843563\
15033659354140382759838884198104496623853680295506694379778216683069133180988\
66843712213646127883026049325301208874788414630910615969545735048678246432920\
25527591308699982369798956658173959654205816563659817717403338899448125288568\
48587111310799805138192502138420041497872772803770930560913881305351329760244\
92862559571235135154343605970037522036449304156044126082422281028303714848618\
35992390877204198097458629232799826498441443119128783932857084088068467705851\
17529004776643471239247354644415332539139746168485438189398232026649024695455\
56598239088402297800788133946538699561476957808780247593180465863903132330168\
45503656864773794594484146885504998974296493253681656959882876545218716113185\
23154206406129320960367201516236949791229434471196710153249633834630771008790\
12726778865429376166337426650275290696512965312888844045243074480775024668371\
90312053548175279851826742917233810343521064339108052952468885958342574868994\
50360293968232898775566767455990847915501172255899847867338159714948935329651\
11451651050914222091191628540486526867855150377161680924201570150980678322616\
56616180301104889184269978074183139284792639157623106042878643944782256067501\
87774324211447423131632674551913358019188915044165379759505563124575379448805\
74654975606637269396111266806616629184488380160245137068422570636067424437071\
18873695041961162130621944159505913606056879853098282738941511545595730252184\
11525965786166161902559285288710599844764540871848829106956418999220284814356\
83022052211942096896794607378789478895738340350015852392045017724076853738274\
97473932179796398247391188447025611058993555837358431192262830895494804382664\
38971608922340990374998123974080088303231842825503854818787589026968549364256\
82996711671680425165311417979560694101164659723194042724946936102124358189411\
67976773643504029952236670790283100676288944886470995128039302757045162836461\
84318391147507707943553744159131749470583344206401603703464432609154162463242\
95340227446796200540335199071306998537425495352201312823339436593938140817817\
21195381006441357033429074045581000768739209113875396939430789982313131970598\
22420021285074789123019904977766501469093574594502137415873714454651087059048\
21534531458641198101928550352237991413987085197491499791927401718678216190229\
71846651282261971980897018564832385774825444574401957031349622840734037915199\
04805580078684399874372217264694295066662196606799842853953485821792777232003\
96591697412484705196620472269388242470364828093108659374695809209618568454243\
50320959324367748936480973945743124309951238220602658877372388222459098342911\
67222167373786341975215021465633611095341122457423708817546280244980745337850\
52098943474230922384143901164595594995810806811688529841980240004945744111781\
26825123479497528561067064892695588195007726107442008238116072868085723958772\
85962780741190005798896832280911332168720532425884143236140382569779283682358\
66378330956518168916295249359699644315895003922686871557245143961735219274913\
07323041957277760450597053705923593484374559021526952578967138961359020533624\
94571763131879760886663462787841337763849345232460934060357713492852997260749\
12035738572214881859888345274451489692075464723173274514087538268121134373682\
34245149466775321872250534385676334055801179473149129008797161940115723278735\
23643137139815653840552748022454578154941859114024242714887853737888754194381\
17232920059402826068530935756556469230624367531890137420848390248339230724433\
00210920166930569436251485608926876518599891671149098349947561591689184667202\
94505672291494037970394627295214588742635167638756999948108243312926990394615\
18048887649083877697320302531795487594047587102157898387554818553368818356830\
16106486320495605469953
1
*** a(t,u0+1l^(t-1),r):
94074395647873977957903931171504797523010956080669330724627281131745537634740\
57851521116323649108387033922769190066772716282379225220448141046110905749160\
82444903060415602773695863034541332735328820470874611011265041203125059756300\
24906483288311616417492759479639583876321606273434609356008378085244042027115\
62769275939578172470108649484487347345596143498084396526541044441216721981500\
32619456303248553670289926169756105955538874637070921900622128496361660443510\
10470614503847285022761763912139195653079055348311006758316181914804260114635\
77104681046502441961612684871371338844108587299475041193978887889748799621432\
17722834109089233338409248517382803866090946084944986809241190908567143390699\
19518205324218697479490720376036064717021659665889834538707026821107698010571\
58277582483549447869027226920543122956410152602777358694678858834477313462640\
96794678954445759904604526759965887781043612652288515020152028289329552172767\
02932729791570487312726353070961844745291660727465979544932478648203278485927\
79142913128275432099353727120022228769341662602005262032082393539578483817101\
81742833152027828326170479177701752455779712392725262712315321586659063503599\
95804250844621124902000396903895567998181868909724584484838126736921564755621\
29176708754816241412233406111187195606888248260523451168804231111105686977005\
34666838605311198608732752246532134390398488371519867712699837067854913333724\
04110957545353553026143440557209011055018530609910187628750437637927635343161\
75752376150801918918926169365072537579325141341540036238345387102666076266754\
86596648275759867288832225908003837935040217790407287953844770235539490732679\
34329001006822733652982466431830647439723588184566207136559033683687058676178\
50947880287284409483187527731150958070358539588887715846368737427802845111986\
64028135851746852373468345238969373560135168816590543106643092778681011732060\
77607821226615971676655957192447449081178289439985071532200358799112045925503\
05202161450433800065951353181483434860386029428250031355012320971123596692895\
84077152710212388917784942922706099225603584546074534790401317797081233293518\
74550621461303502968953248145804640047260059389034405841652321632310103306929\
74646935481125298857127561347662915598381517750183327312623855863259543742965\
68089494436473968928982753885341440704955759957470473640347667502524330547322\
21218300864791104609598576095772900877366347288038380353546540706585864306128\
88284973152009304029794434557885137183210392434342206017020794785759704099629\
10566580432941929745173143668293273177731221239157053826187155868681666817158\
93161504307457838688682631393594225941812622851889114831634971617392032795191\
74120146847106627827567149388435281073667264671302647279961885306240900519245\
09127487537278705705758400936651317125444378178359133538109812120005556141373\
92362409998671230474404407938050018598988052645511474891910664906221613076844\
67579835299565125848249246537703989166116718018926992750209015175094318036044\
58136337714977728072860245459816464506510860437681533361395101498512116842571\
86305016886163053861347649128041564857218856947163116495795247971154047850254\
35119818194694786609258211567648884006606855622943372702327185560794206070078\
00488316426629370727749778405955786717009711263635404275124482972477254901633\
74917950697835141509879693803812528864601794277299996879654999785201018335787\
58219888666452276607820110535337201763459462632412210514507808155252223552787\
18478415842427654631846481591707858935854560230052718343333534250797187942107\
92225800618174981247134691250942021529225272665422782223014778635955888102520\
38566286325765938857320819379617579716882962620055713280977410648457689746289\
85033638706284635099945623879356674846814161179581807195700616594950252031193\
56861643502158703482244967951631492110845173474461539872574459772015264487536\
08893454957168401634475238401343438346001352939944792377331882554405246943085\
11730498467230054998060605459184870837849710778515708053618425633486907513644\
91545518837817394907626312076624340288843180656724150100361405514773999598250\
72776641201971337608863271185459744701368424988734928798202369108661609529470\
42141923336994985187849637202377883066055174524210491082519801867008339744515\
60027480422601700747990296757310233561376841185825701636223148765542176156784\
94974324138795115896524817814076502038768849968105836943258472101428909521134\
28734343067651855048125605985626835494191628627187649629715355970066418277524\
20665971139029805767820653753061000329473806811846585645720078116782742993757\
12580495487895866134787112950641480183813634985701747414166056562777310076146\
53734183135108953984688709672903655366862988233899340677086549756168432749048\
79754322070031867181543145683527877003377684435368545877777943613572601582087\
38446831355617921773169879067890760555098817964033467034588507576228394528520\
47029532655283443386994464472804557505481274373825407326694077980821827892961\
37470824801400852679086577926208155408806764124433585617886498966000004969579\
80641285598465722658858546844507780100939237608973640513731353906106362810728\
07546582255058648891307423542087495574023444557146242147510697691003977106616\
34067786525286874944830471044670455169834107675299955910469526483885121885215\
61120412805623415495076130208958402116646687684551508489560714341112761439028\
06093333620437527515763164122489249744374291299073592679506937586887213903795\
06294629064919921835882096915085266104881459026429446789605918631112353365774\
73273221299476622911085768698871837681246249781159403873033359763141613722635\
68739985135301770118689840017293172620011712702038841359179527476663029908223\
27763154308179334784800655917023418356912316636463786312270202807058465347885\
08802335929091953248561312532115832450141134649462168279233077467890241286916\
65029025525367808292458835343328055183322734364001648621546230250829521164172\
73669544515408546943864462748501956422135385502267690664292316593302528642701\
12847600710625294566360169667335044478143718691694517560703614683128210412571\
02140874083891344994856351711491044288766297178212196438702219579172523974210\
11720289498235495008738233204647421240934895232797665004144667417825396475838\
80348983179948494929174490205773983228718916577763771390389808119273828288304\
48827092904388673499405063674765137787523463113589015696730246817719355789630\
37059502186889708743969843681954008724949440003580576572123246703803151897842\
86332153762529410176020280260676622131797737187821658164829710400060512379665\
41158741666435144338598020240951788078538571581084074255368971903742105588819\
76935485536376170095397594276962909965579073817607528119034496959308475637362\
56546499219288043129993131339414171331414960871374291375970530433057761454067\
42395866750036580631190201547451544235838451289593110056890570275810419957430\
73690693366594844763635435213974414771282450719690997847907770985235844215175\
80094832397084124958574599742626378605398653376648121743152788137196601572902\
50962162018121773633749591800013958801195680477131885773866358626292691983009\
78036131938713281640613534020129959190381139010335505864892347804571173962737\
04838744311383960779853111512050009021898238443370175114857499944285939365776\
51362127950624247829101755412798088435009854169219327646168319921994239865074\
81364795305955054795692196525831614797000474889856638110802293298499476001482\
86524328535725793885491792322631644296240086430568897869986014991249346505032\
72547871731322373160289878340193214435219277589209615017141037504552382254081\
44624432753413493338078955859617130274774219719771251658025821770163453112731\
27005156159322812851188255963178294693988178815287172670159996916370198304864\
39276636730836865607191532506035575870972821653583340146707813999637082181199\
45261167116018004672790813970872125647059269823078807332277261515843458776752\
11445407383209681559763409031312716354181844260653599917301821944863235572919\
31203246541563002428214068053594498788743576846247805494133569597897837542453\
25431618529496579724423010681239761664479905568768092847258971537010041173277\
95115773988503664620789856568451182696450678621186845194282136053518714394832\
69897398516648012421045615934233015277273357505684311745493404424140603847633\
42813018314004666689247529039820985006611323093987351507938620401085259383356\
80587821784056155207185343420338977783143261461066329019408440360934919500280\
52202006945410047828640168261351486745838866588541467821239901716706955563575\
41925281406030899981802443505043217025832956796786524996121530999806963325082\
93868313909039424850565011109211334235227796196123342925899379324768166637104\
96984127560035287660172354280365660215326719637416538450681513671573726082656\
76302872395223003431138720971080843789685403455383429115509631270036067024825\
35098406269337780156586756479104273945134154824533633461815013469351493601266\
84327585976388568136899816434173018066663632855672054099070510772756872044718\
96716172638093469033751269716119840641435461715881480062079598734776367786787\
67786862194634462893624585838344164903277808378880276525766395106687083988117\
71730078268543907723663586919858528555715904652985130049621752908405761441022\
55640353754193361899585489611906197686526278318129290726180802459559035068873\
34679873658022736166309748290981768892347374175932633444215905161403985376543\
29154293885597887937434279111041876403278546415738321974871585127873322444934\
72485040027960001909784629374590388721696010654981813100494794772152828761870\
46131487929066185991791434528151145758944559272366389757381894251649960887783\
52675495032112035154898359049385395532244445551285035773893034266581828886224\
60103650210537749706817089195933669900344353143667008201827515487526740210146\
84345728633089640467867660482262938303845859569044823501305759921704731342075\
17813870924926446645797687211955552947208590892062483119126768901684690406232\
04945930893559232394898483034132998489297051178489460997108697892070197441642\
58137501961776417233415592373510678645306801610704636595067529936841076757926\
14892748913327177685479385773472711321695553587728809853835267115234585050128\
56345931942904757063056959601877420366681679924577512634047576039193182069935\
31279885892407141406327728026101474866119993576205357784858926343398572135000\
41737295807800350117088416417007061429625792844004650037324224227870112707283\
64417634464845222399863110621155100970134340332766115340750825321731639552412\
97225426516126522888613849178924557105077260120161267496082859834803779652731\
06607954246510370653348784902971119485512364062583741304785205951257852236651\
22047381640180785856010398162655032782276157354665350544095993308774650931232\
63694634700046285691970326549703078703995859800785120981018625782814542148713\
90832001274826419047471361301615118410651291373926084445088825545691987152729\
39327796074097631000594793443405091236429012718903276239881905798311285945226\
70823400062899724910417366954600324232987521960242893494608414283840877304357\
10341588891246921987374591976159278982921607233949527792435769735486535849302\
34073401873161086572450779842711048881387029054617129200220111528061097423097\
55792864520769809156482448649377154866963312047701950659495126775286286103011\
47442437014672831541074367085411420987995364476165885018317665314605045891182\
23411379752732947539059833935862134403748925977402746685060695314204429380485\
80897988363541926747542720395201757686538669378803764812149751834514894063187\
25291751895128640186077944946225756556213835676424400009336724750564735009617\
55722389286384645738749251464318937261252278617008541233552968553570135729515\
64912936646358415054024859714235387748379559420050421487429379619056351852310\
40141300622769226376247582752437503375013048877428537975885376775646279909499\
25013847413236699564635569251250031476018680898984192397839598455556981258799\
47671732655685952131466967798364733895648274606813139264210508627414396599349\
74434760620580375593242289228644838866738158431157584047047166481398168374782\
39140073235144257330341650251898879997727517371197639237753749432242602762945\
20578464102429513377265954067156206212078697929445634558765742486276262048985\
02765234190808308353787971199368450477213026878703722494017070973345464938995\
16451856474347424399543871679634570666865380780850699067070843472277513445864\
07870580607574995120621585487843965308619667069167588023288907820458244847944\
31369972225913823895025401598868380981675505002729754891125486503228983250879\
05202473190839076344655355572354852408647435429558584222949961711831553823167\
98147474715435385416303439776217588250519831245755664717385523362921687246465\
91781953228530891595652413317632547445954633373699422366800238391843772131615\
17789796711055339975968729263339833685075474251521481361862486694498525041337\
41867329904852279910363420460013265066193960277657781873747423690670255275111\
46358639385824305679066455082605582431401024036718446306687789071304048279886\
21369181668444776131189116289771206602558317493959274903016574605517034802212\
32759644537583818852397826364402919441727019083300738261047223241418912761016\
76086732332921423694461738231612166625908721787838510155125046953825417097029\
09249794890256380078790089388592856792902162820767599924029578592243014320806\
06903777783435598024139882395583388940033167652478244089931532582269528102787\
20461858424166018116047381944423175846102644409728491404434482522544057649507\
85418841399427532684251960300152384920308064073835336989963154475465035739127\
62248270237304622964115989412343198378598872496125434445040866159219239767241\
13518657336653793265868939580102342648460824754838969660197353815753397058069\
85345306383550370446079868162136084903941915973062163122202906905982097927385\
71370696210911885866173124657538170529810206909951425323680783364280073206237\
93208959507775185821393017316386039794611276660461675312969272401721315890119\
62140569526496147478558699227541518472788630680743978619054427562015987083456\
95156191039021371780310798876750334299969192657576379579358015696205083177531\
55219263325460344910294379604560277494638383893501110555824756020176978171754\
07405241805080435362580377300366942755457593355007462259904075871630345850532\
60907794297224908478256880999995373085879313630450432182048047098566650894761\
80543990493582363819127206156371833071173205992788512647995623932365634862552\
77420257566573623213949246872222712921082861022567492520180351115350137324668\
55442906407408616846007238358928696383058611719810378096958561398349834381653\
82228805729861491065448867882196897387860092594823649265989070704846712562324\
27490133664057353097221672319788965139318592242063277269279844448436286903268\
46783121261720301670218933650709559624642198658546421183819814469440109908319\
61328735284679230254455246277180235119102340762854527756073072618951301166840\
34016380195881026402329689641578493053131239352117841334168273709067616624380\
33643546792077811891954218457313525806229587766845998074251267961180287473841\
33391704050679727055070819616943396085855738598071420390431538342281542086633\
16999028672959243307872906750999823056840113461231266611740329675096708867177\
55079650569321217474181315622653269638514086772034779939063588322554447709084\
23829645583317083402764368992828155637935915511497252228861381701414690194470\
16542739970902514541621214224460717850679873420426583913309889866483916907552\
66520091562725425217306112412455373737089427242856906757574612188793635287365\
96175124225885038634142117826344472971068792409756879431038821818465791707723\
04054842163940121763476191016706071074878880996273170993745526819614704747633\
26638951195441344089446899821632676649488312960830329243417873672472848080576\
64790533966147491717237043982521589386169320428838078018732442962621502530624\
41566587287792013749004837167935348064937814222020287964889142863432614232154\
18491236722198138231804524283431802956657014598282479336050182899423253905337\
51218863192361324564880358956919402940738745501739774699380616285274606090585\
90517946988118341955623244636679436734281826760414426568278788891276930984963\
56817261795584228166534109907590841143345049517933299953920588296542543121637\
65431320788063339205113002659397336018716159856879606861080997929498443140793\
35229416245586569173294553218430380602493443119703432310969560521992673147226\
45785641832519799880890241528693933686789027688914562990044202311454470614796\
43173227348431868448766079532598647305538841206653355880948246938140830604875\
79996987596564695412417757106635985282871078621594080181969976407311793319053\
02626316504814031564575604983618709215086602527500983812721862759616038035075\
96965089148652113944923296197337101225691557811460128499925643986995589729669\
06554686106395288727047959459797925534112337149338151101189130560016067278902\
79242490435965088375259358200062816116136601798175906675979188226090973978880\
56249788142015563770762334586808409417398416077583022438429355187122160614451\
59931101489766532771540610142773877547544466513235523147520421611423249188885\
74488743379808505924692608601403539891061454702484107076375529049409190405610\
36346653477399023961897114882471226006574822691222943868750764971512059365930\
25314389425592997956333741687569612806995642581523872863860078087701659582695\
64771643303226201804673851492334148843305468968227402063154985763825597435782\
22947259135866782752468427697333570393953585462621574452686458154768367836316\
75989441608671542155564724589740999275327322207874919581130581798587914905396\
58825724610920229535157116962031268780925846553540138739976765166716001745045\
99069014520038225327356844359308017227257521453751931644676934376523153016633\
94557104713961165825374478730116121833584966991520005553903170533401453834440\
58530436047686967261580087930198889064847643630617204192646301950448573476479\
23362587484070433810131177416612361694803436140485656356994539174909705255821\
36633087959966433059595685966572504617095483782976828168350721643289291898716\
49901547025264539370954435845507859933399901953031679450377041483724808440081\
14387336490421023048193658645454765714436185415500649228708406261992908846318\
30520111218891199362326459159565875292864736931353905768338824602961763224361\
37601927548650588085523180529541190652509396435256893054895896439604264312316\
95405579908428237381416818142996222776220045877603897019093686211325777856947\
85411586401930125759997975322905360537323319786196045630001420875292521139215\
35672576248244330457578188914579621972872661352459404071023214313387067783579\
77000587564089928827590031029471981067089204101733470629559313205961173529609\
62122513615742103139022219663207302419871256700252736037752074777567219967081\
02309295341448891883466735678925652614356821780005857052691336121698555054687\
71471523461926122335056876022641216169380322499745486379733642286106371362645\
35100572762152649421216533197380706679190134632814755498088816070202477651339\
21807915754087091562981817315212410267070833900847853141885924040566066778826\
56801852998326263948794522715387667751433394980226470087286729663479331927588\
89361304802330341105525795984033888958623761272448648274775874593894820169180\
01813684904364706569654699623338017854679745221411133993203554229413409299069\
99181094795667076663336273612652174870960214525414757293958766960227069582414\
58699071312037064827519832481550987293238421568821165167673427324300061836219\
06790454001187643564407638040542511395963704452637115008988471590092410244460\
23649927228534018844924692781794562677770879367202931817997302621152059585802\
36365973921335327722355464572664727825430702711492508551145903864584697564060\
83948874354747945633363203144657678321035628685189541736431964608420635162362\
54517666775819587230062924019984979533181667650688204240190733087860776665783\
32780671088511599399312666373753575853906446588061154666717081602959858542163\
49870958042332416035174377297272642867088871111074267410214879536920299081382\
64904581711425747368617031203923702163354656565703509527788407049336588512288\
49301963635345294705034741987612619507591875959982726997606887413780883332356\
19652069354809132699670618719038294891767201005793459309474490545216559735167\
80639406963458849248450359634839282665463452575255865441433961326052997510117\
38528935613159819339928209437601166172540930914253579942581124205869393139986\
27629952624675635694195898505005690571101057446115691009390879096781285029891\
37770072217318985131785582453510298727696112318090120790480902654985874887943\
85122447527688998851792715750748664686264465966645287316692191324431041964801\
75504607552403437630676436726565528754562147911350333113927409600137704792973\
63223632246631065404656747220301593213046835298102054054895888306928105279177\
20391637893979754818685850293626423798810385298867494930228595803978265392023\
62687170225220989880777257032119849640692478920749222980112215308689290545429\
35654632139988130132757250490851760774350916557293830869364166803868184343000\
15950765906315632279890817421322051021967036728943678141265711984230507429979\
89969537544698942204765505215867906754462324843352564810812200089052944738615\
60192463201763892198875912306345159767351169734132734621785646781994861951959\
92650048187381576185110608002648946499429673236872458743213283813781355645840\
21549296095772146601841494878972306085631570317685609381080393638447903311275\
70874918414858152488341018627752239282866317428571526929348147288040858878118\
82413163857365409356580990584012216312913176523335323165032482148828680758794\
75919528297439573930659098829040178664380216013503517775950938519142262853122\
39748882660083785532291076178726959919766915675582373086343050164543989766986\
31207748288271333745420831361277574045370175752082028883956663081026894808760\
49727210853421474634088928127769340258219525946237718899466701686326784729053\
73594326031191073522433808611254259526955865902456366770323800322241422742853\
54499019666464199591602039347495699384058937078166178288346394331236028348671\
33241599850193222950031506542088240159834416624947321593624338571957893090851\
84545063334810157238496289326084126242513817675238888199917858867337177755736\
10347562242490723004447793860198713487044322085943370929479643695764034373817\
50594929263599334724135841047159138876757588939679632586095521580927738059809\
02043903424609033283342272975084253742998110029113341553345323723783915536478\
31906312370085666720184898356338626932249821082412187922273985677096056691391\
91263651650985204644243410805479004563616554158049642918425691354189402267515\
11562859885371595774238939172435065706827186294436886075872206301183323918993\
70915533355501967230178263643544562332651383353227227980134888992102291878346\
10451879844277008107158893386709118490226626667001697935727144301995418171558\
25189333738766586668687478054247595910307079770927207527742189890105525845368\
86384675770669186074145100588910684659998322679729531861105524323760453948014\
68375774798548388441902995452400023352934554022256862341509841872244946123012\
78079705870219253612684187478296351399467243153325850321698593002405125801382\
23533956447205176662133705131836842842205960716558344673725311491097045291098\
76602888107299804688714
0
result=O: not congruent.

code version 3.3a
start=Sat 20 Apr 2024 05:31:16
end  =Mon 22 Apr 2024 20:14:03
elapsed(sec)=225767.535444