n86-L5-f17354-r2-t17352-ver3.3a.txt
p=1448717459640075085899000767967349446389368442903540798904274180509851996288487687655831295847907429577598053425801432194477332507363948761620778313954138916522953166897464308651876885636070717711753815097791614453379052339814421273407986037972594348466428742552692286968631842658348903823353615786804499069261517365298968742878799886630501776985512054082121502605597459824575379029993311053222682378111728981211697865125184425885319496402249381533563776074303242350122460069137115140230621407261692286399546568689003923144903400841062138980045450886063645370392115326429255815889447259599166961049582208405247808527018336379389612010654995326095970548285452996587755129963495991255744468501897902527315640258980984342374104202356828314921370567494546585024064911490073917698779374749832181633556014035334481187298818326402029811321735400304608340433124668304093179572563256427781972070450774951239028049666389756261884885733090237273147656169281671987119389659773267542104055615177373754549035374882573176256311570821850272623958847470952290897914184961126703814956857103900978520787598702787160801301053715616485469655189160809777900441930525586747371382416616650458112920474114686780213871162409187472207130177453966027895573762592978623541266052924208922448747742099234210744863053106599601778866932737687596548329455106929913496920430895114593720455927029933956301377477794185018834630045284273429045499032107763373505635419244397621519643686192500118677441811855088727347422422351431690772668934628793211897710025399418135500076225970284375014566392432118021550403860635261378334624870367758572596591812904952209496680766451369344766278653894368160398494596930313911335156023886277259820008734562617643557945410332596481099385987272417777323965538544494123753881883734698197588977542746594338393697851176376647529214489103943917055340703844122254673669136274744867802499038123658527213036475596233065572370892039411071708635546672124026482359899839944169493982371955839015281509726629846578061755405757136630487430590557042817422115160373781292165400108332402936619127935091477620159089055543223008875730154540237224859024504345560826916453476893930469887219147381266052436115125469698086380437527689560939517129092185872043987356111944505540173826308503235927649461223226061472165204106428685370780138588196476143105855097150978209855958442446383872313624159767224169814099468570316105545617469315199422468471713155274089544523443558436141982900273819196338499393833335058811709416591492916877399961970286770998172967764829356301958442833747261524450113819577737361096578092394117149036491109041625786467015119668565314743880094929554278994670950881951458115819891214696840499699418430251423793659981691678963564646881787398289538564443835658184832954031925878430973344490649235224411631309141726288488030178592315683615091654343415459491299408412681226737180643650052417926174838411172876414254648514637812492025387901298793972532356725632438678972780726650952327831970328008200193754426157103566606407669326107454039001479069413021415742294051036204994242041511099231966365805116558174654440511056363659722814662337661969981430837065261129039563724983332246817660937004805288358616573736512427186952034135182494350284810913304939491053967921881769970615448271944381981675649353971195722230666805116497260804273120338607274386686253892631440346800089936628873240122885371562170517444859371843340188445660176618841945940073159674401812790849183634794922244574788516524107362320722902294623278923032299333625796858451767812522618560211781341018140167626715577517468500496516335436353631606897573364277446856839756755363047393449853679605995310874977816289813724036990783311832649196629044682684621447349997268822262324563375992537046533841127943157206087845970319065928507762382610432166599373051659222001649499223044115418032644529034702190678607705486735032289304772647008624480589219364355728751227302847220819905579953571814701587430644276677413966116708193832944146224502620616030924881828684347755978312967409358919123434222581376470888663026897160689152502716451777053569758996953583452451104531155652035226778076841723794859227484104634185270120912934333193169350844251671651280283638286673267376969751590885927029246425516386628629567583819263872827899008032664017470777109250347584983635471426855807686435534428054177609992228655301282723593446584583433547757192622281038852171407174378215536447468489901617419212750897755577724801941798762964094693835439016672569130254736987475390798520353614369537686482336128213544722053282800931520831705397672579653067270816176903897116528639332314038611376532390833904928195674600941473797524471015520851192746730490089483872285579620831668488366926408814601630661571597905694621589194054278564295662788152276726210840950501166725804696182763419784119522717801262048525457668220000257595950205658959905946707612967327891864927682244644973935608568723790039424353797037991486038112886350596015598775727374999558760319677412008774108923715887322124302786748687858606782471672030673547847007692366341238006239937512910766435561628028255969725667194463518473279503869036086158615485972044999458456780155051445327295400410368446062539197231687224269501461984761618154770758073296421996109203188450229715336054924336390119640708576357120829384216259748286571278865542866085688163590869364815999003490973566383983315471106523146080114477154167073483627644200434256421698387504802814311299792163934978324909487820139304151599615830942467664924149762477786441715614807234288646952871894483721187230066080811496030726222917193490935314238065881645504862359705990871801524865102477415805044548235239267425119756266124548770416870326403547139193849735018668659522627767271213788199687387821661880232777509188275533500790993767063967416089204642497222310644035323407476936069036864297809485842066402208657355495497088734856878549287266483176280967002861234077830378243391931794851040022406745904121884438957024718685270740638624374748630124711467445400213048652441007469496515246462531057636445182253280553110678825174387927197934394328998251885232120659574685143225022957968269890031251032023749586364709660646267771800530875797283895009241796696970628692532728654760400753681765797245531027436164447088892651462332448728483447298121933756203632434065157898210729231661336096523927138255915514922152053624005046531377591684328192438142657636494497247300086473589840003398076536267712107393612076698191013462867148519143700031782990114605819048751863836415205557724168187323531352258641705340041080208382476598585492073317614628935376637601938190017954390702822533478986995931442548123454779387485066452213136417073197958941008402940261397827455777578411688860770001700854226360646345194288417600628679009443475151794327194249651304838121468061554844892033236483183070808208096213831910755692352749114389741240464928127258565792789128235891634258452280785214870094243737596664623949086197446424155018242378653357910562169630378972947062085928340539969298788812538242597124455158929947029549005679513933301601352730671819796603053566545425929571326942636150643742191863596507506949691656523671056158383986468650047389956947265647815121207251802553699655437469284015990586420898787480502719768958350533439833734959998924628083058484870519097200813641042791182529977009679383828296731660934821838848330778502776771777309891103781786539171956729306915681033464150504772890719223880221800744616355366068338802563415215250628868257734665285857763291602828003998066377378445914278843575601600078582907431565593684394400663256210943364951361096644976865562500675213046643514546223885870943133181647052283819478789268736393965697778313648756897933569066211506662205165521809004055365814783646744470181367469362819554910694592090468108010522052327129416660378042089869816622728057113894054274031632429844308876070897823285073860478559985259410943360904216796404854955868165794705730637093681966062455182057217073499192282556780810552725276770616590156460149662210350026765736941876306223327777522910350751650955850813641573186705443091818883408956804904272621299792052422417376978913751133239150395989915140112282895575976167854297767948661292547960612447039457054190361255615418184516366559250458444708866459484466501391464151088117600473450584590263067974540540514622097020854961169626249575422936832063483161694991608962610383498607431894884317931338759478836140769974205705820113296517939754796926913006394439719018127255829558833357552868533595447080561562948560644642737701793967145277762825760147066886656515479214023305635520289675292271868065470093464035223724128382768211813097949251839752558089560336780782640449204682831971778419417382889277062099743914578553198439953070909102388302548182449011864751885985091717653827120285101767891052759581742850962899475622819591895068314493879102361877457944433724279103401986080770334601907921222830079254417320073334864519090830263131231327644580360667938445473448804061189944466484330842418939728375807903364050040394893472930538600446947676328002567708101752554893982033081628501590810094640656758052549678510915654934190983039174138523779590381438581390037433811503643476081095800687079085934387916622392270202654501408161376807290249387152377597348299496625547350130699740028110943173338397488836629867489847928840753839783669344991067001530491770348032853359643701810400127596230550913307668938073826453998893487052048287857395208582429913364881861327975515691935056212399705403647272885013770008930611369235134860163394826897692770194945317943976180567839058129753245627396356351790178413042803643538804131013289606709456321876635730919030829309222287715007307390032387270820626571341782286735416625292039380848603261713664963146908594204130794607825224974306744235386821835117445780143146921936738670073538191544537186280720001817839681530375154793935034961176675827305110044723561232362123054605605238716535917887275673541396933164355038029596267568719863083601275483345279309863696103975726451820781932898422946937187785428643343683451817044297417689107536272149254156553722304976165250597130922198558130325973816183730639639769007976574358585014304655707059620914767993485146751389407654529308978372809038929696783582048743193309155169188841215164453129290335261591601755779690989608259638426515774135349524041806199465379309171379046496032411408159412386309334062667356100070383720340343244486618892557525528569049090627435190231065652266904383375641869137479011705046898727622762981045532825461150098005138200422978872207115578119199841125616069416155930257923698699407073815419280519524492526610668878768116149784457052465255904598914778885018012352016771577994752672115370627078977575834970891832838365868473637155232250006812211290302128811608038173877284478733834703508766317520248261944647355351698642010555054065406470168626873281899813277392396634024662907792575601646681081490525612060598803815930094473527165927572489316023026064395932338530377328728420169789731154842468898583787095206697863754720122186409660938824095238389373835398901801219197678420265331940545636589906378956781578731583433009350226554528282412191732192256783269899559233687668443685550718768042900174421046558242302166147406362392803696311270862516065981918029897497812860220624710250404028750202396141734845678553113623672658560813878551775828760261189797451632747767251309836932150663015824568877954202936691549025949840966633767812286431087385956682023236980251725300740492744573108482898976644972060042759002936574031091640927623064103044499188060412453750559837491610709675309510228548678425174832425652301211386355456301075826488295592244226910476516310225965070121417947240278386599475197517420926258087008431632784560800093340942181168298256325863546804329451260767292655810636444156184799269253354157368771050343067383655102842604518394011729566475952742616887855370002080035243964667580245642326569493057907851271398475382756616451616879532323687522590877758987526504788038266261224341647900082045356075428568615383276274340067584290739711220580343133954316670933204526649960318298997312273920273675408693092592216089542489498853683471679687501
g=2
*** a(t,u0,r):
15428840945166799664824358178852271604046773916922709508330520022429923760472\
39387353460330078021412500141926898478525287118359120342605431126128904361157\
94609694512274579948871424888320241531436301781307914806939284869074190235865\
61795051304408129811167466108186172856215929124311415825718716008129467915087\
63515994043401711165921879261484392489570337597459400274961294713172778666942\
87627168215673268899136499045822635832141356786526366839559133324542151913295\
31028804199736310276243456117987337022850155170956537891781493221218957311780\
13748405193657782319467602822647157443922261331473112813517805051951588916081\
27452824404993679134757002229220863392400744136595921341112323068736785895452\
12661915911568758147483246284209755100221553912596543816921130506291307369287\
22349200034108571273439737154947631222464473241517618161749057648201324407882\
56127777174385923624477986809558780025503007532306956487289470509041890740330\
57411026959022538202849806662821499876585299323408192301639030485947226742499\
40432712971822925270540344516172556564189806278606983599939562929052815654542\
12463879261846832625338562220713155702518277645626241346397065600974988595052\
22736967327378902603049321414209277727879657846579005936389884738197087860571\
61522234071448346364282502407916345335684434443279151558528575894493283365637\
29032397086968888035787422025890329704231228556228687966346096701385080704505\
88809982277512019334564691947679927835017214952834669184205257950126263914755\
29625669494625004879804274750672892415379664770671061177050380314307581180658\
35285939051320794020569295118011157655336792637548694166287981537028074377410\
31139650162707083521760867663975020908243967457307843155719411654388852817083\
09302309187790389211862004215252370846076445124932850023298549886241797884206\
17745358043226108302512297038928821150284112961861343089570027166393784959399\
02012274576301326032842096614756016963314818838465099882148345750000219727913\
69696857205812088203713293329540540511091226132968551274807858860786605635769\
50713135051146911357894325060055455264579807707615615111537400912749937125087\
24236654694298441535325044526526145853526444748610971280222806660229528920359\
50429888391961048345844462608625228461995165966989382400585742483177953726846\
53425922089840028512501855594626294667620273575546785594237334654991988084759\
64292470924077356784657917934965957412053988240140097301520937408520159340273\
86652406082604820687384928922374510366905364917467389734491211788791617444100\
50185443250183763447052866993995647443095949835541111305421066954326446158574\
16179408335235393712178502902895678556683997347637238630311293314625873711024\
47022060202232301099975307129324562689278302893348184143652135132179880628217\
76634024788050163809619634892910357917835857113268497596684709604400106052898\
66118825414355139983873442359384972397521402008162030500726118757374643582338\
69959505506475097385487305825091376202907899113381181200668089270304007038114\
88321558074695991279854719310601147388326422914104839932873320634846385731529\
84358241678323044385515365752089248678077655431643535583188677742093206820441\
79582449134456006979144275027297604797615389609998030223841474503102427135367\
10724884286080889791011763210192665102938573495410391635396935648305332362266\
97605579724758368040850187054524096207668104845665619793234441756601474490695\
82756550873160616747221820860395652483969342095782509750000730872920713711601\
07877523101315730069462808809906667242617791505323793062225438057105659219047\
21497700981743408715698909437737920530293987903114736542511327203365887666255\
47128184319278522452090056103953028789897239716617661345915632955480902534340\
94446164547402409416878038500608185137434865161609939518422710177139440993258\
70591218414277470912957093756599954320519545585408012594624244835559583898052\
13860766937480110257428332300017071431756716672541982920204766423421957833072\
71720634337280938810958286906418507182751862303885112005707753229017319944265\
05539826571906136361546614458739142942264320855157290952909560729349991475488\
30360116903310290967248866457447049165941496426123645476133947415393021142562\
05179333175556637686042632568076941751651865183643584152507727057143540731267\
87722750648507253586491280303086135020747753070297564727854442935122861474431\
74951759490489476767516024561712443554787178606377621351620178007571777069601\
43518605384416587769915464172351789586610062702061258135672836141014272930637\
75625486407127995463165539417452225514615797061096902769140680156825567608489\
34742552756286123721294891661291200424176599303557636103687976547425128986746\
18299206968576624852129733051664341922840265042910300088891445112111600699623\
81087485283934500026695943635616315297065202752679719453003239841422961857269\
40110776625387550736654573751769564771992491667806670974880869382174713414545\
61228374256298200143464304207008729169445834408167961241665430027433968696902\
67922998332436078102042048361479815905468972414231256908363919869367938454609\
32630590223963384756612696149654374530079740456443789344426003757419998062382\
46788735256941622333233071266732845706319237015341847664553345124996625387313\
38500926077578355621036471740426716205234317589254925602279244232564708651297\
89273569601437042395056604245051746893847019057013771123334830857348060689425\
85630139569949464683289849441825547741735463382033368329419031663192519841199\
18031523812578942242758735290389387178868481989422309767284471505753219181691\
87933260063441073462483089108782692614997241534278654590751916028604528448358\
92145359085995372806314421949703884256042712976970451740900480856762516306440\
00203760642432727234274068110678461096635401639524626784130868802784686239813\
34138447832372443870529819807752540423422644440493966897619777703241449967794\
88212239159857214384268443266706803006990244790804728551344317834240836192312\
52981350029442595417608358976194289629369135242604771671024218007183522200836\
02704399502622575654990938804582739229858047214292889352829212407361516357623\
86318438788980692748923132539981333878013495910729108281771282935122689681484\
96729550137887374825955763828141190997437890628729488107231424658001299603831\
38257772208502447039677534649450236207432883282349105293309478415788588275176\
96756538272410734818484251348227371955754735601731982680267108057406649054421\
95151361496706738073840578958348713724998594503568685422793931615944266317193\
22942797982402242550023392091937109565374555917135143809524946621930382866639\
56837459209437317960361895151112511339437419686168357342933795351317288804053\
38488844720551972869207349857821939189762391194995608901554534161871437504219\
27337577493549058083259579816176119046064172369121426098505998155121150666986\
31375147934004767159577160699028418295582627217394913137838868624040312100844\
86367200518114097510740883576319171647446695431450573010366609584618758786396\
52599363485555909810015396854589970410741622467730984954812355677806825074421\
09514845553037256932042157122459048525167903625383665036958054044782450577680\
02804417250944281332658261747487106563536061886211215136826750673032100853532\
28365937544744260393586469691048682338966205440658165488083382252048370878614\
99346319390750043558543433473028049490142161419770967480867894558911230047030\
41488379149231040857231697196901330409047874770299745382572086667353965539406\
43318113422927732398854728908457286387102838518866527710572609394425515308543\
77713601921889558525837347227910545726194283503402552760266421813391671186520\
03006393202875831286159734324362177930164184648627808247300372042419197446944\
87418529438517905557011824257940691908044898706968408015704083690796414617357\
27388003670636786465468367319956792690036182406321910189467534299172843845255\
44368384541106822677449105712042595734681339040359260962992510555152545952485\
01280726589318964592744583782860743156354871402825979889740576348535031205985\
72839282874330261482571135470320538082629716780184368853778418895301550618179\
86036614096663843012726546793629908881711705279995965713616031285047712938565\
14768890936183276639780922971563238652419760706668516630059390254022778505509\
84309826612784408306189952355050826798111652827544384129689278711083053899722\
30503416842785358298745064825431449568996951717292596242195812837884146187648\
27122865324276563578052256097021762712734737230420366509930385601738243614942\
77935095682398190932090884524450422487258863016739288567564807253332721053364\
56519557978254277261476095672051660635451800584260169149680517985968757788449\
60489920022529076698420660791605838858727162351810078300754305527458480157525\
79380498827915114079806454021708654451565241057500972081740943455662623428918\
89853629348205018291085041862695394897256495391975132661967276481455809493159\
53209336474365381758671533512078402987216049944016679512777080071136227269026\
15915633855002051819404354221381430819763596075857412267930132588310363338280\
39711889545561362754879415383028653682477549359812440153994927108219163572451\
23115176020406351031936102314034405954445878101630712831734230234761363941478\
08411135444442922297632516729085680581234717617081072023541708271329302056154\
86710236094759992752893227346091283664709620908652319343541942127507922994473\
25965407614125172504913396936720457527825263756232089180389867009251380302026\
36702773173922652012313120284776776582704399969186629976411559731728214117593\
89639062079278891952231299381544796053933256110108088766880442154028393696078\
52415486356629973735420654988828020542428076135889985536722672667419048625173\
50882156371043142656812589714028785773359918231429392421191083486620568625488\
43456225396650595111011082354186260740154906460428002576167636103346323047485\
96908187206593177119514656540009890585880368826399529153431145570982798617053\
42876783321432173641648278237038449244342396729847899813537321870593602194060\
37624737250531857514576528273992962573338645976366826106869652544000797558524\
51471862626683628318173994932103388966801935999260829849539855540812233653159\
75607994219763059271246566105315496957923311075254994859232158773382003811550\
15200249606866541840353583897627224650048363507341486711891327585368204384881\
04991481505161022876185152176749838899526129838955676729714254799615991885944\
43214146440879716211423567313121635399349505169189304023445832801849627422791\
30616812902297191520737140619670416264601270745148819115008742502551861158941\
50142582694207053595055869905370903932796514924239299454147243104523602430628\
96426751868451827451814968977419141944077674073424657495866216246555537824912\
05737646879260372815182184775960849196642531682950585906314151474658749471449\
18242574813492459116124854375472183450472498900578090696947830798781113928206\
06572468873911486853361342153375329358454084036235588804369952044676087549753\
83978442395125441831548978617305644115958028697178391111182642439998019728596\
49924423570322346257255005024171767184362560655179307969851533959236836128159\
06439897104943344955905374124113257965789072958762004522330114042290241523626\
59967990930157537153517874097768445377260639655506143064317128647011215645227\
58581667940534851855095767480826063679907229376991733256395133224898776930128\
52628889984766142888468313469983041829844552751758257851668110296825029358897\
23813491363561549579912805726207689841947847534741824430305838773668925251115\
15487965688685758414584528051806946987775948335936571503468579610270742701840\
83517069613496531641668029061896555189094761064765906600921138136726678065764\
12576296781671342859888763721226449763327404561118531658550212261275764997126\
36580629464962720085049108066043866354747383968087445288624772970360534287410\
12689524394553833812745134311259758791856326974239163528433926324434622692856\
54058042046283934043425228111965333197007901264685609606457552100348057401016\
59657489870390652799679310113810896481728441085356053286464862663979688915557\
25209940810342294423764298704467734661086559271716667843832781302633681122175\
48221775977411686153667635926845273738120896224919882968896708869855659690522\
15237534822370972961609077796510106671861604039376282635796520971976701924727\
21155928481332171572759926075356820392385501358737830422033142557538318923217\
21719772696377924499180654376613472545438628208822077389884321375717250914643\
10258143610710135362751316279172897338867188565
1
*** a(t,u0+1l^(t-1),r):
15544738341938005671696278240289659559757923392354992772242861956870711920175\
47288854706980444804671936762711325884936744674177780401517021219095130872791\
05742912874808097920318346389828750388010471184359993040230847572316062087402\
63667690187445937359044780407590388239173419671724083738024584297392412275013\
17608132965793461108952278354528406705454434030116372295806074391769381699182\
82276010793819171388519684015180927932288897494781963961358638551393172772737\
90416813996541841245454674567699917958233067134682033012095344813491024596751\
25588768800746291482430739745258591490449376909549906149206201709618830898549\
49067493508505368743280998490097639831029106533866125445083119861741381470253\
64494118096819978865961993674138091288767819106306189216484857308216500288493\
13690790269106569930892805603059913898313971632064229377987548222084526844749\
28474276909029198168136037414701005603159368152267947709729203620846900248239\
16058245940874350696392340421791051049367160726776516750853220386311149572490\
01018123022315491845342525507843336331808133461920463288953193448707672485749\
95280509340809062353979603063685648890894001796954889168717419145395457992949\
33330296659415551636687250589151694837572650581576782506804081055479319506472\
62266063059778474787676173787506327272478308129238055983381372708724218827538\
79109635750532973579718219562235045795906204920970311913511137803367316052520\
95580385900253893658204614516300997715468048492386478905776752845526273408950\
64120510204443784259183086204199073766856695116366242857253575659391581790466\
11513439062973907966263712358334246163545895305248590460494839614301524701372\
07899384624023193069342169956286570361075847025062268268626224136299754997868\
69372185688731537675425286876024219641164343304275068615022858242194787915261\
24733116601297290336709572509643779431225214279884714680853182300038057522474\
31792648469832228012431520814679066855996995881383147580793591539671582880799\
43365941579189080415572172528260093867043085108615263397059936673825378260263\
55037740760451301302366770694309392956708106732649347431624066835099232427435\
31554864307025565978782885236584558216745422737332931627867672813545807071873\
94188986145140098474263951529628986046686209467210898888101879515915440703198\
43310811645444460651562902397215036787189252156395963326400619797940284708870\
51348189015525825192429996191754434087449698949925187234302315342105287297759\
49181250447544575208980308670148215609098081273654938201980347651993807997671\
20984958316851810496420400267189980945015919411770528103959441166189931200140\
91606108116157349721284069121884566282931388877009161549600016644688791072234\
04370582720183341859411741361281930296333914558274743273369709856177475975659\
77773059716035517152790486610415787836467487964823566123232575967625646755643\
43986384666293957936803947090723075476563816295547285189933451104847880341642\
65226806956288994830636506244434785601615188496392495237856206372803943241218\
09360593252721876660360670253779371969647184776370416195279880789849926657212\
69686754291869132981838485870414801719790914815167618479588217105414094758999\
10508890066921404214668363478206882580132688311293790075288171025191459451876\
90711550083535018540615607440879558361927783437159953262705081643785560210997\
62000739009075801791391784703759957963218663379717568110930099535054818900015\
60842985058123325605416914350426793535492116496502002780986651856003686208965\
21833410598790402220219336951201740799369850033063314512458117404013495156842\
87480782303671997701356741621307782844136571849804800291187468628367697151072\
41378912464399863465814676243701032762027923207446714201096219869700477389058\
99850454985317169299821723296856885119687897012589169111049359643258798296494\
45205988130065470694462874742565024399922509308115302830076821322587261523577\
41288829036540993714761127284430345207769912666326335843549027579654235450598\
14606798726668964642402105024025406767223237795369695006689595506793975868729\
01825571748033130813088748651856432278919827490688988913119210011823982021783\
05142164729814030242120219444920829816953263535427860653419460635414752756778\
48035140373119504448003516193001463379833287645116963188395109044427248079483\
97395785395162707134558820436818237443438816004158954885434570205997023814145\
79082852519526017438070135544335635619048490746143838225622958687440860841016\
28164754532844130213257552166134713827636241576818525802419674346768370755468\
83799198981078252706081336896644354908152817132917348987124835500726604736064\
85426064889666676763332787561094326812339428218513937595546665573133486763172\
44539952185241989170267796774118158575781788160603523000357296343000701925536\
47799879539588468102013847437573996538733298172418158660161949624269331523802\
88017712036658067549699866324552810328965205220240899489246171687392927224232\
33988775189678843900410514942836024787620075417806781607800006027640045457067\
20639790808172687139428279710674030485040570329079942406267123023316242217648\
64518895127054189524737486355473374526549823013863085414618875147147096639376\
89018134207228507759210408891271683983925390908414838069545295135325238535762\
68743186555156408996593553218289076514757204481944164480042844189241251063702\
00836187964640325342625104558629600391641175068709649216280069023412647060801\
82517502120709648455558693381294659837448030243119064992926404670991149098222\
27274953099433995330028284475669307458146367300140975004972993357439628339864\
21269847932462227065957140482369792653419756024676991902231742627880431009473\
35466638778660126780446361269513866485196085468816239171818043154278103283389\
78609047107352409692371901486157735921774446910056267173119645282054430361802\
54958267158812800256411733947153498473551640830657301860231006080355000765675\
03147166777959428201239473826456713264319748977026735901964744634873631205963\
70374637165813995195393210499020162227524020765553915495783085372495698893424\
46668376212501430683385236936448149477594070104165511995855159542815875165944\
04243835512278200300088752314929550470524395410528012381540456891442860120406\
92010147697608594542958248439056805577700334877583794121182458833836051150151\
24272854065467723637158680449633899953592003532357361483306169333465873445319\
14196962973048561934491644785584948458708761784655791000870053470044445479243\
90044517263818150190827174856627389508848349204064976017519144247801124655726\
13631570173819348597347511469153538557414928168155877284150486127071643958595\
54635299278616189832364613612341525509123334575829715895744565645036104119013\
41031483929720438393107498964735155634380324649981491409735225498298640790635\
94397390282232994669800496847659132146879677889265061224128578422953046634437\
85413646697828277147630322469537551954140994370201635490047986886004934163574\
21476062118250165848849735283934714720854745725771328488378753130794298758500\
91304335230048348569151662746455434977207287237441640240857894499799740192351\
01886788054844109566273459711172355931929728253555561112353044122114149736948\
98600131183345740722950530380332080133966379721976182011093993870576003958535\
34306714540385531833162706083094118450432618251480010862641755076476903242022\
43003380944858964073537186963905255495701914744989904325794601748086150084942\
38044160401056250553811841401197302844045417491578992296243989665794183120923\
10122380941597612078846125933121754266066991296473036838914938854665331385978\
84776239307218306383308425892533347947611705351315435785695653150957054632052\
57489070334916213117417272234779921989733493077913275351505445259639247756405\
49295851725380011889834448289925222927072466021199156620516884319459674069882\
02335519191167391434223059281045670006017674856322450359904849110809822953952\
19819039072871005383007408853541507251937161305451161514827196080449466485461\
42604901061351407519262852956816504607294626305382419175297313072279895290162\
14700986407658563916243031323618720528320832023603594159722294342402407336438\
48842522934948641833479422262502246225424093676465418977192489736015207495850\
14410347393919864633319183425809723074221974871601237881740587551705578719635\
73863327657763070528208280635652147562792303740802933494043752166189781065166\
22845226546768722492538454983744549659656083748971789453404795469530224281076\
61505008913566903961737155673337419146257627275343711986061318075741911172613\
71102683255599304103411755018530801247726535227193668199997218951010337737333\
50089657944288112208041174324987259964168809414940057744232108731403264889207\
91179046182322722344981567163749356897102577655861233818506450545505116628192\
65422793654791471744255704380557170165755402492674688303951204063780276938244\
11091966470069469132708215886077144342494102869097950559897547102912754540995\
47224054494830098241365779773201996624678705718244034851840194287633025220342\
78758192606964508546686264863419976778973087877366200341304255650006591419694\
70996110312100790831911373432854221034083014519322768342945123743773861514779\
50331064666569027847199472096675039989784438688309628984460872339811214562634\
72699669795199301056675765681041253768699391552232854724188030962569334372069\
64544679182795748566999467551507931804914012427214965873822069392315494247013\
90385805042212497744386924801033850636015500479283597831510166479743409449835\
01579413723585920759823453582690592744828001095715731422243759241450116195472\
53598792123066902408210501630420249921005055217038478166068276461288700878772\
07175414892642217669583439251654897692042559336910755381129979128770553215785\
14081271160684781287098505880894729704051823720491772833744631531590488389811\
35238056197752195825459991892997049553226492612243424191763261538864417492913\
09373225232558196290365470861437194928309517136832577259747999246633373630139\
27612007984879551471820284082950475154159053231104973239366710203893835825565\
05512998187625054566329215810323426141964663974311365645700598290810193220935\
96647238120592988906479527288400879212561950541978282092541093892292513342573\
16269838307798838120232455803759181442114284303989304679770991890928535295580\
57567951012364130887041685936294846994837459195659544828036990140000078220636\
02493764934307772343799688531129180412386420016149709982144033239425313890721\
47951905287383976990476514297633347214555886428676172034889557367497324154605\
70095624642408344133099485337940240987715646487835383014464207234965396266238\
71458207728529735687788683951608431849662592031651425647230039296858052026351\
99874088971689024277744095504949050991544924207309537552173192518830133414207\
17142248921545896742432379591179334448823884033620637255845149795595153223347\
39224678661856721719814055159513289053856329878235015321901429527786042483535\
31316675212870446379020394488799744978048105324770691818862871872241729521958\
56346355577436243272537139959031883696171797926828557429388709237669366355665\
76872212667564204257309502714494184214855424960570326245681404636864906258699\
22638506660661229237264287732557301218114249093663503147849964664204158830846\
33000614336205668888004393339817410225164944929913700946490402852810360927069\
67096835399243094873725594842184381529145969128180403553156786807808814691106\
01756618735825419079179812538302163270819910894494470117220546806096954462062\
66339789890236190327930930088470282817286422915284486022270577468682400745959\
21238110031887153782956993990224276167026847478366141993635479738798598046080\
01515319901673031409868352284896717106008148941308749091820076263575329168605\
54642597602566526656019383542606554550281976614159797624060448597510700321048\
44179357198032862583340556765131519810933279810101247694548714926945402150601\
94005502042588041015094393536133071533954778256674762878882256287435070562849\
82914816071044752327319502125951927249191998175594046110543618219411704780554\
74941302000872460520240281457388818708821236886936192653874927360047141977833\
73850015483096039358402903765158572104550120280330501968481290457958628961590\
88490108566913370181113026619253501146482367745858248286972928279206688120122\
31877816774088313603574216409066051135124414210564085697849452584911738183316\
71174001183539361593963756505969829371858819678803466706893485412430625544236\
68925179439637101396827081827329817879113284570954074215348241160699164536537\
13527688351447864079091232270002365112304688573
1
*** a(t,u0+2l^(t-1),r):
15646148564112810927709208294047374021005179183358240628166161149506401559915\
66702668297799515740023943805897699865546770035519107953064662550440579070470\
02984478942024926145334402703648695637512869412030561494360964937652699957497\
52806249210104018963437430419569076699261223900710168161292219050497488589948\
02438754522886242309103877560941919144353018408691222814045256610541409352392\
77593748049696836066729970863369433519917995614505611442933205624887816024750\
17381322568746680843514490711198426276693115102941841242369964956729083471100\
98449086956948737000023484552543596281160603040367100317933548785077667633209\
17980328974078097150739495218364819214828923631477554036057567055620402598204\
97347295008914796994630897640325385453745801150802128941103118259901044092798\
31114681724729818756164240495158161239682282723792514192196227474232328977007\
66777464176842063393836831694200452983608683694733815029363970093676283567659\
17374562549994686628242057460889408325551289454723800643915636549129582048731\
79030356816496487598294433875555268628474169747319758016840120153405672213056\
80245060659901013366540513801286580430722760429367456013247728496763368716109\
30099459824947619541120438617226309808554019224699837005916502833101272196636\
00416913424567337158145636244647561467172947604452097355127569921176287356702\
60427219581151548430657667406536672376121809240119232867280548767601771982034\
14004489070153033691389546763844433860862527839494312412151810879001281716371\
56803495825535216216139546226034482449399096668849526827431371586340082324047\
90712501573170382668746327443616948608228860139485999717925840431915793734838\
62564152277674788923475809462059176132303741646847390242419685057971794406056\
09433327627055042581043159204199587336866254211199509882781628053653654192434\
43347405339609574616632188546519367927048677933155164823225943041976796015165\
20350475626671767244572266989611735512093900793936439317108181605634025639574\
45326390405893948600948691827139703053500961712306136504030504760234304306695\
83821770756092642503780160624281588437320368379553863211699899517154865816989\
87958297718161799866808495857885669034562028477464646932056930697697550454449\
07478196679171767336631004335507273933290872529904725814678499419560741807506\
34460090006598338773241318349480186141812108414638993842043494298020044254967\
52521942345543235049230564666444351178420945820987140925486021033992274260559\
41393989266866860415376265949450207696016708085319043111033341532295724732045\
57934534000186351664616991881235022759195892790971267802680518601570480611511\
82604470424464061229251439563499843043397856465209594103977649558493843763292\
42050539923390502523918621314244626952507574765085482511872587739675371904671\
53769715278022701328064981863233039015270164959934251083961959035447994870545\
12120499011740423645618138730643915670725928797009383042989866908886962506033\
61085695724876155095142056611360268825484066706527395020395808837491387418933\
40269749033494526368303377329060318478302851405852795424885620925478024967185\
19349202828721960503621215973949660631290016775751191013937814048319871705236\
75069525882828626795751940872752500639835324674927579945304030482019362728822\
98199882656307381196518971142730589963543342136190819686599709389830759578636\
93346503382853556323115682646841336999325402097013022888913800091201495258170\
41668614969965695856337621154204041955574544097131559183099332716201287144158\
84044812159080740352131299074834930161527901244835395781411711832557851602414\
07715978460359513063807344781931412368748832803158606071279092375244280450287\
23848299591381036852823718865980536237642271261922135449379233419642605386937\
29579209118492584197397447493574497604159299882195995004597677926113235936825\
72993911631379970503280433105284460719400102565484181786097825748736479445912\
02788383373219266739927322895791959761781459160887644651475256091357478365932\
89632192567383487244915445876931443903635691350418705132548707499848549802634\
98575598777144250958188116070834060448493395796779224628302653133988723749790\
95576456578004802107632653308960387886588559756069048933544284702933767919217\
85533971670987012864719289364810419804492032298906169844796568283300492009173\
05859690798486228989117918053833827063293496071287671273317181568011915861395\
57697558919932990524804982654130928675277138868439277990375391782326309141004\
27230135037718229851181879160694772538534148092231135010823157776803206352196\
03451197483284727793632659690937468127497709695760239427860971426640012222693\
42274138006374660675115946473422062401981903519100701400923018470628299817545\
42500604249824182948638602531265248147105620888585093047889916170028665498210\
06173224513285690167917013264286967625192881664689292966425820684259904982019\
67436280521519769761114497325738150191316329578620849439315811204458864307708\
22654126006386907187738449336684908453522536301240749428167760027820362622211\
16766984224442220047141232141218968242165718504572542216932425783021008010308\
04921161917258643696846677785564999523461145251604969476037637613158307894247\
00968858288729532506940579312743167476830775564853704673913251394362775040655\
82705164473037205700205999511418641785589730513047248498085994151333225674555\
60953479032443197921747542333010222202211061578943542547607152418719160135755\
79793944352624809256293931828330132921196526246569049573495356052814949698117\
47862953725432166781389140012789237702514516947019807087950449977665236353265\
00439362317855736468996935434258505187039456203775537049776590902246845750448\
48372758509741786507811808174347600935705286399181303173870910164604241888220\
84713672764157131843207505689702101393771111521771452513484824701415456468543\
10675609069448112094058408819129336767414512672050219952515830910329357713820\
16215228443798865291089125566237884739483065139970992333757618085427326842908\
48093763410138970000954955581492800750909545598134416342447094317143853499439\
35136855833645428833230247801830383444363090132804056808502863286338439123224\
19928557645163519407358669618009239988971432472852053468838484103223009254463\
62880670562364661795335422473607968335429973595331311883389613737691458753181\
12036050690312340659954683024794605731481233751114585649553273886433497969193\
54457334586106660660998114043272827898793534694714123281397630706102517350963\
10576028560040635793190446267621230819716884566999230287903705300675875701942\
42984245841309316388756115924217913925450253887799019074447833194070247414057\
02708409339147702720366992265916912907598510104283404629453989652040067519603\
43256293237742845726520129433284220023421016423094138604393330417672443666250\
53074726472331439183023799250206768610093245219390741959048336157305955605957\
95197333116173848387176839018733043905379565628907517548230965365223978468462\
39696316018369225644694980528098314910086789733301989531639378733697896234092\
25171185506479232483395895401837716472864743910938463616147740969043540920539\
70212237743925105621225849476296499912846324803205970178323660439779386501309\
32421380874197017689456265434071432008092907828270528026077831668426919175413\
02004894411571644342791912926133875047965729460949125565380331297851869060003\
93703309804704269524156721268422810750566698904556474065105470538614205118115\
35030468996403309038319467579956278724668267372698333345706904789429373504750\
18576115020433756798838598329703163660160624976878732326214477132375170453734\
53456047019380960758595619724078299891351949468239208432946230571326765146893\
55161412825451547219767617906395448041856637953538059067684884324706791777183\
53438508726384354931054244317911687568721587421151061649728084869540026090841\
17914595271631670781883414746998437657501480750072923009037499570992179674061\
85838361788164665250370924102353054829536005787406574497682545915084271951815\
78763553724379795079966338484027795876866911845119303550159457705556651363816\
51329976999320828545705940195254630168300557861595416302423185358615656964914\
78797693168447840801638188297765541401172433523376190582821890880611765233474\
51596621794439379127665161323275396943298912265917368976961635187178028906995\
89722641072119399972474317881178303231887873289904164187853916439408167334929\
66144310037754166162107671372268512238982824276691083513212655272220542612826\
41589384554195951797461442802613618525590156064651639277675883990495120285575\
77624322382150278128317516700851132663135748411341250378375579186478252335806\
31963495414567717786285618146305909376796192141784960264464750633658458602371\
43032031572142162285722360239374935180681066046905994896539577436295923540026\
15709801628308284700648798444549621415671793748451689998385182095883223758903\
67175511451700863619128493156536175107077009411580416220586533896687581457851\
91986932762736725163723245251685141057458529520692970773520419227067723427744\
83745431514931658183057936675203704493281393203686389905506613328990790990932\
23369803482822790399314336726451592466737796533894305508276545799884222214316\
74144967231961370060554920656485594770705679201653680618096684181729833856146\
78952137352111132470838608514002380307730981245490664587253563317404362648495\
07649816884827034904342427731247498927592855005957281587817180749022119092986\
96753652791788907328926261682308069605681957611953667901240428516423934954167\
58346474204541280913894995218365181886686152081428695187346933812456780513616\
34563555911381411557192303598186272054692879435602568890357631480141469663628\
92590352361652931111975875481628415197955232137803928994986372282453119732570\
31880496601621215088598682526902430643407241023421355694728986070939168183593\
90547158148716096450602787739456489764664130495081918105409433794942750132661\
82780133505277588064859933392686086227935021908461494352775246212827626766589\
39255329565396007073220789198123497825248627669704912486967424995531540253131\
64915226507581601986612817404612581764512429722512837742177675819268414425545\
98675691677763679421246868100161183177601963266856052805167177449837758070809\
89348951884830144613095109289897405365781385879131825772742470868781750344107\
19639689742174521302893775220129016546527917922937845679664444875302967826921\
62808262934811178127962407841211104236139173921194489078020089374258470644901\
39597444278075205172147842909081095052861470030727181544902816362439058794943\
29639584915005602668916536966426337620440725262686126426487738875827239485123\
77609379633562082518929896242066268776920409500637036066177485965150695422609\
65390508937021571500432081216537721408078768074458807601441796757070404554840\
39621275708545730178776300054495509044482567340456932186684773326414506506258\
32584019529175451498042105845549256456817181983684824368735828415665354969448\
40467855759459535963972065282296108645192873952238906956544176721361666247637\
69668279611958194533401781133042343328858846002772452957819017685631794654351\
37951528127650830007357188193526299116536681227787467237032541479789467622921\
86812290021914377983453337139945839063898778211702314445179833958378836474663\
59404159816497784155680097676610254467081212045020314093392017782884613048681\
49547606925612807515026693783372909647229866410470490062823233692855097731961\
32243381393002285746052374223081394531673349269388655849578928751709888927332\
41050301101076500982446788905450051670707676373259314915239723826819191803947\
76269486332188374730282901686339439198871384227992016172531517351260471472289\
29763788903827468707043635105021858783307363333283736271356647124567898883591\
78950610820849812477633675886314146238867227160570905343881905391716268729480\
25828243964469237269345574376833216585095938671863324799732164138957161530894\
77656982484617972317149995357897220183290923128805912310524545005060462449093\
95664493342710468325726991888190197044853082972638928051618926073592396237650\
63314637615044042275731131383019500657527433213318814600358733969106163407325\
66410080821755566176211683193263054867580736162867606827548735968867958321079\
36224899582727343705127743475110700128798655326679317940289620262388837996022\
46438063481840986665293712695052502540479373110353413377145767746229894909582\
52439814797970652862517108132756212228897973208860898456146285410461393837628\
72729910339988881182267705846706620046078608887819571437629170972558338955694\
41388539999593376705888658761978149414062501080
0
result=O: not congruent.

code version 3.3a
start=Wed 10 Apr 2024 16:54:23
end  =Thu 11 Apr 2024 05:25:30
elapsed(sec)=45067.801764