n47-L5-f18456-r2-t18454-ver3.3a.txt
p=145722924731292761489570420780128281131080067299991742066964060559923997214601188330552020438963939075875334678107717480413821508294268912395643685979510257002142023489870157490954067522884293286887855435111825801803716148853065162942320544084915835946667891999130991295241303953107898164782708973445592207188538828853525597313579160657494731224880612874603555645716445250476282331390789362224772622829692697767248182067584453969682673863749639504624852201704329350945985566278834913398616839505697217271857721010947738073701478023122381327803078019123227811722006641575638303926927909231929267687034193892182771799611522176337965011592834254632892706750201106037001923526830486735460010547111965465393267686703922443389717410981707858939535043717000484109763051848040642346219671047047801831570302038321429074425015922499843661688386388956188629763845937406625914687040231972310920969795787583154391614838102537040719438349858175940884226336826604041891008039660020513177308332719332338709432330195383148040398387438793190354421955404628206067694888186361766248118174682576605813128005021592737466633480651723164256652213553271885373835784867876274154527428875811493598958302051554689407677806963217624071758617376894629265403804464404325302994851255521550227889336602333868604651315071744719697384099502021377832670229293091635562322801759944370157972931539700085782042902861930038525487255369253285802939824841068308133601892913748602776432460562182575156684081381450453224111105599197820717181945673451945179126305133634306070810223579142098167003948997518966628774425630372055131288962541608672615555729215841961255722025636631457184262440020148693482402625496580019616614007810543456651017433079240150360354752570081501384707390469808247263193348485206363106949923292083608055780331923108976209479927247358299611040492166735285367691847546536123554457045401059779789024636373286540385404904912866552772696020290745900927190468758888207363318897019465038257786316929161375166300027355796255898372255579271352750139553251392348165660095456553625454716720195920382656611399635569480293850007039783046546810674181318876380289804525219869412172701520714333903595555317812340024618833413866595934528990944809223228707401028962747099000911398399545698893585559331882854070854567443134231755019562647784012956325429835591803075384868465535074754699989643209500221978722451410377654123984750862817969156615701355780585954103998168492569769045514098003980273581731411909633813336823396959599067333655292112785180002484720284838048298804404466617972840794208247635782104731307300221351246275737603123608303083813220256789906833739846956031670814668305402626403794930073783254206817000632080796280223516584170438646374043754579428099783219587439396884432180069944191084038257863316940643378201046176545102828467214517315004809073214474363099849086349608025320284660053512165209833470157676842334470005531257734579917293685524457385151369267367110406830939705483307592878914029303534493611725665058434205906363933056900179100213224239875327426039785113567016691980285257150102185152174829435869962705225668250125949025772974348443618210558465087973546625683761521255633837019510663694246761046445003080183835788413419194279655806778689796568690304949331573467204964183697978795722403857132330327540198280134561058345544807539091721309818915040149591999938064270643168556416657484104192064114732400225068497529579494084583582458763573925498686542311632154185906724684518694322997831655197974121743437073746193540096899510123981064330138086040677960466234902519438367329611328712990676816323436545381974966177230364864952994555703819724002143329606045708663136843257939140361990851990402280141766363966695979239416428029923831454277091700357104309971935146641179533441635050001667376585121175939794287335895238452122578128784548656815901214054110165762192759371928456340639442003697666569875639880643644420892176069515073875397562978586246646322990275680740078526538137961580100513223772093639938079845913638834226205542990280668872333027681142716617402952963712144488683453251280719616452783584613722836092672933645490935236728932378372137289608200493524822072702396684775834239445620659648659376706409667589761142055896753086670532568691168676821740708978812781770161562980273309965038012282443871984489027962927694887357726995238064671962613007927446532723933544774678456511151961074230180751700570561376260535323501263390437052821063479241069801299301509857462489922885772738315048446037291879669917826643377167009481261917306269792197364647668048158260684803390280677315345882155665883151058468078524472465258878569814525577151450317446085370031654972247115462821329120344013984593767856621960755586885457066058001162831664038014436957107507473944549897444495207653144690669592809644637605543006093680382259482503498199262517473278081163369311426210322150243599156604896981180958809295823284464418553134547121718761885640627356892974078282501750339770490605328928907252751782774493406707573058737703189944117828643841022921007124473324308191032073021607052242496708716344433311464170958673522693335204177154353532531928838051577793824622263137401675193041256955435331901707256975275408888185010536760685366452655342184737617171719686950573994910052087354083770827724268711504651094993789846154468829856974967034634093794998811484122527581383591660544855619203824915144778502964647864089066838381444085686120801262685837425025230174793686479714182834137549008474888123857269683421390347358976044338209734431637666288905980255204836843863371134346058400305674260853945099945938209042940541892849044424621206224082000279045489969168391710249163289806226999387943665592019545857014925720049108160037848143065455035772995995830968499185540043089371836284045271733162450243895973196463778456494531064280679992502199893025376087190735455341776549914441946407394258338941706332181256876928260611536064593458765538134396764171453073634779685439116098219193355276140152555458293763317551194728194100048052741896174965569684839535317814482871515852997472750646480577863445703375825844504245547402301606504404971995690265925745664412920904539133282274378679258664295865297627881999165399506053458757032614545740678993309221349334749997958660616102877172718820343043213482255426697165265035824770770436434638692180188489013344076770472565319797218481612286590326610162296595789397597928682234996105175387113420391758883872779164634347730451383715665805787766922924100237803975462277921856073616393685484293609515558434654542961590031441719002511076799286618671864952376797164095069113645102011466582163134976232607685051599528719760795700684868294540973816768139222109635350070305203664376313334028191990066498335507557362613912599430423229974486984887411033847709334086990434903946948064622651047125783580445291190722026199857998846428930192324430783106972469207307866816735238331367339814476923968697186816001085879784852165375871196737755162443541093292465158870400472796688320129151758611616052351569639248960535987246127051820217271098506560492277224804463239652164454231165432510500666300409378444268092057295575922417968625693481782143783875118069297063902748654654148538280420752954053828452397392969274362277970162024846675420953714208082187366548324953927401234252029071740417778703179965117988331032934346196466666791085666077112814735918378849048361203043659574386664370883298811832924435358085426165272368415767772046533795511739056419880354653633968655034522817347138250208594454090392636447062063076429776762035434802612239521128110535425014315706162139294372792172077407165666387597476880001222706119740334426047971420732911721745058437250000216965753135999333512515279255504778455964042494305495354472470756564103689524979583350352326822476037017650319549154567638453440737825050194578826004801626705532097597736800466995803568629250954129186243368106288146766995373959868067771614645278589615526146153371800962542380654007434980105464608819311156477425913017266078917130026349489614931026242257968139195201574018007670952389048601910670349557966733203847199909335536330119121610222210724936210347515217583385041530031764723638693739946470663130549417119961230275901667356542091927662352119702177321489081409738200053398904959860258562944877878515925740903610664920907952143172488662461667522622219787458339998737741774464911244130134692006432052877150409776213171883783892992570461589612617679220572798971888669049063552870708794829182858445097328405889935219363183977023155527456510691491643163721070378650333849120329509202267685624835013175456830612981030209418257486599853892406089846246583685798995135227754774118207448330629127025340589248370243941550030173864971207713249026544490820476979507376677234390777220805862374870912029331288740241913312933726291547810731908221844868718796740925211637060791170479888937024055554552223840332353229322540785892198443243049095064289539523129628260703113785413933160447298849297028999267740181512156874216407665107596878709027283301097192888589251132917197079088008820274995894765743730760937002755591835390522243357861060515063923617948191399379033418654826947525475915129653367672283996453446590052621042181761576596806468537438419138188032920094611862296606316698375757795858200557591790511114475940773914368947921471413012039662788820511958784258823866640217018031873477241239250953822219973432812170795861329203343993693307703060140609374521120377830027632633787163051842504320844727064067544805993339097654477675403611186140046225958177488817844761120129305354817024883680727913439490206176388239858485070758338744399183766972374090004666020656937227537806306814183451132079765665850511481274167172893476460315117410299327188501311283483248264368463148144813189942718457737328370038961710353666013882952681681583929336024354977020887423767459019115502779973930351569746289673874229624173350689799873233212859140330212402980685610319351339765982777997925876389483945459244457497649857148593923096343067752984374762755410244706775184463712038737472998073628494071742951332581362058450367683142510541638558683895924520777722106056450025934919165026867155006754824421040060199829362197291294359740766929626424962600267960762149084419963959609745048359083758211918168086225524583245279115261442463218062978035133595362762634130183794759558219372473576043867392143519378479180010202815717966132345409791917334679445164473480178039812675744446717685527750506998530025214409981652161641562300895592054077749526599051604091016505940572329048566967320541618605711482006093227059377490076074226598620135204261957261235650386015628513831889120814490751842327844462555217789685420341835521530667737742317680832478941201185721274781754520633787416005323562983108548873969010539742340123506136118051451010219363265961286255567331717625461451298367804955224797935912849308220280472987101598343319013353120715088926412720195524066937980214782691107776045870077784294641540016194974963107420326803605245567603638531453480504230715187476409340142445620950584255538999280407553986488676574242777080234101173335394297386809620550178879851272830544224059936011079785567915732267934347076368196073642528023192849129524474895541959060156595355943701793256552815951525396977553279581339131613875760638790069218024299992928209289849244455186891325885929591885983224279509527299391023329880304649703127965705984675626273042237126940355146007602116687535735493621553542112066723758070245638863010242524845018977462247731719974527855213005007946123982987136265110604021607364968576281087291529368577316608228547505772557365127055030300590728526272081553987575763438570031393923209733828829325720995229599296253569736850522516278270676337130547258707710494197639538240585843881937752303912469050724253116528397973493929249180695572627071812696718759053002281724444377000225426671469443033979429196096888382350056717612950198545973787065857650385000687123154404373456650823753134059128121820526050860012699173161569803116816584268617511912861725049373373623780829581520421593716925657308325170580093028079038888355613363225242927187502854411835916325543668196775287989693908499844414904599390256451070395562700999619868105436138408364238342351796172965841204004100348685200555366167144087997842554336392475433308087919256365555862915656960175340332046993481326304666381669759122822256784887544537337720330961972390861166228088010006265425178902789772435746084375690615545573117660043685283485905078175934566837183294846040480787461188650855720173969533615882505749713237692338372343721882051320247907861159925722231039879624747806941198653813437037807377482846978728251711006457847164176440166801871661449140008127865106094757261429018087359248294826890683748775265923061624688379555295241271515612946036763628091083791820560588539012676812900087858673639497037965678910660045548401645397348797535201679918995407149146639534753625357820948013620743211049557430669665336608886718751
g=7
*** a(t,u0,r):
85685079742000143755867407418715429305075079572395144335374867609235310362185\
49873836458801811079617661469679072733787848332704687703012048863848735595203\
11172595098120436526046809917034559644526900589958457535714605850955256023158\
10084479921930511536640720495489022881601886724427444120892232876386008217826\
86083136587305122038454646660690196022980037026689071968126980728005401085778\
41449881663022238593062871419310557396589341734122318847880287194130946021456\
58356239512971954929078386701629349963755852339954437269987336469077595960220\
74820987524445795329253990524647532270903361062837440939997610600860346981817\
15750396867234268165865417241409115691182503497571310337763262004504862017018\
35693651241399781906396713153837657244221056446605705596284656540674486647897\
69957716657566410747696333759853300029576190936242990807307277119670623891430\
11414111950960378359796563997188215302399230988947822695248042917799430297497\
16607453239925086054043176631912727320092061748257299638967415161146210154885\
29104775425181401039592840010977792138516780459425358071855389348671335504421\
81192669526965296303804866232132205829115015693238685998154415023112492028621\
28178977158236187481606314157371714550494371962954194067017614042008057437025\
06974327816097253824667153399892992217231473953497326218589518206185050718857\
01656100948243378817106458074348472896528880837453436504398412268828148626529\
86506157120932052128617006548165182557913033284178432542286810563354192130239\
85229286649577733009232831858170298405598974376532626741857697196963641146453\
55537221983220105411523777193622706587684171979099744658994979467687789150732\
18364551074339296824346314731847431767652743791989051534569036592599552510798\
25065059320841188859451120792281420794559624724939075768890930134150688655489\
57451615367988351707880780111741972214466801712918093940403477962028063573632\
40650020742695823150515946486187492485746618084088765533030345259930958589745\
18799563022626592963151144744544249557835435434688859778441608520819846824288\
62806115554170820573118187007214081361284535317673734314752011850020875029857\
14854412783804139392431369524676418615499311610405060829283214357548494180028\
33531418652687365593447587404735355840950304667554782325847995180503009529421\
25359022589328709494283088871471181936624856565629282719515028368969996183193\
52743327980208326302657734623955763593910207186130523488801429302060624903033\
50733696586409003239719898454101315092307363102419876228962634040086605807020\
28646822420521574122442515921893117623176858414610155274847723996969898263713\
68030386994449609839877582008692530154532810133710636681682213282173510992465\
21823903001014662243902496357674432543141888338455347360839637166350821277142\
77514922179240679377276927037226725331174143653680461218811271843574144956236\
30361098306382215151808520463138722136181222827735050110925502711262773569518\
88832738011146515314338208045271398329266836325237954793299136868708838094246\
90051292118609192165925468241848646128014492304782822436946910543593130729419\
92637457305310925375853046692526511393646777405814884407731204260084869478799\
70829153807067269293107405802715450891688484750780837747172844541590205177449\
83126961674722702522170954953096618111480954435870904862364376143858696003823\
89899310206965198716518940014411531884773467993810232593636588719121902307180\
34683298593213017352204360796009596358179113818311117299460065326493369946265\
13323402765473927425217351464857529814681932276868792397066613131541144969922\
61922725013256408783585140999362761801576976911952900865826121194591918640754\
14612268142975998981146128323851796799818068868460128011221145454059236079875\
38459977132602778083548766939244638356682145328506209703565407233586220124172\
35792776859681595212895114929919809977334263497866225013565663681409400980417\
43205125145259904095350640020984807593972531461020774991386381677746816934251\
06939323282959918981742279430868762498184629194845995288748634387337670314087\
13028037918282100275166173604425121409099101775577991060283590949397219634525\
00885927828503329693182027651191737103293634266274095934587051175306313447423\
67477528690276224916849835486699191966122384828167262896218901925953787490092\
50648190532794024947873411713503368884542779551528867290814962273150390407181\
97118353687954191568085499903240070625944235122207699672687954844220148459376\
63434731999820271140164486613385612416729243275109324285573531116473462819999\
35490089241194770218742873576987058785325793749043163989287796187944074656834\
37012924848626992762524591168206630577420157498200737608663781205041282881231\
70572826643934850382614233787075315392928223792301723898095722205990509410393\
65052786658298197578613123681303892138941522762280222941135499693712924285088\
64875484210468374501845435248893077921439467939533969736318210004907811372057\
20710469120592875830840647685757120569411663602742875117240611551186116694243\
43236304083679424934403779865944091265078109243113707570631988756688885853068\
75803011102919978504847593341019746461804827140212314405295853776947568714128\
32425785214775521891903146932163268589367049467185880647252105267871409325237\
00031343681100056166759877128774156774327742768877890724792185013508259089795\
97515820386710146194042625278619561528299547416134120462571889697117592693750\
90071106273642012572467018700023647348438563484295388276719559012806163648471\
51459301152664046217853551896400375104091849050105129759743212944084371300968\
28912238343903114245927240591483534277868765007193950647287881698323421682807\
45738517775242470779140708673238458029477778767163900604440641916622269954823\
39379736465382119718768211666917249038632995238121677269259760216164078748101\
87101432562650801440606147564011087536810749296392477632338887559810225470812\
24875610345216455486094775210975453365506397350186197790995207434108322395207\
01732418784265797039835591293537098921139268152447740964611349691864487547823\
90329772332332257904363381723958320598095375413642302529733281440729725045503\
82002657528856929023704097026094767328307201025001781308282550122349508797549\
74685646766874915928451321562513977380130579783706073584985596568496381872553\
34462459012353346587636433845067479749186901036997733466340409460596879500519\
46155092549095594337491351773528955192480658221534088329987996924422684917775\
58666361709409527566190897933175841064965213016623567551001950831539846317141\
03786840804076446718802451511204677543039832416578758206515417770984312762269\
11903542237171941488049964655054136248114938032069506793709398287375718194180\
51371286439487064764642395148359576871261414938487730773476513157980531779056\
59199755673248790063882331998274235031192336602477331881034052288721934787200\
27025571900926042596658626004655858413394597546532722404085768901591010212784\
43729216980608465088859224998347113797687902453088443150375723520805461998118\
81570996074530183122014455140551650332170021095308676530046689981189389702568\
82403201388439958109124312935939458478086384973134930732410122636818000355168\
02162855969513415795478004452732235941234063630238782722947878388795160500722\
70647028775540592185756945900818502438491547269908792527431617439178464071452\
52296381296897986423817655519077672879005449185694247466735748162089366393405\
08887402736983651130009667065933325019446455270609845147520783954352326171530\
41507290931192574019309418336565387746981948937713864736539556352240007315837\
16533423350647200067632404363873896718297393586500793797013577595679905542305\
85180152628471449963361871760902565174889648536336773569160299416600117291122\
65353900515087023087249308894070873607683566393599683842332899482990841763522\
33379050912017971815154134118359073164054407189511984073166425162071953909520\
92386094361103000127575862843967608105358984202236809732106856986651631268429\
81280485969296944068799501000716817161590976637838789490288577141062315384112\
95144123496908233565028528733874692386745935324983539995610279615111004464974\
30298993279888402423849709411423810693929373938182618965974919824556371768302\
01318998575496000872643685415245440327245549349989357944343044768526584677852\
55225885105200047605779234741655400844391238621535466892953621100435068106599\
06262491684338947939030404419658677657499551919088524749920763057266537203402\
23018040564675005346546304638488026503557986892606163139855611639783203501158\
81925673643356513230709734938758601854233335274605033018652350255039192577921\
63385367811548519198899782047091764440948413345067664929079631431414692219195\
38169680579547053740084936908797677135955952076571722910266328190898555217848\
96154501444282865970861802679893826463963032827537514109333991474029877471686\
16400432845763137935402120714088734780829592991207249809139513919807181505979\
61840992669090026647804170343763141774223260307013539042760816060244046395033\
74862138217770058338470764240962732467977792622450280050310594301127103620344\
44782806652483664024442591745208242174694970144666076707618115423698841653982\
10461268462691286789780224923960022141729343090582339269834301172338665305156\
94312267291482420392477070832669646809080425810451494184904796661553118825037\
49186321697586122257313687430957620287999209627079094422303582857587087353536\
54283487165016903824514497983809623618019130298991462659495094117280287580703\
89222035000137904532545633570156317750304045142186449455839646219278639728205\
35311853175061648941377825190851079321719826461031765144188433584447606602741\
60461784867956084746534437849355642796646157156626829166492939936267831221841\
87821640562479886668518744833925406566995136717163459240833894208328731373233\
77450347180863408363424892719538636031548632410631604268013102420241231716285\
03678922160590318170672005497975596492274362014627908979223010840673986926566\
29022115201007509892102976613641586652890372560043868387710346881499794486563\
31109150155686318453149549081582909485687955616163176176828771350449582320726\
48828180517526590323991563462467104672301081832823804701901393020560232546112\
91611745141648929526431388677785877823978734627804153170165599300357410086181\
16003373226780649723838754812360500181223887583808464662678777634122867293554\
51418485538355784089036881619768779619848347250613080361821730059836119261524\
97324690357978871439718367595715553974996649720072810835275709546203378780089\
57560928143661638938808250530088435141249828607882834700608454948224119773728\
16837222103108465855407330442886854807131862023299101446271379402658038939454\
57578459992556421640858191009576473927915137567104063446874098533377346699990\
90317298115135654826073069211471045238632926608127797716721640242343205517705\
49305652948055737678447847174015835141958281751091396416473164523998863950010\
60308696065624269771895661331508030389205620832887725439824680603350271609992\
86660032629792482796329497617426297204109571671658132667000611130255034067826\
73789377819736849599262160803741425319400898560038523631827359104996377133336\
34402693136721811863167553932335249181164157398258715798516349804722887306794\
74968151359532366292222371372314971605737165249225529522645278307163152160519\
88439375093945649464653648766053023612869200375802511894354225693157687964174\
40553418256547529231776514899212118468634440568835051813525484243600037472423\
74514913913934450573545396080904499291301806477637395288160391238578671927372\
07806929489665443485305577949693342280132839382740938895894725560856070019828\
83958417870624313557396498920996209266000289581358763516020520419217179696191\
34025439243835118989268248548835430640928825852470044612271012470249473482761\
89523356974530443565145002260460887115874780166625134502237886524694467232090\
19964361238850351647051306015228532793274192687234621656383859333942637306947\
08357816747348373447983953744694548901879178459626847323491351643523945195004\
38619709900526810723957162315768623276178812013377058821204848546447620257939\
83547005318018258608325186980084144303985182489967047182258656706303231653416\
53973293676132550882824032503979904367304970368821833349956414716745032586794\
72429842638040402841478977159251068436684282676733563046931790568746711381900\
30442326881515499470970047626943290315436907831277939340078971055522864972952\
00301094700510474866353100657576442841186251678394159518799419676899703869337\
94001819790851596390444147079322939259086818777648244599644938411817214530285\
61497039146279544110050268979265553062807237427314219497987755547851556965227\
42946847394406292583100115243632167019867143832421818364219486989513876187954\
57955460563976582636574211574988368407000519484038619221869761290608194079699\
31841056869466897121859674495253002637773694718027030271789267031634622940857\
66138913380831383763094962938108466646176305769822362036324671851449219351710\
48142480844230097823073795991402349221200607179721413253574681807950053693209\
43247791846823837172697202626353672379973582117220442798563627602353167671785\
13601867651180412269617013317557269590489626060939453965985251660900100024258\
32381919946810678246016749364109295069858779236929940369822404643513171039871\
7432008997008097139769233763217926025390625588
0
*** a(t,u0+1l^(t-1),r):
84373573419418508902461273631694274774895358966695218656772191064195994387254\
08804338961983416012072493181877862436842115960265330238170027707769418213643\
88042402316006348211872624050957500058131080682969297471392443516501859247293\
43603595025166269013120709467496843959944714988849473037409188495624997887962\
16398190619132084456233402068944937920587485439545871886982180002576746987526\
70407281433486183920720072366974171313988484462681671110412731777894247868066\
94197725642875445414857799150073798688800405620465338740344673155775387858788\
79798217307234890298704184547229457797369125944528704599079279826357382487197\
50713400996817417122510334324448772083664403954241137220348518198313461067778\
28004462701990601571094722646380958408850325990790312143280299552807020015531\
91846118953624067726047920488018810743409208421912740948011757571920563321663\
32667977584364046037962943119680232415117610106463927449912613689465765548045\
67883869771967049022603740254893654963151877129661524644493424112761319183126\
84271539066632706125721521031217927973131319534025990346265766042314121185476\
58011149075021949931807852973477121046016316473444216314509194385003627354713\
81319094854793796856887850165167045450231703004337548239461221990344668802784\
89010435043401887694697758194792589275130992209311142654019270478539361167037\
77651160627607000569905849022190077903214663273614863496678028407570574923062\
57120858797652479902158582978550409355495997060441007554394665503711015720083\
11985981241676033014193553819524834654492867625871413067237426321499911945232\
32748386952864695634816780603924399854199210163093115914214444067672159724955\
67063052843609613709687952771666093526311120162519831358019510522304661400939\
09375288004705864540173807718930174557908201897516538894877293448423892400558\
61164090642968121834800972252888778762204554747924449645397302278935797294444\
15538030629287213612497845264460132906883149439944549734055390995748341876636\
84328141139627206336164137427025715125827750198443622128771583900603216515753\
59803981132423308013325561695879171952693445491382809809934379015581780003889\
94729090139154076034383950603380350983629424187796820102304389647994180493599\
33018182652901334487425430454662875904609228575704454024942158519576943057032\
15276996733369596593860388531601725070247945495747201861563267730669435017124\
23874807653980647838841544808282971294003418300628525680299366608661737787170\
74957160414168049108499695926742621493955719789627735266274430457840382248749\
56779779220207468396078599861864141333026192214386530449212299650077501861718\
06274819846575381117838639426926828162371593652072208569207485527854528681356\
05673537138754233740169294882812068779726451272050418574704336597478104624941\
61022346839762505713339014888697744841411274107960862322604976866376581513028\
60508632515978405736219614537682517205525387784453391180656234812620996423046\
66044481817098354365649357922129489171165813320259822832177211304391866082600\
26428058055569255551140894748350962768912229667464718011891600688334052197847\
17239945203699023456834887814579677035580755302664656585163889909165203109226\
24336870840632566191682292448592255214774885494391335128593668349627089792080\
70119916342966742789688746458916567834264409214913697134879207121248613922132\
71686565662981037511674262361129722723271833279619259645774804197910852782070\
44356513410663838515180824661376796413921270239459416524468329632720512243005\
97303146600696265270749738942436241093028637395079984350172736399935923363240\
13015744528359627016489450065699046059716104816361785036247149951817552539109\
95000855875481468384495932482160187665126975977616350541661638125680778384775\
25116201972409878419004653159562322463467622695927033024429202020827247367169\
71979622111829325898412026436094506763395473750449905242949862706693950965411\
04278516086914089236748334306377897273656625367229640680293732978597630960767\
63465762212302369201409489439579954908926701196965699442492277738551889646014\
36808221011369619148505466865581879754878197156564042217524148230783996885016\
97300939137250727708082302738163292147630976598933165894771943249153665792616\
16954913455220976576285807392515020660518470774674906831480857508719800946876\
80485208024639014361936573779113011197534471701250364220037182238357272186663\
87978787049873260064492354496557824646975700911153500187901914719053513533978\
01239302428394450663529315899915424471575224245388263199569854619792746552346\
30355036854849952307231503063053583395754480579414952295574207470781665350862\
41548441305025559199832888242162651537969848965065012033020968227413099979988\
36329365011629725121655852657681305463444628530174656695573848906919226103091\
70689733801283429248328228931079852973549560679184097079791588984115277484806\
67964124758267327953347801035899816524682741389439062036272523117077589769423\
67842451736094005282409413282403695254573729976170280089935908313157757765249\
91043911674235352103775150582281681704898342264902783475163131785923239641031\
99132556851344672711406048544983729934328222643168248368480100913014697764422\
27847839522712631250700547744426075702795104832484055943467634268873377549850\
71969639441083218572370695335986797231863542624456290356555569936770887777197\
05717108850178868446174625912110078443682717608744312496308034242569874438234\
30529201585780145033092523515839611929840014043209234374524871885059130531403\
07304311849306943469621099571455471403519014625868826753216531113307569699422\
85612561226394393109509986908960827120554447175451186096564087590696022371335\
91467009850111208471296718234362359182087812765625677636005325968918867863678\
13776985397034434212868698223035862573755959596721855678403743478161567338692\
14849880023426554479780543264561938237777931705121164199190843362466191407483\
48984657125646815861307610284276849487462932084622123335010586912157684807525\
27726310333486218513715658773738061692754483435828642888622400461886969881275\
57824724796633294773174146289407938139961262524657981572645527132963453743786\
92482208689129527048851483296103520889608621417476243839278225375578853050648\
47522090949014585582607678885536722624312254582935062254603163967958171945932\
63016605047878550466397100673969508120372815817043686525529076662730600732654\
36775167663140049526203218838219838531371260391612648202488180644967235658830\
04196978622020606225892057658688455742542276082695655802772329135138726220450\
10361532016258950085351393579910728396972896206120920070701406274489654913867\
04068283937623391363232873359313511713705015511170483730540376885017926589167\
54666623891943895405999909508333664980374760628204755302453913466786952211009\
80742616555801104501680051406463915107245515123867984964487612712874150071069\
65387425392238399087526096014788676907067129216738854204023231622485025362588\
75712953455395070215050155227964249810988597823704436367461809385282929416514\
95628582869307782359942805316971778133208235058135584542341893705967103125488\
68897029938616897525821389778756711664646287243954294037526294229111602390548\
10293016337326985961873749282537354778868236125694311558821125148150336615507\
56300390579996603529852502851316178421575860321899984478542357988578793703011\
92312253011741384590800038342765259518612508636933621229999996914710447520036\
64363615960397166673938090529209855758944723812386225068732200526479586485231\
48014832396531463192483253770189386914119980331524366806898644775420007203860\
06586483197320967413535990011365622788935698786707414300120512632480723314617\
49692701312729540014943067601296913667110725344454067851264988711243993046870\
77618891833733650284893452125284074521851675071248668273317600001108328879386\
78786514418466676328187489208384189391135207079468433296536326817754526043558\
86890388835167750125623171065743614103746346688937266726003180604202881810239\
56056805061603623496317875985399723021362543321953501896049466266454218720070\
40626611402567801418625030845090896074703905702662363363024407988349101335408\
36978090321522763611239764879616303387389638622802272757312038398670304853481\
06400850638115960042960363699705969301828525635448704506419426736355259402171\
13564264414814332591405062781323940627385250275287475052755351389714123186600\
09738065791211310980779939045888391774986803675429006513952588112512457552329\
74706539943787122611650187730756066914217813623841783091796597175908970794508\
42916607210039831905749892057042908968709355653054955982652569383788592691524\
87415183610351347986671724158615870087260427426520710874042698297260385705636\
26871165060472353937940779711214039220609687503971135314701027249201128352269\
64070503973196903736613917944997492385432986406707858281129899767794726285895\
04924916016491253171084741315403703126020976771954077618183296870014214442112\
58343426454767220117480637124215746747066781832926597118636926018505617113477\
10961187122600108465943150502580649828161806000678081886275228061824137748604\
48178988183312995697537858198087707855694536928166085737603552432519777751115\
03158289863772542604222364338389205476294710288175466729989898603374297979057\
60215650955388301713000380972985927725267970313352746824931764059590571087919\
57106939222623069365620110582524595487672691112378904201554038222011774792002\
82024046034940114480261725055486006929988225243394654557564046758342323995284\
95509452831768446810108710607347802682697350573683595637638018981228456467059\
35281569708096419620846531948133970964754727076424136085859018784685653440454\
74332267752630226306536461759824689080370960873617234842516007182141282784772\
86987635859992949627674070168100017690969700951084426701433375419425740586908\
76775086764829784766025532116688554867800439057407651141461881464829376128790\
87806285596907813300712740107700459811270162596036665474438985164541221820547\
41843205274461476577427931053228705224529805633104421422592331368007450693401\
62775846836976833987029913126252558830294772622038229602693637095085558101531\
69509381836135877206787610960490567355888310172117317895239637004939412660203\
02454422511929813258169683749044257245040284607990824295112044209025408911392\
67289035881472782636228977952987635382531685222831804489270428996865884630898\
06753916882156460863184276288853951360360872547797574029753030109940668456501\
63181965505560827489110433397821948557012007122316594342899040522537000533455\
55149281284319879159132614042382999909496004700619321924578733699016607736375\
18620325846428234235171503956516137641716578420901666220052939922005109772013\
94452259074303007023906279922695201367793987502301450230850515392560346495399\
20567543552148884599143379376601590464572218547799311016975900850878768698556\
93959137851912027407859359717270694808152797846737956675404697720060105828326\
76732542554415735030489095086638009515901453167078219438194711002278583779227\
66966256620152801937202005306955486532618098635867446962913867082342967219849\
79802805710251081493151005281235179013491701133099158474197348506450514218030\
17549590690751580048935397494595423938595318254407817087314568940364883929649\
93208434757090544359178151402330558775037106597451669376890503639196369219287\
43718364250670971156521194958409354884100794247601453038828395708058335597375\
81769437364865679294555445793611932981869627702985535714338869688851057307029\
50415195843823208983133986957217185526639023725428659645994670964518794295830\
66871109140333829554408043593320485000334887759535720443406540985945007723606\
96959054331788227125395532100776879532337019842868578360163063474025080006963\
92178111092143765127187612091455296498465629538401625562083190850806879500882\
88663305592267222490168293042188526598795064143666586525162816832989960080578\
61495518974990397285106643168056667495417955044062663161643290058423107144085\
64862544042031816711535219758806367030932048177081538435886892179592456237937\
99253081687763645253692511872159919858686279176437614043329264129920360764195\
85839653195803693425544699424266529850352756227365510745795514001614916883211\
18453294283130522042780807516674089504540098373380682839497898164958118822711\
13157957291539784430640013223140082695306462023518253408458344794735282126054\
89160046368022915295393975469388035871833281691003277003241027620999555815202\
73765873863257763516357900137307415654841564152704452995552489783885932891746\
03277302140991622976304695848516975903080387877990363304752413844289400022168\
99841472220571183741018887311215570107764269507508389607712432758853829052494\
35656844628165379941522052255209225687930401834986790532114086678449888287118\
54007162698201430861524606295779362768117858471527824029698285352486640088683\
51251652937791383390402638661141987291277158574383759400282288454619807283599\
63595970829083964623863917587014969707714423538651611596993171772090302728980\
21895402055798004489047156256840068365774067273909350805815885657828369197905\
20647060338964288644543674014725810047627047697058905408789694526806945717625\
15944696207539895755286140664737515464104580764088339874669150870172037268784\
98212808927216637252455268506495377288177267309834073935590429062234908217832\
8899886410319197693752357736229896545410156829
1
result=O: not congruent.

code version 3.3a
start=Sat 30 Mar 2024 07:09:26
end  =Sat 30 Mar 2024 12:27:34
elapsed(sec)=19087.985728