n52-L5-f13387-r2-t13385-ver3.3a.txt
p=134425414898278543735286316029168377916138127817086487907384889723548275971569120533386709738923156802099933779851337201011676584785262991579727946605739092618100516645465821474174022716149701917781998464612360442176756707739842022927629951547403901747118185065039626760203988793781020692073651650009910841463988027376478940019246061995933002308054224683544119847892708955322264795407323215056073363637207314509017227184750572518706808881417877183796941983299259829891971264021719777925430742681682689969088125603045793786531443069515800078285019662353636815228427112364067008185303932335309885357119884742332194467180960718472687054277635254220490047117842077413836558489258626455132242372882349961831924581846985572530914950785757058891371992885391299243424351644122120257616297648503628085041993027185489694740329337741679266273809900087761648251159613701268182193197025578871588691490797053118963819154812601375814407004933840034252189401134958909901059768694504718710616983289107008724382806839508575400697560557860624138440668685064472112262676557691833494172697143944468971708323011386985378393510006657487681879541084828570839045803927691664290635147677291231362164433656752978423748361793286670963464637323132251943003880999884243864829652552074636055211915537294082349434187065966915659913473990807923890722894670241067422575738728586610352636813280608914627476503463943661429042386338127820178113329986645694676447674489701174991175267430404375706576068678696705754120266300771259073877966700320980324733448331383399627948388822892965673310783954451555475376422466058013417947635757409901605243265990111793033821624561301979693305269530572247652611919831724863037442466462724955034068630126549156445344241701329138158540836073634867389940483165727869964664985587561468057323107248716676902758180116970776118938840466182949052325916863253190770235329461083572509138862162207486872092216842807045375443126657251729613908925428319160685281148882007778289843948509459930417527139801797265599471345066064398256167217591129848208013465414969188698428142442142559227226529234104371643515117778610249907083992598234587750904600981280203144695683725132468509540912758813146503830319747901548625671391318226743366476522421965785721554837041084851662184012513693510943584933271379597097528297263408080724904172777901124403490871859684239736738473751762706894528543837458351988505378142914961917077048319952025336767211307471276608275444986126892272060003971581030144797919822750864003499211690078944587404210537455748543002359021688467439804392627983828359687044229746586302821501468383744197836735776421286313793220870853471354917705714957603942246587922725655172901277011471924633864867379728952879894237570871726221232133287857465050018467147489534178383986147242201661917258761040252236778496900611154829388712522024700551094256494726107132219958358586289057133244332458155565406873157827814934924024883783877238787799786414170354986532622649253558166438089914893252678466922331897207599345471195951107054129922790865493190814962890235908525035710242700808218514642336511401896781689275592366916272361667273759871835389250005982578416284868373780536420518513034591032048718337438542800987427507536525279376454353006259545784651204245338896612271602273493540513369283056004814581357191850994498368326221693154332242302146423958645205402713850903738650734102925465596352102477461344260577073844792955592957298916666315922121839570242285444737395989130247417087426200190194671323359752455917915416517475287553602210006106437087584604210883374225515383560271159419047320812766363376170981744001408874591204485399841205562805858423233565763224689148751264808439047993316702196364237250547325426893978525482276430246607141089959313262713127121795050121852527735287787892806944074184857687140461340700089412325563618102627633776810429578307649924677705991914223073124247888122890075571474916164708030254323011657669379548955408369922105297485032604276304067975696822352531222743777393769537354440566003514480317011380795804154741587859816977778930325242149911639352473266719921424367000059316836776257219255846711593137940761489666002018166747869889426913391623484659602109890035356130693561592545791301383164762263159152610697052854137183672365561335648708491271294366022419899084757439123189606115718440750675871817338160912118589923728594794766864536380634235220158136852836333630872266772791044368811011490523221716146423712281693170149924953413234376115795726750558526359153677730087933152980309742832323558332827899776441574027923064944435832225350938054459678020569931043795761214431835599760868143323219487380100252373872377500611311997278214876418481220331440089133929215278652828320367937295324293431334190787975290537978110612566816309073542524995678076659470836577233593743345569118783817181074809606018646506739418188663697475567240551300244782820946320722235755049138607315651252335302843262605300472070086199731514011277998600299890095134890169871987782174381392077880569156603382897438565813968976514150546415756195146573018707197474554782037647585660829931955159982721080324517629168755474808946065840038990941386561870577209284990549962586206861122127190954126514341227428566043649441823853376542098897231135683107833790357195781936080310350607555172492908352099300122901287073800176157665653311687481052569635402798506245636392734373771759129888848462798028964357336002288635258527669242542278975013951086935752081893836457611313672761262298111753223618638208321850319476670188433252737319480349649505063830673744574463087158208494121718113671316848921635718352277191769987765931555837721689263461269128357818620884780762864740266246621875059975752601390193128030773463221743418146211525826729922811206343491553880011742342949996027121957460172324866505182844119960325736519781809765551835022014104631758324046329238109501921118757406354207773258265090910412963497555906885267010103042093445869488620766761468178270659515075346600807115570432061469259571235966625429407388664171904044358130194894122286473468050056265375686725759759155909886607721248163188999953725446561561943414079466098030781596344378659706336871544532926606451619299786002102454852891309313091898716659486916574713518423871792115424378663879155138033684765047596954960597384569712942758535810248146085705703287451901931175347877220654698692409513279065144189246979877631613707302988235988071902891345456813134273881446462030503756040874862822056635931927159567584940985802964772924930012279300248542060025081374857542211156602952311295648943672956868532328075480693402583474747878804700211991072575354542052677933653383345605400559726312060805488933214732290644683384799962977133734447230995844750762243451186092272514639016087536564984123943864397197849821768805488610140817942046180552821288746319786115044043401754235154761470083026102347472937651851052997258900530416747606206879637128752627188930306898049419326905428535145875622359416937060050665562349312599730528483500985156102384087027463814514077021808989586121484050160557285230253933979470342086765112351649150292635942074376602380568819458386531657189866951227694220875039855764978968530010108462088611345247925197903819520818586806697128106712316843528512634345842408167376473917846493507565882761377205646306946870932432284653408528102111735656383368710392758216421130934505012210082188890908303475760263710412840500382532593240111385336270563577430981566309971177831413888254622600655788883415148831024734386742909204379099138207629809315513337452702155927845859389129911816910719249592040350930748835692938374734957777652569041724758407172986873386325766817375787712568295588606411282804229348477049979775126166350118613843331675496917291970851593432479774476179399732003066420564725519192545000111967232183637842709900410784537619555062870996058463317210368682361601593465893909043997734939896265047605421009111546459209009741235336380261770078957504906287370546016698829466214354960886076409872056286599420396749911361246774768820480092933983798729256658150745420022490327368668788989617791645679602189698873078647154423903035401773735302099287286792223058970076183821848009890940192849533855095415885775671709003956648219442125508908382344817924696033495108417609247455360679691690222318962195606879641480629403519597267144129767057144694869613810408630576933362327876238292494597325705246710766767886373009272998313478928286557132271176415603041920123374096918129624834949810139046402526103755679739974467238846471679087176479082251816616583137874799062227504425002682486562971339390567106055049119214588910231413544732207290410545742262009458706801010540783763151567111960988989004824612473121012255900902580475141439857449461639818556209681709458432532265130279755419472390068313781337449081885419652429945405273873970990060445714616712283723714055025607851086750489159797666123617195683338375253376888835075539895406844317057599993914470040629270678768999679005526864234123015890849014300866657650172514118153333575987191162778360165226440415578257633940514447863019527524618692028553565489327453465726573370807430202376680094261707486730850977829955684572608965254170682010659505353387332253333278474246215736185855368662061151378142544912358883351740075682991844707772954130434067094331888003693219861790935000817061065016631964411115035754575008423408917501706838493191753514111042022705078125001
g=3
*** a(t,u0,r):
87107668854084496340465532786901108889657506825472044163985408540859282829576\
79010563458791082220560776075708934366650625556642694085041854366370940051893\
20165291347862618523152647667200650068427227350050688095665305383466154176308\
57104208602717728332132583922145678140612184738370101408463726269206422225268\
66424173995835313247144817336458549561913759493658966143447540304882758742394\
54433563355396369103398018431632157183709921220121551587844151004184051779203\
69769997379086074416095679121257730383099969105390773674373672375109046238450\
72869274120515665626802076881191542130407694815328080571141368531303126201473\
32625455703012111719076447348775505323616661641660899010395899429256930576277\
62775267087129036846651000032888109170574161609051389733561909738979865391133\
92693536087623035099910721148161619732219173341085660816454542881525686954806\
67514296784217820611916725751087894720860364904210885548123185656915277357391\
97128342195418731935453373615886730114039057724479805171341341653400058832001\
55685965201924149368444170955330792177792874621440938430810422390774927601589\
36669933113787665251989944843140520178579426229689139037016809451441984603315\
75694884717922682553009575930018588938442049762784325084985389699259066514887\
92499002440961485374436416377732126816656536243335321874656134762393114604353\
46811884357463162116898290786961241235085086550058345766786047742446354926060\
19466347106827475417437831346410150338093069326361394281573294902035457861292\
50379546532866993256289977587987292242180799525042727451873644295891055595723\
46417563053880024846079480439217580055926948300679708016162401976363615924418\
85916412715723682841261814655810816478892524050957711248262718267845770862076\
47232200385337658306862246128152673446177571539406868143309139165973710291066\
07398313011453734971684066329873007157970629250723686220865509859071941273880\
67619112493490782154985921982681110451493115756514138965403287146073899120789\
81298367755081612406218447554104033181887863413003491055758659156462810845743\
16028097300699963569990521416387927255889000342765814363025083783792427909436\
99632824997796320539441939790427203656012862586181435869571637762803053885839\
59418251146771091893448204719664020350943506157421092970147678652943382914756\
75344026229838770952401088733950914430367598539789191983366266884363097379039\
60079928613462084965075387349406530991142234067654496406673012088551485036608\
89532226592731132891241822515292724138724216248835101022619229488257358450753\
38290520451425598742674891751711560926379284282713250558655286460541269009932\
46422933520777077204660875787924228332951512666240198204783120993531338007124\
31304943798667330329252735457578897392622455204002750343380716274443406206436\
14661714659459248785913584223705316373524119667115732181475928230234129466769\
22383677154083449432465991596028329443885714272005957109078208582517421678533\
01636391530902234232743288480638365380627242407783076812469195245073449426159\
63823900312731394767163056918518822648508277356465656710693905243758653349763\
17371076189968480839587648095952872868724223140237270123725597488234059388429\
11453465058385376174449036039339639694933223400387671081375259470620978760049\
59964464149887675694826601757350398530248836683810359424207480561856684539803\
50979605004751998273223814252663295420291119848719460319444434942675391657164\
00729301179088272520209310095857538562264567569869570170643616240539495108085\
39438514258352242363296979997727175349520415170009681898326009564003262726521\
77723246147017537119591434809189903323986334734232083956971232754823528652426\
49813396854705571130354266388667260346775879617011291295073510050653909710120\
46981962582553506145695985683908195958685030996692230232440257383546668766272\
98084512515126799801427426293634994238106374923192478960437972466486554538899\
76007178778126701894877365793918696522453050270668737315836674335715119115348\
27604165513845126315036327689703157456747308036048013115541697579477231046237\
09524232770301127571045036048251540884440232337967751162660205677486770277383\
24542337475568109227254893316140160074685075691314274230040267683450908298981\
60384373102310146780777886691123533856134453035693077720526196883486398777720\
18059422167208742910772689427911969672763296290765946527130891731690249480895\
01969288374550036310234379874918252809460692282055182686476298554960643796493\
76351282710528462705761294270089282195746509844226624726806379441928052288687\
68596750989535445859047672062882565558537174257151369811775875723035630934361\
92508073158316909698068313124071335534566579967247905513413997009414608399441\
92820274078592898713573293153163796532669518294686450425568734462278223049635\
38269300620396130174236283239919175830774773177758786131500567032751598423367\
37014214350455563060798826860981567694329696827965555619719939367533710210204\
73687456879287889719135333364766247000829363671429862540759641675718772425586\
19267973215828008769271841817540542011513276242434168234705901415857426021079\
30814309299432878164740883007704808284899914206646660881347899211754019064745\
18967811695540774100144549793161222639635114987603956355082177959069436688032\
60050287423701353547676197050664345266130018492092134031616673876375755862046\
00713841973827398129311537371079628483830185698799928008540577592265387629615\
14628666945800411071936957517754046121603464796400340238225141501673433459734\
87722065123741013432047172382491874204099916167973803893122768903553729483035\
64752592966916739677580904030433436734906720602453213125994929796917641608890\
48775589925590070208822821047477737830232665728792813622765864842520804785191\
04190873337659013318101219945492275620266952072323648182843654642722902395175\
86646633333793433635169252781097503886428768570084514696394120416768973495874\
50687357209899816617105825269142476090382315974255750284341916665134953584829\
89734291077264818612728077589094265139801379393982021346294957244884954799317\
52663707135577890994760034641622766165302254677127655292342862625686143137951\
93873657688245973230108896399758320802021609063732782559878543833938207440683\
66291391241634807296436459963444998292323933029606521803368809746471970014089\
37189213933232349403152394647443115737148970629276085733644098064930626132936\
23907446735684348835503683953475219404143599386689212907949973741936925294458\
27727750842826814467105201173986907531205040798663537295730268832451401625424\
43898424475268136460483421343463204296070528568233233637692027059307359185601\
49110094751773073957664339144869111086927000838887993997950417588003211728553\
54647956986561055254896252730907687352829478713097719580515500076050808948592\
91148932487409163662546544573737021502882974325013530100739240795229956270265\
02154019568287231465243377548333503760091826599218056853073984939337563685877\
92589486082424723694109712315624129384206684506185956619371250026445924998228\
19510761522140254854012433674438028543261380091432116246359839948234222376754\
37100524488220580048594317024184268388699360237238347176907745274032889021752\
14912831284402354564625382457308638381154344888393796551805121910132225251806\
72166450404112082920454921869678167222379280386864938962809046419603834260859\
50090344725138590337843955458551270258265357063716074465502834334201517206555\
28241675049490444250739739013149581314606476187056105880492459955098764527792\
90269202937242925880690157236421612045540872621016840470533642292433450732424\
08928455592479121332584013085806522926508843475206442478811204195921776979033\
25198175276054968861323234756199588995445224951196453016442504027882609405164\
43765624155854411643645264266935099704124411688415618285735814607373564214740\
31252455290240668282526399188647390376434478480954939543390968976595104377442\
55541416954511257140617813128386894281755794876861770478925722002405197111832\
54424689386056425102633798704052594213643676916007255476645499732207601546618\
83803774716807404054458842295523189061703178325658992530605105322410527797508\
48312813904282105567438312320497974409627011164463179274216113818820841494106\
90201465417751359709247371642441709394256208791005019567110022122150157655831\
44816830321745737321348973752652723289864003822189248697549633560666891669403\
49380475760338161841360542212609367116557510409329244966497938101829493982635\
26743456390804619849732977263175944201520302970483025461079235107372044021526\
40626875027532580076794478534806990291093960890530297622755097491447926138528\
18788463802413536499067056999868576865590369710008902907134345529689021711722\
31731077116423994641480294799689304747697010206883691523368047150345477077251\
36480484903584452991771675458733428697923234228674017382512928054279250874847\
23671829251053613829955976986470324186033640985782129242007054830427878522215\
48855072086487512634888258241594182378487214789165302762725114260242442387374\
77290642809078044212815118181087642673303066670050617519347746046226174703332\
01559168823071629559852966707656593887504214316975548887648103942802803267164\
18822396512894985222363511745332479605657658632776739984231179199558140802371\
17142972701612669615941573117891485633601572396998734803773870667333892947109\
46793453362215236653835952912434502710437084189845790819544283214771140088701\
08158645140159143363381128360305060948470260194290735946899499130015996445131\
15477970484342788930156260930363691032085564119275690425787153706368742765212\
75477127063426393206470440525880529455570130777512938402543168964605458368978\
541106031343588256277143955230712890625000648
0
*** a(t,u0+1l^(t-1),r):
87376519683881053427936105418959445645489783081106217139800178320306379381519\
92834670136133030005192136495695690336918065758978011042094452682316529373041\
02017653358195527839582131147654973062465582990019980342874148918600308973149\
02959468505812536135626820292275757394132592715957663449847873572506442046951\
59221779471131101250994029735645150023524604430367790113026082095947211701476\
00897864476863641847544308611976700878721371594257729216201694680122891445188\
89429781321614117855651529982743093748479907281641979765961245437995185270050\
88526278052986392989847762303664355532044755601795142548212792508251592640366\
76244670072465852804629152433185306265973503189937630180181071958359575423735\
27475190750978200540622145094718010742088279391795375504344508225828568679378\
16745059347152735825527729546767056830158121406953209152307797643505704507136\
32537489058243184255780666262665326494690180845273264824506281908942793645532\
06996022263923110737723291435688849651428067161901039137919555670848824445680\
57401045341436260940568998643464529190687297073976249969177121225314356390483\
16104099574015404959557815043273669932217017051385710453797725529995817889128\
45990239300385406881876889435975436435165636336126252014260035963762952522649\
92475851213927415884851343588774509924115352713222159287849517894375809402515\
05289698815356566938246742301735812967292139286323957945078597272515633799288\
77551119783083115773664491319701539690988418305763744263923829762844209274444\
64115285874017817309550131839802067835520863721107674141539920975816645273488\
04276876520095703935110589946746029377087216659632423164360434081228935726654\
71984055964846286800648425194871960974197747890621160974337603200771220772144\
60958225695168947375710586393980305154344786266380346131405772311547703224063\
19149542372600197116658399867928170760310044773102463030189168840118459611145\
74000652964149704322130940260405434866466859940947824579494038032327213624249\
04080152840745444543274677330505588839856653114895477139264087116822263965637\
42929418588665086914342344013352087525197299726539782925873926634976972440021\
67841568284826556096662439604595188852482038087990637832132044052194421336104\
53120159329322854522748970783613600660668640435684738318820973957427776071901\
06440767051535804196081339007821133302066263967381133933932212152524711877123\
05635730862269066708794755828880007938645759481443553494347928792528495792894\
72524610008140796881646889868734985632979537903924098247997683900258152766959\
41186478847880616022744875985513139818127368493462365529515333640975038358728\
55208189488433796578749335281096833975954449433728593878254673836103965593566\
05475638069650871472244256246028214977167586238583005745675101201216379682381\
93719312544210666220438008866371073522825120036458681972159495909957074310802\
46218194676163953906022985397250639102663139316055358211266721571969635942972\
93308108788713660881609780111751446755258807970770061617445952020521206986116\
92107307412462047220148128081847584446806142410034995157331849395745562773682\
19585184449814062570574029725878653340541273211657755525342034517518732411232\
90809802913503849557703508372794391669300301250388867597058516444295734867333\
70334724841708316669193350528206418278798987414315946953294540687047600232827\
59470282797976541477770801333690033986403129477882174703146423939412044100550\
31595749639517557311938351176400308743012297716690155263762886661034987376937\
50979991154211354222442958331053493791957206574855390793073929346608211068270\
30123626536360183839096346645020736358936909841436503969184106929992737074193\
24658499931417625362238075852829813619451113813360091576848428291550989678361\
58238079751018177460960479466883221254853811956558564276367542128557615274810\
86041563479679660294641708473553620763532629166782579204143027937062130324513\
64822015749664129987145505811801161635176670796195492677922589997245104050889\
47442449975307611272798785491214586955070602196653099575774850967068210154404\
49368443365271192779597644184202934529145294783455305950199280386367902284412\
20605739751727270058203210888103555630471140739744256557910762336794892583855\
00385559439045671925163003625355396614949682829013118083861154281274937045552\
65028741371428522981484950815035154764345899057095471053449196953084355189169\
38703761486817166051932634133791457293440509233543007324397521698648793931668\
12698045928770834504235866165984619486474122528931027889543436168600669734023\
14178839727157468840094115495175412983100560597451219718602344475267222387863\
04213344989052455715654943720133284101031291633813485468702311814999221388329\
09464781097353987907133704551784672447893806931398445642931600926667970651640\
43017045375397352798230839669672012793215436057937053989931124338408239159241\
96079073036722401218393884968577189816843060089780264124719074982865604377520\
18359331746199272094811676986262439121202293806218226314033591187063583451591\
08833615108469453240781940094755173314017946848120693445306845556029825484107\
33069909019492856183767861041679205841334790485062236995179219888333506777907\
98347341978551702415268452724621596783584606083244709306795394557708539887687\
02210936458959691058625814942796025344111901265215875186035243857475681034459\
72938267412018223432179782856792837213718550469475236428320023819402009196373\
21772582584522017278949108621203904288645450798858365979701145024826746525968\
62684170263011819029059663655277342951643434427751500818718826832268401487612\
91804298500765248133375906820650823885323099369744735388729482049377263959535\
21148354092027076598356224816142792576622272721782914899379339734010066528355\
21179116773886355951799063216928980174650492047855511294519098021249824933432\
58210357510749586208117306030421878898423919090362553322000275109413322179503\
74917873744498272841232695100220076325229174974176292723491120111632283688486\
77974211728737858176347608692764309168010642910630114004771176248727192314130\
23505261787230909176842627341133947542355656697736073981516760349839495431587\
59286847989752905246251207808399550187213033783065291148026317117376288327846\
26681179486207754232536572494196371743843451341426295018811306072849969921540\
26501526321915165296372000803762384612880911896650394640229419355254486090136\
65956543793510535097341658286664957735637869755166648750258461315214508397218\
95097280938020724388299970313412793048276661294955708707136843736255263976120\
19342555415006618363139234372301053692046054890974694235339224673687937454692\
85372780229402003198274414265686608343368133557526537189302116407719271024012\
04507981545161552339016302893657402437251791919002342171813387421964546013249\
06245071167925858612122305513779419717398045233424065687469917464351036382210\
28395235678065895759889190442001199759351369273907001472990879954582432709599\
77134515360456898767239680563511858178602384149723567596591531662330017359333\
83768510786097477862821114025285059495555396696652585740947370318444821828534\
47708859440344717641336892076728046994837321225624885285478448191545336210090\
89032932615527053189824843514275640351466549656567851479434150064175843230978\
96463260436223539966505708665572235639732302857194769021336234834479154736973\
26479512455771734135182980012435687759062472363295445065705003575973744111513\
78637482688532081424353133269363005948293533212324797565308794708046600220779\
91782379489518367009951546610608098502471554326637262817664918966175529284067\
37351074282579365534227790903972592441714117683463252486461856060724004685758\
66325330138018101481265590419027365504690426262774219846740166077351382890982\
84641443983495937605508366934425640135309980860293444268099196751223482622810\
49867432004099435777225554741698771210929646624414677011117484312942620131693\
92132594167333822749076510082486853832008127577098998165589072996239781053535\
73111185340951660982580199317336707158747515425007277870091936459776143526700\
99494527107908661474380011561867396435350410357528310408785985277109325722809\
43523655922505198485856331802968647170150551322378189086790854910854239153039\
33072457594966641683658628962325788744238481040359973331206040708946917401682\
77979845230146187127896347128432515645696917414233042675011206503755369730111\
52927946364536736414944988330549519484201206429111125352197005812020325754186\
61085257182134263738158079044852413165105242177182047144601084598444179959864\
45073254271444717669624091122877382236436843485871440516652489767656098750066\
85513119554890121488261708410361998399126142456027448903761303386262135976264\
67014197724808019316299678425614271737659038016164196744119183098340370525020\
65914066647114034636808007790396186193904478778762517436162659313706038686189\
35781927489482791650418804075934738766854732470306148159420656851509446048518\
62277464284285313599810752865796633558667730884193590734215006588206153629311\
11479811459723346818410226570535444039578693419032255227740794645134280180811\
43539289714500862984420414135766645103206387817953868482980351177194169943914\
69497774279910093201444880608743999604440552640902594119984979135359246175217\
99603290518592955633274726121341767996668243916742558059341073971862701258674\
62061334391110962692891002149818559817568062844752722272691024829631544842061\
27010986637505313558947119497219582741521094330692867847970176596466663100826\
00402285208059896303397483957926541930332741786310491939446990600524201847821\
43611315727202400592910164107750531089692260810776867224773240473755475215796\
376109445020574639784172177314758300781250650
0
*** a(t,u0+2l^(t-1),r):
91006005886134574108788835951746991849225512532167552313299570342842182832752\
29460110280249325097715502165516895935528508490504789962304529947581985208536\
57024540497689803611380158133788333481983384129605425680193536642911398730495\
22005477197592441482799011289031827316658100413389751008533862167056709639671\
11989453387624239302958397124664256255271011075936913702336396275317326649075\
78165929616671823893519226046628040761375951645096127199028534305297226935989\
04836864545742704289655516612795499181109072661033262002393481786958062196652\
99895831141341212390964515507047336454145076219100479238677016197055889565428\
15104064060091357459590671072717618987790864091673500972280901101245280864413\
50924160212941910409232603429421681957528869458839183409909587798286063070675\
41440623350803695621357342927940457652333920296165111686326736930235941463586\
60350584757585593447943863168960655441392696049615385055678081311314263535423\
40209703188732224568367182003017463406179694567087697686725444906407160230347\
30554627224849767164254172433269978864762000183202955737127555491596645040549\
38465346787089891011724062745071191606324493144289424580340092590472567247599\
94977526163632185321585621766392877640934055076242265559467760534565413627436\
92163309648967477775452860937846681874809375056694464365960190176142189177696\
44740193996917532026450837751192531352087351225909722352028015928450898587874\
61695550912534260582724400959135295955075629527695469025656050383762353351998\
49547766979553942028562214239301538345611730367984454452034656154812105923309\
85377608314007371637030568298380095212750839505494077665033867496910753056838\
83897239828001440252367667472197411660818269726077732276348549795264794558064\
46259567377891349805163179982653333214602185080522298970710319776796607819524\
27791138748077436073811902631672879391892154325215949956058565084246457164224\
10151449318045153578588687009683814468612406430802580369719174996746959420948\
61634251497207178393533779311926590222435314090437289266587364581674881084210\
06097255976194252063091949072368251160859341407488358524333305125968323602914\
88659602659734736119139187095862989004815907362414864326697528958977881914681\
18095919793771650018309312646932934841957953192243950525910460567967083693349\
26246768144445752985764717705069088069998247239872350266572473272706507601249\
70639061221163320249006230301771946729943352567595824177959304296218141002753\
42921786116171260752115299140205515805426380247625560790606818462268876035740\
80281917200023349303689663141834454856726505338575417636125970576830924567475\
73809145051799508128943538438927010156494095794821935470120637210834438010529\
56780010727928676902629786890094002368526855205416453676649297712651521607650\
10996883988354801586517741542358795038388625022588504146387659586216829705251\
17984181224250764299042401713751819496158377410722273090811646929574528512911\
80876291769167920641307417131778045312784943071094356484632168489065934045540\
23933303258825855335446588786785868723827320633221064186944095447568839996588\
99475645957729415938890181729876689710071449175834308447163934412861818219084\
12120363957603240231638884874433543323255852225405020558782485588904942315669\
10333244181286969823144458934762684884226022276141378595969852377124962088652\
74094433006507874739155126927551004628915259471578818883123275395356852086265\
48292803855312902000280405763727706183106654698768054020873037337724133006441\
06789929248309364320913665830958792764853890540272460872170846411775013681875\
37528761792485914552412656428736982330769673788696174134057908294777050768044\
35067391467030357492669503619024282800566775464068895380809824543661569249616\
60195661525291240217031145537046062753132354914754073869385886186205393140072\
23461751501143276953034517902455078856787061455248932494161276789832403430301\
13822314865419409232765396053214440656945547890806690066082451427899900680695\
65259290205051158202591965811618885182435073364821766788922421699546428114664\
37265286397367073095057854019546748732663637797537295581976788956263184379303\
17461670479875941276005498109609395633583018893549017984162440156938680429645\
90401574984975261374362082237485543858955285038833662988883079151420203661290\
99114550628395553936100479541198153500711036402544052158746317441904782250873\
34619148502423417564859066628579717827168038078628639936334034138438820756522\
03379349375042853783642586760571672911296893772440470586493701978681005246051\
79537037685054779084221101831128853214706276191499193460759672630393707010128\
12234514703982326953074456766969589748304899132448814865094561690391496738305\
84165625850628692020199258433166497303421703527010381077330298195929563278708\
57111599567913858222157351471335311786164384940343670078743647964772889093548\
93454665301324716345927169421118088470773464124278828942207405789846175636278\
71429642449502934166442315876461032746236850625861137253231909590218532302657\
17969780659128953606168266837152695897831000024888783788419591448357218234985\
63520505240302559440632064500333572853205620243672514531902049022156590905605\
69971000799199234669441142299336647726902735874394874154923818639336433083021\
71379698434947247456445656486573706396867318702386380770685938602324670862044\
97968010827594365020901096913921155067211474873591900095342547885746400347607\
18215443707263701073613148517776989543712261832041713489627192587396472920124\
24672589643167694588728295837881171043480930934750409314265608869916473549406\
07002323207720112286608444488585550415944212728180285935645937457582165693238\
98180670338926662857057175693121031652881967127149282133661250769115100061071\
50520403162955481506719947381324491658828281717535663302137583631363279199898\
24320633899657645942916024896300941560358451114116074767683363460112029408498\
52029846961577431866945437819767679495661771473103615652005366639346240087854\
69213140523623892285211278592309903548835700385379364894200132800597398764101\
79866249584546654634957628784534896132576583975949726285364379625909751395668\
92364917060096487464172411825056146887297267494054157088021256443790380304541\
41943320787942537869888091659339913339356948550993233427285006478952968672127\
32217743569133179854836683914072514435262119006203564879131256774626595512342\
33619354074164049632154311784726425210810519729612032621423043554461880284488\
04585937223138508324429353695662247528743537994900022761125604937607405710512\
87838323101476124048992710261612020537715660247984412303576392467825744087426\
24919034177392547946510428396722821305323425259146870272550050473886071512701\
77618313086268262974636980090778556076953020198714747154334866591799996386107\
10042943354901240431395078204351795613351502496966296108334052497485617893471\
32651653160077863737607664506515095749355195382207753841868962660388164529844\
68492410613891262254494251909996196902944329337481315789065333746765264234260\
01248125849519988481738298761719977351524620867128923917879030316287914427565\
90921381294020575143361655286069058177699794568843149751182937577963373252663\
89654300585710484630017567783330166950681314026917593002426030143764685949804\
24470195869728210088191330410142159273998106206647474811453278435295981164509\
07733276819319175399259811489875324019823528907616948168434288339898807328453\
58980885815594183268133955728244238503068803053452135310329313872842382076104\
62210262945236822254980303162125665671035757352512964503937154061693589731251\
71056426598932662256418791449214530896985319494930187589745656235554078726551\
71541920774520391850487391867202348379500643969074072055758603745179824949531\
36465011656656538090660252945547935956315164680644095030004855693197381131758\
01169617641192796955664154707892412476614416561121132825425441353634082814087\
36113486540438458463268918962836307760414619030301571935544311413006664266528\
75378880732037345361856607596672231917649335296507580181618832281951460257810\
11319684387775636643315796657514195979588042787764101764227864665543097714372\
28870023168516952884499594816322729437218343454230821556549859653305107548627\
11830851987372948338210602780760859968999156406651849146502291630703173970675\
75680546493552259516285887701459712449441250906824261370742441235449823549670\
00818799521217493158335010922741576447391102696166510559134419899596554670129\
74699567865084456231896953097484744173501921467618839872146052727918015127428\
05099374064258575172823861061827673498565758522976869584267285496466429005838\
86295972213324018842389502452023189101859074527277819858225234449999178547586\
43336325937992352426361357375601326102146413441451017224259518396271432069906\
13267420184763386844798494267843412389651280204957268160434031315967674139307\
99268253708276692226666969783704335607939467511380403544504284136110607653610\
93479758954555626626264430292529724491104698167075478349328553015716255395451\
73033588243434931993944189828080762484299654530284364291046950730393704126783\
60270921748795514216080954415252336515185730081161183019965688841477620080046\
53615374134614050919043360264799519588009621750601624952661278268674168708650\
12817581047826816867272291667920579898068309433284172009498318583001613464804\
18177728281203264220134166854503330763836274685996296890172036630247009012423\
81517596851678611199087999845565626947707355172121648512424322393550662952706\
46880533978240845842153994830025029056669640291280312373854788671622899463038\
63422862688178500309846432462995553150341016259839906324879205847280702647837\
148655529659890817129053175449371337890625677
1
result=O: not congruent.

code version 3.3a
start=Tue 20 Feb 2024 19:39:01
end  =Wed 21 Feb 2024 01:21:24
elapsed(sec)=20543.118795