n48-L5-f15259-r2-t15257-ver3.3a.txt
p=367762460473507874545779513585114277173971107416990187934683837548095959684119919041986317498150095272328957008086382573378095203200904021147169119454458128447982043029901135620829742424713280433595207698727547450721496642761347298998408911115672733270328782869893395839204195603956041107988564035196908115152299696024168104156651812061654527010930699571332451651573021046466909118173527233909872167601672936297372788336681753246048197447145564914890502877082170910729047980822372225834469772050977201771790453668308947973052786579815051709889446253163352207390612301543206166258083519349647329320646799162669607877646898481881931270136666738908502660853186684282362803141098800262397823787507500884331169405432454035393011288339981812125565978529058333278584199102206872256648012206710534095630688147840013108174013458228068193718038843109712957068518330068523075446179483925310673952334777074494088820768324356981872783421824314688132700961387701871205261800965678664550870513791959160009005754511613303147603751672674325140912624052701057864877039448447089856964868384819661963073346544005130132127877991674972876520674525323150119159167142697115270289593413166952918683490636429673985523445678207611963983729028338770710195045958148710189987109695218838196762944523785056684805519769665709674261217817151821151828633673657886628597244828970488580109269200562156802093137068416238195138161239887466154866216152685094482015266299253436737212701680191485865637231612889362107034597843531340459595158406239157597478444765745364014197619548566207019235349882483354758014078101006288413498273605434521745879465601191096044961401135241928668118220964791519747141675217952555774820695815131704091513171703774738643715185148999266181273959368026988851982003161115513978786151460425796631383028435400495747574404868780226245322319859761320132515332525645934857925092712336221566438295117317422950189830031496606590640561593386478466608036230116803515769461585615887329146877892322724863484738608984250792753797480971490016350677062246319755874243414058322994901693428623971758515382703910363473706636657284059046625859697605773708787765667238873830314348138316515437816460396295080169887997550040366731333432872685155795371633247367073763691544857136901710128172113867863747485065875362125403007476075353973611301237511606369972445159648584566995574842655930566138829321262501281399542608052340505968251487705735222649530598050694176846889266874280981572537327408355353808890725688068306974413812829950509878668678466682346535730080711453919621030136698699962610617296996559979332252101740253776808435570540422605866172950376210000592860723095334338112465713259981117060209051182257310743414751213707465032577240441776770252220842385366278604961022542363500604453273228327313920157276322495634087481543345261658348233021982834911529363047157257534838080011530001772317831898986269623035276131007792296415431102686179243211254018145873379354980888873980619084407992366294076171084564181287230926071115298164124336775146895760436359315609329415462840652999862115201983087069560496113159257894393520733781023903736503528438841576706462866012401807856245831811874655555058696167293534164797500798841862423382805164869610183568118025715657249678321218629914189944856860189672207807433310711561712585589698008562974355205589440669889792846764471585410705770283745095109389820711622912740631904907880555586144799439465033173234455861990136136522424993442893215256777175095850909378870198730360318094197984233390780211757255728242551867323990680964103387209981262073865623824433456277477655822431944286480049920627103371089934003001737390276589185204767885202295503306683717302530424590446195415925361310340250262833894776784305586244982909210211591399687643234887711887848034105873499707243628217935917138036903475947057529062666054185927715906279656339106672569454819981674029543753018059438102073362451760570267079497243425351284282879577585540781694222014530773815550478304511181884843716747392022180221102006168552330043703761420770729151987159516307925231582838418498115159505381294488642330280924893960465861552897350241279170608296886792254207830885522424540452792786952966169575479451292931412375356285198060123996108400752523507919914206678795369225241018408260048529376384509563940623066563166788793097986755462769088561952024545638142701932769326202916437088282503904506434891952390615180290071106105270423768386239299127324205501575539095365132291924116345894358911435219239034478333703273122357597168594713744095494040474085161434173458375154581789550372962977514715224768497209427782053175565780120862049389864178214469302321903242915642300096926998375237868643123908217989873436898065023176305092568474422799545784500887827620436431657254549916139219900253501273971615473723829720667869670920613969226841834611106903419973637969329882058666695017782087289026048450043181761194273420795921757719428241961698302422934481649782365905697843832002016965845080747165778951772215443861922093448197148330147762059984796764644844815078423815538886291929708742446961965176138205781575888161680647355322750965274609381554092704229585925480471856989777887105956787428126050456622623545374762084450981443898492084212830195921669626235641947065069512612802057276143983494076225026727292292836372681178878768176858335686278609456820294655192764472547101301986170623744402862751069521879379156375455291179603627351614199413833148689190192092466819490611904279453328730892605240335868528549948315697142260090442824292847515409404736476243023433484844742758566960247479526759411671628322172808872775452982299211595747128267299611171716620932684372104920132404453721431583339684117518451589817685458856892741242289365437265537364053136824217522376249113091518477794059243691451902222330104512633868759805745734979102949691967794697573258222608255483211553082030411979777655939637632331461780404763879364746443231111982690718804235628839465291245916433916902529320999678010160511366910893137818121646450583211368350740805740361167204129568176455018302644850365759471412596086041604723924974847400010754523515398663718252305977396552546314138419272589741557197023770606545983083152402684616531656656069633102152259449403185590330531846936186873317950181170812923972763897992021978780876224024685069593987871741567690639176156656421578949442449728548419492853969923888557690098531900946188452097813169362963712840959524162032180778080291458818284892795265359536878716599555273694557186247447789510398581700326694390135256596473093580729375645041220453867033282262621876707552164990138239365813935334610040403796888617719685140111234800353703824421981173380432938454237867447881085755862128856053051577457204948300954396954274412951586961741829626977949396578205997789757430949960759896514120758372214405066743736608596101328989537829790916689652514684305436352502359323725777396891555636260439129153748158679378332420989714052878172680768222798861032182180787814118713604191884537866909858910359422143109303321912580058708794162684217353272503322077263192597966618523200893638931242480728668367971576290796221148640454833538540605385943708331494865471244507929212939741034651852473737273450929487898185767115629303966997281785428309843204368177576626241002412579911557750955340436227828026320922308048909005657381595637371580436354897199614714280867039761549713329202625372820324510965983156321352361983615224650262691551936822894742287751608159633066303021797658770779166153105703407407906738780037213806308510806607034209820108634085382894596148414248282789276991250062974303046330625336464355229516888229594963836843461932495574765021454949864685532334956297508369333632323486080473261651225836490635963129203083291986982342270750023780225231567578444140869225610911242862819715797592470141910860030704285974727661376912781258876564983508143790234200697900555631077970525454989469291198305516499243487949203372095282192730648611637730717788641973457216346969063460148386199825799573740285835270044235606213308430418547952951837205022135127932263976614063662515338546048343569769566657060050592519851989875375527947910291401118307989346167355538146853491057024203187595333181186794033799403346350308812969032245699256231387273433419334363675037880804138056208252374811032324605962395917223434293285943526138075317596656138600674644924237640322425791826197194492187477373894988884394898266415317706049846810518997476244035476134118096003991545201509319099001683671886006632676915007741725054318474787542637465618427071007174493686849524225035245814319005682029542412820310945266311398164017924104649597204429302760550213831753612463827313783194143206648859565170969294304501668327768281228591445697083241953315391403290623621686861014105772479896652600588786772138956070754663527651474530205908680681230931810180194838699556276727054528717534782414269194128437605626031783419269761832625321974412186736930640832922218157950463822629254624987863352442507958346957038019119810159115057352777696155214053218095171715336467543489974807139728230242184027602189577666125378350807338259239046326541209584724592312953993538865022106977298874934247208227615511247813723368449656747073480938293062905708643474016946685719612534005563248417405597932236882572812556856883567152488461969229794132566843154239720718070839031130704426938318013069347930497632207891945804186227191472361747675848694796031973866724252250031079531268939211843635641900679081964223591006140921011608593075633384487278153646506345118685314741206406770181199113425861967026061375347009522920248165147723705532029457247340231442465726678838776071693907192169394783468641220096499703999489072609502460481106621011163350385760877275793917086211054983179789839631752854306707455477066164399419572495093216821498908721127661928322612489071401247349270132504613665665942696996746498267830956608519870369363696897518922008535085838759200069799138123078015549886371865672298297919712687909796338933870692222447879706122312236182715047170800632257232871753479922228778357313426761484857057816775961738901555910633249915462641816346335501378056310487500143607066981383954961346880140770952645694335933383524627516336662800931464766538567224941640602302589519957702872032743887822594328239930123820445099272317068651665129063676936412285230331927059858607410121584560477012080294372802676759070897447755986887965622225161251065965595116680730113220055482540355559235172952864204794915016596016828222773391784397229795132770641048719965818307454103492443678278443861219619289266467294530661661282807255660779645944230450867270601354438206734416350869647983115050362236482752723751703102176690424185423466951760929077863693237304687500001
g=7
*** a(t,u0,r):
22470286334931331134747128280050482335329634663178100482809182474188663136699\
72705346536399913697082113929927319407797523340161691557523569209203319866739\
16481717028291269593864326972621499814344926671903922531492390834448727183199\
68802784469167604002817088633350486485775376351401714111698101262550531085835\
80551142707667116397142571696709160036786574380841279591111158593912814712040\
25139918931894404622164077694773673712551233335448640205940162998097257897206\
42645544831628246942998486103072314707028256396719133676721153525260026699659\
47424516606828081987156641162428989675836890303226345182149151942883911304132\
42254972429860006053503377473095125781297064096523672719211366960325070334167\
08304032634450671922941562512989717572888720872081288125464163321494565144839\
89488119354583001363324303504583302480090943222229773496663617217331400346167\
68864699671867599097615664678364821784876548792515888269489446182115924270670\
73465627444908028740788584330641496039002966404058188392688704676550251600659\
57282231858922720040126610976132962003463554398711030011719026055345831248134\
59437814738387134510730133452913408427554132134972444722806251124187937430146\
94157544500823331561277885853080515482530938485090999405843631498890392917308\
04288619260821240237787101382221591040326696344161725792657486109736040862797\
62723767295174604968730072916590500968522446763481543477806078906748802321537\
22941651757124182062325806929059272851132770884384984643696072659699786390434\
85154754002473981392823976490208126417862121252920593297518704174126747455441\
73952488752798778197329757146601719714842220647445172920492786732353482327759\
68347141609363281841622023300948761856550356355816901157841544514304547119991\
45479110063653113099781260385516367583891738644901885610039314415790410383385\
42320161741775030374029702901767961374824718235891937434314166600966868173169\
66619819223164723743137709379831668094542256598614924442662688138313355913834\
30975101366013669481351410288113071581087423922091848915891752900893772343725\
70260873580399990263685032501370839162725989635349884934684889246744452898832\
08923208243475499760056007748840027523712773606932482268295191032206671251139\
09325058573021362939838015665030746640728447274852106301909720679141412820696\
15533907710646944888313161573264749713375249846258621237567882041277876505056\
11959149205316399254528517043429622886277357591082471529138828293512053351998\
00491466016589882042210388631954089741420534493420601856797408203070465051211\
77232233395409735561366839639099761535866562543142913733331079314698344888449\
41352290567715508716846489814737200603416329505762995413360019821218423167267\
98643103622379018112492805867165508018484625237877302723592168642264129915752\
61134904693909925606624106934697458796227631184773384098869320949942507988805\
21609583304483242745122298395487325077037643151213094444082181308435378606688\
70448310828861952902806107396745537160457610931098284037412555176020762050871\
28634785893323102002158260573283335805680540532668714766498095829451447178279\
96976961475330962661554183730027284779563898291575238841166619950146312514030\
65734744411683402056051830036558761322033676488111335775046001662032370554145\
44140863358216349374691272988092377940686893955735331822160120113712266579553\
45426458287757005630754157588971897034175284476420638979530548323197733103061\
51482493026634293730921386859412256433682531118371804548015996845260938987150\
19463134472457513135268846252531675973179415201670993607754521890853983564905\
63048969142425015435555496836660176670938368324995619919093495830606906716958\
52985511271318961567288417855388477075059179590393105015031601597359496758340\
61545458995992160113177858602552520383751271846089424762625399130395760617892\
91059150970861521071319568455752743928234520915001651639196347514883868870832\
11258568411588453713405480238036521502572889591076018344187368700231941769399\
36895008802832051233094034316680366824458025708433185572815732889634696839421\
90476541761516965087830280130134224405633213163951093265652555211509332576898\
54736567029982280909155118641544644641423164971142737023483624577879709325604\
63801645110209844641408820280997421573241669397830067320984671054201394216656\
39282826232961061794473998109296134269025601473576162223285979186333906758028\
07439705966222622474468896514489709353435677206936700949079525828699075877519\
13111352686997384905190880922058309981943060940609885653431718982910665875157\
23344583032022892248399221176679508956146265438726809583036563508734145329488\
69189550500662618926998777604918700113700976423468587296660336362799830672194\
49473415277880379261491002333551794960374834490270691653846712177207012889040\
74371868288142145744535922239600727033774094870792119181266994471772916072241\
15593378723305224743300424626760866597425825299987610633590548892783966570544\
45259959328068368932495135197600360947386317989603892799260557937845350655864\
85533359491560297638405608970106010630819396657065583859766278041296828801702\
55683813825813532323661313443365182909395328236361996343990968484576297202826\
18650710823198000182012916951294259524369052041635093760722620443732542867666\
78687553410220083978278633212955064228427700046856830462075428902173959711858\
50168289964229862239796335995496622219786634540392497081401416299772296567574\
72206422056995723973914880573491330375590923023708200294927356060443104316230\
37811720003432277909272627889551355025110783014914090347786830066454540318291\
07378163118362758418520538490952073684972267087638735147459838545753818018452\
15670944018420890953920915260565642929831915146293986984487317859240137825484\
41271120999085000053136490484758622126580177218481828500149537132006242591885\
53898701513561062008991212237946974205469958037739213786058153615614648990388\
02282169243329436466599596906171888208098917789932170197895477112257843693857\
21929381224131064407223190226179232256021726077401364410024225893312058171964\
41477791185933545231478273107302918600768142094214240291893879692209132929512\
54941123227445415130803264208072445182555707206872325981306342146062302632307\
36067316172316615581401618291600357347903703309620857142048631815963176140657\
10138679085835318521589521892936057979385741755523320914473815238405995956638\
06118040300700842216858545825415030523585346395691954958478010179597267560695\
36669654735874167312542903511537287908257752192658963409785898053663171707358\
47381093367841430843101337756234959087486502029914781211442317638464807708285\
45826269263001662455407058081337972069497907134677032895842328272227374440797\
19059939085353341889961027237264178044506017782564851912018569731275733546246\
19666683143728089744642525123144894467346867198989454267276206079644630161130\
36721830496935444525395539337010655343396831760731048414513826352223411883136\
53906166631341963362425790208352708130928386464954179031042602429677012778336\
54230014957804230678522179120126076140022500973776864721106216113789415467964\
49989500740493755128307912940124953100161109224715286308563507949384130104090\
66331246135442653401216124145263668192379422960692943978432968858641587107323\
34000568028494995297892078106773576039176757460133869891557252163728306331136\
76491121819317903292048309890811605790543362802930394344749106181772172281861\
45347407851791710579150370764950472383533917089669731419786895649931863325247\
40863259617858337130065352029240820835302178834024566601549344340356466128421\
88964590425609761294306874844142804102793218276200215708512346293171988902261\
31050453823339878868753781623258553580351114631836950894607051954758478192623\
10173946027376356545001028368979022000863754261689485982466811057007842482416\
53788477299161308012080579721045234818708282522904311355240754796181428108974\
36732286025665829777761366284934964999516916286889898609577857347194308389140\
40462111274282645297176164877904293700710968482667693891828463523289992567075\
35478760318730558601101293709349173581204923475855833096626417239490588639991\
05299856573692216467058103777113696326035021741975842630171065346856886024578\
23591879980977741506639680935635395553146453499970279553963314509857327992535\
72532268524563166613289711192897796871851635537921129205227463690912029629565\
81385444757617318804608328618149050825423380772748303584178814762074857370513\
11546514354446200386847240787021222455573776240678192132962054481451713283523\
43242201009540750334243023905423518353197711494470364019051556900685012208048\
70919823700215880580648583472654867544983820836528284077975911839645640122710\
74579851056759179461566584388341181221939694900287235223500525655950697301940\
08188588095188551491492858940385383615642665059301496535192548912471720050414\
23320998755771626427821495162794090389190630398669618065120145721539848872153\
16214992624531943194622388200505193482664198306693733209178608334757041474105\
71032850672079618626985216854738959748717776902159231099415395050937955810203\
89623209933602009904644542888508023031704641375205511847761247537703750541966\
91738244797340717263658460962646215489154752945077333956264745758675845083423\
72362549990750229682204007219300042547172350835786516256149918070581669072374\
60716237394867797444086493783195400260617234328367639505730551667905626672590\
32148900522465285073631296125848250442270730773724141849781227402724618968532\
97061435387981162624354424974683258277399144783034820336596735251988472239555\
85953017045026319940421499834116724046935874128264802086040485931230598537158\
55340532790219788863577848139896130278299435525203755360325685181247689895936\
05321858436461377201314919080140614104752102738092850369211997921726951878015\
37686751672730687711453658071265830320166185292350033702281850427162890525918\
40800699983781248814113465590007704921798049772944155002126993397854789613191\
43687823364406003353956145437820807085699896015510083339674954594722851592015\
00099398139825529648742644804535879450195547793583322860900143820511623082262\
61621304040509603189497218909878650121104416447144878056407956812188043840613\
47214937447481871242647273393200667500980573209925774260028944452312885563088\
59499294791565450044073277630763889382135918630916928464137623248178357631850\
37512672476623260501126224688506613969156983476741497876109913419924057078625\
87743917925625596481382943766011052066519239255297333547412481700971369124972\
35506457443934240800688219669415645481200651545960513455459730565429195565538\
57289461673938579066081479062757328074335736091275842881664514543810598617824\
35499792318340578907988546995179573524401304978616291926099177453899832157246\
69269067420002912969307514016628204411454238026670740482612286168076789911498\
58544572338830874281291992051873857418115169582342750437952332087363636719248\
05479902337427561744314728390381354917683295771326490961914212290595429957849\
177293738307525927666574716567993164062500611
1
*** a(t,u0+1l^(t-1),r):
22249628858647226410019660571899413769025251998727906370048372171659805560889\
25510204017220863808076397590189898922614568937475979365469327940373172699471\
67711029136033090187050601994166951534662325100657730166207686505468870615115\
89403739122498200362854891363628550448271853834039340487033308124129412940966\
71413160946217030147743462973009888416130732406561332492016777331124800164949\
83976515472661399012126459910536943692460713859159455523066773508754240634713\
40099107402839753519662985421209084120707193322446932691352369693588078810628\
44831149831638280854713204424336397305861405292065366342389913134934151127659\
76373581538568418432683377039644109816177943990829495900364774158750683391442\
03803502035749028663469141277182944568899633596741701008029163354344045683515\
77152720473850598731278565663294432079304452781422279812571994135000813763390\
26453589691456460644938587774812957741162540130068923736564836235974033033970\
20371038632028408163955963207918338958423559205327666084413529180544848147952\
60484043002697619679667102521375518841400082506088663104893634637453728158954\
87659374659123103729937366184963358590295008087820505822091296121331754738525\
20401496600651580351183503995276124168463531560523821015606214495627966800280\
46799696649422013656073971090415814368899592943073394606477543529280367793768\
51796856323372563021410301333121527145590966107866340104865266347926391824108\
05858755013191702369406077237448216161923611104832922601368451651584894871052\
51257980640747559316953364609780550708357746903464744590832759452285895598268\
82555246637386678902429628598517251108804490166455531287885656257076688720613\
10720164768682136684421152368369886944702071350686129624376652096815468097536\
54688807837168794476870151445560396707454176563282554491119124748859571656216\
33557606961986732203417299927282514945612036878420003515155598680171776178015\
79058904468109096341404769516854597704088486484716905544698733753976399881947\
22978619192206661270405242592976118341338611248552485424082668584354717296160\
47475987751459892159622659023452303917265505285411915524524317502913901806535\
86576990159251517765685572320864511705149309381659822867951866734018062368149\
18398789585397585235027822385177744218724567268879745192561998381146570796270\
33384638567825534627544128890057567228464854594085868819523025589154034837248\
69452185383332932158739366303232277980683799251399173936381327524672327787166\
60061107921500619698097029660118206699769923680064589399938513850830820549890\
54378889041281325719520356762120058476594550472342819654116698830429621370723\
23270271347737942346468291878749601252155285353496910352017695567654903463497\
76070503586807374726772745580417565222885758214264759652656729997659244842930\
16344709230467274946002593609643146598556001418638129917865694230303138024921\
69515217510985862292633372388330330068097829961512147526464353014080857703840\
69756510722522882988866931219363420592597143393313358171251384421428086809782\
53394509763437768758274546066835381607916083506161329678774710273024755389295\
22374896387193506399738594364429635501859506491657969719976767708410014846135\
10261080800439375194617605846347054991539074100339375030937530287282461841666\
10810511181212588169702487983299326766146597124746114161058711405557972636055\
38433727109808491663840041475168572349715298049483611428176729518059948489938\
16116052833246722925053091734769910216657825411808415305318622080823024692677\
36129617603660876345069806845796504032362596067121032950395230350190932989800\
17421647023186799244698978046120142202811313971558674387973101436198328254926\
20386635546887024137822410478739817725713262933204302019793975395094100718160\
51121117336457048884570547388779500543648968030906877219948226634843592755851\
40901450633995450487967821466007217801279681102415710706569214806063405346732\
28823950718512298685123266029479698050829129627824862681232991920851595369045\
20166088912787873970575925960051754384283315145011583095832272337526991142144\
43925217292500431879111815840803937422926504033044863217217341903376671373197\
41596764407756595662911369522315073662947651076172431913596715007556831656286\
09819959560846081846239502896895973898218019616509313795737685741066846973939\
63610654453259316506803222350448709055254482637501764558245527672229154809504\
06711983812708161369973293602727126282861840769552707159072198242819870549752\
98579980974850111076334669325442352764444438410914862226393109631196322184075\
49301919368860637987367477597203114432845320115269590503661409038926608714141\
83076396158593918904802390263462869998018151777738944868215226676749423169685\
21982677975642601396402710984940811703808142171217296973121539880867827819753\
92790475146196396359155864083401701891052908996447188387342932332933902166458\
10039270257937251996230371357103640411526390026992642280396533682707528273616\
02916981004061150906971451382239309939719676569084050971444578645493350485758\
16280986075931227612496552253541958153266342025408638682747296587536139811833\
13729471955183612202643362738520352962658221903435364628665361592747397393960\
46290802042610131113122446408401026206617473789180411988931563614497853412337\
81679164997026433399113867584022608605889948491568547347881562169910385639401\
62605262566872449517310610928437735585877109487622685326101238725633779743670\
55130745244652067110013916116141170011837166005472113221654746999293090198558\
72137627826639162250589099628770163322736536373196439706073702438960715045116\
36601945477265906453690549569600662159424257918202020890692638821900261704032\
00459772718730996771067354717908697172746822689865568127029177258331069368933\
01094972511368944406133513491454936802914905429102301542701260171626475888855\
56642740451234766801046945014661079205088910986632118396997026084201084515850\
66089545650105252147778651601037630713420368679065405842433328400844509713230\
14349059968247616966235728456364051579203182122467799456734298961462839924776\
54818434807675605343771448821470156715981548227495278848765625554478765012037\
79442519726030239204805196147109376981090348379963596102602842877852198187472\
91850615849838874675528607310013447128448020462063205517085797460978267700650\
64867268161915495426451163249142905200537436599167936421041993812169603197653\
07203624193001652276922128026802116966888927282149971767396393058357359859608\
34181900352215828517329716243011553493446710436266240364845283670157477713505\
52644126820857717937931766518039525774025096118000724440135191769674645930462\
68780512118029469370738576332585062360141135542519811623542730940585207097679\
70591265379114192869765010603183024086622161634127226524993837458955513576888\
62354080690598190336348163174308774390744442971176137204095097672970542139908\
13775298609895161927764813909805968056882296587957912096204361608993722077410\
15733601983571011185380692432165938492981462866280324572472625973739104305881\
51897150653799606482006413040386703870235045972397713840047889932639273908540\
95325119391159937565673138017636001023891114698777001991294471864774793310924\
47021937662754182173053609014540948046464076745039658112850975711093551882046\
84239514987298645098567442315217698042065365406515534017008408443626228036559\
31713794927475174290817066258495943540554393610102927297173828543325964370746\
61105043781234017840238910495572890003335548018412745513864274743385887580645\
96108464924393279809639178359559241579963695899484227158653606098061639947128\
05766902139924559055737576564167588350556296329134419809574418179000087210913\
40892838892177785131908408972293657800511332818758355632139552262895056148178\
35769619225143528166490379972556969411657236216566512306697906202110875125797\
06288099453343030028328560934913857717378904953121290294469159822732837980244\
66813474706264855999256344684755570907868632329899163107683475769316786539165\
21243170738037643870362650983849587052258814946013019320059280575434444358560\
70318576093014710235133032232661620321815022426993091691422229836156802172167\
90026862892117497483748204231020926804011764572660204241004082708426212839394\
16158899162833933897736508946087421128729303383767625417590516004032215115358\
61509038391752399019705851508515821779820359247859710587827521330608474510453\
87460219440848572629767657633355443125010057884636208949964292849517657461801\
03904486390245419368318462645086480500199893004272186972900233979178865035240\
05992686760674556386607249529920177747437995833313535567145976963853408160179\
16377239506760405484930266777342381120646827505891345118126721216015732036399\
34731276414630611414480824148848469131380548960186214910340127695335796837436\
57862677246463295666699148377959340568680543962156146323717662998437627873159\
75628812188611839588923084408331300630867972817013287936821093554061552483883\
24566400225600369284364230542235093382998101432978246467353613817558117989908\
27291120550913533992350337474823356215997144068422806571434229142090774574751\
81214471374515901787741323154741986798987410854336063286244770475140374922896\
86582059087383197945193729758430377039179419855600306126906990481176573282277\
17314799909008001567485146264609698430506173904502196947578887778562863811434\
75831953557929652133669932469448800585390223843964683962302755743179875837834\
93371660910133383747212658193352195609777073843049273026379120423319794559676\
67303057953729301780252744860365583073365765292530386749003313956551596898414\
55812725551949138402545020294010831503103443285761383407617829768239790695549\
79510674857746272115326674508407788573438884603515993441893681726112688031164\
17708223165399563349910844588355272558715257212023198810758197614803282956136\
33879680461541842987609595962546362264649005076713208494076136675013991437284\
18468778216346408400226917646406974595233748138512624838439985279381583823209\
19690888928748988591069505711753826983385330751855319837157688264823772852977\
21047685555801056362502946164884135953139617700683977628223546663518055588819\
77546463084301652912677278953316830316314520377287481545215734650366229989478\
15163726932449316042228478564462199407681254978731740470241426176185426785054\
99176879458096722220399890289054260353833438251562588741085535294841090617462\
31906983385199791494568520354413259331161988548982988895329783337240678449375\
86882275523737292751614862485166426350645073239697032399647383680994563536183\
75583317108969256439306665957441023757981005213266956858515772491136928505975\
18265342574030835245465294325643508158712144574831235586590885923085780955456\
19439237892955892372067219201446222556894909185045591841718498133566936915113\
33727963648284390092358504059018107477790202956032402605532623783447557932007\
60097326129284253584585360378696700062127131910503050760983896747716857962594\
22774698713819435115074321892276137029784605469153072065397869780376816897706\
632181197505815362092107534408569335937500605
1
*** a(t,u0+2l^(t-1),r):
21845090152126367748019303106955788064133883780569217163320219950356900005236\
72319109398725939011565917634004628033112485865885507013369885614184569559481\
28298101333559761274558772867000279688577555553373044163185728569005800240295\
60505489320270960356257529702471667712848729218874988841814520703690696342040\
04660194383558538690511763646227890444928355453714762810343745016013440161950\
75176942464067555393724160639436271988961428152629283604465559444958708986809\
52097305450060848910214567504459828045785244352947897551509599335522841014071\
56743310743790312111900237071166644627573016104936905136164641987026257470793\
22257698237867174461180042911650580546792890463723505065812687355864307329779\
45552529271462682687769702344870527394919640258619124626064996747901426671088\
21204489192507860572528046287598169677862553639941874725070685150728071694964\
98699888060702706815030613451634540327686857582249488759536384668047232433352\
56364292475082437106429491149592550977361312674321708519242374104534941817989\
83020696766284935685491337020986873044283717369614323775713750371318205828792\
06065567847139047298483959527054933888653280668041951170780545282762086470552\
01848742117003369799343803922634740092673285532150660633504283322980185585729\
91403338528523431589599898888771890471283236707744787431814315465111633833881\
81764186208402152784657386763428408470216584905905133921140443323418639245487\
91206777649315489599053239469494612231706818175654142190434479803374260418851\
55780562810915785511190576162329995240933060596129021961908527462244333860118\
48326969425797830195112726260362391997735317617974521628105917052402567107511\
05070707227433370562886222325308616272980215507946381813024349331418823223035\
88239920421947543668199785055641116767318646080313780773098777026153033989739\
67492923199041518890627894474059196492055454389721457996698224158714107520233\
68530560750507112771561046434729968654923241275903870898431484049358647156820\
91651735206893812883670601818558370735132454680396985689099347337366449708957\
55703697065069712302174974313934989300587950643858971605896602639224558137326\
12275590338174217442673107369576066037782958301993280633989105520672279416001\
01700629774753992776209134705447239778384120591263749825424507501489360418156\
32777645139319615816134235637511066006129129965102489386440788760260325112935\
08189418376363242483125923279537145653762275628646461682992576115132830918309\
02605451413836972067222538211752421123410470522245233229030540871724805630801\
62481091058712574342801804820990602867929195009209313842223667942603628254891\
90119902777779070667441595662772335774843371074342421072890101102788450673252\
34687403521592695186285968388046336764287835337641764022608425815883622209422\
34229350880822415401529819180376907569491346847390163919359045244297626424468\
57342213556240664796403674708542505885041505780393744844165001141097569381952\
68488210527567921479978441560829540218186286240707660749955904704674848867786\
48787336858647991144487736138347465578681245624231123684615170086242487109489\
85604443725608169919743347194167278492734788191809642997795371931893469121659\
91892697513158659281988194830958926718965636389424113666738666100240962535453\
99704865523372359293889715474512066279489386267932548449039462107275100406308\
92280386616902882724497495266529143761538656266765727584028061708640676699212\
01277579145369509780961217339592275485445864949775535027040101679353515152810\
50018170010867042229704901266782022140865094320446105078569862525642006935440\
17104889804583402894795360263463412344578380990257607580919045046449267741200\
27288696718761805517134730288217275585245749061691496528524994024274207977830\
32009824293976011632123810163528964170128077703072206725040077059664618342108\
65612333349740987751822951984807086568529141446008152330086138173225888885882\
61027151614539347799939206647125521722632236361864410632483301158654293635062\
56163069114373548989292727306232631577296345778738645221362594658662864030469\
08581122432636787663127964643698411287964203959716774795086117505133459166412\
00840459600342839378131162803727526869075875602060205878804047461964889262535\
44186869387012516721762421026043319827341328350754598999451546000320177028958\
91545006190472783479406800125895096163340764771365368839004699896370442903876\
72044493197931649345064688264495723986809807301015385210725431002041327448848\
38605799502580109056764948064979764532363630439807319276822325819720025417092\
30223702653063171842142614368163057806793587022264688858140292510946124919339\
25202279864801302197442346804127181452599639927234600416065858918990342748418\
21582992921540008643740843512487342400102539586286073391792057337579321859394\
76557921052629189152625757463703489129397401560148148598482151745062376672522\
49856738071429301959935273696065392404044092026501866966207505797567391395913\
91954854076714584526844697720744049758997500631464340953781949942848016840562\
55984968147277932564996614939841195277752408534037572524879163922308209997072\
53479845192362091980777119779638164726973526959736539817235082291061081077706\
63630969278199037820156583746430098457406246993013495407314626094234256077568\
03830452906171407337311797264313106631237403973540028305192806494093833173230\
68739712338383859526086781638829776757042980224211363774717579839713165566512\
90492004422022029526195481277665876011621944805372620253988297053851397649494\
01735125502518450209669297817337978535050417530047413529599635121888702044296\
06845546468588344518168903213789741029252907774234711419952772661502075127595\
05905958669299524102502493723037629951424153186413466888355919489997777198588\
77438700283889509053294722337064847042861907148573168787379419077596903599967\
28340145170303225586482455105303605037723658059602443517051625609942882979198\
83069735729194247563273585208291491973176361975809671190752722429920064082080\
50451804332461296657758715211702887005035851538422930375702766253072606471598\
79276281447536048882975604297443426593872792805177182869697159635306423830000\
74361746640102416673808738035343751945070523863964257991646427552800340038609\
77453331925296349681428087177104111726112601908207510871320601143505935560638\
81869681468062486418697505735522125105982210479183064849750321197402883139513\
92527194662219804053705362062678442112945492240656335917080095002750862407615\
46287683982175540726105539584047707066293133882879581449120823967063705391441\
78959688151387577611787552581347898032679185279491620359405461010226016004454\
27529957352247115382179693126538061226320387623564905957660135832574566968630\
98398696917675752999405646774034241830501758695324913315448494959701776966399\
73947642859860041421141832934775887583639998553518389254929732260734714101000\
71706656816987977165441817293264041364938982104540495512637009579739290766911\
79083900129324265527464679842490194156745436268711591398427669137852938773047\
30953566096457795455060841894197854708958045136535937224774291933864014382931\
11773753584047938700842717326406255550729458067890147409634572376324342523453\
11621538796158651588088997941549294445619275349675300692617321607255487302373\
26344251078438669733138943364031921714027813308215251580335528290105751163167\
32955362292430171121893119599250562748907950089919237709952486206174583200369\
39994042985211581152234566668380655639638538054441604686339469748051598715543\
30724674653040674722191193298476346278509810519493604846678085987187791948089\
36571140282835021618360529717546359471455272759513793994854883303018267443442\
25603878185047279947691892445524682204138399494780930984282469494478782400029\
66028353421050009472554191245783206331445286467174393901121580634799768305328\
02537406736009520391449859827006333031608379408519085016387902371410422744240\
21962320620696404071997138417760015073180111742082814687543776209874663147544\
02675113088255141254537875511415958196763200128812782605149111837699272642950\
50858238345868988230857886192067772679600203837411399115214552930044860314492\
12026374475897179347680055063184182680302459762248200527531281204636645333223\
35865100996236953281414026965249468017297861504062759500907052076686174840533\
91299783148265991764802108753815534111096352716080443122594293670051956792081\
98597306360105871309226427494567162340918965923097368787237669343162790962495\
56560768455877320834349036051539453582014440404194510846120229725011976580053\
87701910637753200815941663174830719970211850454526016738652413746328800739084\
99715835152092034476113352835936156009362339733056957025069871739360900544828\
45008889570728236661490263709778496965355448070001011002879398100875145985846\
82265174023800326654577345680178261649249988617389670936013705489375125548193\
21526470148818897050942664691816186073943100583976682701606164580351342438721\
73210647494225817115557608168739909866943590497833187440674457202693424935546\
30431281995442378828853058611644749739342650539906028270135424975870942309756\
32465117349524703573418753642837587039005821566075407590131229193774186287935\
10462385285794412528008389217368006547557975858225755106417772472427908313508\
49727258092480583357167234514344067549951516197147611548531998909861720833045\
03544099856876385731239570060913367847474037955892598799351796547849332640783\
38946721620858231315445155317109428416872036136812013516808590961077616476773\
46079365990934223566066331317449845199304569559938925171748708248250658772988\
83888857814640972249771474470483361839410653407838449163842960136089976319267\
07155935314878158076866189517345828781194541247088429924768342058365184612415\
73749891835119571289003374686748813057647707080895504286926230385443223266024\
76900049907695627660562148763227337496200841348045695612365661462741009774788\
10860254976049200974768246416472302329865861808721486205013803728847373208241\
75696509130044461525777332880631030129141961101821586749209366660008795164741\
26119545818422855337730165325522606208537079197035178034983118542363181850841\
23409254664587077405174055699620160674199710915882254608029994020359571262396\
73069840988222964841460688045108341236632504888209345188964309336618419025326\
71919118013404054543665346829253273801945557556079632582156707380389434424417\
54963220050923431649212729075242109161504497848092389097232878185654484295750\
85302597786942069247040046803617945871542435544429813628744703977703753290071\
32390893161533451776773817485487550598744986936662103097451849354934438896775\
63387790890866638241002288974268171646735560128016122212289233451756948574447\
89994888113083967056211451579601745783133183563499308353687252712956628971202\
18569273400133764817951985803399596432739471993195449830886576078293965969607\
46277374745115448973956535644538578242815729512130268019875098625031096908728\
87815158737204536294800243312416570901970339915168470755117908511642692954111\
966141539369345991872251033782958984375000594
0
result=O: not congruent.

code version 3.3a
start=Fri 29 Mar 2024 19:45:45
end  =Sat 30 Mar 2024 02:34:19
elapsed(sec)=24514.380770