n69-L5-f19198-r2-t19196-ver3.3a.txt
p=92474571860110775610829791445526972614637928999266319282183739453558327076784052882887499806393325178646687097436385960992643752640069802787877566337000528834537492102316624893899216893906074273831839429517307839759181976230657775886652750340291180371377720546780441819720518120227101246285922514268313534126376698138707933739117680186822700602529797822328518707935053201642203037321810043928593088912609951157553959967026783305919368118623337812391681110405606634171545644458391358572991247542216022095562571701726052479998504908596289699925152600752745233671719172117531253328386077668235791625732393033114734241886008270133425520395616147904774269616759188205165747364970354679831931951081544174086814186842166296133434425763159823877309224453461055011265720775020947674145684858777601917334774796427843387573510380946562489277886820072829738251766042489196290044931428583236086216714807115280199094617238669796745260604681436032724677880374948270038488379273962885193797582374294397225344368227202990930388181294763901256797430622167207019641936416142462221948999941976407933028476249384393833761163997908857658854818648155135477796804781139408240912931790057414859134829269417994829629902580445571371991183628840636072196413547607051394260515671294539891724630455634358738148146362026129183639387673964730789201113105416178173161692296050593542433037947753314469085335333622422007197734925536165799691357128655760360889667875659433584140483906726478522149954354629667152548753160650535810257227435065874726118835351383205109549664109991553361460536976669758709864144324432282933408038903499070756680434859003734789238758304281302721408374858810201375397152470659986868319766832327921461961118008605329313481808577713555983902117238741227058708512468985528503177555404519298515121737063538571613045549153872275266375253185703434783429052686705927353890053150837154611645106410280504910422434947071912496154996576030073420807043243877532026370618333225525335091663707234836978106257624409970614516252904767232481250364248281803161429358069020847055757757314625063707159312025591519617633588260676277244793792764058422506142925205085000096819367563993769980090917086102495534987954686579258014932287494768341878385553398859528039650513727246331152489591469883869710373411071516507261391654461581042182934104206909298421739799088037053966039487512730357401260695333363554719921884843121570977445926789065442802987282906668457530244580461604406483421818191226383974560012875334653928975858236804700391467588765119747648875976696741301539959432428725480126121790411368008146885502596319169838001500356041061892430450512302997847249323760285858347201230843374072918988207023762312435414806953682164930097039298577682061680619752899750750126885157708274868397712200412409730189361621176844228448560814616008213799150329539727606908980508821657714743390733021157480767046732972210270978023374792875790542423466966171769249559011605024922762277071417135009133801447233661497330895253552305179767142054448247295049902667009776839403495334690442459792431810581861878018134554850027370980629934162798879134894488951364146358540117441329939110685158246747610911352901725741933204345937749462447121625496242894871058936443436829208587072220358382325771795263396554149378165177871557887182538321071412904750472905639723553481078563529584405063861230653415643759213105808582511898565207414478527190684060628028113718419752580545714528279633162619556390619137211986169253448852962258094405654010100331619738509205521012569656450992743237519836837047421493816176122846320600304923993487103526660369134840470281862007336007495413731670910251385900263355924456915908132593539916447485556978551271080187710148415095031613012561179145009919097059870635909174860291765935612236875532837385710745486805803448088760287001216302699284152859263771398765401746689639033412216357140367295760892171467295897073460596548970452689247640430180532485366699495213696895674881258595676698734095072955153494787495078720084163453295885013071410296673515263379986905707831676844701127166984263701519280066676055080723579682208897253351883799185351947611018475595149823808122123394883248157692336493601911045720788821748393302576302592844334465936314111027431451821896299393349086847445889141364664657391365969974168309893690807108627337891933180051195461616367051300404224839548686429526136454197155571495450156154445365963057083499243782955693860672289440295698869664108814174300961409837656456621067782122157195935940796948077591547185303747481001629442521481239876235384734657794797718335495381069548660437499412478741810486704907473035336895674129223326697442496256985192282186473941073689749822393977579549367975309139213940111808278101673217291408348297095651642360628301375010986213035532778451187012810540023623476930766703604038996037127398729987095971065250394497785210089620322770463062773977704866371068737675033078408731430105187070362581383004558433496639345475745582235704653931559589596389201825156008989344296943650799266114026748883959906449294285737711585956361524455678864619091730580653359126851390783039410727413599869575119589677319665787650141925724944621850375158887674641305664776168777217697538385911995169193758424969595118544678643464845004897528033605863127710601878876989315613435209066165890322166948071442995989665311596122819663291404220358868638721245332398508181540111950478745693562857360536521748058656511590260088869455657054710526953552290777735965489625063511866367475333433658655566623310060514627401932442091087451874152147726864821529437321526828704014693374012734417593966069866365618052988534078685574518458944755617844024428531458034740445543460358321074438137594865353944646565289630293499864828757311164338367557639448228822202023653848691811485003731952506328943500395172364173658341563968564215756219255191583662208981404906310736580407842706259130456610982813325150233080634495828885419594707009815742147046887541086526335689391529474657989569575999259684021813299638221113629823677157907444145672646594600772121617316350713273961268933719086859027234491747198959237044508429370153861773613112710388641262991173303802642220351762442973870205644223972190808942517018723976656771177660686659142037340836460100789444842008628872867870942124177951233105256158601054059861170231225569424357179363344521347554476247192321183482309908553572962102765610610246414821389599414907573154390306650595179621447740357566316480382326241197461389241451543405104744424618077787458949893697665946157817805304074489282288886368052893170075538806421426135424557862602930219384517167701965552358920823211351423284319814668293027760446671231681827370146857430076883608318360898846529247773381854679003732805742223586763464370455565960292673753134888096619456090459229602564062534485667460186252089615461111632362675090581187008555167518536559008160643036429408647511769783941323844669016390488669011210390901733393762840400936630641233272136932415304886772196184032689804080440461818961395141449505102353480007391319399093362446876833710090807664216382215830732415071414191980180677901342342048847119122597435193411327206568232422707465072566528307960700633404628799115968878648777563213063197230425762067921899651112357772450919747098879900633103017577110471766515940270904786458769317866075665248227152204890269073607686699953891111434178239691666264493149706667037032787832363530993363629341239543785491178944435014667365623461947944579410475597867062218365256268224054728419692795718433935941325552250414212417873254010790488285320698582830585396209419532881303341916889958508529599862699233096041776342727181022315204233922637468419430960121860044177695339936216118193642705404776023405889272433930478613585225614636965813960090213374973242030111541089053406889789942023979655776812974913115402580992278405605266811243644566562421229352319545075885894366407124773041351926590228328242108228409895345966131157745833871301886500046812075910520528061586472251693694332549936609460203264148615077266930094301921923168789944249563914418616920468683934601981790343190762530310202480553623231349325887346181166785154262903948348370664777314851380789164047565824396279558565549700783145968879699341059579085985248567484994586308229782968666818516193348975731616007239629180986219810053154233155439157154708761589381277570322929403479342198005756013440671997220882998512121874244192825661793987035282584421425338820441984238681819614805836822693085314984885860512280272392753810374897888321335482026209085579056735094947876851613265411427682699916460577371026077622538929695949980641567624088528667692134428213299025818894709469517776396861639049883145155067289909242234608241020257208560140513880793057377535220842879594228801283613581760565130622362841018918636959966167874558069671624450617045412189965547185391517836571249801049820654959463721371068328939873018795059439573174515613403318883942872223400392520014657779849081911004440711850022096969624845684718585751205993262440941968538602100374137178365594871289684935932246324744335640412432712263045310305065386880075984185690024737653094843347872683385654125380351037050983637256631179440967782668532640996416455842394509962289784351784100059617359098642584830408578312129325798028971676913983998107347329474770587948194438200355677144748944912143735274134366723704192139282776446244325396862118737010138597632353858905431260745850673728554125166669276449600403983572162149299475519580861307570695792481781612289214180201662037625352663591066998578162644765228022144208627711839759927101014342619474530442319714852571342197368515405279280990533899929175095871253129221209530102881542099012166859372087427876519698511629374170424509723642694134447701459484631081383060212918405362451540668516362488869932774204798398003013867795444352330006628104012904159218116063122288032192600609638980093159728804191479227773996504418949848834450963540925429944682712258037937680317372981510315271872249841823957453777774718157778809940681859586140563251982318878710667746573182192667425661948617145897427088121902129619322661993152972430691257189040733142744887272110643433817461355534606005094650147853844412280515636442415469193663486752587858083150717592128687251407072252164765459497235474715871813094541458848400980245880995285665638732385130654477644725460157225080970283392311908763299059066634287027403421898984211648767182075035141998226090910113167338849358022513967898972621244223702907268640599137722000411483264322444973700227569909222064345419929858753342694132463086032648519895092084942564053007455719843002937156635468199230649375927092503091659049462684914312825515473659766542747409260968387678347630438205805632526209657277897484413780193490492689758120258931694160017227023083911644514878374523593588718491180982255005852784451912207539620319896798976033584127761755433032716862515166996420973183889606367063861850757199045374272378760241511436480851259825020218180339899711870314857542085647588149445964281268604738623741638168254829137152107855571249052519444632187451292987604252498051248738188546861293288598339603033626935234675641757322605380864985666002094024687093893471471929883580460719647166435024846977278747784716345357250126735525052612981141110625995329037941151625253941103427219715612317004862552997165507839409403193155075864559540003276926832077826489339817705479366006004582704074383265797431933130035179438091832017535332499951944073022352117870065665662624386621514481215022648173111818485355411568934792714570776403923205155165670723643589611428234068135573969822720031661049119496885419511685220116684385491294617084133090880608506743862312188595842513984162242691117914916672763014751906952176841535168855362012604502437759922644906272813409493188899318172878912723215225177186731183988902958682771735893382204071384601850541117991082228649856312663217699720442853883227804227923907678201898095278915864268402181475171417977147576255663597371393726206695472597015276259298901149886220362981854853290941519286432580775492055629843216176635526395175568795391458230961627736867241685003584896645261368962755088473478346564385493312182545699882674507780798568918475370127913289877728742650858840389159355630260469526092836344040029455183069224540772778168919913252801370805271280615072488924098135606535574379683005585482403936485853475390282108704256250700028662319810791132474342052552206606429580544666480127633373883264285217275440441595047153632639406371891326970391040352398546506309856422603990552487184614921976324865683507874333285380185051060161059608422676979790463533553342542106249116948437552201668504511139358725840788704276286146379504086138284476299534334933554836361252451188344112880561015402549755484123323603220001308930173600435052990664949876899968360766688543736456267979430822785244134910320693144639586361544790000904041526657822762401032590950436088616119225315606118987490335329235610658637567007763284512687264351339857492880724048662954524681268280629813057798194202427485194085694874433950089370459770452976826166775598135671470711578095015115838330502783791066679942954711342102610186003772630314743102319126509300070928376437365239147767301489645256940500833756722454342698898056263319380269545217758796755322848115961323660068560842269005116945412319309356145524166181060801415896915968899734040336968841754202064669408568066839236477234007199259959983418631177546015767476639268807048210874199867248535156251
g=3
*** a(t,u0,r):
81007724949457039435086897306281628010422825803357295691192955761317094519262\
83032540944983040055285649449789735427410182955592731270114724218074811121246\
32590548430816293634070557139990617210638766913402571616676290434111780562116\
76707809298095074005326883198979667034075173873318940691746468122499042655894\
70598756950814995546708784365668572781610289235978238815110660463856986069390\
55984814475458874463172140172689311154621759853664719140439236551126527153114\
11534273984545550830109940332846981235355712812810712021972478690299930349777\
13443367825940482469642599477495737791566620403737455346414157629700850719589\
21432446368807558665597455645822601842810488677251946917140306995327723891474\
32696500049227673737675412888556968528005716522880621231884189868771398918350\
16255161993628917927958526272167079080751439509370918874060742885438379885070\
85470532205359500793599314389148115258421710329854544068847010747419488482897\
00937964666817823208454684553715820243991487429766682159881891969401666567029\
82005502004681421317750095454922501847334920633630054079690642732394917133334\
93329451944607289983747796621681593091568211357838986785500009882781216190397\
28248090295416602110440010163470755794660470320521864276858864397199244058267\
70377702137221172805401694515077627913569825461777621313488916486810360239310\
41713401750803445720796896424513403199431713412422319034749187537522532416783\
05215794769681240529628844702446076139349059077663819707063902292395185403360\
01465558842563270776872986936978533123311770626008009976781168767596550576035\
26007446394303915627086298409904282026798496654420794651859828520609364872716\
75373152274550421183953736376317736404847905564298148496648115745119259200677\
93937553826847861006431407707504189825470113731490342865692283132296878353853\
43589054992466416676597887330279010587921131333447217906762088702838501535543\
92362007686560133347439801113215405722301530053013634995346631777000602344316\
62696988163671805510066165990556019354029740753771719282108167898313425831623\
75445760956535753190814948595694121176684622620208437954076115558074715573344\
18171185047023316352418866439362461315178115381202479654460084813765986058542\
50255964336742578608864944830544343002108068384541706748546574477740094656273\
38500250677860895808821276182698662871080986484603609790893083449929522502752\
85252545417444064001120459274250591061151793083504369112026473934651571122574\
49617624263186722132789541685982624156879649425248436546007947751273551431236\
17145712787931568417828518154409175429256077582448989404153555863453801490044\
62807563520590482688400358375136671700274375592778089314311891970217769074648\
77742611419040761401041191214827821879568787703366935281578569342337089142557\
64787650064255540494860322229035401816571111513981524487847163958875612709236\
45880780150915544120939273603623195288055688676801383652266925727772158115210\
28212653395315193293808365619737674847631855919251516295706236646986261369416\
60018323397547145614102680012100677766874716618642421118193374760164396966646\
30463714736300564511317461913188827594778170266069711005143885870048623976979\
03182232661181812216757232139499221008114287860502666096019862415090715834514\
19117499334870070414685291036785439347087759070476283244506623867222752650339\
42917376092650735381434855272695815484709171903569258557704561414265340397832\
84942482165191593883594243805239210393307068068831828042314312169508318981903\
92371101526276173357032605580459267729586504547313981823641976998842660211951\
94938090699352912847890498890934064036407011019051069643076067377069253541228\
58297028361337684586711341829470268935448336212025196691111842634256598242894\
37173802140486306997898242583355241519409668079973479132109134662444340900116\
23247692999003592931028689129024446677056437177615586959596319502966765549882\
61304644188382052575401141306548116457291790471506374531849193010012379326910\
15288549617510865415422053512058363514825768981165557809330168381464571812287\
57807198480611195982529812788091067283908714461433845688958793727185087195271\
45055541988599937072086852940006054891595818739827821500253088933840822425071\
38558016149939939362502080863683061072521846213512456559149800939177253861384\
86768395274076051411007851592533056841071331636992160211161260029951795981158\
26857380007836259888783544623987483658969737143946687314702715754799333346572\
48472243759375369391541009594446493122648955338767082806300143367912941405836\
38005145337553869187821948925549699032209825759321216687642195017787056000055\
37713900970363988413812651597019533432608279335742739164881756613158219702756\
02282428012618939538169246265432494853313778259863534989463789551206105371996\
34186959626721119028439195351172380552220844417124359685246346370805951411537\
94405161706573834727371310825579083870791039200450962392261912671392323982322\
20330606941657913516323571381605285236012874686960706531593455800598440385074\
02746925642990004469462941056214203328976686048732772143873637621291511993187\
74305606663675313003847727684404620048643694079883666387466560412263810015711\
58874320223488780495817943062353492977726954231746854063243559886523425951218\
18325942523797214313485747804760557332027229981524326935051488740928639185602\
98578376234392384884270304362605890776821373238027336532384513849167520422429\
02345574387360998744872458962426404773692431419613199222182465105840644869468\
12958203590025043270097034368927519810911181093167029138068619381227561063047\
82999305129938310415306783784964315557992642161131180672129670576891155563639\
49379083920878849822763620196130108136040928192717926078417572814087335836597\
87093657501944716871395635155349812314277202936281414417955852928563278170035\
60592123136539939355723843263029607127388926120780853310205005551039119371613\
71058815899914045799604099804921566484482489727207714540268608632691903955441\
54506346170991016124707210036462253002448067547827288095067710697928205244437\
27021068299827999122094447283160417863581834610362756496334059859012081307348\
59917970700639069798198003988629485753514832031084504830816955397255411903269\
21071609238416870276378536769123224827990071585937920088507857414770546288291\
65098938412825478291368508673430044974638026781413111458502814390004511030014\
43401996391486336449084022035513315516307615134084247105727390482915536815995\
58892632254945300779885280200204394934523356438385122553598815736889122289800\
70045772119254047335673050347989292991480202267489457585938353728908745903408\
32459086259213773483882205532280932368149177872889761769755115520228717561159\
65436141814040106879155368834248397446369252611285064458414334416986171994425\
16929463191268764016687218083703890692182386641464113314384679706415764942469\
23181512839989532807762486471087473500408868841473895596210494825046988072699\
37830187862004794788519075781216382207746161972638643535242285131846118780209\
44469512315683050314393378994970337934911981949432674623802569114872329991216\
19752203103307325996879300583580680740538203024299184529362481912204884417203\
46391952795807080812443857212636268374465844553410182143909766469661648486474\
79579360578550346410633003954751385355082106772159560255883217463827384157589\
16347900763513953532294283226329537716022917394035682787977735737548624548280\
25588737696329145374643360773852967571499584094374425408667005698458618792954\
59824339754877326746796367731259293788192245068228275744698533148387570848033\
35491596086136163401379698996476959991430403244407221411504531501865393029258\
40356090272755325072848612286152666399451563576623731546503287964490964271942\
09565088904934812788460118377136285007805697051345246773794093195855959280707\
94515108040217275191956036534719294797245281921325960762290105755481189089162\
30422335421521066749398699661117784125319537631009934583796503559002652123099\
26550065763842198205302903902691647656001837770999401078443545598921300617846\
04881660238890926609492358833102137266494326403086809969126319214864760434649\
72641301184224287693040015540086808087068323066330894185350471260452574041007\
37849761598258194974969248367623531374446988713805939418680768583076260848360\
46958599911626179890307084223305671267113360483406351079765517373729649739506\
62009477315254702103795134303858753172702344927809809571307705667662171140893\
30342153788603586873861662276819127932307774511685525760600928988055213302018\
53737027408956223419151625439285536065631082441647016675248751522979991516028\
86157447903765453042267774028669565493506696618761837912915279731532642907543\
95316859680670717819308527398256991305667914273592676001380875751861605233788\
84105501694898822549591589672536999431743401220132205004106500451268194657770\
18843997344102413652183042013238701551112898309759114849946617351765495297572\
12365079580769763515583894596049619751681913374531469868309015957471826272085\
34583625245444299244454976222550544251898487325727259769303630581128690323430\
18740531781078409819334402969624836414825719642893744490219921055856151328764\
46447206906610087567734130734233395606769874384753284021514779575403989006358\
06193569453913648198134811180564500978982651644398154399277441682482611072497\
64003876647780476038021001291055942427691827237278906946562146664461670184111\
08277273647064583301383318750845666166623680891319028777761763459351286081531\
79375907269658510921628716522248065704109043114379146014252893990733791889766\
49982342036260619899035042618327863511573178800075743037912100141705249964872\
31401171216691002904765121601362088141152594198040115778441336519018621341364\
60022861698499538896092140427863405551528345054319295142140406923653516218566\
55944959808933305774690754470476814339747398326757875571629696140488564134659\
68866747207021085249576489481949502465014770769633795738398321774119777954837\
01242308787346581688099485868198312558961873317732918705179110000617761864785\
08536827291560746516523097507549625620333540250061110203403396650640148188809\
25264108580621911530404347506967129512431620071813404374656160792243247173580\
35300209378710000675789790440618506766315420559380412334079580187318030361781\
60090861437786729509330653106214237508037308997459133408736511337750544945998\
10760077666487986698861980614612919478626554652665190600200384928554129759968\
22330445212503689236480240961474483148604629135295199677051577316975235559510\
13649214395266963680840028610704730032232595292896334542519578275851103708270\
81831795119925869539175187024309952956937445332241677950309772917092996825166\
52320766499757423716354360053975835101694043200514977307843904460556372591345\
88832037627722235879500016209939963746767329164844644472360459339546461796961\
39935124047852836658785855626792820006003766336460010342810066640968611043453\
12105824705729492126701425260488533121330327082933273293119849380351515549259\
55491446730512608307606232524263868285734092959659775438196346471449497671596\
22811334682416408417509087222150660059503345608266798371739827454045538512703\
91798750938047074002295959030054196959192977593366599715632862888647725090872\
95177547942981263306363747862603793971564018357225703606717711125977752147598\
39581520686702728721891466471039129775103439767503539123032414524648148041417\
00070334977962073326571413251882928938946531670504929208121454922574571952655\
75862179414602313637727443417834365625894250681009410578016483590410917797081\
76595209618305941151853295111102031994608897147961290837190823723644882372245\
24066022444708763896962595964255169848673226371972038464573541570428705879049\
00176004661680309999924621260014448769159740838550373421910817187768444847360\
95126995790300796758045525417752312045896268044668554435983979964595299317134\
05343868784179640001298367277159251275539117844996111330436867627975647027477\
35079028679271627492236252822215521690374084565700587611413051907623385477209\
95804225012612459741929346700534040092267049010691318480791729712304154413547\
76922369378949845467160334758027194419275455365372552155765171742789918061080\
40642602810766532911221074019360188032297274129892978704955107940001707556503\
66134312610486273146433029709912031097225016214798127679996131129734090415706\
52339949853820031458374073003290379721048514828647708949149407593310407317426\
57370732721122173798264762917410322385897495703716063140369461248959211373457\
50276703159040169214147191003309722286881597954637258442423205204193289037856\
21523441809035955321081713048573246373790658027403686406977169536759738440094\
54000825417641818803500297509966791325163156602312892882585848361607644441887\
12722492847561322510819215425303204752363803573298723231255712783659180683552\
17395138503332858268372613065821921199817768024260625513487011267395274342262\
01095723978773722671651260582338752897915957993042104728701088216978265034296\
44605539272806688507422644683129572866160995175807824383653090494602666422844\
55794571372012383920774017940366524571472409894428833714494926335858040920314\
76420721146622832073981106419822496092164372284031619164313135690749981400759\
87386218144092719470427765271323604079194037735225273986330454967258201362772\
04413764709602330415337484103949369665086988006372331140435717737151637635142\
66628748163620791013831716238631218121326477030019068710004140278288522758916\
80769972209542396684820834334241123324147437752043860097441163002832713568188\
65229393048241557149576315548221468621332577591319494934441561049292450798787\
30370888870004204234697286667777116121610756705957662814949582119526220059297\
82764848244418119171499598347916957460926204032569838875616701933518470537668\
10086504019056265511711540569903065517249454747209115303098123095359994749742\
32725799083709716796875876
0
*** a(t,u0+1l^(t-1),r):
79898030087135710127756939808935304339047170655366099859806750887874394594341\
42169081479983272383295435073765218503747029764420228102030960872621731516845\
69130403931764015639083289233963348481725907092671029539735519332274632883183\
66067976294011579840870350552418301732238527655876215476791037052327822893485\
18946719184365475059767568141481332058574531849184016365588596621886342424604\
38779543044288204949978001266214115111407763143340544905638699064124793904441\
31924215436812050133807064437876474643090566061950291309342718708241027194300\
73533184705037188189236536470954700287572557110535572396463278758061113038498\
95111453952796496218123517897249689488799386092632057233343864433747892057344\
54166411007457431631679859287343859370087829995169927790351529733582749618098\
79046187171798384805657724542411365668686351296913782999073609421254292489384\
95258607106655945988207542959159784912415933476020920177492942107043879051624\
44760732274121688643955305313253959692703932807441111171390359202697534148303\
38416385538863867601068587298005755246686497063306354708735976393594986761645\
41366034794681162723696456941932530172505633120060370528164393309044487201487\
73066609606438292492488777147532800235829504973665400382655318309566377701305\
13249240464108553999848246645008071366808594975999845679057561466443095030552\
74018697617230795779416117021437877128206621447868588637012897297282497726142\
18842975663247250933332559158576951808673044569750616697378095411677443137560\
56240003241980212273080206294006224450389691576336667374359508921465090979103\
27021043019039478426715253226206963094924544645456126231971337718957181792268\
57902287174899045551296835878012013988343139734650228654228278543131324143134\
40595943500452684828261114451237009142929427242017872415477320349662674540786\
95046739170651808228973258736713544689456458301482187524477676528827015213139\
21233761005922323301584461371938482356242604983794270132396677917041689983435\
57728536271018767078421423990685388951919744305089914908380658749021461094204\
25097188888638003147105154779314749653716340118561747023198360550429856455901\
11072949635420257224303539501836948146477045307487377193440083651933575290617\
26279855236239255614222959284920447892490149639547984738292511813661463222625\
80438603408301157510070299796634297626271657902622738423894548060204460550660\
34769633836383186412064014626658117210999028794689240768026111278012508504457\
03732451328074575254258178101243136154730613131751882620720167645091721959575\
40198511242891409946351415165992611382279966930634619686288438659844845305249\
49618418814828969226915421959038909074243219762740033296307619477475059909242\
62979014002341572888698161198186344867519900200581086853063794419839320798139\
04996038419539711173012920554665053846481096287762599494862956233411563220068\
83608440696793413379556543828231096722465884722324652369359159621912265538289\
59333028006338272837728798967412501219582104468302865387545877240863161898602\
67415332666073897044046478916044504098835336938934990691916753188107350432856\
62923115904296447189244619969172542285260661084342728662607668255390423648527\
26426311665823157254883845397862245377866146930906739163197672518993582740890\
70910410302885548902155355543130844287538611685949210871294204362192303983896\
42329466831107574622785062734713681026014525713109405700749704408590472721150\
20765187888956092597517610328455111620796012341861529028036033920610944749275\
10283826162902527146662295914973524336030525032967214949345511560502349798089\
59390993566485064726686519454071953570154860183173657730157217139027208972170\
65717617013922099866345433037285744703455893250216632352877433831047603746416\
36664571974178275395187307753446265608184878106275212294682982132821815682306\
42107313642852858781288570099859728229425527079292085768368972660460371501254\
08410060021417914868888796905088553218150807040389848853330710913984812486815\
49325692773435374108361477436550714699554183104711235099613316759800673568283\
63864634117863097407426664667706258143033252619496395748014152717223647644651\
29369849632591718756030868653156656879382177387227440383811265797760811158974\
51728454284872268960276024961440827359199629142094477702175146131791264082461\
78730472051143502761541990611813425925440217504978568975391927700774374118402\
67585361103619324821813907026398614019805768141974814885734185401993863026756\
42328788365411323235492502613700650751105818964263424137720689349174407961920\
81320143346628473719495620858076415483823389790015446596030658099735178520602\
56375354381728865284856313903909676810243782358540783833855979125306737241074\
43347052286418680092440900426179994923816329242605130400567025310778624476489\
54266590316766035206131809113485087667943846548396628730653930667096280844256\
60235227984565973977681292869064301899958285238800949208806270032058182557906\
83065804106840681824319138896925760780725027088509190003763408460864215174319\
58873680086236716737004544603389351228579745143955610881628793270314915938486\
54109639449104418305164882099686748541128027037693479176679347255931429056592\
25191110357413591721902628773828102662963571297065390308952552216845022855996\
01636546050868485350287312903325481204191240529722623826352153278724137278950\
89008809436660982351609067316542796382618340727917373018242260234795362608423\
14642210354657423419600233497187686900080206331673292383522431337267485350708\
29219050116189083773246390062503855155967192311068850656725213636279238308759\
50355479032267922601398471678320968769526989528786917923196387418303605487425\
25414986880866810784095625398922846380752696299666995584192674556360112058014\
33845799180000268695075147002536801186684364539893997782093443984336383948528\
26885381723710625117974201574494954974958940831455088196366580817463241024057\
35838832120463168459883495698004832697023825484369252697251230432244069654682\
07184341428922646040807111268839482413373436485528284148559933839052476405472\
37609820788871451188915071292980138166820439615700252982685648080121504851083\
54987587540356342814661045029881136633603669948466908874230421761676570644320\
31741861166657735067113077361327016268702536358733291046199530600869579900780\
80645528297581293657240172938177578605122437373448548287838392275072942385767\
66095119728589263347041775158314502974988332734987202624827015270820803434954\
55346157840493995289749865402941321031310707720051079778891982644602969929666\
44428706747757416550252871576099028703925678948756725290240568061389448014320\
53932249461142351929308476689372974390503298723946066403046141335020104991828\
70019208364532708154783377480354583782720358739897597821997699698945265528748\
11218100681799328893170954822283289449823723810759125460762971765231987340517\
59850259239441730988478068848195864274375870638166034012700762019224426592251\
44161281178963633216073608989692870122708543315479210062156774376615350029795\
61668560092180542775840045036135127826214557539166473601558698305079558347500\
90714501690933253038017940301613822100256857777390976522110941064092488740255\
47126309606823422171177503004243990725500559011582645402212372408433406726386\
09996081666515410158432551845782188295423447775280662170186187087610570675978\
35302039109219241840071073867064749528132192498226974804580780453472615992824\
36197111152543814616086602407087858426684521298561077115397594661493432234147\
00100718662344760626977239406173550037669063628937477446825950502519247959704\
13087601619202791299990935996525220813465603199963286871620907782661757508309\
65830664378607991852672603898671123024116610650916557141756667581415745583285\
35461457550072692065330527714435787952904249146532298187851708357556562578232\
49384764094460874161929241513695742813721373949800947601162844032803364581091\
58772714388349545287078169528773704890726119307297469726484222688331382915933\
52213763493104633846326151794435597688111401637150094214355277850990871842259\
11664103249317078299773285424429505249145089055099319421604040869455654127325\
75755803907728064573957275601181509346149578914737320292400464804829936040445\
63358668973624521071202546335190332314523057361562022440342675862760147686054\
16178345118316232220576850192849429194961122668565168188261880149431983304718\
85817566667100528102373283149011372992254367600031593001837737096872278385538\
60063494147663811711206023067547633029125476230703532257031053248492813119799\
10535150321162302550396123720939158859252574462994317816683700132254238207590\
11004606151659076973195612740605598842910714473299346982601371790004798484152\
94011149274086187438222109214719224301480682571214694138348261015534733929216\
39117755096338564706446499403050191220349655997938613154735178527278219388485\
66531065873635257300783274314427212488768886004145976290358307525028981663358\
80688845613909903741397813848158529070152024150222819596140399300520157419043\
08082479694136843090421346411282728577214946403457023334107690436181721962835\
25333127236132130232768178271410797559828107045045884976655264603036204050288\
23893135579122278148998046751572664160101793913729266432178960677110783677503\
84190917817558666715968580890419781787489738608173522147232545221078739687942\
87784645460824579105993316341863395271148103576494264385650336436181373332273\
94465256199844520516432862329601204986258972933903699616422561220182090381784\
78288566074183736799414624515093982612271932934730116616797374894970315288536\
82174364748092666201787987239994605107305053063088404092187276852092849280422\
00834031884955509714288887058877675974835435373409429260928441498210147076414\
40022548524547490418063480969947468489178641697410811647042593130178810516942\
36000508304701342681886771532525077157011132596254343029552577015276392023225\
99430216423363262163965852639731016129877582128953880728283276270364712503400\
88896523735465121664974835376853130195140477792832467764012272877321628140609\
94721254314964023961502233158131137598137190383621916912945815874603981775263\
92041312572668186714919356445227853765685981440692672807880049000568682143805\
27967329798179726693929656324993595714722058633909447781557942102560249123948\
97623863335899240063997356488320891788749126682425446649712723511206016933039\
22941446465577192360521405537700413732343999109477996208416818011724621133119\
34353315826031035959268182866111818995884017777277457215722103655098862469653\
83325252554235909383842219999599185785215710425870357357005611450154513246513\
68382044501844693244117992681511186478075288546868504279757584246995832485095\
74891714903870335720239916765565207223588645348453128303626864673425463377765\
80765845331452068264712344755009279311880105477654991808355521540374592457276\
99662040156786359444281939796288808773044810633220832118935956139037534179844\
17419443545377033330445241352810608010079226711934187357597659662812453692420\
38292933761601476686954092352698609816066502645143888103426533506087175785683\
95101590371698375425488414794449966086085491558838486065277638036866832505680\
57664521473142319563908343152930166863861566941402673692131042849077208308806\
19901143176639054219975203371335248848665881119455488488817468507813673351055\
95203691636199951616112131313901607449417091277537737217237449942118721355918\
13768001622099579171412900741583162789097949044881574013489654170210536720427\
59754478326731049067347615425809237329649123959351747419413518061775151799861\
46778836883808599492238866410949949364545761570591958085996428878115500421940\
51133611178342890418922012457895509987732497243588859855469794425628312647829\
15242086789602497534172229187959456320267141648981190224350395034511342863150\
52727995847967909131222983973673513250747004098851176977956802156861117134707\
55955596609053891508129896492540631395052280614242739942348691359099268301073\
55146439245309002458096030180815309064478549160690990520845749826697037730946\
80793208231617768512587848800526724474564760668079108638589103277889029010622\
45731651990197107858021152090109013673805928579545530893357429664121563019147\
79811882224317676295998867525944295045553475854141020092558462625755108822852\
92625623396643995432098330672789948479454810513225550588489334812888417944258\
48883238211986880342505935016943936163225932433734726634777497900251360641845\
38776613094805431691439218219911550846364653296815843097350701505822783820396\
44108529143162906622172571948469863077472260996354556271979051708245435763365\
03420380962336832645450456705442106012505854492781718100032276803379468050504\
20384375754386451422630430420789164046736264046116825856797001123777402737203\
74192047740060482476424431652353845783153340510650795515759059183883027523503\
51403424277259805415381207407386004471053141065024178588644723441814517159491\
29847837348927507292587544683950550803423958568479884115979155501677192910538\
96049299008795637979923704345004510224158789762440593912644144049471123047189\
15304234777875227976653825913786161221178267293135288047173078029887382825515\
93182081130915669990775885783934516693641572663702418901788298215534228230886\
45093256251707887696860261637469856078109187903235886671449215858117678056432\
70106726836868051916497244595676090628578947074778189617963995576368738489455\
78044792709324615794464158481937639790897347207690040371510932877216077241671\
37197780809411678922015069480347409306008431755440519548161147071287059957665\
52007072595525919380404037253040352612821172418835666236709484870535019965927\
20365808200552091847920611507944552887068143600396598940772190583642299236567\
72042042104083624388328370973287958043653242333493539712937021085114107927563\
05838743690028097491003163301822201606054256736973373997576230998163282492896\
54195308685302734375000864
0
*** a(t,u0+2l^(t-1),r):
81377623236897482537530216472063735900881377519354360968321690719131327827569\
96653694099982962612615720908464574401964567352650232326142645333225837656046\
53743929930500386299066313108666373453609720186979752308989880801390829788427\
80254420299456238726812394081166788801354055945799849096731611812556115910031\
21149436206298169042355856440397653022622208364909646298284681744513867284319\
28386571619182430967570186474847709835693092090439443885372749046793771569338\
38070960167123384395544232297837150099444095063097518926182398684319564734935\
93413428866241580563111287146342750292897974834804749663064450586914096613285\
96872777174144579481422101562013572627480856205458576811739121182521001169517\
58873196396484421106340597422294671580645012032117519045728409913834282018433\
95324820267572428968725460182085650218106468913523297499056454040166409016966\
15541173904927352395396571532477558707090302614465752032631700294211358293321\
19663708797716534729954477633869773761087338970541872489379069558303044039938\
63201874159953939223310598173894750714217728490404620536675531511994893923898\
10650590994582665737098243181597947397922404103765192204611882074026792520033\
79975250525076038649757087835450074314270792102807352241593379759743532843921\
89420522694925379073919510471767480095823568957036879858299368160266115308896\
30944969795327662367923822892205245223173410733940229167327950950935877313663\
34006734471825903728394273217069117582907730580301554043625837919301099491959\
83207410709424290278137247151302636014285796975898457510921722049640370441679\
25669580852725394693876646804470055004089813990742350791822658787826759232866\
14530107307767546394839369875752977210349494174180788444121394812448570886525\
78384757268979586399154838792926583386317009227981166349097270726508279624875\
59769826933071286159139430194800832554076022344102228034190226094175663643012\
16071423246772736696058247693641046844321171742753423282996616396986906464610\
31019805461222818320614413323846229488066406236665654073350670948077414077430\
25561951645835003205384879867820578351007383454090668264368700560623001945825\
20537263517557669395123975418537632371411805405774180474800085201043456314517\
58248000703577019607078940012418974705314041299539614085297928699099638467489\
24520799767714141908404934978053451286017429345263900246559261913171209820117\
02080182611131023197472607490114749011202714513109411893359928153531258661946\
98246015241557437758966662880895786824262661523080621187770541120000827921789\
76128113302944954574987552483881363444914781133053779310108594931323453551643\
00537278422510987175562003847169259242284760869457441320313316134465338796450\
82663810557940490905155534553708314216918416870962218091083494316503011924030\
51384853945827483602142789453825517806601116589387832818841899867363629205625\
66638226635622921034733516862087228143252289994960294079902847763058788974183\
84505861858307500112501554503846066056981773069567733265093023115693961193021\
24219320308038228470788080377452735656221176511878231260285581950850079144576\
19643914346968603618675075894527589364617339993312038452655958408268024086462\
95434206326301363870715027720044879551530334837034641740293925713789760199055\
35186529012198244252195269534670304366937474865318640702244097035566235539153\
76446679179831788967651452785356526970940720633722542843356180416156962956727\
06334913590603427645619788297500576650810753311155261047073738252474110392780\
19733526647400722093822708802287848860771831052096237448407465478289430349906\
06787123076975528888291825369888100858491061297676873614049017456416601730914\
55823498810476212826833311426865110346112483865961384803856645568659596408387\
04010212195922317532135220859991566823151264737872901411251185505651849306052\
83627819451053837647608728805412686159600073877056754023338768450468896899425\
45602838910703431810905256107034637537005451615211883091355353708688234940275\
03942835232202695851108912203894246453249630939983665379235785588685871226955\
55788053268193895507564195494886003664200535075412995669273674063838900378811\
50284106107269343177438847702289187562333699190694615205733696645867492847103\
67501203438295829496577432831097138976962585237318449511474685874972583787692\
56114369681720234294163138586106267146281703014330023956417704139677603268743\
46614719642575238244440090489850440205357726811270644791025559205734490119844\
50520062224030051443557178588028440579830000796934969029159961374159119220474\
90233479334529001010597391614707460215005304415756473384846040657137681826539\
64826749833242362790131430828056152306729778328143390941890349109108713856649\
88594219921352359353412028211849994829812927932283003185762710964681932337165\
27493749396706146969208324097068144846979843706700270003443818272042508267298\
39128472947243121643934650144417344527735290521000966786747126884503704457127\
32752207886596990746991715543165126721108823886444545374203471580509848788658\
84038007495241100380282406540489154029108999683658492564621919071617044011421\
47704262401865611236742009545977243884482249760613728791062298131041270335418\
03435390178847176753789714491861956415981415209974008648007229109749560316292\
23889074681440123967885226105238916041305893132124894637951267228330139821153\
68434898500302852395157383377960255574889050741397324370431931720624906360430\
98246695731595523853296534117505977398229839782259834835069143028698364709054\
74204588081303696435713915804402074695892510687199755298516421296210335314477\
27213913829161773019942887820512097820814526371912601588440764963087005589044\
24033782934216196168986285128532528721137005490401569576492538899996410429459\
04842943609259532930169131206287482690141482401743886629909989243305576243871\
38494370274149710768307057159207824511532254550556108348151147128897745487465\
82798810493064338246177634507227144413635377808153868487941068032841182055694\
70280347751680472819340576292336509865472944568593622743903636317553448190758\
90158150803480181766487572613220511095835632941916924334216863785308940126103\
61561431754066645459376990308212268793485219391957036816345799942448358989585\
50848191929003248679467023238388627681085916661672796435943966352737535084128\
59916741784573539836077953918514200431143223250734632515390955094981700578096\
69170955279118694149764770994579586363414042600449928599360848886947114609675\
93408123726429069276597085132625419568927572677829803478501093434317839743178\
78584793909752924264146443271952714420665043373733701684504282284748511866437\
58634698525237580668740115146583585027364470922537660225324773581964921750936\
63908452963875906453946032618879668667585550568414220003886545989666474149650\
85499917361091909057859305837510757772968607585032442598925249020143690809786\
44291930706838800080857292345384676575753201575909849457380405760321175232848\
69053156756351848646000898045057552902758701525025121359604122050256375030347\
38736496390183886160577823647915407971144456752854741631217192718136587205787\
96098103574098683649833087344236300287298651439935253865112995528242349642852\
79480500525468300359532641948767027590787606400686027724475564490071062406504\
36107120215895325161366487991074451041634993104452526284448894255899655318126\
10029854648278857429702019679417800445319825692638585449110054165573960733432\
22052613210924255627495613562774670619771271692978874839756809377447014312557\
13065546785721515453402743839621208371699972214658541843989394030343678477476\
42959594241780620768509286663127539717418669925888532924799072741599938202907\
98531232237471102812907281748646514191229881218526123014752161425516037168161\
00932966023222186362836648598036450692772846352949562969108221475289091514866\
42891889355469408868631634875060478791753251245167631815999192996373797258519\
20972209099244907236838876371899143870184010405580756202900597182559741858821\
17995499854088052991628487938776997645298649815615836699806301514898110209708\
35954179235415542712732049969326347938944072185749306818300411996667795870424\
38269800276389695399400928853055241000707904450195418816333806745660120041194\
62680125806469419609558149045101264394421632497887245078126799489848298569129\
23885351509396162446883828900124418624497439755020078710266729781828871884435\
87406780864639426770935751355474546566185004037069215094464361857925468726011\
53768373668916845261413542013242959566701873938679523595124220901242680029425\
01470986438220863708736792678734328467757251767864582961437101986555242618841\
77875061821134245065291827791357554377038690667249334889686582378708591048674\
29085429816198894613004000126102913640396991507718669955725080663970562335312\
99101417227752241830639953095699268835541316294196735620563607759264853080865\
02948307834258132435982964579509197905227569078296827703142720627344333175643\
22923824236389716773645921512013316645525209782634353292365221509789049223099\
43417340429213451295799519492973149476793000966484005247702277296111013110295\
16542999962727169681523144535696182699824923842176364328074806540129467088256\
53965230682439357373979492061786972755659234541761289884626719208168390782642\
80194453332698642025523554610612740709480289323139698483292407169617234867349\
22743620376765775015363562940786791479873068457540454466866083407221769134723\
46214612796137937563033470891260486560078583543790805164874830872407684648114\
13071687668150102295700080524632760068054746507595489146738067022654950756843\
05918334465649937798117394411105616312995887379071522686487041238242716859689\
08256884327269500634923866448856892196591647139583677950945634859288112763014\
66689632756483555055435026913835384572311579506622122973839678188145084785774\
62593110310343960138958748783127393400659486903592386418988735848892621505137\
58678924134907026278113368429355664576727166983193767408436670275371466438649\
05357570471307068362474369365313373346902338492699735685568055708383139772843\
46475351617092987368196718957355788294398990205540841300222590242652203659991\
03005040583273153135566011194213554761346832948853648230248198056134768850172\
04411169238886758669743168479160143783513207867870733851586792882237290774392\
47579860805082559324441751978845352747800036435803695661744440613265387616984\
40032954733458251478308838973583754727387406500394255397461573900830632635584\
51656155007994573662217593659928704532844832921301113830828068537600693256128\
90423868342277315113172631481073244781238223581904993604357567217749967195523\
19648378659286261637527585138576208449891497594032735840493835807125384938523\
44797117031719786381725841150112711061062509151202260309249584389600008995872\
58187435059812291751095906694916858558396403727241195360362105272603751576856\
20026152011541662396953827570294157083656751570873069750768103474945636664656\
10334618425846978392120153229714508158414027206599635271627245952864536168205\
94557617720149652181156945914785621108956623064498404549786284126570271633566\
98714582785989086081515978031384224717309296958076235807227223926438440515045\
03176827426348658815091830989095540324303447810687908390133469568504564018228\
53603016198428666335159929359693309012530064103149108646017791998699111746445\
87707463703536987757151244856751637216998889264158806424964069385491290269916\
62171112763249571378290917421982850988896059212379380939665388506695917030065\
14564746443892735161187386081842741724642626254895298297550805433289506462821\
86534000529805055038391438011152726204629942340417735087588955338821343022346\
81710159533497388389642790466375056468986802748099764667608123952028836956122\
28487310619039580821842085284032779585457273901740101154430957905520812175431\
09259995771078425966986372565778578310946022693274346921993039233840026711276\
21806626175888222832354524205365457902368063588580568459799593050934439936278\
61723225157259169170282993702682259232339263034037119974935485934598834725964\
34141230606277356818376512667203145298167811791562055094859271857109196214522\
87319275175200758003540062313999921334431964293981559243234419102346036408391\
27586176339582818449628476183832152361211873555143631575753989711417240467720\
57303875681767032384544596055619391969815084781988986710498396568682647906189\
20158853734431081830330118998739194240322708960285369720606710824330089542620\
30235439263227754500539944483243246232408443172682803154709047830004687224477\
85666094497665923411472064021589675356684710274064825832571256369509240129353\
27557795424602329546292131829616959827552259205611009175958800447886495236624\
65206308638726941263790253206359333751305454121044915224515464107551058343448\
25565974550061602522284143349619657742100624594181365803087930650251231736901\
72725709912023875886036414951967226776072643677339441155101107209255526736518\
91511686188722461131339165881801486929413291134562844932941732455411955742215\
60790952694143705349922291462504593746828396980263567873989405976313180881396\
35958016903391435902147415282559979021570457428193348936935542437848260285247\
70833601151858552768382846631785155891671972157474685918488081515821899124051\
01483872108220996728283599815941520079555654345888403091290868003638375798218\
49182777333847089914950897273373796010589668316903711647926291790745937350371\
62823399981719516086954235490862410898136186970795411489501876078646004597998\
61960702676252635939089422618872361330193773084244973613867834980014598105029\
69636833199146769739300408313281840624169712648814104500352253108878261076407\
33705915759821575030289511721054637199791627741144684106342045964820860333541\
19672450291196284099223340806126623933350524598928605263176595549653258074369\
78169090795398988185280999659263353487647854083954362404938753794425565502024\
25569295883178710937500880
0
*** a(t,u0+3l^(t-1),r):
78880809796674491596037812103034507640286153436374170347702729753885252996496\
79710910303733485350637738562409411323722472672512100197954177805956408546145\
10958604807632760810344960320105018813555785590333782635873145822257247510828\
31314796040268376856785195626403716872221601956553717363081891904670871444609\
79932351231786747946738119935976361395791754244622645786860038100079919083550\
39674710899048424562883373935278518738461599492210051857071539701039871759824\
58948328434723007828862761534153510266847514873661572322765438724687032635114\
03615516844209168432197645381625415908911332425100513025674973125724686830832\
87650544238119688974605741627724519830955875390063825023197125418966379542725\
57180496052501376367850601819565175975329767344768458802279924609659821092868\
36604626918453729443548656290135295040960020435494741780335403745752212376672\
87564342432844354083265085815003815428577304693340098277085045853366237072957\
93264935914150231959830874342830587520690341070309337765273120833218746097804\
15126362111864443360777204820832070862758775457176296952027532249695050587596\
68732902407248879401982728902162555830031603068763305625606744783119152294987\
30816918974874842009366813549589674306901120072380308479635401062569583540756\
10881483930421986761424252764110977865610800364036884680828819364439768589191\
53631885494789199999817069235285311562916953813694335772421297910395799259721\
39667891482349427136727630743363587838886697937496847271832772437686179393911\
06449910608112408644603490704614941500211119114137936655472987395844586348582\
27950173258380410993041795141151087407373421970571846847073554484109347301857\
75220660833551951221361343754565101773213771057472968798676761107975717007052\
83366134034590439998271678966325426850600464626668107836113604465581321045476\
00549616333988417151984015859278534282530508022180909674050298702649819417601\
56032868215337664092883733275767969270688590337009852341359220212079353652627\
94840788702753481849413743824137311083318914227131594232463775362170493418236\
37277664493065065607037843780966992424328747825385613669893751793422068931578\
29566233841450786356864489809105227741834397739915199937505082586920532086685\
79301755227444542869134472534765210708673724123303739562226287704922717741782\
18882093411204730736215238109408629485196440035806939670812557286289820427908\
88493631553744048622095607033031682848358994863275373119359112176093367771182\
70004376137555107282271094815231938819427329862713374855873035881091711610553\
02996909826604598014164070759944094339218532166471447444912081223203302135853\
95861702834547581887220896910949293333714660251871815279803703025794243174286\
99445716370367316752383717016264990939808419989694059126925250740883033149088\
66853727745216867627986135686492234873898582330395251584627432485069517854998\
51525462863848126866622374867455006370675231097387648693360374024874030676112\
29526704733109429086322529536114425393869832304933268721732214451916987383689\
90862591162223419188161627911326344903132572232536512801163183413721724443549\
42677566974959339644011181520490947418202944334426328181949468775287073347446\
47733384086744390206499907551361684383472017745443806141443998447571210738402\
51720578690233070849002914673947465482951893250132727862516153149247726039657\
00123883341359677260689419574896724438877766705187873915207752153388510684191\
11936001469073549751947362974736354412660877925472088264947612192455018369365\
35037157079810018120489512054944926225270877144816011981240418242023731918715\
76806154528022870615582871636948352309423721916952696809981604420822001450534\
22519823278791147206010016644449930824129487201892115042829225761439358791311\
52864444321729246426035617492696371022895487297051801027042342314001167565980\
76061965899714685810693460989792069652430526155828876343077238054829510290011\
26590024535034121971252481203750620248938238895199700314688768992626209550062\
05526407333032840410222616034002036618888562717961439282372869439942100177946\
69417283452010673713582112224020183097230745931053733302148231791425661389916\
14991298306250851966312883056878042034853006147343757693739594589687467498385\
72134689241893571091568807051052113121987596826627997083281712558354106785115\
63029042430121999832864951379487097586111696217299443675936706399028404077543\
38252677108087134343758405895275483517238796556833931825846365911922181900258\
36697287587610947592448037881350295243857943954301737024856189831997418971664\
87692224854946861206863153462892572231135823484818490678720082591520957497770\
81815020008813335749979671018558974906409660129438991447082349761442878317866\
30989624537401775600523250073531869988443667643451592860744991423720100322274\
97672918449307208369016705062271735857356598502062875355610882938695749490915\
37246122072725434957132109742259085093361594107288437123971930946001886252192\
73906401508258219439981742452636196696711166789928633186585865066107842064461\
35323204992546202982251014521633236803215882647909879724571019281919702888343\
77263336169081098164705606980362032992571998915685807566791068529293413177399\
52648167980178002012480257342679828207763803606940715200852461852973153352042\
36337932617350483800688747577009994753674916865571062643377762438370010531186\
46903373205407196696669600024318293187932227593649906463611861088287551278917\
75914126658012479371434026820718862182602333334395044448084067049408755791845\
10791492765172787567799966114948829222268535927478853715493758370076609117328\
53765305109403400438649185580564567546766807949138010403340877856265017917562\
20114564594189108331983296834816189771738483731036975964486517820110156927646\
10035262384884524533448032862458207653057596009872199199219569118795064245479\
87654202095283753733370363360004857168564787649573136842014691478352019205464\
03553846989299864231806275266664493391853383261767329341151967081833554878985\
88805837082026640130565354065185276040055024678420863864261138385083058303087\
88982843903827948916833976635314881778122494203926291428507937282805143099507\
25468069643430509746418832651028483273685104706067445914026099262395966156950\
49856258767545194458619739570847158422688962400462381090750231021460360712229\
19896569025274124409289198514196151099733147082814365381396005336385671128541\
45230482787600279670169715520882258145445657202481578517335004659733964502333\
60428556293913631923792401838783503286699113061578207235410718976673996932876\
70946396823885504996951041035199619773667365906585054019184264532830091615990\
06949315729576882170949225250040679577661242837414345650229581665245543469941\
99220352702484259324109052072618587924375539357792420071949117874074434601877\
47649351714785680029947713499314404977661616215946219928276406152480191205395\
26796610105606245987467352693878555817178955618467160894483506947220411901840\
83298116719509235107998597764129650711424059546416396045161722850987145341916\
27434353887303244198832822240536185226575251829755789331168483396102851007428\
55763275396257019492395026709810868346665624634391785848797028619989459369719\
81132803350255068416683344979884402880615713931574070055656427852307518446304\
79544742663816718593915470745893757657403010361475005591630575909411824984501\
77676665926115756122199798621072027022565694677068992486466904776402941483656\
45921453487407261420742907237553175043937380402398841179900634544275344555240\
03687399327523241683809705108178284933022813976254245673776083077139951978735\
67550606691180533540384569913236126566997869825889680210060919373391758280773\
30849023975639603067511262876813041596726237135684980604072265563596795118683\
34199795474782414735795069606960332319244588567120428650737855589115448934296\
66348615477517506551071346077757486828824458309236352203462854120348692115360\
09760561774608983946617683574124965592348819177227710273947965223549386142698\
25738819744928533183930795695200885217545168514454896255607699082054645464637\
76214676008874384015864134799812925899908288152777453086375285719497306678945\
45277431404273193381464763990518318833640730109109877557196292220509184539930\
70075167401043653326083069472126566509592786955338431876866090869137043953940\
04629778224448780189990802331597873962154904671627417204383546027159122406163\
40974981906292535267736586257067941160177055049568227813156932573648210026463\
45641389476802351145438353792382096034541702806470038212092000487227279619431\
29266762990684541754036913812454979753405608815896010529665736357422297674854\
58781167878894898909879464893213629413197730839958730296480289510270941096044\
51147581401383701255559559213142937880975720177368210763901697507235101900024\
97878987380991661683563499989353950359905389544261153959478133430287408724974\
85244212025707030645333487257183347514953541390667265944069023517187177498663\
26652297810955032281727239829258362612082959027939890179985834031647794303754\
33789762938771674949223852417620564208755033891375973268511411969980334298956\
56376339736598040611749138964714595276080295497018680422554329521284585711685\
03218570195591786181823303100800327000656053481957250308621126687008678792720\
80688487150899933690649536457787122528621234991634275916191390131458524252101\
01250350206115006918301271805103560377649690220775008704814510393591101218089\
90137573539892796296894943943460448904257990639606314551861625834276994323683\
35625169978331860520718373508536073111421248603385173002463149057187128404076\
28350385567272041979311519809855784903392604470850010058606188836614815319675\
89480820830864640956352338728266964822378039784164633286541621062469045666876\
71688928115091445979870543133524526182024746953578035109869597152826996957120\
17718094425822043180149787172735984739502889009959438199315217817165234254411\
77446729871676924335489435534364070322668492541663958635677817891922569172917\
77579554104573783310443905759786713028304198561673721067942672180966838893449\
40390312419750361619399774171164190244457203006052656396693033496570829229514\
03253749565377272300724781305300184331169146028832002205001946524866997533178\
12912190182693642210557866719004093917428143535561063608413107191532282989269\
07029115075835708072441834588585324879401626226977900453940918003540199587826\
92441034531408964217042545050530616798251656528223068015948548337964238225174\
53707613888431103788490462945362710189223457365761193292836752798378853803952\
22194954199957442944927562106085770225450232631096544936951141859932638656569\
64386439768603614973648897867278983872451644826943095081751411299406765173364\
20581750940973838390468343751188798335325363984063100049761244868555463265317\
40038502393204414617823645921322818579900150431064476866350995224467045562566\
29411713256642088664320016951660131809499101238584918747051354845600713721535\
97290260815053946100543739437439176658099051371851691916702319088401646990317\
80860963540099606034689630528763789552204544856837658046554204954505047390264\
36367658086873511849469465069057663277119125346862533117687297737786351999242\
51374811130312961328719695265566472609807773843769074837254374479470901258578\
34231105474158695890785704254339082486009255318166124630742246107829934454225\
37857348339905739269147740753192211984204605161735752136925399074800080227544\
17990862712558959529184264273808377151736748304726831751743836813876837757551\
78322418996182389877832773099786203058091091131165556190694132993859032969076\
19447161877186036304258973435810540286987887291336736397401566936380233634161\
17612234184174173064051477577065821781870162209237612797124692876227952185877\
62385995406864502773899203121909046575448925725209438959920008060692332710957\
63862245900829428806635654316601281021860178815185247641431889166438116800816\
60683013781855288722725464939973563171272679819385482836601196445962587801870\
06874898930843262843467492759531780824074308372765526521159056252514552296872\
25366442849039301552358142392186685158337663020684582949903362379675164057940\
92140161050507098382976901311184014657125529025870761402816999425342237564042\
90717055020072891065378511573646393141038327434701724697861537754362393317006\
41909324950621907527291523222094706079832121953450688254608104855779884845431\
12381252540306491819626808529459696235221898571731159513269914014947234522562\
63398670104015084760182468913871010268459547757157308057916838407947725230090\
46787702961942082579529171148199992135513702117928745949071911003626570261748\
11825908519529303526121805057571894014661451252711580485332791797780886860046\
39569296896402364656833052255709672374844945869603764416490557822433014507910\
63872473058184712444895879860483600061377082703223528443220460050754887126792\
24244352903359506966805752220486414136352233019057435574205959601698823075284\
81203941271568476528445805110428032216806292429297848554317383845984543463761\
26539412100118841663049675701723202802323434800187299314219276474767208286171\
69854759566582835027876983222754161483408636575282871185461383749414279571950\
33546661116517438081171100201037202244995673011733985327807197196586454491835\
81324707850355125237756716639770587077114742223912281632808080008072198358954\
96991942120194963292560358379758918178446576220816893222364916928984414272576\
13509500209553121843377230538301859654670644870555097727892159426233002184196\
38923272025958520972776451697611504789381009591887457377987799134036877481352\
64886612180536584758662782149124329605019051010725489930455081706674041702472\
11194484253554322160041992611431369922070748253632290389442915009082038482398\
45546136475443670837088079213211375244486360776006932147147313640743442201633\
43611630055085610138687150806081409687458658560923944467514496575732962924121\
23875692486763000488282103
1
result=O: not congruent.

code version 3.3a
start=Mon 8 Apr 2024 07:14:28
end  =Tue 9 Apr 2024 00:48:30
elapsed(sec)=63242.468935