n73-L5-f13719-r2-t13717-ver3.3a.txt
p=2156961243010254306295686486375490054945322568757484837699709056867448609723738618531147900273135759388167960064796571056222596594621145403736250860380632296610939947612565834813706189203817788990956947379352578720302396103066907822126658233542596973544900826243065165870309344247994187650666262438602619245404701878035655452449392586043673833273882161279814947786579789578660167600209402178413973289569979473874716649153937684767273580690651227775930747927285351302677346126422727721413211996105478602659471475410686847833465714543250401646053549842061588337494656758546397682862249340872959483993342096542131475411899363877042042288997823133486505070680821592640214074323170597842699627063598534227605767686685259576887431057008565608487590383936558321258348033692675224985105736660995042775785556617318235180004085839023896053148847316962751389015308405252032243371434364110300579898269361991357745215382037753889111529473947563415531514978343202460383358667070150487602167480199457499807759591431806615760418350350854152413646627797708185667882388647905877486719860100025284892344742251774144204962595528746713756016484647096940184127219617550362422072970935235516454984260078528183049026104703261826182971154567266581004804700054318787657705996243221768339680311490019072100917535511847521849572147901539056201778028070794532577073047623711719102100127722601395366317311174225085687066118422673430534843807827722550136444075131992274254639865721747615121986973677288287443963812461201065806384623579257815609434989279732332314152558207242409857361611246098546322825862692115988111783095412975851817599000118924134285271783278946783322304315459205729028236102954011816287541566471147359436566373498956759132926623995035740969600162891927444682518910111776643481647890895801326931562244933663270509966111721926286386862277054821183591689684316916421705546591667541171304622539659776250591037411532743976744357566539093221390651415809341177606139177193745971690541570368224911921295609593440618650258631714285640134781893843547827152891073713392332794829265878721994689380973912414675014279051613902574426710855476076697149478351472798995110478424916487481022616655133170079074558912250283684710572413098389692430457316996692645330996819756122467214766055659832532679476344872507860235452212733892173304713268345507117707331613162112649343806045542644048824291630967351440912774697174534751941384412728680229793687564586020884624985473020985437747905415444745623650147769634377498630019668883237784162065466604862871529792767639811859828095947539443526875989349037429483003207089128586546741629061786560841898351273449417510627559120823854603537426674181193896351901641156232672299768085343800552851694223851155608680393390604534199467841375542359708467847221764726582508517413655668814307231884440083253326409233734159578636005737703066762066919543074454280936802199780711024569511683468786323298770125747579601585595998264676727066134192643351349076337336787059802361985098506332578569173865173647873840265729004151706600349005137182186443677193830653081518325801235349468740427526420616725327921341448672686882666750288331943847125266076757181997216884822150515043753882073448067396322901825833638299314695369067479331075599067662624258080572585943266672715621359299020537136020431905480326405228626130529450244493445646719362003327436250817210168530328850068587051777498929600530381122317766446593001822125757939495213060111062604654688410229884779656471137549690645761599758466210270079486493409045080595813200307258651641542953548239263527069312274172468054904784839517426610792636419080725139829230029322660966993430182602116975091480276700246467157131692924518636907634000365940897974013761872397401425612203493927903515028007002893286081380362865789608896523707874610850156209088888898880434409130909666570205696153862505787359863419381690932982315557976293123256328912216559760371350539355057672096676735823285326555069535293421019731875203792463875572327326778938051342525113851549764711820896493669668034940549320169508620399347839887998625213445301527902778350738323073311269379479335702091359446700226473114302792761547645684230471664835091667812263582521362771371488147926251314528239645294038675744935174885198051678045221128737453600925258902427083927511620976566647929112598406732417542988009118938275938727590892012558932471603305055297145955854786817465678715433683322562043697807237501325579195718428320057068911910771868109008805904150858808384811068026976110205575281443883719811095447816480624123690449207872917782342167886212909672891217379651699043203924786354913078733827501919436755669381515847478278140545960185623848317323602126566873989165689376969542643948959384529815842364961793157788242469490653560943605593077578321296903873061417612978616006759513760156749736590421189119389388188730167185159538473264690905805214743409309288322722994138949077750670926104540054442752763968769139424803248137518926186854107499293610544592197641358849738386165830134240207004595182941679662147175343097358367650319615211768419671347165562978348168618601691114605651570848169697259319577637792685955999960339487452976594992050811605361083200078242458114258395690267691613580883919710321473333348048035355390400941640742847614175236717693991092413210831543400671742220249378863590602628219193608238842354896777909464274739212008159424863129973779301352831027618692983115771225493896197987440725943989926688591055644096332641392216819150943133517994734041969267242764654984769942430013072760118277745881421260236579578590756909342327610738698776522108054493985805571018725047162373356607157765276072499375629981162309670736739406974916016639921402676653604571502114418369149577146497665340065514994781443053295162959862278666719810818559148344403449161801433792314471532985670939858755626039577289066926577038481651713198212598244530464166971418401099744072650367609446296826963423650599495080269280761242529438999453267735408602118791951125948078557335769616023269349837300553675922301439565531563775783327346269327446970948020089469877551731607149865738071922097445406310307858636200487656378871096047632085161436241282664636196491502647664027910940982656494656562826472905249416539995988702639635168000459067697105479467303744359372280308807005268362453838173260191780061141142958453086900328979309351817600628928729277908805210373463767542933888197677292137425097452434470437018067231427521167064269402496227549031753619671235012803756481252524485690824860752670747025465850335999316732203930215258579712527784399176310236026904125584879119929601988003094450799391558300449724181161913994638363877896634301595906062116554409075862668115256456134581625847985050045252806054687398176724365370831985813119025143435022117192228139449890134921876075690264159472375866612314554898968843521669297149956833022303268427391722608017095147659287886887127219868727562288824220858980866553454302982239146333394181062812791496261784397715446940174968519351759983822986790129618509377883621243543053694133418860177363925836797260219387731468279888642166547879256666599106552857963290925069219953214254425873548257411480525497063716828977805224106871814248332575401782928544100706543313710369960585821431614898112536628791392250737254061384283850086454159372660605807105547634459421230494025313251638703081817966567180347171189526992681503896085313530872236406499110986363455010372102470163614125104177426762065238533958540187223988271940179964369151911856478407071873032402915252105461753963377124884462295401824046380004139725167822109510185374435406135833841234153081574013098631447588190133530809954234745236389971234965102076495602300181331430735815093358559384450045259972080432759671600065368521412189865960675929577273752536198240928411522756546613005501639163573485652342088114145223078794496000126780252511158056718156887047647631531295926350740849860324075719827562733098984210653286357732286868547468055136144211228444276280133235295022665467285070420656698799858547764034444627129026739478560478054093118743910152613111600910055816154838233277641240869018770724089322860556054319936072363334537180845823943713496125411156430382199907107282274695660297063139639771438466878609424751648987928962921337898376763800143848843912165417826218853461235218512644879910387504029751931677091349706564035629242731834496391226995917996955818954648643702303199812962578551421791723656401145110967926523542323827608508972093474058990460480354179361444905405325522964667646669977720492482657505412888989821545780365996885203748501001508961557838382807263447570556231359512331950809177017004162382176182138456174506404128791184347364145469294584578538087922070581336309785309913910298479989990537207674441730864325987601210256150266798501600650624786201714713225300446812524361094069396587296045823718493171667217792225822882566501635955845796017056995644933198870877265873274429255749499065084500823265551085506045801940412833469197798563984847275591063138109262700638354266104784693155173685333991097596569949139723192785309545233932218238852171716283375869222771521288621963871926896529424018702562853568410851953125944002474456566611808436656261360519914418524343809437586613587717550560665000315673736701886100889632745180906060191819607388920341554786766695798370324739325175524783491207134466200830417135270059097483471804719119751307007265051671880222856364297922946113383062649011263079731801925602230558211978707125485983283954764011694621612952818231820502867234039993210543828680626086140911591789131805639343879170323363458927865438661056196600895873416448011994361877441406251
g=2
*** a(t,u0,r):
19455790411952493842787092107106920295606809570192513236051375692944386459708\
12233915095406046368454968127499978446507092712782128348273154170098276063330\
33154306783274653438300196298266184364566984316653617602600571276128496635085\
55582457266554224701375005452712447796150190285116907572609009687196195625593\
55041093988161218109352112611393797613041709474393082903494970199951471175388\
88076492940390719212148543499441753685179166008076978296740745388953463041138\
68750149662060333004047147172204871416995988432708204395367457860745180118622\
84740301957539552680420180396208850709941748905467409454561994571081002590821\
53322621709192214467603646640482757375410107656147309503949987925411506361136\
58778733004024533901041383524628134217261788558065263107756057750299263907930\
52936565374468217528583758572068821048132363685426799554239940260279900401752\
89180818153733308352103379642749112306823896451620468618427459805400797859958\
55007022008094265104655686192657895176972757398171550671399106648265991514714\
89567415897352016470445477109258273532783472429914560411101493021313810222806\
97289495751110027807287626116692953580792686915168144004608275209503042690470\
98197835824358423958025908324211102215464423421672170399814196744560663338394\
48995546467250808611386035042391640963997203035027617031686464708314077407188\
22869400378131985666838451988895658797063009431520578645862041821467915102728\
97336388172514343424291146606057402230725557690570313776851588810163488400322\
50256914035274455358840003361357358930468490549679710360330318563747365607502\
93265369134017334398088878318892814828862127682835206250421833947429810726956\
91253151485176099985567184925442035675834689648645186582913624929569749182117\
82868896058996737899814843522238354579346928518555103632056920822532420446397\
58801279689226914493016426999998943277317751032094977390344870759970409525385\
86123784030256841221365167695307731181780331157452025350670234105250182620856\
94367577060025742200737537828758866464868496472138870553008639853283438022533\
28580628564740157326824688014009190774848947988418093599782260723920982163846\
89980368628797045557401221328931916394211808288294730284646935896515392746717\
07882400222930119411325252138849755883608936316614747502572272499931016766088\
55913142002246542771898220516894447688766307500208993237789588597074032085136\
80476474201720131150722256097081130530794649320395110511325509997033227768514\
30346251128740281269567273906183256590837931736896664928864848610684731160552\
53243328821020850376427774133268048131418305087758631011987307641111029756494\
25446805780612421423928317613936688927943939850651609494137314778793923128486\
51374594586058326983116852390758860111436894509415280322921870414390812980108\
09867222818991374235902971483832528984791999292073920845703799819403178337742\
26827071174132705051231597649550945004211288282119399296771754081662193843614\
27853157761404995584202201344161699538488845263615490653424316800630207590434\
73840781365304176430291686685627778192794173051055885271198586939482638663038\
22039196875617448393535148026337383321721968288352490795295298727142852208038\
65628831396286245785049986702763568165408760075413350106990001234978161489630\
10957976456946600163025015679148325744690194174598185522289886635663019035903\
16870807886764725208265387894904660877165244966904295787432544175162207697375\
64120533087973340864527001347498237123572014356622761865520703304034499678403\
77233062533482688764355743366142468218022017846939852894602735607125013696606\
98209624769629821365216636116968170549586626974235066771473037806717441005118\
15701416519671303566185524115925244718802934958050010814076125965486449040192\
22807402470710951153251520958362231337573278701791581049068586833007868997256\
04132089024560859022075515229689705552623166097440454050873049422272246643845\
02898986840900598177786790151837036080519246325537930783980220198596804282285\
22155004863329461639717720867881933690385495818649826202023120241571260336455\
26727208346657597981514338208024157662392487546021223109576526940978877700624\
48637290040567516375486792896775600211751578974759942527661978168306072365967\
41212676498029036080328640622092360427874910111907091597640717588544168125268\
43666617514342692197770823094294786857044721600552228855219315277464486426135\
96789458121183148034583529989229702615482120863116432059563762872640623775184\
22528232489673228698459532815708938618115987802565218101770935404220132118235\
69509634154221282261956724345380223446914761585435162250343259429255440746451\
63099583360332451405428903862383115269608093930465522959568785185501371839672\
63543336404452494787807644583253696994015729213159701791240673133195361378212\
72944254068827724560874327111822258891181633203382274518180265274648419613648\
45893889813195537428324994707480569511971132244955975645809807293501398686906\
71163809708141166138826240455991258568922814623461080101390370288475119703630\
36985551969780670961407133320681311051753462951291073629930998297637611725298\
20042071420542404964362836711222162272505682464024321578781084666718144855013\
39505525675215947381724762058829292101511454355514333780647004809397872538537\
42977169050490669279062590292890027323119642262176825848886828298320680356970\
46470574697219061072912621457835449957295578709968946679939327890562141649359\
95004854798606351935997996535671617005214740591148266493973495872357065371263\
46314358041168936743367758147692313598012265432363489298202535869120610707704\
25645395494370584671534801478913873109132190974892042535779570874150706433231\
25010585627905297371879626248807187179162962668652678504197673339477988886273\
22267795048863062964229414651535751966250588899925404607676596563042790173944\
36818243008403323004538945091374247009209105214341551323494907205368972918586\
14089413673909452529286163407223698979577535738126935834035180665191114394489\
32806676533227530751877525975746876987147383677724887104498453047877636165664\
78678608219397791969153530631583720559737921008132840744562402891246640761553\
97750684749733855911115033991560516685871686419365298895355324509941568191589\
84881094705257565612663349333571677951141207018295516619096491788957408737318\
95756491897688489852839866053741728634964140815615489636963501849235335388192\
95317566876635615818021966947856053497371907638180978095092153641407906278914\
24795079774121537968385439187520629333620322806929856151493109485246843840967\
39337035339475767293713808673742299756864318323726367154304917507957437902095\
89233419029664274762409269197100105159724922664176494345398154898834608977708\
60931240243989090138169701970030713836924479450541632389007000615280570318328\
96267521277560966176500993178791194621051185587005651211408046423163804217862\
76414003950726802913207698642812663996132343339262651488251514081803106132803\
31554053775644904512034333606793783899497073897817838009016995322202726182718\
44083031684307728518869896856545706029261063386117548121507333792431419823188\
67767397218875232159226118451944721480074163121578128997970999272155131865713\
79296281295267393331400378216044552875054083340846969158954588510263616758344\
32108343811879982261104791128717887733784388459555234226187089513272394110677\
88288841441243639779925749213794052818515543399835147257973798031214439837645\
19959830124082015467788373020689667537044484109313166380975080391698358101650\
03163368624032777981651754139866438009203966282397949905610832552978110179799\
80584359667314841295334739871651426895280484675723866219810969983641935563642\
80875799408439680389393828451576306032488760374212900423278609750244945435231\
78829475227429557399126502074966166645784990452445289834763734032101375542778\
18720774073633452212479320607957975981496556572454750044479057871974020322375\
40539385220729990332747635609505237052142094205647739408244948165503492237832\
58962406313795259096529688478700924787650813317427193526405044930962478525543\
28405841256347895899121707263539211435578776506456715977751211697816364122892\
55683682465740123162992844615852552837580092642946745227554298161857328020785\
28056737204680178236110444251491133519432342317472410083159069053670382119009\
66155120479199310700695765702666402087034617166408641643239926385493119312856\
92202215609965823372717277525371229331972295735051208631002047443162107686117\
75485587950951955073837497124505701125987387111924555046784335840947729751657\
20877320687924940582203416709840568167916952863483624237273639743532076013757\
69441147157448867503180332541486970930766194774862312922458533824561347380738\
32890093069724235176092502875092828313601209395353279469784023304675603621714\
13021729631990388421935706988242586881903429389012919045378114790336108332517\
02212921516297086417206862801234196298776693377544687229162888874694047765241\
69648281322459213303715289841355305707664365351426349542347089228950971464561\
32234644123962204081629165104754065224844378686355715394667132922100302489697\
37068505957217410333329940808408438304485876922400749844756321729080073854100\
71729745381531293817693535188686048156706219742585527079126453313350252375789\
21641430471433224258313895057455495597579554802651579322596666417125997003210\
60941240303198923492098010068608514446588880876050340389399122023370114124780\
60669540464869711693918706588461719601490231959823083851209863947747188962805\
50895811611270312545612123060571983028473771050510126300244873615317726629302\
12858648061480824176635596101300329148713083233547090688352885131490362560135\
93305930091567856646015678920553076608035961016440596726497394271522509408159\
29791808533689321196350720479382718835692212719713854854869488344204510209358\
62451040738759105334699247296991022557937968886866881790116316738399529346256\
72272689334008077821636106818914413452148438402
0
*** a(t,u0+1l^(t-1),r):
19800904210834134531794401944926998704398061181193710810083329142043178237263\
92051811593772450738627118338187339483252229612343673862211480629878289829420\
44828884287190833543635898228168910473029369847769424566726523759962261542138\
07122722583921040217142189584911338222689439780196586642633116289186372044672\
81516324036731705348542393988092578945423824054870122068080246833210033856992\
23119978402747982524115701698988392331479461635714707401782709830442659724795\
24958578037440560640482573286124248293572413948144270105263111215259507038687\
11077158755012538093820094904345593072867544894921376806305888044625676694428\
12361603912459482130000163654061165488499422204371652022867060881959825764438\
34544209420947363770682915826617103338632285916079724537605389151634949298758\
56536327066254793449268171140974698139895243750800223936576790641836971805775\
11605311602136559941497674625325593234661127430806641010772071065807020438405\
70838632154579307501190598586319232563703981476187897468231019848235233049343\
98473268064045622084111915727604318296114443116032778777595532808831571823211\
53117247338712866438015566269538948322802313290603499108902878760891123270346\
29873185462041056755507520888720390059641175943564359675198927507213624107146\
49864647069774104551277583335826525947837508188642297599876025057907231773612\
85359323222976898938090575305771856735813572791724934808094627929165793862866\
07266967120142092309866155858493010252556609711689077657593967325643106819840\
41835750647873558779839382578410261084445758674729461320158794281064392048434\
24853224905795912391846552435414195136247708661688158911183196855588210917235\
52738794970500731470898753615915508592479207425117828473519631580205132759627\
67930872042304884026640827442810210092949534789394218552359482610958716152763\
84234561812317414084910288232814889056072833090313957033632584653717113020292\
92751256917711508027952576434914076745980425723437870589706513202460828875772\
36617999712975201042435764663858802011917161598030469143749369606778487920937\
42391371421764372977854837690532635400566889416150565326607666679112485173405\
15966716631081693815625633237205653270384079832211266520294775114191940733355\
07578762089412250132590445081445760422564305475224321737651159817002963848413\
85508053612042490315523909572626499975928459296221569614513128971301509372678\
03411755340553304208828194120976139498081472368206997172280286227579271720062\
22902282190890884928450950605184289967172085736664233264631852577171378276482\
51083565252435854374235805603481228586077609834326411606434976069334728732219\
20798412091576721582224163602653969441078200424499088154787200628528626864690\
26565274756099272916298526047357686898335996851045706581421593171187102345608\
90751785529749536084876860113257496239511147838274788621237348374958001900274\
28189857359039715340388699159964265536436765679584931878532672114152875774321\
40542349029899984419398692720554811725424345844788270975436278074255577126406\
97323544671118884659653845207767517052089856830232042881330712650160822940874\
81853639392258112666591203867159332471552956639365395288338230855340508123037\
12469254126153851031791449881526558288076764688724451660994258463093073445100\
26673417281016606374342532586982442387611527995877089034880394602592739994411\
42890689179656338959188055529404078365008530908667564892309396399998787878260\
35324444983103688374319054586478250198934710841884362962913531744017373286889\
87028770959797237567271144578845660558918195547107300396059103422772464050427\
06160128091485782719810279329686009495033839869565178820634422069364313572836\
43917849628667690325674402592482676997628707640232716105678363233166918202767\
69996890762874338313397889401082625685024689410470810868120801233593374434014\
46333988608145087120028074258154267957104286560366227071731107948609670087638\
28892760443399943600009172238787582175073911448829069245780312796354618992392\
27647776568222223708714930994141480186002089979512794294298474924348577592977\
75538333993604961138614370814818377753964859830651311324380545157226840054515\
82981188755256075424275915608913526601317017182737945942786802614750525977780\
58129974529036203017451986797207080790231892996375510073873812357298831861415\
10516579687546110241190261197962987067369239943799275043338504905446118114404\
45512996180982405649387672428063045455668056488182798925365337380359304462992\
37118533731175192843886752910000893183404076277998747469429843349306076812129\
01119561145870440262168817016695171978123892611340885749240700838200104883860\
97256560448764069168718108365485254786585621095529212945547832372827338524190\
11011954345107971413755452025972166120295387381020627765364676204294170449223\
15479850593330211914504026927553030667521883903220541028480580401471451447149\
98370943291034926118849606586992419968946229934445216898950557755470381368714\
36949420523363182389625819000665161159945835725429347597645631845698625152918\
71344497459266802597086195552533751159101639677699784470373233300699919693817\
90242374239532070684351534479935637434767424059838500232063232510030218377940\
46192985110696496337498150299340676440340925829669798681412361879187635244320\
79881420386197820840553722714936857076079635916494818325142027026450537214743\
77671826576548889207243665740901267251438294075112520013508096456248388064426\
20193410981286730684308382283532754335684181665935818892979677617321270521973\
23632572817952421208882042105966234903520243533159293986418988833539601585002\
77985003396709752470586416582752700126589081280433364798055039980565796569519\
16585052778732885795327601880715075200079378857897071914471689718005314631484\
27762567466581254768472951940254789695141951895932950587413653708285234345544\
26828322707000277736326775602972903275447847657168008996638941036062879311820\
48485678218014276520936472292495959715357181604878633143729818016236633053371\
62213446848672808459227903376647043319513634385977213261562727159591651884789\
66105279762092209565058693037465471700487152422911250336483687199738820642025\
00149809978110509674505101113362033611563423650750936126315064190827449667272\
15211579755461690945038752425963193302824421333475924896153635767475500244854\
54882992862614228032047668555803666171726254178198469497486136028379199430555\
57762224382207866209472467470212701896438371631762902318508422442142414594283\
01509848373219037533234848308363567326234430528560540961275692358599337745020\
03005984968557377356573477120283183122839738604413309365467754182156239461334\
84386118258571845046443136499931149153689001114982285819374175384844978981747\
78641772221709517457693776506084473727601632079376073761761005060784438527966\
72697987286919032095374624986840705833841450519812846798306637047078018039909\
11028886504176502299694753164192932980542673154593252845027594154207595820303\
15262329674104237629764432650816733503035824654320149991438582822374836624983\
95641045550104761397253398352892414783660372714474400416345601354159693345551\
22628016238278783949190218114063474854443549607105013769553633405585821566214\
25935683180771027802910806211007649156651495018733389897916088971643015725232\
91214478513642820083918179884881397937487880937773508890953157619937979815523\
61030106921354391705068556295191730030373912240630449204900162519573010832547\
99693042188367284034844486067619861196238177840742224764673086252304980861767\
99228350772574379364918304102436130922892728433748689593515237565004329429108\
89330867155870315198577928162057660631782134071302116618388548165169952159006\
76101977668456348777675758889741739398918716212336410852072908814550842471776\
91979443745876201432813890138380200643936387178874474576843800267704060696530\
35017373170283269546625295252888494402454366888595854258128353798749612700599\
35936979637062229629115664622534154782557031575149251415486543698372733785288\
60008302656390296951900503351937304828229985172281777890509790739050504752160\
45982885003688878531478633334732811638427180524309606726802230974052574572966\
03899801001717775015108017025889848675053797168763982393453265756746149803859\
07711845625162310000830806898967694646162849498270146847383620167704446546841\
31851885365748300690952009883644963543123923014149814887465911775923152471399\
83859904578657013144295411051320164663803289894431274416030908595147244851281\
70616152703962189310180512594563451922013770918787961788190709869168532053238\
71136785356446890747741393059460799975773572869931227327956985903062578470764\
48278240676871463822527212054418003674549187143374282996471102052048023165762\
51211868556548611853273744611236381809186153242720965136653806423162088830081\
56489964303954741209907958996903209265617902637598514061704112391938522671009\
56354170678448697706203880323207308428245016098210668377352031027681968789902\
30307230880285540812428643097964712460793666732382914500969654004630811313156\
64513750893345125661791101514594492102446939727355373317410674082581017389736\
34843557060671377700661735767315905059332633054061960485018074664407436583220\
02048676563465330071665926056778040141747571755757775896494550046181298981124\
72357908173808979899259596078430315918600921628419234831644944313660382759365\
12133102658909769141625247497763432662936355481390479465042565429549628344288\
91014011249168952699575801162092969616594271551128149640144850447928957281436\
20534761706370451127352471141469047028978849029233144061668286007607176325609\
03995830288735472942518267429039581107005111317512449281494399723623229301779\
14251489827116732151931699832669317434786044582142425493264532085651511792339\
50719379416770284765243859645314119613265467047336273566264069068713681122163\
21208487137672792347288147470773568412624229975769176810783568476552957804726\
90849588479622411796299275010824203491210938418
0
*** a(t,u0+2l^(t-1),r):
19606777698963211644227790161153204599452982150005537174690355326925107862388\
78404244813441348280405283844675698900083090106340304510621171996252032085994\
75761934441237982234384565892598627037019277986516783149405675487805768781921\
03131323342902206489523148510549462357761111939214267165744556325566897808940\
72874007134410806276497860713699514445958884603351787538001028727002092348590\
34658017830172021911134175211743408092935545345168484780196604832104986590238\
43341337076289182594987646097044598800498174595711483143446806203345198146150\
96262676806433983798782642993518675493721784650853520170949947965756797511149\
41652176423121644069902122833923310924886682770995459355976207343901396100081\
10676128936428271969009553906748308207861381152196589983315140238383626266417\
79511461114624844493883189070965142275778623714027672721512312302211119141012\
61491534037409730922463383697626322712752685005014419040078227231828520238029\
18183351447181471153139710364884730283667667932303702395013068673252534686115\
12213726220280468926424544004784668116740772105091280946442635428352830922983\
96714137070686269708231099933563076280421898454421111862737164263235327944166\
43305801290844575806924113821183915647291752650000003207795016453221333674723\
49375777980854750585088587420769403144427336539734039780269397361261082442499\
00208741622751635223011255940028995395266380901609984466838798243585737060288\
95431016462101483561730213153997980740276642949809772974676379410685821458861\
59072655053286563105527231768818003622833545354388976405255276690073564675410\
38335056034170462270357860744870918713343319361083373039504930219749110810203\
80653120510005626260399746227524180076866666175851967410053752839222729497278\
38833510551694051830301211487488541366548068762047216409689291604968924817932\
82428340618079008064469991289355919555523099432565780984283245588484592304407\
70273303418518257949247159018885507366117872530070832642748606210279840357382\
44102136970691130443980512069115088266702287464716444936457709120437522353085\
09622828564688251674150378497488197798600547363051049980268375829317264730528\
63849395879796579170374401538801676277537177088758214887742865554248882490871\
20249558539516051601878774051235507869401910323506436230419285701149993614605\
87610915831532269822234459478777220564399748910964495402606137510798553398436\
09260659699959644363643603982535196953982634403812810925493224597897121997316\
52089514718431170370328882461996208692984124111794976075762912846022639273771\
89798432259764914625468787901486314580331750914382035022058162578458898058373\
92163133541659302743182750234000499152440178851709881408171639838052856013075\
65520517160451240828883834615520846830705251783878591811015499120489189577514\
70254219004948070044829047759205952158731626781036800497499727312458413646350\
02423290130029522052737829560356772737059934643510569801292155720876867188298\
64654678941371553199600666321333686120273126767878582044304549857841306762422\
59114490311598111280637631039063913943736034704445454225631391937904344284591\
73208015476647739012997172456696986074773025691920636511001581533229326670850\
48621516340603323080499376843472376344076012093736957036866863772278435470148\
30333481817477227880476429326325751775968277721407705809048233871194771955250\
53254505952404806224294054984998156028096682566425726020816167023528211526512\
70272244542092867900061024639551992844043194068924712345630065746527006882116\
44018684969995303865631231396700114867164095590763111176489896526470773226403\
26687969972941804457851355022532225088219782615941990792981143421625447753494\
90546106004857222773461908449419121340789210506504944379152104770096654298818\
99702803598532433035815557152052403864583270886838744094903930633264027625837\
85095420092378958814929759804642951604583656299970479747498450027544869400504\
58021262791994061800009082314877899996886912316977803861017760710115848217957\
05808092484220045044904000298120485282217755764027374742393587915286336636183\
85582075817197069362745602473496628952455400420546886703553284910587361230451\
94912745728243760959332034083335943007186458190750319021779088863625520821135\
67363994386594671615320104573705050586406090123862024680992696549874333509832\
60413475965119187591766827264649624449061698375722811562521460739706450289753\
43106006022345323241060342306219290108063467699082967563351951719767546576100\
28911489282830338012083941606961668740429526510567387200121707630195232921814\
02088977213067788887049514889080513429318756409268916281110890045668731306568\
21793260836521284176867930832490301308285762065180887328434618329956482264149\
03060856753489265811659810339443027236763079661598856904919924476801090346779\
79053577548297562778087320781204471543330492884561516116436653142633496040805\
37602600709750269980429512404767004086897737484107518694058885620612828610197\
56195014439800798248551056069286090952495386355572197131002047219760403337694\
02017590621430853552016723047116753598718290269094884622624476111477371461525\
57004703903850383716857891985034307655995194412193024739592024348167177021293\
98681289178238687549875619414053022749749348125457349674731848527430893722317\
65372779009862548087214960727535515340039639485940947557248477741877492732246\
28871122394425860881682453331676745023483016682219260013375664138049874455951\
43524848128529017638383790300360864587295121061367820668538700385778905124698\
98891077006011711197030257379437154169172005851461653849297234041053919216522\
36043973951643970583619883086843359929269580483566371025525088608207308367857\
21324415006392367307138115587766888188313894751447100621192555505083693899803\
05921757981614771878585962215350330972640560210678705973811559064086359499019\
32447652876539490699696120940198659125688555033078126555495422006297556965626\
16637779411955313025633173544530313051481130804830803407026584506273528807750\
33172138546234839748843316088640699757557618362585279798214072971752518042781\
91927777019326599667362039184156986683815709752098394941027964776211969459260\
05050302037148641932598188357348680340861821458096515183900210620329141337200\
85650681914721870445577588186492965917502613281186945240308992279559073771865\
77874336069843500306243279648393826307297565411745543325942154302610775906726\
60137104535323475364281560926387087171963485635373069942836771241729253666888\
08357791036226694028007055677889414705388994935143280755772989492338559923990\
42192200802198971696214913619103936229478564696526904371688658552919413584262\
93362724942311336761674086142088686907084206986404028115262663861464145854475\
74929597984241777090461484579554233789095733725656700489586877560188512660045\
48455850156655120016008207094812855776646926495108799280676179821126272765008\
04058015067861046394795784995916531676811862633469789581841049113480070371084\
49426424481220862751041251938553824351045277353787599501326439853528024501209\
60389662750593930403162678761197391109310761217273671000499075850687539489222\
29268918039864286067335412054121676081360769708996141085538401705531058609682\
74701019620175233412686190463840907498252950949922278232250244962117103806358\
07967277743901223808585648709539423447904666418775729392022244309938587856547\
88863145088792093747175727311905536598703579767683091859754082494871314647915\
17343110402206820465875422478721627262941725116813379423842957955713755559201\
63941798314019728586830869748490678658942799723613898519069009745739581101372\
53160956693557861128003634748704154154999956286289350769188660438060442824114\
53787252397196972809267173018273683130301866053391936235876115590878775388720\
28332586454249964163864734352709806519976226520258058159423763010177550297544\
75850536178417747296168184515115077790665598585766483137950624839938341987848\
38525832777875345024908648302705388559198629304804650911413146211133785414844\
59419985963680588158254419985741841055404201003926074185700871222000989999688\
29845797895809575800777862419686411524324953264267355680461032631169706194799\
70528234325230345848293232545243869766474838372991786487635096484621187550880\
06655847138641110883175602909762129012376939209071419917507310166060285306186\
01147455117064493821432872531844522724073688474795404937588794993806258819719\
44802454533768218897782710942973888539648355679779987411952174197155605195876\
98355210030393932552237566392655967099248930027427295496149624478294330758599\
11615836480403293779626281362799419583854224116304450589447603688326670838698\
16432375572196253392894592328394297756171253936086299829839032424086768036686\
40905869845209899972359296134655632967919622328576641949039553419013440900374\
88289082300974792766673567242031609174778511435269116865020738741037164605607\
50899718024738416356143057967097432855419084567836053981495638566626263213530\
71186571754008231588777381891121921162158434705594846711744461318310901398321\
77606753335567232272950012284059251983795499141793065735867432179810615258464\
42345090814978521056537601102930455009731332730002529499870838638285795048090\
41244277773627434678806456193476294650161811248348385936724995633963835265623\
50079889466222617351227639254131979488026402788924928607805287996859790771528\
20837680083822418463766176443863791166240901015886651234993128513573651595815\
48945246433000629633893685464425391483098249281019050133868920541576712602206\
43862852277876623175123525345964448528694742666201446570867616536944360871436\
40231165285904733011709264807186251880465845520281935072852297765548491759604\
83719612475870489679853938069603931969739122576435146811958017065203947951238\
13947620795037242757741468864477706675880511488048663041104617411177272483710\
63157423538283843402706891123020886369363208113261635861658239373841654296837\
42900082710214348935551242902874946594238282159
1
result=O: not congruent.

code version 3.3a
start=Mon 1 Apr 2024 04:12:59
end  =Mon 1 Apr 2024 10:46:02
elapsed(sec)=23583.075946