n77-L5-f15758-r2-t15756-ver3.3a.txt
p=3604533347898191847767681888928137468342414938279223189484654054688114705832860229401731287424863315172061389536090025745512297354540999412110108560595884557200716124796787811178040928192398169134758433235561224698811614531828016474925722055844132703944082226961279237408313621823963768673183459601345998366137016309208574026569346269468010313981057253059775195562867920229841259914562954155731980394599422369373091468174237779337979210175267161314430401549581157045991577773219017877675581803822902024297631450142502917066380620249604625827491938176511746797494959933968960855908281622214121496405719656289187560352343049511439793277693191980187396055860607874872779896578905146831886033981953232981511900953349993252566897343169558751515655539187024437551781002964812024737445362878988327755303922202045121031982201331403284189203065387451661737304950543305821471623710308732044901299360040504111788785353098138950701397873114902299351512294294443978796914231560190135733073473310813548089150150107377215280912163614392444862014746529370803033984874981911940707048476549194644917592077430133232358488121011605781949946152477066372326337008080025856876105613626475942763120923757700139779478687777955436872045398071953585850722024290256867008324231323108820209879070059126702944807936605388337645622702220351860851523332485171447081485604334160578356037478648263954108831308697329943436322613027333893892319270315463710238669236546385915710492879660409047320135016374459355454679053673526410622935751606492866984130927762809212335317502680045782499980420875907519679729947704259580206718538838746064217000619875276133072281875798990526526520461971029373273811168984519708116006225640968198213600664625631986718678973691879456107607746432099754612651157643553703540019639506023890653005150224505656299153599685056770598676730798666098556973128899340319582179720947312486809271098239578809251538105187546516509256230109935125786201067793443171003719737419790913982905700869831092812909660455856215311808284570168247439342086319308820687260574421661034024340865175974395745744770008709213759615223400382078117880574925557159880140248275562660947121733706601613138573095026660445673669165779821729462876373948758955864144264556527431390929938595984681603345400576623446485672487833517574283873639022720592857006222641498184030366644789206290817875305170605661501823177795251298089501169517049480607116360297909924393017594299889501289177819580966944214420813260760750679612900841502074287905006633875785499081105384118216615618507137466772686572537103434468443766972688307817750467724448742209832950536925221816591426595821776351251424475308992624716249476669669632055901481474332860552384242376338672131910650309604671270602331645203912625692006518734328069088152419031802877109574368070645768463269951008459469369124645597276322966437559924538778120374483034243679332201874224459600627429131708327042401372533535343075125710074759448154523196047170353833326592173870342162085416662371499817469003899507530251948125711467194736563124128506652359540490362583642224271142689930808140555194158909567735225112402519290246513070887858761982636406107650875388079500752791057381790535235425904604471175440609758657489862666541134765443580910629347860961635695375917042180406071043877135008565565175598994112395252484339322203411536539972200636904172166828839027642754719673285619167910673836508420230470694579389781877563036725824530089824989681389895660049649808732023687775931892935017381101686896194039308681832155612660014992081590259906300312818991623720951923292226725344737906389733240946736676871832650526759526903880085756587290708777196096446335282391307821462315754213218243621498948741478229749781859722842705259346520325237508291905794203985574150708728829312655395277290816889948338761136297617281433530968775759228218789337119936624132822121588701937443231284328323255071400161412148028352785190424325232899556787954308328587852459733814536812450815691342677182844720039050043893350524459533687639405694461971442896108659214350373470571904344163796497849820490274113164345211275992883859389431199137363943286332081454381726729112373682025463492823581371064044094920114461843233001126796694808684617130038444005981238368759058770338617162966089081879209940809561939435769494462388749794258306890197061420379011928247282217397384989687254975326246510499952998182639036016492623420900004617933924012395767207622621240153261730461353181722753124263065013881735042551019316359246931148103079031032792597986021364340868216821303715209131740310648790735995971134317834615839393170985048588097959164113023115068940771247629100288483129131151896886315926075058941098700958439620916672845540561565316884974582211798396794128136304426146445897150228079972251460792360565220823128958250804243759035656177308186790651430214463928019858286600421852989929542260849559055120952768349557436336434171262882826157987437124803507639954625916589743622761051932155593344802340656823108164401701903752435456569887907749550457590278741460697435252770272327262916510246575052737918655796849168848126196189080940884135613261912495616455289057732961315447613140250977784774349779015698572892706943402665194691874070468163990308235514702526564078826992731933206837844451243081776622884599733699820868574986696804983007286321866499361196525638564275414837501253636188187890236219893097202565319532579112564912765691621799873659168386545086714832559203457433687349655549700931425961495480970440704713257103140482869141706877558906670469613717088528864616572234203137670773941556707892744854644756381288168936232862383265449524519587042847962897650115971648502150959712030376328058579874794106769213962153314054278879559500421664754245591684079771597194323555421962064868464498417996233199349520929484743248182586420681479549329002009454007001340111646420401095926125612867097734714748145432549629966108859309009436967980777499398341843760709900104538310903722877137216731735335123577511994567331943754885024551407112311272770953767337236208786745101013859082914963057109021006575217310631244181744432079932486694202313429972396007114624047513409063786305575302613129531592412101354963233959559260427626326945448119959935550531324267209227610748907405325579287103354056707482593817370519166840417030705153264316646238638159641876751780664184977831026181912697792099697291024315902274484837664761781584605749336015544467826194834967080233296489207228709231468654305284485086751908203006404092609181579337938148714806788676186639289471656708586254130982182142072912106564338865935875190406965950804834935094281789645253893535032544090817748001106582657769360412342987066124552043165042295104704355243693991388316663763148479828680999439832942478025756171488082386735878272616489951856945581483038541981016249663990614465438929259901242904352416063729309850378685814869326875615578024884459763865727145486234174034133971513962539401488220494810760685996558645571750029359079700767583560994514965002386817561130452801376247808714818927940495864766367859872455109084147167318065868701518331886006002462479309502547722293347097625796420549031864767447960383627254619684231656493200643539565496010790743325704243182729910051473747706522590926126497227729868517913489310228186661393546155107827723806538261382619105704435540301534958243000345816408274536057357609359234713708896436050351614268803127300714460148744293783752749371713890494432708489143856394339939621033178874344323509757433673222831027627921882549907649042949074788557652588358886591294836479946765052551179098962982931772005870961549883439652731193323921645600712354378300658411505673796176457912220837968933529612506387948086979456884269486441975312941012444945078834156034502779111660834232433668851730144945517462337120603860170509878225669612808040418324917210339523990820684391302099232193077880756726008417420021859841162860951939685499225071663881739870562755925621872664286841360810354846025293388092810487715003212493740957245149024660778601009439336815885145204465030177935550940320034673895153596644038448392147492808763507064973596571246699667701285901875709844452011804483926526573242666854116309078975561041581929016785937698675872052731676752159723276755270293462718482801845555812782562171420940767459725409549383481767050822154425703742202788063136093517445436889104274503570245803485557830736497204598209436761298167821833247264368823106232796649956490069132655723632853839781520604665108092026335807025558116032182232056458524509807016873026768451217786182542566940462241931252359930971480389295760212890377737637432016573733134868687011962614985651608649873629101148756840794104732372947489698744166373625224929235641009503273709688335367837246616141329176481949809141648757789282627607773753034907863548806813737947965271873808680278246723649874148593857955578799813257221794213523182612606605624285239421717974993122929273265738017479599149860247669336907433338091424003969418225096131328535911865593135845059291667796641464806722729496429778023002461750472636838198211337415684059034196549315429152440806351579019186545864313038898695825320077534220261560336273185705870441172569043534715185468233803138686799841081838094574709445941669198745298020053463229976929234114809950806384188255142390710841831056281332719163503821995179120064335738831718815541919184404183220497895383987770975613545668853570532831803261867373160810217228111848605611532814545462838582916113364352776703793341540073907197455751292956847927226005394165649991962161993860453690402049755224685686733369235215052521400596254749849764494510595884574807995068868124357576194624366422474698325585222261200730604941091441542086453101441903061597833132328485326674643200446322559150305338757685736364488603195480212266510889590189505267743114198721933239012896749685830117265015090076926583098762425490081824825780726572935391951172509138819874014560207899341173702432713710442791627899991500312560493316535645211933284142773967910788443530012276748784389963498507507614064749868127402786839255135998270333604150750308758411535706345202528902958415764528222671650192225047680643025800542051034906800251358165209069955783239248974504829776771436443790292533375733136712887684482413885275706498321609869256025839062264244084625515262882536516738103245883104945409725915397245907910268809508874152783154659501395610266721543707153146747107722171175921178091416501917635489681744875351642961701902858834092814531392253704159918134173479431520766895986427302237971599947146142877947513025321780279718268161638686563011657153733707132908127323420788745197017830633620940569301129177302071877701457121094245896277884461864637001288312229318226787728649379186400319501827817667538742870499717809707515902560443547918971244781869653236995780702230924074590928552238796045866919952951325054761332482503630892197253301010255459545777372202654326545578163911923865041322063333126308203053994083394245670976905666058365984117738943102591751803783126452700845155372247341496461103815818205475807189941406251
g=6
*** a(t,u0,r):
34891882807654497086391160684824370693554576602542880474211451249380950352462\
08702060875886227267689086555425070935144921655903839195687430922585086656816\
25137029320880329060122034361849024142772244616337202326550844964286680951994\
77280989500571204574178715956985183018112475859255969280756415888941029264184\
20631787313899657719127188845033983933663420961862389304856146782486339597296\
93962274855702197224085355315254119266217039916387544965861215236862869999456\
00205198472844760093055899631861005691595201072437379428237202564404016172778\
01012196154863370899975121216081954108519216610303269608520736627287933558421\
06807192707371989280700983682139938207306842287685093988838018213326568089453\
07295261035201228427934684847566281881328714671545619330396555501240108699380\
39945847111266860701267134196691579677158958770888798379095148567295053208561\
71119212592003518453175157885261946445778051920798021154422179899850427895314\
11752254257722639008770217714754129761502640513896151221648675145502973453039\
41144391922974378731886626430274640430937336897358982490758604422925299620416\
28022913095236896892301650113923439692754787559780024841189422382146502945607\
02339904287125947010541974537353065353697690608628921399453336510711034989195\
12968647264057855920769337963162939817234648450574082634015910840962775749300\
60130427458584564596077487806499546743984864427933151950757734870681901538524\
63602894104592092877650536653688715110318209769015664077571075112759578058906\
95850476656080129323955973565483001807555085095240638738074399317540587342594\
28431745998104740787847904997858937772327364010354559590619016205660003926729\
68139688557734228296776718071879564333290492115770150774562940264204572158707\
65443357611763143681246533739313512164298546272562465046320598959985026739011\
04183112615210898541732147529758068449513495393951907541310878340314998877456\
14293555499698769984872313744230959122873554888858215450279809600307464172017\
61042633624052989531600705822357604735452718441996497842896551321268816421830\
41946392286352128313955709093842526823604016788093556195749034321508188093736\
84305189193075362515698516181083965279393307639757603307446557968138382279903\
61518138755985807311412111752474867434120064329982398669276491648090718553586\
42018056091317179203834775817149619813096822284501190678968257399353388558202\
35169702421413949121559516895117032954051462803337648361058032565506371320925\
03897227688636768376806812441031282293037247924129354376001999559347236416406\
65786528801457400791069204642159176036311051001182643368391871490906783596060\
22159161245654535664295622819675824527572663824591182961197436147184605009447\
55479508011378892099104860725329493416240203830112634067154209014707946620295\
83462368950949969732178994305703255738742166986231013482957087733154162278518\
50420679882923851038724453125761887663493126569381634806315115580069535372205\
22499577147881593571414249276893407351399493660577044528612462212096721687352\
36714581357845377366090251066014122430649121289868332917561182330999577472328\
92838857856887002445049931041563944394840351946709809656730944661238530222800\
57427945824461567697908805638672958624652619447281599192041112206047375660956\
72870174354557323810789227565712809782651024638045018706121181845294938632148\
92087294108633531238876968306330767704730666882914670899798263007986044048404\
63892902367370693090216523238657490316178758186568643740479354537532273740150\
78309563235284930885748101955059814512695059001158541899892806101485259892976\
71020723610968249064329155158300508040135266330548945123349793715892987028087\
83891761881461746875470133706293385261777236441103211934005709903222042955923\
01237649740609632582136005255335478597117552165007839525982561098238175092639\
77888402117117386910474316748299080265648087894580357778860495067746504226284\
17510749469991920779936093528427657977774934932915788078332098652160571813697\
86347544504788322981691090911535624695929144549606433074682544677097073977046\
20730411810223324716344523895892197115129936889978004424887633076768286096349\
44712239188356723433182119491161519513603405150555009918626234585341543086164\
51516111157588896940076496829710116945484784151147378077772420064866105322676\
71899946838826707990642495450907392005748067093818772137977898387409587688896\
87781413751174231259075222703655957373824870639592309800842041069710755454926\
88354654336918644066867001726281611580662216395450224079458686396485947143120\
44701600384439991026569786973604683573550865898799076250242866469334375195211\
89386698235751029351363780502039743234850468680681960433883021996322439524620\
70802943244410005801966390813253258951352703327882447086140637538673466656770\
49690792516689989550361859538164406570549835425277695530473393144832635952267\
44655395581020848096716035942684509759628441420781413139414047005027133756788\
83158677850795874651517963432481335058444760108232322282142920835369425179690\
85023731653570822797623715983736682777824705757209318391368097953954760778872\
58871826832698270326614357768665755804768703140847442832357521959651494701564\
84294738982173395511732468162361279050318191868465105030525881134999544498615\
79110303507758432736375312957567287198078855065533532895197629464956615705860\
87196218560140321213779908461734100213182742618371978232045714028304528964511\
34421903342880330315977095229254222142660078058712250722355105315956677138163\
82368181302186015627012135198301658777486608565180920832293075365809628355571\
89489902277702074998175643939957917308946795809354466572110501620330727625579\
38660216243287583998741732917225747702165701458607814169594094884192270863726\
53091754268932401770192961241770869475302734107870009551397349602574768280849\
25312260555750082129001245404285560705318800695352599115364408004541955413596\
40817148210973275018921890608410520164845927879267363446862035373697033625974\
12314642407436552196722037504739451514787772972280737349482608564895932553506\
07203876204778708041807193375811121134985005392619417594904760367183301193084\
95480374506882579631980439962303161074117732155472870376576208471731204228324\
67824446501055692577814155922616842392815323343648103566910443679286102533746\
47119987839400213279334886956077992979973745143796892929509386581454914111604\
41047285336409394228448319378012121761291432189065853232720494236835516074991\
60467268928431508152146625535015236857225883598585135590017385333366957236829\
31058540433344091491462752506977711537793401701322859489404573898365357263047\
04485575660024813366583100155259739053606165736751538156397584714051019916164\
56877687991241279559329714385486668322085636939114939987907523135265789191542\
80022225927184313943040379080217171264772376605768941911502679911580065071172\
01272074087914801148000856637778376094166135381587589578366389053052272772847\
41632074577582883187289319740004637503603301678927622733975233228755813086376\
23729674742914802544883523584403131413138749689971935166567868793508415595879\
52808815705142202387683067468046504168442551573814064059743897681634404466876\
89134540284195891503430208870426904861223104393991742783117322078788359447222\
46399997093844088356536545593454457963887760903069745265653810383679971598466\
19517995999050177093509146284509488962565135118247185433624348541822294629940\
01384454395392817074008825529298265877799138680164904493164425127253402576523\
00884688228952678144377236644729037018375294321893603011885839579224334750283\
20975090352216585973920287021175009674036261220142722709159742398447638267266\
13918190459986108618174912529897210615531601171503653051574451957956797004347\
43828382308310604273574704395323807705531402220373401712588468570869541367796\
16747795530168309078028716958384379513755615294148955903819503734233749223469\
88112590297711539276566649061835337481961142639728628758321029269000467068363\
11463041398690180087687536995791448474780307260903542332744536645053562122448\
18519818312493851985960865922311442249078043205676289938857251077614806258116\
03262456494014776155632498693706375241947047477360019727390296624372644234909\
52483999673840552108123109693941246613304255871633685777137278037776820557922\
14921224161331022979356433050868155142921804359877303888307483889444148096680\
52783348447530156871294295474267404408777228989015147845871884483430882513072\
88248787692318244147044263096090612131899101644071911491352186498026773520181\
93547066290101419644380321035050519584548408122245229884511573852488718290865\
29377194559979377740199801529292940510667347849366264515345833519090207668333\
47157157882386920410740476602516908511945315824633081493061200740256319152400\
63065185172549319233308991186077881702470120479836745018945228441318039301683\
82958860778856500330341920433736745528890275798113061107571730776729699119966\
21888693380937013170028384353049669217731500100497199168950978308636066454724\
42480664283452741524911599754002558352432499293779081191524499569833363038317\
38468025093428284930781758388545010002782192329906967986904407690031942443081\
11760222999793342995536521234400920251977064719743918126395471272498435842396\
84189305512602276268589415549801739433442714893793290760215254402512626638297\
44575124593758685746183821691451022597373354195627005483284905725763966550216\
53937558909835053125213190405512443763282587055046834141604299533250321438248\
82224616721927554831874367153578438544848341175240661766749862313603238057989\
42309778342080948924624803300721502716996913333882222769951891038134445777705\
03249357441962731700162304393912207450256275781185557487617219664290276812269\
45023196376448000802774826279773669348784927195461079154216713716725158222879\
35547732215523491922193728100569191723091841630574957447579014196881708407157\
77174597854572030686256816268414139226664344378133756396386696955507979166495\
14884230722558297651541273968660219576216362670247209397379622105461803204023\
72574955679174397928008249678932248454739825411233034410991753345443628313753\
64484053695883553512534607194464932439602027874399206431355743322601459408734\
98884637763804609428124656225614395486687170862229580719177230255855753040650\
45651514190502052009376432133370518838928232894846665552673704146778723473258\
97660398971646325682928817926298878142366563742156047978063746460063319546157\
38607384615486244897492470540178978264331470392237971719817559300732067522391\
47504775890031723077096763380752785789766409468838903753183534398330122122717\
88273917498774470295348202483942014845587156614686104534038857140207604590179\
89409371039735095073818645430852424605120027506169829170039249117385627115401\
19290393403903869274419673514018444663877015856268007538799280897121023553148\
61628566356508748837466305853192608511483310767283580466248592995284124814228\
50465506724907132350535071326005334507047108349304362840557761501049321923002\
75969921590849686172470862379800435305213325990524355092777693275021775030986\
43726839796875393678509354385564164948849824333411915719759534504204018838567\
15457239917851445688265300896984306351470364694119537792728484031249629216938\
80961196626667423013599997573064662663405562662727256298095056446847444982726\
25971296923308815746062066406214418110400335426568574348493712022900581359863\
281250968
0
*** a(t,u0+1l^(t-1),r):
35108154808528388597257221598160058941655121498839633865580530492662237234812\
05863437286273951816868977587793408151685076128977623322933427395245738020391\
55871349750555207132808741186405939581673725471397143663285664251255400048804\
65776532823921852536415360890602859772356974676565407106876806896517110024086\
17453885169151101878543266461842045817549764480221040478233354303865387156784\
31734768294890433983738776939109000170759707519175071071021512025521110929204\
69627957967511153234128560166769235065716658930324387978412226547241231149055\
55977147783922441380760090975685767873654666300036554337499170945225668683783\
18213022414235865247316898870252375840823207012608761926785361301425699709842\
24489239925915285628934280001580122471502239762484951681618021754346968877269\
12094271783444134631233666020224791947885150664096786798800283785687377918532\
13502182917987011336149384070501173386557667945100488227693391758733798316152\
84139148395683729746427884353481944615396251922040135630047323958388322462045\
85407683608447360418241295602363119607162155101268232382230248665216158915584\
14973468341694976831716742986530403161924755251266264664585224586994518459732\
68676721875682512797797399999361452122418957285955133722177220827926186032516\
58710188466107801308707990884422214237589408668242930253648240866836511962622\
71246938372584055698945736697862147240331878050420340909130200169467119936490\
69782250886232126511189692872616537724638363961798819020200647892384120898115\
05948723412212857398278014723946739422064724052442543523640976172814599247610\
36459215498092993313392416805696906394883112134385682893866654735860375851895\
36124025470282167728368309299597826095686920785909221957049900637743030250600\
47047345365555063993320375890590248809945024865160992722227544821307247979128\
87886726949602701631866850923537560609324529456311113579790077999449182754795\
74712730430482026823621522300496853497602109981144526703070800155681270768125\
15759840030813648557623024246876350219350152647215484399774009284003953713701\
26917134387300591919207500679134939179948669784713970800268139906145635540598\
84827742018652275919721440868156799774926737232566018203980317624965686302299\
71196970194555967274086153767469546364496841588226091223011676513678057718174\
76576019248907988165842016163123687704500314984611735249292440812985744272406\
08528192312455771120246869272566105472361699143027757751725747643391741391096\
06194111331334930164266358799136848092374255659196271861803664845872115980971\
16194296541962302035641947646139501507610499664413114298361242595189263659672\
16511387451722642290313984118144889555636130749123772938229651660493600495043\
30410166118887438950958816473626990276258221622448042956000206178022252074553\
86665648097340155494981756667102242861089742401434924723553929186045613697600\
23047254345008089784832249322822395231655274048117471385693101833665007698892\
44746475353343669564625494623651011115974283910539298936847663424155172441612\
81570250250559294994392463366010077734971326587119582914984082221480979812033\
44653974744429690476734124829011654793981924376131564675264400929799926071289\
00759110777918974109259480053788700103731044774434171087859548851952627989433\
73321848988986398131930483108475492487915390493239512623721106526154204780695\
29848165766331672961431990837155131967363294983428604810334202654729759197464\
99826122836589932923420344663690491289212924043096961780193069544996316759201\
30447845652032564754874639777095309230748953994967375837288835891370499107189\
37576637187069291930430368929942866561045195667308546022874689131487365046856\
97841504207173286628830485774720823600176682121523273165001613063779204379203\
52691602115034898899793873056504913381810429554460367456928733997607419979577\
62875313700487949226035107967813330763162435546819492227903018797505263550000\
81255650809681953346753879232116259163587589488285100814354818271905368746427\
39568706970727093578685043954375721543217961561277547329277684416831146749631\
20445682957807353588553270944833677675760907573180347427521234108235858117607\
81146405960185380809834074777263760337034831215537788905725157526986222072235\
78281706887904530598795979248076088744733656780183415545196629280144201016825\
54163789484521914858353089430974999807436588170846574444618257261711713232423\
09813116728970765750350482348513329010439487606366642299607590911051937823449\
15761811285287974505297995538634596776410122695422022989042108006381521195660\
44978676419880734772602244330879092769254693579989979615430322253235208099314\
44692814133906510938252398976225939990438384808868005643183949818613694315062\
57192217686007588482557091582756894853943732480741222584608451407714831119519\
07436809825677737419475672717119971074086301347335201907728393515565069646186\
45965243074291638477480804760511066638303824322149892972922811759190525081727\
60533628333342130072911669817393409449302888786589134197114881088481219137416\
20674705196878079963724689429916868828100478726778797637595586164413158056427\
58410288569264581919547917837479799745707352127257654254872134699070822148062\
14569293149418271930193619824524675408068098016410136673277074613109045807491\
50881648364211480873171027707304274515422319043212459751986044523623702166847\
61290409997496562874195899629885344635991726560221391320260873412777490920902\
94346006049551076165043068960014062362552599203704268805344909687749797037780\
54159719616042540517262210416472950050900781758766752986212247320556382250337\
83639633076944030008494914460246912664167540411478564505408707208886496598465\
20924639071241845883031454402249874237509703740376044422711413654135611385609\
13338190762334875334884239927153746765438908079613005478368820777797339158623\
11212956385641095034759517586543529056798049459993214399137327888867628690953\
41070147063520630029369753566727114298099105118188442145912833113616643338531\
81399237298391737437610810464479572082028193052687436134706674320463469325531\
93612164693651303339586990028966975191606813277284413984955822931442701820314\
82022608233164909671021641036449668270858131321725801391307052739117967890896\
93864680673582897283874987467591740176241864604042616605548318330190768458542\
42040153053280793113710929643822278060428127861630344745188163771009386719734\
18987661071965650804244486646884097722621750983626178769286943581278711422563\
86668512330880463781188856685025661879068192794444134364335674911879562343669\
16168407419501182967649505105161457683688815348231885477975263405999853279140\
31166271376925793614723078048784076279145046929334708847449635858972823758620\
13428582751517568482218121706057866679453936341630115235766454063790163917936\
66055421542435456384836083909226781830463114477292303121697944456486553077811\
50866735704162206940240531369004275119543198204200735794761222043050530661935\
31352934543972859735970865110293922446807454375284612131086649963644795398895\
09827172726858489337517099143810588839253246072347794268839983682724376849572\
99623746381000521823970359208550924648825459951337704952676194568090816064812\
07868845285957436285476263884086575759123247603045410610285404653656882336358\
14042972282442295515771276247959340967796156115278855256969846398454847455481\
48151372007308752571361475703628349431341365294599957244163342437742680753679\
31145101839992359328599789323901354302661530035620472082998088919364477385881\
62253808197313955075024202987568266586671008956120216253695049328682336825181\
65939811986631151589461115246512871304247229781424599089588418487694214537517\
78880493293415774580684261161280871011908863162236113710985037403977190374209\
09595913603610050167832398844055153621061555539921170731468149161184848442389\
94537554593371831654958647022176018229749968281509383316446484129280652627747\
58700065030961817412578425812218614367179910052784797944839548045461213765067\
84467977605706854757652542390393461585161176934008316355468159806076621391802\
20287503136744846936287069636705934659712824465215605785585705113219856710129\
14852926265671892536762452198006208146339281242715557039750153834854292856200\
28635760002397415034413128968903692356775150019598357383193914058672131429148\
93939330922661587171377237387960313129344873395165799573565588128428306039428\
54763410524684269413884962594975673444368823383575159092850429221964545007988\
62349503318510299379360653156603570471559633265832687802248997571361650215554\
96399630750577254890109951124110750077841063544490551557349455508599185552998\
75633664774194125949333271373482772786559914055044154584655828354952337054707\
43937057621327335206674818399639947201068943815281633651076042893605015345494\
02299060287255203443432807247148612374179646020001022364103979857276622189917\
40704473552279164588587841428160733621011496515869960246668249769147445188891\
62933458009331250854966576818047910969081075514343256188593236438648273478204\
12165461789341911410396589008676127928997163545600025909653783658076131817480\
50896545910123088349774207304176487337510181125340275639715798646788338780538\
23196753307643301733112160828829025129571963881229934147840071301046979866213\
35124363191399397815708771431308775008443392878672174793852952260379440439774\
49603482804050578426428762734993074390332279944773453864379646876956718408998\
87329733861755518330534759767530082877517809702082248402812590646059724257080\
94304521371030411576700034718579957792027153207318599752907402782489208541819\
93605086885523599434488180180684652527226233044629426630096220941263378292856\
09674456764950104004088930247593481463377698978176377058821458629151580180940\
54186563296136728080477976029441687960450949471466003198561032190175933996988\
11181292539173430921711457820200818944515964615888438588783016350994611558441\
80752126353670617653320391575862987197077553124279213564132895490356169120006\
48240951160921262306406199220532080441358199628947088794470818110247723471817\
26123973999499859072190118995123977267475816064608445781307817932295551629747\
98561434193998534216124697734926491938194602427339697380310427682039071760442\
02390121055729018164249395830318616946315397127904557459172130443392049030571\
84364230187550618447451079439982319575533159958244475463124160990663715560903\
14381434502462315304930442830800730692835777980227263151481496954650488882187\
28722719644094630712972795770799922344482285291363413693287502850116770420257\
53790962517449275079640751583526046858711242585381293652480126553691672466453\
73738425251866047590567302912561490144216829073041596917514304601820461643424\
81079263835435932439978678357076716493168292139472534722746103967286777696695\
00195085925002446976533845044064013535760551078517602626849689663012269566907\
80192379784338348520343163120877686663413992445593189436080712373354067736630\
74745251601301184823782189536703714679611449929981869221800888121923594579550\
29746594658561564392548161113559528912477044953275539111947802944081827355558\
66725146655120489093872015673077992417541042252833890403972920048651564409880\
58734867438003417459060333753783795853648900012471518398881759758716052538531\
40553931316502138445502476896864650241897745902372259952835315061187408484685\
30677730581924366256884765164930623181332568910617553115116606932133436203002\
929688474
0
*** a(t,u0+2l^(t-1),r):
33990749470679949124449240212592336326468972867973074676840287735708921676003\
87196325832604041646106207253890332532894278018096405332162445619832372641919\
13744027530568337090594089259528543147349407720254113423489097935250351381953\
58549558986610171398192695400244863208760397453799978338588120024040692764592\
67206379583685307054893532108333726084136989635368009415784448776740308099432\
86576885525751210725529431882525448830622591571439519527693311950786866125503\
10943700578401455338586480736410049966089126664574843802507935969248953771621\
55324897700450577230037747217732730087121509569747916571110593635880703869412\
25949568928772506086468003731671448067655322600503144247390755346246853004498\
18987015657225990090436371705841946088939026792631734533640446113294857958177\
39327410977194885993073251598636528549133159215855513296990418490660366917018\
27856836233738964774115882113431834192529651819537741682458797154503051141819\
43473528682884760935196606720054901203612592979962882853320971758480685915512\
56714009900170288372075504879905977196667261047737107942960086746713385890550\
15728932901661563811405429811394425237879922178587358910373579861946438303416\
75936497668140256230311035112318120484025746119769703388103818522314572308689\
05712225588849750137691617457915963065756480876953884218881202399822208193791\
80478298650253351667459784092488711342538974334236531290872462792410158213666\
04522240847758619404570719074822787550650900632419185149947855197657316228873\
20441115172193762347614135405217428413764922773566035464880329087232204405027\
28317289748153688598079105798534068511678413493558212493753855663158454238539\
34871618088784480665145087956386806989972039323524020847533938707794330109154\
25426741970963475714272191442327109474104885470068599730041657871142438238520\
05418052888578385666170883389010184450300853467455215714314213093922566055207\
79213659954768533156750611426456399228171242004331918563650682286249936688236\
16387606929216910256507712386862831885880075920250720522573809809872411039035\
21234966865733529958739910821790808672167962635508495343586094385518823731811\
82127885753171556665602996651613821548004017669722541238555892731357948853253\
21189674428610140800270270023330371890883492420633679695379888041476805367801\
64693209601355475195471274375591003598915602700707254969284159842551906415686\
79509327875406357460362215322412564127758811387962192566609219740983996028545\
77660212510727760929058702615591424795799715694683864851828394198826904897387\
89087496549353645605349442125574486572563348237722347826852825223063116664343\
79024885387037424722552450742721386910641551639038724723563204841730457152798\
59935099230093280216380045107423256499498463028715097030295887500898340560887\
36782039174324195720500817799874142728960602756214716647136915012773114699011\
31143286290906189596608635638009772796150845407982315725573506190088400677675\
13137501291789610266367393665403391665671200952400984494299123828519843544600\
49815960971537387248164366482697641995973265884654791261632432787327067723560\
10275870825459135646365790260531817731750466824119163746174876875566047520765\
43548091851722374317280995575690702461825847250812549626130959514775490958969\
20988196711102847472700662804201631844049500241401294049454829008381329679872\
34750328868224607394897707761229249943761383130773279605898514479887230927319\
80837817078957193785200600634353319595203067117700651908338875339765427827440\
27733386498836456431054194363245253187470496526955067160742681976963429833757\
27037750377213903788907431109790680869677227427383941375329396150916411949883\
09101168857663664569802000087845725518446212772686290138189446734233870358920\
86846181513837689591894889417129500327563896375622306480373507350866321397065\
40442937186406710595637686666989703192671639343583964241183312860418340377464\
85240327221283451751528653096391819703555540952210318344904100236557251260658\
14592700896710112160882953233035221165559073667643457013869462428205104091275\
38583448695289871082141411191969361445834225709968241913914295445653402674439\
59569877639070651030465639132402182749305796546460097472380722328488713977534\
23326128947940423362078653419851901115281148196830555296838215001207373263723\
29133935815096679375181687200625692832045895939536262526976403077817397924204\
29315984677022004212094974183416908887930633278032591055985583397455828919417\
40824833718713100573404527508144173265045940145567728622861096355254388590870\
43547116903436892084767881318294645258118250560503645561961800703080904761451\
25611215326769856072661203526263923419900818146573438728462489403442211231112\
94180966404420077966171804273654776023890081857637549175858079751001114728651\
42415720395907706762387637959182887805814560750038085625244224933447495560938\
22531031025725888176862832535073856098481012665079413833127527196013003236210\
60763050840186477062377520162014358429869223948412272636426419780736950355835\
19811341889790584605536326624652574235008985050669821532086897077044772122393\
44128236263671972022724524148607239384190999030804895238546635545404297007826\
08150763285319743768144336236680460893026916252027473185729241642876622378300\
30063033272537398833059834833663173375814421825204670991912566720510422118416\
11803754237822647628713278594437248451478642860666090364482549926333854146213\
01404808731752222611535538017754887893107906621245508709897587100152010889760\
83236771661117161917636821789254611804927553591906620190963192221031487127380\
47199357280860595788512016772087103328860359967170725183367978334681690238555\
12558454460144826147534560062958553804899025284573521448271933342761685355882\
35398268879755428583979300052675547433068675892274193189016219705814056290124\
84059361264537528355008444644877359240821930842683368766310575153184983424608\
89762986325359295808722461615424711276291022717096202200817044790698659823650\
41128830361789947026352150172488949151286022637252825744382334583364529336731\
63836007501142894301058040654328395899060805873181932636358666349435798579627\
18221067314039537802642102153359381087699402296085657815197690690953022300940\
25990137448859006302560691151888101628538068092004299239252632633849994513763\
34952632781564463969434709090476805144747150486157510364181148291644611577730\
32962386438258325162630955757712221922415103878397830163693621968322202126773\
84628754751560859697803995743305132599549595282505974030357845422897769291663\
26434094657689543674017950014545435929895844839201917870360034283221623862658\
43316010172937395665999858932241667280527494100988326943680704943543503905933\
04582293156756742380628017216440008499717722761968376455161977599747561164901\
71550577530304553768891608959343793907727635474421603535689077641136365043507\
44627650686883943680335545257670463488428373620699480343387918261392864901647\
84461824717624647567782880697132616906919332110773500246010996833385053450880\
98323433143149440908910292086872058804328348096739188907100723421775243705490\
07746604555732538069819351882611418833513766667465560339192660654732689475480\
27741602776856121578238312980178276119972507689601460169916978016836180742490\
47887600474684891859725167866350778780936114185531786968503660322117988860902\
50212262631306112602457773704847570342664176050110636223045207308820685781026\
27381756709561391013213143051785397440872508032433372868857492660123924204195\
45180021694114024266681543549565580483809816679282714504347465623149326104873\
00288750208822562575833502748933919548157225548134904457373592026586903807884\
26575261987362500441052626565798625630626342876785066970697012599538491296590\
53130335244562913047500977525609866390822430055591030800589799444555761890322\
09290466100153631674154008359252551530445811180147175017873752088204985038979\
43998112242502047043184245935238350460216278418661257147827201033747355832093\
40609140536120702296166681184949727181526683622966983904729440140790815166806\
44487798211448039692935017112334390538099787957595807244155359262593762708061\
38302165778776791234257692425790404806979406788378614259224224914032441646198\
01851664971520289915248029381597722682175530255114220751901294617379691927810\
52345779322453672179269748312984163532825683379508571866398716227010156668563\
77866423126054687943833182471316283427145585678348434316794614739540622117590\
62829139249851347345725971177286619049980219886735343529282140359131453956127\
64994714371452106120506862330632892529162343862889722914353733618695104698642\
53308568667417926868810343845168639361114988659041722559887521702998001891775\
27240908970135192094347385781170913973930199196930780834666025101303418347844\
82924038861274801691126424264949837237013764062485589414117097541490610600710\
59018807556262065920983916290303461811718522807459314694669568308322423832777\
00868840762627689482785915748890328587108269209471961587108236100251870523559\
02127341342247867002057477859529351783413064911191811532652482535488493125137\
70015855023866604018313221240080521108082239015601519433523612036880291037009\
80774680050418514922304689590950483261998318213552184703709637820212835743161\
38626565184280936488925432710189091204273223290131273953391513328067569132143\
06956965384209132911829900676692473460044496907516803895390150929127500471956\
81470163276833114769706651397105614120635826025732608053236419896544476359781\
65225014017332318395100752299405441681603291041582586824426777026578361042028\
95245992744403238466860732967541711841041414539102206686017183108430560297908\
93144776929515347100468030003573565728917012460390475940932890644034846109473\
23509167544411637145678368989490258466843167712107228969448720077346925830759\
53741230866982079424203187602104078300491329191768786025895671888077945276807\
62268229108327918323491919154043939349942641269194351530777536393640521026864\
59231228896045944922937418752527465971458708675664378576166305418853802088217\
32787379344484976493917127528133378401673197688835487034674817566893947830443\
89161634953737800580909229942541767862132967237147160810711225158278074609955\
67611790714119573027604907872680139404902894755250510969198479474454519749311\
34348530869466358517398735022488015769741036797355790925796800630591256441408\
27989417593246368924588714157541159182078171083525984755489786065950113979366\
13126821996284637332991115412591711263703074979215296830359461178295805447949\
54645664942458589733163479202530864669162938149912279172781067084323662357151\
82171801860892898231935284031360867767963521371538219602891159383487366868326\
07451484390981606048151841571584541738252258200741889367094020576130833026676\
98854174565993128848943958805495241031028952430228028005255911039240831829152\
00946010407218750158812733904504782878438803774326876425281428919992695970885\
82633236406598580378672078781428750454695685096481419585378067247406519187388\
01900450475383526922148784322470878608281163645727755012902236320604890345268\
81233894554187496114498265687589883829303083002487021202203761402339245624761\
18467125250551563309952663993653100092393134200986285267089835166806198710302\
99324802085689442047339667057231381086354799164206407736677312220430930391230\
23027823345744021950967488244896896981516029243031162820898316567763686180114\
746094693
1
result=O: not congruent.

code version 3.3a
start=Fri 5 Apr 2024 06:44:11
end  =Fri 5 Apr 2024 15:43:52
elapsed(sec)=32381.166473