n66-L5-f14243-r2-t14241-ver3.3a.txt
p=3550959255364398468689660890415949311817891204623004988047441305841731465328507883969574829125822100948030533011026551825073095878920292655199963026631482273303340480712568951088106001535820849001591898492433473572179995389310019500169736481600496127845566276504797655454051222207995783093966299554335836285390164242301325743711491093757491978843344007057752220602726609346027022395747949100280745315644661588629966116960617727382177378515191354320211742864380892338689971294796722363650117392886113741216867086680154254804520223435242212535290735176134479969223881115618815365138906681463142691957888297245787156879404095432108211613321256580299989002087453561909575469165078888535369575794610843249859089474594070211786625916317363695680751755628150217418576696042046168075669417442462508028983090685421192156015555284131884299485002771497066780576816349748970300409421278601389001263087722440602777041293290436767253316091510214145349178892618246426813393963851233241378673034719077904126920385737981301631701066277956173616796385991783489234784929234641669124450520315171935842825413381479786738881754640106824729590985482945065352176473151509278677172313494242299649428868615926095266995430511133772189427776766054584949950619644235983941903409568930919219082135462374832446561607363624449007659332237387269974117571625127191042549218402870148508334460852363994426560161213485315544070981043514703342220286299655478388112490042055639932154209957085763114625868560331984339284649508833707402345484514038931678896955216360716985850516190701402464238124651124560550597047017542297774924513805603127358959659776965075661847098410810742723089725333981872342188962244412490039086372795092945454417931776781052158015438516135197370448530411896234789341474860493816591676659336861913620501648769427431015426386297845474346350657301415579110098527584558578560079104089221191852369068363328184479014888038686795014440077508008840127943935020555415971625880803617848533934239780506163699973880424804181635303804986525210907216001785463601041285717988104823725472313329492272967888188509510099018139211711919194858618868942631993972973897632258877894138719715199747820620365783791872029123402362292110621794747808974861621098424476792960328064399698890822318691716960740008225303722713492650509664582687974165496975702303984600850873701104016853497033052163613773962561099085342583907178101329576172194932946169028874491563148627979373016960748288176072547270998995510105775284313139746855930176249862520850594713788466114654415658795056715612897484348906279620300864937184687002452868429260810447040604810331114255941166767335028910707123600812216436288011059545790855855499812838921648647047966539481938498853535347054979931908288772165873945714973451258345401112441115139348453816715429074237155916384538711038629902472460948859073875192145553630629108016062001228691674347084403063532604356972598164829780022724605333970024362970109684329293470061885110524156977232560972619223039083249832562793496300561474449285786030426280931263523435470132630703828927070232077825977805099667619401175510100967356339602340829463914157730767735489195911043691633084417136198179384810846812082728764519699621649008360297028325989307021694307479016684115680624105312948034783948500298830807939257816210397672390595708184030666007222718815235367815309719949919185722002029645446026821521872692608562795784203468877720151522125947462440755300503293530306648305634803239505918820114941157788551077287097112813654572069538742775474753472656188813395647645020576977965881765708081697745037694889022512931251424007354490714409926777510884094196754651916031225910347591097592181131719532886620061995400668191151598521988830444804479447125703324117213365095789328443897084605973683417079712356607508566806452920969547168535383722746924796020145561947407577998631192056395043879326048072783904695972934512309964028782505658350808413426719724447290894769758431521491253601109335761463885604719049670101115360110973091458592806426715830538807994273581415850153160786961913137021482736993405638640232001249900382536415566598863056454030026009619805535082580170693652101436182622296505675358542396904229085774367521286366001206176695308651537034299712791532347539753481459103317863160812871351660302592481208586492909121920155592895043118658325392207342470310412694169934745620400995823422535585091243640313809292144933332358029846696661473120181728678420772122404284816731368391438485866558849534017805664834221558369936334279067337504461586706597071643102045264081574231391491775723063171976235774709094299854847804754397295974223431527803196003428953666292749700670127107646425445790083301734415803108273339109838555211268912656770793054667611801915095466228724626949830797772080511594645532568892782808799709160746538183205806737110166096912757064870641232467623953284933270317026488329742987540695192474914467933756651628276638120680090085368250303122611580903004929353642308581247110783751190916513932256734239870769717691202309758916249083549889196436428734879345441078029791124248098738857807877290633386571011945012750742021455569144175427919418965753235180033225651628602263081824138742021396028303079248443566437473256721859837500262719969477026531383162153384974220234323751938027717966657790879380981710412007697135684428533213587368259994763957444259901535884169807374267225344710230867112567805995158359503849323207380184585647390910861089823386428823544883821889006163962678726062528379334493663581179585803738904141245971171681216092004169633514294946019508175023532739626140796847286075333187499238566153851556926646707968978782074556777966303883521618553544322139595752706772221573820496887649250419441781964770003282922823713449667036619978776571007503297634935326206516953045954650683526220705444400658145856266968719387384993261165081396051789304828679480955308438095811322725575127785653046950407446668256700481372449543146509280125764091938944023345909874646063004385818248017560836303173721021372728182777859859246065237466762475537801312818619416052045444061700154700463646772242838503217024339841937862504887235227511019697386279891433180506328540062176988950639572208033089345230529429569409008120777453881504444506435968244232534327652036514825001699298407343392067943190664795954026316033072820378229585574191707174813873313974180244631980733342328883543452904913457020007465007384184746199657426976915690040148709234645346451410536994483064592292648020390983439419254594902972080972384144329307620596016667069897711636689015187539471325513975938802890556683283702613670876319736990404882172720765181923786662529183949344671776543233406594483309503850401998792410881512399615326617740104868622119034304073065797230740126603249650337344609342144706296742134113639539107477444379722896181010783535015821793538879857940594707427794562315448521202868095707589723415050237444250108019164387141669315517539277839899879114193692568453323590761657051174894387294191367254878723616559346439724865936394024189309496315076773546933908744394877895198303598931241883128254264317386442839273341130724567023585485232036411348584306808505111500265253776627459136612442827663897504752656772585133274216765630366390828820944527593778862667490878557415929814522557362524615499012939804216584278130562432400356790490396276350077789747678022447129222514828031414549695077465626331261765495266385740901631354543111971719101776667773197936414529544619256839162702357962593575851706609367424097476597849282946894205339910280217641248992022119484262147186323954749661270256237001337282101185402462422023866128511490159724573543295051944058412127304878977966220477040200645531698544221438306450965793665135784254856886815625649377174304530453608669134537557189640344411412153954416739438537197522553522972963760074401579127152704028463783908461432101883689303587683873433253904329964199320780069990743771427105648855066638303025033084032424848640404664143860979100088013935717164395568710103717545108699916573646505265733371169823521482357167266064358608829523538856556691845688414013320379443825274146736415596874305833530659126401795877158085279255337093956890274642926382831949700894993218107711307090185834026398251305209807860716080838453310901722898614329772686337886606346767858893677150230529221080695943138449919810454378469239649453175089441995839334431750885780628493919518391285995272079331380813624647990230456926858064287754972254807497272018143849957712029114038476617613198547347460123212877941644485742296120997243087632924054102004596655378673104947021881880596372244898667843181128224143442132198029807141014710954466673266948908120774990374662774026011005510236302705479059414552345080088841463307983412954700001465767611356842112223386698901894257857569028282126218260109489077030119087970683457862446523058555810534753897468223015773097311123954726034781039910703284645355995747707247853211236899437602821804688891840556172111973085587072454056394026858733395903505975720551893895032026403398676511146441687721049613339478782085073914619130609887344552436211397417215772986281417756488072374794644171437750314410959920283971919520523502295065759601228551894604381880004592530112989664720840663914228986118414068228697832816137778323672415888680382801986950184205736700455202234959369670360457120820752462505408943188466287439501991834309511101236522202196610329332118296167387877711087637443275894201833119469429019862319979181866514182017646003644098870660174926038966979408153777600917801893035698253355835631534212893875191470013662329447428490933526126540767119962534612129519533347459562626410129469478418007244459761448853930396991283511163226341799203306252240353030114371316124033804817906652851321918698755556190293451346700548353980086467400250420630107723393865730427042766707794129134652574251144260478629915158097627438525913328633076197365076997545422005109845843865225684398176860165490259642642536701891576439438225065714505035430192947387695312501
g=2
*** a(t,u0,r):
28620731598237051657638666776752551453252203109261420203662376925084355610547\
77354479477312275412613364112609606887400771008915278409755880091170199464974\
71228249242745433057457701343723787160429528307018490137969917707628378387571\
71368076041699998790435264188628669102959652850996446011737368374407946840460\
24472379294868549431461821568538534947735269688548289805797647132897780050972\
84697482628072440959724043575269027025788827003496708324423158209066474869099\
92249841168636061582251019946186662076754207948718642043293724433000888052233\
03444332551964390855194448179188765184301958785259293009718057967580104448444\
79970091827921856033693280372179113568248757089911782814705358415950787809045\
63396593864261165228205907000204885517951387186859150362890752393728170098892\
11468989550458624781471360371092449480877748537559010298745384912233826635825\
14491397789767006212999355055271953501804870428712583829528239209203440617276\
97572326011514381874503066200115955348640939925512104659835767907262978309048\
12929115151059420032675935137887109377492323236652963121185314307119374028580\
28931728318547270811153869423992610073205033429925372267385423736011647861380\
08846763592935174396681044364327851983169919738203846787880734399954696601994\
33254203057174148112558320890580201182674114951928655535081305900173421783334\
13959913876272985251598029467003271333969771757544700537950780748993806916432\
85212107210728508938295507575223155808186669738968457853162932254111250703884\
50059627579377463427504119968166290460518315378933190945904386737890595516049\
70533038617592846880639580378121989613909200658915812731612065132148578023385\
09834487613191134586348103186191893891078043035689964669715036164728449140362\
60853012085528039360443444004969080581515511988365240209228737558016172891387\
42551070237812432890815850939843366735606345232315862978494095676273941323315\
42143194237578959122806330094691008425166900859997591815567816387024714551251\
43122811626567665273130459927715985918350997263087967942178947622392170398054\
86681913931999121609743908366243927628869841248792273068454357077201211787993\
86651398086202046398068710560468083677613871422169614916006555826758080904509\
96743420014821736248855473462304007441161166566734033738466605330128295126024\
41990615730600278886552387035644662959480050707507631078965364650717739056241\
60570115882858042030898375839186086400438727018138242458627861226291855496716\
38394789115954612237272840199897794151374651670363120269914473100425190381145\
25487915639063596587972205738919180557933931350368841145902098881571278399537\
23852184613739624971393708577239770119539842132203147274771268780902885804144\
72033302029941622254646447648136913993907429819532849148170848809520661030822\
44243007594948972631382511808075036569440024626860171422639329662753880231485\
37762726358338351476686059382010971357013928035247804135434048693162262870610\
60945972990325489523750028869207279111719914120852802698316031899179839636553\
90840556941053686987939908247052364944414393109376950109936504561155801825254\
84061243435405235824305983998889889269003472861152186070547277381109103321012\
37347461141379689209719486708547914811130998794804291904301215456266040211775\
73258415754253053867938420287789504910073839940483074738145948561182808744739\
72385830288822361160358624912408576311990417998655805239468201407963287168018\
21511365079706459139634279634863691933635894229497618146629390242501613402067\
99591544244212683351365472724877220565458542715853434165141104177056901264257\
31775721682934002729278055850880482266770326512989608881835968920018865850442\
40500703160713848382500382080552145422588647749927719515814400982673772579922\
58424944432116808374015842465929799216594350661576996829293856206818840872299\
73385124104343833168792384739722672061987257810501924147888341662481594256519\
04846001054301455017839519280534021385592237322929610507866896740797454405366\
73679474666382718495418521692183100719869956063075158122193609790451646118442\
52958063219504024941246237398917974035540341014989802494443117156258019799329\
59414279243384506621175223447594291301988439315086016684944744026993007419708\
32435094667868362350194820096375356326127655961757908359375756319357098357433\
89851719048086431341402221568109969721784164187731388496455685099750721170413\
06056037274197707615174309438203889539854120713284752267645407873404753638610\
26611911803107019263150096740497004320263367856368158354237409293028946881626\
58805720564375091473348664733148071423306578535622854829234994196084464327244\
18351365856382576046168685428928274028596038885517239744340248482849748830501\
54237123278891661284603441553000568300733063204422055522408581140937597876373\
66550319562587401224487630189093068071411979391373052683113225298755002827436\
01357259202062095112343566945780352049321563623004296892345284299250527582943\
89256558356170977566388023011079387411168219428573683336890490634765621587552\
33495937728479578003251347810611546078612123909703252681526088068097443168249\
34207821973059035700716485171291703459878710229398927797335840392459109061665\
68649676134121069232776156031275242550889201164614396758351939314909625050957\
62356276802770980692931887302053949030516863971075551067798752126534240439502\
55826069245198812281874245514548603444917819029025211752295398483384294828695\
62828922150886494406205034068112617944878107125859207820389136164939777015141\
88175557797497000734806379226408647436593836278364460788927296516320976377601\
02554505148428776031797074154038397649461631777176360442538968153919053206397\
87374360189284643074615781355673784425276437506017015536072461252172649172358\
90689673881386694822589125767185491243862843200043548828772466229968983520927\
63040840930118424554156723644514176681658410588499320491445295838070076263604\
62264603579591304043163151570289391623204765789375787292245266415503944845092\
21338885881869304655601511767878262323045684990556052177421796919156616499786\
01105223926116813552995236355842028402014614900587986194331776086479781365858\
10278888281680335896472678153496950790215403406035801914322641891531895504655\
23285813982105552834678581318072493379486279137303246885736992984277278335929\
21617912601917178939111593373881876093341592495143488100803290114653094215495\
19967467001225580672023294366054534662782849258227218739040485142266808754143\
09489513696345163187740067622116758255389452107226566932248530459727985159828\
99981891063189277173376471073917080136023041360246358126016795951652905436923\
88614339404617235985964312414923983689281755335006138787430443513265217191920\
34917954972637416203294219422003894336583375555791713462411568138883642646066\
75129788686726664306618726313708014266335031212936736630572049998522263171805\
45189384612571515354746010342401102668317049899408995325389852452410942794164\
90828910325679765420422192181718997551297686332751741600955934685206268201700\
56654321894691529222752365592337165500119334186802417226251508089511685140317\
31707253049138006558706344649603618546830713665793895930256604011621017337881\
41538955832469648761591182420074322512349468332304182419447335834965834540299\
51879478828730447982271583529832700738580957801372937039813472928454312951364\
00102100990109702134754695895128765511986921379454396173206410962891909710138\
88306413587036174190187130980753110080296812892405857633099976481172772394305\
05181234194840092204429482198566928173233320514687573135259398738162698536628\
48609238615334695139332012705423243729482299698298918470690716671487176174824\
92055960319942251975367501108129631210123651381005178504221364755271501438225\
66137866522055196729503967685855418846687569828304315290632177107528226983826\
52702307784937355543438471215123609958026106873800627589581186691108017460773\
24562407737044944017202985490266424792749994784296940994421094146507733942733\
98002489451545608587322437271094850117595598196087259891987460981203178139516\
20879061996767277648507944694180983021991427411825357869167320198720264688995\
11446525487364125394797702471529771837104722381766657301344280041661592999519\
49154670939232188034502828380343596341357612132758359083244181097162877758314\
77987681644787303871659597231838469362762486169473622583172317096226955097108\
06905018257112558798474769894167350798016977292535613621986645625514589213645\
33794815313514689782225276990551999105135737161155793368586788656283149796785\
18833660471549489426830378308580655219104093016959063536722622904620715745925\
91220902486465035519912139391865660991318233765121892959410929357814662801257\
48283047599815930507637374842801246623943065915895465915012153796238029162052\
85930957962096545550829067352377792863213678760621570490423521052258729963679\
57606760293883262816039893486596143585516120245556578570293001386531608199453\
44642241978195864964870441250459980616121888129190134551606219426234630841488\
20118140869475361474245204967931492677183320063679539373191764824819608627598\
49043708670371318975851959832910116413593877507131164327659075091840335181680\
26847424156932572652041769688256940946707874374579246823488274722250306983180\
39796945358564813911709822581643076482647939581328113933326798403200030316598\
83516198983605695751830192715691997092635863863182759130269428227117293863340\
84483202178826753415233695748881367133541942849823002238590212827051131795283\
70157927106966976499757511486856281144173899233045324980704932887996720627638\
85384014818484698237805668930013772519543105284393815264847793596082099038276\
76238605418453465947596636894970467925441687346710914629435136635779280370726\
67749429235979000902990322058441043070622267893714368975210099038740738540297\
19447463397483257867727922048035190165755924634043248310118375346273636924220\
57991858298689802897376392743878052407476886564352399604913839034567727776267\
89997497450999756043149015786483930572454227218328079597124668323276219816546\
64711969782893765217854406419733079496927246018390278668250554557787241964699\
66482068082529974846422273945775711617426687715451886142878259415076252060021\
61013611853575015537190162493054929338514927196988458172461061018720940296589\
1058556735515594482421875806
0
*** a(t,u0+1l^(t-1),r):
29259904264202643382002805737027422329379423526093561101510916360135867274306\
90496390929659199677411181177159201085878703860231004230321147884769533944341\
39320195255610715681569659934526551637957731172435776518222347631620079145606\
81398628608388088093447466118399532680941382070993885252694282308327727290991\
61495335656292412818268661256173390566915461815587829776646726101126266454096\
31005863133414009120114903109208037554900736291415989651767595985447612024985\
52870805363469124992276476967317381577227626984794244471059589246641106395831\
29079565785134811494640478039269903860874459105525629578173299956930528617268\
62897463605716636937671542216719093772006173501349018659202500415314453045475\
93348378838897270655138545121797550455076852409394466375957791529071975386460\
42494351599972589106615882066724787062336556817554124672662775642283713583027\
19529667219315152753736313356754453704078428329105668828202567131989621673245\
94044164557677234075174350556942366262134161908960265806085201930005823978480\
96592544521678613035887060240222057229595129462781689344735358547228739701675\
13448814062633934427283856582344802357718297203794673385019341387684364562998\
99863192556549111293877395231025000042347411742282840884880552289779987593105\
86850450768128409484799077436523679620996861935966764467626545982311289763607\
11045867287901910480541906055596396500237086759574234793140748557283991190000\
83144883798561155539895159109161141918046917946538473040950690046386688064517\
15693713555095570551195278974899532679239568079703411091098281230796340825341\
13795563053221471252663789369196674245485336653779937581697694378275965621922\
23453620090905080520038259336752010628099637048893958917922071711831565870544\
40375784067586978204721337295402633249589059402497466417375285046904871541567\
29357421682329335858600820315671134230942467086139294161636643718672118672967\
62687335051817695182620863521123313824240107082677438779190918986238665992842\
65425802456937662760619725782181107191961813579137078888778477470038645667490\
33530889677378754598547122200725801943162219837474978918618350163292553986733\
18363215909467104506214165635019480087287630337304916489813153847703050453245\
92204191181405844502551997683546528699152358872194595285975785101768877399310\
32506535188603759060197477564976677765026751591794401996361613489071236950797\
86984833111011199297097098872815552349828177497451503456463222891395147554955\
70765888624747643279792581048034469455003365975656589457083778951303172300327\
15883427402715140928646522988671718089004416169607847523850284712673366502752\
71034987744071279127082401820900211635857109078083614583637128381468955214162\
84063822422669847069266343501321113065731665224931845779271438485167524428533\
11732305531312597330346389242994826468013126913812383687661051665147887482312\
59449735135571714164751008598978958310396373078218598768731583279361916383850\
05235089012441939661997548124350865990145420887819738738725074795191300075087\
37037988733781933099333107190534923963024143823978420459786203174184095166265\
49462114876890712554873611433108273892876999550359058712321286057114021261183\
86568620323197101623832328843478265265970152614043097430700001905661559720227\
29981308413777315616850196423248823878288888475134061518898587610936270974771\
13208342627778691806619735642462365857419484405573676820498508635436412687899\
51520303753943079815209238733409034929672427847526100934023098709455743726183\
65835524140485423178070905118236761471386897267820384307786935287710777471151\
40177660876845680209584513673852999240469911968614686995822380136594969554298\
43886574943459318941911060588554550655351173382060100348673779664668968493618\
12583317880973015012641506441595725253689509857493108421015058950891718211879\
62865188910644315795390725838128389304066377711977153223151356736829818445870\
59048517206878906866873156187543466031920599943044663844270872102254469516156\
56466361197393746948169803814341035971678466248106613266361705294456769729028\
09475737087929673140926674462417382884969281633190567314418273618804724956138\
44363977787281431086660526204488456616424905701775282566246239551169029917915\
21000642687746315851812074143192671976090804606065156933158341448077232067649\
54389350490847666780788375399655849938895969343288665162629633402226543727568\
68722301133919244509805993768089336204515875270157116462208208545515529774460\
12317885019553578005999602623039121042055850016932211518475961857885672742506\
58630165936780490538510297444310187162288611306889866475545453123540444920160\
30671867823398564096827539445951486103676347446235987033916085297603217166666\
58922319580405370841827836029370308039459111762337188276010757890983350682545\
78210252257533521847367006545673310286406291586217612172314265069694940855840\
29179133477046112124778038664172469092606660577364194341553987918836767653034\
45096034845514746296158475137877686385611182145340837555332213750678501474122\
98263837082217335328385993295215774154809416999498114403942303434382497730319\
42664076061787401262270947619285810981315207480179549013653514247377550703241\
34698924484510869786361727754058064344829654788638043336081883369088748191053\
45138426905066114256793889748005526056012277806657883473779369419682647794230\
90323425630327321737300717498744477963538812506100216481254849069861859725614\
38921875747308277159693483960452601968460992892937949434243980396911136799599\
14462356855009340701588655685559212763961936840412302345007558721400104882311\
71842322881272098573450110549538014470417350600984269236541079105247270275523\
38457162277879089197870228085701238668024546532205981143577801577903552007473\
62193909774519400166021637260745464993725785107736829075568873664385164294347\
85044234400021813688120521443026900230380310576828089435422982345620028338970\
48270512840673988252563817486251189451018271725118670879416996930986663216322\
56058612861861423121855639822247752052344472000270703466743871788318923071741\
52990948529925873905295378110687135736054643521196650898423552723646823629611\
75768987523702973670835591561391423636647012911381514612161112802260895652401\
87577556726122798431482817625423988268854459068409274731820449403280989266508\
28056029756798704027081827469080230646294630540940737214717011233838895327007\
49941926562046995624996519302269152062199835966227330323783324760828598527808\
82158014002218876509550639851891077918661176844112520039916611785131339667120\
46631610714724521576752124274079000039805193648688584486151166084568230868517\
71982897852859308253640934776547596228248345404522404914196880217035408146578\
62000489947212445349273494793711177336655957143886317485145325243722235161735\
73581818707025770953664802087463280093622910321910509905200209924047574260009\
54387162432703385424703117273124700494656636621728302913301784641174462608426\
65562062169181298643210777118779719580979272379885155185096389802245614141688\
91666453152885632853037157876037002943050038920502719347929581471163310863053\
93209400139565406208900779145500473551598645236494007750039009560267640553863\
87876054101681129751304136866180200682600449014663332895315886759319910249636\
23261402673540805381379385643402165519343311697681513797526428899561233091717\
04322743443983119800295123346881020821187621856911194102632856865288999505154\
39161891806101498179546148794219060429484582907372737828380124839313107261671\
66587266720283171186662398674465445179583444297893995364086531712464098752086\
69049643447935221829788558894874383167609695969476809950185050294423614352426\
46965398639742451150996055723447662676354700667429611771065018062461187574563\
20716627809148240825200086070899336389169426226455032009281530938713720886691\
13928910192045137677162903574766568989346789161304859967512280190413159289922\
02778441656730811253319181196004384651645155958139800718862260020747360755350\
86791626933093773543366858947124263643795003614858439393297354650758584102929\
72213830130690120077382811945415794057222005195215998615625151170900121716789\
05002403227776723728676559350546565749099616926272612427180752796934432545414\
46778472523483030943461948617125463257169568731256684720338964297843934581701\
46230582723703149367552739601780271408084725314697599266171202589691080645182\
44280068292631201550798027782622701063977654204775863057713394535265535374744\
11720754117042313127237752159075492881677230050610885528183019668458207732693\
54241856362973671572838997178995607817049345714608273392381440785865347114941\
62737002045716115717627298832378789896831544196601041933690577904267099439498\
96507731044973110097137961377752142950532365154711989967704732913275603014307\
14152741142391505625165200370172830420952942058005178764403202663847634603066\
96114107297965023027812496566941963169311765610841961218264805387719659002915\
18592068722125797433068540434713429314744957591132345993205365765778332274672\
80120779251175803790047207063989516086847463687930447200384633021899947281812\
84878431692786559350002499878806372115138157649970321843661386942526595768864\
19506547773340496110772231046059205136584725167063646876618285820265822523747\
70214246867813159631822448892399373476056950638975640050944518466795068214488\
13917305164381009056461636225471719112074381914717857969406958882313461716368\
30786797264706259074630974313992861684911365891134185911412326761154010669123\
78424481310348372997270706532468456157319222044701424049752933870607069227263\
54288372469517855270411750866416065206083770166675563000291044569691872962208\
50149641271471037147418894294610006911369665476041927611233936213253259336822\
31049044280951236655166284585800768598254030700273746942398413905610879103231\
87127431562687598614153607652085603841914245531577712912577594646810765292255\
28269592106849128520394724095478306679604161946682850216437969434843433855638\
64712081761319849850564254352435184605089681424196448620385516995508194948926\
10077745783008018039096812518436795912491378063465992087640765453618718832397\
67222362406953721182942870634391050090272445009345352582793654786628823445977\
42773221051297534494596394409773277636397394553745024235865898609709745414875\
2149194478988647460937500824
0
*** a(t,u0+2l^(t-1),r):
29899076930168235106366944697302293205506643942925701999359455795187378938066\
03638302382006123942208998241708795284356636711546730050886415678368868423708\
07412141268475998305681618525329316115485934037853062898474777555611779903641\
91429181175076177396459668048170396258923111290991324493651196242247507741522\
98518292017716276205075500943808246186095653942627369747495805069354752857219\
77314243638755577280505762643147048084012645579335270979112033761828749180871\
13491769558302188402301933988448101077701046020869846898825454060281324739429\
54714799018305232134086507899351042537446959425791966146628541946280952786092\
45824835383511417841649804061259073975763589912786254503699642414678118281906\
23300163813533376082071183243390215392202317631929782389024830664415780674028\
73519713649486553431760403762357124643795365097549239046580166372333600530229\
24567936648863299294473271658236953906351986229498753826876895054775802729214\
90516003103840086275845634913768777175627383892408426952334635952748669647913\
80255973892297806039098185342557005081697935688910415568285402787338105374769\
97965899806720598043413843740696994642231560977663974502653259039357081264617\
90879621520163048191073746097722148101524903746361834981880370179605278584217\
40446698479082670857039833982467158059319608920004873400171786064449157743880\
08131820699530835709485782644189521666504401761603769048330716365574175463568\
81077660386393802141494810643099128027907166154108488228738447838662125425149\
81327799530813677674886437981632774897960820780473631236292175723702086134632\
57058087488850095624687998360271358877061472648644062431783323624403353220459\
37072752568619026453728415487312127365121231062097953166129107258934682600726\
19898556049645917048999230585836185917662606816629692625521832535793570191747\
16163773126846238826385789691498901726278588939962725344779191761070296022619\
83231475866056431242435396947555619223313313305357285742814021585452617434433\
87728793287307660248108991636646228465572629895186189835378007317685120936925\
80379865422758387587350336035207676257454598426157684768782343249383896185472\
50075033732732162614359620709570876496961389252440218063619751868648020001981\
87664962347989952756248521904789049957143551177655156833484964873409459672596\
23022454646607239233842568094308692570573452476081172913757862327424734845354\
13399550339164356563295821906445018299217627976764764454298584556498439613195\
03136988133540674322312321896171144758632080280950058644253084802181154219509\
06278939166366685269320840238424255620074900988846853901798470543775454605968\
18217790874402933282771095064560653152174376023964081892502987982035024624180\
96094342815398071883886239354505312137555900630330842410372028160814387826243\
79221603467676222029310266677914616366586229200764595952682773667541894733139\
81136743912805076852815957815946945263778818121189393402029117865561569897089\
49524205034558389800245067379494452868570927654786674779134117691202760513620\
83235420526510179210726306134017482981633894538579890809635901787212388507276\
14862986318376189285441238867326658516750526239565931354095294733118939201355\
35789779505014514037945170978408615720809306433281902957098788355057079228678\
86704201073301577365761972558708142846503937009785048299651226660689733204802\
54030854966735022452880846372516155402848550812491548401528815862909538207780\
81529242428179700490784197831954377925708961465554583721416807176409874050299\
32079504036758163004776337511596302377315251819787334450432766398364653678045\
48579600070757357689890971496825516214169497424239765109808791353171073258154\
47272446726204789501321739096556955888113699014192481181533158346664164407313\
66741691329829221651267170417261651290784669053409220012736261694964595551459\
52345253716944798421989066936534106546145497613452382298414371811178042635222\
13251033359456358715906793094552910678248962563159717180674847463711484626946\
39253247728404775400921085936498971223486976433138068410529800798461893339613\
65993410956355321340607111525916791734398222251391332134393430081351430112947\
29313676331178355552145828961382621930861372088464548447547735075345052416122\
09566190707624269353429328190009987626053953250372405506940926576797365777865\
18926981933608902220174529231201730156007774498845941828803581704702366284724\
31388564993640781404437678097974782869177629827029480656771009217626305910309\
98023858236000136748849108505581237763848332177496264682714514422742398603386\
58454611309185889603671930155472302901270644078156878121855912050996425513076\
42992369790414552147486393462974698178756656006954734323491922112356685502831\
63607515881919080399052230505740047778185160320252321029612934641029103488717\
89870184952479642470246382902253552501400603781062171661515304840634878884244\
57001007752030129137212510382564586135891757531724091790762691538423007723125\
00935511334858515025928927264675985360054144862107991773773936866591381360693\
63031736435955092653520638779820002231006710089292976126358518800667552292389\
51120330150515766823825410067279918502751704730960170229971188102295992344817\
00748172834900670339947299476840886138770108412661689913811827423267871331149\
27920577007361247820655892193957103081507691642240215879759986712831055148959\
24820782015455831192727189482940352482159805983175221210214299656339424622533\
15014829343730059913181933852792585992043878660016691048098824628882496584056\
40749155912521680668370932144709778091330037402460143901087820926479233387022\
41130140614115421115103146945037631291373069424792178030543190056575487344648\
89539964366473535321124674815728692910772655558394946751083141903634454842588\
33698145667652105509454148754305438743588727015430109322365281098801345067768\
07047627869925202822084319241539623779102210565156858379400668853169980414336\
34276422101756672461964483402212987278831777660861554466588727446469381587552\
90778339841853541588109767876617241781643259009985354756065946657481229643697\
04876673133734934257595519865532243070094672141805315602515329360813865893365\
41259086765725611445198504969285896483078622416727227309999583712989895800148\
51869299470140044028287053932775483158222638999515302577903905822284700197087\
34494146911680229115052061564278585199247668586737986328630732353024696438519\
79916386122868410577969744238483769461616822674227441908526164379390388301474\
54826514308092589831361212081665397581932901580998473147584693110534694174411\
93281330366259765980127777474240919943587345937130810846285536217483556300111\
55351456301101380521317557138171208767214935474038671040963316920805599101236\
89083024921787474495252770165418460336728538731980921507879082348560827677404\
72033848727324877600710877861218545920910789430884283179828369849572885348213\
63584940252835255494660224203848298320996223344047610501213716829937982422688\
40295214012682831865999362055840441610660858427018568769236844919284960081677\
26678584411079736483321950159736840385980743654203021469607654852814936585790\
54711547229992805859095213641397328556366576807194119569821415108914263769846\
34213152370892610741017091312286078852851429697022483371184437683673985958972\
94643326518351162780487187756971630300105665593990090555239384870668153232070\
08543385897856537465835550798633276130388322334367992032059302767686089300169\
90017370025166822168905166607685010778672352922339618023660273197453442129038\
27993299245726250168895315150363962185933568081100417592913664686765498967544\
89490048280535748520245105084325522605737092240654701429679383917360052530028\
01874836959542650326624610338765694142585749953854045037908671369650873710900\
75295389096241284920896204455943253931651282624605748727930884769899214789555\
75155512599152919810887335934409528020667471448809092345443373689718301119070\
80994475576416678489435376901742344510540317131982660443303425894986987567967\
75580764414641938499411280623153677169994409033629618894607248320313990066343\
23548598264612962506257679196650605092452582978606639362082982143079978744582\
98558280968189322062555416229563359661094511470778567553017225552207272091309\
44402274107733873852421068853907330172981525329755010357433747498524991405088\
14473483802618994863445881971722073453406964459921575949170088083155206193256\
81655118328149844303121285671078051329938331117016112493440143445016481535842\
89646692920569936472250227327598986658218722940065977687779250680633265668601\
89650052254397853718847616049410560414994598412257483248040258667109978483957\
34253101604967195915342458272891918802344854628080190907970226450719536077740\
44732414490130289686638547912703039277121664393528514020397312030313176866561\
42374524322686465699501333387967867978692205355388787038382884275436539242454\
34621454302046783239585099647287782753107410976127343866236609388907709806376\
92541895466055729901266639618966878013368027053074557434804512105322033707857\
40123417632876246105849209160047539496511607312181355027577501218980285936027\
20713154715201799724153039924702627816682437792809479359663698793212856356048\
12165671389748419569502692403861469326461575959548046929748296918281338064315\
00631548377061505351935075203155670469465961696623166168562238530390106112377\
44318411345156322361093079735251441131512899966252956808544489537509629569395\
77090392350585764734028252879104356236280788932445369584234440695256889542963\
86691035513729769494783901578080631170464544856357523118800934853217417826888\
23192730120551012303017832802818357892624435048957310735734295543301646886140\
24060677124488608347241151694249545897297643605372940593032735790727238302917\
94348659325923472407342247113160494125885793506833124909586728772481019666166\
54807399727891939360579293256136017518072566429112177515036813947347893660289\
98547325915008454143413055447078560951731437329013300827962099835119139935009\
39426666071639943657979492918386438637725135630064817643646365667740170081305\
55443521783122270860339218617140512328055510108541705507030976349450195700095\
67962656731377467519463467323006388563118202303238819022709050158181394831933\
24532830249020053452002626326491625934279861910501590299270736200698550533161\
3239832222461700439453125842
0
*** a(t,u0+3l^(t-1),r):
28940317931219847519820736256889986891315813317677490652586646642610111442427\
33925435203485737545012272644884403986639737434573141320038513987969866704658\
05274222249178074369513680639125169399193629739727133328096132669624228766589\
26383352325044043441941365153514100891950517460995165632215825341367837065725\
92983857475580481124865241412355962757325365752068059791222186617012023252534\
57851672880743225039919473342238532290344781647456348988095377097257043447042\
72560323266052593287263748456752021826990917466756443257176656839820997224032\
16261949168549601174917463109229334522588208945392461293945678962255316532856\
71433777716819246485682411294449103670127465295630400736953929415632620427260\
78372486351579217941672226061001217986514119798126808369424271961400072742676\
26981670575215606944043621218908618271607152677556567485704080277258770109426\
17010532504541079483367834206013203602941649378909126328865403170596531145261\
45808245284595807974838708378529160805387550917236185232960484918634401143764\
54760829836369016534281497689054583303543726349717326232960336427174056865127\
71190271190590602619218863003168706215461665316860022826202382561848006212189\
54354978074742142845279219797676426012758665740243343836380643344867342097550\
10052326912651278798678699163551940401835488443947710001353925941242355773470\
62502890582087447866069967761299833917103429258559467665545764653138899053216\
84178495504644832239095333342192148863116793842753465447056811150248969384200\
82876670567236516989349699471532911569878941729318301018501333984343468170695\
42164300835407159066651684873659331929697268656347875156654879755212271822653\
66644053852048107553193181261471952259588840042291961793818553938280007505453\
50614398076557508782582390650185856915552285695431353313302011302460522216477\
35954245960070884374708335627757250483274406159227578570065369697473029998141\
52415264644698327152713596807907161124703503971337515297379367686631690272047\
04274307041752664016875092854948546555156405421112523415478712546215408032772\
60106401804688938104145515283484864786016030543133625993536353620246882887363\
52507306997834575452141438097743781882450750879737265702909854837230565678877\
94473805598113790375703735572925268070156762719464314512221195215948586262667\
37248575459602018973374932300310670362253401149651016537663489069894488003519\
73777474496934620663997737356000819375133452257794872957545542058843501525836\
04580338870351127758532710623966131803189008823009854863499126025864181340736\
20685671520889368758309364363795449323469173759988344334876191797122322451144\
97443586178905452049238055199069990877698475605143380929204198581185920509153\
78048562226305734661956395574729013529819547522232347463721143647344092729677\
77987656563130784980864450525534931518726575770336277555150190663950883856898\
98606230746955032820718533990494964833705150556733201452082815986262089627230\
33090531001383714592873788496779072550932667504336270718520553347185569855820\
63939272837417810043636507718793644453719268466677685284861353867669948495760\
16761679156147974189589797715999081580940236205755622391434281719111562291098\
11958040732288395416775907776013090038550575704423694667500608680963799966001\
51619862084015184742394308355519164394181364207808568128522268086059539859755\
42797086458300526483489180277435471084704951202114741029983355021699849927958\
86515834416824769477421759184136363431654161038511859540326244475978678564125\
82713534192349053264718188921556991018422719991836909236464019732383839367704\
35976691279889841469431284762366740753620119240802147938829174528306917702370\
42193639052086583662205721334553348038969910565993909932244090323671370536770\
35504131156544911693328674453762762235141930259535052625154457578855279542089\
68125156507494074482091555288925530683026817761239538685519849199655706351194\
81947259130590180942356337734038743708756418632987137176068884421525961960761\
65072917931888232721794162753262068345774211155590885694277657542454207923735\
31216900153716849041086455930667678460254811324090184904430695387531372377734\
01889128515332968853917874826041373959206672508430649625595491789081018668811\
76717868677807339101003447119784014151109230283911532646267048883717165212541\
72120534769467049061095298483882909830340066765510026829542659250988632448990\
87389169204058476062490151603146612872184997991720934364926808209460141706535\
19464898411330298634574849681768062681159608936650184936356685575457309812066\
58717943250577791005929481088729129292797594921256360652390223659812454623702\
24511616839890570071498112437439880066136193165876613389128166890226482998584\
06579721429648516063215638791185438170096087483379621899209669515960474279459\
72380285910060461535927318367383189178909135488795332427713745184224971841638\
15268196339554103618560802804976410570964112100184245616949636109043647617989\
17176296600842861931273249074478536898389700786957260446111352192722061530837\
65879887405348456665818670552913660116710770454600683542734195751239970449284\
38435949017423218481493716395288757220596958854789238405494677319918329882453\
51674300309315969509568941892666653447859427976626220047216911341999186621005\
53747351853918547474862888525029737543264570888866717270789060773108444116866\
73074747437763067009587481506646540704228315767562714116775123776623077277155\
00875398949097385782949259014282609956669550009398578627316558280925456907370\
51318957326253170718197517455983930100277886559388381566967427618860540629956\
37198414014850437302623592351788206059939491189080314839540023629583161740960\
62915761233581866136243004720687511546650492019111498339825131415038100589916\
26441791827953047494305381513965478118794314153890188952170669947177073907637\
74042537665070119121138622543770538456019360582663704963434139091845052301287\
55267558210132646147863484528270290537111518757247229085831131673245304030707\
38698749371865363888728575795063007187695078495413377822082834353737769785763\
77048086228021343729145307233264582069034629210892318546377664405063302497734\
93023937902691654783654134857444187213431208158708658263241877346896395578528\
55431685354114175633080699471748240824170369102856260808778721193779133801218\
74836971179357941483096710421481053369818111518042112657760150674245994771251\
34954696781636288148509906834161843362491342612227274531411904951547703640975\
95823763849282019848645353737003918087025314475669543486082571122429662413474\
73306750888956899375064297673998040087914117504467471306083981018110568152720\
80298618628738272119802623595735789958765050369764271850813661865150312669249\
48459222459924930776283857107857535836619666349839015473778446691302938903901\
24355803696876217630141764200585647179978970767423623267886129961284918715907\
49788273522637450389724563807762901581486843260568649119345818546792702701295\
78195486247430532031816484650249358566138479356318448393026162243725941171694\
74160387523788581037894761734187084221584686553652568287090544780337498001685\
62458326594351706383803561897552046049214679451143951840147806785944328945872\
64707504967075389256447659643127261597474958673483757657381611297142872394967\
87570440751135626681825484586617433128962134749527225418669950914007773021540\
52212422217046410967524909621004893166587271618182795137919633914090454607646\
63734152696568836184866639887486085254890697899889297730740050660242939827988\
35884250457561631695545940436516186676408382406290784249672965225313398644357\
58829441031634958484560285800148813448545997833887864210437883482955395263625\
69510679479842351563181778415788646943239176024217395137643191408866344506394\
43427247165601718777352026878377377617928498027379673649956854023120973935258\
83315608988491246610300687394945089473686448017552743778546733440760588375347\
63670424696887877635261083343135404722197575371218370856641677083627547349042\
42397058192319691065344648109109556880695300905472849642642407815980881121222\
96546446063728698862945378319798388539606716303520678242396235684810193202892\
08224464357570424561737130911038168793102169654019634864262516419298012772466\
97966571731357609488982388498734529799263590432007521901791572697503406170008\
12109132184245226619606168416809370385423605742085610924671759842959017871145\
25592543274871880174636398838395025930997315748655738339850020080390062294194\
72757784715278501454731514574813745993406483605883339448384904162370678764739\
36537758417261580499834687743788131518076719365783668464552031845243031430433\
76978952266090575618769719112122225444074888980861467446550753631040881120378\
22395389322394520302387668110276694787237715535303727941358443354756816088180\
00041849552244025587997133861275311642083310409313374627413361858053182283373\
26860433795924142921926195026769053377413942928199269894278903387125633601184\
31617155350160831198969490842586704965433422860161240272405792596006481558080\
50119460060325582632146206015960504382015391875804993286788198923359777954705\
66961070181578939162927229855858244264366017578550743085660231017183465475272\
23176985965136534381407000367158073041646299770821446850053280271258064753464\
05005596113188986771766135737021224979352445110151876992135658434997549265543\
48716752073993352404145914470581858102355122888950308549838193554715377789854\
57634999721766506244932335031437114409226654370478594075001269794102571232203\
74291204208657674748514109009662368650746560638873374515228933379301894927451\
19836193644001276754108709898214918862813437725534689132569419082886986000242\
63194123344962251547507765594790237418405676411376421120334536424516269853774\
49399236758465118779078303322120905834438149296994057958804256472175808821764\
53287447480085428240940764850060397003835085082810480611347984996542201108237\
93130725202769465708885558419678179543540524255517624910675904234705580815953\
27354789606159802946856635069459557588771954321262264108755092659392207382736\
37394857782950891628475609469084937704709312040928135377945660005702980398548\
66852215244741848014682572290083380853849566362398619362835957100852537752999\
51893416452436275015893278451414103487456160875366741204163479814215342855732\
1603875607252120971679688315
1
result=O: not congruent.

code version 3.3a
start=Sun 31 Mar 2024 05:47:38
end  =Sun 31 Mar 2024 13:37:22
elapsed(sec)=28183.565798