n38-L5-f17992-r2-t17990-ver3.3a.txt
p=56121801832656360182366974365890077445092964575455014143288409053957295975580815386571545939646035731808313910996951247628120077845893315673727928660924584741760183919902979333455147130027512304930752504934772816686587863535079777131193231716302788971968395341848595164777789344480819100948202312371077424155707813927611057526596764465673808870847949343987477606458044319179204145030389382042338737212321567948174626725487331017927958956169288086931598684012853455479374836435542904026507195207975312763370476851750564777206420609106395012948414667209116932292303389744439854563931795190391939515733391545538294594377172361548608803599908861442384617579127134845625078169937496269973966064577689433291107768844368161414187459562534585806089292163047189376024587898892754389227883611964837072256537006755923374585786638964162228555888451942193113862017642916291551827757106677190070748545337250904169823274252013498512474195258548281860940586381161249309812507305842316124129878330845471527493892094024034171118669726963908214087941858327723584064460721544402575731656619024950328419159324210095732838199304867189668743228410741896374051404120029561103570614389863295101253752177968786436128206870959522026096559042535003261185019464147035394951547747862269301558380624005673915234363977315688986801177470897757540013686196635245884512418410104492541628849503814007880276868592257569145794129873997634781799201396733926091338860757001513505515195007284616358914624875861047407965407173837700123975449691576464664827230952241328537478675850482227407939903580929316606611522332915403532046357179638618432075454231472785762740582326678484577856401109161889312392898298850628689406836281048905021848724591209140114236112788912465605231787576163056861502380489352465663325128462603745624611984630121371863764083346145342995825570192249889031639015288747191616920359406249388885823347688779175020789895828541019377704671022363224709484842512875008178751018750646808221881419562831791073031322637161876890717385088803766545856348728914466020881451484258603071637874024948163470194248257794919714378794132775440436460448096990125433471407439586815104353059469032783314568056554987940819817954808735734794979800071915371949867889481216532976380799570337702564051485793978215484607740114987983603668688089104491924483249165595299542728296247981479288419546972966390548034368203204264922955804431772603294265581149218188051321920051864463429710692164878151737214818940396391915839465662307042266379197859203187506064158419442828298005000073895773533734821268546689372360174045870060927172191967838317128718464079260340944405592386514914191447146248926926639111503676655787899030649935504261368101059031764727690540794675769337814248992683007595349103765414576869937372984690870086401875682603546562946752295611351779972908302806264948684548150739880111040674350189846642106650603847864769877884182326591107536015391989586198633847113116060590920428670747781575328626279236523822913144764574789666107846943566092641529524304061930254856395997035481930842825680616998223128249728466334421977140898601997315816682497127906353461027088234332825732464261178931626342262381869564985032704277262216630091755260661933002380359810196827410363338893649868956135027099805146694621261512387500317197345837879460753772978199709957725510814531717205567357463058238795658887204823892497508432394297999094134496112661732126596027382079986458098829088022555115375181019011811742050811636513220745015755351967347740362698921660960349230937240067812060094679893743299233409831087824472778936270606149185200179814830944226330097950735821342002264376803321524892220190911086214750445980881739884204088055464913699594715743161766563486508790193760183692983217205304606541327204940269404211891812225861052824380849315028800502852211079016805267961112932588695350236799988197652367273157420052489711858603049667170947346973406685608809404908737307996817653079599743979131925211197949016614870490973987210093581605642444051988489633070301145672654717588613374534210237939487994416380731376438331918968068107499524476446174395533999111786905548268377231181069089859199614848576584155576448394809219517062471177355655602869415935110849716277419316716677718749114660795623885129114532590780611038084190901408845864168160125108079139696382032120681222605724146371562369109671214381092497408384755970794647793444281112948282620886899346222870419993328983661275118154510806038666948660688737753598317321366110986697142979018653575825138309253913093124773690471875651016289206811391753902221646121610664838820605827562605494402912772282705498051567626811249329123929783275295446238216502548384963981616603954798837407427300285586212687845160938353803076120575782516866379696293980567417191798996456999508915773098861023603833501431029074543377241081834067868585169706872681068532947305698827163996053487317244627752150181223099703929115369644544575457074811983300260872570835112041881475362652847346628969226521279816063138014614514838650142890949983861550980719074288060748461616591981440382470041700890888420174310679615449948630967372812894806899870206400764060153688228235172644219985221954572587752036744462669903896711299842757604039668558442770951631305816022948566921670155184053725903326791025366193049780992347713650922942523687383126321664323910708264126432861088147416614537620887354707813870337519613234221378040534044775248414565261276208131907955652535041368333989727366242509625908755699786259948101451091381935597601186477814102337785585363398156769025722006059810704604014521630455097481132087953989703847437883204220524883913559022762518801224977466638080568513342680337582439105108366780965641688494264342264795398524695530135077868987837926394160176602064386423126455235674407263436463731922820032058767977208666876319108799434226424427965270713590939682943801841252294767628093815025355722816514093225822826166451133634225676321496228190486168052606069523107331227791056915183114972123967790508139954782900488477916715980916916181610572825904681574233706854027398718344341447704121469562759888689853936470590132025832708080665932587553358019865834485686025399337684626559727662110731123581291865597648972307080549695214463240537543506811560231471138988180477681309527502015882216056567040016431582114871504830802514693447498481302098516613474385569173861388224337916441948192349127996061766525473886959662000204137657810731514953020960424733555048115390271661828455479325779827493265517764255316807763060107210167145354057146171750811798301362189959982703158984197144462105072814890685536253390989075152418393468311862351220449704777738035344448680595602393732128802051028839860044005677005923201906907010764246908566566992914408132631850761530545970500945976044351227939509201964036902823077882788117773944711311283897164855239641983795377490322297072445881674818775775877928054293132221626112721632985907506169527596950657001473749913563568792317067969123995378590712377715869681898907674620555183082472859639679710653997986019098871665383108220673643067871111133448955918605262620642962699130257481860555147735445634272115747635796625057984047175250561666788613519665966967773319207533163916588777096407722778434527082270704685639151068467213019258080672440197495194271022343410632251912524258605132423261521844273744042443385556191491167273124693281772002756444691314227268717269175848668785271795679465044687537867829848123595759673268097026385378898849678162067791460447365242001961882313021732354794089729802246324281636486072007035521568434212588016163524301676525680759257297109732733698333345074689073363845748611801259596573160196938872280914669056509374377129654031358353768411634839956290330133590706726219125565414586660861984851302601721475253412111573504726216445914599411901403716962637827741309864416323112437921737518121580818717685830786598208627119291432199657540743659299237975305691687626940805224865171391710344798133709748621146876481177131060843910987882137584149288277567795755156686344890823963771579104324697497188535447801608523788753774124502120953545625199837927782573414916545051730259299790546246374888869815205801188407030772844036877906880145322530860243787185817379431804848182455410239765655601218132753367756311849269964239652192576020601071246135858839567297920478347298270722201613451149680011516913693361565786506832206134304604824234312983004845592526272123101937896677070351191405219713564289340922893642883639031518620720528309227380513674257135423260903186634586407246231379896103580767958733032432404440332189141674856193465385906625753848167866154503381127485528749102296272084347400619129689538872708935776386884363180354435412994906082883125881578996288977005181359441606481142175566958312189948169031636735866180601752841874075404761997988530804293024259922542821770800944662322789569377603577862287321382311342098125866099658610272821537963679970997856554382942038165978130828833122589091876403929876486568568572383353828540703180243811100591324002396732795317602061797377136265996813676781431503947697834916152800221253998916971735138480948964824374733636899754354332363804325928388160998635555756604968515575131239680548357987346949747487944676117662541246706054253059203700715989565737511859129043891461580989857067237319806329628332233336985812874335981481547490721361925249707883832283895144403479680046571760151246523297354957487169437389013108026671651139657869941778816783598386172186744475584712117459159335761613140080390809390689241678223107752138112754521093957947799558756785456501340879673332159739538611394548855717596048923957425230791118667876316505986080759230757179961900522339409695145353817282190985592120238146219022904610533560739920950311045605050246942807913799064265085524609482062860109162692896891561924617920238344996189203556796699309535984880414970969156985170280070843367954016600276113238537471730000066675750885105834574637738502352169557315827227744060626067731646838514342622262316312980348008137865855041503139200480356268143401222123712021289515143413660129863808298262026395355615455794023011452630231213370749272020450150230810220081485961779612797473590605564399794233511872657766781777118201801646984502971514957868302004724360746783950624561941951689057107208572308060984604071596239109379823338569469657385436448946904936738981167778845994960961660683730644840340573547140926557970209790196780407163616964390282513508073683510176069976002524973916913075875630571878682701355528119734928487032002694630650886410516833791506280496445011582162892941775582597370733161787376038584416022267315561575968865586867651347248418297523929050255289470722345221683505940195305544546834372356750115906212404154528606454790754742426267896220888556795382875502977653445330811465623541572281103007456788052001343420663180983224622270846723484881324055620523626050148560642084792020572467375935800484090214988177277434720877913846630360073857613484000605018068987518848827470266323279128743775189228857372068195227934313000491182386230342044956625018603285720347286618699200743619634517091049503144820694827670042632567034855687966038606277378316418953852649179321500785420265357759602444253034462405469149517498217484036939687160887265468072975996451186997612066260658732486352624425241528264353691623562543223182309535135555291394918133469280505587992262679645872284727492594957645834853058713584800112549773948193653143086998988511664794414926048225128113145238323527904236779277952460885136334577822153212702578490330818620255974620413625134899977861656838118620128756414557925867910866703397553680147582846080434879985207281702918933110647205078675763028219733705172475780263098864222278574273066833468533868515654172132724869908369889413234854940992163065563703199158803437853764594067430605056676807226107236851592929067346616924696431880107840304515136355270242920956377719550672243535108712827747167868719506995816134938990523596325502206299064709156119304166064654762735831258556937811879203411815613224982848172324874919943981602209003929776768895657557867173455760061282829891905461664918836830858623309705925512783432957719644462973951383816797262289893522688697419831776487633200160104592298112837126239373496239493370089762030399861259862331909431640363024292296893710832986897649785505128685296397027529424824022667932588034837379455510380179597906919832899454657568508605440971223385165694235141708323920009167189233586295416329812324001671793533139735690561329213580447939206086068132535030403910749995010795900126945962735793297082388750927629890176087097241729856333947168423037510365247726440429687501
g=7
*** a(t,u0,r):
25872150644854582044071175182675325702187856669284761520055956573874313444742\
75589320948267817682247236363271296959452515656335588695681852558857511268623\
35659514447870752734727228228269426831725730769047749302684925170050896717772\
57480079821215585716077430252592202370962560887805657605537121266003066692535\
78130222062869751976110841867562588946090464757822717657715843114161311085900\
95051215181578548802428241085029204496595992647890787940418080754669933299254\
42975991799596785278756219816990876619183913789828657010362292159900798048100\
96921916158340290578675186267218677295397255758277068411675309350249315380800\
78764586739086584595579851249393087039776091638331610363411857804579983557703\
14828747200681437253722411940418858328444056607163687164754302347335021389559\
77343405434511578989031026356011448067568404764056247878736426457634535102549\
03901333844104053925960261781846226150794004726668222885294301782228142506040\
14190757937893610321715335931823565867993307733223873910519762374174684255345\
07975288570674413036168669454119668908057225371639263196958741229370137050210\
14012324484608541328384098795437744372906282973520142284376972993336276687460\
53233726979041677979754043610547055103367512339654030513718608636503406293972\
97178331707266351176450614801841346766661567492304179354253262291534281408386\
62259463093366488483527602248870581710616908996212582576328076364210307393762\
11093871912909634409431843894339928107214808977697726042504898358208141459642\
06777194285507205270713917975715268230781675021048535346898325245577766956707\
23068350602955508084149556479117954740010282733706598134030971867844007089542\
36623408452598781390391800911323630973013126115770139825816551525563545215072\
26203654741359266284799568864664401185407261116921315259740559148667079288422\
12603267329461249144859524291952424225730031210755878586271988435855860481124\
55335400285686280968276364563284527199684584141976957409933121853341309446591\
07251239843537877040421964404817859028733441846545568466743973573162524662071\
45259385363776397767640295688356263491342432160160250599255011033597595484468\
43457988328624095209478041208266572712447824830318829649521763106760415224113\
10801587407184944071793607716682717374048568783315298646888909705084082170211\
15486019256808820277349510239573384041681930094604412912652090771707771867778\
65339433089197744570319461951961411154537506042643843741677166129482625843047\
17011865643290978958469165940514390951764109662908800882795085603153152273667\
32019936703235464848008102130926694402955770313631438453803050340659515990517\
52604800023800658040235146098087426380497173464196339211940539017175370978090\
18337544225713442075531318063040319493831822145312962026746449069458821364353\
94653393063455296647323687856268665014559368358561199370411289459424911098312\
64689680234965518452808276833170567510727593688141343576697491084731189750875\
43751930201116592837386565891370460805255850057410309570719923757020351914650\
39324143176172147273062264967147280374823629597364689780360757174409839687077\
45110704172549847488798554633357170118542638764436180862123124822980168531461\
95425552076259149063117596482894553348767602743266266602440348747974378295804\
18694581000766718178818664722991751651511140973458725007374361774992299725895\
88778247493010172626220401557210637646227976431262431407489342950066290511460\
48549912163176655179046984808479874700142381444135138733377137758239600270793\
70585103607686231388737571835602095783979081879584497644452130854241644325947\
63452263217256947308307204202885702720995462067671261359703647431015660946601\
93213148708195108962074943477437728289463706528833817515528921363866304387770\
63312229753135080100107449999555971864820866180845935693252155131639575975743\
85767280552279323444682465263131645423615551841477464195341682125436121945352\
03957153422827703181486930742674722853007306192338855645916479455911774131292\
55706441977571668160058965658067269547404820656611356629278989865329380696954\
81974379817522362254496659455296339008103853141120201166707966693720845408828\
15509382480835076566027091969010396542595151716453807101464427939755728078364\
16863963411735905337634577517219035744728504250910224451938052957207427100070\
50197365799212760957232922800746086101719203890305006388428343341858626782611\
04452179952434986168855681200554947794338152181767482448340003211680763404362\
12388314772902521595584298296836413052653725025363326327778135930691582882288\
60598608743263616924661467847829469229481583825463332577508104408824285149777\
16486738291332759929845538876056605393593052067130753467511850932434005159854\
89241788620625164906962992865063611329197427880223272346017726759599859407261\
31630089911200715817807674805468395525254423162264044823985431655244049096619\
19258110321809158543574027540103999152504157932541933736667677361017139857493\
18813672441597044033644969081387255052874177632348683059725936887079271593226\
02180657653249773393741233543848963511322185406135049285711488324301420262255\
15498665130736014218296262679595481342630999520510662473729134061771587272794\
25601750021114932467960050408052489034440163186892241106995617003572233027224\
26318875958866744505980840165150752231730850273216414588985413187321057962953\
68893919729082569638390922751125546228720544211740870203198118657928935088994\
15398487676414336506626938149959490374722959930754765034198836212342872533228\
36509762285548961635959059301843229070520302194225596541700976055276686194641\
38951911458544833194880956755581865407080196926431583779693754393637760146583\
60747689531270723104941469662723011777191548525265502705208578447935727348224\
50694471639799938801892546789253473668864157145661971484150709493521167364714\
61212015514208465097563562550442745495708602516081839585586178407067871988463\
93922708976033932840677078414135516821410612958636459017484442097804164200347\
79092037493195429983109156539178381661291989798965423193837092648817307887876\
55124872668898821841299697710432286273397260537803678420976119581412347225139\
80501524796960116772378994160021491491514242525191549171251883196060672026983\
59722474072742058205721738859706630809156741407391599997468432308686022664712\
94205086390887842518699492286209804715814969790125770909467261284403445223304\
70479709755500405161762335641334094938675538878075566401292667081950735512002\
11083692178429321701602077405447574959354955763726999959273679296799880267416\
15881169174738915009997141977947973811667294800618447436824346188840418209410\
74602507472283933426627558021688771811949152361029179759691845004743954036893\
21701048378770709423887054008220344385177124239016927969571552026156291714883\
59703043856766460603221281324596364526487938889176854391262731390253723429379\
08417545727035105113777455242951754802866170997305960790841319623178248491873\
83733542149143283201065581692400936094956445916080113742105421012201438903965\
32229378851191450187659299826547495452966902303857895039755145209145563267972\
48330291339541696379646728065033603441522221942528776793987101528052132581683\
33766161869530318406127015923355396438000075939401019988293892346611493071554\
80457983774161288973054945428858223251996867847702606811640580429904869913771\
59231060404373994453596601022441517306457477905089283895508325660107721435001\
54672788565547426241443960200858316984926794860079648642563385201877975189994\
93104528455894130031230146813167368321696604712356157021019600356640074140427\
74281129104836028968932707210026958587708786610900662363100102978082333856009\
54957069559984977645209376592729163659672369701632713251863266235376562904427\
74630301861556007536543883555549383442007919524337544304817200307545138470307\
28783388300176139675867902349316720794316628207328901100403806740202268507888\
20121501662435050821587856770508456201087237763661219849842191585315800787016\
88565612445065737501645049939360009182298343538567878578156663032888654711351\
97760385887438474959249548338819209958540487574288531679926217741771019933502\
44042126282826936948706615923867996019711208662844011578468951939640194114348\
71005782265741904904296541366542629282189595875384312723240499466984729869796\
70936855462039148414365415294666154898713954777595845332171252847077663442765\
27268847649537203441819578823768984809874347855641186281101000715071746993686\
72657238589266181191806203501211194412053196723216155919930253565976251345351\
44796607775454970938444686309250405243413405181045028029349438009800024853092\
97212639681827579649647027914422823972018285165233818154611448749993370368129\
43189923780628795313738616545396936935759353008415216355055382241680383253943\
01232763690385443337405126661321037507340289759279513384469931391943121087051\
87542902954472524005386297226058699770828753336158581430884151685418786877420\
31881939291435369142614339472539065170420912103140791728921839938860670258058\
78065429363677819195661059235845352343092574080601039487615952810727127007790\
84183824292240836339235489330805991483075249394514455157245528707236024271942\
61933577072900125646663001187157053627959451591831209206951357135502221167306\
03081101118687261149572641660923969173726003651048938186414145504885908598186\
24531104996239923319888701896346440901998093500723969898839717472784036752206\
61078675734721971379425298694222037099120379489048568013550149273279303216694\
38335919424956902424315147314910106602929060300711898049929670584892339637888\
36324107996404430717958661159568350459735068887462993393222547847540115334446\
68287566157000413250146958142972464724008063540158511063633504280029563117538\
22780431600345372388560253780892032445522861486724537861036575770601631291077\
40413660852673735669979834224314613935596586878095447118145529406125639927299\
85288702248581177855394437303139470570589098190925958323000537905996243614079\
84678694620081097670900443579674297854069695590254559715011035580933920239281\
63840634448261368626204426844971230978510324001425467010047248861229877043243\
22283968327838169608902987130161678137016349911265879262680165272728820296577\
44675300307375211580337897389079974495843501659225963519900119486172242891925\
55111948862927820283940431751556159174132947171421444239614107963399031241814\
46648111369731986721562549879416825893872512104460827966253658936391541440142\
75192564035114575650283804014996353252691651883051416489732952304863992514910\
30559259855869868395577287224177930304267401237923055239728655326423151834016\
11390247700586622942409855908052551205468620296452317583667031834604800367700\
33255751998272713970044052319671432242667132807157677024274205839202387272219\
68098191168258937164012975696927978665693636072725324898463197802032521753242\
22473005863524826037788439530886115033937709364615854357738790798758398035378\
74157862652324738865216470355459872710815208351585312921676884460030011471960\
96238430035856036090645656461803432763918315237687575658537936258509500157829\
62468267150560687269823829750408565245266482158848643757929197261931692572643\
32665508668603395265302903896410613916091184864560010891214839074603064040231\
65589109549724897406324718283296595994048359816124278913329803246189309463792\
77503167835088036223450324852343800007771829322643508005218768272500413357611\
47170800991312203315428086515123789738209497623403155558896536134030684721523\
43797493871403869137726071271667211862078742329927176726800648887168921277927\
56667826014102919578116902938078164193436399720589916254616367567620855986003\
63445298670518384623324258870446956974909893330572595293383130760644330953167\
47123259374086275474729867260066962592851885445790117274098963106533703877470\
22528090823178406015995486714636385315524713608446804785024037601263105588868\
40425073839380043000106811871888897942238023726838793567071112038251069095502\
66272246548035692043080479673180556865045628164008361541269526756009297238084\
51133470128857640647042273988381022899411338571657335318616502775851901950126\
81277973871732248671748122083848505854778650855089311280081312354361885843403\
00046790402285055096729714380381477859779581986560890128712859904269685116613\
59144438747969272507123820687463137790605651710386883092097099922055580584562\
12182101947483312763127728469976967170930074417673380941755186183508116270904\
60898134176766963105388251384580168417827527583779025825345774431661393162593\
50875609743099158793954353791564091395948951054244896079890527380821704943001\
79151963511817664064436113802960143360407965350102479862073541987488680006940\
06959816551117864323921639029691064843874449916923084060031928990285262794635\
09004296664859713908246710828773398056138504240032753732712422607423668328218\
69280434813647706968187774181533487727674605864999740056774090986490162028557\
47699976909958522088821200709954981214177637379371176151828437463769949644643\
020292278379201889038085937961
1
*** a(t,u0+1l^(t-1),r):
26096637852185207484800643080138886011968228527586581576629110210090142628645\
07915475576886193540661529086596861358233014707583619834039178828348682732993\
19049184855227548853900566434154627932217927999147946693597592633565438120963\
66004852748080796871965303833959596751621672045183580881940914075252551002232\
40413347633914174986749547653832112494429644495417708700299060841832992743913\
10626496875128037295290959012014273516089233365009146187189604231933880659768\
56797909298942527450372325845771708520434967271736064012621400985583234473681\
02101282025223937351592107623116453237222828476353225187481602706867530698638\
53851481201030936739576205707088471742941177032156613490209357655378942200286\
25586480365112512631195057597168696578582399831520855816943059851433372985130\
79099096587956364923859928970814150436918239078711833543627848813015311979794\
58382039560755715999070546048933828980735818216704389678225271862768083005007\
95224951065337372667239980929062815897216676997720393423843144260284659823721\
17588957018142303821731955089296412239146658997423551814719771522032784660190\
27149090857576945157697626767632431959656012109949818139339029158137459131603\
35691286432222082994762755485692799616194996177742134899954778776516451034050\
82837145865246970275595522522464699016263837058397924945179537886254752396745\
72561063640814353893362982745606985890318574150192735136643287438953997696527\
94270391408900173536628649481275632472570252005703780064565678387346606895300\
56727538704470391433583453055764858410658305606914466239279221776992758427047\
42357446920551651321322220743578848056626424015560885319575709150862176348453\
79674370781905495328703226515760278530262697708965542340574178870687740835159\
65693491225015311979244684429650643278122291582144059860692754889653344618473\
51107417154445728530064379166502987559575844930588901393961983997121421092674\
44101867967123905965831907856675282316384667301560271574010632672025398899489\
91045176848687880311922371905076582317486009671678284895956502628027275418358\
40662937514438232021589452266997098749401802504283116114216008960136403254398\
74637667186139271740579802954108365100408326564204459407869023524172653100244\
24127414629806939248121534898606211667966560703344064795668856860876568783401\
70718002070316922839408941998702003425991534694123757059399614335887448847108\
62001814287368657755311387869115089342429371604835981214489983189174449060774\
26053183349523438645744386469282411697549481547185666834055780489080728432224\
08653515329727746538663270045294821903198336650409151585723250343615346931866\
91889874210558147480931329578331135069265044817464854085796856058539148600459\
72943509902292300575102088718684920964494137304925222000948153616699244977059\
83761014695242327420836257815975985318373332509177782445208784378812545901768\
72192410649151770239817459278577687402360804913201138314890094044251633913572\
83827868857959253078925711799321614478186486500424715727515758236473890759896\
81747779993318977184325278112198449835776546123155272771947401488287582330783\
11228801388797568508224138621499097841913941486904173754636123736845506219370\
51784992875185475736116447645435937759602896476396559588144820320624915200756\
93477180402074889269307329926661962077988461068673117415247458189525855471890\
64602787601409393212998886603260187647496765814613949250504434862865130342362\
52875724850058882122032208103998138255024311001134142106334856957877254069238\
77054388671527326671937030159555259304881286494591738404924600536274109786476\
46432326238664816699268654998572346562392385816631532607944026150590634143535\
57145583837984220536583185937111808361389638906524349554709215692403105293521\
35445090748823887736550898589573811100090461549009457911848703115428205702214\
52021226587440098485417237196000466642041717150297225272958529692685025389563\
33709493148839223382627815174281444960191751365374333786011199451190835078201\
82003244077160142504180952344905163426341088080963732825628482185202086820138\
80950296345223207046292725914778302904052693515446623736484174647679377690032\
73778444367870521915840776064186191740361704009004382434232015166998727888154\
74710939233095869809110799447954124991971267845278209045881116323430485035862\
87075434049097470379855334278409826545118068999982273255139218338317269965106\
58503825765471298413270914876915511332683819445817525679995881764493611676851\
16617280627765016359971146872080112948989115264195112239515907175209514187124\
08195993634745296897977402492929941847524807980131127220263055423217554435241\
60881417148524367391275868931380306958830301976606942217772257448116729716556\
45330654465489591500515817098166115548973544391114580565939789464672309380426\
27349223012382500770673684999008251451720838981459394453694632797588899847999\
83633451843039606773887034286655877670096384899418653335250477164583449097037\
59757825781654285196626704171030528415588921039136957966968678204971499546312\
58164871602518751904749834268741362327038646884713227587539787572234621305745\
43832709947488604363357401618247069033239511446935917679574939997231644429174\
24956212060343695439482480346517152713697778485693909142631153810544660211842\
26113399828357996085208439645976355287971465026129355279562293128208876253304\
69708617514150531197075442688228587844587967588849250855720445067108361857662\
21605849825450469578267952797681481614416868476791682735146331537395739106184\
79342818791280405988548725759993712619939133449706946620153912940788848330820\
49051277284649343678133719937842879423627530522322530276697604757140040061087\
58671747574926000528845517121835575870702971939801428975969607328178119776408\
66752558161620328726420898605212289058615689962544071019804945584571242569614\
52198670746435870434635697583418387539055314902338514983291915312986031398342\
15128112090793446357732844821199599396867538016845885993774979556353441113149\
07327109402030097488385591736915287359003850881819786952568867856182317066947\
06362398679041110967905335000761416739977713991493948949574610857606814446182\
23282449090209228414655601484620376450225862850789740487271422312729311263660\
24448916364045676932018673687122740404030118773182416483346683348240782080458\
82441139201220925750965865321231147923761303584400181069202335135027336288148\
99724653007175029067721227924556082747254068499577306673755076340796295039221\
21808930288437385230466303673607640685683415249746323169332453086793805475810\
22526558928966584554552431713114550590944234451816872143434535743624283009492\
40108819901544531547465975011030973736564763227502317978864876197843684657603\
78722315609822949852727722589636572969864127486210133418331391956968927651672\
17487885885892416877435782680991994587455296276501599331750911272164818643516\
86364769551130854398929537284105349204626398077542888867117600053748124834536\
51705199781673810604111703876282939878860623320991871778913277159812731215496\
47476488429075974701218165768643352246485053299986813868733497879073073578323\
65452463064830561424155593384469903688303325820555056852937098070594884274366\
05642657851044681255637879402082992068698558160133349879732451065454109063498\
88097532440314532261324402656006667705376450215144711859897765509556972906515\
81436969822199365338226506454306519625819364915111750567052866446746400145934\
31502921221213781349829591091972055093255877678822205246837254053955007512684\
69183526533602538968594399713932378025138657681660765758729097973617428362904\
33927820029823760239812817467814611156799535301667696309851513849909512457797\
05108540879377472028248069665117269201187965100345361523029108024837530912275\
27555510554497925172435804454079096096602348327151752932190885342751603880027\
95844415530546431560257211697250054597304191141882731044875857124065194915765\
75610625321111276859085365289124581634502311410200579675003512119678627691893\
38791778279730082295585570980048599283663188167969769064735028872653415272838\
76265898997090869535902472836336079459265350807037239113157681670116104705159\
72840756445801574145658517146634746527474429562304697145310331132175033108833\
29756374736594329241860936519397662941904906902502614785915037423314315378428\
35109843361926689832277479635617705049678934862433987157179246364188966379361\
93449054570574402604004564323324464070697552609269309372477148226699267574976\
85001336104140508143578925440484176576149102985456643173031600668500991053337\
14382695478495794981294531743603987935330224314936958858237502547846012053553\
64867413128090725676975852451641243268955537097253200524716537242401121954837\
71330400342716680739454352914554394089214965615863504566379073193885852956797\
18163199817850826793694975916516881650571008108600810680647544679508788081299\
61404446580975539398057761844072224280770868332567766519221541287895305635575\
80965513601990122887886481246704263132854065353493423327437430740933214034701\
37311116386356151683258985997110821777739798150714714450632143290646668239962\
56280863982412123422439267980097149760585663705963604442774774075628527736341\
25377686201515311118651400329778806804774717983083540740200392772252782739256\
62543843861582595302714269788133721617749656611144807498226849587357803683636\
88518359703365649335679493236011052102883109496391856839393641268643334251141\
15838577476454916901155670049486436553342682131035974243602645145498646411633\
16325818942743947130816797183152276725297208329351480679430144950054095296351\
60283536265353709943277174488501698402986566231388919583185433295241114165982\
01201124214761805122165586847032963333327005523153378838589109523240231777994\
09095229271498043732495700668361811468911346185090911291501101373817263666704\
97380373745104744222430852308690445726794821905237273123509048099454278885454\
29846521790868216274964020273231787018056248717528352755304230208868228374288\
78255082425895250362188083003359107379918456506438981057440632418946362063483\
64828405679916564883264768943409159229950760652197054576294947332910830423227\
97965391046517893423296939296150065799810418023294216609861771912839265591992\
43544500310042241615742130772065484035937588441518596609009881911214952157799\
09169319351977085535861823784107622594298959728223365664686681568287526089899\
62454168735196038667085869184227384036118694422070032547305751421739841148950\
93198573267523378909722275199508252196315874459043185830207858615535263599638\
37765847793881754455408760432196827747254537040421303007535411554851986123248\
35784089329225118586161785243480339068422794876031079558362624301716338765684\
71722179347498507583666994205308494561475524415028893310818884414813687812542\
62832231872538841174112871364580282168215923587456130320575676741746469881253\
00325266218089032771305042043084693038570574521792564590777739092023112985794\
17534503543017361328255224978934578764705145083486270083687096038858905280828\
30262190817078214277983145888803896388767931855802001477700955228214571742713\
17890985303710888460885207882733151494683111071289846740644418062469060837915\
71994493559437264204698156858635434861133190806985694282895661973298101472251\
01949969502434007145208229938683117434343790270060281333402079196264704773673\
84032479486585546299141867801171078098945554522839980959710905090483063365052\
78599614882776951283457831300504473380189623416230948665698241436712078949042\
07951918980917134813541481868384497865220423391358215136577661025018543154525\
63667113007717695452981257844265393383834980195388961081120631060615397035773\
73106429244666049565825987797739338380332104986369320632154350984164021460353\
30612398284056655305313206672301816932052335644885910048711535454529657924129\
40294061242468457261253582044047547010236424789431158839557868730124390669899\
80038306584190281984923356877284897056704297251583598717327694355285785530170\
79862461268626023427402219193121385991857303896450950361584229808122176172905\
20123782234097186335953703697607756286824885977919004171706450739199857715420\
75475613558254871219876088435986020005362413552313513547153601398651359907120\
16316176869983840824250145741599538405200662958244715639591062593243825551464\
90243305895457075305450274663059347229135852592906508975759547643722006446467\
21615352289760825238295864942601496170244001310668377739514450271868273461975\
36480764408235656928428496515899736039674187259126349259839013255363444296325\
33963467528288739347481072696480048805024430022177606674943807444863541862246\
92637013086757513644170917393441359354858359843378857127688062959180555755373\
38907407150259884838662824617801182543170540588653436199381446812326783513026\
71772229824641576935650153005161887410204781934089437062280426274299361762736\
85933627306607773839929099770961110180843149082917308300216816287891378184987\
47680020093559029872672143883143310769181347898931880500217404383195285433316\
712442319840192794799804687965
1
*** a(t,u0+2l^(t-1),r):
26826221276009740167171413746895457018754437067067496760491859527791587476327\
62975478119895915080507980437404945654269636624139721033700489204194989992195\
15065613679137136241213915603281531508817568996973588214063761889987697681334\
68710364760392733128600892973403628488763783306661831530253240705313375008746\
42833505739808549771325341459208064026531978642601429588694518456765958132452\
61246162379163874897094792274715747829442265695643810489197055533041709581439\
51719141171816189508124670439309412199500891087935136769963504669051152856816\
18934221092595789363572102029784225048155939810100734708852056115876730481611\
22883888202350081207564357694598472028227704562087873652301232170475557788681\
35549113149513507607981155981605670891532015310681653936556521739753015670736\
59805092836651919212053862468922933137305200601342486954524971468002836830842\
60444333139873617736678969916968538178046712059321931755250924624522889626653\
33586078729529600290195077170090378492192627107334081842144135390142080420943\
48833379472412948874812633403620828065187318281222489822443119973186389392625\
69843581569724257602966592677265166616592631803346264667965711693741302075067\
53678354655058399293541069079916469282884318651528474155222331731558846439303\
86228291878683982347816472614490593827471213148202598115689933569096283108912\
81041265420019916475327969360000299474348985900628230957667723431870991180516\
89594079770869425700018267638816671659975441846723455636263213482046619561190\
69066158066100746462909442065926026495257355010978741639517135504091480705653\
05047009952739116842133379603076751335628883181587318672596105320671226439915\
94589998352152315628215359730179383091323805386850600513536467742341376600443\
69035459796897460486191310015855930079446140594117979813787391047858706941140\
51245904085645286531980157508792318394574739520046225518954469571234493080211\
57592887931796187207887423560195236445659937570206042607262542832748689621411\
13375472115425390944298696280917433005931855103359613290897222056337715376291\
00724482004089193346924211147579813338094756122682429037839252221387528506672\
25971623473063595466660528628094190361279957199332756122497619880762426197670\
42436353103328423571187298239857568123200034443437554779203685117202150276271\
00221946214218256166102095215870016424997749642561625536329065919471399029931\
01154553181424125606535147099864543453077934681960428001131638633172874518387\
30437465894778932629388853187778479121351940171085481175653038868345350947533\
57712645865827662033292565766991236278986677244936719264463900353221797491252\
44566365317519988163193925889123188307760626715587527425829886442971425873160\
75412898351173590698707093349529875744146661573665066917103693395230621718353\
98360784998550177434752110185024776305768715998681677438300642866822359013000\
96576284495257088547597302226150827050168741394645471214016053662693077442339\
39074669492697898863927936000162863915211054940221535737102220294697892006947\
69624599649046174395930070833614750583873524831974667494603995508390245922826\
51112617341602661821357286582960362942870675334925150655303370206907853705073\
34953175471696037423362713923695437094817601109070011791684352931739160141853\
36520628456326445313395491838590145964039751378119892740835021536759911646373\
61032542953706860120028963002921225151620331310506382240303483579461359792794\
16934616082426119686734183814432494808390582061380903068447444356699628914185\
23079565129010886342335269712403040747813451493365270876460127002879622533195\
16117531058240392219893370084553939046932388000752414164725256989209297033569\
89925998009798833153734973931052568595148919134018578682045172260147708237211\
19876888984812512554992106507131788614716646495540905122287484062741252313244\
17346551201712617367805245977824135601926754403961448775213284286243961583250\
05404597258376664036335689577003291808541198177739637741319039435847783155656\
92467850900822684122577409077128318532883957210108955463764332224788381720486\
77622025060250952619629941908094685565886424732007497088256850498044607603947\
63152895500735719302735249373507526133102998959793752265726673655538477269974\
12713610652515754341408520722843165045510249526974158976196072263655423327188\
06929155861222776003378171580816982986164380606433390571949562076807860308217\
09171674657839313207620424325087342832307238053980166182877487061135368562440\
55361419656068124344228404741622137612079133540398416452663663719892790927839\
37887494532060756811254190089506477856165286482801459809216646219995679613001\
05164123434397091640924441611182337045851364182404555656118578624085584525836\
52619468461298977929562495855749254263245923051511332280686493256157771793212\
38436405591223301867488218128012783212736690393844280750249536510209664789986\
92853311787038563522404306212949482852271122541767992030644576526173954125556\
92826324136840318976317343212371166844411837111198851415507587488121240393843\
90113566937642932065527786624641658478117146690092307068481760128017524697088\
85918355601934522334806103168864729027717175207817997098573809287476830187409\
22858213687837175096930377646527309671285028206799330258446648433205048561850\
75445602404204563717698137958659565220753462973096412523937152936094285696945\
47356385315621406262800132483813473096157093564451487976418005896941498855833\
41779776809817902061101250402777953143422071251411665263225691343817555468293\
18550252434907600134465141748982784155550335030021334375125957818703375273402\
56874216219489002748705200280191174977406364708968106391960118438522449783225\
51924936216805652156533671363951409174615098037043189355942951188965895168007\
18941339357536595981138042007078439075308171617410894510681212880483986985539\
22905300251174937780120136440589224179932130157672710025835560257220049480446\
34045672213761865288164085644157867767102544456026523666719226296638591079753\
24091093105742766880534006129560230876567399401096469168447137280118596898926\
22884358212003550629373656194331090756364187715987328167519707505238832914570\
12320453043268841252054575289566752566038628908983862264334924441902388782859\
34809853810782437792483711876225096587368595212002570062450999226793750181632\
94208310834803446255831577685050513349586888415792014088341325149554982248892\
94770718575117556762087627845027543125134289769457962559257906432044363502683\
31665954145963591699275039045127854296250908579309123602023467904274062403090\
94124075630206510574357123352405925123594288318211752439917651796671843609757\
78004335296641475440190830226393129991565498543540017191177227575417809174913\
14041434110742731246459895479239315870096888039588051126800871732109994446235\
05288622480551774768632912089277792285599207785307020388337495888375878089464\
64693246979442039575673803917854531010347136088312905115015511453100222948190\
22613087087398024664011600973899452176549199886955085398538809639549431227972\
72029594557200679370284480080454886825419044037405800062913144056337482086964\
96099521172019372818809405672637879490341913424140467044524586833858827275584\
89241269790966360516548185707947677868468625377513422026907766901692611037317\
12926065605312572948200138644239112178860092909331553266733617018426307632934\
53606175430131820713273699107867777163745497697684767249572624003322105956465\
81200852352129435452082891488091703945325396839735514210727327823205362561426\
41440270286154868015028221641418659561325329831900744156284965228793829585953\
27779565536033886870173175805624482006344468546660556636793599183347842913606\
43100822667403078773123822150378612211113650146161468404318093840585676937779\
74562438806559157489084547374300662224034241936297930971155361707172616461620\
13792754029249880184522467078033389457013770679182678364410020871619705741367\
80950277211809011480952267974626989293101300761453499106777803856357815132742\
02026817242389202875892264362286517113098933213525913146114717851888887097670\
81408816603461151910024477453265905336621156313470538271159939437237630213045\
91436304475469145035752196120626685677704897485551925237544813507913259840908\
20695800266864708338945220766176522335979667740637096489607285781385468281481\
18672054036561199440491688743710243040315120138157948088455225294800700923301\
08534727063945299881105767196879771668372968058560709419449627639488709464169\
75119653027482070736840271743121368609460798337738226745610978751706395104290\
65537480513378473120556529405253131684059886500085734052123712296495470455050\
84745426828445950265794532197601105984001605876316193227558074842726314611639\
62786949169502308373030496114316129837945706590070441253181068788553629491073\
23187117232113323026636985995903375116070842743895026893224787864097205812604\
76454463367110339424240021852616178938082742070897618056318057495943991599581\
15487130111293072560020942012741156510761813417139476022613100847668981308789\
79859599210060732267952247971223597440343276378584158080434762350385177244520\
65596242975468806442851548590293414162494510218173339620744821522904163995636\
81571040869514663902613697543299504629424333754653618223259758591692107848096\
05797757775992431300424561201565417060826528731456382761618137855391462711351\
46476937501524258886999565089921038505759411482312489396193893605186051122678\
43808258137086989846779376954095734779565165717495044491273256730211511795184\
19792992375551842426947159254939329622993689422430124225306686636829801186357\
13151678139438867425562342807535079218553932599148179700564811000269360368471\
83170187902486328706226130135229583813613566967886699107194826563674904924475\
64618321702744225600285903052638593294923921454781624940510809584268068887494\
57522190645505522017896661082911899048189085743448207640940483852772355499456\
24659435303301091138565164926031815472324487928986134660291230193202178844967\
82378342794791246608872911130334738338926929484038350420336822142486797992140\
18038662182795952718710880763332426047132179767204714166599967365873928908178\
43930014882226995820077283835612325703891139387386312988201993493198212802091\
14869400318710089230805889266768390041243370483969654148616609792603757271888\
09855773441387197604606347889899878709838500537829610296172545784175134346176\
38823855172954207490036656924861697998418786954299947435725051999121815202577\
51718103272851989502897306549171923763094597831016436186751304125216894625004\
61187258592420384149861048358258244436962728398540608252907369297245697563253\
15064074622300229428355555583620649623023862259662055976123299819828838559133\
96738068232482336827941555333628947097602797140610346242089089785550414568592\
20717864161448529206937532284450268551413358010331247942441233295816801297288\
03345112370422704655234000207730071553627386282616872848154321045133436574644\
33508586437768384333131177505227373439847439462164380860220283670052810159647\
15839413356050293386829986526555403169529185864673885389980766879756054393584\
73014819301449042331834686812788056805287155036723756434468885664215507700050\
99813694454647338257732728985866102932519710119869165305858336394056973126313\
95122764348738613796579642818689312115303939245352289198636976034009739530787\
30252742353952454045139382384859731895260161423478518061810349748926675889237\
05743260030037382179554501852991695216625032242921276262803783670426610188477\
66453800586835248259941566307715677375430886841009089968352950473029814253469\
36414795736965717046290411289373888252630366738485856767259487412847655447526\
54505103610645960628956606811439577947954292867708677983160816710603015608707\
26952099741460389754709059762065093534453798791947236566202395585516508575771\
73033465105161123808342391864633822518049486127630309516792819898923567183251\
83781313004823558685577128144821894178719686207004215455661586885648613942842\
24030659110544600426447872632929080653995250026889364027607014727489032711072\
44342296576125709824915850252594639795918915048269427944248781620080713952626\
06617942539453394501291979080432940994759642318292170915138540792592150614200\
94191682890004894438691547665558235177819176116217148549945221332409781964731\
66314624124792434400011250083747027904359005461095293097662502739137890497658\
77273415902162740782592308478631215418014263712902117332232058559038784332955\
32124312660508911853309293192688330810675831204005150421942039432395110480953\
78999005330154876146442909137456910384519736667958916108866967652999511849793\
61463424205312024778309029062505311336822141946527083240935256117179151937781\
67737076597471451511571677779159065065882835271777080652267379733961725847799\
50768012593932631774711340078424477810920184439773657883376438191645365424920\
90056502908727991173088407936600883153640914541149405091405673517445330693384\
97615160440260680170187709196005381822943407087504169632481546871327626746506\
211929954588413238525390625478
0
result=O: not congruent.

code version 3.3a
start=Tue 5 Mar 2024 11:38:31
end  =Tue 5 Mar 2024 22:38:25
elapsed(sec)=39594.616440