n63-L5-f16519-r2-t16517-ver3.3a.txt
p=24314882309710716127648332975407942104785017269622379756597442419494002522696228049642640587713059558637161428513612242914735964110022792157003994854347403820258137034018880180612461651278955914681271145930880391279560330145763297575024472962937366360187839759213536428601280830200073536059473117369952935009610545376705259689081092460934722623366321621492491396867925713588905491874724433799887559759835842401789356156653515633475075091505193639594491608050370278056370790968451122597574459531257248416849730296822392855078339473650277972451898051135559219307516684152249443275087382279547176275440755849309402726276035907413124240227299179926466549375279961456195531720319101762157418840803344498535402950107584025489874165090839473561660343315298737425895599607594552282180028340799893811094361994811855866893556479911546998140721485526462077268475297007082435561908720297337516356393133550934820350607493076903999330305244011719647373830934081522525328584294543365540228606173560969497399338508081155356534496153813648727130480243354339843758991779599896684146170830488529185222539040068820067763511052014499010895706230366293372552374043250291653340715540279531801028863444022885280691254245875423106374878044033598209934449221027461464690359698395291736048943921822913409742376139202418088222926164806455122932801465281324101885507429202990794338363133461613916723472059997597183792125383896632943064433926857723487164009962791236210151767313891315727266289544910004231085384597783215135416261417438367899153675218627422807660831764548919392127561923162045302740868013389975616739019395834058620815968868290998203949526786612459933124191600458672038713156621230844798960681574291311165275331513642342631174796562289254727728400096290242882404838437054895367791963100889339837429949470420262553759172721455597074642235444203633540926016486756583157324158435895282719727373697558301395644844535543035500234073743175142857199873233887783599367111234104126822257732343953167150632897796223030469618930677903586074868251270340766374808445355928620612684238493350422625202422699551350244069281583194615919012213308492695817569146588673233743986746892805100535859402517049430467240453877476351626735347796572144537408213033705344809346088507653435490655791032983159428620901033735569638034491383772878121055531847915213296514573037713769394034154546533897346939799046627638633411525539291987009629581837437716456014921517777198907243096608203469226463307133871125093850077875810572935075511063475552784699893574825540303079030197916019460781337572607019314362786240534160967278648576173483967839244294098320308651313775820269598651540769817893206916185783519766231159485854090455978947956341611964418687557322806003057915517412328190578072325488104336898352943563954211485875911326628517754659118978201190012498906964753260897187382935165682901954825051528771514646922076874297228691229083000712110687439471002972715430991762928197553748144576444435231707294968970532385119043171372081262836594360957716204560737677447416638110840063043510008611237677883503259153640561735924444810236519903894531760874316015471362016278451708596617081429892658650581124993363887217326600698962980386196614886919724066321944288473426262826869330182681657910206176872755819261428262769351112952456428106879325369744817100838314887349982190644812997861116866681596165765832721658680070740446601755239358708654317106729923772133608672186320385228456115106891693686412233626365077469963416882266206950641742690472835027994717053450721098831980220458695335933542282039015760607049132871230526736944378838483477040921779281813805827623724035269787797138703938158109899422983476493078260051888776473285695215208413581210050276658776540520824888838989586512868850722266203252149739204623665945151300430574137085588047305638140156557530495020091663188879819217018141168939808071889369702365290580076317081516281286598593476330421390496531628186675622731443773299741260104304655263855889801398340792633094359140991312324707157013681916864628856925443841473279692224798670951944522988772062053963235694272515262919912346907253538871750813825248317556779870449073935158139053748506993335391621685870678426183874043543787048518294313366522902582440536664303646831307532455725520188875276373910790636332923889599271065866850463985430366443159720669507868698036370843186216072463563107958060046534257399985551608034672435692012609210545197804360700486817730969029455675723926774538734607111632096717672020488602443057554962858419361553973183542421301588547210929934209639865345403335496444415707862710046521054340252232218872765170033091048022605887666828614228820366192351876744290310421517434280061316783163528186876795772137787350257341630771055632983823709139391914751208462761813804169269749706104297300882274785780271170259631245528254081986768235056121018528822271741467309286529421134420025206838467994219298004244935712951589793918883437535644728354805516751757917321079642711956219307154471051584740438011393138414079741194903843345621960492801806758102694043391046320419320612359031766192651160105413265728544314008964789946596995246901978048624849748388631911891608492925343393424890008116492304145002159914943222638588159529715222773062301769400792726039630842142416621180973851114193143159772782097048071071399873698321245802171309278729934543033636005897436557129907061264123042746436958747224337525405893808932256307781065142701635095071081099244389198121332830191840881137379058456238087095451730029884868291554207221169348557266288764827087680758901741771280271845017810519791435204526783887710314927945697960974923222158078598122593124514957624235915565655800874648590770955979550870355728906355211741113962005289480426250200276059305711522608095975049323856371041621073753140116436233702697733236342225453041705601668778725380709943010760656296047776975366309018787715375138500398567547072428671653972465624697258746224507138447995532773896533091011479756692290007056135504994176933114476879134760336676483074801344926056889679779860490406502785387183608083443404297880926090464453927931668312348655582464608907722677518431447268702240848239713607505934299013396314337430731626938248950122444516799295431519068567143769732512505745593480245627551013071188852612767689473539203220054629484618702674042114217718930402217910678052776898997966491914037932233367979205883705711843875564569808874388641114976534921866670334621216207813898744839106822979973756090942437823489359588314060858695280297269128550624256584261576847337460671728677624423342218691791926523100763905523568861045978647060027883800282063062809514200053873638618274823869903575977289120099773919013483706536606010913247077732424286614583070319499580597372628704753490517383548201964502555710806421945046289431620071509938562157809009554633708209875811061282611621854301067636570454651412072549671113638682643087763094874279171068309909684390122697388074258780335901104895052165265750544254349348936360386010727527735386342234555911508855943295694489020516838882952349467982735736361905193325480996011328107617397661954569156564925401049684848142932945338836237224477409045894482496573863041525196655637200954527270345382781802535043353535810914985128069381621890631341639298298240832473995365893048997804310812317719376361619992888164296557429881407775449973790802008834984850956143096599371803544479036572497873124388108455854483739667877322721680765213994690851547797968572776933794640835688155892714377265986771097008692648701542474921435412357010982463881298554714821848199828315336344166095573856273395257421208412839809288754344371408506139487799209460394154695053052098324800864676616554189472254872037811386504258776833615172722907383459149126301116900287110896662732557808234513255833064422927459428000700074767474690515509864684330232437601274309745023497970974955678713469687115603213616521747068059656538834507704912650380455010147538646046499893833816399783389751454947891618636172942058635320099072993664975877125167933202301808351103102349246249503365283435005036720619662207562463975513986315539156593183189572827924711782204002415033175922855848166897161346124077344757222805088132829221412505119460856112981021275584247608175617347342889439196847112913576909699308309210335102608713095106803755715214007009585003925056835573484307995587675330920503905002471681571286087638836880424125112531925065154287177962096966726857634721048773224537406743192981977040417806839755760258087812655583377204551082240640244997581550829412719326552888611159618785589391209112231583808229960364677886028389591200650430327910164756235966323257282502720154839701263760741384349418602982613996775741277537991211606490785591400229962718856891928061762492684779393330734016729455085314404884137190227465843405707270211294222384474622361311968115023382591930083726660554994039406726752571171783498881894530487059611669471165140366633720024731966490836358719299153141899394348173496768027347584006753441959841964005723745539670884303752682683754847288097158572951513734115003317121844409578454709395466039094193321667517761737319994570041514959294164749235132791402887125388662241066019143826934060352029597235068447103140724287606085171978721078575135060460310534973573054867336654900779956459500553910940816597371524503482014930451874213858718218891847306457473162749250488357545300220557526516607318788616599858174589918636479387495801361878896402249332527243691320902045926855079435431898430584646278926392240499825095132016685469309399141803166516666374816560521620293389492607434575328149880985468845151952383652337909915844912090060505687573238125157313701249945853288006023269087363996900213164256484836215037103592565542917045023057511768994654997259622648534341695809739836069321526480408517786991723577763690795314026728753659510355651010459271452487689507391228580958799745995202882182319133723727473649679600642421585623912087159074580202671626685574756988521639035142309408498635989031185578328245164623797381754384617569210962998041251721977819363403196709269578652725551194103733752255073489153784710305262265317447406318200478499195942468481103096365066666712769762793438645234970357492851788637093285193738986603176938199643457537362848645937107610379928421723745240318198284143506988319636319629430807062907049696366816607867640842887749231110194486357829535153424100904900874531840128154616218223771909642566164036474104541399662563990396962689097671843486029212287401766111745048491739351678130039670686149535618907704679184231041868950201317028482516707565697590351134417755863456856561102624690586374629282936554031413326749254985026582546135214461802166993224891042958453413637075923923635970907019821871966253117342865710382438774208814908778444362643695288388481279390299527996930087452441346887183725103655785966186481331294037382309685251635313834694950655089941497050976445675958873214481262569378468904939227958185033717013797622908303136738664460726500652955205620354133585581226584019804671427217925344958234210821228498616207618820634292371920922844225721983179590412809943835463821948120163132680932538250879927842887859554888705434138269395565592926627329632026821321648646692858267422052708078650908782985458988172513010783372008224534425383055754196000181536233854303001110241809810264006249097804153847511179367930368456747170331184323194686293901607881728187792221672837208232289890412110740715782287961985856730095078729252124790883851448594943009424784739941634439937568354219061894738089791949210372718687615144858869603225470790164308709790930151939392089843751
g=3
*** a(t,u0,r):
19281701671600597889225128049498498089094518694810547146981771838658744000498\
10884336661398605645622999926901281129450863138561953924807418050416791949749\
12294647026679769719832256820894642120403422480187231881502846913418055902949\
76994407059609331523628956929056334387880815698348658314095162182074372677462\
62116248372727093344130632152123504032949304584354567771626509087600205505665\
64760033108348895498230246189594322262378973457345475636185561984318451839436\
30498702037237981740219876546408286997994561836125380157534077123202604670432\
15435515455049846091086073053273380851714429414768091078642451938850235636193\
68964745786075225002482496816879736545970094347630566542130476973908331407570\
52187338574539435314132213470212917035702534396652249031898778735210488822479\
95976876247425431579219782906188580170244659028856985676952559213802248442727\
39009105266163714005936151957886504706197549058913125380317420099848714689320\
58501293680367447930726647362585567345572888873401284695633848811437675436908\
35619773185544997422344061447083297999149610088048122271807052791346857740364\
38814734587745743137364642642474977156402950406804706444340326162974812810991\
87423441668718215888711110148027588164616979210523355278288918643380478018232\
27477694149945524082746634668681253000557033392570427838751754396078044869151\
89124857115619680900127952073913579716999103219648350598359617133435780945667\
47155429430029923850096103998174725321059900493450314650351479915813371722167\
60911363335525070998604208960238509530402862574402886444837154628647503958928\
72930779571566050675019250735083346182506640740423808964084863070633125547615\
75731974741783680726967483939163726926699533200636059925575820488413009754063\
33789031837770652161367389537899908862127635816260574703688058453202665902673\
90052464910819499300432682051310239681142884801912927072534813979543310739979\
70443758057639664959196743807342163733006746361716685627151685620478337888285\
75949947447301239429811920864457257005038174875486155045188795240486316240781\
20275775437573705232573802277352230971672513961458586011252268851417855212007\
44220743546940295473330423776685153634707783332333244817874358981490285994444\
72493650619602019836052167992483874684000113080268171061816471293572833843381\
14481865691743440900422891556454268963745197523067229613516673318923499970367\
55396764144136056418907019129469084555401380596123260643975717436295339752658\
54569863625839708810914961983276359731873344377561030535109658540255715980219\
94231117555177843375148802733361133582670156048366534603416709469474034323996\
00695077366316289689488743589647051968320905572786496520725219968004760491824\
22547379173067183046558931308453532633117462130947228229373159130572937889828\
77840192329569851604249270053079762551284113541120667391603938842462156897082\
99597682016414579444681349713543679911633223049335891469594667586386541250176\
26586231581111500920696131770235214466281956470377513950050535736333677646800\
20606601222786491204371387438849103936321813994012348980604414294193282394689\
50216664978215801394021896169993503436828711478561618084508836965456588084734\
51756028378836368637333260026879007890881220491711734557390487830991083211973\
75625633399943542776434462539156053273411845933018207594270264217073788348665\
54722793498260095364674312612376095432571297947488755305018207639960964783705\
66853587718133670730386567527850575945230534827533329609717415519190481145596\
28734656368295513019516770437520654861656992797651130933249012657075064336809\
89587637102111858901953544958177199810623386421831373760314823745401395299029\
65693949816138996236688580770239689241891739729345097097047834802130561315996\
89417231309922229593811502424258968590110602211477997433155563056602719698995\
69869390409796633014136849318742104704998622757099178954743189266567094504981\
24144529070887132151337104514415012168255093268890878169663909538594696926780\
10082701739756754300005194456424110602726846267300241626637495811520337688260\
34912226694819262713591624237720612508884248558043826798806110673492775511849\
76007365068354187696628831079593426534606489200673009624520879284590555810460\
34954904910974520563252983953634219158225264372661156305804042696225660457149\
65555996895447991963812116530223129475007390499652661747875345574792791937226\
87323739033750977809416451125697461200864445222195523241241794044628058942565\
84909197398775428420786466693454636055446107416169016661181885424251714952415\
03765999103962341858858035486046460658440358350849073932209216543439524252697\
11391224746173734464108554672655371230073454914009215971793826743782824441321\
89048450486804216563351290668911960918200201495661027798362412010819264689197\
95091083454550390535038258222216164263325384088624209048677852193299047305265\
36875407191320144711695617220134753778839770831097011834670623091151694070775\
95996439051237550380158875777039054870155072103995039676933560614909835762642\
17830959595079989022905119415903317366234020370610706577674565965766269585360\
77478414402843561615667058128191057349554390669916734303475876236523476755874\
77730782146707918327591754363764090997320925212456007121905907723699635927197\
22735641009109078427651417230793268592559505850472185106130045534889797310985\
93777643637839718698671281254997555240041050706417165903840530313482863174942\
72578189363805965122639335551625256998162029591203596200998427687479211218482\
58032838092625673352676667189804016299582449572897924508286548899657646873790\
48327925207038465816239663039136731170080063411021693434212981874194159335579\
68030666932219136987005552024863263872934059121669905078805308418090812246252\
55573099123742194608117189739622954279737860938483053114115171356328311216347\
74036139601908104356505009359633248136809178384019209302273968291070337187019\
45579780164088189150294292374282201082141138181022360055114862401123339333262\
39302456419384784262072542123341529226902984807533200442765887141465483051898\
65829248483081606406482843593662160016524038492618575603416078926045748969995\
07411721034470569859755955154554603823079597801651538649469844510783174665263\
63113516065429368892356708812036601210170619608219574389738311964849812971692\
48387689443486382408327211613768408087699265409289075220589911762327726958257\
01801620314174470985018218412771946213737450093978824170562556298347826479533\
65452760121924777752516588153503321181302631220515396574651111808958803167695\
85208090538742808783208026106080751026577862949219332270385843739019240417639\
21930402695753546244527964217046574117106231191885801173531940270621535330502\
60945357275734418940645035471319430439938606312680841356167710379422590997732\
81890577708019010680946106711860211185362367600880794476064272179542429193532\
88335357499902722391207177776925792835285666542049326418124592853643747633631\
67413716494562869517980285153724157850526678669492602421707519274716707381279\
79114254457682453061043151817159711101613046074663580037053856977353188919311\
54753359685961342353033826571697583797213672990287428872128063695761817763670\
55740181593699033706533786106506929494161369392002837826522763033485729793269\
85323418121312811030943893499081830710642983698318934059634592997334115598584\
30324000845773458256536971361190105853733943246197830733919294809479203003569\
40125383888545969410289379353898055583206559019626159270653919963550504980151\
87832515318785525881847416795146545476465436031428717004189595636593182921610\
59930061429868082214756033018402107718760019908133876397700054926056055566267\
16918292846814697789845277403789078212108499150182700707622922501171927509479\
92789327042032318261269828199910970909385786975388885372562246385406172092371\
37900680248024391350182713819687659821950865269453686138247731020925646731770\
70313971567085688556927472251498113525984429497877210029056831969265555083105\
25715678570192767894105354691834192996901187562008738147532640455515929060742\
95787993226946738743230178105276278036338909831398532197814618826733483979017\
45424971307635295764609995731751700823046998146314874415810216405028228072903\
77367805357848514305249780883856488397632587056025817102942533402242476016295\
22758561686697639589941194513921305970339325825911482225511783942693312525442\
96443287773915121308506824687596349448947476393334392477684434889333572580116\
55973245889759394987153830835328326455644291132528309976054046648939155148920\
37957363687094844196953782821647075586009081125700706097730562405010265374199\
59596666960043486029867497597646176331214237816576667349732123942894614398104\
33379167716705816354735203470779305132082392631788466363543587761812320900821\
68277142830821698077242864259564406686495776969723872288259996459599263585691\
89563620512945822115791250032760651695121294343025024657082787883102162267917\
78908895216521289944316283308762703080394719297398038236043605351529895297765\
66990300589112720752664578826543230731207918503804138207258652775563183508883\
75532520390715213542395400556395241820110273249534314788939224314613342362676\
23827205389063395631074053997961244942723323246440422844152621971810158293704\
56866341173554794741546774565389302129590112528758773682175938994610467483505\
50391153197630477622616795714584550604569001695304082341585057694755694042921\
36272027264614346030358248949043320915716535318105475870985915947060740927855\
27905943600716255413791258153100821029450262542340434325097979673363185054723\
83939251376067561715618931261237839848336251589963547581234914020776218060155\
63726753342307490211852766960379937296368753244980547872815428417047996996484\
69837206941042472174753224199960779922974954554536244991886290467163613004396\
89231577162353519449911047716435229532493644892657867637695618235222855621476\
79420549824023630396256326501528741798101024557783324974976509120706165738877\
64523862796495418690392553924751185244231489044755332167032846068328127614128\
26880760287732964777123690002971970498963954605084436797166606800684023195901\
65199171203125129420226182273777936124426470032819857419588557057907304291588\
66041959233094403173997622851171461421007185999616607822918976597548678513609\
39418339301730163614298415546671323731227001732384293657446712615528410755178\
73499045077587161136209692426086553827327689895127527207297639673579321033297\
94498623823775055147554174978667032264218951968456713314934918314683892149751\
58635016376319311992317261827128738976228126335031283238426929975572331239325\
80104173747160146613863000088529040921888557003903918840998514027038422768175\
88213766653120175863935037492216266106610514511243465549680809239649013299324\
13244384791412454453771884421165343909600526613823453949305880757121458854116\
58174579380981059309521620207750964440358663574909959818914844959328039972128\
72529543813796349950810213686873469107681121592031260799590852250682091184256\
27338597066053557014201207671443324929266718744469238722052892508333273947947\
59022266130637957645036369206565455650752570156555934978598808153669400719903\
82711858796957161716441715804045468038709130958694863236071614243214210353864\
59083641217517125841616807770840731737591941514966284387433760917356115017793\
47805694082793336591268112770510444178381479855187972918123419940265264172476\
29938509332918154709975326614151973582854615228108048592893642159795028329477\
82779410072627026743409271647630683515190815472398197269308067376827436606065\
68779750637017066490746897762080281755121400252205579932876321307742814395823\
34464622798804217551795393569555345586940010763652387687821862005060726291682\
93386231063975050210452919231786559906128205883096803817387615354353854784386\
96539743229693495917089419873578980647385429877371611087049170489571608252730\
52050157238255659192788098730835953577983366002968068642076104879379272460945\
43
1
*** a(t,u0+1l^(t-1),r):
18795404025406383566672161389990339246998818349418099551849822990268863950044\
18428237376117430219503882652578424102226377309090025704761833736408802241054\
31530595399272965943796134328564386329220486225958045705424591001352026750290\
25493917600350584196425200133872063659308790081744656843373972719726973618762\
42895157619316573965968447230254058786216661341369584977890657660422394521916\
19873273130836943531061765831723090931675846762330457335146834065420130229362\
24937574621418612717767925057217661853026224841519443709676975556413131664872\
70531719352778727652471039684968881965164254650208996726091570427151616830741\
13757564303450376957022660831586426670914102056391460198066656621476847639409\
85297367866480433162451703672729615218913063163445382725924030217298496670588\
91412516190743831791597594182198956458510871915897162582956277770831195518572\
85314045864747226893554407898419001434918922348726161310195921484467914823259\
53621059287419971312045016912078995659682021562596712572162629421489688666746\
73309060116552689795046607186122811290469922570064563072013684499005196763306\
01770226779731979123811940432072077354223809160731447769829851354324754480323\
73112636078082195311442229690321974339532061702061227780728037971416279329247\
85422771220564804685956051196583365156911206573085675560346918219632192539538\
98100270555326624635307574972427739118840235547021658275576272439023781426230\
71312921752097264988807425461020255577779701237625590447316133637987057176841\
81821543327062900229408642529967677007567985838604579094399899783032182295399\
63146901146053666042610190186909743504511517392619929797273138907439351889416\
11652984206051431528305000107154553485925270068211443029596606856927183530757\
83126004553085389811774264959390453405327443235774809894011184343411930318747\
69874596943333509406348629540558405136851765386984479983694087271358107442628\
38780611574470947053542349259868212566978833464825974766441680939003474385428\
61550200979525672231077698396249003360522710187579820743922999648040255301543\
34140194720358731582319734124077269282601328237336049163553598766892814727467\
53193738665554663809438105396440887464853866980950313044409684101755348138342\
71421931814567920975117687084728921980746642384675026772741654867505423153762\
45264164161056342769264684959822383239564990775953302006618396564347875759261\
18438459878205764958152743741588401464470702649184464663043164663627109241872\
70595844366676033935482049953433324177475529891367814128171205613641448237969\
75461101980015728788133700520666023025730177333401426542800903429890830431839\
73943625225930002433763932906427706395349382103107139735839338001598587465548\
70906839975764101506923144894621161066077929668628256521192247172677025206604\
84956454818105290403637686949597296913168499076023046524224268253749366054785\
82079455483844224351498970149519879661655083754270673525847008883072883211079\
76483174038082207076542383175777832008115955046156139071108529790902815663274\
34967090473157575915484341097390110142215336970203714706188161726874410203146\
26125450224666853061259679368732633236656486725003948019325764154221869595838\
31282988571047305115584627995936283858324317074518500394530702513689920961987\
02848189934623402983838385299833075889467032668629349899585011651699922312129\
21564589374722640248289084047120708410312248818926617718510812743618948017407\
92153623336844044734664333794487383613698869384215969468236522315680002428178\
97871235022310758592795036000256577815965769776272792195966565931802048842817\
21249991777972846067099735501476639916282317407409397120710414571494676628184\
01615918294924897970946119716765800484214772775263253538484207190475313867926\
35459671882181441962189522539662273291494950201100242138498424013561036982753\
68863857234265822597639072538950374447621608311775113911748405174093775601955\
23283380796715956056725828234101897107265053085564500410025475502312359047163\
95704827799283696183989931040120854345407127572034157348538189485883002563714\
06036760699994060627498518960602816480917432705381939615986284426998632371576\
12173635810640336808945884520208976937264585311627032080396771358119167265429\
82370922441593069855478633790869169494713908398571341518772414885475959058482\
57723563178034423440134635659347388504641504232322203696226534841506719000600\
72258827582710600058863703304116188535016666023653391507540866073767326056246\
40775295825035821146617829450240143342824515804159709809701888313930108017927\
89925746919751437902770821476310106039059769237334595396718441851297291610762\
76047183768968848348998628955816648122127087829166612794699404883914405161591\
19967783387515333421778748659607750050149755051886474764355793801214743511664\
58518798878143066688000723336409955832976698487397873385407288455763131862509\
62174892508058602600429649572716474995010268414171488207062284551652281862181\
35819984094081496146106949527933404053757718456983815473227796160561542300784\
87242536906679484886135759531517357281335306111578910699296897215053375018264\
66444910887008919456381634215752443040612287500435858280689599408363994366067\
09061657754609357966240133824955412788056841348333535315552669193467614844544\
08164754728929782628719477325855229031587008855504412467892213365031290443117\
43997627404855110408666961425111109962864731646986720357715926774681277722863\
46409760880481728927869112712996625043605610181589381921023688023230050784220\
72458239401765000632558718458661418158357167112042995769111604412907138755914\
30463412591476335530836392848994568971591285014779027773829300111919401218667\
20413247841873131010031893714021819639064347668412152113387772266310463891996\
50136198767531798779413099203945200073439302024523833615650728194756348764485\
25006224353436273225193407610336066594897219282278497844461257867588109263008\
87683694914048133938433150069760581887131273409748151730900111773100052086521\
85347791692540275201238430089965954719288785947317987316844931601958156871522\
90398498206080809271388698736318852071592789098101083154401802030054683422202\
00793518738519231401754543927453604987692974906275711697402509214168214396278\
41975722469832159084226653104292929048501751522261955867929022886291179605445\
51076524514268566962972174750873870683217568929861860208721313735535098283395\
55476232664384446496114858553685642400024021340032321669413437602298700969331\
04028983069669423963045804089102228591610257167034554290296733200914444954134\
79654292542809824955132161639344792614810451525531581141246225990241958187686\
14946029361686622001286401437297606295741635197134582985044375572749617667690\
43771451669789036369632550339634198902991857099246267803679243535048755159202\
35689049896971872958854149417740155417761803474755175447664164432265192643885\
14354642304444898371252393974229051527964464359399910871639735530727133569731\
75801769041988774448169937482760118560475564453364163520781730642315277182508\
54798636438573185644623400195037145878369337472528306896144554153208089577084\
27016831068408723378177992358035601860335648450809814020371996515540838753237\
50425170708612046727806578386292378939453642547311719596345644167571840012859\
51645652216613875065472420775271444059680991675662718824839269088195802468733\
50114063876144871667469204113745210371924764349698515961310989770148075563378\
49579976980890333359588512283181837283503997631993721458027087177584540163502\
39841783532687530273225792159707792753225450255100123889329832821042282974028\
99528294432897890986136713144041398822952705408559251520078363755159307632691\
70463859231510417896028246447829706756569823257365986944505068213626607774057\
98771941744629233311426957375196948944458024378279455728865846728775499404039\
18785908993345339865941031251725802071081990987752458240687889128846815792760\
09272005071068395024596388462053016085228201767792034492384528514807407413922\
27463076336392193672312029226718576527874675895879892292613784454115779525793\
57684891254009872696742657850414329031639315636407396455120681403612841255713\
10483610114504519074455897478744091722844047373393944417933540077032560277874\
67472022120576168421132510243658342410302635301775481236537929785540269811596\
73508661013640952588933850389988864457846530723114219117680465306055397959858\
02207643693866820644988367570633011505720553911787497333228333126676988151866\
45734324177533432944602662340111975220949605353649916281828219495119756532301\
95890343165352225175593031678604274184092080340689338983033700805892730308015\
49518566910609854604145744820908567848711987178075364263988564700955279860951\
63937070170256741541248817506825224296468713120267950187918276595057911798657\
20149093831305387911360320394253828964263853212605994046437550142837617593618\
96005899945153998102782643474557356570401967877879374602679691089076887053090\
10210058010556061950764800753686720657181737726215237776118167637746039174240\
68453344710446573949318687809480349754380480458310969526117198733304339031988\
83085294151352913074743561954720708609010392461399779737515788644635704472066\
49707982050121065350340786557911781009741650529001824537868823183113811300168\
51396824372204106349578381764244553021655935668008237145424969536991035768915\
20116470897564135185728604145490362695248219811437648991229822948355802642091\
06353438935115875764775443174792543591234403279817822002865211887866270790961\
07277798743195038379395513937385794017358200435345719714124512342383029063431\
93928173157251229768188441191597541239298767312789183203397967891626754805170\
62750038251707049096799733745742360063169036895800710599856653425445273238691\
89387340435593733910572815014589764035888574868419315736101012019063647985370\
48897867776165536613847717383107733201283212486790077785546926728659858001767\
41730245919256325720436494811704561677089649411307074660349106620814459162865\
59870045323696038647759702627783942236810770531646748758028234565974328683128\
81688307317046130860928893281585539969355784249344602325611332984777742661326\
57880150491823108501683277298398921341969308115220365429182792693269036844133\
71312023312965918856872840433739646504966651674279492871521272269741650051727\
69445619521106452047733512254195376096139309381000074397485887581088854367910\
67105626538429855685107304218619049317180711587558106596773109038684508396896\
98798784635281358926934901965333689710266393280727666320863419744326164731094\
54760236644255773228324392676381482003309384182823684669992455070765967273642\
93090197107887507355001385962714941529154923788168637155223015564818033795460\
22306735968299994883760131124190635183366869756861537036448001944828105019391\
61964576852158672500335014700581098161565204378922484114518847194520665440393\
59103341565571700941059536469850561806301698541494828423734142690492528245215\
01217323288858232675884357099562662825015771741034255483081625207789730750857\
62840776206884488741459689192970605511126322307029913659706035194125625172463\
41392448573749232357645792429602896870153514162695760073716114379301950512592\
25518621500690902908965253866995140975942191968563845247772204047925075162089\
94794015966129556463518023211677031063251665562508118324698987628141585004734\
37394453374526165428814944730901101323945629165271504496480962943032848934835\
03080034948733585864830929978233891020865848135343658968861015623608520679301\
84222552315435928969300588882242772203332282925805556732881634403893579440717\
24674334479715248924775979785735255733554656235756511082110209799350814032750\
87693762198582169189833340768305526026109241261416514101748170655626660054818\
29492505185942892575889163387353103161963560085288561602573299708594615067252\
36349585771189246335321716976389094628535860397488342207174033781133484463254\
34091767396181115455265069759062032932889207970106326683890074491500854492195\
23
1
*** a(t,u0+2l^(t-1),r):
19135812377742333592459238051646050436465808591192812868442187184141779985361\
93147506875814253017787264744604424021283517389720375458793742756214395037140\
68065431538457728587021420073195565383048541603918476028679370139798247157151\
91544260221831707325467829890501053169309208013367457872878805343370152959852\
56349921146703937530681976675562670458929511611459072933505753659446862210540\
81294005115095309908079702082232952863168035448840970145873943608648955356414\
08830363812492171033484291099651099454504060737743599223176946653165762768764\
31964376624368510559501563042782031185749376985400362772877187485340649994557\
92402591341287770588844546021291743583453296660258834638911330868178886277122\
32120347362121734668628060530967926490665693026690189140106354179836891176912\
64607568230420951642933126288991693056724522894969038748753674780910932565481\
02900587445738767872221628740046253724813961045857036159280970515234474729502\
27037223362483204945122158227433595839805628680159913058592482994453279405859\
86926559264847305134154825168795151986545703832653054511869042303644359447246\
87701382245341613933298831979354107215749208032982728841987183720379795311791\
43130199991527409715530446010715904017091503957984717029020654441791218411536\
94861217271131308263709459627051886647463285346725002155230303543144289170268\
01817481147531764020681838943467827537551442917860342901524613725112181089836\
44402677126650126191709500437028384398075840716702897389440876032465477358569\
87184417332986419767845539031157259773552399553663394239705978174962907459869\
99995616043912335285296532570631265379108103736082645214041345821674993450155\
86508277581064005967368738789560974894467254260908674856782056398967261887071\
68590123652365073456489452164347072225087578042114845260784996220265445227496\
03999104520573702332207466298084689317855548977434392945882595967087749750774\
30944814112689049587500425443099978383198372492649472368938684216035878837428\
61630023506968569270191654123994780911683535469114254754809056562752497959009\
84435101222409213137497581831369742464951158244221824956942667826060343066645\
46912642082524605974162728262611873783751608426918365285834956517569804637614\
12172134978091790177771823720157388873024071871590227775094026365752610636495\
53716555232537311461075429577464703246491135498933051331447190292550812707035\
64309272864356968980680736513104879628122177212041621849695951604494870599422\
79377657848090606348285088374323449065554000031703065613028122662271435657544\
88600112882629208999044272069552600415588162433877002185231967657599073156349\
12669641724200403512771300384681248296429448531882689485259455378082908583941\
57055217413876258584668195384303821163005602392251536716918885543204164084861\
59975071076130483244065795122035022859849429201591381131390037665848319644393\
84342214056643472916726635844336539836639781260816326086470369975392443838447\
31555314318202712767450007191897999728832156043111101486367933952704419051742\
44914747997897816617705273536411405798089870886869758698279538523997620737226\
52989300552151116894193231129615242376777044052494317064953915122086172538065\
65614116436499649580808670417596190681114149466553764308532552235800734536977\
73792400360347500838655639367359160058228401953701550285864688447461628537704\
64775332261198858829758744042799479325893583208920114029065989171058359753816\
34443598403746782931669897407841618245771035194538121567273147558137337530371\
09475629964500086691500250106341431747949625891237629312064278639493159688612\
09086343504870155051497402121167031842321065717504780768433500993229379697775\
96470540359774766756965842454197522614588649643120544029478746518633987081575\
73229963481599993304324908458879960000525906608364670844758421343690214884123\
09567730457137389889187516284804585627785518423501959441844754038825098834073\
43886184588635779322953721630321077649958081213892964841772379327709995562895\
25769339557614836865200615431533133725530930658720416343207703913829137150896\
46249586896371702087763692654585273700494203802245260643960162799544532569767\
66857246291040032430323947111778091655403918033959216361283646906649139246951\
19179710170160085350920678904804704259171857580434211869694554353000750037549\
53206266780223921406708872268960407183897624619453524332380702354806970056239\
02804265598438864484250626779223079401110111462632883721131515653369839076670\
01669026926653546238535875520490288241659629932566224605737886291155232872068\
89613923448699070672031871283125554272626181616794730371561984135796854460116\
80788012453012268629575576957603754297689544788556435018665500185822298657402\
68324250357017551620879528066120697657785067562528661888160426547937908335937\
94119398081628193380926997756474301734220778408256308349696683072038272672438\
64465252786341682078315826925909270143690920106019354746388121529301870408197\
57943502564090734109943297902307359625235866009891672415821831278605347724084\
98654432788559837781874311450587529340764406092901167814161265340552401215231\
94168363348093168967881430954459473056871759719072471496639993188075632038932\
47130044829078350219186268202121487534541700053219265579999936164630029602401\
28364375125055289687971835259311856724267756751981853314658695883932245250625\
38843638767944336211669985306031621656888154988588032240003149251842387539318\
94727660818808694264208268700036667411795103768319331917006005788204463088204\
02360458485367471536641282570461236857214864834641445886534065553632494438427\
62968571422369826730618681982094082510533429892148893736097877345511731900505\
93745441205115335193913454531610830602773145685692579189180047572556707739975\
73942029016879075859505962578919628017848293264295287264575838407856722480788\
99327165027366555017111528834844093674235590653496995864930155164025668809816\
28210954589076172586735949682925715323638178749640097557850437212716353159240\
23116057001331431543822308513328856874618725149468636504989600479613285197785\
93200023399981367265954600136459167633044663674263327868711795857248429305657\
15426260345685168322355531786424304172463610933038790563849643921798686584568\
06772177986750205949917692099713499561669959182432288833195525241282222961818\
39194339964721037774720700554900046866354756465460910717029332354289938355798\
57904004019237463638347210455046055069623421467794873420217820689533088826472\
87025627006248171615675352934182993404394919004471143889344798226545495703627\
53541951139962913634785266766059963503047639522113006931643958414386055748653\
29835090695533468971555495383121883770696852393460435716985670861259960031658\
95793185593950804169341289931813860978854581548650469290421170326110440246173\
68030119364704869364318519523624194455082198363043108767544239855359258228638\
56141142941265375185220742636116770443089305887254501754179135656768763414461\
69930132258790640997037180852434946063511344404654070751429782684996278321648\
41819569051949672836117226330522941534639933494022998094781066130109659116643\
36432401100695556660577076307598989216150265628444144416601243541695524060540\
64145678328172937612915623790442564327749051338595502357469627373711562859146\
75220088349903130241302451681938714715354386091522069489195995824592621659629\
06261019754884882279816641186956637209191189577248036302136803297679864771512\
12961761816249278595079119232683190093295790603336427926865870127760715535157\
03435295782956127199260929404514919659493440298530139069731666791927912937336\
11809531330777024846170237056093895050017825558261488934413547574787031186194\
52981962762223413821700168117001266775446896382337686578687566214908331588853\
34584111452811392776316966952496764319907458196256056479453326488416970285871\
72166248871620675904910209049299102496690202984943317768979778453301997450067\
52001381618280500497228147114664584293757561178851657368055140932928110782350\
36239897900052595627567357052299508056193234062170084391056983655095884200258\
14357062635065678929283922028817693334929031572901191475006437599797291162026\
14942562949696062757563766255849418092986112914438595416447213506629527734395\
04399070386666810540014599691797044601433601529750716343021152317231814154885\
67983591484780633489638991276741573516591487295072303293162388351701938155767\
48172594549900631109451287552507348065979399648870323934347604360536597251641\
52901569376091606374388480286763421085235885398864791867786298502793335563934\
85337257530572058490545557478734235165433980890197295963321503925275004854344\
36573236945213396602150971764624893786463562625026276424009056170312814036958\
52546538452771093910689287681593080881398288778332311510855994411785998170172\
33838728130966805027478101099971233369826199842588508815713262564570769788070\
01496304342608274911888668065299663157705496403481329640761858844894579703469\
48299244054731721546250838542239908353430824826043198098065974037394738460708\
17429213825512876711660811521424366438159687090156187602916216562885530165815\
27798352518906523402099848975892881856780309013093954273512193613620050995493\
31591438387380696546854073765946405762828821431208843352267482335201254195643\
75225486133149588223956256725045877397209859470533612721150648157324637969128\
41308748507610574891550338243856294231772767130144152336478487270835726622672\
27296450765764804950683407216768087718371895706619179710549704729302399886787\
01717500143459890303472534888386312925822643910242019941805939474069138257336\
26935927910422662131389784240345750265625006306811238267883830182031379083660\
13433738815127357877336856995988664126408838340226596690927795919567179869146\
85702246989407850695499101444349475156849040648701166215150706932733623498688\
97131464346497124599092048616436980633130515170897530682051010783253956335563\
98113458652593438993510376994581487761797612013840449880588288370738653766074\
03127717554655604677602698535661012342005273490822757144331462617621987934828\
43323024396526914602265250986556041340081503498362486455700024655912139035529\
13003464989734523144663310781164231689689321457540009822466827748515824057352\
17622978457055857878860188125941916946195025702015473337499665299206569975044\
88426523367543050144328944558928539440700694026969027879458465105196543838998\
31581019515839969500878975963846302474283596402856701024140280483110877242377\
65788672067226946281368393074667029498033184362137999216713468743576573924154\
47472582456700250363119401081904561884352503689369003667896587504130422049620\
93999980755378354836204515850784811104068467039183334335265864488372306076361\
18441657447674121569882565581808576829637421084928886995710967051202740815344\
37860442409636319867740823504990070185189929943353162998869770688341220829999\
68453208036358251798982995086380843650141574064885420400360634278677386454054\
61135877656314914768332456710680227222881516636732159204638084137814383054236\
67989250808302836532378752127901509103824599813237441203348835314070979315302\
33733320863571340058819196173476688016572853358397882507134000021359165657710\
35553887608077284074198777222930369919879049261655557839581791184627469796332\
19796753642100855028187172403091621535289858729228834568613328930591756013875\
74682321870313185242532162358627641322050724648213032391630682841095539601183\
91880967017662784056432007623376548814257985100278731705683854198939076034425\
03212352745469697411176666818014310121633255708420405108380137484947279456461\
15548125789826521220955622369176773948651377047270859277646487855225214286901\
60433364618737603043206777729180399718690779912981625611999754600230506420623\
54218113300565402920083792478456522882878812143754331152943320660626082869246\
58482695992142221042559109004422014841730559033406630423086629477040171115887\
66662640285633296071531190039303777384455118593109546054620295763015747070320\
37
1
*** a(t,u0+3l^(t-1),r):
18892663554645226431182754721891971015417958418496589070876212759946839960134\
96919457233173665304727706107442995507671274474984411348770950599210400182793\
27683405724754326699003358827030437487457073476803882940640242183765232580822\
15794015492202333661865951492908917805023195205065457137518210612196453430502\
46739375769998677841600884214627947835563189989966581536637827945857956718666\
08850625126339333924495461903297337197816472101333460995354579649199794551377\
06049800104582486522258315355055786882019892240440630999248395869771026265984\
59512478573232951340194046358629781742474289603120815596601746729491340591831\
64799000599975346566114628028645088645925300514639281466879420691963144393041\
98675362008092233592787805632226275582270957410086755987118979920880895100967\
12325388202080151749122031926996881200857629338489127201755534059425406103403\
76053057745030524316030756710312502089174647690763554124220221207544074796471\
74597106166009466635781343002180309996860195024757626996856873299479286020779\
05771202730351151320506098038314908632205860073661274911972358157473528958717\
69179128341334731926522480874152657314659637409946099504731946316054766146457\
35974797196209399426896005781863097104549045203753653280240214105809119067044\
73833755806440948565314167891002942725640371936982626016027885454921363005461\
56305187867385235888271650392724907238472009081546996740132941377906181330118\
06481423287683796761065161168451149526435741088790535287923202893552320085906\
97639507328755334383247755816021843512134961185764240564487350752155246628105\
45103676831156142969092002296544464040110542062180705630635483740078106621056\
04468782313197881368037496873556388174080122694696366408792449583224348775418\
93258610010022442281692889875092344496687481751871962855946559165370077435532\
93910170536830707385165440042708772045709989269970169401462232612995148102098\
65113240871104690634673228169363002800184416044204116938583681875298447086000\
04430150273080785670824542889890654089425803125161087604176158766529467489390\
91367310863801726312370547754732261620415565382160556533093332783797822824375\
51399139641831790142216569072489740698824650251226899399102619077702335709563\
11636275575574740747304583266279912521397336523793655630556618152718905291686\
19107704467193762395496326279148760384401032125376087527998051915263000601482\
45830120731391823250303598819164538082656838238572223859229675218160755344029\
87390648218508768910568632359401931288355092788606457409558896198964301786419\
79215105095048151705536720963205045137118173076394448154924064637807471210270\
99293915654007259884908895043071575509943686797043011092816514394879822070803\
81234947815224717814850302177387635379485836161092050862828429564256207743249\
63533202320398202643760003570293790040791621969042570697700202371491924223245\
25583100790358295370135446062324639711650711613283717114596540623735614818899\
06503785546688065845373132894669308499749155331000414046896930979988988059979\
52094992623083358973261750365681908901036632374965441561071412240338184641454\
90943693175376642727812122728984807276690931675715482032362378716468813293617\
55377596532605117819934354402124828664835697757957147227102659577150153411984\
37403678627687430942357600747697671366255995321507121438522062164774695519436\
48196230199430131271566129760171785814764058644639045235812291722887351370667\
47093616213101969933808780541160022080005202472879441496532700956382098171662\
44043919291507709478139382887709393225104014380548459943423055276856651941615\
74917520842800648634070497392816751895150531210293792448631296406276020362353\
14431524599167717624094611927460578235750166166079622250196932712806363357540\
46251183767729599488513918516581612351218080603175793197429851822169373526002\
09064963869371984680938627894908720499097011200839926920347361992588439382560\
43455610451550191275648083490164520119463061122229775961953162309568826623087\
18580402587378307807192983723381505596871071311087374204158050751010469588623\
31811853898959101044717140016026375686510795875914317052550249676297460999630\
84940381662183106986482473832085866856732966089436227589221592943413444974435\
92887718935469359997033503823422179427416179593389304476178740447625899338215\
99290049921517137144870131833522536698714681485788295306556296988163933587925\
95271809872918675608974252868432443068186221863361817854281051667939472633510\
29602076139783742601451556898883041885348834126561571179997887735994429404825\
32693797356593618693988264278257376962935887060037491103816596789725738139149\
63115991964409825572020614099184392743716361246135133430118289255888089017537\
33783916807373110050093257061468592223759844340641385371157117443135647747171\
25833255793424531457408230313571197519046435607643140518061401203270314951060\
77114995444710911022682843102200130751776168897556592932583952259552164303900\
27855275085512706992917334777754534217037189186386060313968949051431200993156\
33360221444359585713489631508394549298315048963385269874972430965195953931683\
88651611590175847888238718998240165902400708134332033485246854773995890844028\
62795482633029070038510457932717148429909658121158029676823316899514019061074\
71078931984965641788505865306842836943781508254497966995539779799002991816691\
13953630651452032066667825391088399018299995458872809466940847482441594813279\
31643446577146576166823157280722351434516894063512224777018635956079882871073\
09573159139937135176582308204889937786602223604213981516946593310257240379489\
54036315114588761587917046887023001411289040694027560905906036464374352842049\
69936731659942332205426625376190108485838289959063702706471279496666533562847\
71223578838773877945153917311080750914699013807315677515343616827070741254857\
74812207403130639451455727960195502903279611102626640136023799952284554847810\
99262911964056144980805378530664905726133246364002993395743061898704709535869\
96138724637909177013405252496641069620811625719361029942029122709859622107598\
05484648261480968698407527707787513660579038977004581644204657409252896531760\
62117159197709499093354826172873804754770299485350877087815976273491206450075\
46203281188951601045852664245841663480835525139453479572290880702002906278694\
90538757500112130052043182123452778164113908225747303211095033340893624018367\
84741310194342451393895530525502903162766707090821622169643261341508526071371\
56313738480120494720939960901982447109548731977730722747167608922523316596847\
00765052141996421720747334532691984297163933810269131367074149539997414633676\
76342904028500006849934713993247399860014554396084826622741888512324001200252\
87206232790978112883835047365971245210381206941933182514176936903923522326908\
44929355459181300503272540876564166571281916299980299253344185981720639953814\
69150785343536463175243350734768399789428704795929793980936706995310456382511\
74124158532503593462132007016952926418485787296589851300966888368795563222262\
79661760042395039127907350519461658923018079192955361524326414718037109445529\
72564136791919247173149159200767998247711253358705336990723209951585034555324\
11488172885629444123552019930335289050395187916249943242381067940754617968941\
58381205397553662258566715320033521389873390080193961871798333870023465094703\
66156051270070588985282757563234189468286600128998378915832650778014301051416\
67689058362421460569728685697325080943444509909520209020552453734777733126832\
29439929889907129394950117086795543297873447410365842512301785384152462963545\
31608647832291929231860577118913540602114168308474176495602701989338657219406\
79754745954571273874791652639021581047677558435929329697128639071135671721142\
37575418804109850301395531540139753337443576897701341657605126660101633941705\
62608863244281150162789367765318173621255765844092703820199857507262581980562\
21480398370271853731062605219942035573379447313809069599718989205699036947758\
87113596783152308516670694319741699821679978229105661463597555654395809432783\
45305511648597245906040161901386718832579234475405623603659468888236969800373\
97471882353130674412486717129345613542884637527978130417508875342631693836880\
49451178768030637597955964371697971607768625652625548409818850508880711052536\
43358641148252289989135319214775352760345089743673671739246729033382980872975\
01054772509876480777692058994025679094365938408096876362119553479208305037516\
47782108519978625353112896039155245467888542509425595020673384925883636255625\
64303747269700748979865181907212834464475480497691612405973073125716237321252\
31534186920496580889290095376256089545212437305775624881137276549343146768382\
17825489679546556503946094699616040463591449022572053423043338828408793619090\
09774703631208649944536829167315944508710237964029569694802039406189946792033\
54717444058712362905384364786198015595345833170908504613560310447881942096055\
63949825451749107549475097264701917141824334040451797868103255180502810398945\
68160735886179803309987866012892925949745968067409603262345489541756107927367\
81574739399225373168273929675055615251230368619026686747800475778631232050188\
44531826717909531406487440045921673796337985072489544199125582940853080698875\
72490727732474244027972060324473502843242771040158344452775163428514922111833\
26171407357577403673106242459309200277112376188210935661300869897635780922257\
12337156601015569817892004329642699056130829687475352776489352699705164818339\
91403427714699281786274662780528799419776612856744662636319205808579060261690\
31930388801014496157674539205525600961106264168224056078965357117456647456167\
62945381269827137319810340388669875509808980165636678054448408423765817990250\
45477313736683481563408896851663967213305850805642701587258067708683640989175\
76964609653403133181060383449773232467525298967963635755976665029972457525709\
29268306700209786655600461149669397701291924440602324723274587120792800478068\
00800808818255914656286272887177390838294914234268465439829156866445088469328\
70726797911183497644167852625862826075277418320492569219922387747958998768241\
59343954634083512685391858293474724298460740498740263827263945566196690333624\
70258010496991615720297796917226009488174758539346915861800813135303055744104\
03440163477231194361046492912690565623156847851276918249478052587976765645364\
28384310246261316775327781860112550219210107249071990718878015165663470924177\
17938752472980098171058756568000358221056905018273475719677719458397710214825\
95535192590668480981122966506530933397893132613265204383679350051727240066779\
50492992435742035206773708787877761407701650431315693492378115257262111590003\
35488142105264031079795112397795761368015598707737922739094563403792286675378\
12220538440009428891022388644697947311172268825902678081476253907040824123138\
18917589128653572614751953217430642333113091548177854702770283144259630590597\
75479767393845856130869528417024824081548841711233656546383470616368202837537\
35740340378718302396007992888665149394754401594517778672175406656967154927560\
24918412085126977415123907784995408626273325361467795054692653134175440554054\
56957268959944154670460546254405206388495579766590048845432086086982902200444\
87651941016407070339137780123509771198119720752999751537245942285984491007346\
19476701516179599661305578338822969894832799303254798180809454342479331982363\
28451729825570499633859809305417507533263601553896536893667540930845822209337\
03933923866874148524122325435320354465703989435124084840166920998480350873786\
93495417711175612437970163381004260937868005039046324852263432101029214105365\
37047934318626578862225751328555489938275395161863688818962908925513473302191\
22271250361549324102801914556239794510796489244850210045536162837746463010679\
28387617262890096251675257555827071832305774293464995983149061122821109221149\
57683445364596024202769675553416817061908039576678675075527280569076538085945\
27
1
*** a(t,u0+4l^(t-1),r):
19233071906981176456969831383547682204884948660271302387468576953819755995452\
71638726732870488103011088199468995426728414555614761102802859619015992978879\
64218241863939089342228644571661616541285128854764313263895021322211452987683\
81844358113683456790908581249537907315023613136688258167023043235839632771592\
60194139297386041406314413659936559508276040260056069492252923944882424407290\
70271357110597700301513398153807199129308660787843973806081689192428619678428\
89942589295656044837974681397489224483497728136664786512748366966523657369876\
20945135844822734247224569716442930963059411938312181643387363787680373755648\
43444027637812740197936513218350405558464495118506655907724094938665183030754\
45498341503733535098964162490464586854023587273331562401301303883419289607290\
85520440241757271600457564033789617799071280317561003367552931069505143150311\
93639599326022065294697977551939754379069686387894428973305270238310634702714\
48013270241072700268858484317534910176983802142320827483286726872442876759892\
19388701878645766659614316020987249328281641336249766351827715962112691642658\
55110283806944366736009372421434687176185036282197380576889278682109806977925\
05992361109654613830984222102257026782108487459677142528532830576184058149333\
83272201857007452143067576321471464216192450710621952610911270778433459636190\
60022398459590375273645914363764995657183216452385681366081282663994580993723\
79571178662236657963967236144459278346731880567867842230047945288030740267635\
03002381334678853921684652317211426278119374900823055709793429144085971792575\
81952391729014812211778344680265985914707128405643421047403690654313748181795\
79324075688210455807101235555962809582622106887393598235977899125264427131732\
78722729109302125926408077080048963316447616558211998222720371042223592344281\
28034678114070900311024276800235056226713772860420082363650741308724790410244\
57277443409322793168631304352594768616403955072027614541080685152330851538000\
04509972800523682709938498617636431640586628406695521615062215681241710146857\
41662217365852207867548395462024734802765395389046332326482401842965351163553\
45118043058801732306941191938660727017722391697194951640527891493516792208834\
52386478739098609949958719901708379413674766010708856632908989650966092774419\
27560095538674731087307070896791080391327176848355836852826845643465937549256\
91700933717543027272831591590681016246308312801429381045882462159028516701579\
96172461699923341323371670780292056176433562928941708894415813247594289205994\
92354115997661631916447292512091622526976158176870023797355128865515713934780\
38019932152277660963916262521325117411023753225818560842236631771364143189196\
67383325253336874892595352667070295476413508884715331058555067934783346621506\
38551818578423395484188111742731515987472552094610905304865971783590877812853\
27845859363157543935363111757141299886635409119829369675219901716055175446266\
61575925826808571536280756910789476220465356327955376462156335141790591448447\
62042650147823599675482682804703204556911166291631485553162789037461395175535\
17807543502860906560745674489867416416811489003205851077990529684333116235844\
89708724398057462285158396823784735487625530149992411141104509299260966986975\
08347889053411528797174854815223755535017364606579321824801738960536401745011\
91406973085906349853035789755850556730345393034632541546367468150326763107075\
89383591280004708130814344154514256712077368283201593595569326198839433273854\
55648314233697037576844596993794247157087870495513297059520767984547762787410\
62753872569697957618468164012507143821189279520389176096354382828010723431945\
09286146664017586410114334664892300366124043033936912741191472040965036571189\
84021475367148150830649304435799299060249037010440221903689849152298551427371\
49768837092243551972487071640762931679260921312566772450443710857319762614678\
64058414243470014541875976886383700662156089250558240393700066134966463138818\
48644914345709448488403668114793784976994874397773633198827565178956604175805\
72024680095336742504982313710008832906087566972777638080524128048843361197822\
39623992142582802607860536423654981574872298811768411870108468491943416955957\
29696506664036375492475548937357714191874128775252174827100879915150690317282\
94772753523706635111444368443135555377970801872919615942710464501464184643564\
25817247888646940034361176343539333934279667302341310067871701247541985653933\
90495807241401467693369602969133186784183948254968085976033885713219554258966\
32381973885541251463249314085072825196502299439497626078660139074225300988503\
67856820648453245852597562100971498919278818205524955654084384557795982513348\
82140383776875328249194036467981539831395156851283572494961750189858812571444\
61433854996909658150334504733635543420290515528501575482350795819545455760989\
79405355722993990500569020455392925900456820589404459471909789237201752849916\
49978793555521944956753683152128489788515336739293917256562984169475006416456\
44772117326239938609228183427464721357744148944707526989836799090694980128651\
16375064051260097399738515736947195918660180352968646701197248553707528516894\
00863869707498062291456592309883223176394516826043759941270583870676433818931\
91278552381091148847758223240299464636462256150975407842306262317903946624199\
08799642014541257869670849272008910712323418800474121349228069959602704629734\
79961346515473541503162313267762393802706387650242174773000953721054295175056\
39475378223539606080664872316689756485459921326812431634369054450982596062002\
86541473945482252787699336020122514950231185571397426868174613697966683523888\
43268925023184536389308186193779119449547087976344129782263554802912777410826\
95029409088121155025246780686055178859108005047087131164268727040171114971161\
49133148077060921243373849184703529982617982473845138156492697248722114394618\
39790171639084183629108178143830039162640151703894939222693387338321010608588\
33906989946700333355989130920003971776141564921511679130173791587514750433861\
08286173455381526692973429107927829222030913553166826358514651236446642415215\
76749900804875436013955814031844503939540935512113955954263110981121678638365\
10999736705869647911543703241262233994003732799623812537557383056993949635067\
78656572950564600863791707927478954347251095761346353719403051959648464090770\
87169081549195468536127882426863315832366107218584173920447644428742913928513\
39310382416699242373569509747063211922333393815167312346215673948154367346339\
74652710739149510400400439659407155185401121806850557157471881964141512194643\
91231965362346853820203807939071677334969771592410679354683183800834343564221\
39227966715139880683543786958150907286243931391337384000918863694985207413879\
77270424926914296908736910982448205608602311188268232573224261404814705538568\
10937285980356939989211699396656118704553546323784384863476107121352086227241\
68252521749305460010999250386627753921521567247879758531614940411476564361402\
66682692655771526319401176654947454579288675214450052722962926694938678985088\
81979706824206080455548243150331385603525870536339667386952456977739719862627\
25208680505190335008661065334485474438690596707533726003505051146894340815228\
81955641530842917434396746226700792045546784496053312536155060606420284285599\
22303007148810599597630194636445616305553025356547899256658464305546090259550\
31070843197780405805219292646826433753236302880862915489391236684953908498486\
93033442140175726320985254331602670204141437453795857692703619355038092926852\
43889884730171063091894101030966036829179288458176413909937885808966380772909\
62272849485284269800463574308193141066554631560901029331311137072417395535937\
73387588512292009766285541117439568712893010715677942408192606419743104823538\
15989203122556486201758545562891474046863977841283563348491746831717763637869\
64209774917483959203694363872553603781908806724868692475389601623819740316186\
95890418346812710471926022145322631349998536395395853562040754855375914107248\
01977683029653052138581426079790083135868950411899418623545225084421419706687\
01930835188322218095594585906450939913026703069022781416022548772228661293400\
86378227034121279716838053819836673798899591880600783516302073040572255395825\
37833571619391970889840460101528061819090046315631755914728652079029521068884\
47019723365910291242154978975900015654624784145179702963238824713067914137291\
54949353718536798782898713985806691332174822554640470606631463933557215287258\
53750661634920582294817707707342795445817381047199569386260876245098511867581\
18588856955100122887295322319972415482964012752726537041157768018700680944389\
06434957962060908873386564874383897048521024680636414745981056645136879990605\
23464337930870067060654609873033348914272584594012084464077751827923098986484\
60207848456166639714490389376940322182649361696510459651642478203699634746435\
02039011495924767144961135053255104838073421140279758190051061580151509685413\
17136605001246106072329989724836942633525174699254821339144507371337299061194\
26287797766778983495630216696227788499000285170720861283796880747615578573615\
26415283055169162603000727253956298549425155974696563013524242092940523594350\
96319389493419725902349935285274827218796694842683720028500842048848524312046\
47363684967623843378927976557675131813636923506917439006549534220115704902838\
33280168431664499003799968371618243183268322114276710484173845541141293914165\
85843129114964133710351683731529318328241056331640962864000632940265169455594\
64938143554185928520875882254273809987432503162246111143451219407861271734657\
13629081833247446100347463638916179573048781610062564145519550917887724620705\
41792220290497598348335183281423678334266316585924552066307762622353616502494\
25198206223734721166304714683102479899372601652071088652480749084566555859505\
85651519433546899928674343332546323785999887043135699943513768870716995081276\
44058481049215480686129268795054460943489417193444473826132384918092747721028\
32361514990664281385504210330833327446003137569510453350011079419093395142444\
14467269131994927328371891776240034646180753841059908220547980621443477546843\
16568965641081554742285144609428279929403132567082896327779206164767975667421\
22421067323667792457641925217423728967718232497245871731450630112084455116451\
92859703223671430591099453605339803376312992064370585146245186610089839769657\
84928639904925685525492247677333698008823696099683808615527768457648119407885\
88247538403112958115917974912054013278936252119810523381583482485091694842757\
51402776083232882687976838675947630982615193682330390672420964180816383870904\
31623063584638157765917546855413703014286150035805272698357528510166922471330\
88116403997487076258428197449106919334796994390333356965827177400861379512744\
28267455599440123472675411833960924176952967071568446679396774732444488799437\
35398321761302538223317628028142388479414586606931560267939929546392855140916\
40888814980136650186927055823596052987452679100725306215818206776912509070399\
17259284374949085116297311528869199772692664557169917488110538776232655699172\
66992535067330535835694069610340435332432437059681761437241673223685296834687\
12654678692378368903806929314924361670157913919720467781160283588434662016487\
56764570011966619475022795966549509892937894786196326075959174240542022648712\
17252661894499697825460886950560165326655738518831609630490379506176377564460\
22923724296907916965998403371091892384004962217738933215665424079534050889530\
84369209021286884734149805964445779152964725850560673047799710156903614359516\
09787536738782012715599188289430363630856933813428800329214492870117319667996\
46996858476171834446996543647343214231711741303315979595906183789777930812673\
50520727483843070958912649583859992045500472929383284199061656818727795873782\
90254318254048204819035795833658561513473950199681894446257501840591430664070\
41
1
*** a(t,u0,r):
19087182613122912160203941385695234552256238556653568108928992299302791980316\
53901896947286135475175353017172138318561068806773182636789184324813596066271\
19989026375717048209417807823962539803930247978495557411071544548591644241885\
96394211275905832592747454210982626096452005451707057725806686397135413053982\
54427812071362885592865758183375725934256247287160574654132168516729081112165\
86805329117344114711362854046445829730097722779339468315770070816759123195406\
68274251070910234131239095950732036940007227038283005578391236496486815468208\
37473997014141398715640059705951581297094359508944453337622099334170788114012\
66881873193025285784298562422762412595947697431134924004504948832935737900306\
25431350291315834453460009551219596308986745903369502509508879328045691961723\
54151132224752791664170907416592730685551144183673056439354046636613827273065\
57531081505597119160983454334099503397686098374838339752268820653696394742896\
16549199923188457283253995182382938671216541949079455846245361055458480728843\
70695487957948074371425079742699103315677735080854698591889705474410193349541\
03996931464540237531943561758313817235531293908375402974536136239514789478724\
61699119432463807657803557964945342634583012207138504279264566374594798542638\
50655724978193236324030401279842097863098702664776526927389819925499703937306\
72715022491502458394199801233319243477735556150597673669246279255670981137892\
76818426358856860305580632583312937423747820791120424969137341404682845904037\
29275435332140202690925982388130176521268911880083563504662252690401375293517\
09017228201361096822055626515813905111308591401302257297360173405355616084335\
90100378527490781047502490406360057550389827947666213167184135035818679264741\
13523820923896547221530139706496126679407558784066268779817308809286371669103\
41981317723825103342799061047009505863426437035941548236998523296269229421039\
17778499464372177796934985988352583266595581202960401282867683747888392487142\
90190048860191012550318231877173955547231989000323621324682477003507891865086\
05821543150687715772472175016042246296044039671809571272172800817607839018191\
47809941594386042807773496424587447166766216791780072108488489029596310852003\
92064963097588380291678375629381893602698724802030913346186544723145869567533\
66794785079468601647959608917801514674073114824221658570757362617093250285925\
00613442437763939834605308974316811319029109417347742251602696327228047548344\
20980255922174238860741797171339145510114218583083743972334277369610008883319\
86723111325112997540342761848283089359894164562380491379170387053640752767133\
49994496510161774787198819316359313739132296184914753806770867181442291281314\
01891163494145950430704616742920584006301649146019639546100794347414572816539\
20686697324984027124004636811686776296037867755081619044652070606977040560164\
12590391403386437407408397887934159811641967331309804292095604105061078034537\
66545008563899783383034632332452261483015555900688963998473733358161332853389\
86350796922934925088816568902265506418679223184488895270837913267265733518072\
20580179076796222060917009449489155356759821577138550058435607840962700689176\
03566812455720743228633807214501918277858459124834440892246573704070618311979\
06514656013815486859396031643426862319833920627262664516396163190924241934051\
01459511848845113318120221186273940623667678296063900270415249681424158077186\
56973601965617820332097674034505299012617868650206385553125058237786289658629\
36389287829901611248828076662615024043380503589099795438336033966965858139212\
82252578972456253768012021175496975852886958816062583104473060075838707830691\
40062737207653356930391596348850133738820952947712359673622383757468462336768\
67834207538825914541162710470420290470664341407326895315292707439386046612498\
89467177139584308847537738606825412602047816978969552937545275629577766943770\
83800069761218661713492594002289766143859077195560327065808535924081761774933\
64331552163567531053599089089902808099798958789193807915397773281265403638441\
83362040296889181879154382126873494097697522216979071925678180174895118255740\
30473873365268647341555652455839646695669727645054618606871236114002000392448\
13921311923221940280143243888528199292820721983025230390991391571925779897682\
82423023408482564554341124181872833086861035992720478527215821281478362762576\
41297774453334826709195351997064952134525333542778670547761422856283765788038\
07255636769279585511119011796168838970397470771365293920589886580123072178620\
18229898230277980276423149882151918810688122705443282518012906666582631195923\
37253608355291780018064584385919881986894908080072174700956057999835456729429\
61416183647088663306722273865190276570980022918151206584759764726977456218184\
60462169623987460996223244267893680891185909848133674783369626698284681128163\
06995201318015527867189230161167442265307969864326802383627287675351929187338\
11925857068375128686538105277396794543596130645190549995451254833170518377899\
25595590519719787368197375462148933332274534666997988226323498465481111758522\
33065012996509704751952888563215611625977549402124383894361365505259683799951\
70263132389868494183051106148240619713615291666807018399364612311606827494135\
96907286497037360108078641268818052768170507052485076050834912666946394563838\
53865637144645875382669553323042977129170523082644987685390688897962228994111\
02110817970476270644731246416173804216339461827357910489008531821779547044777\
83802998616281404264629487697346977043092336588555953012616571104957443626640\
01182120160813613702078354963079866290684552052524627170059509169284256088814\
68983699296080734596216088700526686179386174540366803892638293957378672904550\
13398338981258036276635553525351852597218437372899365314729394091699526235602\
74424173502519371903980368659914375520044394743322924719148884121677446017415\
22421346064072167065549835452473553404137192272512676725428962149914024434566\
17720590528646980637738897309991299423857305263447115192397504925662552579748\
35656948372281287552445185650724836838551538734811578623810368167649322750877\
84764440116090034476555390663714204288924948643501207868642910392137190557669\
54658398627190484969104686528939132345503072373836526981014596333426359625193\
69463223471799256230185196868610593125906586817518189215842472551610675488312\
43271465254258461189456874469137424688252078592400223170102908819928176275452\
60883249301022636236728274527742884145425681599123059660909360365741059882271\
42986571340369615251977680319386367661870898379744231818729996639508327525657\
99136653362126776547231339105146986988560392793985313898136914391472768265377\
74075795033356265912240041418645337825159906627307011935172323641673056662320\
63409966583600155592109323794212188878322141950430546864704229080631534573673\
78743071421719592783225264255847096312357185668989560199530649924477102008071\
70768937513533231490056146085338542134506232983041226861337203821756135301771\
29388007250038746094475251168310685012315562633809470780690135847695149182420\
63658748238940294763091492886232791022462463174496382931425636823673426159497\
33614177239664238915042903018421109272278278654126390534451915487120173881105\
71852311759433236644755304409557676050258186889256447965716463433678790346643\
98240026057922023620909864462212147661010271687598104824875972793746752027493\
03907221125483714990009032525611568263325534464573184145603186849164119053492\
08636222604346327638398766940971044387169441720897279758245690510372822942577\
95769354631080005723308305068657824160437094108304026446651378457697356392836\
98336519400692985832318465021405329629893028793056015202375780786153799615311\
15182372923071084281332679870025362123414681936545113515083686522753903017038\
50254771746152770756486040792502916721603315556773194979223794264094114356166\
45897184968678771143995038735720074549681938405843139814387910587482296015432\
06414637676672538205388024505787946409290582895557199805565098054955869246763\
20546752437771992324635170003331498434459072153402077900737043857485226889695\
71448426830382985088548356430548657182965817837146502416659545873829960954892\
13409492062939575951602872627777230002700606354325682756380691955561593534415\
83058601417474964789538256864348329365342207784792576982379256488038146699208\
98749030141895801043099441840811014271656707400715634419901994184270938808816\
51877677204869010170133363437241785961766416820976952498363715787411395702273\
01130555478397796588409482364429955025242280811696159251851817765363251347725\
95565426940270033459578796486951132938213337561176146115434700246118880583243\
25602328698126186429340649085197672797836920827180259893293463295110557259955\
89025923231015174010889846713440175597603007466876720991531017932894605188862\
72140532285829092510587807409479333645233563756966764635321549165492052181986\
71429360334135198746895690286732310111109526668924918052073430266016352848355\
67575518237646262031326222419718078340476943285606870734802071158659645718125\
78553629894970293355334665115725428535670320934280500768369850046622287206432\
34179516053486463518780747021941459369530654159464983521639102456331619496290\
14678534453014519384759417444931402486416441784458559067475551211562694797669\
38281280277603940647861519086946875440840688941757509001442963796195737482589\
24304591932814957924125126639343009985923682502790414323737634323382952873097\
59654685657707768600032960466814810224613437699542548480708592740971122658207\
07934820088541028936646735233381720404721257879093801830100135569116432758161\
63336067306067313765831553674524906403088866705308612963631918420406907493367\
57657260338862976869081060525812373568140402680089473289572179087923626996786\
33098093407878326315485715583104231000009471930310751696836141632597656573593\
04344428262116708525928393825599069749696474499192824849125548120749483108472\
82662335807375666673339413405964288041263201639511898803431001467386608041728\
48803779099458231210645771314417398287120686462788503008544497274321510982071\
62271562918604321052809020283626330211443605265780060623426251312051997312606\
68149984865043009447147709884198735454590972269481761842359894866425867128856\
71429251389480678987672454229680944677191924791830605953462382601752588200271\
50941677661924238955768737143099552023268898572099758963087827419621395978737\
56218688148377576659306465773333695242637928493365094517306318886540801182288\
77085104483493896486720114166829836187060629474148243811053140013649785653052\
65298583091451090910318354438203401164795103717609806166688314642150267179089\
61850954379192103471865074945006013737313056609490694144387686321720649987351\
12732461615710941672397136532931645610386397719863066015391067332081141488627\
38546084254817315962136786712590803386735877561543907260842564051793835281363\
24004655603821103040839871051949146594614981651632458672987161433525147010896\
81539468722385929705104600280054237162010560169493508697114149582650214437753\
91970339107882467530080138495780432138512947759011865016645730643922420636979\
19834563878450658193451131029225337213602355362642456040751850165098556277154\
73367791116962098090377293947175251467855831133983017962339851601670303012569\
83641197799486468126286845554666707036607139579221385549466437141372298077419\
79195119579244327171917567959784740558059108391002292743280591545320425269407\
43356666969750587633765798541475518990447402453761141054737494187653893739926\
31137584174096339464358530571542271346494702645625952392569876704386014250594\
35756278558715398207010572449055417762607702962758038253392385465287099796937\
07828740712762187156627416894013177208462347563973506931461889096050158897533\
12463680246291796084382338714703026239845602085418303535099115806196358736940\
04866801301425841697778887142126385319945702789823371858801692724227905273445\
35
1
*** a(t,u0+1l^(t-1),r):
18989923083884069295693348053793602783837098487575078589902602529624815970225\
75410677090229900389951529562307566913116171640878796992780067462011998124532\
23836216050235687454210583325496488645693660727649720175855893366178438411354\
06094113384054083127306702851945771950737600328386257431662448504665933242242\
50583593920680781717233321199001836884909718638563578095384998231293518915415\
97827977121841724317929157974871583463957097440336464655562325232979458873391\
87162025587746360326748705652893911911013559639361818288819816183128920867096\
48493237793687175027917053032290681519784324556032634467111923031831064352922\
15840436896500316175206595225703750620936498972887102735692184762449441146674\
12053356149704034023123907591722935945628851656728129248313929624463293531345\
33238260213416471706646469671794805943204386761081091820554790348019616688234\
66792069625313821738507105522206002743430373032800946938244520930620234769683\
95573153044598961959517669092281624334038368486918541421551117177468883374811\
38233345344149612845965588890507005973941797577257986751931031815941861154129\
36588029902937484729233021316233237275095465659160751239634041277784777812590\
98836958314336603542349781873404219869566028705446078779752390240201958804841\
62244740392317092444672284585422520294369537300879576471708852690210533471384\
14510105179443847141235725813022075358103782616072335204689610316788581234005\
41649924823270328533322896875882043475091780939955480128530272149117582994972\
13457471330447768537086869102076010016701936532923902034574801721278310960811\
27060452516258619895573814406179184575709566731741481463997828572716861352695\
97284580420344331207769993639958222862234975321181289787988292309521514020080\
03391215466959494751611514790794235588047520267969115817881933987328224552318\
17945744130327905363982250544859138954568213152955858819230377954632188761568\
91445870167738434215804107078857793033389998623582259110725682811593419786571\
47310099566635899110571387383532304818328896062742354464429317885018679677238\
48594427007244721042421361385387253958229802526985063902633066800702830921283\
49604540618108916474995032748538593932795433521503485753795554053649323280783\
51850619336581560519491479447830903062048030662912284488371581437932387429609\
92951244773331182021727967598475137529237073474798873049377707266178125443703\
73221781584577881542454453896740674700842973827959983055416185772694401446187\
04185452070341503885655214765370538399234655685845100690946586784287155334869\
82969108210080574622939741405744067248506168819387469767047225845724111988702\
24644206082084517336053857179715444624537991490978882449793690788161056676058\
91563055654685334122777459460154109692893742653555845204464611955835390279894\
42109949822691114883882320190990283168414744862062094871176136489234482391704\
69086746096872366388771921975129399761646339472296760703346072364398346426718\
36524397055293924614203882613560784991382355615844689022685332169075160456684\
69222894773009142031039159633973707659857927779727168415954662753801959079763\
55761936126086432394364566089236981316725376626427016045398993278715756991396\
79472204494162930524284080808313373471347078441395794059674616640610385861981\
71959167320751458900876816195562266843044957974384892977459112677849468726743\
74827871024137622294843175473222863219215868470351472753113770702155754723927\
02033609089359895132953227287832660546311535561542913524828879597084193915145\
90216603560704660363483729775162208634242258984824127690879544621911255040414\
28585049907628451201041259284156863874018745013178187776552178241057364096522\
27247130903410537277243104138155355987285559556895990961909658235137412847154\
57042695653277757014838314493500951410941211005251344256361279630777710069250\
49266070504478146764238183250867066550572414089904739928946318811083103163165\
63627840106384426494570338746227143131661069158895051513880849116825294199010\
41455977375472919430396036406642156848335015050140591059777912016137936613532\
57586947097924141461935761071449934892104159046446694489114214925596289627685\
57707127513725877164019063143962756776201346867245423098046414528707722683442\
03404515429345650138588373855975189360118450788207267433585066009775839617949\
40856536664999850849605628007697684892787858739254386916886059134821148175251\
18284792163126751159084802432748697601355777703070244201021237262111619210774\
18428856454531664056285284347525940427873152448963432550293887158058750791722\
75461847793435799485205707080204647886812004882740386810914751728154184667536\
50184800159850802795042599242552137365305634663103654065537173627861772873483\
47600050227230886678407765463329434397369933629396295977958441085056551982677\
93147712708705996226815737290732439205116172727888407650715513950777498039611\
92055098381363219444936036631683786508542069380941697658105619967452046745619\
19890566076943917839727720027575664380316659915788305154710101942300859685527\
79477905982039686540843503485271741315294791815191629050647964715338532845103\
10858312293342776320095803780727888764189128768228208689804110139627787321990\
16529307511448782110780782040478884071762474893982524038093964605560423277605\
33993109241001500948292253287830444855976007653491521523187346232974693190264\
83909633898048953724668689357065688073735259270758898576165768190201911903695\
16877132273811423405777201848448077825428177945435067633013583888929714957925\
46688078878109269720605897951118457414847280096384967264781582207607342003064\
77609217637701187644997700925051433850986796373276094037982772816829304465432\
19460215478011533400821357038358397332612232249715253299554786727022603233698\
92310958910015957110894735418216301755958725590107521415036505459385133745230\
24618190452825005677718048310054939211662002922974782427586342036981000432613\
10842129014064156023177606991569229565135219318257835060586012024309366985218\
06929657583278078825572074903316184522334465491404072567213313817761087343673\
20570798316881128125426356679256175249565288855908080134007512788451109641319\
23440799656899766784955108418294004521847624064426042478229443332814198503872\
50430839908071043007478675387390397913169298756645003276652738517714632951944\
30000990485955693141114189496031685645010247521632746213468752946252149753340\
14006387724300456291676202497320163925509392841610922669873085080718351173412\
08598493890571565478834117714862665627487206788426891204038484644132188239559\
21875811741183018486362507426039175979517416095006681592902073089752871079667\
37739778695313391698583026549197193424287473595035070260439401451898384732815\
30641013912167189398037544392308291517770556784620097224674630272798289494614\
54169661021390728047690932335388177724802029125205423059024207531176087263744\
23946928382628027979234307495307748050892945232459677090233678459893779195291\
72446548023018412476094076551145734276496010139815539081152046095275849262017\
04524883646216892611191300843886171967666820913382416152508275282866129313975\
18111442515429770968120326043500394635086858266600859961074423387629230357410\
72551175062646841519297461474378199161336733285188166888416491713937395925023\
65116758578493449451661009864795598720065788484725204918757398651851127720673\
82198038663996306303096311012723168564648435908298241870354311785880526539454\
85798139743952587779868859111468324603385022187046696583077820291970926090162\
19038076247126728516674442013883293842521444565631561135273737947262642953061\
63689001231685967477584441093785682381275631208389101471127040223518006806121\
89045632677632129853555058830213455338785293614492672449752209928644735668226\
76378895863590467291364105705082557730429129417123227586344406591427768479372\
06431817495216960459637704278910545171429540700432949399711825885678348168364\
33688791669475312437528821977831055061530692859826104707053449896590666481595\
46764117229912423361029359412764823115485280562331430634581326854675839339773\
32926132043184619115337665952359108633519153314403850752198256372861098345034\
84460154591756829750517536779947135362925227682562316417084210608230827395886\
31430335415485106774779418499737600805234616003475615583099771232221152293476\
13208621282863627389336788039561841062843648764233124360812992760710563786091\
99901901325886140910395750417418346683011322904406255391010773831739621923166\
49829892862423817761623129738198515714827479665201273759518550356647515978949\
32717151374049272784137332135821394744858880654693885828912445445539744334489\
13549806930383307174434445931603611241712887433475885498285988397731013675812\
71713909188836371466643371892406856630714184924876156658168401061759675439522\
99400313431111911977713337940378060053156622715453145343166528669542275990448\
13428988172270727707986086097838674620289698463937634624440929806686997139021\
17689592892942153148185393775717113626466930354688357960088342723259581623650\
67868127061913032670657044216305502145111455676508236998573780350207876822746\
80064184647097833261804297395390521893450344776653593758085162912626759628310\
39355671385697997462634093533931566582934319615977263860382342698592350097582\
93584631092744381706365738884702452664829606412308451760125357320038808454751\
32226343817590672160483880773128037858976532564984222331371916846915759202423\
18320874266915263871008565484492854521027256095132883550113493511544058845718\
75529056686203525193153811623671804822195025278143605558513899274775091459948\
69932604444777762547160637219453660682913761023658928954532746343286540107164\
63140724287947225542820947031597390956448923435472645509040163422086362741809\
01567287037773229216244978688738170390723126742866087438415123398303633992981\
05031351530640729748273049516438731733767385449137193726406403331285057049651\
16806367481163247590764427487634233725494199469897574786200067620771141793270\
41731572312815790664812843146570839439779057936890182121630079166915848255528\
59765288505320864427406811970140112181199052391640536114233442511140254875156\
60807758776343916869100439288550527254952172882260162225345098439124343823115\
69203997681017312583722753400712372471382865404414338852080354000864461436480\
37434707433355936674359473571185755150174386321553762101470217594864676922817\
89662993954092777865548259501606051121239502910585874840982921292642433451457\
37078720310678837415182611170667026731847416755819285118492019172469255698557\
36310148537081188733921540336680384792476881043706724097366245032688512859916\
07895787763596563058546031613040581286248377074462749829533214949706189384546\
48669548242228067275830093671400887552664327658614308441741124862756468331364\
62476500027860185281709762588814796460779333272882872048433660619560982805882\
78731836691735444288444369965010722859924484554860880981806423598026732935980\
49742211498833479585854699734486985338081911681433057609685316024946674924217\
08639904550552116050556296584359693278382480882005643684644778119808684682657\
08444375596504722472602023140387920382393136560239830035669191889048930595516\
88395916419197406431955838641815271801048967564616252443091968126040729238799\
80509866066684584214757537035342511332987775943491384749792896943827397009958\
01558949657833033893796211946744838465719969441238091865137945741925815029891\
53823424702407413402888688632601124045661354972449414818474066238083123739372\
23645295418312368078944061988397936728075695944442612947452207593067122306856\
62316500942635975951164346976273266142181353842336138622416654402707614177979\
86402106438670988534618161888805453850441549062310863536177647195400286549564\
15049995537155755629714665725126485859629418404411858488499025966898310954106\
20425648754590946168028798135265049036075688189441649759124088464508733979044\
81275123333010932950274281347771601190926871183251023467164486646652221679695\
31
1
*** a(t,u0+2l^(t-1),r):
19257386789290887173097479716523090146989733677540924767225174396239249997975\
41261531697134546874317044063185138278089638847088357513805138834716392464314\
38256444445309429531030450696278129330844275667475772572698934117814754445316\
79419382586646394157268769089297120851452214417518458240559102708957002724527\
61155193835056567375222522906030031770612672422205318631939716516241314956478\
17515695109473297899871822171700760695843817122594724721133625588373535758932\
60220645666447013289097278971948755740746144986395083335141222044863131020154\
18190325649936290169155321384858155907386920676540136361014907863265304695921\
06204386711943982600209505017615071052217294733068611224927285956286757219162\
48842840039136485206548187980338751944863060834991905716600041309314889214885\
40748658244591351589838673469989098984657969673208994522252745141653695796519\
66324352296092889650317064754913129542633617723403777176811345169079674696017\
53257281960720074099792565840060238761278345507861056089460287841940276098400\
27504237532095382040979188734035273663715625712148944311817384376729774691511\
46962509197345054936687007531954832166293993344501043510614802422542309894458\
46707901389186414859847666125142307473362733335100248903410874609782268083783\
05374948003476488112907105495076358608374742051596190224831512587255752252671\
24573627787605028086886933218839287687091159836017015982220449898715180969695\
63363304046133290907031670071317001833895890530659078440199712601922055994901\
31956872335101962460144430638724967904261118737612971077315291886366737875752\
27441585650290431443398797707674666048606884573033615005744276862473436864705\
77528025214997068267034359747563268254660820044014829080776859806838718442898\
06255880473536389043887733308974436089287626187236286463204214747713129123477\
59043571512445199805728479425772647953928328831166504718092777644134050575112\
13860600733481229063914024079968466174705350716872150084116185386404594713142\
90229960123912461069875209741046844322812401641090838330125505460864013193819\
30968996401712956550061098869688482887218954675252459168867335347191603187780\
44669393302871013890135807857672940326215087514764098229201125237503539101639\
62440064679350314893005443947096127048837439545488513847362730472269463308900\
21020980615209085993864981226622674677536187185711533233171759481194718759812\
23548848930839541845869305360075050400854846698776320844929089797661928227119\
25371162662881525067143316381784207954153453653251369714762735893925002593107\
43292616776419737645798047622726378054823157112618279200385919167494874129388\
19357504759296975326702503055486084689672329399302528681480925869684451840510\
44965352213202028969577141987761914054765485507831279643964113532678142255667\
58196005453996623544218690897905639269378332817865786348234955313026517354968\
13721770689786061690022230735342489899134316084582630572407284651220858348221\
44081078703960036228488444340512345343373656399166445206103435439062134547623\
91324625685305045439927035121776154246616490142821917266883601665827338785112\
34012104240538353977383785329930459926820100240883734581249683324894852160289\
70732376388446915461245828425331871689253375320852072849247498565126025099474\
41986761226677535786804658677189904404214605269798764709536001588805095046838\
73064883292083222608855051184113326081458345491060648425692837895143863945390\
78118589499069189430600455841182416328653951555367461602643370859014957209725\
42191485300996275298180683715657451009372431646582213996384890320811413562110\
26170754835904908260210854485342171815906332971110274928334603286706059365487\
37490048240078291323401457717565994804007891381641004919119653421547798943593\
36719353338535190212230403430029133825179819610959109668422706104450635563183\
59819113751020092493311960479752518192129772034832975702593450061943428559829\
94101471657178573346606540700399356415205591259724559281681987836780580032799\
29363808042733101394204431285608947789860860332536937412732530495238470932033\
03468453395078002609286968973864722707485907765410732439665119361168068354836\
07815678605468495152244683751624204054739394006220710747314673888266986383208\
82325705787505448027864266445495966675049696573956665566452461305688175387216\
30164375209577313537628242486679342426489096186286138845292905038128488290395\
56570493461198958921888813734618397567572056262268416654556747646085022298249\
87702502320088448057078034831293911419815027835568551318607885568735634605690\
68073986494751796661053674785559642927471328895173350005434677808832412620600\
39624022697313490158353058386813435074676136559767085812939105650789403477335\
35594417131839772406272663568446750374797679173472300146662081100339038630321\
28262469225730024342686381477925853841807949808562892265514324006422251533127\
58140381457157067606132318837763839839648295710250735653290206164176723460346\
22987616303379747668456279464583772329335204421644478466748272392192421089549\
31301538460659963816066651421684019361989084657659116783755682528230624857005\
96926739227051829507702786932569126634107285511442690502336562395115502636384\
39297325927102990309524173336823657086857721019249883531588245797188034873064\
57007096695100113637704820235546366614510881000723796474218153926396871967592\
51288642826190488284171065263503232976182234753445643626534300136542783902338\
76269767939639753312900824409693825400434208620722885486999690704266753196769\
48754108158082639716670769753246886392521185449855178071327801675320121467896\
67434699576260359301969499529629623060155624491209560151193797786080421429734\
05649795977701836688156869109321191661240573549007017430534431610501794828539\
75301254105931674816681985212839066569422932992785092139191949198249713093754\
61584643839484512799939429272168389059713580428932173729383332769896225790818\
92684975901586186389701235259056120122390644942458649638904124869722174970925\
36604723183042558809030836521672750501522274864522439786469839364490116742879\
87057710969231566549728136350794994619277476022892700980965365081246195692605\
42080810919673002936855884593199553881310266656882747301866477745952426651814\
37056626385649508401950206026649417602087176203921693463647847510921881303380\
13522131197025491636059459770623681217475180585317714469996481860988095524513\
94485350931684969760573050419817631023051778656281499045505100363545370204023\
52381571269312010063043048950283266551818012517841354460433392878556585257017\
79930400638946159591804232882743953105989492378034944713928862851580376306141\
56581184029050200032365886078059125726038001392148240264107562035727939447362\
00086661995437149812094411214735168863091268852009112678543287037203899205806\
29580501317466653794841508847154208396982339394574513524644266792178567366050\
49636321740129831190209438586790955769919606432916855640800349987497916930436\
67833119121934164764489767770175955886024122958686180476661229843096635871341\
22898473556726989690222164236053582840450860644556816380008391836145933952200\
18366533255083711404291034861014484700369771763313548129540260336750768813148\
90474431049444684357597425720496201966425983049768281915013907090190035304249\
33639529826077864232670319862891311378094884097186123297894826801877199942091\
76313503997292028927083582998817861079643484301372864995288879557512646631559\
85598113543163187607754336000362244668221430950244537380022578324252206739319\
40432978729480626101416335563374607840303436742612287348446607495815637924231\
51909973080019572653325067024684072273969654183155145153818970367511218169588\
39595571166049483795154425855991109639331565355541865019467029786794661522708\
83088457777162164013777684658675269811139398845533413890377426402574638457954\
76944941685290438775970629691289566934407421555368624743369738926321705184820\
17261873242284823880310918062025858653946618111372951252223216796542647699646\
10803048458502739183015688418578412173449861978702295854786697655445921583995\
48882838128299895440905802092533180586103930121648975410679921955577451842852\
23677903247978756930102290819101320368036850607668827915916382588628444683152\
31873016195984897011043917351846581098266089468313300309622303221407365706060\
30296066653044805239890827307724683894714686070771619070120218010861416797163\
71731505569912706275330901831748182551786130269257047720461629801200743358704\
05461299804148096885026272410567508893909556843584390291342755291248185218089\
45854012661007713245885745264494935515913231086450137741995719325054388620890\
39092761957571804458581409958809295907089125284651602195444945980797647671246\
69907062839383362614060884172581601090301708656212440554762322203474600445713\
45870740380845882568948737066298877800384180781867978376168874143761181286088\
24885734484556230915140819704850486938885328019767742154362633043400898507176\
40473953356223028544638709181008903959234070218838898213047333465840702491589\
42063452795179413412497284275690086682366546601529479773201580073450241285039\
00910159078747098519012808626311515159555279210127588036368052531114460468145\
75121244222116279117037390625958771746074239610568492928838432032375340944027\
76592865333487260321948354925332064674193403685721246855338390521729495897775\
98877419082627160500772386136129841209102962601110760674067295957435699472879\
84776097848139422517079108660330782049492428716191093177579880744101017421010\
56874536357840194562071470942315069678845659436990698594549306306814177255159\
24438697465126745118247406757755824917884377376104829362343066714318744897406\
38677917587777468156100115299648058434708767427521556009167489667467860808595\
05814713615770035261544203740692229128620635570230398529097026544758614753445\
57214891693044120308107881199768854715933123272364478145088183659894705740491\
32536034628785265162465334917037532792050455800459512459245138995711580410077\
04291171922855449688260911359902823093860453119099902996582615493210437667578\
29621137639198623081313950166902648972483546087297445073588843109888709169172\
89833220167560028374299037025008985385303611936939882820068268839675390919215\
91305462437087978958141383730299870675205159283349752075349091381158327090515\
30919703312698978035970170382047526349472617114815082694448671363806432935815\
33179374150629295863654573015713178601820340979749056176771413141834580401477\
89713631864350370336523211328000365136521324034070260965231343386166005778818\
73441277389716135054117618369591376127582189227420903310005206230332013041041\
65753474915196514650919919382238335952251875343117154756709739103927403319540\
09918415118879166814926292173814984560448332273524369124019168874907967885327\
50680394394449765356100040935136131622198760502078405457566529078991419183430\
43221017490210591391098516020855944308655815323239203249155809845886264385783\
03963932787549444087063920857507928793547854099481410533765390898537473162586\
34113706023095103600564131747519688958359698922597272468935549642622891509173\
38140775252793521380666840367717327711722617356862926233354673464951028209538\
24852196932143848776067892707192951685570784009188312336656643733449753594275\
85869159954947747372711868542882546703874927717343376084297022252895388517140\
52285132047379978033145454368529977035659687320692149497041297090403643410594\
23595585613708926267718106782356069454755176873469829111692010832985702946969\
02851567184767471854703837509361287949597888845068565242486745728180743747798\
26574479829151975612448351863263030454043063051383126490338015732323214377669\
72126079768793115133697290929492854608898472288540594008518177437589022979839\
70191544770073442328724731439564887068919973593206391706646899572065892798530\
23530235356768283438001034728719486346442951403377447643055413654149702063256\
71152237746151932005911947282247257545728658101324981544166803359985351562507\
92
0
result=O: not congruent.

code version 3.3a
start=Mon 1 Apr 2024 20:16:57
end  =Tue 2 Apr 2024 18:01:11
elapsed(sec)=78254.184199