n63-L5-f18216-r2-t18214-ver3.3a.txt
p=345119525009395337764970583854475519252315316459770529659129815223575973463889689623565229736538094128983882916541130744447238445784133824513824677094320016564866988458486454873623209054298494824030958730223422512633530569088366348888650508326746968247842309543579780943052625308628734024472647424052947057326332784405000662763625832655300310308899982058659887052487131969777316996854998283041725783117506646426316220544859286597565200379963115882995079167599696316999539436105353374172567123929680933804390981203629848740873808349270993550981079299775702032431364247158268039196765807079390669958771697867938406947689399448294248403834544723713729257598227465671202633528900087406460904717919636174815134984897560804471079105778947081871278262743070343842624463032614302770240600217725450649732895764371198191922009272668042126273157169368850430788109575950128304907522692153927931339260031020245255613227452951121682690335877651762529306033580719622174514351379757959670792144030645120667884009804662405743089434967508013740656774730764734840177660665818791155255701411863363715150849450796019211269032169360316556626597949206624887673586062806918429765249589567834670095542755745605698884542726054355387414226710714633087393956058887302245807666853874851658532012511417396871529507982021954870550481693922636476307509234752348870456149276914999309439865881677326930935006036508717569147833034028954236161400061377689245035255200218961376696159744032181521944470572303541262609844074644857890036818022480487680574904466840841395330971067000691948030157526412175678453086366406912972624797077674110612354719499077115714386727109261780814341702861961520752779647802839087743982076738210335079853248581523107452641451932883461866479170121502036256236086765514631177797843772313762271058543972345135870208328023863594976002911755164261064090764089665923191756282223617025861749079974723906656371773378754097714485925489788650790390770308127174144659301056984936023834663484106539312512591492122561411125138428736601167906218832455485327411346253616495965953457188527613251224795927040658646738698646662462102994434524571649938927130710658119882724293903841446039111940917944059785213439734381788134947167912319243194606262616161919932708259720212723821928152045865116385933296410955650161434388725608234279674425041173836602090299007206553297124346453574793640018448984600006164403079317485853280042291791781057150381352022979341043477905967868807805684452857428145931124753192186120866661983597731266905168703174421392665615290844061559615479893386121039572457123802201641633679669427615576432915286230898717105539518431495155974724832770845600755450408827612401431833068296354415742670356905748358350293801907222604502611588809208707165314266052208445722885508626863378834118778302959773767718608438521441706538093739175444129772291769237032714466805388014920413194605421450869576022095422310357268901921170806803458544515763287921398296927171860612187953604131285001382332526193005340408650815405252978174198326160175567733601431908814685447600123173858353694068894272584403604371543852122233169004398260167802128222877365310770842178784696843974235178261182490507538077728992735374938303118104866301753277076482081368431718056164035136696870478792538954655450741403879519335963847851149834009393010238808952053364396512232688952066517020691426662205411535749053972570563574157065532106256293499483578726123424327498147023807598603750335527872824508124716452565588585389069147702429710302871475601476140342594990925131945369173013684367773102187938175717117764225323747666324862148335725025977368444512945318583243378461891250928450736572764000617814793909246937436214666546273257031324601389604162161988560657516968725972484690824503214349692696974718306384120031685510764623831847832387615979342200178206502143097741428851999343606025034704613597526094345400662405056468371602698471816674954808362541635476538983727273265110763701911091485871826140537304579402557609798830570945990057362888420900231775340566765139151427820918941879103655419817591598312512517945225307528700181322203726258722939967143412939396022855105184303455748911237980059231470182970446237526239990247956845033329525553205675357403208844649353264839405311244526843842649163155507169076912451117723437276421861795195720329373948124104282525652760075377858581502511576607800327710800877969820196527930926315300476522716663761689972955874243337347796166998106921589388289809413128820629498036991996921751089720815776826565208573293972197815455622278616489841465733603370171021670759422589671004465187427429240459950855317440044452465351139631570590531096145820203235864476761202440376067155178514033002653536266135599037519876020026337607391250768302247196277110478659405317029634192715778241787818581271801753926076622246664981632615090193834996439755142848970600289408906548694979115911003283159600995093879154229620580378677050354070946755780805956560812551296408647714982091771197071563370440086081516210190450264389854824200936124860666008508336183036199625053460088128211747168932566549662095746419891534448068160994238597699591758139909079841327825199952393166651113483098218540999113066126726196485957476851036965388142898743301194108309872755280732625594160214598788875307459314077459318597347434334176956953580397341603450213198529955666788930247810967007551242734138679359458555246612871939466972173624943389110720361664035059629618570103574581162406152733811431768162857648488816215720887245100976775185370538898914484493956744144915841632016190509842515795065820988884607752270218666664283992426549696120942934271541062528322048912545624724054258903546869955866324746330047374514927709413136034103566862502238943114186354821287488535507426121996930069213161491642727992708659223300731166407757142243707613393417757800245136794109802613127607993638942797562135610788304461882908370444971531830163646726448379532285454726825740551185914044760395856111716386928776165286235350771832918918445752594685410175793930806335865451713074189995863679598997695507942242906024555991124841500153048922646168665421031089553795857332471376917726260669439617773498998462978621124299296697853553796166018789917764053748730600295479706214210411267825670026650308180936358534024703494029596764903870431260436140780355438178461586741545778427739511134879530822386579832715792160346634149686629638183057025691827920940544315745005318516029848986651767832056470215891293091607545313489083654013087874875881884691617537469638220552094195300600385277770906556473140316917665238051135240057670178972748941819178185521257432170348458700086331905041770292296004860663954442035201088801986785090574517365328695848551646227753976382892661709894250553167522889428213123324351321614189616067663656090604808249788439294063257955327216246114895788150874026830989718406597093238488536558824581055794775259391061943275193078617656929052368283666329532184139470463705994597677350476344938251291257424305729556387552780719159104747654184808231364210028967909611483165395081897528283684881735585824968550403110840567417099799978664117800778348775413931412402822588182238116660233683795864362458296211795644759806538939727557244891785187776333222032845609747202264731244660306330585068162884192620693957010254484230156220574808915027204965201024720653054264569543402680547583595857860557008232398556901930203655523695742288988906713545809930001725663052197757988315885854193030278410041458989072817975412703092353606402197874187370245526209494579776225934861355548296320083533702110062691628200368838918416141416873107883032012866119671636627340030686182582838741375134285642985035978307819745677542623287056779296498479685729153494590332073946621463376120218240656341050916059215120706314613827513017840031663271121045469250805479876923161552658829753123138674864579455663390758575319428904197494112534907670252848116847929844747639912815607370556308832448811099660322831454059223206791691183346970966190993497001553498550826374812699466116936562936597750934246822662193614116820559796516827236256437924901491864008958114382312770837724196571820771518690078180004544947894142316706478621180743393149383185417680922247777133774675362240012244616086257730992783738140604418156707184082835256132897133761474121780889450899618803481042955444419428357622214553625381576688713656774877471186586246711741670152886099022855306363593052082562536799178314005184645555956915628124589669560406345235777940045577210688012831610709160686053353920833446497059829006749444961092358815760515256347684766292294299483958341308587002992543622067071491639859351087655920531550313473527518700823376241882806906258934451021189164123044537817603460886433104232971885865555945281923188281611680677896908315248128222692445674817734479194571789029792020297552345216990295671365392290543279521642662240064551277954336017577985265839279012363777461851037131045823689191462601008138362460046349996568303343112379906085454296719593047673916619749620088574402910900541611517524257941855709300307498496335597906077028306600651094639925984647542251023809443127121818422395752468737500835627014450009436469741932168609911143576104679480263810304955655199502771462982491877724086194630682662195591841212736572930022475762262715084673444002966168845223300350381846367252594447817813975541446250768939743195443011156752817295824605657504374094783387115004975634640802362664446419550281720725868935915165997779743267603835539693541138824240790314773267906966656502054695273125232654260553370918483673952892126262969361346903316105267825439183689013550748334392757056892887860745961501360724240096760566204768406096265336070890846070026422797840447188075120238171708839187685095923532486821691137620981269014486179350687999825859742598493968963079800919153801122432976427252082019572604446384258054791113905328556805962382851903242305950107482068422990111310011118370388041597074980835499168636148572662471927450689188743586457368874082059009360130899421357318910507132808366542492007978136379073103155929942818598071132424343757261331551904824739547171391154886042343754103681124828829143016874573799518207969761524484189873002860979239311578883166352996730644213860659744146852425975847323349744360475647946539112039022019620192750752253951388652955043346153171548005773243483803649363694316986205010464490318731388747692491884440766951306827555885673871226782498164540444011085559595109027759478993634552084081513491377895724446203890254841350307291376477899734258335531981832619828178948977373622224858205709624470238831690345885667833760943768532669794712708249735455786692177031781271125552862021489079986020412808059692903975581843947398441310064317970283489016547543737144084884020828556255565916542300510115758800805279984934387506562299448938448083192527532803999364677829394531183533400010367304086477049598158327086378039522910925480910052947081855218462909165727827243789627858737000642612906435829653249772992202120788561746464312358628913528567779192842969859316335074533969463499099840055534012630373421348812244499147764416975820413080461904466379117445880189293485094023491448653085958488188198690122583664400733481028015009993666617569023043436365148825298257657535351217362813374093184858946385871397007107207366570502040955035655691861261094119617435067886711647419432693589106753993337083267757010729918265485645433572465101632049423556093851240721060211869440347345402699272662952763259732326567162283597582597192320208815685057555393771985939701611428435718012571877884694978251479806544917793356595819534133517017683661031080390371587074274847784142726649996442025613015648701675126412336801136992115475975669648894451906249577275780018926608914131698728792974720422538545616286661808483521285209368076916159856593476135017771983067191353222687663679218834110616288687979408865364877730489090791737899071294913609035477887056812405492326053694974573514471027734798935023900419721662556182963247751064374355204134318556988880676499989970439665672495520093623609389410967343104247419029580454772888360793930386437964692544151062410862694715581181181662786344160083977123706233555977098310047570710525046276426309240315263329334330758142305881448261315167143098120228927274863267738996861549440108207278674730115581662287254053129700572286326947053365620019464510144569078336331661047620535096613778111257739730402240572388717794341811654506888307935718146001395634084952337000272220830652947805820080655331212325093113417379973504431537219385116454026756436608328384888581362319212860940929991427352902790091392122417748663621829473342417662380781135014961191276893987486335907530697728300824226314885785665874584856899869332927715614880127474381980785003242692991418105741274757747305557131767272949218751
g=6
*** a(t,u0,r):
26608715378224380541679232015180062534353510899048307836718908753737707554065\
89506997687921268708705734465737286532118039688208416995671787001588260397207\
32771512448101493056707563494180864139509327869181002258757240452068767130454\
99314954191992191251908642065810001110709357411295275393286841116394482218119\
86025767762555109907555169772365392481618861672267729174675787486983114045752\
03676225170578783597624394689806040086509966722769492951562345789206038219365\
86040664490523722745148704925254978399996318544650799861337921370623728793602\
78064121401270662670045818345590246582207064372582102065382129790561805117566\
68526974634865519356433981983285257608233376032497230450781967390381357537516\
03949078246907335601938024720199055556820012275554057490723510266346099814562\
74358555027678663224509440626343301938059718691492270604793566041775833836821\
37632483057548923083699995650678435062569483916609092077798366225314817354248\
96166950891009495189073482869655056491379338690618074304762738803493857155939\
47148279219543599486785940463733174196105617769763733462879807021457885466534\
24381304926563730811888423802576804065159107018838307788396334854424134109349\
00743355680053064366346467986199383998244178790800369636879396098211038074012\
14021100315177111443375106287281816463028129879492506541389272051944213860143\
52723233089619994060979121691092501464467578136594773219063750889654148221245\
81297926923632371608043944732219840792218175936881922143273916264881195341918\
68112460303134721897815511854332183866953324560017232513439342887158001786926\
57533491931251452863787448087329588499729901893718546886739282125488733788456\
21579216660124083300785745290657233250039310845598893665061018116516016834656\
68546563543158459865594402531490990554401636780699535580228962117806380821375\
48453910710986137402678099755930620906398831726498244963231645280413979113132\
42678084409359440872693940854066051213203206263727501940933786864855262704975\
93912839075660512655323211149353856743765255462461418099472080404264948479774\
81728555919500455694719823179187434147961538318389750115492354789816694317659\
74834781663553665657675828140870901844474210291281777791741042958043059986175\
48961553064477348700943995620352083586520442664603981365030414284770608402681\
18068244284010066706605227362004733554571532846806274465913707443948629628981\
70674502802021162053455625259208287111570616589645422416712660475275477415378\
15928789126069714631950629440224097170719445214655012268508181827131530771005\
12897184711175499188196389353850806783885070147478893745189389240771462463534\
99780069932151036444245149746569956702512869160942977768568402291088837096871\
06827652565128460663219581824522652060891615039432956564892545375988451743319\
84288076521270468628071513534971899913224457299126252711652344727151311665081\
10557807158198557491104710610003155574087027290426742405443695408175222285390\
69541595036385730407799386204431130355706012854543233812226920454665378216534\
94987398086930849504531996912228785220736065778377694807117455069778677450046\
17230690946949536272260670400169612248009969496704479069812711748416257517897\
04603099862417733023910585893754408598384486546043193198430012667041353224393\
71700181311857929053398974077431704058851918651776625967684735060854621302471\
09039328713914904753403935252162239110940802812669323652202124201089412170203\
31439497109314031820432846229530899565603722940625206128519045156750975252539\
23602288101839197841160156501071355355658523491508691989947695764156384928068\
79933497231287857330664351390768873810420414073800327672987963239355064755306\
17869003334778977962177246094507364687163668439950285510707194808406276806447\
94118154465835517897601044476335206104029388763321507907176681171151267671384\
80902689318026694558288772478569662569197826361306936750781422215654442952879\
95249743546787708519200728363373972131523283586416448914939202453017572570836\
92618740303910714298537114505680521770656390157247519600952411556453727687400\
39881417345153560717795435426183071937191715489837019935833422678697251407869\
87875769759222857508499285041887889183286793631222989471513357687121046278397\
99419072945475386714667571376274333621286097097964382410564482625667463511070\
21404913273103248117472752069706420152157570055787401922465136719118149496953\
01966026825047928960273582994998117647701401212554440959003739473140036844018\
27278278018116328966338436425564614052665027476914731371523034744189096667399\
01454776026296914897904161309515084475554043654541837144305752232070534298652\
08296266700901747489639332817758100096525645157162847768133136677700806081984\
01857708155514816636344442659506547944394622109449746274272850785728655940925\
29947512842737669485151158288708152994777664263431944504587646119054685792782\
44114403062952986543423610325883296521790464014994298479625838650244184081261\
60559152277005075752178700838746234539446782255051215136556332823134266949043\
82889836738353131605236721738082791103746747196000582298869994870700139250838\
64770495310673882511927555929421753586093063688489980568371538445780694589217\
52267573492559927197120909910916217727946851257067247008809789475820489736373\
05946055212655795882638524552586990055766375322916329513148800849546872649511\
03161739837058974906732146521495003142581749310852206575069118943214448543330\
97525455666222862051131153721134638554871871650433811210486350376260114376066\
59581909426522106225556282200814802092178614254609513852426532903554586483135\
30043653988429710309744359175498560020762151437577686138932535632469848773023\
20804065972853093667920685491063067544840649735730113898284482883088579677995\
74798243003257700033859199816295816086981570924700232335815920933629971157267\
66622458336146346367359729363794204665257510092639575278822938500509892262251\
41037679567212653660876225540059633083363347510056543282378376261164863729300\
38075666989856992632509126398900046825865781472138576309562489692040655591778\
27401117223536130730510410561716260917006193920855943826459649643397285102652\
05062133334322086423435687455445083180486121675250502451245537120651684952263\
27078020048681089697082722323662346928054493266915725279661800071936019604103\
96149700459766060033354316035669469761379453033677278149565168868347577540450\
89976844000487026596085440271292827814853491156227087493591590547387607501932\
42973304639389681910574088410250179626454165404283559388337773179516778716308\
49921182640600530510238757556272549294083914510391369668083993270451596674393\
99100575859013568708512998515538536452186973629417436700083497244090751529304\
93309723712138909106804566462457676289704916136895504079118434351989853742527\
00844637079879894341425863810368894802033386616577665618987872048953602197475\
71908874809140039466331811304832952888668424499233319241598315791210242178328\
46717649216014774915231808307486896454019398816867884585630716058688669572277\
18835572837257545846526643238746866930728914863588868746616868537519940177717\
24990508758265173863614213492299375946706740069313971531727517321834809237217\
26194739174555947413971748797480319393447166976044137648714638180593233425831\
04535205196081429943067210438181366710507523607984580774785839457835500348244\
00106905844141118962576215488505587945040170206611423455346379294442109810841\
52252994663581156637977555291418732396511509294610778963309618088108755358371\
25105550408549062073414504460631776734859750281699900596235048379831179634667\
02186952406410489453347179287371388187018408769417304810447076143819456031330\
48621324447140899154799358282634465414196488057514265904319408420463053609456\
09984624593007075203210074701957781051277364627844044843268583352453424843748\
06098845032409166177817681919778266831839679163659046771368669600228534230741\
46273927532902391738536255432077683760032783769717734432914602901284514826298\
86882635460389502562816548580645685672610125367546644123820343260567923710249\
85107757557099957739657939918320590760316474274861571279685136267960764413813\
76494589808975391030043037278083328269891410981803335783810890305107966109243\
63939023605146149332559861881977473826871349805912883761580900241168659703043\
00272551276484068651603114473799153713640099050227150906706188763146315885355\
55687381484091005027678350415482638372618069501693035315611817443595703199105\
30361701402747042870494405990025047105954362621064060063988212389278659824784\
63690130096547893065766643606097483884118647647379263726727420845169195626998\
22937343053028485799621475282768787518234662144120633024315565571587216648009\
79973617236427819492840586352310732921767847917751400294404578931718567628889\
47135872962587249233128164203822065002208646951357262644064954811358904902131\
88114892057930725113261371212005433155968858271472982529168808971691833482308\
24916441247256384617373368455388673386573722683434399233636213240023436338123\
62778165122605802658516311056306859695875615284473283459014849341969647649412\
85816229951796262271745600886851118649258708976903530279306955262663996208411\
85324724230871496280363300643666176653772746774566957358473541618775396449075\
91885262770806239756589713826957088290864644304317582480011202873170751870537\
08134067474598558538882438910199396738293416325507553935708065101092200366712\
51533966131442684281409572755181710297019982414916971767078792833977451208101\
58816636797959501237725270456060256332552801309575019897729047328812704553330\
28322532628691617966716457014440354915175031926753457514245505934285254200368\
65616018564221350807709619358724270779914656688362143080586216142881894732672\
06679644949590592984288182059322557201103720218033489649332690189556271292163\
08417005557955437643488664897815091261767982934874937759846245671716149341361\
06242294476269658168156908644165406351363175491183891146023965438764411002205\
74110656842319990371977134984782005917703630387515013705208957043547339523867\
10577655841016884427938044786573786154343885007053452650866758066539582482541\
13552370904780281622629602439488210083172973969971788173998178875328686747541\
25375820018572263569180071344810224169859018470549522765856064481364521305158\
63140191726749621666092345386649288000099939525060426133815114314826536253322\
19859131391128430991690368484866265186198741908691425804171386470344139381472\
43027269266010296399428538344686135377310392085205814993509227318921258160479\
32668888656866273722322042737828630265290192672456678165538208597712716861082\
99877965206514283384198840952635124511707260126136594083183963640630681220357\
41900724470911242903831319457564045587854554715849306084860682332546966447829\
06040255830409223965682684690185235760354802319938648268108692165126446069511\
31766951579929498875259696615550627353656766021204665541392332566778498998296\
87645538688411723498060546036411539668491503360037801256618568080669221738275\
01402322896517360168344419825005958915508857003175815622133808944558005881687\
30413216541136932992500354208708683844127675595328751315434721414387277918835\
10166606463183542504251407993191450673805240180070183597468472164323545781650\
82220011037343490296677615480496180307908622749545455086202466265557497698783\
51279811065239848285028923305257577576819297615328943424656904563578059766828\
16723738017907859934240508842926365488357538485036128343578299550773625945277\
00749211190691152927399439310119008451200525296551387259957270511696214571676\
64894375297443049566539597557885867291114258455262476635068470924796568796258\
57073576332490538425032303566225042437340654680160382606757201307328862891199\
44065527276698268943262928437059335831010556174835930659593742335133850780330\
54811392231365804732536237832821206537361824352788809968931793752085982011595\
09942411323938587692917849099828231890930846131618677935376860816941620634102\
65496298097649363426590764157404224714725680174763506514899152246391167367662\
09210319772412992976224197184240796263945924154727955397198993835094457772186\
70157016254340794910896422787302359249433570100098702198944804533334692188696\
67772109928515857843212423519632073020708900042992018396837839256635345092080\
23646345833873988253961796571623835299789034272236054018308170646640160706326\
27862387559607438427001581492267208982233494045992183802839235855821533374760\
07180653062989692617212032794367077795154046911877513762571309069106200827134\
74247463623775060716583427970466770178148106791246844242830680269167690145277\
17834596609473993867328650696502928919579426766580254618323427811858216919113\
46162347287496299914123275807617814489303500713732146275939731171066771543255\
94892229237797173321401274813117014194375367856248108854184386905670760338794\
98251827209882260433422758287282185260364702646790444799959571916715196145924\
78605462921262502118474909623034811311578545702339048908805116046332638408421\
96524305239470040176955822550965350784744852643519649847061679485199354784887\
76940748389304924669799255687268739072578282748507185237500116296383359526522\
838223172584548592567443847657021
1
*** a(t,u0+1l^(t-1),r):
26815787093230017744338214365492747845904900088924170154514386642871853138144\
22888375101835052900991382204770261524585884355042723742719816472417741022866\
52870901650032243975436805233435189930478272054933383599292316253252181660653\
08648144496988239432857347451536148979275188986480452633701524704848913986354\
25605734826855149673372719731683411100152860595787322397825015405169753065563\
33665923420933482302664273247703363355665686308160695231341041087176513224964\
03830864214185385957173208465529336208556601179239522039247165894908738356198\
91122986159257204791991700200419742664558870321006865505579656092433881421983\
54663371324631009779441250325567633153822740826524446251955367914820122965823\
55730783135988326540474507402846519024188261398321015136565716571920777634131\
32524769463691726751548424600089164209951234012048630687321142431205995967847\
22361140513249692913145131803602002650605044102730563611477730943021547450390\
97693541948527078809221914642959765102207193466420549591181125875894587561822\
26892623804909697537266764903139658041989708180423373412007276336799970178336\
06672210023268506927156037995592965964498866606533547537722376370800975619927\
59893109420753866423672121433562803328969814423413602085415422526990890510385\
77554338449925571454607597386793737213713173691784277020310589344177242761778\
88542090934675402575072344427988162954463434775790063283025336499690367273551\
22786626744049744149740784769046454339239329057013298969291612111300504255085\
36346798515610478488459990545805586076034673389278067007707353337641721645190\
59537643619432398022260502158048106698171379729467329352783945799617050782918\
91007848696389640369274350312374410162490978634280597117707407362558943035704\
59741478434544907024081518504498702543151844070821710954394168048684251489246\
11087793284612488666512170571151870874542013296354262433762630846798523697670\
42231999463128775042909457903514036047547200086791529193392415556410556578166\
41336285294148143104002769212772952905195335271507810458222835893792302164442\
32559128339107463132032817912099398616039060017365545836235485955496201666435\
31059176851596884845673305402667562559217200254638056218135914887677636328480\
35723899780932425344531108426736146493808539494678720519622090660527578117877\
14317802605286409638174139637195431870171311312540175434520039797598035307028\
25699207103982416232859949191186561719442761465829433486103420478974119262968\
65079985928607222138814058463105218549479907823329370340636650168198702216693\
88483933230328615913396361255437194385316082366525422101183080985835831821227\
87716101604774779918519431067554936910314525730288837517740140830319100420582\
12717361923611950629470317869849676590548359125342940662673810320548673157664\
74438178284081911963698529204504755165467449184722565962326682040203072845354\
11029074139974421751735875673116020598009883533932008883307070469717441914070\
77864875931610522084124673256605691681431351475979367927497168862872890887480\
74714926476712412535695670039950410008446074072372851965149497521683569881564\
04135209942645641612900831259314901059278529570608794082029153084979808160059\
66895730989751723164174481503822536291757128464689443729157094477679807335089\
38795124357086395427355386327061522767481116462296288426577223271444929639455\
30121346836202180276776728522607081438652404390978034342102529836895555455574\
54641360900047993157556837250772385165336047632770149366873278971200399184465\
61140049098740670197900702466060237498504115114010705157184642812904683643462\
33084730672776478788490533113654234696104619630794882752155184743163275375970\
04000279625322005028030765519367344178892568583451844152813865585125391801050\
64889501971406222317037628480042094867484870387938795906454320713339215279722\
43399986511163089068470008062060477063899754971122554935612406046126461964186\
41127173457657651776159488895384664521651869450902180034899818814519654847652\
77775306376314688728875924735296712601556439886097694850765270790356091326991\
06339638491808452240891119748565819578726281369135362503427457096430303948008\
94396203765131206594168540178400635402611982686718888222264434400639498000408\
87352295303027724354470431853910709758416728203785116904031910506022852332168\
03672655788847242266246859089704135484080975270229327229254748678021792683699\
73576657383997718290703727609745184711107637797866148670746959235576924290275\
22432194578568596117827451495024260854631292282182550292702202329746988470258\
15084774283310898671428707311923762175752907807495470118191400109362911997474\
27816082005967130738585942411670614494163977026090185104850126068188750098186\
22883838180071352174370469450631112519837381814581650914539565577835493730348\
84266170530229791426669844345429617220417957370540364306179767878736045215294\
36675604643209430018469708460715073148419183579313320257677401596938691350376\
48189962800561535485658690728541925080609792233689745993650156424870720388335\
99877306284955101500997318794410283641519095423206812511312562924168622824775\
13523573095192745410853062201246047388319468853380953179798554309171984041273\
69016737488610977214219127108666538488475620527550260604209087448394968255722\
26614896109252339041258279607470935503671172018036300949048791517636731580635\
63108523804662546695889595132557221065870323235450278221567711308531292500866\
62486743258956113895887038185890550138956477655495552931968734425880815655257\
77555309499880254912136486731560442575386229929742661820149696583737890658101\
33390297210129552413322136289704774495631895806741714824838625403928758101996\
15129389443458954319032908724456554451804390200599608948076580026147634772766\
14290836334022351395990399814866211542911388597265992898740558450623200504795\
04105901591680559179557081343278984468099980988302140066984984714521642396587\
99722797696140378592089270096791614663778626479006399650334628216504668116298\
82729952336081560668559781079047128902331663040015141105745855370577936958251\
25668830198038357428802320371535064503908965857983227436004082714552127788275\
80198803632643659080427404867549714177999632349766070563706591884236522967455\
98105864562678607904842120940967112273798108000510400184561891901289607305303\
21411565832993811473302598650733045401545830100087218057343886135805535342322\
11299620996599766102669762763676429587731728441489555100545610707289456587550\
58093719461486099668633030732508935888138633617546466465289818106983835360015\
18013954489943725300201705085893347343065112288682353089625502945708029333338\
69132486955192662628423605507877357747534732179062708581017999168169278778560\
22440538682661390889736897718974856649936082799439437963002624502588996573208\
15248097290618259277935014501500170247963607524099670798902174555171139957767\
35892601461351245999143732015376399992860396674324629118964839649507598148587\
83267981116528508572159682302097689422533168457466078239993601008561733148715\
14312892470232312740273932291188476790112019259414463055929062066994803525403\
76546855129924825022085919433873690156408738046507076368550299557802395301320\
12001702125330701868555186531312851061878662438892730159599576999119250806576\
81224195119786343794764231531085501860005636632171231208830865445834220195312\
04776998496624707436993151017599016645001572309386609630096156565215978369680\
75616831197928091709090221091351952103877357615969617710105801886459796256101\
76662792045969677342468313833866265269761382579611962079474231635705352238827\
85472453981557652795396573678712799768240341911591758544380516425094315611340\
84019155765795692144330870798452632460221363450957956689567030275875217450774\
82435866807738647772884861275513872732610262407049056865395187113951116865878\
39609341880910404825115873996974984861659443203843163866865702048479339944599\
37295514517594239145061829404311751337931871581155226529668802145652487704324\
54095729899769965617780101487888064549439776148617046023616610523296078758578\
64369296526415910718176678750369778237050454619413023196258561452925439623259\
78646298679084148936891621225772692692225196281272622443607084003980401643167\
71440494605964407304019471702070683739920932294674851728597094017364524759097\
81208524438168769574961893574762571252267648459178334960454875057022940911700\
73630473947002219074586353142451374858008093388865743761647707073506953807658\
65228329429227564604895140666990222569813929645352496329077614820323629940152\
61072932665392623751103349003810304770376380313895833872460708166921485087130\
51131407979511197751369502327770879249894075857304451180146815109109296154998\
20284695969785234430528061732484357302481994594154134927045859701615210178530\
63455996487587928215487138244318734768762799845920354182151063409112670699035\
63119677210132520639434611454900417071579510865025301459356893088203053976333\
99429409661631920684434639805236056058842778891087585219890191553175369694840\
54317294812275886725897760947795629032030289333379690334182280076148399771198\
17223360145973665090980975212818831634856053015634297051908565809455155711979\
26066550878582558508226050065017664409833235076314560139473335716975983191870\
28397988551123798042633213545454808822311061769720832149116348420821886126338\
92633165275957302185099422870590053522249007114032904549993730977365291420149\
96682090381492821902276573321369894812950099009585586333359561649806069505440\
90013653426737396188991614973228040428525974860622296317166627463667278129620\
79126599030471319273850437224669462735526588595444145899570373684746618046285\
92196687969390388557185958808986716466917883588660681159034357902748679905688\
97004000163206083980274860518928180214341881464866435094074578829163713092102\
09649822721830577236044996920366181466139718210632719376654387661379310036624\
57263635289314558231722332057738677996120865572827345551829599411050515367981\
66127082187396410530513922027465134368425059417768048831319532584742260454013\
93150244602425576135548457586469301999902981388431300531418250347213042268397\
48677292079136548405685085726955044402886382327714759288192717232335135671646\
63316487878638973791508320927260109182854030287440958740687629185499653766677\
37561516175985027282170885039463679346404219210080351629019901196653980115215\
75655700507012698937150993920546158300488226281521709273464549010969385602339\
92000244124111543842225647592504704524215531323222980868945096792220256278459\
71055416973262120210433498323337024275136808957845446089005432010924488976733\
45013202289833460686799610142928004858101869154355555904842982812931309089776\
54289056957066194210475921165405010923168597943210001073847924996613479805399\
71456911517805404696933133598280062497789470042272801172918876539952332809351\
87267083498839456064950433554193044687148258363782133755722233987531639068322\
53308149884430491774310044449146259821553694047664554573790697015149137860751\
86238138638902709274712858889791997506291027096585744148376095395488418378821\
05747171533674963599445882257025482940190925989066718251741606405938929887075\
06354673439550729605451808055395275192667537769020146115736709301789098667111\
13988260150474568042177052176842454084623864949931022830063964057507361494104\
78527124770027707026546658116971644328389875806887923529128942731388005757231\
49927813800148388027113975837812951990212460963518899770376574255448907081037\
91805625285560344778974532223038222524750723936991475876766276507896185113090\
47500557206372567461999049678958909059916704046354013418220754745223001238252\
80085822062704472576199870130942747047747974950044899202918735947852822913699\
04719733714649228234650188580538396810240210308492241404026378462255514988737\
78973348591142970528120177426850943553216780184328022497872897205409608330751\
48152079894552895768349116407998101399809685401125438074951778021742722740204\
62114946331872315671155672827889860704723545390131315904120157322238569448344\
28737248330953171909891311559215432810747059751262803299122721413577683124499\
43854736225191696038607678995763856208573130956908808830843207681454028314678\
75303410394885631056000068838850999659002354518034757839614787422056631824314\
32390675373437209952436207439885499387725135706261237318061541624435025770188\
73993612365518780360285640492207031620227529019112745544495572321625592000244\
58598401335853425633688391026229856610680537549324031379400657777815198498941\
23852502251197434729942053869069624420779609567832422797249596068927749990765\
71669885299041884870187239417876492568759033200561423914964077055530265299806\
95159719639928177734466647603786046508675512392438233017386732970063400115577\
00689055924472637705225409247460337262035876555518522152660529994430844076840\
07965849211515585417340445122202669192351976597349125304239412943304419462235\
48477878975124467115505842771852202839295110260333905320546790101167911859071\
16341615007870585236698669419066248456221466282768830001513521348897404238466\
66255462384552433811198471684835032761859047594799069947519572454331868160970\
486769656417891383171081542969527
1
*** a(t,u0+2l^(t-1),r):
27851145668258203757633126117056174403661846038303481743491776088542581058535\
89795262171403973862419620899935136486925107689214257477959963826565144151162\
53367847659685998569083013929706818885322992983695290301967695259169254311643\
55314096021968480337600874380166888322104346862406338835774942647121072827526\
23505570148355348502460469528273504192822855213385288513571154996102948164619\
83614414672706975827863666037189979701444284235116706630234517577028888252954\
92781862832493702017295726166901125251358014352183132928793388516333786169179\
56417309949189915401721109474567223076317900063130682706567287601794262944067\
85345354773458461894477592036979510881769564796660525257822370537013950107361\
14639307581393281233156920816083836361029507012155803365776748099794166731974\
23355841643757044386743344468818475569408810614830431099959024378356806622976\
46004427791753542060370812568219840590782845033337921279874554531555197931101\
05326497236114996909964073509483308156346467345432926023273061237898239591236\
25614346731740187789670887100172077271410160233721573157644622913510393737345\
18126735506792387503494108960673775461197664545009746284352583952685183172820\
55641878124257876710300388670379899982597992586479764328095554670890152692253\
95220529123667871510770052884353340967138392753243129414917175805342387269955\
67636380159952445145538458112466470404442717971766513602833264549871462535078\
30230125846136606858224984953179522074345094657670183099380091343397048820918\
77518489577989261441682384003172597121441417535582239479047405590060320936510\
69558402060337123814625772511640697690378768908211241683007264170258635755232\
38151008877717425711717375420960294724749317577689114380939353592773574040944\
15716052891477142816517098369537262486902880521432587825220197703073604828599\
24257206152744244985682524647258120715257921145634349786417558678721246620360\
40001574731975445893987043150753960219267169202111665455685559014187025944118\
78453516386586295347400559529868433712345734316739772251976613341429070587779\
86711990437142500318597791576659220956426668512244524439951141783893738410313\
12181152791812980785660691711650866132932150071419448350110274535850518040004\
69535633363207808562466672458656461030249023645052416292580472539312426693856\
95565594211668124296018701013148923448170203641209680277551701565845063697261\
00822728613788687129881568851077934758803485846749488833057220497467328500921\
10835969941294759673131203577510825443282220866701160701278991873534559445137\
66417675826094199539396220763369132392471143461758063881151539711157678609692\
27396259967893497289890837672479837949322808577018136263598833526470417039137\
42165908716029400460723998096484799238832079554892861151580135043349780229389\
25188687098139128641833607552169031426682408612704132215698368605461878746719\
13385409048853743054891700988680345717624164751458341272623945777428540057471\
19481280407734480465751108517478498310058044583160038503848410903910454242209\
73352568425620227691514035678558533946996115542348637755309709781208032039153\
38657804921126168316101635555041345115621329940130369143111359767797561370872\
78358886626421673865493959554163174758620338057920696382792503530872077888567\
74269839583228727297137447575210616310627105514894600721039664324396471324376\
35531437447638557893640694874831293077210412282521587791604558015926271882430\
70650679853717799843176792356979813163997671093494865558644448043447518844097\
48828854083248031981603432291004648212732073226520770993369378056646177220429\
98840897880219586077621441728081039124525647415767658147991292262204328479289\
34656661078037140357298362643667241637537069300959637363347219468720966774064\
18746239499259744414220548498576538684762278511025235902842518424278953321410\
55886472476845061619376185979514549537409398020200645859767325198486557020718\
70514323012007368060953291555438126472294798773330835634702900622030066231732\
03558136738334560880569975883377666756056688530348571099829566959867909524944\
38630744225082909856369541360479557786399110765627075341397629185095566648704\
26998373794672952022514815860964366499237927964198381976019817968231756610463\
27018407090789412553484734242092590444069883732888789371369049907799796437657\
15011368367567213010117394189692712143698001342438953763202808472540008617433\
31629810178746664942854450683480520028138820724424687229463058047761361521559\
98201777380829931875272526842322494864462616308521644898598040257536447484553\
83234765568380817539051437323967150676747228572263634987619639495824800491585\
25415158531294046983318990381233186482355636370726871788435073020628470179197\
28014488302854029864500603406253935397051180340241174115873139538369682677466\
55859458967690401134263274629036938348619422906082463314140376677142842327853\
99481612544491647393700199134873956281562781400908429147935216330411227695950\
86344015418343834153058640177520377786424842126882400279119274433552987584796\
84814654017964950979800304076047746330380836559237963573525403191511040694457\
57288962017787059905480593560367516399451494677835816236933633626128431301554\
52762557468866227299710213097418142291119466879965328581205577311267360852468\
29959100592235054834357054881890662743195155493636158128548744858086026236258\
62842443642680405641676838187868310682313192858440636454060673135115512288544\
87293181222622373119666460509670108059379507680804261539380654673984322051213\
67422309866670998345037509385288644991424308305408401658765514984654411532931\
50123513318628762931211021860735846869980617652561858254369074261223304746860\
86756006796488257574594024891423988986623092524947084197037065741442910246618\
11753802987845608206646399807718188822560476960094795713363746035589347242431\
91523117869351623240543841240702883482312335466614964007795215784580393068270\
93148388340779003248154492880451522565855021323755681490115887993203690051291\
06001379067204400848813054479782539284661070879397965086662683763264343790616\
17007395070549490920261869420629082438422825543619645483726248070326341216394\
55882155124251522365385991928072869165567185722343911126011865702160713043419\
53245087132666198943639114027490939002516181668483774709062351048057545811299\
47720892699132568673044011726050923602377715432136917596237472473095324351678\
17913505977163463635591375225594438452122914867801893135315711506798702015641\
33695793571968188458927742343802717196560974683861001850050042744319118578548\
58477813736659699250016442733997337587971101180137270197333051321990192628062\
19292042436088132227976640469571464224273524927289067985690508788561915024836\
68094613535273799804398554001560758451091916112159107382423575255584710726613\
87265398344310083960480767957156547477614712061709696698473687086258828759225\
55811234722407278663203335568093635513820257549781178505797458940994377999884\
66019640619097176856799052275151654265102016660457046511808025757927051030904\
91699490635106147209010377553396526087027541238542434602490029714369120263836\
34328586988223080814444449141745261204918727932472600552664210737640325621834\
41036516879204474141472375200475509404036139753135692714024271091749337710305\
64669144738310913053249336995606177607496201753104483379055995385827819430652\
28127461759042649809077828663066160144808582823262540503845042919085321163876\
92436013869662767064653550091018050640706599222763811444086720878215000744754\
34449000233072753687737360700038707944269544069172269495670147915076215259632\
01899961857293469505643545635419857674350007622464027214047717831468613511392\
61008312359069657091988433377543467690345740418176410615805139552936036657368\
44692077881396510621258794143294331139274751303074116976028205921439576976530\
07161826123416598061606834382958575010758263404763749344350864289733368513888\
92403449441053476177689699265482089227427310638342687013439798367492352094452\
90161202096672280892597866024099958933588030053969055522597946836936854000222\
60676991372995675610770372910615715620720356342170282779125687377748815670489\
89404843029627938471134540964219514803894122778619055742588052498342579312788\
08947849610055697161317520802536733305168844738484691563678062898343850039371\
85888390246592274191755789079579658945405395503934255229198306526406066043426\
63345936261558289309126366777295057284958212824729285991827155223063206850425\
39561469561630173276898814051816099889111764766794677654524626975548480516992\
47986945509616277177786875992374409201665043646478684601127144775682932387791\
92101732611924757510109637552781337908191144423223541959303062796719693689940\
21840089636572309118965438633352479206052727976167808090252263551098422926736\
45056614112591323127282008446802083601533564318735811872581606397881499683554\
38143602971141498270300812669375336649632773832786896110297313670759156446462\
71994251733509601019740996554472969420188059929353515151160083118935036478425\
12012943260626307062805010405239475712803659577911724710019433747042160380124\
74259011116860679187157846842657396562842773209288130914916618543410953229816\
29775684117137869647539797171775103190135676585052574044472306207978916905842\
10961617452711589472850712137943411479543149096737080494642076159077557405348\
15128654282751020416184342672543337442026961056659657621422060358730746687337\
22422711631743510006611576152310817392600681982928659164763405728949160992137\
45998736570626870945323337559066960908391842615858678414354528137940146011073\
33146931039369825809520338275815001837284371938897587826194712437053437275872\
25100034995235577304567656060298944901934018090153371551275066702082605770773\
48625776231283538960208252816956295280532687699031162317784022027200922091797\
15813908541206275198826657033121632487998394589421627460695097609695113512942\
12370339354539058549549449125605036219909315981044617580857769272481037196861\
26209208912778511323197857240880776622032204569033224461872410290716865104748\
06013188409469034673600521585946881227698463295320539934175711750580341197679\
24301897950917882320962502164289216001453424116429614859165409017367380292173\
53019827178972524903149568839509534247829089371898138614845452706175316074271\
09668138422162055362563583303535636077925617635179979105043835605791199424683\
54638546086434038664454121098945623871935648145673126619930361714095616706677\
36865118414617781056211193831597550258741227513308810246124444158715246868361\
62988058555241352650990776250878994324369890384789285706341549076983349554985\
70689387706429347199803456094392406590074914295450365013138078674434448436872\
16230719387840950743698929704609837599738814080013476018784138316946046593252\
98540189954786308353185378138754196184962808653943565696969798414081766508554\
64767743093389242013404118247405131354605720076669474827371741091297339418450\
81621205864524333155557536512819860586864647485798321159651341687548718473136\
10417217350829454806555054213722190460201877563635386779587527650140480864489\
82416946496365116634173522498609478420507177957756552933276031363697189728274\
87295008321386665111453808366414397786979025713769958707077894989116863094412\
72829505716129956769674235658573822968200075951858861549371453017256680470711\
14763693293967000734135332175541978086242766764682824051489133570437735709248\
15948192711351028491481310812245884499487073355932756904367947778825312759842\
47087695759906304036849996787634292892501717139191918960811306488896037820159\
60531466751020156939296310284324117903928932001811697333982173847355163448223\
95147050713774143332037702954531270099784576299467482183726409150472623026197\
07990765904404024691586489297933701706388480976773795126189559097863836030773\
99783130390028799506039875396999628632491559342024085142578414472027739926533\
39200422747624436145505452948847448944203881748659238772826364045748233270714\
45208187502987076893980216180318040654712871466970362850225182701475579851755\
26371891123654066578226883434088615544752737733937042808741359305993809886063\
12343336079446201677163960038071341004270935240959341990335223422050708944589\
12959912726734497119938295434945632850469626893248455053499528249163065485484\
76112323071253318444808261781193819827405642876387153816828396513409351089501\
04649736395075490026705935491906144810197703884715554252777254650645885127667\
15687142700172090716070182185543750688312990736556619463547401321360186857973\
71877695388309304796735183362083895633937123450760315569344175067728049218208\
40846328746881339884480183024744310814657065370467270398167323273890507203274\
40146581402087566836183506584627206605535570785968666724621741965046542977182\
29673189357849959624346081419176952600338420051870588645041245438231262767065\
56535959219682210336928879296805088852288346350142527825638618076250536043788\
97839959244434292100660508515939160477877933050308187379255160375344279112317\
15428163849873310535412903759570736813604534479014730773772730667387651506361\
12829032360789979518194551672666501208262871826258493497616853244074411333208\
729502075584605336189270019532057
1
*** a(t,u0+3l^(t-1),r):
27402490285745989818538664358045356228633836126905780054934907328751932293032\
84135611107924108112467384132030357336578110911073259526022566639767936128900\
93152504388836038245169656827989113004890280581231797397475031023271856162881\
01758850361143709278878679377760234606878378449505121481543128205469803996351\
71082308175705262343189111283084463852665857545759503196747827840031896955028\
68636735130271795300277262495079112618273558466769101690714011098092859074158\
87569763431226765057909301829640016666144068643907568209990025380382932116887\
94789769640219074137505032122436648231222320508210361919472647281071430951164\
65383161945633232644628510628701030532992607742934891021946669400729958346028\
19112280321717800866327875003680998848398300579494061799785301104382364789575\
63995710365728740078158879192369107313643860753624984254482608867924788672420\
45759003304401874096573017570218777483372464630074732956902597643190616056126\
68685549944826899066309138000656439499552781997860896236033222581029990378490\
19501600130113642013629100814791362271994631010625686601201772730269210195107\
89829774463932039253747611542472091345961518771670060160812827333868693233233\
60817411686072805586094806201092491432692448715817760689600830741867139080111\
07565179831712874819766322168744179340654131159944293377254321672170824649745\
73362188162332393365003142182525870509451695253510051797583162394792987921749\
90337942901898966351215164873388526055799262897385533309675083676155212842390\
96344090117625122161952680171646892335098495072183764741466716280678927910271\
98549406735945075971267488691750574927088900264088879673243826209647282267229\
87722306132475385396658731207239744747770704035545423566872176893013900605340\
34793737293473173973128347094687219844610764726167874514528918186171551714879\
55217127243220483914042037880945412450947694410946311933600423284888066687194\
74301425448808555191853422876949993078188515918806273075358530182483889218872\
75702716246529762708594850392460392029247228063805922141349976447453137604333\
59912416861327317537752969655349964608925371497796967045007690924921472487966\
07028296551052672544999490977758101250989005150814178426254718688308935965010\
81550548810888475834694594711490991397791480513223814790965173725172325644265\
70358217848902714610952724416902410431037350298786228178904648132938018061493\
48269202626205969741172200331791673108413838615017464849377240489453604497808\
37675043535796826741593774027935062455967885214573384878333977134555687979478\
69313054034595779968129614976598625922703950320490585776498540930184878334691\
03534858010542053095629894810345714165752552676768773473726733358138179837763\
46071538439315172200514069998276246091242467368754562273054060996802633831641\
96530133278714334747975073601514511713489259527245453505903971093849729522794\
29030997255006037156857510018602471499124642890530263903919966477420397528664\
34780838468080765167046319904433615437653144236715081254096206019460843455160\
50609590247760174457326077235161680240291097572025797246240284468747431770864\
67031347097117940078047953693559886024539449780004353283309070205243201646187\
10058185850531361894922185732348898089646280567520486899550492941155427315393\
78897462985233716820231887701012675775263843592101998726772606534784136594243\
89853731516016127592999642788867468033835275529519381296820345805012961430793\
03713308307127550279408145144289927697910967593847488542210274778807100324923\
67497038589961508541998916033528736903233291377766409131022659451024863337077\
33679892090327572918998047995162757205543202042279455476462312337286538801184\
31372229115193915047949070556470619405457785656706260305449432785829550952424\
98741653237189884838774616490544946363942068324354445237740966082871733503345\
70475661891716206847316842215284451465555219365600139792633526899130515829554\
71113224871789157670875977069414959627016196066945084874788231838775554631964\
35718910248125949614835887052542586622439914117839858058568371953079454972497\
94637931740663978222995558661983604563074218027147333111610554613340619478402\
96204100115204862336898096398520083024033351677290601349392485088941777879439\
69829758649426014333911869873880442146953516336943864635522956167029787325278\
53431259583455225687773495646364328924530623377814782265158649228248781712815\
43140110634355454726922470684861874724091974789582653854019415229148105388003\
25368291499850019713712994191826593460202375897108037236043177155494348578359\
03703102678183852696414920985415015659649689574197430210867402428357982144137\
16455558703652383277268002927756071954139250654717640892214929341237924810759\
15791206582981536198777545358817378816925200979122047395295257488804867467048\
88169033978124136927639454839473765859732121174014220410690779531166563579078\
15599009120602686531100319842738440257200555678217215295490163279239795279535\
29810592617304838063851995416296381613904987173165583422082656629790671799663\
81341803333660682872319010454004845831874082066957798113233172408995992950928\
51657293484662856957808663304748213161294283487238708912175099255447304155432\
83139368810755618929330742502292447309973800127252132457840431704022657393878\
35176611982942544657347585596308780939401429320876220017432098410557998552155\
32957745046206000098502366197233505181854616021811481219980389676929017047217\
63210391438366994122695377502698966293862861336503821142835489233139469279632\
78479943041061676190780399568673090611141141009286581062031993677590585820505\
09539119671612438373459171446622382174429504852706462768239213089729001200752\
82384472610175559497184207885738100688201654851063178255820855264814957541282\
26186517437855530255362133144148998668045872002868981160360364748770683656122\
60308990815694162147449578618485860576153648526012740300110782320888267777208\
32663965728102265897192896340865562474955250224364326026210675423300780546127\
75917094150384503437369969339463861452318327482332074694932058126433567496591\
37427350292461333073962731499355008000133486346510530996379976416157515397543\
09752702811221448275237270868512835337621245927560180215679580381060230677168\
66018090685671576160160417023330614086738349745695312415112152084458105792034\
42986851057139107219822732726746509715350565121582047796050251726936415780957\
21714155818919194704658676492096634610886734083066546653582001160344695663468\
67601561457425949983133367312242078629577960221791369849987278734807162517184\
10943474729749443871763389753152275148511839327173472783993113692267921867015\
34222901727700095401503658652837351417686714736390978910332421286391772651450\
21644514432475089274711836279106867670591055009980583967341163262619901260138\
06057901221043626598044274793038784011432566762078685475326031656120830278593\
67179826975949664508777507361916166788070984503750007104836657248016773397656\
03493921501317420600121991953494936166655515772494293594021775033202079948622\
68165298096994152272557917939773038058364148380920313598980277067173583010515\
55956503182960503304422419601667580417231065648554206739548182559710555816278\
21788097152525839489874926777171690789101232916963742273773570318276300052023\
15176333236950266374572457960980551450250290200700074105291772411830593095338\
18008927678661541447841135016697064628225544933916303791887192165741939286391\
91814368045244407743909440857829407941413927859819660826028322648454412133004\
89408310018661420604787440391363982785316007423696136281985250860682174617283\
54781375111141282264536524454180132581702485814419377457191930555373084421370\
17646344501984272281336822926604105757291843732381747247768625532876348334511\
21047719749478103386963423233922799163053472781463257594753897771527910928581\
01222416284997247659127418215699019279482107984364828970773960651856622800530\
11856677640887806796884288992308276141979287046894787470472366671361744192063\
94532830811347944273510168058408138033790453361649851406372701101025851395510\
22276990272811110823979772107842476087796732262308803626549932810325352716690\
18076140477725629672962609077559225222170921296435601313029632817452302322619\
26027995774949471556488366192334778493561416012833760968476309716586142417919\
77193781729608755524478434360825587611712371784540023112742819556340045153012\
07802569258583992207492360868862794899946494402521751025416061024922163865226\
47350442170922376185697222251724886384082702880836399080164255041617711933695\
20324206610452694026224014297329963948106622869026115952038355578552971890838\
64347925271212214947988912288610139156262414711325269288335355465421854758132\
01166085714297910087309241976309626381172076843961883052862821882989030735847\
26363013141756518665504231359059299107332899713849113540061704436081673790262\
92299901808037607963592125476436204832476359880090205094889798084984845376073\
60549486835695939541108241963136973630271771479438278847609796773772514205538\
47011495599674458250145202307013808817801865805281176480490000489654864116256\
56210229029476306412147869136394018427381861125371469574279795692030107638753\
58168393047097234820503840092180213052004618597932768018972752328544312296454\
31850711595356879853089796081198350328075911255030039544914260805833433184444\
15380609046473742516047544091696914410123181014854731290469784293472382738222\
74601775756634878494733074925569750941418762694479994271155073294653821347902\
28405200541608098550912924438536762033783299921922912838906437845755236595777\
23071453835513806310730047820318601559855999156734429657990832311053815609718\
17508584617369328847368920584730312580093693139506539047970759555704571229236\
86256339935116641802237116154477445418516671664226447187509929974718131525262\
63142804686143472748287937650927603711859634825279767290944123298758265339871\
18490767592941775078491031729529614322934320804150466368278895665861144404346\
76840287331779600979701485315067331645469108336818315021966163284794536422763\
27105912759750202640444627186173263562320421135668536192980811809121178328323\
81531235406479304291008955041444408308741039341319844111743909243853407623278\
54148380148827986088105028077534783386339897101966694002710395847215862407647\
15088602115485343194393414055771121494266344984303473865433464028498404390580\
83745979668684791449289432654972522124308432004540845769795176209407583228131\
14090339555398411596817457127990650440446759164271617516013393633234084279404\
13150580536383685260082622482277473969702221766446955205495898348357843304409\
72896374025904463044168456182091165839553261400975947732876870467783088053130\
72722665667838556245968959337621079373225053754065303542645112544801934318516\
56804102632094583435476072171215404920521028588886234403214398935292345238900\
11184123935751001435740854880346560465374153334418293696323621346332202600061\
89352214939817001890350289951894633588563234329273688972445062329508900207769\
59939616575661198409423436240019106846840509027913874972729240339791253787366\
69193377345866050319124878393923080379036802104657624571277780548668610463754\
95554196539257759725519608231639444662777380937711706584163381191274831842582\
03998299304345954987758789483156896451983717851023464771004874468031975580848\
39061180266926640127513573416828166791173180682971700491799717540182852730040\
94006028516496550956922132323324947078801407985886752146305019252028870299027\
16465465221023055025103962142975995733142953418238393624391793497129434980429\
64884739281672868165800830688665860738190299887780034303818892236431226490569\
78620518298310619337841308730976243443902049048051029558709750762670709644114\
59906651955510279560247425653729069584724230353851788513252180822433563579224\
97432224943844940282274672943268531764805821707022457996539356989826549568361\
23079474177960101982071040447812731674966396664727925137080710102012512040826\
85867782995504013697422914060932496009717496833673442506913005037139542010277\
17396879246817012221948135621643569693350277274778205687906616219280154956052\
19331609475935915900456238253071430926135220051204110954555349934458814004961\
29975428382933321825565063909971291800833808863989186260816140557416944232310\
90499609068866338098113704899960214303544089769332590000696092728187143451132\
38032082648934249171257140992036529094543961442954337145855192308070424772450\
70948688108967335847038072683174396588005594355422497960417145785824025235726\
31066778362227494434458160581777711441568867434824895368103190834914586219649\
90869869919484242711619907461768256241434584763508070255445916579267735711771\
83985607971818498225439534359596037230229545482105478784819904733887181070486\
67113398203386453459393790144766419287073984536784693165009602079251081334634\
52155578216143339538440557821144040332982586123932053399698962518640552191782\
46449724461066701273760153360168145501158709841319331820481533256534519969243\
89157326018338796239303402212018791858738538260641507105793739962708544356940\
19313818704420376378496250344606198214821214659292743292574698235185975958572\
157651360612362623214721679688294
0
result=O: not congruent.

code version 3.3a
start=Wed 3 Apr 2024 21:43:27
end  =Thu 4 Apr 2024 11:42:11
elapsed(sec)=50323.959229