n99-L5-f18758-r2-t18756-ver3.3a.txt
p=3767094590250197568682770587664429099018500126344759933149338863804666570678916462505455208730671084623328698176806260556778877700970944173359798413195075839132852401629859199163274851504023990917726103580003242415575737295924240180929119529723402673510322878127357038344678690865637161103041790253530613796436909942608460163141361724899055084683831137715052188270388793102157775436404646354583840003637152952687681323190706508012319919399695556873562543918700720370751143088089661798869671993270397112081552469885196599933105053252386642992532665076196452835634277430157709649674784374676375905961817830589497490926896077885180588356773732570415165183246954742886694664744065137499799977086559713764588119746363265336566951978939267227074255270803645495188631512828765704924450189787886523244248404675160809595300940847317651592915831691372483159590352521692618623513297008191793896799213660204947064886318126247811601855379090143842594726778856734812306210837668354860779829628754228784473038330500861589709756152983163865291917417829766095958053525418862847275388125444434974140084308459528309262887175751210042401400794485927009509714423494261411951400907128383431763844602826698947609311794489307521444532486982548557310588967611505730061494857834475174104775955808662020641495106254683952630123579394525523509053768948465897785419427255255969247690949933960097662729215979121477623053438600068493556350770287725810393654013490277201461162799637543624114300375906884550033852878613368807236461068925083863899166356295502670831305994862730438003356637478329099174341162045008091282700147133809932471702040297431625399156169136025235550203414516965366146882897952513055554209799426619038580925743088277135403104018026347670817166793668181849956732819342577696894126818764516667961664147761460608844582615239567337929889138203848305264536796695637463978320001262331996401530573389192061420198120133876082196198967476595075830017039215935287272250462341115693564384531412744380690708318304807518095498261894451206993179559052924080315771201825164649558497145086643449686471649361157923768575225000792912788300513873500689835476328063968020149772775389574235416827851695761167638015566248049643898027469245496335480940785949082779250899551841192410262402817340297149607738556391524449335896656242846910671038152094796839852250660634914644107208259786713744981581400453628720309407536379016034324577883307291683716828545269789216422063151985357860071108423448584046375765380488086398745166131757077634301004259652804039538525503098641221685663426375040327431567168894301320188824306927498639735083312328160637294638465879009138201575075436610426125441834031239204688282455745511364190365988726355743446785552420944869594565016127217242482162054016904344046340887146972085149756433271511898177746807167746194569446085515530802351601768522890095947217065186228744038842912386078919787195245068987884401889666151949680551442003881916911470881454750070194947531810075500614940686168435894374552952742219646772102069611523645598973403599539156737897556091307704161870257994345263095488674427152345207379771724818280856687114184187688981077664476107518157333186864896726851133718326242816488917060924874432800622382860565291416932985473060853435895163090903242223979383895614637690525466981725605343880300310554346010252969796629783884150910036004885382881636734518450916615199180401963275633450818692680809540413672080429075424518552864824106243864978257547245959088478537973577339884390412057488954205426033105692120523590803322505860091690578466501388283328139553971715952565013856265309833992138255106664132160387563491914966708233096986293274730015506881746110111579956132322386461689391951191903617812820281300691847336636110726157423043716130297032921490740619097300368040983957961514833001736686834811429171341565278059421542442875605311345934190371149946907757722842405498909590314110859722920126413093116155390354809599050204298484781819082867371016800835460700409483345694799937435639996208268974572089638696737036902757782368384173699998990412136823589050886770539419444168006524867420336833742987591776107856623418878256568147979501520403432630667491308357979827120361246300391493946575210393827446394481492848811802432321485717395138644780435499865995790499885867780730444106617021817566898849483320742419647470339614201997387402798865020786930596169839518194042361442685400215247498305306975021080170006068326685142138471860949020977398151467801143733666403139745645206493286837952366132820019756031339857605896801518375570843276940803577269985177495294593952829398122734492202079195414989439726434672218033557139465405665163775189697470093179945222887688787410748960321561622488831040521082326794478429146621793156731910094055764220478501147852796676552399145758001886941505570000971256782998692122817760703349165847666699655849436676303435577290722305535101630993074014322750955246747166664297677120390669670504869463772466275417196922871742483311219426958862211402005069449603299723990920439212492220258720911853437628251881041403713441526547571028134655234261389107832296981649765534348314553558503453848935782851466746815249541647762815756522811470665219391279399961929426631564472259332952304468645471025451230787362148173095595617277125868771791213245616434036368551143581446869403295522238707481523488455415218306351976779859573226091764834463829711347520324390299668134979886627315762336057448045144667620312550833730280723647753155353324148619362368488629265832477294016226535407400826338315187003046720777749726151908685188480654298324119468301577896460227520528193157033802901242736614446798656292671864788901204031383161110434343002799398350116309954327492110011073831672418836295988774627469708258827420282992140434128360846209787300944694959799189659985033635859699277212388206107147220117133255012565264381774772335295306531368411325233972334710851137011538440927589413024652104603141898733459460698898288218129929101887965524600716889919922404188657653766343692802267093545239124600758126755687011940907845687754645450656512541986793486205143310535627231133586343707560188860579642229046530052324688372077413297458499538329047916989546309531679178805964801104009631976638744215344034158669221394192574368753334239501387577513850984733191338426741590482771951151895715458500786588377121211169054936912288965467848632709367783936518804987490016708698784200867474033072547277859235011518239419253494664643638759400532866527562280224675948997778251339118806944488741817110483340999874157108744339581317345909391651201762359468658272340532311290528555920857845442167288281384729536149074432803156770877785235009980237212615769455830373498262974306403694062500194804396589767876351662939359248347238454893659563398461971317223450412078953396821481346958237920294294966898314333888604033250848833769056116697295304932074248935526787521436705728995730538645642398718013932069205527302717051614908691850371428118019467753173996093376788691215960516215994298370643936504409437819037766419791951533702024935383251088291124896312053070430119227572546025084948785980047951285579615360932045249789614536475619871149227544312561760971213624765698771921152016745808261983361801905652330357246206411548307279727231507345433337286415018838257532338249534931811575779913545638956372991232225769988212220428043505711672233208526075802423042137497444559250810972977096355579277265393633351429801626068913668108311857218525636088144519973402380817832041988179376425829409047895883309713869101466726517463182684359553587548807957793794154259571846450146454519357550006994496915217447211133509243592955542349918407212824552875005251628364285806931503418815291013556609639478445391889000939511788526845444462700445305381212317687848567918334736683337184867001087659158415414320256198381224296219824131679270139531913282617822045146558012755094180276962937218160293383129444136016651272939908108873365341504303911619709508971857481252875914755281767740789611652912538999991743659564496405035770121066999624122654826593735584864579576905543865133187521286176312419624415167116156714121422042028895932274616111421837935908455619371795413754397491076719457370093333269903349119692950729765535994674979841375395886909165328977293946915963912882757232441719470269188954087337839548544022559890376567249334660003017880081988771623357556453517873316872859211329211173028666525363670476724868331094344650535206409908411480996170664951336689176970531461058441334183254505708386844591695633041132336732515040497413618752982027902936183731134963139377728496665554011308483784710300143256908471021749795849178649746346284575092973573522583903783586713256769436771278445162720573450333551240456218151961121350088318603430579838370305410588343925256990768331391522475559363025448799861498253962353823956717905367042161319033012727168051020299125733829021508620704083109704475635197314044991820556835696437886740932808417889370631835794507967573379191942664274080780342851516177630239719213074861608400744679061538284999865351460917976112532854845379997470859182498002968507783063664832668820718668163828182487900296380269409836145151669794888457508852260524695375961701435100016209551357984421185818871868751588819673125598333286591706348523705987468910933138129431700980797731521924313082126258719463729576738241651826711048089511808656653651244390534711355388968882575594481889009763736447696171579298821717210098762716435274546271185878762776651079953776459180947923551166094818223743372143307419955570911395587084504592544714582263005929212132890024569317192692023065932832352950546656294242916733919927813042109171707058760430556769995570255482433735359471587992036342549513254245249025909112423147891512896555943782529270942862770811878645979400430570622874817963853262439244374259271539643212386381486598871960164808949306899953322761360582748521939993113710639089422255964676761251653161448341599086136967304662410876551698613121534077731261440803338134599017825022307969813671371019696292441119035211518723482288520449272902076567355536164878900887929777984274990719012603167898392554898557210621447191878005138663265135807416468314259336442748370448812358567569740775349169425000875481339334331107591188922629566772609961602733907198999521849744077582016680529127178232808622593617672521434198245212105999634766266543465642777584731483576479346189873848355555611956818360421790492672704756326231688345763003573224439453159891663265724821990110821884317052520519701953172549786512073294295340590514891644108411765503185488942864675680983092242573768654592139135110687631227668161478267718647635033827592925185268190650396212939567555338014527902844301392933952318346319269639060800299024504675461449401149775327470913245160904010619267407368880598678400134300762592893843443318851743597923839760992824410087901199245958434432045097527824129888745140838386251576707439624108544814171264306782595348137766112738022047901145234261280500217764206184751127880793933668288892369150482306623023455576808001273697953351738457934876374277131063029315993819646688034779575769383841544329440132532268406031371251492544375714731636222279974556571548505638609356393780825027881193462317451069453111096749280551880793963359117722845962783685136551695790897009892456263416752145133186411249215841962515743118110488368621017513293345539572734325321937882587404957414639425787211501809659213706698576536341912126068982365200181142041089620434075234963872137791395255349378549066893231747512037213419752205038701336060869460209507988860226263006248927938746033833116879904877923600639895198750233703977177313247818012659926031700039431731749114618267919423144118226722431965870036282535432494519987616647669792200699394422169819847516269694929141190469518026111564229940309634735121757288445012348053729153983360757919981432646727073709982240996724508308942693750948256694662597580771941343567033208649999312320502539722338782174510395046929696709624225825399729932090491448961868402430788213256119369451916704110515365667165175744816115322281021484982421128262052684219586923926776123903414121229407281274113089232242941336644164706145130597436793388153729005465267624453186867021967561671485667473500372776292002608796087282670525313110153891254452113010092029117180546919223383371071551030519366890627569878292142428922668701984891042198314700806108860350050331167839010553177129189527374642264030661140740694330145186044284366623103561848740925741948657780534720288437360136272433028537720795097890718974006242487814723955350299573869767418871538995767898413635060693060298940002776297611768016661939929095588177474502681438364456541230432915840948801774306189798386137849835847461692241811474588660076964060538667879372031183726972729379141917284311200884265717674059652311085731796528718221121368535109046201981024309156311801187838268098119368438132190832462335127968545038986925200283947656038507432288751621300201060691048059886398295379839269297160858634084096472571730151711169980392506487143627167636377401735026479901643321840893002417490891779124030240492494824307958943365321613635718356327686251461273059248924255371093751
g=3
*** a(t,u0,r):
46824985756809955778726838404668853700799956570465365969046282077092005473538\
93162894280824452224158186797571833770181872076144982306883607486229427601479\
26804213553522591498455995064041950182071073354674994403032256064145883383054\
48948955754461895231733313375123047986624356127459869912510809452851385529489\
71079058662315982784712624049525470262002104179809870020093269825982114867450\
97541874771312452098112019078788472604818945931365981382157719383824209094499\
54208436708584954496159950022876351036103173697200672993737168495811927165972\
39718102689712190874693406845686033094545756977722735251110539563422745381222\
13182481127947132746974958502605032277596474540816146827687296591225137151859\
37242093830328447295388133527213098215091632532993016089313505194689704461557\
71221091585906342948392600767011224886326959069473215840929994378792375996567\
37080818446392494902702818118239981372142257963474920165369343092602982110623\
62090487963452453861189213716966200712217650919493282285415063790999866448125\
70956009226898158072684557853350362399257275860532095646519163307439927432672\
85612479541519368841376875945875408270494118754600727282057502840336693505559\
13275605806056824588413135867918783745605502092491555538813193078567370620867\
41101622466438108288252641412236513070166891657378417074572153119243609187395\
22572175383480294311094727634807828316977487985076791240139477241546204799668\
54554241798851374905440074676431823193119387684145614162253599494667247740753\
67252257495692079128116417427394921108673879242826663780875309819843313351614\
37393443817230038556307027370606442194505746439628288732574606232563608970751\
03711511182360793677889028442445879501205754421549737280538827806872874649560\
90698658728479306058294406750154825738324529550039496218894442824077239399635\
72429421827634853566749553679381619074278220104685219878738344344381923829267\
73677250517615690786715271025027227657323453062633264079701698753165734076792\
56711179745407562079407324690006807100529972546041265198550439652875744992704\
33953480285029252219190278463183250360386867965940121195134269780796028426015\
59192992443390046759855905958575387447613574654970757835122490461675598092407\
74623117019657831131374053348846325707365248144272151945002809396934709894608\
86814293860216595616670195398935696241902559466489052451954370985870996410042\
30538324719363475711691989026252598669148851850121056807638604993445935677191\
16930665450308950963562860017881770347996012624497917799820068387770346589969\
64507636794669139364024150177404749943614829474843542114638720035161103855527\
96389841751269974379909356165409947086135108808091907085572239036721572356130\
87608358784557818767706759673924199700830331427535092491670625688624923986860\
18910435444165923447290604431504613103240532743314301209964960172272368630184\
11472465564892894349392813095085198498214842958047873230409982739523892623908\
12026482328840281740095896097295483689620751940311548855026873452925442410825\
22272095830564825433725231978203992384726437127290736581670756932025857902093\
77228725271238914795239406742271718252066622214954762732047306869711620276924\
22312950365092773056253949123104862082930945297403479536943801645069565151273\
06663147595921187951982089572390672961891997117362189568265723124770094301464\
08208176877219927300844063741822489946493231554582849274424432132860190520907\
44441457210821367999581174754072530921874461006434489352692581239640351612379\
36763500224625873419439597334075267656121097636406112416797413122672714697882\
27011566334762972821874587700773445591503753058108233685298747840939713890338\
61225636176877465586842929038312223337780123652227851097583516275361741420450\
30361833373955396254048940927505401041486869388547247672637187991419533153619\
69413356096567599662394386856326136768433391499592119214129905895379443574749\
43059746162937421158701735670606459977565640627860977256494377402002996198631\
33938400634284949311003514462076043979863558971713147474338115021102833161940\
39430165838011200041421738834384776506089877986986363222325005152868783353931\
07420900044136870127923483901527909098745082286071721190252255780498369100832\
11041020347868434253357657770206578290966567291420793852038986146675991969169\
62889689251106090291513866269755929865195275158683404956110730704233756067467\
22157335462081326333432767591358133651447942024524958119235655269907767682827\
62180563214045308275254167898922083815473103911052111519465527325795246755264\
03934965699512026513175429300696316781205231596330749059022744768216609473391\
02703836991671155539574791103095284556746955443004129724287340834558193237418\
84654659157562665118028336694186655897380718443990083187357995829756701571152\
43554992417985725607939553258226719120493971627515609576797010967536169833677\
05332205536687429250888893817764246911314926054776926781026268954632138177196\
34546829142351120727218126737430866247655426301314864970767222084978864517042\
25723678257801313273243909998031794373717067281637220126606456024004375527434\
69175580343575775129575906755845747709865728772692301325856901556920714105941\
12782978159009343382297191708813446481580781749863078797137645618690666103554\
51481906585591949549900732197931342271780843731662913551802681691799853578546\
58036867703360294152678277303034639018350859714454526320484635879868691150179\
15782535227546745488333647806430122750720610907147173845866829633414271339953\
36961500811163547955071373654495200320636892385403312049677632171424874917799\
99077753492583719407920114821852048500686326738939494157172104181916733867424\
03136617742976927646216958351139922713852577744478707392674290960682249568928\
14532928168804990988613253000628080165440941930170062447216117573707297717911\
27932604196611009269260269888352479652149194573273229072692743764772768816613\
51591404686194484736572248341175923055962155253183876561507425583503039274736\
13968093736062015749985401911839946055966359806186236265460420127720660184909\
35277265827612045587963305342282072993640389642566021705380125690109648730572\
25513550187364674114707869109417046354840650146363156521015321799727673223187\
87423515573189558425484521898790242951660450896895843033529931349957846482990\
47825228497314753700495290704836855039587646492224728740914926143006560818006\
06274787721925581424777228397254696195905967263445922584219298136994036039445\
97002247588497167740233568336644397969700855352818063743149164777293527616654\
83135286581975184076535850457744155433092874599450090768912588761678270223109\
17626637902911931717159813209386815204297793486235309375991431927220460423836\
64145246770319995060786683307928628435772861692140995774609653738224437906128\
19542232519281662934126995009626301884613939333761218813433299519974323866201\
08704711740543485528140143359715425834087706285979171968774214186496108147030\
51170336235456956173994328188373042882303473087488622141390722491013142690897\
34925808643854604717023534813330805100374936753054738064030568291426859796889\
14582522114169305953653350160649131756202247043727729515733150397001168515069\
81984171952771440673483431814389216564809128747104130749809312090639436598013\
95756391616994681381102745868246115881966544638199872674709180591340973199603\
44797546189363853224548849086883919549983848983758051426888721853558376357349\
79919568150396696453187197687258466340570345695545459487009487636303736382470\
13868415954112696444171920241788694432537229222771628101656632095347789992058\
07759960858587819791222241184137690932358714875803941053076998504164088428625\
58272434212036596894586316385226273656575636383269391593565652281913069648973\
05955446534582953974339293123141061206736076658925109323168291537686133744647\
80513753204296756143465869415966561528688343895198978604373914094858016554091\
92236315277740568072580158587495874067298508657818717076221180281678131531388\
68887467136653514588846910885995769922490077697388120789682351960333910360000\
07845458786180020124139567733278343816821029395280211717160985458206608426493\
09621732446752298990610686975322643057793295931194898497621432989196520188491\
97324762040815237301801487284570285976989737368838669031459462260486280532784\
45994945601333198667241409359102436055208895871715633759314805272538279565292\
75982419176438173478264973445543342103348791416992967160814083622855110260132\
54489862955778337757098561241380999942829617087428092503918776376016543143713\
26723992505730154460186993056093455884022004194373807309092298238375122494191\
20431278334426717227165328729639996822094880746324910270424025690113355502704\
00615261567516155470878240136534511504646974370606095642578389785350595524847\
82747767187012749455851619533828512810995666068334967637780075918224651652135\
52836360564453443949030780683372294800349962405290616347084317268405661518885\
71792402998284578164409906699107337261672798764604191887079162887673838159780\
02406421073909428962536131149909443952503591966243712028824063285822784232967\
52058031782003563712334065195580348198698874182318132871494737352155351753053\
62663214550261357924832952146770672293218979480863436487695371892573403693710\
33558473169268240996616443460879438797098185205297924212563607349208825483263\
18659210443078783385728073368562779638450176898551743481353870073441533045276\
38430832460068400674876426328423525555046352683503359832196352320394883829320\
14847233797463553397285773285822490285369511872827523349099121496654242385628\
98906948836043191315802817519211610829395882934158638856343732206018327752631\
78160220488496777434646214748488321041463940988039136324404486341273068435394\
49215276205652904626101508404730213137729238254413876191826897409945585905211\
30115741311230047746428647147460392085330802257529163700106811823005396612705\
16184670954510614717529493773743945500262470271611341700431874039215182065104\
49382756466513305182318387410117378904497502684453920502674197282915053041903\
81216838837819784241191651569523947351992842333987290696052119807572042745237\
76512996272187842397846484857523988476641980192371204356412771411440342324388\
15186416409321423580487968028860766406825035969537671955376137611006685861995\
79709185493013065791565027288064783935141774824915043109607679177732884846309\
18446217281173222931452944473803696714034453813463732665737697701945738906612\
80245885950436038735843856380861867011462435519833622446787376169948918778375\
90175952760882233047925735667358478308285514983541822721982466483564056592318\
88434446733897705082543381117883866766944142708418798647757546014469313527793\
97253782123408556382731401319350595562566232522200428558239217201211350598861\
37834134415179782402777453374392959537337077516022060962830059895277934793846\
34507104809108354010010313626755824520459562755980791871461983657519194437658\
02894494258472561599152471748677427901034704769800600528836097844249268388247\
12851520581832354666314169027317044748521613525747716874593115985816056291707\
32046345163735003685199749387359518584157251366935847902967047400045332717292\
21933282291408074173926119066272633399903205622708539345171021006211411070984\
73474527669212040148815333307660177352432781333614055411235261867716617706809\
08287645651955826859549683093214854049507132418155281972345583206556016210903\
21305133322647391134543978031782083322723101268134411503960149408473760962869\
69944656052326590134114238242940083738184347925087914299974695655096563234736\
60591679330217093259355725987826896455383329497531740120624733757868084983296\
32313542702291640055070918277529155940706869581133704219592476902362850568890\
87663751687880561443620663968062535038967494064026374263306346729967727037450\
79943825159557074398199555517060093067274704302399277536490148287062157462256\
28075199086310576072366073904041843015326124491676741742786132005456428172176\
32590355953897320465404940436314003670377897362880574031490136425641494705070\
23842968138955815982933576455099191542590688344607493053551705469347266757086\
07046272323079692249975361090645667433781580487597575634430953715034863078533\
84013174220945369207798817526215079255589285638280157683324286830714656087928\
99523090053822278351949145214384656874867106242916421043333613010062912700971\
86430558848087105960242422146974907735637622873246320937059952428631345080643\
13455953097058331494624297314864849465464409827220119437526881532506237225699\
15677976081448696729738397332613934181475085153793327657195311275708305679157\
65668466956096336093095924273353649235946296419592128682928397647154439219265\
54198205946655302419379309355730450500693587171330391508771965672195654525051\
73101993313415112561641623890117599171582582526680334190111797940683052370466\
25304546771251772737798497069724218162120465731852763864938663425447238694830\
66781636846897594123537018765004223703201209016573229717394977281483804414739\
51582423450937931427644710791331865816104600806833027887019480749428114390299\
36060546259391939396934734595839488345657166291370447566632724956417405943476\
13726271026182734031843988226991422870688561478226795646230851967488538610891\
40544429062413216281295568876482967245962374968598313204750682564064901483460\
74802395294693645586473833491826527614991843897273843879308115714021173637094\
72821665319154066605785769842856278855635195285693720171103566379145177426490\
48230002004941178481451169588932171066614792966603094765749197916915314010566\
362412646412849426269532493
1
*** a(t,u0+1l^(t-1),r):
47277037107639979486968770875188585192682176585626737161024202740748565462020\
40160444346286956992211202277516211891856998757491514718534937566547008559820\
17811172976404547329494990993863755010860174625999290406923154755030638492142\
70660450098028703552554552120498330831225717570363746371843174467681809203145\
28321977973617504742408964748314131278208077832390496279337935343208008172687\
83117500271920456462695562304006060433666755546149884661792387632099261796940\
40652926845755525255575814383515543483756623483497059217329160468418317452369\
55628494670626548308721018174847925610341854390218851761982081377389819351113\
25457774590163838775103437587103230497492820232280180425380174756224897124363\
24407745580902816858979973915247335687803699781903648585750964617325486001009\
59680184988183797586671531747867326816042102680763383652749109368772672466365\
28589241472423637250918774528070134048301314355720856643232924844100356032850\
07581305224563821074652021894442946012737853502786861840865571245136631047785\
81295085743971993870650941356359376356450427357174400672873330612097432765892\
54580580711670802812492340556776860321375799707983839693469160148529807199900\
81384461212068636249765475071792496863020840809394128882711630984394247891543\
52439691227176046582266343501493824539870835905076358349628360550805092140129\
53200386248003032470172070138120534624140585214216711992256672516605379745441\
69320654430859594132202167110958920440357869302978878337593135451172482634469\
71763140110292485362659777853081758641500980249193453777150855851893289023552\
72669969421258003530301946379815836648515455978868465293146525198606057327668\
98759409922657116706155052852187915345143380369304038847205332982804068934190\
61807575787804930895542623066326875544326053568221695699688274935009602129157\
54946841829188850544063306409995118212565700910201086844582962310699367985302\
50172927916015842266554839208696034360370823486407680144831562297041831268201\
66671384215998785526674330238100195423302586922994197766838939472533435209850\
31867753626477644034661141972079629285829058163519591391708373752935652191994\
82531943295619073759951055493171449112433657435227917202798652879648331139156\
65448118953878180265385709535641302303092024473903097901028580686366098887959\
87893756069647487931553576207292275771188827136318391655030358477287289215288\
08789700340145745790968178783545463660323257499518846575693040439883064581556\
65123077345243550651063064619824313585466609689255741624114389241071427972978\
20158555251254843042518349535513243104776034586426906962084950638879473321550\
76001006756109266167969623481568369745051940107928675295569718415998047712746\
78156468442976719672946084787429501709205201883794481960616762058909315851576\
45802571586828828581134117909523965763931511337779121495177815781336944996686\
29443237557474322130722429955214741846548373219911569512602194962270704137574\
16808717073768747855044529044332930032561579794924371531020696849092059714871\
80572389595622571133809465915242164475327175056114138704744006395569148565669\
89880973624621752267116215174216417060614328945911687231471737829033051848382\
86406076193235261613514646942475142328301155549671252468917514935287453149515\
44539219817281649943473469359091146071741316478109049000944072825089676869137\
10620484296790835689910941267889963703016094610620656347065697768897457042428\
67477094770378774609392095186131155516454101820655900352074971404463910919980\
77745931441597321915846093848965777078384535425333605054771322179367865604056\
51568395615549099671321486375278096715476436112571064581697448544150716759754\
59242295576815140234503520469092389612963841660133510158863485861286392182353\
28321883253671779805978616946113659136819003284494606459500942018689874583904\
03550894530323682684074783189613275659198637435227763164708794769671119618914\
34867241701115417179541977688343610033664423964574035765808884665739147408915\
79318336923594216721890113153584420912895226475864843186077501489528604680800\
63945984011829489985506260850485031790139015988469739214817281952413775630879\
72496564404981312961016872322137993498732967231713604258862897026971402430848\
18870861252272634744942767901536006239069221199302571427440810630795148770159\
19892646830360533641069913249029518890442534452250742735252588120525634645753\
30898999199446552331824717077356764064816707353804362381046458056101567531736\
65757527621582350672119051257560108759789819314859533352316361057017727013561\
03731602536514556133576157499898533837821854910213266346800920904353857513359\
40380784734149074981630219496689124793819331521295400485905561341408312560708\
48947383139775659471541080089464403178771360939024581174685667551363363211421\
00290841097805378630703249669408312547240494282004899452035598362234829558539\
58320127070428579010350411698547168039984096700518940555259829073260927926292\
36811158949035121892726266335861413628968270320313882170806809104302876081164\
94998564934465525468963078879750524488346676941636935847860902904364836111770\
34445175648582138204036816555580380833372075309516362159252141153608605151211\
67773642469474437606422345611070696166036911581720164030899231899804333032953\
27119704557456071347647159218345804144074785907672531381747679423337744361283\
95684850336055646952221430422613412685462855142108150066136941294638139495957\
23497249968279296530859797262324862471564253168519471582110113588040957788931\
19780115460989744717308587237643987451648672521062877411380071098260835093997\
57717281281731752097296656557863492251296331502308177930209968421806517299772\
45322972861975900399036430193628803705458555968882363457607590632064539991154\
32211443967699327184802600575855382628824120774226410596344511307323136473031\
90310071011059385867193595100468513244929395968992681002598063897658748885639\
55146591215747448386482841245515513624483109286199328306268559217454798302328\
12172130039225929015471986644697612470022350407694067991273392807956096968673\
56213168635280062118176949480743364124713345938391276943082910491623177117351\
71375306102286939673337389969684950261725676535547676133446684520239927510137\
39514490783871999858393463381320800405739232401934258251874548547222121750726\
50861352988037020027450997453395215667483906957153688310416920602955135821880\
61846225736940148582538553208813068162399025676286912987284971168083278543447\
05742414097798829858401551297255606960558787986956291229004184871684132871200\
17163945824922651662150034050256568840331100259299970969416974172088679911506\
04683371333993945539047116313580412776664304766874749209066168196831599221170\
54305941027153333709804736565929548420671714741461745532691162865222582117611\
33166131787368050669613337680676596029919946793137835567867088413167961747451\
62046993752519770183279066706711874032003275453663604843774447951772015868482\
13369888958566757842608915427520650697740031154302671590865130109590904325885\
89969340183457384489030198061729815286380165426455105607689753182414086118339\
40306568988964182600028121039110748474685293676490989977671040827221614228811\
44320302333650971878698074760304478510728444551581403130338444628923968568388\
99174796041293905980115805361744871626603389799630603545261481610726404960178\
86340241727796971678848596624327690293829228056811226501001887309908095195876\
10457810159893687891190613915936745983439890464931256360576755417185188382944\
50848642013203084503166339423527603791499776890248103996443341335206336637194\
59966814865267670022513204091788255929292185976777108625592625199296806900985\
60444010407164866534759313808092496732906213725666199879263792126951651174144\
15908355109333553690905722340741779416294268871239752373753987031211663595762\
66729493380042179372525877809362859789624997255410070915920564914760105209481\
38581315907935971786876990367906131902220135450975454489668206961790872946011\
91032800689058858253421458698249952737510094537588167008086365012243811344971\
92152896843649175587928525748402511255116968536666665893030600764319624758848\
62087911681958274523907008973475395846766360735035879014090827354337596811389\
72359273017878618514690962624405236444989638292753442988319891501939084528273\
93180737513815900504736901645755074215033921415127208662864103473077667622238\
46627462643950046432198344066095651118023116032442617688513012829189994671332\
53728703145214653165855747673317099700926121838071002487866503903379534710667\
86032671435793518783213737960898863342274831266242259189791499830378743950289\
59083873137333491649310126754383102181600221509764893314064482897097555234025\
36421684044435056408650194184513927544917098016983628343874399984404664025489\
96257801946662108259930637582425409153499244501818491058257437873991904926331\
52702841921471498114266797874201311322959937907192054316645871417416818347708\
42799248401325137245643147954448679214319680168606806772553780711207294360839\
84730537769715473329028837162619752341425589636070682700059693824382618030872\
27540490656809712356379124553864309725959040304754027959554219933189836243026\
79116922172629126464734798828799029547859870674564451160142953922107499304590\
88588804366397137933027865280292595084761240895131854293457222223054767483101\
60834520600212287328309518968259282740349937254772677448993649993700019285456\
04369022314871957238109344362165345592585014173609586958492696831935301050520\
34298695427044858820268419528324396868977262590827467259146739725101427348322\
10883524367847309011530600150129180684546929269806188064932730425223653523373\
19864100332311710121062751013155947632371074770707253489241858695332020021255\
09867394720912626955557033827784728469710534198945627208964405671344899687079\
79320398508120442414938014617910532636436168007400724411612267769808344930768\
28488947745704602952936053649274860501069509405367847010492358744340348746344\
44067063045433787613684293000560989963913407778752751593609105060384868517770\
94470742350332927773689077007041475403661317078965446358443612516896953857822\
52231544908765681584310006835231380159441420065507531349395034691357706852057\
22493123566933537082471761766870685310189396735132565007238175946752526755273\
31082081893589217673704029965021161575706297188470136043891904559979702720931\
63837492106092031197886923020614351871370265113352360816975712482656397689299\
32991622580689644902239774543830766773439546723564920491325951000230002467306\
32076283760987290808645855400269420979001062996255018114310535347443999214288\
17365430934064054608682174821354990179014399918797741193029541631664512049381\
68586883801188848157946829167968622229300580704232934706830424446918942076887\
39325694843966715137156640373984846515975890814648179009132522259512315499820\
72651984340652441096189013356056765706497788623295167979633780764430079661513\
13461456391297719072354265522598690278196745362912110751157926624724723915728\
19492082325180695982481321101595246306833970213043752757533677041189984429680\
35975996122676934533327180596247945151341392168547457054081773521365158938215\
39441890004599463466031600505367783521221659739741928301037515175217474572876\
78367282562237417849367050121571619128964714862176701159372689979070277732940\
78761862665490396386753702559923283855294811894436748894041598490931456431764\
70826984971779948410179157224365659348364836759057672113813344736632799684956\
93709206231431915219882034589613680684972933745764547422741949354099908977952\
08401092163654426420347092610396424015692742171683293524846372378217575747415\
03261058802394214214894611776588166295725761322866290261937697918314865216378\
15782790320426471932215553724793629504347711223132019067135531090997182165728\
68326227333261567473644764419879659532928201045463470079078951005843127606702\
84178901732357017675639117256293252601958396007284240456312627246056168428062\
17941188030684744315432984913575281260116058882071697835494868233451388459262\
38876045868374536652117166895534581967780622584458892825589211877739999823123\
90863291846713607219403924512277001310857508859159257780539699849049680743008\
82491177511895766979716424775060277124508892579277230806574400621518015599638\
68786386176626676855749136962230687351535171629010545783896769370578403410876\
66106477356676844714484505063920763642980866215546365869678391229229555974422\
47294626819636529385159688761186955815895281040354987847221429061379990119269\
86464891377488426706212138899783175702132929901858910868688749518112569289897\
71451267924296783424646327403908953975150926795324313352433740182766549654206\
15863836253461306947965433018054477376001972566387482979492209910382579588849\
49511666619739313165615637958244237297132856855176041358479731629571384332208\
48557688011199497012016986180614556551457107396198888697102190345081483959784\
78528523123778343222074785639646259652065581106837814396887125091120011697906\
75169703484253502768860910734611014963162730500865205147392959244193309380390\
74622675426819697460300154398856442376347340060876839658989597602818861189913\
55773507753708231061918105571097534756809448636504125934046435413675073175115\
61852983486185507991171310490737026463139807389855899494740230585600524023928\
59112635635430832832682752238328473175233116726531515742986070169828296793687\
75857755410730775213403975183253925956413652520953836536391774582322765623689\
10320718033951069182800657951818081004506488473923478625112826537191246245583\
897689357399940490722657505
1
*** a(t,u0+2l^(t-1),r):
46824985756809955778726838404668853700799956570465365969046282077092005473538\
93162894280824452224158186797571833770181872076144982306883607486229427601479\
26804213553522591498455995064041950182071073354674994403032256064145883383054\
48948955754461895231733313375123047986624356127459869912510809452851385529489\
71079058662315982784712624049525470262002104179809870020093269825982114867450\
97541874771312452098112019078788472604818945931365981382157719383824209094499\
54208436708584954496159950022876351036103173697200672993737168495811927165972\
39718102689712190874693406845686033094545756977722735251110539563422745381222\
13182481127947132746974958502605032277596474540816146827687296591225137151859\
37242093830328447295388133527213098215091632532993016089313505194689704461557\
71221091585906342948392600767011224886326959069473215840929994378792375996567\
37080818446392494902702818118239981372142257963474920165369343092602982110623\
62090487963452453861189213716966200712217650919493282285415063790999866448125\
70956009226898158072684557853350362399257275860532095646519163307439927432672\
85612479541519368841376875945875408270494118754600727282057502840336693505559\
13275605806056824588413135867918783745605502092491555538813193078567370620867\
41101622466438108288252641412236513070166891657378417074572153119243609187395\
22572175383480294311094727634807828316977487985076791240139477241546204799668\
54554241798851374905440074676431823193119387684145614162253599494667247740753\
67252257495692079128116417427394921108673879242826663780875309819843313351614\
37393443817230038556307027370606442194505746439628288732574606232563608970751\
03711511182360793677889028442445879501205754421549737280538827806872874649560\
90698658728479306058294406750154825738324529550039496218894442824077239399635\
72429421827634853566749553679381619074278220104685219878738344344381923829267\
73677250517615690786715271025027227657323453062633264079701698753165734076792\
56711179745407562079407324690006807100529972546041265198550439652875744992704\
33953480285029252219190278463183250360386867965940121195134269780796028426015\
59192992443390046759855905958575387447613574654970757835122490461675598092407\
74623117019657831131374053348846325707365248144272151945002809396934709894608\
86814293860216595616670195398935696241902559466489052451954370985870996410042\
30538324719363475711691989026252598669148851850121056807638604993445935677191\
16930665450308950963562860017881770347996012624497917799820068387770346589969\
64507636794669139364024150177404749943614829474843542114638720035161103855527\
96389841751269974379909356165409947086135108808091907085572239036721572356130\
87608358784557818767706759673924199700830331427535092491670625688624923986860\
18910435444165923447290604431504613103240532743314301209964960172272368630184\
11472465564892894349392813095085198498214842958047873230409982739523892623908\
12026482328840281740095896097295483689620751940311548855026873452925442410825\
22272095830564825433725231978203992384726437127290736581670756932025857902093\
77228725271238914795239406742271718252066622214954762732047306869711620276924\
22312950365092773056253949123104862082930945297403479536943801645069565151273\
06663147595921187951982089572390672961891997117362189568265723124770094301464\
08208176877219927300844063741822489946493231554582849274424432132860190520907\
44441457210821367999581174754072530921874461006434489352692581239640351612379\
36763500224625873419439597334075267656121097636406112416797413122672714697882\
27011566334762972821874587700773445591503753058108233685298747840939713890338\
61225636176877465586842929038312223337780123652227851097583516275361741420450\
30361833373955396254048940927505401041486869388547247672637187991419533153619\
69413356096567599662394386856326136768433391499592119214129905895379443574749\
43059746162937421158701735670606459977565640627860977256494377402002996198631\
33938400634284949311003514462076043979863558971713147474338115021102833161940\
39430165838011200041421738834384776506089877986986363222325005152868783353931\
07420900044136870127923483901527909098745082286071721190252255780498369100832\
11041020347868434253357657770206578290966567291420793852038986146675991969169\
62889689251106090291513866269755929865195275158683404956110730704233756067467\
22157335462081326333432767591358133651447942024524958119235655269907767682827\
62180563214045308275254167898922083815473103911052111519465527325795246755264\
03934965699512026513175429300696316781205231596330749059022744768216609473391\
02703836991671155539574791103095284556746955443004129724287340834558193237418\
84654659157562665118028336694186655897380718443990083187357995829756701571152\
43554992417985725607939553258226719120493971627515609576797010967536169833677\
05332205536687429250888893817764246911314926054776926781026268954632138177196\
34546829142351120727218126737430866247655426301314864970767222084978864517042\
25723678257801313273243909998031794373717067281637220126606456024004375527434\
69175580343575775129575906755845747709865728772692301325856901556920714105941\
12782978159009343382297191708813446481580781749863078797137645618690666103554\
51481906585591949549900732197931342271780843731662913551802681691799853578546\
58036867703360294152678277303034639018350859714454526320484635879868691150179\
15782535227546745488333647806430122750720610907147173845866829633414271339953\
36961500811163547955071373654495200320636892385403312049677632171424874917799\
99077753492583719407920114821852048500686326738939494157172104181916733867424\
03136617742976927646216958351139922713852577744478707392674290960682249568928\
14532928168804990988613253000628080165440941930170062447216117573707297717911\
27932604196611009269260269888352479652149194573273229072692743764772768816613\
51591404686194484736572248341175923055962155253183876561507425583503039274736\
13968093736062015749985401911839946055966359806186236265460420127720660184909\
35277265827612045587963305342282072993640389642566021705380125690109648730572\
25513550187364674114707869109417046354840650146363156521015321799727673223187\
87423515573189558425484521898790242951660450896895843033529931349957846482990\
47825228497314753700495290704836855039587646492224728740914926143006560818006\
06274787721925581424777228397254696195905967263445922584219298136994036039445\
97002247588497167740233568336644397969700855352818063743149164777293527616654\
83135286581975184076535850457744155433092874599450090768912588761678270223109\
17626637902911931717159813209386815204297793486235309375991431927220460423836\
64145246770319995060786683307928628435772861692140995774609653738224437906128\
19542232519281662934126995009626301884613939333761218813433299519974323866201\
08704711740543485528140143359715425834087706285979171968774214186496108147030\
51170336235456956173994328188373042882303473087488622141390722491013142690897\
34925808643854604717023534813330805100374936753054738064030568291426859796889\
14582522114169305953653350160649131756202247043727729515733150397001168515069\
81984171952771440673483431814389216564809128747104130749809312090639436598013\
95756391616994681381102745868246115881966544638199872674709180591340973199603\
44797546189363853224548849086883919549983848983758051426888721853558376357349\
79919568150396696453187197687258466340570345695545459487009487636303736382470\
13868415954112696444171920241788694432537229222771628101656632095347789992058\
07759960858587819791222241184137690932358714875803941053076998504164088428625\
58272434212036596894586316385226273656575636383269391593565652281913069648973\
05955446534582953974339293123141061206736076658925109323168291537686133744647\
80513753204296756143465869415966561528688343895198978604373914094858016554091\
92236315277740568072580158587495874067298508657818717076221180281678131531388\
68887467136653514588846910885995769922490077697388120789682351960333910360000\
07845458786180020124139567733278343816821029395280211717160985458206608426493\
09621732446752298990610686975322643057793295931194898497621432989196520188491\
97324762040815237301801487284570285976989737368838669031459462260486280532784\
45994945601333198667241409359102436055208895871715633759314805272538279565292\
75982419176438173478264973445543342103348791416992967160814083622855110260132\
54489862955778337757098561241380999942829617087428092503918776376016543143713\
26723992505730154460186993056093455884022004194373807309092298238375122494191\
20431278334426717227165328729639996822094880746324910270424025690113355502704\
00615261567516155470878240136534511504646974370606095642578389785350595524847\
82747767187012749455851619533828512810995666068334967637780075918224651652135\
52836360564453443949030780683372294800349962405290616347084317268405661518885\
71792402998284578164409906699107337261672798764604191887079162887673838159780\
02406421073909428962536131149909443952503591966243712028824063285822784232967\
52058031782003563712334065195580348198698874182318132871494737352155351753053\
62663214550261357924832952146770672293218979480863436487695371892573403693710\
33558473169268240996616443460879438797098185205297924212563607349208825483263\
18659210443078783385728073368562779638450176898551743481353870073441533045276\
38430832460068400674876426328423525555046352683503359832196352320394883829320\
14847233797463553397285773285822490285369511872827523349099121496654242385628\
98906948836043191315802817519211610829395882934158638856343732206018327752631\
78160220488496777434646214748488321041463940988039136324404486341273068435394\
49215276205652904626101508404730213137729238254413876191826897409945585905211\
30115741311230047746428647147460392085330802257529163700106811823005396612705\
16184670954510614717529493773743945500262470271611341700431874039215182065104\
49382756466513305182318387410117378904497502684453920502674197282915053041903\
81216838837819784241191651569523947351992842333987290696052119807572042745237\
76512996272187842397846484857523988476641980192371204356412771411440342324388\
15186416409321423580487968028860766406825035969537671955376137611006685861995\
79709185493013065791565027288064783935141774824915043109607679177732884846309\
18446217281173222931452944473803696714034453813463732665737697701945738906612\
80245885950436038735843856380861867011462435519833622446787376169948918778375\
90175952760882233047925735667358478308285514983541822721982466483564056592318\
88434446733897705082543381117883866766944142708418798647757546014469313527793\
97253782123408556382731401319350595562566232522200428558239217201211350598861\
37834134415179782402777453374392959537337077516022060962830059895277934793846\
34507104809108354010010313626755824520459562755980791871461983657519194437658\
02894494258472561599152471748677427901034704769800600528836097844249268388247\
12851520581832354666314169027317044748521613525747716874593115985816056291707\
32046345163735003685199749387359518584157251366935847902967047400045332717292\
21933282291408074173926119066272633399903205622708539345171021006211411070984\
73474527669212040148815333307660177352432781333614055411235261867716617706809\
08287645651955826859549683093214854049507132418155281972345583206556016210903\
21305133322647391134543978031782083322723101268134411503960149408473760962869\
69944656052326590134114238242940083738184347925087914299974695655096563234736\
60591679330217093259355725987826896455383329497531740120624733757868084983296\
32313542702291640055070918277529155940706869581133704219592476902362850568890\
87663751687880561443620663968062535038967494064026374263306346729967727037450\
79943825159557074398199555517060093067274704302399277536490148287062157462256\
28075199086310576072366073904041843015326124491676741742786132005456428172176\
32590355953897320465404940436314003670377897362880574031490136425641494705070\
23842968138955815982933576455099191542590688344607493053551705469347266757086\
07046272323079692249975361090645667433781580487597575634430953715034863078533\
84013174220945369207798817526215079255589285638280157683324286830714656087928\
99523090053822278351949145214384656874867106242916421043333613010062912700971\
86430558848087105960242422146974907735637622873246320937059952428631345080643\
13455953097058331494624297314864849465464409827220119437526881532506237225699\
15677976081448696729738397332613934181475085153793327657195311275708305679157\
65668466956096336093095924273353649235946296419592128682928397647154439219265\
54198205946655302419379309355730450500693587171330391508771965672195654525051\
73101993313415112561641623890117599171582582526680334190111797940683052370466\
25304546771251772737798497069724218162120465731852763864938663425447238694830\
66781636846897594123537018765004223703201209016573229717394977281483804414739\
51582423450937931427644710791331865816104600806833027887019480749428114390299\
36060546259391939396934734595839488345657166291370447566632724956417405943476\
13726271026182734031843988226991422870688561478226795646230851967488538610891\
40544429062413216281295568876482967245962374968598313204750682564064901483460\
74802395294693645586473833491826527614991843897273843879308115714021173637094\
72821665319154066605785769842856278855635195285693720171103566379145177426490\
48230002004941178481451169588932171066614792966603094765749197916915314010566\
362412646412849426269532493
1
*** a(t,u0+3l^(t-1),r):
46674301973199947875979527581162276536839216565411575571720308522539818810711\
77497044259003617301473848304257041062956829849029471502999830792790233948698\
96468560412561939554776329754101348572474706264233562401735289833850965013358\
41711790973272959124792900459997953705090568979825244426066687781241244304937\
85331418891882142132147177149929249923266779628949661267011714653573483765705\
35683332937776450643250838003715943328536342726438013622279496634399191527019\
25393606662861430909687995235996620220218690435101877585873171171609797070506\
67747972029407405063350869735965402255947057840224029747486692292100387391258\
42424049973874897404265465474438966204297692643661468961789670536225217161024\
74853543246803657440857520064535019057520943450022805257167685387144443948407\
08401393785147191402299623773392524243088577865709826570323622715465610506634\
73244677437715447453297499314963263813422572499392941339414815842103857469881\
46926882209748664790034944324473952278710916725062089100264894639620944914905\
67509650387873546140029096685680691080192892028317993971067774205887425654932\
95956445818135557517671721075574924253533558436806356478253617070938988940778\
57239320670719554034629022799960879373133722520190697757513713776625078197308\
70655599546192128856914740715817409246932243574812436649553417308723114869817\
12362771761972714924735613467036926214589788908696817656100412149859813151077\
49632104254848635163186043864922790777373227144534526103807087509165502776181\
65748629957491943716601963952165975264398178907371067115450127809159988127634\
92301268615887383564975387700869977376502509926548229879050633243882792851778\
38695544935595352668467020305865200886559879105631636758316659414895809888017\
66995686375370764445878334644764142469657354877312096391963165453766451823128\
44923615160450187907644969435843786028182393169513264223456805022276109110589\
48178691384815640293435414963804292089640996254708458724658410905207035012989\
53391111588543820930318322840642344326272434420390287675787606379656514920322\
34648722504546454947366657293551124051906137900080297796276235123416153837355\
84746675492647037759824189447043366892673547061551704712563769655684687076824\
77681449708251048086703501286581333508789656034395169959660885633790913563491\
86454473123739631511709068462816836398807136909879272717595708488732232141627\
04454532845769385685266592440488310338757383300321793551620459844633559375736\
00866528151997417734396125150567589268839146936245309858388628103336652795633\
45957330642473904804526083724701918889894427770982420498823309833921647366853\
69852786749656877117222600393357139533162831708146317682239745910296080570592\
24092322231751518465960317969422432364705374608781962668688580231863460031954\
76613056729944955069342766605498162216343539878492694448227341635917509841350\
05482208234032418422282940808375350715436999537426641136345911998608288786019\
43765737413864126368446351781616334908640475988773941296362265654203236642809\
69505331242212243533697153999191268354526191151016269207313007110844761014235\
06344642486777968971280470598290151982550719971302454565572496549937809753104\
67615241755711943537167049849981435334474208546647555226285897214996935818525\
60704456855467700621484962976823848591942223997113236424039606557996900112239\
74070741070696291171155104566466665360985610535903580250210676920847768347067\
03429578024302232462977534610052989390347914068360685686231784518032498509845\
56436023152302057253970765162445097848699951706763614870806110103774331062490\
85492623241167597205392288142605228550179525373287290053165847606536046267199\
95220083043564907370956065228052167912718884316259298077156859746720191166482\
64375150080716601736739048921302648343042824756564794743682603315662752676858\
24700843285315571988500921411897090471511642854380237897270276270615551560027\
79123914316878089151754988331360743292199379515623291086722874980757612461869\
85478421871181860174041314898239918335519669803662582237091652864960909322320\
31258226446738436726726898162351358078073498653158571224827579553020452594948\
19062345257188722516892354427991214298749120637524426834048708698340691324160\
08431073379733700756162621059763435641599015988793534660238377985302939702173\
10555370058021275841661850609998066856779522060827625696396778232136463208038\
52576780882959584333968784429358590180325020248098490031965387674509834399857\
94321575078199627476299206779376075500700865443116304241848582748721086669165\
04002753420511183306375186567628911095666357158369909963096686056170860126734\
90144854410845182392222981638564004477722830083573706137081267332274820129655\
63223751163491667000190755562427406803583837612311917191582105255887814357729\
57976376191379174600351654454499521311578464076019179618384148502636616592056\
21002898358773712664401721190836606535091869172862922189615082248422541594164\
33792052540123120338715413537954017120551144961648525904087359745204193995668\
02632049365579909208004187037458884335507197394970648219521640397217555332656\
14085715241906987438088936822600870002030279927084281048058488358024750424184\
27786090055520978640922140408061029920095405139244050385883783524986110460421\
59602640594970575617318589857793188314349529672993040941821015781287223317634\
12154206825795176552830559596508381129313527905236651738600534074945541701586\
46544296980635895140824931321131876177106063486689741267119068315205375856960\
76021962594554815700992302460112271276966299006850123595776819195812888192400\
79531244229534375178127934243181567250482991817816599566159482768620139389974\
55741166036643936728610467736976962383317251669677488704363191070221486094852\
75306756235840212256550137142218979344313215648817946397506652995835351466204\
40473448591794883736615828150980468454555794108033411762724303720477442126938\
17073009176343496853268717373062726199788503908845392646587047705519119598872\
14566748301674044661489873667554057251281029605683625690189429234308847923654\
61631964891722706744558757296128309283282737543957603292812530756271805934979\
10226298215723918928498028822661078385878974683301649983538200892890255127538\
03393190502962077947848208071280057133634190395216371294081725617536421393745\
13479853667073998258176721788650734830288893003915075551080927989690369150047\
87750975050254059038856786793401905540408281125832259116530740459964288538112\
27422192085396613700844240683107328306081544474771987914530824745829992531806\
38459066834326028214664455926906684297346799379500130702077793624874800326976\
88607726759217927109864045507988949346842289726022162764966519837350080824725\
34091682018042215511113998888594988440806577342367412521915817362558389835633\
81667599429919533688964880785942870502845270180635679895288703222243111239117\
57590617736551390643093835577383276434782516563417694343774136264737472239879\
97103818661087022284456132441990506943824620398550605658232586618153888812567\
83244631463987011459687980397197801705039860528587948882810839994431117689739\
06007839822571013738195093201161926183374564832806642695087186920261019943822\
61205461825811596938411884165750795916169356812278373289632934577877925941222\
27950256808894939848098392703746530633754262917722962384525080251545829279411\
64283314343219480406448933241069329302035389292740326402184333368108470077841\
03073487480564365973852725611032373126280497439083527195820398376009919048978\
68208340601082567091173780514542391312883046666946136136727729015394941110345\
90357676189694536380791920214920835933380891175479551862238456272453182271172\
24215242146993840347861983910937532631132110602470455498332939000233542473916\
02637810342999420735483816717274155136883345921486894972973059706510957127609\
51775173145714948400445866618167795441709459441795281167191697154890653668962\
10121315067675433501147881327359121455657966393433137938405504721640551059847\
61505689285851733367322061615244375650816738750654772050214347609697276698342\
79742979433690301636209915061570288004055716348151393658537780356168936315707\
92133006035016973812845246309271725461468940996581238325464968200816161314192\
72313258381794110230838328837958635820989770394200411045839319180002012534287\
96933014963838964721409578596884890001933887357245108791465039205691816879644\
19100738020600882493620516572025905765124016545176416984914440554076815456399\
21410249559299565954179499097402300023464115503880455842602867200228879288061\
73621099529042366352511411421158320064604395170417656682192564374373915342158\
40880413400124459086450396054725628368926433825178249255877206621118622258930\
22013120741876521824954255453874706157890266488480251408813053052332572691300\
44911088933796296521158613517629547363494473257173793164287621932968900560736\
86214200112114092560618774953095955959479970571323470357230465885401942575944\
81456787863937725137332159613993556610790504963269986925254290279829352759426\
74965048841974080840371895812339341156196259409634721805078853106302839633665\
93563878823734847497652378742819027689612152141506167842141576491810523589729\
23845312009472101744865669919427886541672015749629764930212844549395371823416\
81881696103558608684479302854408386701210499975353280852265735724593511483317\
04600773724034282071534258168663945271150256779811432158807276766688704298549\
83118102508467215153798786983842918875866798853467950790097570816548078088920\
08363413254269784922958224538321854757500261633494208712416582087171847398064\
61581423658775152083893556642239087544345534155609455786814066132949885829051\
30925593873891799872507369326932445511161563060483097269458695556586751240107\
62331236700566330516282999930378708027068806272903292519447727989479147977921\
80380855578933249523592191323977011901629013674238643462938326507404413840017\
45416578690779285305727307148566973833326790560359173263745045804173459838024\
51154654273539811038529752213302841884692200986354310139029228023758447883281\
43465537666982069730359176423684771334770017418994572141921622237797072374376\
17940146726661896002358644198288191249042166901325762025418683651467887481831\
79417514023450719079826703449524126772370249047672707604755458165758072230903\
29251553359487681830852026395745991388286934037063345464846270716983945554768\
36649125672866953509308284958200144994922516713500856615325026108375519312383\
95997307073684836680378550326538900424136731785256523098607851226521890882065\
76209175760847213794352362423054830751380332312637424257873110195604075718329\
12124118667175588573830449883393492296254056971625817799333547475404247353931\
40142748230815125790992925369811253340321449794856259842042148119308820106186\
04003614272250804824651057707862330544457473083146688280729239107199807891854\
88458811631926991647950747050322177458446820800209333168738051288548899363039\
66038840214197509108085207157370340441980691238763430454728821584090783212420\
10638000000716240894258451669224310895750827963315704913612928967358080245716\
30736461510754360069157272317730043061762537766398644852595472026272057310317\
82763746387010944409890958586574250026130387583697409693215522949876056570354\
05176942704870247581964761036356363426922136824093173495189452497265397698098\
51462906647444303683815009937645377447577905926061459665113578111764202803949\
38131182772936538709332251634254224647509189437826657967342417632420748055507\
28689805992624815105524972794048884755921485984862369925718944422095447986998\
11321875052404648872358603780303720601946858606147888985884187551084921395256\
75331037335590782001796353777842819155700572333889508872144069897045512353061\
78290738810365257947422367382485503550507421677657825995363285276291241994691\
50483024434988910039717819216120237578723538721377880022293880714135167414107\
42707298204295095537941726119958039819782033986474242171610633591923181420214\
37473411928301512515395592277226911140465176856483532763488559156371530120339\
52165275562482909093205712974954061400860710264657026462872536666549689068406\
79107265815201720593499173283435222808089604363743681585728038337029923857042\
17853839790628569950492948443266679965949416657947799975574248900446869584025\
76435324679554145517349147965102646715977751114218379463145894223224415797670\
26538586011890526375495061174659622433189875092479639292853806161765274782716\
68843061856198932197779166832757480681987452756175163300962032356214986261175\
58749004316102120070913816810224187007922470237771466586697498528240217808910\
97074199966696186982579123229835214322878086294348067126426616801950402407618\
66976329177719967576517268134955774875590792039644694351865217592800012837119\
14298768877973712360316952534075386463065824417181765133989153377720275049885\
50886833024602531313059000699427438699008251843737388920884154452235823606512\
62866008087937344424024429806790211720246418319818368157564261344938401987017\
10386663439832740980572644143572149433751890908822302133561654584506382726935\
56539836536916020042479594661500503668760441701534983535847100740950254194663\
66377192117007568355152615778956052241981599092134352216958990818759693756150\
00108244254489119044670321671731614173569897494845784441420833223553027303304\
80032315181114583171070860576325879094911419620854619924748797562085465918230\
38476301955295163736579701396057063155375709540607014716007496978085981360757\
60866429995271214914334673467970201087317561130829633479294655043490003265560\
517320409417152404785157489
1
*** a(t,u0+4l^(t-1),r):
46787314810907453803040010698792209409809771569201918369714788688453958807832\
14246431775369243493487102174243135593375611519366104605912663312869629188284\
19220300268282428512536078736556799779671981582064636402708014506572153790630\
47139664559164661204998210146341774416240909340551213540899779034948850223351\
74642148719707522621571262324626415177318273042094817831822881032879957092014\
57077239312928451734396723810020340285748295130133989442188163696467954702629\
47004729197154073599541961326156418332132052881675974141771169164761394642105\
96725570024635994421857772568255875384896082193348058875204577745592155883731\
20492873339429073911297585245563515759271779066527477361212890077475157154150\
71644956184447249831755480161543578425698960262250463381277050242803389333270\
05516167135716555061869356518606549725517363768532368523278401462960684624084\
21121783194223233040351488417420801982462336597454425458880711279978200950438\
08299586525026506593400646368843138603840967370885483989127521503155136064820\
70094419517142005089520692561432944569491179902478570227656316032051801988237\
88198471110673416010450587228300287266253978675152134581106531397987267364363\
99266534522222506949967107600929307652487557199416341093488323253081797514977\
73490116736376613430418166238131737114358229636736921968317469166613485608000\
70019824478103399464504949092865102791380563215981797844129710968624606887520\
78323707412850689969876566973554565089182847549242842147641971498291811499610\
66876350611142045275237804058587684647604954158962764614519014317172482045619\
51120400016894374808474117453172325990004937311358274019193612985393404941007\
87457519620669433425533526408300709847544285592570212149983285708878608459175\
09772915640202170655190388723807154921157735881857646262161623481499542505508\
90552970160838687151973407618497160812754263370892230964917959513855470149598\
17302610734415678163395307009721493765402838860652062740940876791176059310841\
80881162706191626792135074227665691406965588014628520817859731334570937474608\
84127290839908552901234373170775218783266685449475165345419761116451059778850\
65581413205704294509847976830692382308878567756615994554482810260177870338512\
00387700191806135370206415333280077657721350116802906448667328456148760811829\
61724338676097354590429913664905981281128703827336607518364705361586305342938\
49017376750964953205085639879811526586550984712671240993634068706242841601827\
37914631125731067656271176301053225078206796202434765814462208316661923141385\
59870060256620330724149633564229042180184729048878261710684867484851239733359\
39755578000866700064237667222396745197892039533105509734739115755115199409746\
21729349646356243692270149247798757866799092222846810035925114324434557998133\
83336090765610681352803644975003000381516284527108899519530555538183653932975\
59974901232177775367615345023407736552520382102892565206893965054294991664435\
94961296100096242897183510018375696494375682952427146965360721503244890968821\
34080404683476679958718212483450811377176375633222119738081319476730583680129\
09507704575123678339249672706276326684687646654041685690428604289768167645969\
33638523212747565676482224304824005395816761109714498459279325537551407818086\
20173474910807816119357807923498966869404553837299951282209193983076795754157\
99673817925589018268421823947983533800116326299913032018370993329857084977447\
34188487414191584115430264718067645538992824271916038436077382059238388336745\
91681630956544919378072389291167725204265811153995488030299587367948118789034\
41631830561364128917754012811231391331172696136902997777265522782338796984553\
94724247893549326032871213085747209481514813818235712842476852143201353856958\
38865162550645697624721467925954712866875858230551634440398541822480338034429\
33235227893754592743921020495218875194202954338289148884914998489188470571069\
02075788201422588156965048835795030806224075349801555714051501796691650264440\
96823405943509177026762964571117012568777586679700506165026499482067352202035\
37387180990193009212748028666376421899085783153529415222950648752906700664185\
35331261347399833225165701533143735398746091873934897601201369009958949656664\
10388533605834750879058898592595792628624679465763979054088834106332728902420\
49806109452834886679050862354816464113091336884219460141182242586209432852610\
04762196817300890833566771800858247783667211580418341097418088371058284362085\
20215816180083888075515427619035581736780044294068159700061291181526706733739\
28951912629761815711475368617429465359820512986840539285041230090205172136726\
99564091346464662252736838736962464536990924103146523827485822458987349960478\
04296932159044915588568941411246843623931498236070541688414023186289479767796\
72160338361334087856042578557294919668265094739641502087193795351311281523271\
84249878742209000104267100661032336817259161834298425633173472278079739031438\
34358134991794120630092448437561653965879355966398280204097256500035196886698\
69950771034745962256933979257888566864164599809970577149835252117307670478740\
05403114068158578206704164272534528282906866561290296256407298257196723185501\
91533756133137252196953428883625342341209437597208321694324180095264527192771\
28512090087936606066755196612896803782423015216995445399307265214171696013318\
46566202483969014752716347876403074546091526762150057675013610428637903788030\
98472975665819032901456468685105561107316974052032815701179889303862047469205\
21726616257011364891551605855899468059719244040765014936202428927521878236450\
19191126176821383350472069677184428188135493008658770509418948828592585248061\
66287754816393679916815335697599182631218746225778402720596515988067058700409\
29726385185563796305597474036025804960159010359832033434788751429239311154984\
56067815295406977886099159454009476852750844456963274745200633753698937144194\
67961805808731737765746365599147623841918742417099255582777331114007059355770\
14117757377465022977861519850768473854795027256060583621642672404367707119595\
66865940593639710877112168330743632066050976617913917102238226956650188031673\
96691737194454485318155409037728054362600231280597779886646041573018318699275\
41415934305632688306075443441912696497153885771475975098667879916852490210679\
14238884789754564839915648475790324987262958120147315443456426604677512901016\
51643834554007700828297117996291498532031545729042506717297158717736599164112\
54607233712722029230386236423260130553796027633306544785994579769427643845442\
71966231645062895111068001825034787649156355794462600752203889977477402749076\
10371910116988430565335871284037348739933917546182022723235203904752865524058\
81631855582250550173368512203095218437031290604697599961436194644307925888504\
60073574246941130622836466453705444039171772045479834083897150445541520709430\
20926188239545461806878566414132388484261408855338802562524194706056449170242\
87653706841864472701609779251777408897683759915254118020601188522798329221314\
97005514348887706402689646209297554251541167696938040768725636217177924270101\
62438851541269732899788785920777330362995326490997457810571659527816131372258\
01789494421031479739715544902229611402649185763397691384765217712449058933816\
03804857914969745997851657577121219569913474208080645102163155506392187219555\
49668988227827760020023870125430271987996734061003620170712624732195899787472\
60708047982938613833353579668201943036997883631429976414212215321230282049097\
27453397115855164105922385309977118652623683583815255110424406325359577771630\
03409389691364498938614660941833477182614258950722843755367362946236361889262\
24758136195775907757905233266654088400214754938069657569757473961493187855208\
80126037486687070664625424021674334689272893974565555735619483579892339590388\
23329108189651304207710868716516870006943622781848054245078359859866175832809\
46707565225224284429722089272461685914388373091722322291767261391668736413503\
42042022673953069283465698568307921354571742960704783604815350872674751944585\
75819838948057590502157154565351329863629701133498007202505184182697190398796\
80249550843818467696169326808809913658712207197541483454582316792101430469917\
16071886126059955534060697672917373437989745625179104535054426490365213533160\
33729462941959640180783451668548049541890143743098002517352363755826663893880\
61761998887478850732103859227163983018792597699038829616839172855660536559199\
21219959606658644806368795705386324962988241691541183338589799082069627179800\
38448269261558207433268097647359671929167601938384769652367364772374820706183\
00543562100851152691986595560911404708802769016038245016787320922864672191760\
55964726361106247059397243965869560167957797400074634584137055602096089816460\
98288597623708636222178368029778771449120367865544674019406962421910713879285\
86180820451368606101927779250803210090132464446798829849620854422654731783150\
49208499214697864907640469927828892098952225314270640646622944735712716809691\
70546078015925591931995072315516918253426758827091464472887760740942798083142\
12434493542436384658663643582390018071427193672115141614156447137069144712222\
52958738915064043879841131589934975855332238548055018598324740056778895726136\
95639278902840832918582158309261675773126263897811763372489139443054996983276\
65144601263317658057179619568588071046625196868866665650717221746753325858594\
74602649972168104294607016492278373885251464225994507571671656944433182394220\
13226278661665111278703886098947331403402199312994194689928486644283643638737\
89575567541726181507825502299968480008133295739521343088961315687751217271736\
66351563834845533044111503393099352158888346506150126560668038645101489136572\
77494266329381261098646881286142336860064130259036230273732105054828976423388\
92682019878155848190719533191589547039405355111706533640814690494105150919533\
23492647888577782364578947117449702583528550343798299591260166980454751508334\
49825730918269931646371228610913744649546177259929017911762954968125901752248\
21779013545110355613483532783064153347687136105239111057519495415128300152522\
36869783885806355798974524692715039169742026869609843773664249471447228613749\
06244190812853747455322651884026606498211339239071430867720967749694532454222\
67094777459631719801386777064985085798428064627952118698417327062545650023423\
97996944379096655575916779594902808784256469538473013653134529803553184008055\
59183741231248238221977529867281125364631009586189347609742494934092161804298\
36684258510873478234532392356282566419059219315815723105955127411574061373821\
44356864717217175955365148309261273149271621274220553435651546379703046984328\
32976023650260198734796782331965760007005036840364386379189949930735717975692\
54376504379447538008245854457760302289117176407803217792304854698258403068348\
47995031514813013419495421982647412754956377267037927195781000565276620669003\
43680580747403798476385655600850656036271201387041308010309278779209647094290\
37298140436553326223300239687793861285328917135139713884348069231201562280209\
56718874250489842781189130119952149703558572966801547140374153556602013865548\
62140898315308791732917328946348037556460001112955756932182146492127572445827\
06400131428126592007102690239834223871055120206233834932223809525103812704631\
44081460900827946065616014804322484899024825795131826395537581932858062859164\
75511645685219678028241046432400118653919623310557473119805716464460507736029\
09630943537401146376966921880717283992618632440031528206410757846846284422801\
98274228260763982162606445435946102492024211774685777336939597206172294086286\
43067916360616425541752277152607571744455295269322655382730375151033516014933\
60320498468501735569571089821668277166852475967434237196320581366548605776760\
97578624978415033308579121441825129195136912907143928157941081393830409950219\
06733223865806705938759986958020892216440101865376116849992257402073116484185\
83811119947498368477902603396542230537899717236281313714489742108324003558887\
55923544994837589260501610585062909007158193824619876405881913268647872334916\
25061520696110199335856314138843056277358586456634102122255224870533628273160\
92473340613366169393472350255477979433179318393197068256386777348147709461953\
18751148710255245143299145902064154335144767460741910648286683313353288475146\
46457565639037961064055581903896086410025685928054650526008415861914827506161\
52302730286843481670413014694338007269595170559458880403385669238433424484568\
26445733140112052565032252202016497388086931424787862389570858088841283711595\
98519900208746298815466724012474040507679243888281113293802952435853430016353\
82392736754421468708663799050536781594417888388408967219545278652346744103068\
58401187204554762511310456051107045994453392999305691926081136799942358040321\
06700118334589462381613622977150023296342412259823920128925036182144384922751\
15802729657157531698658871525450720707462511342384514327437298297347453807808\
91283483448161633815876694129391936720516423332330346448655024208197681474458\
41180368828772959558320949612254742176432985143911581558936318902550618006273\
01889001298888942612671145114982580213511820881703684788912886680306327397206\
05435382860432191972139257075295128977864255600160181013918220228936932938421\
76109875266298879982623090262951365484971737828169037890668286176037246707378\
64235324478189340888484252731156474930570323849422043807329549028880378410057\
26389109002523687589672045558691678571790485007659729444135562198558986324314\
901139587163925170898438742
0
result=O: not congruent.

code version 3.3a
start=Tue 16 Apr 2024 17:39:22
end  =Wed 17 Apr 2024 23:37:00
elapsed(sec)=107858.312599