n74-L5-f28714-r2-t28712-ver3.3a.txt
p=248293997050414297037366638392754852790919571716768873275759802807973730973253896458657293076398448392903885595613043779103959352614450194890239541826185898637772023696711057809471030709438751922551843601972234759434390562076479886364206975990066461182273427485366995297786948028423403783973907817515991405832362652510225496326564666905538383607087102401299958630840481556889431913270091374337951312104586475997891210712787843846040703553252350511672926135632321781565531148923399218044198264646304088992974817596391778347428524604826033673390355543132644889110896847480035370985475124692635844905129268247914590993290794257709968168571101920046547342886114666207255704233841338662332307622467510986746476561531808145677936060585742461745920455641470513733805035568494438625843388837973940255583110510740259122864598981647035887855592162859769409176395271013224453174038344211273571300629049169872851609502271346973292124713771099412675369539019775430074684974351153666925823108521434818404484653959153674002443030654154450729452017216289841462304653336717387333490833355507173944039020730916376415612064011914084336593756722955700819880449925506684921330385006295395247455228704315278548039157982931601035620885884928348711854562185220786072867204008472364968207341494033726293111987098108016969966713431882722137990591945959831913839785333008453990506626329968652843543992727595398524253872693280704564765221520867940822088625004512251579961619018638428041597699631699840805890360179660770645833928471500480251563271292492347104389622041636407193774491861019587081829257291833743022102067808750501060804456338773198847359776066554943313753720243277366470016509082439860873682891138374058703161500878643235810812617994419320147746342570036531593452207535674538218199920497612381876887024726749831372866938228638990478841142199100532793280174928093144511921295339804737014787811180099796178563689798698166981463643275111814441770952092749129638981743769135688952100765424997816386223598947588679442287288271369070187903236846339602186401729828580646851328769729909872171591806826443019858085252506395077864145895389274969278561696587186449280448644992715416795843027831990334534618507948767280215932489576232764518707741956296718009257407465377661764627885195084577678745381253839316540819438945002280991365078416806665757603090710150372165522559885666486038485989958148506321697782668425674598811575545260271491829539721429989458790774079403623180290510479736152429623354108202854581873200021977040879091778233330236431704843039011202390936066962046377468122438050946521677346270728916208356117882641844869268140452493218661628939514727839529641348536197502002193841191982567749857848814258016342619942458282485463747040877526861052214511125406510975822094216734026367283536403277789648256251219329294952176828460880415342888591179674172987673672367279714864736055765256230571895228304904762172704871982618153237780425001616029460661591128248320238393344375238819006317657457162811240463289757920083358315320411407665179518273367225771609656681519912716451847298444740295143739118771320525847007928342522130929834983706328815599254311856393763761788335423858635037120191207457340087738062974996583371408779022785605523373176552002274089053453151002040311661769734939469358164967099232229201206080230213546767715577375343827696366993192344293758801084130171629239832646887500724817796721194681546022722990014611595964493764170897222773497166304754211530977615354049785453544623922190387370418062974259591325613604851599290596795446219127350638896083288497968396970362572667323444312510723397474574616167805040558085854482975301042020965023185812520682589061843279362539457721538108506732402937720482089302026801487220945752099958604830104621741279612205511892242016888530404980517660007625677704871870994040708002415745624442803865004868631238397738271108854380558500176696299112913923277962547042564668165461272600034666199019888607154794224812735367883214312732082993932660708627772922585149879025049844838437355452336419307369209201269560382105216640741538490126403401221963338629185356986872514211930131439582986717376782084049047510986145421354964293385482744686548703130013096914918864515766631592384221094113825729403130250779626871722928125258850390469783903579614606813281351708965977686071804322508584138651081509633585192321759570048068744009241825672085640678303201554587077356722411283742922481587407204109509688911023192139187596850198812822791800534920220814861816822624179211723546143548956407422917139183233283341526256978405881246581512899609629330449181746399989805265861248619891423306677119344101561967341713465153429345256561236312024112490238093724652755983347833794722887955411834404240178083643855293727150761808061936781913060100066018032189214774677544178721607079772524174542588365890269522282761557924057302763577347393502284722330984035275695678053127000674138392969742393353313035627588654843758011679161300303900212138761253864768079522459385526591137438253455218930666788853971893702984952249271508188526607419741318497074569331659796306708705572038305664417616302508026728193119942610104302803638119066000125721518725789994812819681448649967503102973920903212518285346995773274014045180867190371120962556500152709850458117924614727395734512454378936125392543539171489831947911611165312726494238513102953336636540689972245410245669007083490850750292069022590931077812799553299612310204375881968610082936126858239752859639796053743014329912822260751708500876086526836839082232612034046532978827802524876701635795434187778326455307940178991859363799086392953444513422266650968685004729111888159302527593550987653761482180575338245605535902858951715920297089930520668970968848456670498271297142376531244154336764430202234565170686308790354776486323309071526615053077947587487714926107563151993809338294198739942007539481091637315419385438835443249042331191930504054219883604548201521881484325501031816583156749339619895545191391604393375422987307170995003471462913405761084737684459916056967923910563540107881633960385330918545560456818614231901473981346794670985598640100943067753738954587014591758946449757927578718521206280755977283197247644290190917579444335177872734510471230799637491663678344322832514153828360457578310648177494631315243908865219614482143286900453308915537750174009017643887614292419507349239285321765410678603824286866020643378289299185651602650736073704974603216689045489121006676866356073857009325260735561446334270496775642425210915121229443550113778892819508339113437423417947266347563160614697499743512962215436790339311597424969923749785053933151713916711829804271320571651171428450862474983870402717715765767899008982407701141171053627293670261023511671613419753245381856869228102184975219023874149932521466949838910893256386758009537079061008761755543247708380011381140441229861635948810389404978781012863731914754702308562710853927369717278672105480978773263705083852187011177768149413817263577272915910003301718698357086875304797934233546105052078004054279421580581375454781435791042483789761625301501533781664964760085576012225079632023960726352587869412654806341171216976434746453876986493880619702772605813752247088967850135362525541083425506158056397918071585187882692837016734513268062696098455414439870203068022206370246787002230614587046071818698605859901185266248940966506343700742272956702682024924591801055536479805935546700910956379802606526385485269389871095057076970163196798201849218431927158741311272712042499672374644772274986505198926047625417075327000834235350814650513910080592097316089978495762448612793358475736528388203812639681246798372113487447633848832224283782643758198989823752668260106347741818248047174999179992832847387698302357105085303311477808186578839032924402363546005279853402339111678830586581992169135044831846831873339630360180192661857023433274409155900785008872794074755885050845752844124010952568296981573162032117990037593111415836703160611186425262501869381012070137025370596162631624395939268664173091936107935733274720793116740935110960664923932005717961743413154643182222223066110771319409679669170520396138565393540481139387794365948121988238309377943029429669505673656908061399717290952497033356312492113030317560381895235588445131276172844552657090202910571104839138385160677663522422388082162847328018825892546168144820665497856599403906531224877958850270938517238302679573563074266035479912802647915300501252865145089014526724487020381168179836051601533753128182601820231364959873494344496982581473510846033034197683850591993239088613003355772768301793378519286991998358616669134831309795375246069792870678713994584325307147447886417168067291463441552897452258321375511476548623571106980465054200395023036257528844866006585176546010975910351300888813904706743647726458963924499182022264426536607557339823125586664085584876403483066734529662827064810145573370290965529362121196682174457513569578596961186740733789368205340420210122276153657562863936843522349188318912428081964510438254437243611872683975417303522624119780812909454563686526039507687434406333439547585657667178405880978406739270371421849743666442094322991737083182607403064855475724497278492996958016848786563518023218473180136649450002516742041876152975477620134556083825792915937517592510801188480749525619259152335415648020928982891122617938695642217134003096475367456499623753779915657071315804876562351216178348204931587074613079360341317235183881694004506751620859216888660632979626836237767139174658835715810097324585028506600412649260639855950593552317942462225605504099780439055668592366385131851646517966214341591210304623312550250682686243083611201207369860819280916855004388729844817829675696676737653094949973231051784985157900542076780146592216600461526337309802655199363947120118631492310675992500927593740239439578181972122747536737970963891722502441257950006754990827758338734625075214359485273302961524101881975674022300208676586571688573578182915135656346384380533524464105914150063034732633621464864550298835868873899370381056184177471933887085412784135724278983664682288163246677141306473515318562573673372944539853270441239068685474817138028442482096030169168519467415586855901784349821392981645998609307990948588083294134960804434233405885446654580329661556763014320536387983510947292146059355540367803029345053288503147486785951626667038846174500646790016780109165674361094383485508439313440116776365243331953692839399169704081542234343881934311694322044194288516740248165487505981285859035115449040978227332690977640441662941991056668934961106346815229324743566765643969684455049865570846906510352404393983320628122670664620338951935386043836003276950644259832418490513469668272583593467928065973481164216854511137803338504996862427689414708334145590887352575804458255545644523607857627431315165673013420413924706551864881320398137604925132886631391839187068117163297411589304415664665314214148587528341361258006176346232474630727958397462635324985420996774344509639426911977139458075959064689067940763701926477169661022099973728275403751915589042970296260267648485811805995137792852749028987933631288597134008773411187815176458773928829589857765652233949600675835092647650814919533960158831219958674711998388338918446970675531902326236320043864274373953753101641967406127406793954938729417285762298504375638431630724765020263554686590458615895471082806746523795399466057526836476015207891050278402751278794317506215043368482591569508491518713069626094918095633218202294238538664971447011113249116726821532459380115525259229724411175459123904256570261695863710006183585967433028178209992610924678206139971139086735748703294633259459122859647436458925439351741830198473225982994981067669216366165008387864098593667154175637867092165334912006578276366269034488753055059779498451721339687732542012271794632663985791014993656019292447240840719439809310821978895642573443991609117428075521428685305439590795022208538225883529374807756475390370654338225959120189237978787897440727125528580365554200962598913664182479890666576533155218474382208007570716172094916864122757499090964914056450148911245584140902341710522761620820594734606539707106680217256982104052466327030882824528943837780206914318771807809881625342379774914133323794195508954649312671256372947630569024003137513782757886543152142558399872314350988520024159430085489774421035693991650578887259425146023194415114449655792436393553292407161614055788770814493918896222268186317437982962238090458420678063870598995148572696535910580045073452202461385403815651140271013326719919131568364255344933259057576810869175635290149592742257259695668663271830076141917463484278156820293777714507291020458446136948772004560709822819987960043405274900127159510362500489218960948978834180290722222221068966426080484077669490540559048417031657346837098293623174328482941307203499650884408219582705051542488008594011391712989616925285120223209897442716620552586737890840350192068913209214959593884488600156537898324689017098638463037727281914551265257293630330685365119071443159785394859309522326616101247868197138120410626804446426799625841237491229640073909928436789327166353470909533354097175332786798765071155814812943042246825886707280539244566336227075105020572146668810399256374525478589732121822519373951404126193683674329592292274944092256997669762216322627045169899656761906935052679363124955273731760098347069873669293381454496247430756556591692667978298100714492959148974196146139391108252693041655077514165767644406075470803559237741261272182135614170565643605144773715914619001539116203200800462522438729010506149755474501372637510892061136998602490842054821638241755108571649872217412430683973928639539110283441393977107961355684699439605581649412251727293268052965085535890190987006048069596741412869111950358913841851444265605834758788777012077677057130897059483285444407248199236371616478921536568234493517201984590963044125801467708074140012352941962766283504329670348973834772480252825010530263267343571018917056475773023119465302526268618334605200100955629635133443115064758462552613654720081211615894210790067516282736677909017553050699891461503011027572565159397519451377286859119291873994817008846697156408523809869469536228089731132219750246471125047755356186156687377843194875919172559168370681094605044480792244552550893800087688719197717168989727237166795771421660306960228281334590573565969744257350817608577628823128626026760704871657009258777493489488355072102649745391307805574773916196183673706852923207052171137099626795806450887346605221080890146537973328157957716795564287499377684757161805088290315407792845360318938424785154554497512893693527589893188196982971452438816916544693126874074451528499450760006930804184547663769854460797919289802791305362050906360838736398774431676912363790114590413002540980678431903731723491584553423308164379111959483199350827396814634246095767599053129310147495515734392849643886949492226672432650527017325747309678821166733493370640113376288838379843126146100695857594803319353811252564051825942734083737546385159741655410463020815894992712120865756248448503145776916287541259739957790861680163737969603056760935463531967132355379216177672059921012947593856443927959004879541274970445441734579828360631885825214911045879143209578318204189353087866527237282785187838473936594720539986398745522521216819110292040549201371936109455673379312563777468107653477774595924756083522087646428900046394241122122744195975996005631403328265880462324873389795866019129320959419478435820337555989470757197939462950757006231152191843109981665087280000012593806858392106868400549279730898425743573469048243672816219075681001485097800339297496017330304926293697582137473240444133080357060806268992926133816596849335804699331648019825041686599832884425767638404880946358988118937439435922139153916798418846264839482862866656280300839201029308614303993434356827759578306355769653647701224224973815655731138472793376009051317005385099499919698990379115328334416054205893007754201589351412671001087750360104674610806773550867479579243077092813386446271974625589596397860152011245843350894613347690911814381716149609371641711458303590181009400306003064635443866245735607944582538687528853331673856960678062301649840294604566585113835134230612778391076886787617027511372573748062647664765929275936698580695233876690934919595218978205135718558602575045725087242546250688634560432905082430097878527426087639442323633859282464054608381819043875341990244811755495285015893223425142121651854177921248161271922151023684822514564704688015727284202886287191120809622668427699324375085205928499642350015214906014175638901638798847687134960418271236896322720459955046677817762891343008187594453799619435277935976123531339873890076241306772614175155312707077793928256141422051285256455200698683570942877115883306063150744755149589545452828209953551058719430850008575391095730128229006929182773164568113969514994983739327018993651821008211303506409367999935703609388652621088973777644486620857918502703837731685663610879961304708045817924143354977283130096140861234156764887041430218980406902667053308544457068131648406986873825167203891385151462385163546402184575964272291404906922353463133278573192795231758235189226433769958817545332616524434381279401819474482623687339999233492762120632678896992016142851910025884371192267807388342780220522302567940351871147256221705575478650066167457599511326655635785799378324224538956065830322388973171717048803877986108759490112553181160852207725009888080749561549998578999242112773413658857220631340164129775392852661290987994132331421224221117319186816332421747063175768426641380373267274025615990149872572343088759663215066217441872569764753869326834099105355826200085071070317361689673867095765538561604383967037420552435136977244409346493299241216009697589919483312214741750601228678497742784693263181077103886524812874646931450454429479820075349117175974068559183254906496414728474873000162661501545387972416043553244096205154047937838895310981853054051412068602851318931084648774038798603593098038482643992317005894338942525562195964452895596494415979222037731194059744991848966640937755094399197331017386008302669464140336406146011287586103726316288862142264519998346692741992484050923324666692623874097600261497783915378162927323493028587271472892577037901682649494950467145913522386091674478617572966561385192229751117183667012898625856839343672838310976849254976464567750096932745598290618142142690079317991371788182981047420727943902369611197318355164061191633419396778806920390112809541922776443699770549381228979616709119174076356179125464702128187863131709223707329602379820757704218274010576133490170891853886776986795187301080963401128897431368876483193472484113703312398615054925022803302909816510020832557080115933066739509044438317757240408233280845046572779314912187327388904706063683583928889555879278895749099078139820220699972576386814619308389465024456365409927043271436178128181404684262175399383135850510715652189485891036001569749546697946706670418595224896169857555372833140123847880466680383439171262020136652231682929574462826210817010228147637311577372114948433733954920994228059697410885141209095645567361470551865505225925893886325614083299013994652184083617179973805341409503889941127392351130850744271930873538657442130171930252834156787139659553401874087615720082059854460321130886479891979256790176693086202440595042541511425065757476415333490253592829253774089118359508621694591031632929527410005780504160239763316086114326417897488363545444662427924473752869204063899737640083394172182539958274261753008035751177556920951334002760532493296372197219551950422624494147884426233766860195413639165917849234257166721387326581971392244219796726873981928061237604708621724007360105789661061450445526372039575422358791840068487658376382204683468074977292527149064311635572443461675523954521162989364036269519584164659249207420604655785503346757920967261842693005063187225361590250677762752114113223237737229750750085380604673780267449344537713415315426709319826366798300836414431502774391447019297629594802856445312501
g=2
*** a(t,u0,r):
22967194727163322475956414051329823883160060383801120778007781759737570115025\
98542242579960956685647634360941759420654956711624011683664302734715761892219\
56239939121919457728473760703406230845528360455331824317152476811269920743894\
88689145279081147659360292042396447065045292692629164850017586473120229205039\
49354535719585841020723168876230048365555697212024617335274454401227245197748\
34521262604963696742490298049369909328755557587650786758424223297456675459897\
64794811631275414427669088339479783128231850170627666239497137138525946408114\
78860788773976965224275795839190327181615644903406881565372445731293209966687\
93984688381720555928269276043056292169656066241711526416303238262657384550782\
44766274049081941692253475209085604181177711497642146836022520376965790085735\
57289051346751258947364143772224347396886497540580235081962664227506452867034\
88165625687232619185985468395428053453081870482132387738789600995950295215360\
23826695672471682359329227281908360127481714190638637538232720702414830491221\
71484522598033550928669247431159250681033526318043364635832834790208538441358\
98236094176097648184441159211020528011349224968734023258389416181093683552230\
60613082324060389608655149163265693622113421173095794931944355872255846547002\
13292271174021637078369375955917908819811968211285880657499156972192099244915\
17977641297550012844520301801433032819941218629355221003880278193273025743634\
93483224128465172240782990680284526043197812917383271146449759224054593847787\
21593223527454485831661862128473963838361379442326960259455554210715604003885\
13676654241404971443118050692062994946212295444412723094213481244122113365208\
93380779286156332256522219122503156398476527090125687130815667430299600430042\
43883127449931250016716448378711366653668772837917239432919704989478518349264\
60291453236120497872243594019901917861491066192928056534167992833784161808486\
15867352719818931938173867872534159231146517141306379580445785387002947842835\
86381306857929449160581129864505122806932080181229801572568290265195284841157\
41651016389923810494082864132022421600091437098337479112000166631758722421314\
45979336872885856841544702433495323507934658266956934314746558441499661826176\
05361548007445910594445221198526097341997375528580153071798046613095744641585\
63101905474337132280793805453234352839477659801367800257981024127109917012697\
53554616582578285890688909425310836789424149958559954071128736834757044896829\
37490039007073793657511299423242423227402493814660234483514417687221937559409\
97401602550087640488232710020328762813159894865830468699326979811085362211615\
86193989289915801325519712553255154530042424749272940904144370650407302991855\
62272620067690511232515649182473959826893520293031025838751686185101531886651\
16923446773911299053966012811712346473298422791001022652635437150478974389737\
27117303195542463703237787959783076356632631438419217194684119861001359814693\
97337362498808515828620132790030861820369050097520065839217917449468931264948\
27251111971793629696220513843547095907580843833147875600397428543026076077106\
44167138055209029105440286468383873893243040591926271795875106138477300795868\
48634714864084823337168329711100973599283541544293102384671642314796542102670\
69237409336176866898039581157708251871839618553120596076685109120188310602103\
53237444416467688728828713700481900915630259456678981201111562421294753076013\
69090721930406191394687029184717268910028204087570468451983709381704564619671\
05080430071018765763515726267156731858079931065484878831897645666154294202496\
05154452877712802610831763670825119012197619258448772934380203578775269279934\
09788770418606207671975853797172741859890724191426639815199552196625162294153\
96752153463869392646446876581631394882205033410348998392422750368727472717391\
44593260437479137567937482069246170946784677511068364129009850032386562189062\
46069788355070537518770064806694876549022345647026095935751295034838955179079\
00775690302016612663444076679445379032115356014372318053051677155032066234093\
39696161818465795178021529197323927717676938771115548068995339126363809817110\
64755545537934111878593165185111743433534473253926859231033669231461303160882\
31996455212857075646035371581614262713573523427745368947662184514753341971381\
57153883505755039526211464629994967708413422295540451205528879969789548197115\
48563437085158644366111845501108111435113022852503307935293596164189983204403\
28252250396411066302897627602294463588208548688746679217627430461437993046554\
96823043746220329546835166380129646224269645272874852708643390186108241549480\
12042537471805609273657708442801827827846768661983537444907870909117877050254\
40153087899432138907130665493115419990569870921654973399566558676335393293944\
81979108495526692214436231914358862230405347023669530379928459674626011867135\
87559468239221647273705661466976144546724572915232695805925610666797750236665\
76728365317486548789584861451894238448499308111554441079753005056309046338989\
61336815616023263001850219914247562357801349701171385181455795551950573047616\
08032242027811076962283541598249104735582749316120968021303844460775108667796\
89924001675261080830576145074387111863260719609793976631785311583705552654135\
43273958629507981992472357863594691434648009336526013605011629240482135574520\
18582053400012199403702508768354715794139459710902784629917923021510932868903\
64762641256611673759080268622841054424020300515915988102773733628094551818240\
32791427200717062462023183638880013822432700447724383155222903694402016384589\
66112469768395868021413869390476908209643267159173438717713951668113497122882\
55169360591195330363310380037324076151065166131493043005415717335510949013110\
77662369495197115984466556746991151415491348193617491559665214603362937442849\
65473548380240346635797293710170321878771851207101445303372262748081857316187\
98146184822420210900949856698291400842761507097937066972782884835631078168249\
84906089116211892409710151842613630664949591559427363792213383444635697402000\
97645167629315309227850053641563525357162501533923342070864077403730010884544\
30339419993139148403379302037234063872266263259133170378211103194900329003382\
35812542235269532961727127459979051141335643109965464342255721816450886343274\
57850706616787420933723376722085329929884973770254660260830103146321158096992\
78986957454070968426598760986010039532279422185888489664679788902468498620075\
59229123342325993734956418253396660061570032814339598254038291931074687241891\
09583413205960432204880442980463389226330048777085374653510690951249176017467\
27732451930868177101507975437367077436931176101379368317733625866180394337859\
20020951746924332009648713723528385524547585804521367992961666160122137149592\
35685951872627494900492790310638632276180971794685511748881653353729584425689\
50971528777333571317047789360080122513887083335306583308727123555583224605246\
64499144674829624241327175197821760403599452110207759708358868758235692860099\
25762621577511588217981314331046238775041302515105275549081376220132526496101\
99605372436898952021148099635420507539882816988482771697569905365268927202563\
27298533943553820778096880897744721675305408979598030535965693808916603014717\
31721537502084649620377722956728281067142975055295034038889187480400924030791\
57811308198659622163671876143779206705695865583375703202140469836212506839573\
22506466037772082855729526137521033612550216859319620216807421621629879149087\
42404794247729579938910712583568799378379205408924782779770633184930176164322\
96210420408596371280270394018367923186602484949980873055247415976371243820490\
38069834263465131741103690657387418563076292779619740095703833671052704953262\
18357129272586393121969465464143543625173090065940535107946774757716676995035\
51725366824547690017383230108580264966833856590056288759088526691705153288494\
20497588906131016980746249894547633406558697121814059837166118187944363687424\
14933703838336209296803222039055631169725725854261054550721862800548838643971\
63678302918292588342756449916469458319482839158083166678212217746675778828469\
20822613320733451914919367203232138081471013112567470795517487970914078477362\
80596489504235653474433678142291774361648767484678014504342525662438235143601\
10040899840553279116733632985364977638615054637105289114612657168044943555556\
33615246347045395369398273136642817298902494505393370978850201283912043617459\
73022224442927481326399567947384941310597558545890552045530437433532530929193\
11746430459881211207808437692278271976203006273626838758240708976000633778417\
41395060520553395911558551735444861354138301211193650061812844542997860554584\
36960828189193424493216529636589002592073384372201504938525805663483477314187\
21643568906683714012587882982268659708887862997532580556632857561797593746156\
96702810408981067915887513034046759848172041894971896156072210261455840537781\
04449905009091113892949358804622446036834364301433389472723481158074768032739\
56930175135365396308538214181501056091288305060152717074953322152861853737874\
14697454163016174337059459454636199053933639116766427916601067322183672943993\
81150349493846553675191431146599621069310113732000518602021890977351787551655\
89939888694363105442133245649141580258172999194993995975817172155385354450340\
98223267726100575842731079725194124547141003658654461087682585843158151673334\
21400254399050262338250935652110128914589372487673568019439118478349913150451\
59982606022186165585127571254171477087691626400741252327986388735441502316798\
62446437753885844724220377307249109934469331119781471591025947441935930917428\
84215932934690508489528642397148972621519722464219827909671195108201748749649\
72089561718044017098408315718442545090566954168745249294775622011085506154823\
51993460373655942303712434002524115136860538170056609186675429903589409677755\
86850912922969061264934479389062469627730291187482659718695317765641089818814\
84774852340361116817121257834848090879059575106456492450019425982329112828725\
23872290111127105800142102163559780035542691186201156745605941165108610973413\
03873752930633580242097214816098183242135414714826231415998433147581636037562\
48366515676463329528194573282523877805239409794240827498470627693025842578811\
93055981919650048212040555199351012929797058880830712768609985499970902642317\
87083569176024769703641615388455540068253255449580598898311165510031763557084\
88001669670380647869973699364275158146138534064205852676309295938827906480880\
50735941784170915052358478850802254871360989162744397704707483874410166590044\
40381554868049369400057882464961588847476262452351049038748402178021441742918\
65411425277005254667010932711413098280765521600978248784012304724095306364932\
10801813785008205716587644423197627542656676809078923831724789087971687798472\
95530759430326894196074817903629048602827391543174085382213417274187648390233\
70804087125387799258220671958120921125653033388522075974064434571581013470364\
77381353054023209054830303117934594034498710372495944315213982395783346102547\
00769005904228024680881171220977456127086052090846715708011326191238863797211\
84337268305373966528247537413882880353560475015221368277284555747920134037451\
24803800837605010572010658448981541564808744346371575916365571312026503903342\
33615176529376756115144220162686714164698935788539987202621348373878452064242\
81991381936445442475698654748470521919864747524040747574849375920545502458388\
79285181383860894195234895811540534872903822436588416737061843322831640338062\
51474606990770038005689131469188784617741085985092134995634478748670096517685\
96040574453795907221619018819850667851284408318324710989330126116547465549258\
42040764374378808509617421970331075159624053451074450610321232374031406729922\
15075225449328847436932489151158463972017953546548095894041377992384607268371\
22170648265098588485279755432972309917524926606860864787495080337299689611437\
32749206867393175571981701987555106484424316510532734067947330365523056755054\
75357649996886451738787245060314003611929335877340342703574875940251387026327\
58774291199142117612465027060252934793606084905638798856902096575930296036067\
84223921115260136135141003521418685668886913181784551369777766548182361251033\
04784693804356922384336209698573215339075316214853955428978589422646716971747\
39736092855262859012186175045130378805132672591113936838137635890403995139368\
79389886658329316857708880354240700291245918779809931355068665914254550221638\
77429021653303346660822335544992590501295110492290736792009627084462485313525\
03566612689273049946691395744863922224140503441701291795573324509630845783050\
61422091214497655827634720290220024905104505241573186651988189077466438102234\
74728290780413394580169422767854707149682600714548339808659316080036640367954\
76624493001604613003406874979005598072343630134240070233674039127209080304070\
51242974429571728654169294328727678149852947730475068732721592519670073693619\
40632646282585500539874626433883732865879652184935135264428204312736537229572\
95058771744385919244193924062676677614104218656586108488863040149879282617622\
54708531295252753887780542161676891805555448879394412444777184427875001711978\
57542830458243159216014362538467207091632371770680776031140021726768014079494\
60537334515395655888736206469155134512874011142732549027323927663744718523837\
62434315195514479755595033734081624057830989773577095992036299660805588396273\
51410849228014902448613081521198936542780823527613798297941129447896539031446\
79387417068366683804030127628876960591318352539887182827788857690819128701972\
31407831394520423449880122386101004447214402923566864961931214643606769550221\
26858304209050488167291573987548728703543232853377228445300500984300167821571\
82504763914923728410890583628201878090971039633144096377845409028873449814847\
31571787992574316090598721280113143517893677513374106353094670060333507107561\
98104932922949106666767684754431077732203347589156872210225764236824879607404\
27833255824334718188523813913769689697575156551723707304028900710015373623475\
42877613180110649838267588399157367701218328942882486425400834698163516302570\
63328477462729489927041206984266629805944643769858069039285540819953037125859\
45685397151879618736171851277846079780022039036076704584293643745243002421325\
61690650341183574664081581636635762996857951142647131555881224150494507280079\
71645442338631347404935222928031924982772400900463855054048367984719595098100\
93383957412498434881434901577861167630616075120744702144980812452561531427065\
84123657189739960189028520050462277244270549252399034468534498344520573318319\
48696778845241292593210109830012973032689779857906691737044721949358245049552\
60225234617230742880012509666144732826211109576765081112065257888381315497694\
37928608856503578393821116023449628054852201343804950628793430666139397907475\
36520062827335643691814777767284416949510144869597201566658724814698981788389\
53966523258301817154786120967070795609829499823385547625328546110888035896965\
93692435840037466970666854175220838195829501804292626796291019942666651302065\
11990822092485935059056478038411423585188676638619919530064109938707065889871\
15376238075343067581957459897088383775831168866349301143936505855996132027350\
40712754951095184422971571191656005205067856252195939951534205353667763858502\
91241446118864333520543133859205954282803096720002017374910263162614529095792\
28481367842104873067175501354891685143143668275193070402275408621747938997029\
02745723040627276103125467829425470286825871180082452981486540984364756597566\
52594609565470541514576218828275038653037670695974287257749643466554269369765\
24317210633362079513575679347662033604486341233584494388323792717438207468859\
94433887515160627653769448657629875058839135011649948741883960833212555767702\
01375080112690409012464978758641214941579995794669415012303993772579310729467\
32542914673037963538381277796305209048078645939427650507885561176067694621887\
46301755313381223929026045040809400322945023076381577745487673304020573400001\
16492713440126988532705080837510810438128054588696253973550026450049263737154\
65313850183816030532056821670263477162747410823099330281245798818456673780352\
08563561934688177441833816356010484541809383506552451487538206401001713147822\
79787173730385374327949765216481516570592782762609521104682311939267800656776\
09933379086929624123632408100779481551303087333872808372468229981217037425721\
56610068167870933485014045103217263647015005672067600616908309682401499626553\
45524186107998463108523824628015765286703766680206406104024050995775173466140\
93428303087438388668768583098930820917433695283052834787785576277305437348738\
84828596418933179831768862720762902610227250922409123029749916331682001174612\
02785457504480196307169579490899084845802414461871430913359391148006255775548\
39750539666707381917295705699355281886986968400437201247840537637869131066484\
14936131983627925051275318261558469134097645087383313863970123166825646252796\
51145771545491765279896969084608259723518364145477378876698156517867489009682\
95621875046953815483862169173764073788063112465984015888934110599838386900894\
12909851642545841817698143067449228257352486976464797763209077791426648938334\
83205232087646681120186642540469593836369308153974388622210606462823031221613\
32192058108414438898513370329543866094207034729315473536257932236763550368611\
83140949406517722550542180137035995887749256912793443259545574342866539994052\
58386845036745073007443211501242935746150010499018092388400639642068549423815\
79832603353986895338930296641595007520513322952556876384967024310403622788021\
77477646285828827966359953126510270627628042202073276695186954953890317695339\
82826802033355893763675500344512372119062294326702851018026834466830138964269\
10789499290980804961585227979717614932138016773943043352847721834217071703983\
12987534482548081121200507765731775131120489827954797715646310186442494990769\
85343608930482098001838382701435871371506025283541116925737882921456341464746\
93344433748685574298954315407634442929083989651820042238388711694163894572406\
56463240453352024780510749011603343758579464327684527222847369479088863212941\
73571026884739362511337321270323973291273215416724541392350786907400435595629\
48327063583123169484055169509614011002501703951078645506301798124808970270675\
52206379863611930613652761041207584126844249632109503545190904841159167034726\
88335696979333877760134172445107885091836238392575251504618889294838744848402\
86750788989767494342500978162658214074997556163457637470011253300115985888708\
32361568559644569289323045226352183614503126711892842675733478078038490135450\
52641174602941428674234623192575311910820576799692543298111756850604410171459\
46842567197481594680998470690786343047747104075316690677083540280241885450121\
72480070777423105144322611242563376005905645078282918210997000820713479889272\
12549940692813028125197833948919869312289175763928973754376535855608532297251\
68839662789678418821781481988323369142018904069257468864173348109691890357519\
47852675660226091294202039640136085434882627856821042228775817763680614545593\
52360206294656910548494685737733968310319292798822013342008764019034597829234\
78408074964845268712785548253499891146044230124016210746953962047805175563968\
71892580564609305519158027176927011529910723808673404586610544392544737761578\
47816680798208662937732778347368531089073151342228391883329785679166472793337\
04147474633157803522860260255147622138004182515026078464768567799332942512244\
42940066172241197827527444920830145201833069560070367013720058302895711823871\
98706546145592894316793546812334173686264033143067098563781142450057344610365\
64513209069206327301203908301919660955220105068755618413472149809360260475592\
33398145184485119302705158794505327027734589147576994080379109819554283792479\
60369384515360580232581339704090354838715950281041850868967335310445410759053\
65375797046069993900080812530913441104737257550414350898068185825665684183478\
48457336705974103243448254547506749670426045981285425534696634822178106737965\
57519365551767362795363127458301382214040137591072573170771396092688494614036\
92121532433069839240151879983952553492556299144282428085554140927657086793094\
26623434568075761622847401054168787921728327708832353782590331197235843328345\
66447843554750947068080978554364818416621118941366072656818824520633510839981\
53539332207969353995587612884488262904510202049859657932075765161733549305615\
35230980551686405930660159059575107689471720449102968344818345947098187693054\
57055547314949069375194438289770593232467473906436973849091667697061208393892\
88428273683349140066312088492850307375192642211914063425
1
*** a(t,u0+1l^(t-1),r):
22892706528048198186845204059811997427322784512286090116025053818895177995734\
00925348820242164393694182573825191552263643338505231105230796888008575637433\
98544025805848367595300332290314102529272592799801018400448198508098234514455\
22779883186284127721005610014150836966455956608220637828882394300774974407617\
74383656144279076130926228869063896857343084139985618576349239954520562240350\
24247139591109760428730870055696277190392026049528676098667171762437897053000\
68260341971930737407903675080000389237005152278182387321963632909968564960304\
68659078107682985877602468933765926120486080649666102490025291853245772528958\
14112305608590651422555970282916650140997722243089759303601714246670387627915\
04512978025138973232711031505704786005454972973866010143581366256824279415187\
24130276045086119729156476278909025189112811602610785670886028559741567073952\
60636439874192945826463353362794232739179983334622769183961094181909375338986\
09695365848669071497623294652885954635176368090560890605676290256893485095033\
96874302524742631304035725547598734192338282448903764534311214785483537776143\
76403977113904899055194323018984785758339443698565156155929774831317163497466\
61497580435441815372086537868682129210366026293615484245678590393751232990633\
47735647591835620958115205006871688574990956422492521044555916463093097841958\
69811227325774174965024560282077033794579247109476231097921747561294842957439\
36207062320480960871353424224024143796571225416029595672461273518463065435307\
90604272532230309120856472305354588820507234427919413361316779440302472315223\
88767432660081495860059289446575223070711066378106519667961978061708744348889\
33726571353336365773528093006430173188535522137400955172553562562958088212431\
49038101090634175692337908546131762221278495736821291629353478919242371803266\
98798616090489836798063344525783317046805149221491533107570691235404321283701\
87923999143430329996752763436190805201207663572199439970995690947909965309291\
53128178295146975271411677551431052138369057218479867080981582296767624457888\
79786202282713246784372325113215862394901951356396925125690976902142207645893\
98046430915460281089626179074251554891152167483388425338590623657365068328361\
42857672716610950884409182643287634323590897553892866088862485380837055740045\
35329683078204146986910149867980619803241516039849850635522707292103074038602\
30029574582851004963475864313661180021458450012748408274141292282860535562028\
84719801042726527299703154668356231584502810050937012101405722278506623167325\
40112732487763031924487090420262831690522619531130477990031865281968328604443\
05373900676002560888788297269298651326161206074410434068779578096946522549719\
87476060218822325790680463293233503740968460227215790079274653689366067458910\
67895586946536451597574771689079765890141779257624803119707970867828772310635\
42056382212205569226362422160994590703584093174294614328106765958749463512592\
26318971052866434155662445872874004971221907232338919679739372852335518514899\
79162729987020244951259798663513970191123824880175504111963707153156802316856\
36672541931786729551584804458216142410346036135952456860320916605055212252746\
75071575248309413099318054047173078549772351679825124755315950501883688452607\
97661504224816293275667560894494062946849868438894259008328292550068780946096\
71010728380522388116735215169561419074822809966549211532351200597225689011983\
37623400670091360503677233414388456145995680182421591257004302756682820085769\
41496385432950596793471891479263250565567239397164387332983383031561361356433\
90218816814325625953715552545406226734320221574367317454593024540141403541728\
90621887919951268620066742919992722156561348869724715577961067162473945551578\
33303227560743329751377319144069347115019503572261380019258136043207275508578\
28448633646871097121771198343616183365335646124545980245348196464713957122503\
33920372825270308748438918650565055327782273174657362651635344888780018027146\
85962363738874937162913987782106637262281468373244624048555293337231962235496\
33729579672027527734200918832359633898052040591317335480663462350818846109595\
69410392417270541786013944108835705346723010097427636984878965439359266501982\
16108899141896458103399581187295513753421393081493221805129226078489277078501\
41509060099790428587207535555519308353683432817825184877294732250968609121881\
59757285397314886600600131407591004046674818454062756666314265582035853529145\
75836297151882165547320662323584319381976520963269662960705395551833329285322\
89806320361097452802358944218896793317596338315233096429588330542261404009319\
64435913025951104594932332091095443521378076439296023269410872408872089340902\
22509348154893440078242674145570180790600455124071227539892288756304035261640\
13388905981487146185632654945987968623171599952241412984101664670275873450269\
48897113207094441931196345808164330023870331057129238414122608686256784560222\
52695732781321727550267288928266473350828499544706156405980833148018314296809\
10651398916728052419141516498309462155559831810248667175461884863673976594488\
67681867188801959955919378760633161693197075534555170287180696857118540747793\
23362085994152125973828330549821532041001495654302752923790332194785426537419\
31782259304223091240064339405658708651616718495434577885211591524026517837521\
74197462956552700378609419550727619418590899301029586409496567595495221735274\
77093140798482122384726494778658867220482937379107611925143116113625055974505\
49441833382768790908092297637889051615441026824650682453097856439176928763882\
88384537434011881422425500084345631750584964671089632970521365878919615510592\
12179622124413075237807751777743565633818468295390903406479233927936318908203\
39032113161699179392084503049433342275765430307584137532985219312757436024116\
08828769304412540106167680865704904618624483041024359534820785139169159400567\
91233278277050199406135965271161807110298496804646460269087372776704707103920\
39009096394753907893786767566367316187117322613829220990725123822653095140156\
64896048166733746062786756170293589599247379907326833934418031747285481119513\
34889670522891129543692666463059250692139994297211657393200688806160111720128\
14507204260452442584553958397946686651147527510689900674118676232181315901080\
17446866487219461730695084689473161292274536017486266768092275784765521908570\
11055107862328035556026008247677033998661218654474797265767313911433465651578\
04982974834188720241761965005007265488397373248455253611052221795082012580566\
04363142676643803776107857759986210666677086456727259924904710331947827338491\
70777643978659955986584165787299940969568156070780300096162597890398187653520\
19739802714231604446374177354695320490413917958668866258930439134737957245323\
40867510947635189511626327206928452928258222696973018197263658802312083070795\
38157567062380057031695201935128511305733936038002886281779900452159711444364\
76398066367776122757301249224207203342831021454715194001196623778479252775147\
58435823885908847931868942500783386108743871263704934114868139324283448031790\
31390436093860360825403835528494819407321034879330935681253462428949136087311\
71642430590223375953951701824562846902304418463988523409903102369536332950885\
80159197380456266972960281693084837993411700541602185279844141466950975087989\
01083271523420726091789697086015598467731446559862052272836230474581547357931\
36595634256027957181602835782480424854887891831667772799888046200154322784279\
57294292212331538058027758921135603272287164742733675376160566266492564782168\
40114602828892815481523571118848892084375666079872826980473640573204634381072\
57405823990178217800321732741741837746114964262496649046744794210497939423684\
03594889934405031846979294224800375375577934098159106345434514947691649934511\
07773825094305913725434960173092977620995476514629079173923915253786109548099\
08863542671840862331078964759754505946861749996013581805261795642469949534924\
39533918852914578347732508886496531825391480256895883562989791894168680248369\
56660967881800828596779942511334962778987219139192086137634232175605479005241\
74052377818071613692492601687978412228233809826796981701045539361278681466084\
87254014403140835138840920267235692931286663373916896619463576930560057083675\
90765091516746079292571253635142172305733059865309271960727426928581014008889\
66695413115649572465497521980523975729284432361051554640540416847315572124646\
34731341552842311116692326105393422582022647545201177282139527906721074072125\
46411036631362677549837167083546558661685591118144805767673441811754145236433\
35747292756702952465358902378465040182178933747805994980531289371507056682515\
44732847124796040413779070621551416637720713936399770327914370618088395766141\
20384184358878253318493003361785626217940118577000042457530264510245817766439\
70118909402249237425349499478260662248664456894231446763133597687634902676577\
43030067479331899469512766289580427292931117714509821723082215813778309325606\
35988779972764211239429441594966458071532775422119789343899419486420139617643\
20379516473838824582452780126675216786731692179090428690925604401138752923634\
91265537549542186474082702180718757433409648498275111514663982141749565537974\
85323867433732738613672272960549769727605951630037258691571278624070591138610\
14661462533475384785943843790950251710771897700842608781452263943126287397636\
91384902222620910136072824509454636604596109657983815906943640256257967486179\
86490770543195291534581211563617407432272085990792902320436162609813043390365\
76406070928738106849439122029495869577925106262095693845325322747529652222561\
50537394773821241975508549502887948926531009850822358197531720961904878213164\
37044946923282793259170234694490839538921872155224994432197971345103607215943\
01122130231903544652997690973326739628308558046261830994718644725523714295017\
20082747799975648093264421618070915672180895648496229470959008626941713311294\
36716123089527513195011675377005340314046408916922038960992335952116153543875\
31902974575631558429979479129515802370562552728299963804809381355924474937823\
59104432650858552414285007632910837782971732288724092287081681472508398299062\
28101543193188313324319347639445421985330525221935181571448560792399812819096\
86483908464775507515136639885190955590565284635811802348819899060511537552667\
11017352194913338018116291230438927505869731377852229388370696865134363242845\
68581123714692926849854865744715346822421328007781401262223968492539815973374\
94895717108114144517053532432907761071778196765459821279719243386168836320022\
63818155230639479553354992035345497207970934033586667258082191143930561391319\
99901982816647399787009816172889596340395471260650751760929021573638781046991\
78766780875435206130479792603446716318194006505914343538216492474713401243450\
88085794805147455620303764440157819256007410813844872132325157542487580341400\
51763641437413568557923740049067555976056320847802544916851252621619129102352\
77995251368442593241679502134849400756548984825341903414732207317742967682754\
96334079398592690546781016071071583296403610840822347981390748917105116130842\
50766444732491672582750518373621638579440819420577407082871740972521474143275\
73047680402456021348533867124282141970544499770113073507988169459122634160953\
11776424605497696365581590259456378875516128429225803460342576433206413841331\
76211950427462376175777469922259266173097618613151966771903918485127517045010\
23460472687480804808655755608908511516559269498956238088184885993135970153182\
31199554211340513558103112664423848018980844625140484828081069628404139447898\
87080442860972785360359713893948449469064026453508522737472839221034338633963\
52823334868299742103640284385562433834782029493935830770503974323088602167554\
83566873366790483607407302699857409494270868291802534501952595144841738271825\
15287932649103674144246415685622129452927548466514289009805907103773312239724\
55778128358634062570126626197325198030961318727255330606105339023797036030443\
76518652213112765949364151292550823059674429923143563213725443910174896041377\
33610698903361116149938113458976438788870065170809700049798630316765116697572\
48707519208940373531459465131619489931582415084978763635605514332350418457786\
45417824527153602636062686856307572478516153027130104762722442646140835727514\
70309921743299844334308814477416442441440350409737351097040973287516198398376\
24645919458356356911143338039578298020031067151334872118241416186965076004703\
72961684285779119590571019862143965883453072296099523591603109374999363739535\
22473964215686218433350775001907606800710858565674152470830924538248259256186\
66628289837585771538464013089278770770277139278627543884468227383161141546227\
49945388215720161949098603018337340531899846333852507355225826406263548561355\
99403008159437246690963393222316931267784677820291183519402663865174888692273\
52698402620610955480155772293066939734231803035132987428723576543930603184342\
80284648510858196213799357375179245083611934394065075366273302028479013325044\
60588310863052775722320862687338266767788204974456640028899160019663457917241\
06855422545105988199495848511422804588888782558704484620631961127027839544264\
05031880737838046267205667308612718852416266781154243784552540575221739439236\
78503159376426805112880845799525442184724149484972335354802877087537978896192\
74556149848934432794225536327376494466292078455392521626656722472716489190663\
97838705933221340602833795851400453505344777613470185979136996055092550256209\
66913728148144954018719759647377900178589752477595656829428461395605661257533\
48495157346754411265718349016200136324682896751922864318811437731249125973301\
63203628627831946043505763477318840934774984530609518515207634494621356466474\
83534478194118570372801208762380682810675998423523088497701045540131157545177\
54063987599084885876250833535420884674051860180898298440598146806083776814240\
15840808816171974428929519290362652615234039434813660732787194190651393511380\
26445688508147686670074547490265571785042480368312711496556374545550458898210\
10306118218445426109062396220565505968133296524689354036994129288331634628075\
80960925643931448338088640907560900195763201681955826653212182309185621870316\
12888579647603252405135618246674687088843589179743482839695934630393565656715\
91220302286022979286792668398895322684435709138941248967051339099195606175387\
56602267931046597089027324907724794415260706627273161470089292196661045059944\
93081090523593034552089707302473509789651914877109854462348442250012683217032\
11418391274529992750577616742190507696451293416985848410798710782322128215665\
47782086589526996509124022987321039066097272463772940304384036364657623714256\
75597477099553237767969225851011290449477451924083680848999100295229808528512\
66778570125077080301733047539049250882782410420527745383510857377492459319667\
33698916677625365928489973082633764786430652507857967399415507328813471577183\
95196902101788405855905733547718133570013836580715108011408561637014885510273\
07442622534610318429140367080598500342221406122765191249924670688798543243788\
15195176182996791485891970542070629778966443092764936007263902014581529459958\
05812855681585198173583543810935664693314959670026006113199414485652360788342\
78418551421524064905924095825629012755754122664350980146285986309277490029772\
63269852239559908655071102073716637674318329919829037859099743390195238731157\
28280887730184532938308986215362306704841580702408660444213974864055783519200\
82520601776711728180628844690519225518328057543822726106951990040631681711304\
14802410831744691109664079740183335824973764736960316596373158136392471739376\
81535641301578202498937055522750697279282601748502598730848147984300570039231\
20938426258354701293811277472794318707296954033233786745964337176456190721968\
92613863636649250929181308557261838028255952565065081774426251090073648100074\
45842775490314597170148689868317192153868661141786263533265391788469637233924\
58475911782635122662229203813650018484059795974512232087934740309521047216001\
16114899234375225326653064359118883485355747384624806663365539877778833692601\
71912832291327978541142042789170730750327689490700089210063380011477895378902\
29508761193278377947427868843504504591944055776260930023254298704566031915992\
02122999112881421762561820031995630570904373737433490225423882819464769951943\
31198460019620663180528735425858034584109671915492680345314278965061738925962\
46912954433272433160197783335314937386538200248266300290583201650999116384521\
38998161720621170795739423034627606047936078788270601543686675695248335065710\
20692859942289939840653657964555910146890667082134825593879244678568230524905\
10066990160277180329611774517344212115275162541039147495599376062498167657288\
96181828993654855129957137611469141867924136360914010056343090419958667918979\
05135132511031574192158530437627643134921064719138486000550244002286852803565\
82239041825843185834892803715845306531500571643856665278465355199798103616300\
95520433908046927122232438374063584286577223505005560350611567902133864721002\
90338777073828559866076670246714028143345069939067310972537567538433505646080\
41840954826407855303694797738581825354896208640324911932625696998589589536372\
66502944848443502694931983159257260018521623911312850064516950441862524093327\
00844408190224986664247921560907507609577174076139315243707906510590263178227\
14438870651685773180107989282537500765951151214697896957082183290943729594071\
87278563377166440338229882166644310008594929383886141818492313243229408182441\
26060173289055045948641874057892537225852198661899935164259023150477989416817\
37983124189766680416198785710964831912078978281417903905905267532418240989300\
88828444837572036810928444667719359020297767966724355284995396084775554729790\
39727479293280326675223329943026638883709461043865390239270918412052043363321\
56296764100442519777023641254059131536100639590674944317649619450702681493502\
49174926955572426332643231189971755031922762498837740330303057355224591168104\
51095749098689837301227977087393466357422095631327652912210153710290930590009\
57036873187016829024465849285079224805848936335270415242665161794291818251170\
03278364094842910524814065093231030675193410393751380717564784355268326074778\
79305462295826553799242017608501749345196293019345417466821900401160941177905\
76361386199189405433284157491884748718865295308978337587747042447079731898398\
03941094718860362480912115669610237896943796538329061499739044248477105675921\
56091056701152032198687461476725268515835401927251828916054460046169663772312\
51283639148099776091627943458050500856834467922556973996785153284271878816092\
30848824847472429446101970360599391980298996550612459373901664666224071543876\
35663618330895167887438475650708117070294951305342690599211917987441100956769\
97866621899226057235746429800695602894535140283434433070853226763997652386928\
54022751695971472358305300433409858925330400058748663569227206550130883003314\
65589371991441623949927055560253131188044788704708525721911164277984781523927\
52346126441868601268383005998059968401039765279988109118844652949311920660580\
78784984003971536784553621892098074359042581578933941947386032892486377511950\
77937562289283608381825162691596648255840843431722104117504381630352834454031\
52308064087102464528285082223920761762786689028753382733897212897217565639108\
49391329401025283490367158525701389907162643824361705206951418806693500449142\
43485374715428643079002335086752548768907952733896264156234183255118889725718\
23125125417087983131870599153519344730908205550686355012594479735426860866605\
37521551941877457902793135309159035825659933576116610676547257663732834303521\
21601274337089982455902706437156678271041012836100194786185213107275848819995\
81830367416319221618480169090306931372509503993584852477956258652571945574774\
26443862187202654026421616440185196931130925577427661082365279087816939156591\
85812416082677334460404874760542911025478650228629223273533910628393254937478\
01381258857197971016712746694920241293116556102427202532962483574106177743139\
74089573014842711888999787585463648001454061469155581041568894267523018415288\
69336273408962585707481117129950545210958819255165836426898289659783604349440\
98753304510017137531097625699398510771711911510857762364917065258217781133767\
24610715413492295347860175380674986573107753150204885394148060765431456210230\
24392718157565129063710031437295327997792871664833086068512276193641440497056\
59981582776924179749263423408571080313181541896295066825862178338621112489725\
74492123918251937258301915787209175092254065882956637717689208234259928799101\
88033371174105845557988914151792414486408233642578125922
0
result=O: not congruent.

code version 3.3a
start=Tue 2 Apr 2024 17:44:25
end  =Thu 4 Apr 2024 04:24:34
elapsed(sec)=124808.532212