n72-L5-f24531-r2-t24529-ver3.3a.txt
p=3904261147473782117102230386296607260426517529027962519238470087482843329335308192604996102482644669843532304863052314745072744568198394038894099725905122853876918951612140650481448661781412717193172359043257432789570966030606340246776180084134327842725156180472288551354679215948792526564132079388930514191864766374512278422403198524428608048493964126846375478750011954304470915785677812285401148643558707125950151015502058297111271497787297836257411715916301997138307492761494743947739459985861659425380126497849731566209566275772923624281492039972605052364095346198687108310271872085735182919786764447638327692526676748670341032968852462728647919819614913578809478614461646298284160110321882437960234685019414394897883195611438580016570566558949946131557049930252983000565328576159643438171169908164087946389053288750684516005953317479430070968968684017270446332262103506160501905636257235016759371497203922231578075846787131547144303090789702805967006823082998047675410412613176413481856931812701571117250726980764794367482295365311132916167648198352577866219597252282420083264412747334239571954603976724999081971320123785031352221164444972491865395326806056460031881875551481865115959171887757898278144996969164944106334256752367497335654911876199442317200017262200530598444396543324949462042801820221702280433098544781822259772037682123323561800790850366156140174412514704110420336964102358602598386634501840711866699954556646314810307612084134139699185836356649276795786681879389886438113070107502535414192436160547238411796423570522892179091546199266547189502333067284031141673925663012454661809734127536025705263757322375571677106140133169473823020722464498496279691514893027419535490879219913287377839100212625134400229616605267513855237163990911094837402843482764777876835277594861805797000668239065674984082467259344723338289407097090676207396853051425746708964164150238922823302097549333796507765169120805392347951768897571185633106090697075072546981086932433772666671064216208749782669629901505284340566671307073475689511258883492581091220541685998355926718669663742543492767453147301543153895050622764234367216337249468512289500724769411642661748185264074693393307014757960416830284633159918377251200283354829734379667454049105995795910616914940559430497222280559365941007939652844014970285552763118201499895122618504355743452861941676243304091110513878265943087088189898816141447785606717515158001531095857133564146705267615638137309205120295742636060981174825471455900603793335671237067370650388630884499005698311738968409760906052372869915212362050663921777003122488010856362305062497299949611097811401834500394980665962883930926580395391846900845102316817677023846793858953240830240990909338605147077440039695667376697148230154949194928352565315121123355357027874360226535218462592663401027001158073331651386112624564676873277079338135367425981988788588761075131705757583128066474330708777364078742836514618061043236525513516277735327255497415797842660096039285212069540235229919447472426017161302511954052703312726760240914406289457801747414171480427899248287623093375235672870907129332617217533392943630600313752669621348946080766303574636833781028104630796526680470067833071164445399969944703580328118981610115742663737057795616510965356534724674103119793151769298700959061551947331996769172504680674642058178123570128238076035787739226095219154837814018631882680198643990316569621464834876768208520079861535492926338306158808372282513882221522478726158623602127912970403941749791667203545195334440128286403786902615715901539194700273742427905074939210210193432023039569869821038271693190183098871828301196303647024181762831965607112727083098623010668415473050408640088358626327207819331236078600346923955001794257910732523930089933097708035326264324607770478648700410415937660304350712210278559458965632475567602749905313859182857864156583824437117707577260536225729996093942754334701655753960951901294139242566800483286259578452781193006380388666850889312110878329339729039606414706737186957689042806197302972797918430830074950078539013068047395483356973532914186723474551060226412002832283753982428567374577391451212373916154860992417172305011059074326120530313490026435144745609247343170216030214620988477588444783537328101993298394371057910014726144984987924769674386012757299525888856156013832864298128738408224882306630136531481837506747091593540411710497168190072290537072672454411376106977377164390491625605063957637123040715683411709697928854076541215010327934528531572613712217465572048200048574466938626418329245880421616408369461297526822319475229728748166173997746952573776112505394184304040076224111358327890696014787919516020282745185691828688663991768575150412482144902318577659125944362526371668860764801132928398055003602848253190896762480523602736791243023424446736204320796878466124789924712109194915676249315400425638862904540656490369430997965165722099780103476089354160147209804455718897599692528024063088216221202237519981122462690193840292228908110111002221524529273135334943158521165796595321236813592865627725628989129247329704351822758826080451129594777539613171929218108911466902519776308874979354711715400443120060161741573123176764166895269822778302909132103980330372841394849717258259658695330894783438036630016631511114107180034995822998827365473110543687556687043354031339076009619238562099424345727550586157819170033363283245581923929153903543915983722914118262959307777297733656276807264127179584022204325456184353641247385625845505965075825767554899546298196744115118889019838587374969667327522971112027008245957977506849125759089747614160598849504846631606900385884201908908809601978231404908104504517929907851583654166090192883252414438461670770549787090044385766523954835417522274783800841590852646181262367868788445850385126280310217185604661502484636701664119028767737723977947022848496362353523205104381464907269314185743302542350946765192098223244444201331960575633208201668138736065808665206744039975762259695652565779155925652899040347225986743455201590811816353993944930669625067836093823127716837429126804866390340345806928685684053453746198876189792605027781549516421010623007464000955117779200403985851662263247414145228514517996958666202451490936125213607315389547827441198157819521760932028916396041548916954462816389961315813041967821324413272378296696738423132453933756313273723865645019775298981609045250841310228094234352261366982437194635879363637226329744816063371989224805908600703763380854905880006306250700198643137229673222195439038833049014289447621903929930016552607108280129135423377543458048271318291587726845461015110560177929428522643450950790475900396184769826327723473618936561718857364769695385767228580055607000439347384325148261245185527366001343172510170832733089872570046681314658701895748788354513856124955076126850876418514182358316699217078718163080208708930823995008660887743701726643287806938706303455333177070719156393440766546957156622404290833998591855292254763939616582329100341586334540298547678857265218891045058920121857553660130136404936090353327025984826604594369986165705976898071383218384161337928558063985861371739054344958703148156281948726709044162328810106463997638995809301206697341106793596702420511733537691453447330877840569687260678994421927324712725248911914329053358779254592867211320905638757734989870399442387925397918879424383658558740458995884831158879970735859947588234565195501895171163983608078670418778746990421789955624236111025074415263166319164525630208689605533296964615556454258197831938728997833979418756484392678087435445391294689258512159622107389524922648741749716117178667478749057839629127294904669027767646289663091419845141639869179100870383167226341928739593524083853016798642479562670555280244792626172623952953315930587043498041567087014350956433188438214210383036472279231912362441237159915614766150257229514668792219206215679504238725992608744796804587741584119419324384394360681334005844379231917597264142269875127078547510495696961329822507753576181885804551958885882136793441952240251606416574954256504664869960462860468909918867410170910403353562621082200070619994618169540105852626157436867938338616207932096780746074584222009309585936729883166145959327603774635373568026717708459503109009096613760051176079469702786802194896498633478414023670846901458443003042732362795999651061257716162229556037729506062782449624261728091528970404218141064341244181771211419950408594600213270222768596683247937036941943143230698652402653541713262367400349735971478357870538629389303484004315769412660724369901960539472643959737332964170639528318196209887952140031953663840446853813645563740535704844585965064981288450119389272133506604582401499703178185569671912844616174647259812534113016128976113286094608575180826588320021374226903543511280084292423102715036096696415321411325571605517588167410424293729284304517314605434536980570218249189208140841422310594612018063066427651499859195206300398431959585821962982853565222951937770466971846575845021434568889687439130266578058869135730401544878739174991083358654152414903899250357029293481868811244465749555997199089247126877646412021376840453002100732145688849508079362051868682417133178611298091145346323990481605081424288847625424941570984176407131316576721572828877596482017023266192919325771033152579230198110877618099246424396910650258845655196207811830484656089934064339733963620681059092852144651005433521958618201121639008382154763071618658250842343508154039894027904727516229004420695161004937682585446767436900029888190243855409382226898654174303399536705419268616332433724094464687665406381364969890636034215940455820915010486252348668842035186667614059991815375656335150399128488163141840913334100948681049377901031804219749351703961302070524099628463860840308404088390397172435295043392246984229823792433443772970223978993951351929075574168585068254521374955551929100380218189803150259194757851792667778063247628316232240440515067969535014856978381283693683978590405734125494336243310377493693380500466053116979916343855116665440479297180514132597194776008659910305296800671544155119421903138066150299808530689516187901864847505414428427845849034527454639974989601293858133256093983617381150862448971838926876165934803817917696492133156173554949310655180413962553258851832240279130803116663807029645734947080916720847696566778194507858090407161385485984398179007677896126582779122387245119758679054627854276271955126749294435855472256908546046166622418631505587369752434371251309896481731143012599535021746070773466440565782730245119874658146148901241434041750913024565089759788760680542196643357067175281635977446296464782798229458558456081632018713791895065992634210586052417406043809969628673223198198416571034091975339795048250696049816689945235063629651494761417333593004605421353220793496524930402446752984483588075355501789196587014177654396408057654082329809347619880840275255651995583739051359661931647529259617374569254852662547515544637569334836203913554952784723032036197387217385443262444905025332580619674903892160252157393820596657720279893660138813979961481738590472408823744129449447524194729551286849462474527450872825589413836268668167703016198747686549285499289316151108865349309336767947167775985329890353774228463134327470678839324508041868102064241334836696574432877337417300199036738735486043813551392389427612608762381420770410336201838738642950175359187689414448743322427899905922430859459610273786412934594395353619438127642248421071369961342650260628895170764100507573333930634386295244865411164250198036502284086797644026130682666440356242428446533717510893206919730045451691959438987075360750799274964342991764286373045859753149489529051009362886985791531888481197693255669221847149765734987426018563753005214666166597359964079753408278151275206212180892424378158795946840938407608518400797271588604522542850941000279296586912386665298131982060773474330045537512560002583444729463469721578863505263826362634610722212296776621343801355927092177971860312261619621193951341570215708126218067884591313632722513092758582483391092504602578247501734824417840196647728422159866041432851611789014466504462771447252075595396096006373431602660222495935670100617108011134492704885027943429594804859602951913751869095821939648129773363694740273298929283289589516359059525797241139487045522312079345405704756402556900503500460140293846359405510694587590419005539865688675661696151371604948492608269832891547661191832448884884351279113209902584071027076577899385282282191483932401274162463914837516217109211767800135124475516412046745245803005630081359800234289044055368675522692511486657850998074259375336817760656410047094849672294593407415411188028191792938083045315707947282122148681635665787016236171442962206743527656574369079425545823495392864117089716151769698393083563488167756495663861298075760717865959535896560983452009740200022080291152039894959564103204527534887934919867239850496438203332203677034712689365002652970586643089044425544651424399932226307074560310507032929696422305736742493911965414046370054846746027835906291690847720768853714309690684796653722962512043936912867216293852250026825398269598696141931448095516732718805904539014144605957762085938428285891710875077529287713730805948672489312178666441210817278141953687333773308063698629999910828105789265478210344014376087811384201493107674660610876033664398434407079013623547117312679025453162405719826931660110427336631698990240948305629421719166113388811672169818835234050159446289964641282002764228804824188515940730618458328862225883920382171608486611700914265889754141559551544279322790221279154961145685862023650014808052539159879203667394340819388758621643146217683518705747162025797059820490376066378720005850058238679154108997697572586024993000009791662290198335385381953500486454155899922344528292951376003885424544636960180455420922519744985076526584405466388478369617658936326806564453695424701447073904212894269809751151048570266842705068110265369605663247258833270668400614577320373386140655362065380092076208900975429721835094697394170955365648261098693349371011933516938908036652247777886445196636854928964920286711662407856983288122329631327836216458689441734816276989865384885849434016985175242379539040009022347503350023229588250344097079034143977579274409250654744772234990172110818069072227833136689198208294572541467419146386278490327753194241788991283889010772455833117958912825316796040020792019732507577724893208126183913269397553283263870859459635000660595457627087252780836762941637456982546334742246970000782073822730790414988379525213990716774132147053168252259292735354610944220180254381492427320655513104500343091859892835827897839578779349350027834371209853528578294952186605103570111109968877141756952873302242588060929441394995907434763455171568242588249406739597076488794539634963351674746499729299075007196148842098750683571766728481306302610634873167957214198053328875849646132567172740473969012506267387043893975037100789450587512574893832681367015758262493061161816228526638056992183264334244357209090766332833663776634859882232660504697123122125591649178310773602777858955926390396745073096930056704035595636942230656161034736813928611815441405217523011705967669912654178536118437696468958563923680683178377859086408699252823999901468659300917309429972243599404279613973194556154305258889310379565913553524318199578167965933594544149668131201938694205073931349222209090442112879312893024044643427738480782605158996763319530676310989272932635649180598903765047687429783413803393668047856870003574974782665136718266919939286719708061169087716283477295344600177440191105704783118452170340576206823428112490594945207882682005746049777199362551783857799419799221406080058206945293113294821877531399290179057728184740090374190915744687304914466012643500292941315566962589497729480091471365958182733836482834730376198022858469834805424566807146254795441219485913702750791363533996610297498924558034427789261532893034892448209872146680409623627736490375423627709041801708837189279727072489091058696070498732266310573976102622339239503346770394982901186810481198125461454272610644195695161712181007466515483222501047618477135648908543178217026490850855319458188434242294094548879675598822165250260829609402458733288202654890340513340369164408387593278200006735287826910481341770890852884906927066243341874357350731488991307873328971080258574252833316771947934599168373912417285857388026156486588111752608349223796422487590607424412570733228782457862503692146561447558635818005392386653124368895323424439546243241204222380990506500612929452198228146077405700781648767637312527605481075082993226163432101144682859500493266057717774145270630483793422950400275914203929984828287378381468931605144096854253522059894897940747204786385298453220148006774831615997696440126725517583484652291298221461349529423305673027681456130381822353414854891051875459813822276458907945528868270196906571117093258127064939216028379746589957447498524691725587005705901401405839941629188360959601546538828130088023812772943331313600471140999505825803200042796379112314917595757342559679006566082703003073284264701214851811528205871582031250001
g=11
*** a(t,u0,r):
35099307715789301232749051172806499271234392585961383047953846086470761530724\
42065151891496131897558189335542071884030955820397366810356240965795653588705\
44563535013749931444478282234694149003275666195077988843207782429846151509988\
18517858956367607306099154062445874076678566151379644813811547393706485322584\
86424970686538301740475473461318635596073750034891555396260746919719353291324\
35324457563263055927770622918576293635040910303307651078075479541313260875549\
54273384359925837748090177745272896318234167337215669086780224000819198583382\
29061343935371942075321716232619710370934413005075929444888301238426856595581\
48239705463658863899836399305447991783380730734972127440102002215745993917937\
23117262509818324535410131969928546832834348969393364960015722697878872974317\
17508230389967519450915881747439515063803758906586865379889352032414007633801\
10284693152613125270363105203829121316699525428006667497598632608618869018626\
16312608827284786199428225643391339516152448601939609392455957201893816996187\
12434408403555707550136366583533414708491634715730318967501731417929801895654\
85470705985348137518718897507577417469221679128274318564682683603027018699039\
87986447575686618061207821967392472955270943505520523522752792847515944968203\
78380104753765776703298643162815518718277008001512492449129566376478836379310\
35010935559175885821153506187622886788205891097447917437001679685071899526788\
29307280203837359495844171547999681632591464250370144665432636365915895680668\
84627699839412227009571507907863650026644779337359000108331967332204984789900\
08006900330003314062592336259742748834399636485917104819674096695098065488710\
90321178328156389377184199797193569668956294955841481554426718888316501624063\
00418702045352677351091149995825806425328135494955858210427829074258825156291\
00553531127491455778076341150360074692004181069013806615090628112217698028451\
79104497708932317462913587835710647916181485856968510830604808870396040477208\
08640238916495884162375536670490219735997152257961627337286730371666054619997\
28145325062216943750505905464487062173625983040100726697571252197812008402770\
45465999979403794240872953516505098650466961274871872721925482611515677010667\
52911618552403149360583006267406414730425885210766621148829054735991931207321\
04119014629022052364460653156292801700283022286998096613774790676945828671193\
40432631484057152340354158133641228855669427303779083519765610828352922827190\
35711161559260439046127043376455175563074167888035586458685440975403145872629\
81882207616809883885464281020876844212356621469937916516460612278225333260037\
50545410832100537759134835468656775258071167217598697122511850726547003769324\
50249215855087618700632653902995775457270363859746982819091644438267679198963\
50638665082749540602722261859568640497165073625890929932624058895621829388989\
64659680590498436551613978708043975232740411079251545961152494836445090760943\
24983695315957807920941296206543403476067232131760423307190850306789810026641\
63687786963643665113368405920269217680226055142633931740565051667147169758327\
77109894280109582466933802781413574565820512542225637709253401609046814242105\
73160944336869910945509270022878562520256323909682063649989592702526608906913\
59851356914426606308607748574259098193097683641457298028851871497896446749405\
26546996149582592433578555247174820187046940434405995321621963352006514650954\
86081707926503210302133089545286030356173177564259602020199194802750062529498\
58094729459608969688655421461945955179552040814077813723676872668197998011714\
87083748166026183129937603931436330627088159871306056616753294770044254515285\
95483736035546094442686662370349978963895388712573312969113406252177974605885\
77364277547697867473940478593708079434164770566208659090551027231736743943440\
50681598295787812346617118846355466130378617485390131508498548395237583116278\
22385660305181668963927956613611290277040424953610103595535274872164877159405\
38921987676885816896881911195722206693126648845453614689678852281089575926343\
11790675536344743473610290502925127359694114989494915876796180764164066061668\
21356731074962449482771375372545328669316237380120606572748174608539537919206\
08985386440362140314354439054622309483020328206974507491463992415062322003218\
30379022049421078191823567518275337651951263027133615100242111629442686413520\
11860400057963691975256539581061103238804341504144367937273025468812273774081\
68425643574500401773582899416919366049274180217191856563534259283012773695420\
28749891928283325365158271201726620707870519714189524979157736136033993871270\
18438039814810552294284813141149883779727283501549271331843668445777825150077\
99204649903315112414570647661326520823152614460139042397451036382472514234937\
16893320285254761111367737357172943396449022341879219369539911089285999490602\
20821448267184401315554223981911208130305827556218502629851448238960579618616\
18946999071886037532747805857761584768439639374104618614231618616622919294813\
45449826493377511820501848421184671706839841677023130250043293899723416142056\
91288942123582693632716306382860811530463029093958484262422713788390989790997\
15055181654866611389951052805113919379189541998619932534046122719334940421228\
86601846463255655057050081122415643670799114087453652789016786064398858321449\
98364934085405674237735910986038847570677694315309761478317005184413969895815\
17543316710247441031079493038495172849158235485146124487594580156032637877511\
34616519752741738293326476954673273824868090679769558794338599935916377781496\
12309359285980469366899792318400417691790662556992849730450334446035961688585\
10973392348139967763510986260316736503185469212207887295949188122883489005009\
77309274431510297122804131162217786573640574216831051303783657048571218146034\
46909897516109019832178430033012385949561618987158573705095315083402043920580\
17704202272425859394990280410503539704035252503063695659017652891695486871404\
08128194962285259988852498585906907336883947960430068621962138561743735407982\
29755817361388838936951635113452983228985573501141907696302696755336997432557\
49425417329965672372316199002086289193821027146639165663546117716195623727215\
61620823662262301398229022405564926719929359846483469918174368487849975748849\
15970880428888429964054917832789694623551919975613015262488550083710136858650\
88350116318328064437465942531656043455167926584091600389035157656703297653520\
34968696371438797500630778939958400413524763420620719345752229159247290713706\
47531868088730367842396076086446925633077755214872777993784466531680506337895\
05671668268296891721103797765554790986647044058964097141831310051183203268327\
93885603861256693193794785801803694762267536996959109110638462134120916330070\
84880793790343836092745616411568785395915144137366434069452584393599958556241\
85646240476063783445617010807386862340278342396898525277092795615180473849346\
99906933949732985083082868594217891020352075120866435786270477954404719665018\
78173004278160730707956656334613438038937900244249940126712596153767628609107\
62932881077151278613808158785225231573843789696680634452618657652159770324912\
57144838035414574597647340779077370327817153075138612070861147517283943632926\
81431783049507969189549940740456992628037545227640996360359117530338617562969\
67323136617351332736104279777369952328937319340985611787413019249747190531143\
07019336002857111338774572325617848209096550074434354760400484503846166491504\
59178672148847350415985312664916739998771810981818969542549878987622977494169\
24320375589348909870674493272907260252090904430767263730046321183309369153809\
28818228741107562037588764212636627247064820935443891891701061882638115418993\
21586520928908541557611955374433971189385252378119850912917369052747497462079\
46901760060446540677392564340243150027454318290546121883299478934362206339540\
29978265854381192974559631140144071191864407823342423920116824744673364813939\
36894578151383862101979589126840829196940068570929188933705031021597752104739\
36881122590150983343640595457513434978857902948921383467220676413767476908124\
93336872442050663878958743106146673552615723273243796841233579726215705302525\
19271254096929493919940463900617739243614211935631568235510434470464987515338\
29221103840804097730431506398619416850088387659769371809445611156155001706180\
17436484526148527963528978634873751617344165551615109155357442765664159709309\
55005890721051215586369317757120164966365217435515793397200837656019219905093\
29499917785577028600729544326280533517321195227149709420728009136441114025973\
54163941536036863040706868298443708779188259504414222122112935542845443933921\
08816842778519412319066535417326545591729930268968418239895396210806885764398\
08850998553400022286829291441263835904372561422782098383211987987670198199120\
85418625249859069198038623347894049359580583926892689738887263437925617215784\
67361802741598655282782593418178316657330955648022437519578948233157188827135\
04964730994100788657146816760149994952584419905310908756310289969921542998628\
56166407957788883693408174509300773739487816888733603117625019714400626265897\
61065830285648745532626206021098118616438657224556204238696718458698373416490\
46405819033166765394472158535513543379205564980769007168467426967743182900777\
81096536749233530216309888459865183169839394300830209986054260709693348402000\
61308774708850841481981233167063004124407217779567248888558198974275707763346\
48462994549300272757155698393966634526744296296820043567401525702247231477459\
00110536024726939731609592373333039163074344738681588041687279481016789786712\
22535532822674582702244021390822835605705824850723841420833294992272124474078\
04125388473624079776280835346853555713200138517376750726681383048186473108635\
00370898749742049497434389766443166439257731268694830292260130346219818901026\
98756183498171922486082857917960923754211200336847107931681794760130469783002\
59442714086145328898963281418503993264202271504530020881651085866451498108735\
67528642633907330275919935546671818612105614011655659890108954372552754629670\
58019330244009630038822611589397665951900231357115562265384238941177557976360\
81471608504118426124181615263303208301608730876160833247885961785629278415602\
30461046119783564235647740406218967527747549788194082827360293668303490699189\
81752164944793125749882230990888165282205204878103631785259364461823803718195\
45236029092112146911952786908987505292377649790736757115663341828204018172133\
75156515631784617972284912720256546253416256831952616731753886323080091464277\
07400025899430279007192152335379707797184010938592001880762519651515717425744\
13204207921353359686256442327603808555189997396292790242861779791843102613336\
26630524701104409943684876589476156978340695589607828955037935543497235230454\
07438499754927596937076297568326981984549717625346330068638674490362767317673\
38786221604920353407080908401569405009585180743478237800339057819074372422052\
18397356082832440520173871848236989136643273781553168611232480333851626961772\
27655180376497359648685830475748377375748785204260766322203056693790514182900\
11114027379654549335337591243179963093305074567974459610848773172574571130237\
08438310200144986035102728754074548311440297814071723360765511288043960197377\
60112543630216474629174832017747318285902553466005800541451108429513492937969\
61777398997708773859905206668949704471639529053162440046479376798537208299283\
46955325459723750533242510618666068776667646001783346702048830388055326827650\
11562674170207807663861095219846869949029093754384503830610811571428043031388\
35776039614027655273272963942375575296001819022041515672633815287893402812320\
19533883827017580954237352773808972725988922454530260400122076479097327835894\
20246862682015424265342654189636133985228200361422903874876750381330543161595\
24704258430537675851692635630842720364031327942513400463666092803481555339403\
10819794914837171298802619431734338120422929930208373108610710715356493807493\
14968548192944349596093449368227918081391086616857417235400226587167744596726\
23684663044058763939575369599068881395168798488377102660770769831404205799641\
03847506222895159647575562100036284400580423167471581554657660229959592510876\
31634235612103020651872635353422710938223791442322516811787659279699398291232\
17990000851503926885480218258807741897845586799670242072319603945336225607162\
39216054700430282475909558175392703899656525685921616377178445040596071516383\
36786307851521719571248133598998324005387512031531079615960261090309729715010\
79154002384616742045478010200990894169164012114320572956878305377046293031714\
39237436686662539615715056957374256773409752067945136917197843988539245585593\
31519728576005898653552646913666124167877105554114434243786685980339254119419\
86484008307284869485483457976950134741145737154751103179992277570242307985334\
18435315473687716901440552287454720550594389270791811813792523214769034892544\
30023975976902061443142460410625850605776439294900567826505408047268759178427\
79916683011263233826985539283947326645465803734442185133665773882144460662781\
16647904635425275963181272230238624313632603578024035656953223581848412636548\
20440958855382123575862813089601811306970108885361497622771008324123356756439\
81985018174568386556864812878087025386425349296064862559629794479565110565420\
67077391373850205573921370509385646416305355390714500600297191458226037970836\
52857331502026856907227686679307224679024479756230072100971199489164411925632\
19169694329832749928466762744817317277411603304436922783159637183786954271420\
65081805737160007560281152586470290166480766946988296546439945478565678916486\
21130648524733049616364913062203949265068369919834467104549664911099268924102\
94243439714230379951988917755426429419253196403324756885846409844388239300274\
21244115624392741756318973922266125267608501255303359365416932806671328754110\
93342214678212512520485041695536945475830716825994037647141069644423572276029\
46391912192503488897326203683830711118840892996031006997158995926136331243923\
27047314040969875123966304940008571884496974833164666986611915567786208480836\
74469285259202356572559543988930117754836468707008802704398888303511458376196\
93732228615403018773093536328702749299666562862720222942340934525074158379739\
93805142832420542862753837577991014438721868066009194398873919485589662847926\
64669891591856231128567275491259285691110330892152505011015674140449170496776\
70277651180197691131992975013295735968887371778672772532108453972823172807832\
49503707523199142317765325811394633377537845046634279760219743385637247585963\
61808119599833013888981012378641181269672542899205596968111090405511670883399\
83705934327405169543584376769391633861555023925616472762544409593282198988358\
91892568207147792098126012643628046501216233683031642162206844377939730450626\
29959799639978692025739524312374678994105439338029188400401654219902654211865\
59387531640675144024997224988453207382730915493328002603070308436663498058307\
45531931673776543799448002007982587811041690837952388539420486889616921612693\
06280945808439582043659409280157781322635065675023099717658322191887162015757\
98810952988786202055043950063309871608666677556781410132078385234619923985008\
68362166588977717634262911318320531555971032566398684314693378090467768645310\
18288904694366046960750977993535564049942659388831873177888293686098142243134\
38095246068355835360971607817380482955558054894716667798126198447278944544761\
32359727546364856771309725989332174637351947390341271617937227136867909068926\
11301385468897295201377824966673820714140120976928000477611065359888770228395\
72182202208182329055318752366493525147610650397047548912559374896738893417736\
16953186814206282887759114203247115246611775450469958644473729619019059827204\
27741490031229756284618362061420773001374301495190551649950542886090361464282\
95076597230745947850229082861613444153689422356203793809022425807800357935636\
64394486133584144847778709993752890092509075750233261332139023296159579097219\
61025418761017546991009856938846088514795559518731804028600023488501136178009\
93426187312904485574188653112316569874970222693405368816167839950004406597232\
80438185088520448679007279618709728976380813412463976332544738871181049453665\
06763354242694699367958458802602232757996406277718998068422608202022549764381\
49007668555962448306110165631783641877296143581706295265745153317767295058254\
61180708383683109406750598656882516413351048475058413104285797362446331624746\
38167692861767767378360307413206004516257482976313508746585089628166942622597\
11478984739107696913192995037925072571239741941702844180901094494836878031721\
71068152749189321929114023838223909994428283633411265599844858188528104012260\
94186746416121492991878803140446357101806055023756392522726252030876743531327\
43255276434504725830760860318577812274500115245825329715177798119320465236814\
72631399857918355146814427124655949059521929838163439560745469010891726754296\
18390819239758741355213600386847755601158807636895758571152072673842595920510\
46534405102357752620710332358772500270224210594396231732748649961091032092545\
89290698906909434461858882789565982968049302872324098480468693330563606303531\
64940569513024543071973916331845513248731737102960383309444913058090573622781\
92909967392624030755270240987710109375322695155180005188562906121325829571995\
45470556360383726262265365582430304525749070190074342668390562313803552095133\
92184371745301173697861302718129605359863850107524640336502681790338406488949\
13340768287605485092682355575855573739707683847394482197111091858585096115142\
6902908349999762882553966392151778563857078552246093750899
1
*** a(t,u0+1l^(t-1),r):
34630796378092447378696783526450906399983210482478027545645229675972820331204\
18366840631542902105822151213154413527403178879524431991975512499066456877843\
97138882711007996875697704496300011308015034388247136934288434944686914782379\
88904717346271487964972135320789199450516004645465789710623851544179813660881\
84047774192390960671637091168175339014146180512735049651260603468065702301896\
21949715081884683657322071778395075032570953769781853733318076032419201775987\
14616787460794458378816449010074592919103121722035927118992278852866105832547\
37683439455700681446952572078235465071211150540047107249850860065055196663271\
16227607059249624337213444031070487999842834440400753102748026657805001785550\
97224707281656122205682744223945073460204746980925377886022186911032881343959\
21501446447053603729657827708541546008447090267121857165697280592604254472949\
47522272331888589671648580996436519029936016745986556251801987901940975327610\
01856823169968415304663888927350520746192682880890359878874787584070985178662\
93581001394831938372603956795989030974896640703951938736567336782762774506613\
85553410688547050032373372735507418570856094979732280942017286269060028460565\
48769720800482792236141644143578557854644412557727146123116493054223184857393\
49970136725906834188905335356415311571870640820179733929230172831965214536649\
92274415840922147634441779742404338799931730148427478049633470390054254594283\
88871587920805047689448031327114257628596917452812367428519186269819131778368\
48347908517862786827018829270606293185354748912388690874405400471263427707053\
80536285420147874942735708856943068093562266477206309204728502523417112445480\
05689527449471320775931462981213232810193808260101662000863737101153211279804\
09868063085904143281888598494213003669928872284789595364459938141120776322169\
21235797675289122664242174193959272805125371088114845903876960106270409511942\
97959610086566146373308512136012619245442689605262590775023877050101543830126\
33219012145641656565102448305589349172224109068756355337233959777161057227961\
72263518721008263744937417293659648662965791942791262047548054170699945999173\
96360780847309416564687775049099023918758837208911402785704007871428704681270\
40970640329234253039863322090310889728462469612847600621814651335733974394765\
03174155701827097271720355227621485103616285615758967404247207264127864328530\
08858447304069737626133635444426885422668278107288150258100218915182472244402\
49917464185833158435945147358082025277471398127572375071027793264941702323718\
18609030207019318138383556468874038727875776689471559455061805440251246497945\
79236684547356147933651389388986162017696468656295933645904351050553050437587\
13427201850347850709078046731876810712568201049605755017279520152106152891524\
61642375893658334276545768931521005696313037048014743993590144872543451243641\
62016837245575209367387763196924367109500272110451747794818979888683865967693\
72926070906846024055478231073641823006976234594962731338685521937844895988466\
22014535079813048893835123527562620781268643950518684598310568218864893854990\
80418772220753281032447478383886363336910783787490701499563701031395466332311\
21683823834041836494623718031471952119541000342478298617954136515173639711270\
70287156377192880751651916557695016793412286306977334095207575104153668817266\
37427347702647118452262712463007859294672565256193679477506875965772834811342\
56011651758407505603995606703747173443743724693546459390341141034526479937336\
19721941079725423930853569340095731083718198222566207756286302621458981353049\
04386301026991350874588047482963320652088095445882616483937900401589826201400\
04665265699142809533551801471079456441574204436098474531260946991859692408699\
31170316112133491044922363195349350898892270847861046288452459571246375837410\
15522333357468064017185077215480865915067668197487259897706576670273343964559\
27092414561397264038936704689959081730517082240102516005828463639166013393095\
19492550688985227572340662103009563222250653532722309488036865376336433644790\
15081567520286749122460876169181966594047474967388198423490781243396581308898\
44875884831470180969097007736871753648146276480719664104591358039793737635523\
69488362372192679042082744651223568978241413926125014621722537566362936170027\
40318345448093989272689103880656534479733893554023933919816188003688167796209\
50522997610026468055675807128366183062090601684289270701180393315724679463415\
41038426975063244019096809547060598093110342438986848467024347034518721098818\
45941217063834604670628906068889335448143660719116917304241281371148111861865\
02062893565892057714160877926807504908362736891962406753443085552174561633058\
04109593397375422371217090629139737452876939962339633600154693293941179228464\
14776835476107867748368390473651168846107099907949797086520468449606987261584\
15871662528356578383644712649560891670279498378604907489074788195726400580325\
42832022443562753383256177748425501323254683119945268866321964085589020483314\
27601775416713963275623069576852951951019955025049517832912571400505750965522\
22662170927272357343959247788206384680223255624406201936339207041493668458970\
49225746527104209458160827406158004993705365687181179263291335764238144776006\
67870787333601519505676776368835012164626044711425350415859721066876292915601\
93047493363464775360257789816036104332804354680400176230553040710317231699208\
07631726275850367290953849082475215035821306869104129499995987317464905225086\
27814074550257977604205322646045821893946603373699219856038195932322388311665\
25159512443453477562224822899244905998463089753117528043280808291027695236679\
63552167978643105012496379102225745582119589756650051203011045456059682700159\
80949195128753763679563141647260485751745483126061337604511795107989622353206\
42279287093202114116954691256153488695507403828264354701245322001087444891606\
91550197347766114886937017490674793901534225773323134649108629716277972029961\
53514692916070106351626436313347527038727543760735785169833611684390092666162\
73407575082927586359372747881682754309355065289780725391124017822006581449030\
58665567487963905889037228603838196345850112435004382584611130605412144878798\
94502414447638110500811059926291535039574351706152211142848347996354759164882\
31886730745744201755413472878403180346040659642234421065436422607620568847189\
47015075833545042442750045634681769237746330233692157447246034306446968875052\
89229403427659859158019467096488432888538893386085181378956871261682254575147\
54572599549170006981318486639241849873793068827132540690196687223137496242172\
31958587045583251342179164202499554621975448365184821095444240284092882423811\
88183015155655936443710761964627227201480873544274449144756747400406287858479\
24682162505044474543120535881047288816659324638313711923920403066877823403099\
58474099335115212365141589083595269072109999673024462648255071980717553175050\
93234093897011298964065077244795627736431913940165215286342507169696314063261\
02268581529175270453790382835152524516727383222079751826912205548823010652145\
12482164088357268220742866343153259628475463249116488052806172789172098195992\
71509979240726059697567509756442299756144399085259120029870787372448117911463\
94249156356967262148087650096535430991178312143401072048541198275206177728981\
20150858931691470675110674263100275545903673254120397836969241462208852059092\
21719856545644335659057892828501703405415617259202750469939076479323192077824\
88644585312600222268052249537020187295784868009870329237198823873216441643301\
57811093601504430539808982795404604942830514160278712934984523792653404270777\
35107640593284101810168224534603657806614567485805041276906386974304792410063\
38428525098934233995107680108034407613998574927021476929652621078739744437001\
65630546355524006207838937230028558480925450860638943393199819593747805365041\
43037510359105804414276299022589311620894026406345639618624720298693297652907\
92019455862377625900395879372088782533577131059415117446269591230430707582762\
87000618172929835623814469600460975335091167870626548537736084515029757527816\
25795112186984359133077202597499554439566347656693267851139249407289577979243\
43263183964378710908773294193379237718671641809683204699552564377422073332708\
63758753177745533578301163710317489150198442551963773965493055723592309803539\
28215975277746100448999114626399352263163820738912794016465018613063525764357\
69844521768156204922257602725879406368371465923584548101576354839698607403579\
25769106869640516539318248962637189354687319428789535323899604120159363894369\
89036058000516904913355942358976162054660718776880328167201528171861967485414\
91124070683589231064529496012423410389170687595745258040920151767503568045629\
70468115369149966371988411021580670130343116776426831219031182808746903006251\
61030389985122351922870143392193572616182400381706135482083428998264763593327\
03615037855170197147751012638402855255898284382420358264590130236719050600298\
98669317454691211945371775824530640181248476591780618539318383985895893926344\
30945054347673792921082370177697203900918457820140941007044930463485378751781\
06858055020434301765783587030827620926341589497420860021939921326880375106147\
98845340914815262408116579111235275836880240420402791277453401246260515275850\
85464547382169233928661703074416482170909391262331920197586350666849833184176\
35573841119856169515592162201540472367462961257481812863349413226009513666394\
14000752130399712942822140684592218937955718370722334420784375192317346296447\
31254778035520350992144280795490996371131194419589064063377771857243484472540\
31578440059746779596096159036329093639889951771515069344025731544099415359852\
30544181953397729434439489380043497127484452574986849715869173263338600275149\
33068951269211566078113797244532912827165303265108247462997481220352591062526\
07115389057706891262686868713271790177959215460270728292994162349539184313151\
61430130583326926288521057417367121274023820716927840402696900070681289012734\
75414800907981982152103429176749614136749365548763704474445653535544264022822\
91950106703488923075011853703888464626624588669367634849161090034287534955541\
76045958557456111203725353435539427990575021454009631914210064631649799727073\
68652889775581781398241986362976890096898861693134762478163048369060285039133\
89114761185796999488482245705136599116035613711766319681340440798262195659665\
59092722808346467531593016672160085866895411973730259801549926809362585226565\
78157763476521641981553634686170808149922380211281391591841709864929967885221\
09525943240038551145027184784740601575197127589022364480796835295766898060773\
13139190685473225852847012619115214892606816118477981029386427892508155748642\
12259483214549067430532241974266241646038038918778803429497940853261454559969\
70409287299911878179295523852175787564288764776064732781849281727421328821775\
63407540115199503305985278923461693263072364092842265771858447481111199486496\
42623420295297413505444076005991334109235354665447898284942391608594430606331\
48976801995498507239582126398207798367396187403981423501439500875853377174896\
99508500874030684383141761326697026989723694262284033008701737268157557944961\
39471391710265408913388343053241517633200827765385560201333713584532806112429\
29054311679646288093523999999712871323243120049329416107082461820888173788630\
75746999900965163975234614366360831886923539788826567654312800022583430212974\
90266266610428216599539607251119914354732149058489241962978100727703086647525\
75368289197969216237869623426033563564837381713169137817298987612743797740646\
80014846649213048083863313700653098206400014986152196219828914527654558725837\
61208626200850494222923839722323202233539682110309611762968055435994805106160\
35326993547216553196172340674312848548272985228678660441619218674349490305155\
71093078117783001646775715021754719647270064388219561970268992565837752598498\
95102511779155251325959870340320754074321622745378005503156507680223815358449\
85958956893372233694922012891677601043597212268245304880756397088785082822353\
91777859977842184220693384687846604891562540888977185828813874127314272018110\
79102044515804234268520048479123675487558215071798990922114955087846672477360\
72591286972119443068087906071730750391773640722291515475034097643040451929169\
01398365689971060230724086313195180270733076186104009697605660399903483997278\
13331079554262136324951922248691132768626627678990515824869055340387892586242\
54426535110455801178750939379656855831789458478273712591053116337157653233831\
55961735389493937924737480587629502923301978582205059191046781834749790788799\
40604678911089735972346224161502742778659010104857993821528907250093782908143\
79374860118929067970746604908144440641720792687986099192701657913860865855311\
92448626661358931294353534177480277547715538216089241958457341718359207100101\
69245967547453843038462480399301821054924608768845758708380387198554097830574\
85463033027265993882166142807814382077112015188628257688665513835291868065923\
75735370223571177313165932530435237746972378100612033607966119503294923924234\
58806108355530834014840699074773815090313814653734504591454404134704718585782\
26619722474665120814004800011653844971393199756747106108340249592321932639557\
41958521825185938682913335954241592344559827392224174739034068635566466152979\
01554667573531849103524199824054581058134427398847343751349954197382086407265\
85188490592099913322259130238649063726690448880729781928321973244592695637414\
63185226774818297204171322085264694577379412826513404347789319446072334192158\
08373261055462654845349702273858895859475461937684782020792248764724980199024\
77133353994925711912920665056924252500684809920904529835078479172575140751589\
88869778672438650742396184704186032141131907908508408629305634629557695505387\
34864883825179490475923170043437211470932970649003425758759532146293068526024\
91428859198636817136451870949879055213639428058572537700794359037378986216727\
62457871095384421192356332221977575931492627461045053622335961497756313474260\
22348128536529787803067978288973974706950852810919977327168819920607749635708\
77924645189001657708409694680957746883804168791008685204451405923486833792754\
93148483628323111959659584787051544637157109298368006395835827501380176287908\
03676486865803138508634765218774226704278417101835545530368372173212492709800\
81826689479395413805382840223300318585111082871345130083171193506761306151992\
14167159729516520616326772899658862963740933000759454100089208758502952481142\
85105437789852768894168903219918842943132445557691441765645063829877907239988\
57534818782037690010596393748447973065850439990651128488002822235471470604644\
77805521410910328570811281640100533075861297243628266229562726706608799224331\
88107572858442816007828446290209207170832924668352688095525551683239756295556\
76055998087498442521502734221441980275607925131069955629762255053452340696245\
58594817091522639321660220872923242434351859891637306239069369948076221109809\
46926388648097657786552144361602397539926562595399075232998856363837830334214\
40123691804322479724945379345383706377282873474689087263140079848947622589518\
72686668855454239402473841719861908917561004441451736136989463518473718103117\
57772237780226068455607566562124929355001452598882795313829840229415918563281\
57088162918690415633132499978048993673302712878636119587082220800410514093059\
17230793395585790840024267112365393082958837254297757883134525053099470312795\
65520665554644747448444635097372234597698751207155403698676663482093253997928\
21161656185663960893906708281912879836976960296479573329967758592014837811553\
95467868029652642794291138319332321252425636153705423676796624620030476597922\
11610096445162372548879126027007999136534643853800726715960175942235713088687\
64634818306674965321976070243025834985783098360660755632376119621759900577106\
76009946322215412395053611232759872040403245417077603012906442370988784748509\
12478208231912276395972987502178880436101835584490436931710026322239762691027\
57986147320381050256980804343444360970660357389449510760142626067075092091095\
45238073577915771639939193893909674615237583458343228186808536190938719301162\
95604749914925070053703511703888242048998644601619073422655376394591313532147\
84759838946907895816884486048841135101604908084912960274405843687646275462743\
47241159075793872800355636168400545433995193945465499333388154608297653744907\
49796761219496015621565941055233361578022669630007577779200781157385868911179\
13297823769063414532375520217479116803026014905439468585340349833352700896822\
73728430993980564140158160843870455362279923361835842923758921932058187779907\
85024973847086683594131411729148618648562722561552605769813558635399808964266\
35754887732035332907448830239795237763405974200302469596950150780186508912444\
30775784424255497009883073529008364279734818935536226315197671781798946234766\
03141325555031792008036036551245636057615074267464928687854539502403739300401\
24040774934000003984509970570783046961321315210151877477877517754948145251938\
57926604366842409982836557065885659332245689429621198606171359861499160696427\
37153336963769375269931956656668550492391247661570050447358988858965426909046\
24362942333762813909722874067126774473442770645523759728006271282009275643389\
95674239240553409655088658238152243621703259847213197555345158764867642747897\
62883630135328548603592190513476841061556646561285808617199587066010846171728\
35225292255931191401560595674061134543046980028225090076171166571779940551388\
07712192960073487516361790206656166748743843796038827262333190743676285043527\
8824115357563726003142789977573556825518608093261718750887
1
*** a(t,u0+2l^(t-1),r):
35294520773162990338604162692121329634255718462412781173915769590844903697191\
18606114916476644310781538553203596199292529545761089651348211160266152218231\
05990473473225737514803522959025039709634262781257510471924177215329166813158\
30856667960574323698235411871469488504246300112177084440139753997675931848294\
45748802559099693852491466083461675838543570669123432790010806691241707870252\
74230600263837377707124185893651801386070058858943399971724397670019118833700\
54130299734563912485287564718272189401205436343540561573358534479132987229563\
50468804135234967337142192963613145912485772365504605359487235060665048234044\
11578079798829380384262630669771951693188187524376866747332825364888073973098\
17239160521552575506129876864088327404763349797921692907513029275731369486966\
32511057032848317668106737596980335503535704173030618802469381799001404784155\
94769035161248348436494156956909372269517654045515047183347234569734658056549\
55669186184499940738913365941741680670302350985710130023114777875986663586822\
20289994657190611374108203995010241264156215553971310730391062515916063307755\
27102912359015257304696199495939917010207339190166834240793265825513264631737\
54326750398688212154985396060648270913865331400434430772601251094721261681041\
40217591432040336084295854748815605029279660993734475165754313686692845480418\
86151152108448276732283392206463948449986791492873100515071766891329251581998\
46155485321767489415175896640035274967589192082685885180813240572622880639960\
66410946223391160418968457340054215377182292014429962289134703524263966907752\
69452989875776413695865931010909282476415207322879936325901427599965129256723\
75584366194275167961039506803852043360107331079066406368411294632967872600837\
54814801611789566546592213121497807573411161832525134396247783629733012170508\
41935920065909094575507244048860408811537018561055040244762989781362401576997\
12914867551584888750249036043918159862322650961845977520430197128852080746825\
48399083404351812327905990155865582470902586920130490670642051452709803533345\
43096077704387227086159442202331817803067729330646336968414251375775367737602\
32593174617776451605950111211257629788678679635688735195351097086551915481249\
66220359478723522827549541341196216814577308376566213035085056152766079879219\
37846039182019950319769110626572516948894162566681067117744617098953313813969\
78588541559051908471279375920813871952753239468983639045459524125507277236685\
29791868798188472633702833384110654848741988621561924536876127521428747351342\
99912698204222619613414582917544679830890306795132231958710115127381202744242\
38590713450744033519752938001852864108227291618141515237764975591544484324215\
07258388357062522030447073557628677434229598363972494403180029557501648493729\
71053785578204209905295800579588488330853422200006007407221523071904486949551\
32427531984216447878374901837677145284090468982918128530458126064678934424797\
21674372153087717864884240011919062004855147772092794960734737127183524209214\
72718308581906421871507273583896966388124976472681951383171086437264784718051\
50731195138174708064636437947049912577866232856698527796624110183068209204520\
11276411213048275300044916685964650187221042062683632413337699447257012738431\
47169773804940658624006011914494132109633265864157283001203661661955937554463\
13680183002472373259126823073911053892202930091994460256669916429603881250793\
31944231329876420593023707395927220736352116260390078115973383872843221942899\
57416724617893780421072859846050215219482808560540982876756276854339254952825\
63207684473957363236333252451633418116671520048565823338759709090233599646071\
74991432009047463154826187745046030014862548827771162318218597610643925521380\
13278428145849690986031360009690882990528312115520164424758763756941063987619\
81997958686754374150547136192553216220091513022016328012995203280639349429494\
45424512698425171016007644915133043838091817750904931757913112885914403728701\
30350919755177729115440764984352474805991646892424991857029680158070051876990\
18752803876368907786589213141984777678713548332039381482340097231150518041988\
94890417009750894696802361887409318261470387754870999267813514845516954704073\
75442479802099415844467645056038451360011542490661796187189598602020399433714\
51237637299974031908129594033949838973708500307595982258752913140173735837399\
54084317744604201941748511436350653312435066429083991785644955532598771403525\
96503650490932550837952103529360519364342445958110609937080056053218628944004\
38253506455136958987878840007075489566090044295469778177039592288069778041855\
66927684085193258369336452813792541642795844588877131572843911318112518282169\
63827590114123316599301296424737680560767478834222129396324512669360570487634\
26108522289065966679284131891973682792424823356016478654131345522485587919359\
72883858991695994203849853703723839988650131380224167271841723256974820884570\
67328239333687405928369317569984952870600037813337681009193974671220377132938\
11219847775320657047534672939656221605098127782012135423847761607730776632279\
69883430122045333753031747463966822718062934706271935231624174932931540346008\
25817446291434278861530313388012217039807948795052746396860617283958605273404\
77739787767278211536788958103074240131704559660798778777832229813366593907220\
00580534386214382103351794806873323919791585829855421998218657048620944144401\
46673146057912888422798511353503488604715289075163622399093993838769193149355\
12450871920443305247126957916601378796085377057298866685297101604080540060592\
31955128803700049285514362909715214230677151225274233766770970343956072710212\
39065569168763660576433739242854649386962918985356985668006747567393408298697\
25792640807658852724154543460116661916096862171318432011813599523813549726379\
48839318525653563880188321190036926472084208636697831623366145534366460182652\
36935037657700752940012473293765517121744013640455596079813079214786118055338\
47550487481541574004363357866139982461115783043636020060349024760641086550407\
11567584977414360844276171460023911945498285255875733656793812977558004092360\
37242021430799741740349103334689661213808908276486991946435695679022073247389\
22920160835022380938819840105262173253410613238288161074560210359306315992168\
67672609463531858384322186563784075572514945114520762844593603198747456863426\
47239716520320990268597566238728657712426925063424701614780625719310101311215\
12360068431346688476718825541404220215602209268343860165250294949899389104772\
69598229980213851534511738356115707199446374543097876870279374576906760544446\
19718785444427575212322395083494472805260208931372128827825922454137503620209\
62928349155257008506329795733960556245928646768911050763089176606502011526567\
34963556825885236738422733299286075637271735595305068296757659946400848203384\
46967965951459021395815103192300026202015151865179384705775180462873357463637\
02687283971700354299340281656477167388652142279491944327907132448033221999084\
51466513756904672480525936959388818673192282336820851918296092239161219424508\
67287346489148782944252030636088553217747259049832362119207193011737967045295\
84492695866534789139347270371841983066014133904255067087940464244298871016869\
67757877504733263790159228508757643310062225679407631490283250553310467493798\
20311585653042941928184948741648984321868005210512784266764593327888164894497\
59227452443362434538656522116082908543963605414114189881426071180730739163871\
13567874997283653810957422301540303625016370553464236336446151951959034098697\
43699243084284109591868455971866699964282733710137493227988736762749354521739\
26197640469367337132347322411817031180585759872793412981198843094443666672713\
97902352524731169708655403402100456012463034649410840072611014041917394555861\
89098099104164263373039908969499229838508013053007446254174336992951540078914\
82870247310745938208011019522458554346435400080424417379071868263831726131035\
80592545771803127185972801524654181973341292534060052053469797601250687322229\
57664666097326461560234814564618626497094042564877564687839256371574859983253\
54812605881661624189742718318082973183052963113473183920439550692434925020559\
25941283318825653507926784611967114879006949488110053042159547009232868424767\
31497083283745166127152482518745220058375864788021704244425842586389456665613\
87945030046316206094583088638404751348252642556907740463229286162581090519706\
15489794451424136696415865686803814382195947232153812270377705496152808447390\
81054422333883908626317584061131926918418643476466448627739844559891843247475\
06300559675836845593769754106555186581074734807553344603326021947421892454131\
99522164484740321175123635169369518592796281382811401656135081395516601480551\
58177199880170878918012991616131821643551496692096793034953990145554904529483\
03913723276832701396025489996102581335996493737387087345888861121117639558475\
35589621444277179505712418743084758907927902008689970542490955731673079754983\
40921153302188112287053083816658059440641062952615196346723584129932230112080\
33341971962003504848543926314135594505558383167313878997033390235615312730112\
83652403312821430435477297267044159320645768777529264329012050596955872712466\
49556018249146558305453649962296154855174450214254930456389937685027627744497\
37609865652176987002829965703802141919393562233537830731249223227544813076094\
05364997037598621467976679402697392356467324663769513899061859702719955303743\
29488928890508839346461347439539307688739537099360755711825338414718016969547\
20467101853563018373053472197433890326383990704970139699316240990922333667617\
18767654807227833996472297371861894758129105300394163119503113095677419938338\
76450891190385059085381396166357746790581674326705876147853137125206420122587\
36746710199963084255484636650572438777629576270189239804452900815331163833735\
70273181181699018829164520086581396077649527368753932781134974931210172062107\
16947957212319663319980874752311023260109959332697596081215329948022418565402\
72576076686376225327510146534139403810170717537860641313301996387972959049190\
43881506719226591273743760708359833170765082477010532022143884319048400901702\
08732295981894390674371724358204783431206109802057167136917585599787394535822\
56214444596534307084566804590903166457267836494468799639525812542988159724213\
12017749844374845025465558193284651184775867864077511828558915988307807075916\
22795740043681179987102691174332263386328582214489464329877264752721281899453\
73905995696477524635089611901125603796538705423898960540050626513975976288883\
73180893674176832283094222148146002056345212334246017464081554799744392161148\
71564631769636748783510371372807389247932989595382294081809843083232663806958\
82618458653835802657498474345813621700133469202453256257346266664428810509822\
56200671611184146419484953283389979659658447979213662271467588141588366690964\
11860672225637374282537420684114284903965521014576559478872645459892361145200\
41636495994305368442977953449172678731396573413263697913853350636042125443205\
93771171368580214819145707174723618629229034287710492497521204951264321269568\
07616330090331159732085853708381186469797316362012137361743371466081659957435\
28841192904261476502483722796088311094040077001024291343862093664506941066106\
06386806942954052352362678691928337853677317389620960722438044516440709250194\
14290065288018611311851286795028401381937857913302386876548783788517949168578\
70575766646930223005618720355143633119140769728155890343328301079868760236035\
26643667908640554091357541800602414275775640438224239669490738220879811902530\
67343203349367074935526984876426607416669237370328732111302523937992921181687\
93836074504587200425617983211928043764509439264622197332269585247056712306616\
63963474821514953877496951487687502917292873333399671972067388592572648518445\
05375583560852123437074685884629387329348521090135833169248217902499806481446\
50701996221371304620820431553156664806298474590554359610883295313328443161261\
18722544567766064554914881233457216847138534262112464049835155544827187002714\
70312497654982338822442863312078163271671405821460401340752809708108344875278\
64158115267516378555515359442083204781006343207335160984883787372506642524841\
14568797545429511311782939220794361165911354242335434035434976628307292608758\
49903182168809287991628606569479642575809132888656172228450413755933201277947\
50001461011333676705475239811518358537585649855476241607307357415682812737275\
37769546493632518901455297857057269077720034345388315876338238070789761582168\
80484113632584577095786564206558140521606526086035370359308106853003168966262\
30334419093151207800452070622320720937889227885898113207059900962891521701197\
28246757099787911438055164415966825637108902581667907181738781008038582562798\
17332083993087343731787592893395908571741653379193545355631834175193600020847\
72264210442951831011014748907518428673790131146602667274380913221525258668364\
90257702205917089593549259411797295826053282672514030383938697302259130475304\
48325563339468257374410375431244030353171397748538081602707296539998434303842\
24081986418714626774989844378348961490015432296478006934244398351491618491034\
01199807347347541393303651872080130613460487688950827420450491129040616805140\
81996058320144406504344594929689289153869316755998482484878013581231212403938\
02711859623982854103253524961606923648876575387325815954025206983577684455657\
64386015214496416734297918529581458409163659287688526339575043757735960379056\
17496555811088771896923196352964243402425016003571722131230602907834712637780\
05377032687867237858169256883391704461066310700864760932126485775999303382095\
14462854578819440326133349731070489583561519919388607633495992302150988995983\
38149131814976933789319223193443261618470399942831568659405066183900965881477\
07235462207398263123150558871778172682889972341261665034857516415162270515813\
44139446128035718930498862839561066418410420479086329291452199064025483134071\
89697762649636433774396983459602850780236003635608487570001926937961338647949\
54005308001153244841007274377939654041807859009099954344713205420777232999640\
06362885288452647765955314533918605617766593672008851662710339295188385285964\
43975455693352979945357682804390751242378835181200313170051395784946650918003\
23025416151844461343636784394331342661406639301081548094084564199080150405479\
07521225805381571679894123519575521985276684234155577897617541071152447307103\
60323689284648178846853892560644433054365054602803321878783139478789931277286\
51336319912093464577597168557842879391873428167027128924625859867203639396786\
55255328273914398838307936807888351354598419111103292168156202143028420999547\
77831106375944686615573166406596259188927410043111558817953444129396115556703\
51802982935774865469083331957552562888875945772481206356657383000731386348571\
94086383620178795985838186850263303460146070257595535388168070539256951510040\
59717829369488687651387643369924026111222188660699126088070699473574863453514\
94950907934476079638154609360641000424006327605682935750429499608691542978725\
83846468310155041343123588419646979216531812425162271573707589834778636776691\
01362738044341186493614828539746522729960708021502107630032102616347509769129\
97774636925957571458702638300068699139708357552863638065053185532572706179488\
77122547100897560013925343833321635040209303768080103840724157388467987305665\
71788768015343353911366333111136770402474395578224546929372729028187058808080\
35209336709581568989170180527648816320540779133335383250962461993024015348508\
57192939336911184496157456918657546079624771260448178455795776513169575402079\
79146508115903031664080258219477360103937739665106767760793854178700733759325\
35846141134641245528959109276680080292477246949082138614687710317678787634919\
54035936583127585852385983652418663841203969467911299990606552579561386833939\
69687701775967004289885529373635765867558662747506373307404085573138513430273\
11026268592614090036031094365242060782678759152626104832317772035292835933132\
95625115194616087296855295520263474991518560405932759557123939080761987880890\
96837901369149783046792594453319442899858822374681260745067549849615109637261\
90785449744185189772883849583218681862790050416982685878331973236426772754297\
24264818949272534180905947450002690114826197191388180482596260083012664056730\
66410380839366021433507886241526598728671539263473293570893902780046312272149\
24257353035427731817244205990902997594737872993829594489737887447888191088732\
73530138317061247730853968744758874396770594672511025480437064542672876675003\
10541715466244002235290842618781163074972999683314094704710333062661332303310\
81919477291732087902023445550338614721872267413352373862357899668998226948925\
35200020867824059693724625182384323492806088700195527075132960885331007955862\
06788398105441904506126604814231748938985655375112456131836184093287764821001\
68252264150787756454638756530243579476983119659287819091116689639428388193419\
07703337700491548593006779476874717534424429481372375693349803890048617032415\
41787655408822478719824405397475350661048594413052495535489187502587645174261\
94347933049884459125161768678273246499573492543471618494264403527062847717900\
56847914171050263556245183942144987738435473126892309801711013798124447780861\
91758187455986789547012567133359220105997459866832841702403634186516740748702\
88215108954156716953379188527827580969162580035402898523053468667050512896552\
90917321532538666321319930653158134866870879307232786278307479798071100629599\
57352674674077150749482591146355326652609283868792671753268550656463767394982\
1935738763514778248975289898226037621498107910156250000904
0
result=O: not congruent.

code version 3.3a
start=Sun 14 Apr 2024 17:01:55
end  =Mon 15 Apr 2024 20:03:06
elapsed(sec)=97270.799238