n92-L5-f14242-r2-t14240-ver3.3a.txt
p=989964398465226239755905460358385868749230275228231693637468485264967560030977955530911770544168585718844875869740735660323408548062627043267868480151807179223961588562291950000320461034228842751958953519102665359516847199444005436410956837294683768975127567995276922126583977100410945589833028966663324055320894273611278692186233880683906854707841359543373346349851054726771169880026700961290389603149420806527142068970838881573213087343629104840786304071281945742907507148852419568047911515592492315733187187801739974066714728957703889555293174655164764112632112311021003071493270953620027659576138555595795207372439929635618046874016835167841209055127411296047518009585415932561375760524558174481778897671705013513588998740306658969704936853084211575765178957684449234736247231529413790117171043463814392964707366927697373804704909863568879223675960921748197780720202295852508448836982031710713501478178735515704810015395208908185976134721578420215960097711134283206687387633921682324786899016629982665909443933629005963553773537912860851544243071180566768361968023845441873022848297063927698121142792202696448106431426255851351552727986454360162540302584368091792629537745189894547771404786687952445580082895340839460046652900022029425826227617213156498691380474128904498742677781446828634268801995654059481326117626028823338108831903312315314129596273934598446931041014641335300091074334109101068810558382847176678823352572981421572344721779745611788504683575477425886543073296226705154790956922955429035498359151151227836250600749968316754626393658993646847183802813107920883016039561424592387021285723331759960487545251678165419183406832517352521986307225837836209344230140294389548429716514313526838783446728313589206539640196357255920001877017233834639777073492906034230463897429353900980767937053149702374666255334762818888721603225872058755234931144170328332273993800877049069612331423331997530731298445850717616035669218248154843240574487981614672924611969878201718364841203027521165789236212299273695162011733831098943320600866833047405402252887352464512463774888917802815483844871143928987657554351341582252865192722976266111412911400647873869089385071673057127959634403082820830840015505449774809906488045611711976818733105370599865616120115031479032596145280271640375293603459416041282502187165490807828116001153035059244005233456966825658195623094290459144604425410067639417702829791053183807434011544465982128235031481340946056588936157295717968882806535784414274986594590870763388650647480420856206685577603470357079959298666967811288083877497639367285532314834824225942811320128940795489535113159378250484197137488711284582237869749933978056783957523579335732350086099762522237399680379551300176223441098687997758796987204719744750839098013886644909265912538846893423691952446598670956224094022625476651620595508113305860660236174174860948604951636156863884378786669216603124740423521486859668864370428464394215025136361350586152024916490622410937821116726047451468472051520180762592876770582772118841956594679260797733945529552306940791973212090782027786124196691354331178778131040652594880848795488577671712139466109150394678079928879492434553326990035184988896401106641541724688868503003079533320837236574348298917022477844821876364009884931795255546702179064716926848287288342214609917165121609095920724268164349674439655830868870851619598727309962787841749127717330717425011939501779292559240871655463650873368618540611812225892519547195716716808179122463437511685517061810801016192961574195058699492119949520888127190488249833768230886495357363000215726288275783868524684017312919790913141412428569625075372071975692063571153527630900077481956677505640829048324436433249699763673057986559714602374635117613994596480399344695693558701010717599669054988465662815752543955319098462779034041979974845943930835982029300570739505751504311200361309180333257977323304993910668388710224349267317118638673693387199090839985852430481485014174168588341120149401857970331892164213752094720776998697986282331788661254820583031806086684777005464828238651216194287851015737424945839683033920517461796621279118871507199102472707067056973488722794342381516712694169367399430176805067002934108995139216385319919929760533253507031194659106798214529648982887114662146276333204083755201982771352557475504745260857804567480478690495860595748717853381075373557055740651239001378416163232051329533018463198566838542540650639500791497585270563309128305150677012597362539761105298131424345887132346045607304442354566456336864812619077287361478840131413702460066102094767383865414078781931528943120086532425933012219137768900905857492308035436071124669735417162907776526927154991509409536604353757467948221094028546320533905402706189895998134646651610324444567845443448897025483555281177822766227073393376167517927192878691209070869761829400648063239898293716170772284072599114218578939107914999398335476068388751072360690567515955888110465153136643604468891491227604740361459901877424448820648568456401508546348229353302442642883162451211456300541638737669166921136116135487085671407676057397494146260527007155345876874504681361507989585020484696458812737963093225048389195769343305626691249234968540639712272800515870278443760264396721549750388671387227813025909251310656851221364598054256691322675658863805000114787634903891166278518003943465522055856317368828306787195018903489559300225315568894178718126907757466058243223489549853836755489738753233589595281205310942117495203180207642102860542972710998023620217819589041231161561015253923491218681854683651373666516117971676514939236624710131021974233736806205911694616887575628133299717957811020735785603100134499368138526253730419965587699269213036451211459507179901118297113468280879707219436515184847150546144932917831552439093590486513390232003400556483089030385416631626559442558298521963298110014589823305311853806909334301325712404483686194806864721119632890216879686237523788326738510507387261828773572174592717999672673739291790887319888203183751520748309538634780972058524200838752063192958831007401986372867700431199897694743812979849847350427063678218665265909126826080552199047637221161996486797391043090185480931879956450748822805324540633013915482055967858054981779876860303504046828713915364396283458064326577033560735452953930672341895869879039019226926135098503461295356043203896962628036478926789959941452560595910207525096594677223314185604810217798575058798461945280275526114775668110383549765851737671058967700843322124529798585971001786274470876961374640490749350867787472518832915456486235517034593342779542908758516353748449615008136131332453949824174161838462013558649202981481520609391335650333481309362569434045306533256733494985539671659087781306168800180234281755455382843802538175417954190710625601978763894610471530319930142213741554798051817372791708941405650924540165315710975287487908902312495809192657659435192609911481450017635503932441728333552874873000859488077593295299522947646848098347538382267424925504465639354736867630059407528268988964375548792952282569089067627877432549130749648565636867181408004082878315362897655704455327346676810453715880510135576197207789203770979023734124933158903011236231065233019814023198076997457052370501645260834173794741290633910490872502283600035587214644923409443810376385323202382963833745116579891451182238096809475265522654795228983356024736212377630200913327749586222530709727727687024560520088493844293735026087813203054732736415054081824648579134142094762866000069681537169803007733689518611526778693445041132739766757434269869777402503623284312294226347456866615590238949617926400148078705734193599086240572473533540522194525723797021795430761960101778901696190000109141823430295637507440186202762684393691405473757661652794460833103374280805838924076605145602335208085210843793192040301260394142170775331391510171837386399292239843718094829453620200396132964554677972676018408840088185561242658206355400260542801188852513763679242425431287198419649840818629162921140535937540842184824279745956287282471666070709361289317905551288549999243136098291323287335271602924911207708623307548523163739106870149173395573856007089018381543758340294232516450421575997885827835998294356680615025777795510118445888138084193644372782479690367299055574012202329507250371399402482333478029370024935344294602326427519672175216486653612116095651609995415257131720045761218294760430043858961961946332572805058285442756080843913757117637618988957473731319953850397856631185585247716254734027312052680069370590417956530684888281863231050092961944159587262488474776249147703809010161841851314971391816809428179134754470334524280324065878330012343836784290143539919438255559012096461818590456424984331740377429019087800823402716213945320036605848706045717487745737281448858621454913294347179385935051747022579166523101223741803635926278135461173856823056936566068167981196206846847291004175907064144952428860224274744767237122639404461888250150806941740116190746754886903754622644349304050195234036508944929697408969745786774844921610450189041973074963304344233038359033658375067494027047903977776137626048145946094381969343372808406980615554425522765970894088346416185091239596129982103869818789754802047290235946247753318841766058839233114474066298804897763665676248651865179474395447341737390601346770252268959015216102303159400267122116832979537574802270969886802367825050208021185416575234343751771914300923471586158591688170002230585441166551835000447088740720527755406785784051145761053291625810955276536164573222488381467889823486591019858134290653930508988726550393127003612165020201485751676650186656130903281900050980137959709621836704481122794427525488212252264885037338231879653064150021204617868031662321721075760069814236272456218895900603902831930657757213297081306379612012224097559227217346498133412831039424719960859921754013545775204956365948377673548894621526930676101141133409189176717291047680191695690155029296875001
g=6
*** a(t,u0,r):
11344992006411492707602676575707102055866178954115535209085388841136528237955\
00737038424889043617199233796227746722883066730626196079770591584977278253971\
02739065998049238657470036724834522625379374496073289165450200630689056283023\
01269565355397075992454961929225873527570652377570709436459486511957961693673\
97744837558525381245424027263757255495186198036705854916929308716879760682510\
59930163878648520923624428010481104058135828290219809579895414754110446568910\
98213720031925848728249829065968689961938302325172207940102804550793855286574\
30365978154818819673076400708430069519931288512848551697874254784712781307648\
81615936241828171762329310234602557717601334527045563898488665871533662156114\
36679561186167317739454865729925563914311792818576336345064658268950855063788\
23007739327332708203474278015809531294337554642499141190380191826703649935590\
33265121632343465670535183104697468236718140834047767269399283090099771227764\
29094087811286503909288695674902719769598885548637462284742479442057862730579\
60135132222747938840834232624474448138535869702559572929516542815355326876386\
48418414843526114204682963986429012952997041448920564887942627247669674627118\
67616858331943534502559876191517460298855443935026347749980606020212134642234\
25245721996856849326277347500322023351724555559108737538065614872047087019552\
16559973079942903154547272136119591334999251732992904982018297300277897025390\
43711868890298248568999067428644739315620486367091219070511595884711096263673\
77497130065978361997475804107390436633706921674681119587219307100343188459463\
69100080184713320671928687263802382167733193638133739258287552639343893819691\
47187268584231775703841842300648859901963080808101602959084877407773704225004\
55125403301757245829950647373230694427665025415284322151061749974497184526222\
87031522811162645403957052396005586290955892136752861363819044647495729684937\
93334992310912191962687859968958050982337757318111384691702180680189449223879\
76876924112385450353698363226930415171605317480419169246108018669539255994464\
69929496765465566544697043938904540859339067232659098180890592433128348602269\
98020265444862223309426198555572866374532617835108605308009636791964651424634\
53976435292137323468641741025932912672142657769245441932152835300271021925434\
26813875470744599607365182607497135518249119129987008646956449078330974750649\
16524657710209373213781778936299975416839822042921840660568661797166715199375\
14772687442940546948643319377229958015518957346077616724180850920836260892792\
33969629000893875913463740113789484339364201256230121286167193357702921363335\
62723451117361441236122947149092200328007085629304617728677661516310072396806\
47475054889919562063132131244598733424338853074415322021918749273198670327850\
48406003371496579000195206349909644543158134733660882748446160632391409506601\
87357695185398635509775038020769158328117499287962427572024522978485163166306\
55604390647101274575035766011498089522922227180952525355623941180518568511020\
19577041880627010777173022055429825328293474299976805037938286897104212715393\
14367790878568481928822575024328742031015768669437541476013010560362038428983\
29408292063530879738172587873733452719629910011782111828161086352301079598495\
89832999811273058032199727527566821120681649344330444152914518567947311420315\
05589077596101658703131553281318373628565206972081655981681372324401779429650\
71229364023925150011316344726907845582175725995956060141497217354866644500364\
06100216906368266903906927289003891716134390088043684754113681087282740108629\
13574621732743430993883916025528351779645571339640275372696179694621509377937\
60299534309498392595923679537998247222326364048313329287883840606080386460058\
64314079033637639448414310485254194266501148879432235242146439008937980415250\
41559291693244525974329343213318447856378075665376490212648182713582823692207\
37016781649586852415372795686838344773012109051173451744738035405578454067473\
59122394063561406032066191364201250752302162597346191710426034541795992005262\
17301581026237868853317818262435972022389236912145292340003484201889599005500\
10440507892279552229805798024388154449775340754448262693161494293758653877264\
03508898793227675687291301121892798587022674725017143372229884729161807632231\
63692181527475180950397469826186067853624889084295419775766282395055711085190\
57749079336390753850977734388633402819632677851879983461472255970030866928438\
06894304403433262857930825624272803065997471237809638587878631989557966492306\
39308236448391588255575969697515856328679070562327200655522610377026758564365\
77470566226671658612300386653668568265970890938333158962047075261462571316254\
75079060010301923575300060342190976453428409353216881561916616011923200313188\
31604381126861850086097375088715167880686923118998585196202697833289485894060\
58268661373756714083331855591501293620813862305062745431813474750878192435991\
20415435222978489009622610880908797554456303898012559521674705649314268047292\
34445987317050375471985848944914642176705893104924555743735087289253513903732\
85447774593065494593570721349648946835032454233047551528418348463259451036128\
79411507083888459926874410416908832892042071799336886529162198909126820017943\
31967617775282916145639502000263748981823648402881560644334754621417993977057\
04835905454018351667428248188171623273947573110264629391187339096549262998642\
89601394541740976307372769200200201275149968382937017816825578630505792053013\
15466295998592765551816325192114882760113397046772395781254916633990349580582\
11641952728810973436290056102746734119024132496921791240611205693676192261286\
33966664950284451795784987818224672680373506876962124904125091114892348099632\
09366094054674644742218274711955412861203651719178101511824718623799119748020\
30953161669840761476779651429763210301152754136275886751086775061280563503362\
51813977308833259522816668156849203464988814447347424640183483452588209312383\
49590952012546975443452058758970377296200288216874598440371211718101061699396\
34076719937507887384462718097109319266415538304379248666970403099292188544120\
42820226142244233304146580205577451371208325482762488410522839235686859188084\
85792427775627312754589939790687341612098644191308203344826763833063846941550\
82758176409674907925063589414975238590394731859342688312820108592255451647973\
86981013538135256114793443009255815093490192356543394714243613916533100911973\
88819078156376657061470075981408429417182572804606028290852045505038126668813\
78716034057350822884966644478025511665919171729804850101294092904634442913097\
82376069750009791805670311250959716701738303738929119575292753291565449954803\
16660913710335769851664471547111491795227680470705436249977353380023987560944\
84443506582521113133225902521643970825356173437259741395723258799324006506992\
22649850358946687746753821198661677782261836247065528216958052950457141592128\
71122165852534284637213145973768694450065484868917518687389977087490289755025\
54376939867663423223600373746639942976947821798567382709219298446850875959523\
02945180477767946114360205012019733478567771273073095855774172021028750657822\
06702515946044589849733369219164132532980032879207062789860784689646281176227\
00528450304048081027396261353174378916723315824176071501547537701303839097256\
21984978989357267897854940588071343730580513929162477995839906461537032200012\
64275215419611993071734001028508767208007570407068705849962390857820165948854\
68915963168773519066461422539887617005640782947983082227222606691337580389930\
87655347190360055560305484485894365865428896239533241492600434769938476421024\
66736010258110201933479759293301463560214139455606203398966339307007237159316\
51977771047271687726840598244436079855041596594246862808188328809688382688017\
13811977270401967327076490326915228382188918339418556914146641383626214365456\
96981967713858645528316960546694374384349264794713869775636532062766386213438\
33740125076529651118800583526453388366036315170350672926280254102452114736466\
92580349140699178949686027614846565162698699807818524441168692770852977467065\
69256448135889068609009366745538487496539683773796609566867170965307410606531\
84086304483288698582050162424980773176411819544255129388918717578149020707627\
05418442180514380862458886590522571252931703292803755831976177667829913263396\
86418564872862212569519482440340823104506075456450164731909527113276389841240\
15065249147057977190463852183126093577158700054045332755984819541353654595738\
98780624448591645120872172516092471768781798386961530892562371524475416582165\
80485759045616142660859375443127980937050394850456167450547458846729511724423\
56165795452830262370408390497128434596795117398468647125165656812711361345264\
89609266711255594369933868069388282792519529961237135949869661897818416488197\
10152627834065343880068870028117920935815232685651256454707616069572150220636\
04693288428623003364825251379496566194146036954796504496747676240870627862545\
24410466306303204417447253365587461974361951278118133676195030261712839224095\
66149245403919801873306353218675762815693020878757248354740024081069667715147\
43238505239919223249304714120506450853046486995490785589495510115483473817018\
85750325374254475751332393467282475523417315459578110039170279755042430244152\
37382058392508894332306793286716439722801655759166421011439079467784910619594\
52572497827348154996897958531453719451175254224161736867505238434399785425371\
64908980264462524499294811456057716495949103481233305900314619461039439992530\
33926639034297611491872799784304128371608649809550374956776571826536310496291\
43398709100227031437653239420672706121945890594550060723402531490275513527507\
53839227848739521855793953061378885829843773774607464282255625091557686840291\
05123636968657248076961765085226130421670722031793547469104446009129716851622\
01737715633308757421897089404363301080626750523546139541113150902671421441113\
90792601516105745842323810182722662486333536672241394420949124109555825278961\
37340824115159243004920767642850206923528210400071147682348268547020920726453\
92533789766438455177111035366008815802874391079086860891104371180729075145470\
33009952345838487999537684081388703323626986255481190773888693079651801554064\
1499683260917663574218751146
0
*** a(t,u0+1l^(t-1),r):
11344992006411492707602676575707102055866178954115535209085388841136528237955\
00737038424889043617199233796227746722883066730626196079770591584977278253971\
02739065998049238657470036724834522625379374496073289165450200630689056283023\
01269565355397075992454961929225873527570652377570709436459486511957961693673\
97744837558525381245424027263757255495186198036705854916929308716879760682510\
59930163878648520923624428010481104058135828290219809579895414754110446568910\
98213720031925848728249829065968689961938302325172207940102804550793855286574\
30365978154818819673076400708430069519931288512848551697874254784712781307648\
81615936241828171762329310234602557717601334527045563898488665871533662156114\
36679561186167317739454865729925563914311792818576336345064658268950855063788\
23007739327332708203474278015809531294337554642499141190380191826703649935590\
33265121632343465670535183104697468236718140834047767269399283090099771227764\
29094087811286503909288695674902719769598885548637462284742479442057862730579\
60135132222747938840834232624474448138535869702559572929516542815355326876386\
48418414843526114204682963986429012952997041448920564887942627247669674627118\
67616858331943534502559876191517460298855443935026347749980606020212134642234\
25245721996856849326277347500322023351724555559108737538065614872047087019552\
16559973079942903154547272136119591334999251732992904982018297300277897025390\
43711868890298248568999067428644739315620486367091219070511595884711096263673\
77497130065978361997475804107390436633706921674681119587219307100343188459463\
69100080184713320671928687263802382167733193638133739258287552639343893819691\
47187268584231775703841842300648859901963080808101602959084877407773704225004\
55125403301757245829950647373230694427665025415284322151061749974497184526222\
87031522811162645403957052396005586290955892136752861363819044647495729684937\
93334992310912191962687859968958050982337757318111384691702180680189449223879\
76876924112385450353698363226930415171605317480419169246108018669539255994464\
69929496765465566544697043938904540859339067232659098180890592433128348602269\
98020265444862223309426198555572866374532617835108605308009636791964651424634\
53976435292137323468641741025932912672142657769245441932152835300271021925434\
26813875470744599607365182607497135518249119129987008646956449078330974750649\
16524657710209373213781778936299975416839822042921840660568661797166715199375\
14772687442940546948643319377229958015518957346077616724180850920836260892792\
33969629000893875913463740113789484339364201256230121286167193357702921363335\
62723451117361441236122947149092200328007085629304617728677661516310072396806\
47475054889919562063132131244598733424338853074415322021918749273198670327850\
48406003371496579000195206349909644543158134733660882748446160632391409506601\
87357695185398635509775038020769158328117499287962427572024522978485163166306\
55604390647101274575035766011498089522922227180952525355623941180518568511020\
19577041880627010777173022055429825328293474299976805037938286897104212715393\
14367790878568481928822575024328742031015768669437541476013010560362038428983\
29408292063530879738172587873733452719629910011782111828161086352301079598495\
89832999811273058032199727527566821120681649344330444152914518567947311420315\
05589077596101658703131553281318373628565206972081655981681372324401779429650\
71229364023925150011316344726907845582175725995956060141497217354866644500364\
06100216906368266903906927289003891716134390088043684754113681087282740108629\
13574621732743430993883916025528351779645571339640275372696179694621509377937\
60299534309498392595923679537998247222326364048313329287883840606080386460058\
64314079033637639448414310485254194266501148879432235242146439008937980415250\
41559291693244525974329343213318447856378075665376490212648182713582823692207\
37016781649586852415372795686838344773012109051173451744738035405578454067473\
59122394063561406032066191364201250752302162597346191710426034541795992005262\
17301581026237868853317818262435972022389236912145292340003484201889599005500\
10440507892279552229805798024388154449775340754448262693161494293758653877264\
03508898793227675687291301121892798587022674725017143372229884729161807632231\
63692181527475180950397469826186067853624889084295419775766282395055711085190\
57749079336390753850977734388633402819632677851879983461472255970030866928438\
06894304403433262857930825624272803065997471237809638587878631989557966492306\
39308236448391588255575969697515856328679070562327200655522610377026758564365\
77470566226671658612300386653668568265970890938333158962047075261462571316254\
75079060010301923575300060342190976453428409353216881561916616011923200313188\
31604381126861850086097375088715167880686923118998585196202697833289485894060\
58268661373756714083331855591501293620813862305062745431813474750878192435991\
20415435222978489009622610880908797554456303898012559521674705649314268047292\
34445987317050375471985848944914642176705893104924555743735087289253513903732\
85447774593065494593570721349648946835032454233047551528418348463259451036128\
79411507083888459926874410416908832892042071799336886529162198909126820017943\
31967617775282916145639502000263748981823648402881560644334754621417993977057\
04835905454018351667428248188171623273947573110264629391187339096549262998642\
89601394541740976307372769200200201275149968382937017816825578630505792053013\
15466295998592765551816325192114882760113397046772395781254916633990349580582\
11641952728810973436290056102746734119024132496921791240611205693676192261286\
33966664950284451795784987818224672680373506876962124904125091114892348099632\
09366094054674644742218274711955412861203651719178101511824718623799119748020\
30953161669840761476779651429763210301152754136275886751086775061280563503362\
51813977308833259522816668156849203464988814447347424640183483452588209312383\
49590952012546975443452058758970377296200288216874598440371211718101061699396\
34076719937507887384462718097109319266415538304379248666970403099292188544120\
42820226142244233304146580205577451371208325482762488410522839235686859188084\
85792427775627312754589939790687341612098644191308203344826763833063846941550\
82758176409674907925063589414975238590394731859342688312820108592255451647973\
86981013538135256114793443009255815093490192356543394714243613916533100911973\
88819078156376657061470075981408429417182572804606028290852045505038126668813\
78716034057350822884966644478025511665919171729804850101294092904634442913097\
82376069750009791805670311250959716701738303738929119575292753291565449954803\
16660913710335769851664471547111491795227680470705436249977353380023987560944\
84443506582521113133225902521643970825356173437259741395723258799324006506992\
22649850358946687746753821198661677782261836247065528216958052950457141592128\
71122165852534284637213145973768694450065484868917518687389977087490289755025\
54376939867663423223600373746639942976947821798567382709219298446850875959523\
02945180477767946114360205012019733478567771273073095855774172021028750657822\
06702515946044589849733369219164132532980032879207062789860784689646281176227\
00528450304048081027396261353174378916723315824176071501547537701303839097256\
21984978989357267897854940588071343730580513929162477995839906461537032200012\
64275215419611993071734001028508767208007570407068705849962390857820165948854\
68915963168773519066461422539887617005640782947983082227222606691337580389930\
87655347190360055560305484485894365865428896239533241492600434769938476421024\
66736010258110201933479759293301463560214139455606203398966339307007237159316\
51977771047271687726840598244436079855041596594246862808188328809688382688017\
13811977270401967327076490326915228382188918339418556914146641383626214365456\
96981967713858645528316960546694374384349264794713869775636532062766386213438\
33740125076529651118800583526453388366036315170350672926280254102452114736466\
92580349140699178949686027614846565162698699807818524441168692770852977467065\
69256448135889068609009366745538487496539683773796609566867170965307410606531\
84086304483288698582050162424980773176411819544255129388918717578149020707627\
05418442180514380862458886590522571252931703292803755831976177667829913263396\
86418564872862212569519482440340823104506075456450164731909527113276389841240\
15065249147057977190463852183126093577158700054045332755984819541353654595738\
98780624448591645120872172516092471768781798386961530892562371524475416582165\
80485759045616142660859375443127980937050394850456167450547458846729511724423\
56165795452830262370408390497128434596795117398468647125165656812711361345264\
89609266711255594369933868069388282792519529961237135949869661897818416488197\
10152627834065343880068870028117920935815232685651256454707616069572150220636\
04693288428623003364825251379496566194146036954796504496747676240870627862545\
24410466306303204417447253365587461974361951278118133676195030261712839224095\
66149245403919801873306353218675762815693020878757248354740024081069667715147\
43238505239919223249304714120506450853046486995490785589495510115483473817018\
85750325374254475751332393467282475523417315459578110039170279755042430244152\
37382058392508894332306793286716439722801655759166421011439079467784910619594\
52572497827348154996897958531453719451175254224161736867505238434399785425371\
64908980264462524499294811456057716495949103481233305900314619461039439992530\
33926639034297611491872799784304128371608649809550374956776571826536310496291\
43398709100227031437653239420672706121945890594550060723402531490275513527507\
53839227848739521855793953061378885829843773774607464282255625091557686840291\
05123636968657248076961765085226130421670722031793547469104446009129716851622\
01737715633308757421897089404363301080626750523546139541113150902671421441113\
90792601516105745842323810182722662486333536672241394420949124109555825278961\
37340824115159243004920767642850206923528210400071147682348268547020920726453\
92533789766438455177111035366008815802874391079086860891104371180729075145470\
33009952345838487999537684081388703323626986255481190773888693079651801554064\
1499683260917663574218751146
0
*** a(t,u0+2l^(t-1),r):
11206396990626361034036849811256928034241286715583582771976143253199432779550\
67045660992124255998839033732399484546512767486098476406893812979227119531845\
72688152451825251448740036276189074704999521753538362421718697307102977061415\
40172031398175820264798444069706534758472930620776651904076909887902628828306\
23252317727967479554816752934182559529276419003098628068031393950704964304190\
22548818072103076514435298872482207498961394087721487298814667977009620869116\
25809712980925009389510302358356507013014099678965915696506435210731801208029\
76591873709646512975499551136075775476930382719497871310640188844934440174745\
60200034751962906138705740999624865040422958712579038685069083565947736091379\
98535133737121643700752973827465740271379537059885176913275037661825800987965\
33721431866091296410412637621201037892836048739362153427146925957965559971281\
20118776341895988777526899890503956408346365989652768367329832860377784493742\
73764840665249845048267716844668306090040085899701228015993443916587696868251\
40377809490532868034750742871644917358483948083156576401581785747802993040200\
26186427227636615427313364077345237925648037452162372995768808066633570399562\
25255046799092566367275549606280772302185307621683966538375258302687728110828\
24937310035289662685293156518642696713919892576711248597810013992283859080395\
33286116515266462801873919771454954093559470298209396544192593842857399155970\
30961462115024098935520893830040004280351126149692198942250546720325445873018\
07440446103566758971328630235223363236785545668184142559103189910635680048964\
13456623707762198080823101206478443816643957415678353263858210809543881155227\
52719012248996832545156165344096430548884997796484305889776685188132489688224\
39094202912381502861696450982981802872702276413701442124783508700812227647193\
96963074888513189002861591022930474416546308812220103895151098203285485168717\
05109259420552008116721341609825928195468011591712118212047878298407030123413\
52377555056911282548330320395187809750660749902124345189000241827153959673415\
39232277782292339728269680400383892018125500966291535026848298982810899317425\
49527871277123941349276140283515257186711102433981624091332381194157055333932\
19809183901133900668850306144289753180510897552169145084814144467632457957758\
80587527951904787744797021563426489883645726749690483235911605895873179247587\
13355944614273133052356870642139242732864466450774453427367997516922095641965\
67820839603323472204070015301068335491769162055636877950936058675730058752740\
77533699850795695928482507686570415595253294783640922596807384712844421451392\
60910075623781109493273277637672225803930210237672624143859609804941537480964\
16179548111159637221174147093268556925263160279439916691808049020297464931175\
17273643818965207179948493532371481346295818951574275105794985895171968203728\
90129939746833556192901695496955224456744336120395696345141151842622342673873\
49165942593820805252129569917116786509553194737206159426323125145154467325021\
69425140845436104886352409220546738456918161350413388571506231036232084462325\
51365042996980385290948651769232230348263394532114569765136760867652554538925\
90654613102894376844338018737405120836493069924378141875635558246775586479491\
58543591436615271982940743072605271822523234779914539948603171918775180216227\
43740694449203383640440591897427922292788668667012595611922612104033869384262\
30917661496582259871562043831465690400543561804033385759314877875836860012576\
01837212511351551601415917706066671398485278865327618797257143971033212742555\
13234268587666286112632280053139698267503304325019888064478250797828576453599\
79632698811825637363512744534916244202158328187339169942307598225203313676078\
86914081558532118547648341596254579327817888770957495893638541848270326204243\
86601324779016407855969298880869531390418832158120581955251084495441323228253\
70246943130307431879757421219459865866535521331525608529706331657168246077120\
51070288027880900199213724803032998125310687661601997396337060297829897862091\
43093708308639849513050410360451588420021480091229032224157019298899673712239\
19562526120471599584764540456899992004490127167570186185566153176731933847349\
81476503869052119439802576675377528796256254614938399910439990849398923420319\
55758769187697997238961549601433358473214113824975929481821493604889236429699\
59312354108895578847562648628213797549584809187022810888644497171095062271371\
63529103477038790187764131419438754861002737732286658709841720254956036709677\
86821050313769003407776612301560165239148959752665262776659332414305663782602\
14395009571197484772359544233815723627468628745369228573330967884795489293194\
04702876031118479482757127667853564873718114649076361193795470615616983206395\
43958254306812926961136325131261404922284116030284815394503886515954361284534\
53717386278440314434844380915863406962269888420009622887271250801041984151432\
84738457829329537136904708130182163029358233867844866822457039088153360758756\
48684867053142255701821972954313590701597793189157589094160662139123017224280\
62065341046553350680560258785168069648566089172608925244476064974179492646507\
67446619562793836507174373989477136853221313505104149695472608346537138098003\
34892969739633735669165720998515326219392993012270442102431886763913760193742\
21530754776569610896621969414494133984388004154292810183965155198336619297088\
79431743997601034188434532927248366355558258472499741857457726884583382726012\
99396027112048002272823804640029709672293512615136432831047613987501811278550\
57223988210308919659581451577931328990170434543207214384268660423421858324411\
98647700456999999505086043813464510884976273808657177479467367488706926744139\
20595478595018933549904962455439378149112158591718683168748325900646250920383\
06316735611046895280728242075472909302709352253284732811719222835401045275572\
74915726277137216212764806591233244609395582857240213518924697441823606406298\
53173610539444307331577426278494299388567823962916270012652889759939268624534\
60536515679981613018509421366429100706441875532772521370864307424431725507804\
82087692838586799389436238039017168370163895677562946667287830728444611344600\
40067214870863977345720603702493953494673355344293967003790485740862368881182\
84190449996293190027200683436083743529081009131567123185089321925334355380023\
05464666077808996441488811070224766741562737999657175232568735561531823937482\
06058635665810101041521924965928745288176852019907525327438495210910261247030\
72169764880384931505918186343040906811361694937294145126234653724298594570354\
91840934517461679165810464516654798696655985892205727189556192605630095417833\
49441670436387514373546406449677319993191740220627010327202760930355282651823\
35418891318860296742418605283159664026442572714640512443244964189210100668337\
87120096515120113899934839089777503708132983099195617750084219842859933928699\
56466223163236309083180873684385830818040252069471754933791844732145731241438\
84428181439960728699053772322160920985955440031394657266000214521671196846579\
46713738482402543631287741774525600608847048063803441979700141996339045152403\
64735818543562369729405038356102790599767362320473294134487267250156710551037\
49562134157227249322000495507673121233621983868208824554757253645616008602176\
30093364935386062181825299080014625744343055643814943360637673747347225523921\
73786687482548670294243358782087194135658437784294742602231611213832834078624\
35264284735647140997586675667672585035240284726978053299490393346068185865097\
51505979947196843712273829352558832600057164522819920915902000139241147738743\
38870125316039047634117877417118025087401750317405080495314045458579574576218\
41220625502191579848851271564312078879500076217004754536535068248313480979786\
56226141596941559349258801963410155784151706422532117300884815049096749268496\
76250948911071541656243280400399678711242031193382286724276225388352137167200\
87080123548544123094661658422290781527358733658670996293672990963329663073019\
68587220966205471702482184345555245867517389338962102676616893731767513518951\
45199214039988155030888833469414980668484225158758954650692528388069798260553\
26689089594313094934450945781045580484902425588217108611043619806688212426731\
08668129623335322108467242251720375792599204299697950786908405863859914323006\
32657779612635274545109994871261615841449282213526689770088642837896050000247\
68807907534441213071208621877224029606757110350069211762456209180464517454080\
74537231130720542998976700949578253090978181303700220742042412361000149712924\
68682268097414898335159522689023450628918889154202776225148100710731070918016\
99109668806809648344940923248472415325979121199883515310373057165784695499860\
26385418775865037370650208250041480035891891724363383852750835312679273529353\
50691775487052329207886527811369534467140352007117995032049756885476155366282\
72698780542060418681485326842574269573973223239816442487188804105292801693194\
77864439667308226353010724964960739053209187475418610228143782073524375219612\
81746026001079594869618492010070648784785776295596165041505852757217158685468\
49342048805923700452192789166154714106150631133416727126796612086149469773879\
01107651242282780585085749917071345804981152792532653197505023283340341218482\
10049293281256604174669537522306291244512630296139955135208584605176717994224\
26101280576403238618227302842587792686501210978840389296698019116702056807609\
69177107905210800814312152328322281913974158063487000243591753254709115245675\
69288791786060118855846430502471442684695455134739113831650156463908467261607\
24543925568461605224627807176441102382236254932836534676170737911860280377956\
83547998189156316527712700580698864536983553152579100844252502271940053667722\
05061044544956374191204815075458970015123261204180013730389382968878568478216\
51280186821034479408017020249336175238455045019768088970802868081870897968011\
29474018251511085770951617039129191914947263100329195885265626956384986226687\
84877672686178240036274266118417481882577603990297154604204397901594836180057\
45504581165452296038821720797837678437045210036235887023324736628782995693431\
42554333381753201060625356352645734871156848552534649176301920214804397346597\
3976999521255493164062501132
0
*** a(t,u0+3l^(t-1),r):
11226196278595665558831967920464095751616271321088147405848892622904732130751\
29001572053947797087176205170089236285994238806745293503019067065762856492149\
34123997244142963907130036340281281550768072145329066242251769210472416950216\
48900250534921713940177946621066440296915462300318660122988706548481962094787\
33894106275190036939189220695550373238692101722185374760731096060158506643950\
27889010330180997144319460177910621293129170402364104767540488945166881683372\
64724571131067986437901663316586818862860414342709671731305916545026380362107\
55702460058956842503724815360697817483073369261405111365959341122045631765160\
34688020679086515513509108033193106851448440971788542286986166752460011243484\
89698623372699597134853244099245715077512716453983913974959269177129380141654\
32190904360554355237992871963287965521621978154096008821894535367785287109039\
64853968526245628333670940349674458098113762395994911067625468607480925455745\
81669018828969367742699285248987508044262771563834975768671877563083434848584\
00343141309420735292762669979191993184205651171642718762715322471739040731084\
00790996887049400966937592635785777215269323737413543266079353663924442432070\
31306734160928418958030453404171727730281041380732878140033165119476929043886\
24981368886942117919719469516025457662177701574196604160703671260821463071703\
45182381738791668566541541537835616556622296217464183463881980051060327423030\
32782948797206120311732061486983537856818177609320630389144982315237681643111\
74591400955339845117921083645532945150631456526255139277405492366308181250464\
07119974633040929879552470643239006438228134018886265548776688213801025821579\
51928763154030395853539833480746777599324723941001062613963569790938377479192\
98527231539435180428589907610160215951982669128213282128537543168481507201340\
95544281734605968488732371219084061827176249287153354962103661981029805813891\
46284364119174891523287987089701945736449403838340584851998492924375947137765\
84448893493407592234811469371151039096509973841880748625729924233209002004993\
86474737637031372130616446620172556138298867575772615477425769475713392072403\
27883927586800838772154720036666344213542747491285478550857703422415283346889\
67547362671277246783106225413095918822172577583180044634433957443723681381712\
44334149026024760868021044569722296402874782804018558294632297779081435748024\
56665760770835453075417571827019347402003802963938365889253806699814184150167\
03099675008983054310437630169091424423733418525699840632828171853602373344176\
71310261157952578783479826604744568272983424279725093838144500233538492867384\
46883414980006871170823230425017936450226906722191480370262188620851328183227\
34936049079553912198596716257744296425131116393007831738966720484997637130700\
21721123755041117439983738220591218945847578349015219054745153714774745532710\
75448190523771424666740744428928643581226216572905229377553062004888459887078\
21514292315718015155401883644885544082891627943455640273366098864492196065878\
62303983850463377156469639625530036581400348914636733780996524730642388498478\
03222578408635827667787783662817446302942305123160708580976225109468195094648\
39047995811556734400600100042594882534084047079721566154567776547564942639349\
34442078347280669989977740851885493150831579717688240549219078582942627531097\
09719034898760280077967872095126558197899602710593889950459577849800713676460\
65247904714774101320098372530814569712205299545736624956769497801412543510831\
45303355996353939501771776217914845729578009040001342505379506416211716651994\
27568604751248735381382513763480934483523628184251371965652240640227566871362\
34013675311493173825285735249642244633610904738906906991675632851042895502361\
69399795483547192962043480008968810033344068786453887229139670014079991091530\
51595320052477567587163590928362233742698724087728568849164955669461537580247\
08356920061633063384845331857656791424603605291475300417568003621226847218599\
52220588890120972461049791454628462786309469795279739441206913761253625596830\
10837690125439566561660040060735071791788302494217069383563657142183948754133\
61116523516444164248341862966541158068102300537124197115222630479164322423051\
84623988858220056046586680167736853052080028916378220404981404260793621164878\
42606399521951880626309538204969459813272796004878713809527892003484447094769\
73374743427109175276621946593988026873877361853430978399048462713800177222381\
12581275037952286283502230591557904604573413947361370120989850502756312392910\
51462076904429372671747949072410978251938975582616968187925514980408677322854\
09120089093408081035208236008080415718683237630078361486004697510033643867917\
00470902313858971495977546621330337956533871035382149817812777100803585650222\
99336272423962773121845046553754799630627374185815353937603716704145093371609\
68653282720628371527485448726668819342061884689302926107920139936732871049226\
89835168885565101690150122808857396532943672443583108636630991454033490371404\
46650741376557701383273955238685169483756093177124298615528437160570231035630\
93977117267483656953847467722951052103775569895528728999324962615476629559310\
69155889208664496995702950621967379144481421832851683528856835569764235515137\
63046490887583618594376261141622243756883086639500601894132296457842936448501\
47717204873348002435308580667876632454325085433717355784996895755224139825882\
23741694075335311633997138109098628486928502745419352708795991419715155487013\
01691779810125825598394164718899020113410638962512998966791514365571602464555\
07855125998666355913396966510047815437149534250880725363746166890601048886822\
60836123956040635546614464385573105427175878532700741397275613721019129794923\
90419852232112606577378292777798811679410943324212885789187810575382375038616\
95550510762303161880164157697514380873915552522283469088771730296240976450971\
28758333567379508114200786814892667303051758798684100821961666871932835392882\
09804659321316117061845230918562310518229604570624602645184078611105239063800\
56756544859628223642217035185097703357866684500144910984593749663697505941564\
19335197596252147091537715491382923084598814221162881202035689086622075322241\
03742245285830168118416223143664437511448396608153143623938525468319722889806\
83985839483919149726895384290211099966411540949820775346193720020608797704016\
02824144286427033537675187061514916506123802907783778015665146755103434933838\
03595841735891037615800232253854414449463383560578740036497573824357099164428\
30247803334237201702925108933752993219155620193367102979814573607203715762175\
33345953836397123828647585478698358411667745584594783244661415560763717494543\
44758705189808693727563272892167915964911160256352499744741988423165097638840\
70993836356526127655391076317228850712001658532157545150741863419226372931002\
77910061349952481592337550819618100004437104977462747816780481715373820737760\
87131357833136019876614055440011954194043856755106864041448720782909239600522\
65849432643918256488274715382800781270382923140990760900745797939554008148428\
54746801624597601128869522237024762447378579950841963961996431999866145938891\
99302489601059829746594799907968696590226315257435261085254912598655220640350\
28271607892487368137057033485601872331207888433347002690013008510714270101473\
43220738371667662998400962152594156885234121113150305451380849849374340763363\
29570762902129144976742021960147418860279742444691023066193151162973881488657\
25785953083236623578854496649417589602440355901407343146309280966820956511502\
28098746696220159690564065800178194495110269053778966712573205086483623264783\
57136680307763498248312431970858516297803520194290955195835801722640669230946\
71328789151488738117135461090044079018863150556610770003914105471367038366676\
64452689550293046203232757443910880441014165267801608674207933096886672853776\
79212523025755413637968091849870349521685921707858227160184840627554172745234\
79460123766827769955252933437171153932884102446053807241188314268918584739226\
43443382133990287023511304812596862909686147977370162928695722165922579797253\
48635961767973999827763195366004053072492147818050048210146048756246600024264\
49174406007023895455536548158750608012260910439079683007882919488325470752573\
36775317131503759073323191442977832286932418441570208650489516121569914171633\
54623606078381979977168493095415788307600252676801471907491626305807527120389\
46844670621957893659673654778067181602528766022065800475817439232020108474317\
63714858747559271873533196887651712902092983744166122192116692241496616408530\
56082766804300790381688073082466954958651961396524689257348009015873705318932\
21546258327669736062864847141137560936095692085395676998200571401059933477775\
21131682766635116941976445367091023286838697186773919866624953396270579666331\
16329040108054188446769719556619303962665334961194175235286593911775583202618\
91555138811569359350533887490706026233997910913385022774268642981803919717387\
70228157758593223219358800450764556613373868018661399292151103243265584363110\
36660771630056767298716757897014236503486811236047748371967877232053231403994\
05612971153637346566065921302490676498564324827998735478610740376054327494327\
56056604689707308465978127567101507193329176030682004174885774207869211079292\
13953974011435502768617716917222026741411062505143735974670083871263602654991\
44168597326538226672323110798140067938597502871029153235384764733516018038718\
54281661099389618483595389346570201139970578837450758194552162712756304495226\
35665627107236903518135911828447540639968768659712151135239644372855302009419\
27237466072999523255060011782759902916480488598795609825775279851633885113606\
93589602426239631574581450935081724721677870384297438478252948389028286978089\
05069986319770784746312950791139992930344327036696232835920106260343018245845\
87059833794216519124285601557197193215908145806022096195132908484842401321311\
66805244432167465781147644631071116282288159324888081390363269406837963234155\
49515265747461240460366623479050728316999119191693439329653522279512848258114\
09365896679878890201434480021862126632163664470928883290150398707632435615151\
26905136090908242051898546028180444650081153938669869404528602052639740804806\
9337382912635803222656251134
0
*** a(t,u0+4l^(t-1),r):
11245995566564970083627086029671263468991255926592712039721641992610031481951\
90957483115771338175513376607778988025475710127392110599144321152298593452452\
95559842036460676365520036404373488396536622537119770062784841113841856839017\
57628469671667607615557449172426345835357993979860668341900503209061295361268\
44535894822412594323561688456918186948107784441272121453430798169612048983710\
33229202588258917774203621483339035087296946717006722236266309913324142497629\
03639429281210963486293024274817130712706729006453427766105397879320959516185\
34813046408267172031950079585319859489216355803312351421278493399156823355575\
09176006606210124888312475066761348662473923230998045888903249938972286395589\
80862113008277550568953514371025689883645895848082651036643500692432959295343\
30660376855017414065573106305374893150407907568829864216642144777605014246798\
09589160710595267889814980808844959787881158802337053767921104354584066417748\
89573196992688890437130853653306709998485457227968723521350311209579172828916\
60308473128308602550774597086739069009927354260128861123848859195675088421967\
75395566546462186506561821194226316504890610022664713536389899261215314464578\
37358421522764271548785357202062683158376775139781789741691071936266129976944\
25025427738594573154145782513408218610435510571681959723597328529359067063011\
57078646962316874331209163304216279019685122136718970383571366259263255690090\
34604435479388141687943229143927071433285229068949061836039417910149917413205\
41742355807112931264513537055842527064477367384326135995707794821980682451964\
00783325558319661678281840079999569059812310622094177833695165618058170487931\
51138514059063959161923501617397124649764450085517819338150454393744265270161\
57960260166488857995483364237338629031263061842725122132291577636150786755487\
94125488580698747974603151415237649237806189762086606029056225758774126459065\
87459468817797774929854632569577963277430796084969051491949107550344864152118\
16520231929903901921292618347114268442359197781637152062459606639264044336572\
33717197491770404532963212839961220258472234185253695928003239968615884827381\
06239983896477736195033299789817431240374392548589333010383025650673511359847\
15285541441420592897362144681902084463834257614190944184053770419814904805666\
08080770100144733991245067576018102922103838858346633353352989662289692248461\
99975576927397773098478273011899452071143139477102278351139615882706272658368\
38378510414642636416805245037114513355697674995762803314720285031474687935612\
65086822465109461638477145522918720950713553775809265079481615754232564283376\
32856754336232632848373183212363647096523603206710336596664767436761118885490\
53692550047948187176019285422220035924999072506575746786125391949697809330225\
26168603691117027700018982908810956545399337746456163003695321534377522861692\
60766441300709293140579793360902062705708097025414762409964972167154577100282\
93862642037615225058674197372654301656230061149705121120409072583829924806735\
55182826855490649426586870030513334705882536478860078990486818425052692534630\
55080113820291270044626915556402662257621215714206847396815689351283835650370\
87441378520219091956862181347784644231675024235064990433499994848354298799207\
10340565257946067997014738631165714479139924655461941149834985247110074845966\
75697375348317176515495152292825194103010536754175184288996543595567557968658\
99578147932965942768634701230163449023867037287439864154224117726988227009086\
88769499481356327402127634729763020060670739214675066213501868861390220561433\
41902940914831184650132747473822170699543952043482855866826230482626557289124\
88394651811160710287058725964368245065063481290474644041043667476882477328644\
51885509408562267376438618421683040738870248801950278564640798179889655978817\
16589315325938727318357882975854936094978616017336555743078826843481751932240\
46466896992958694889933242495853716982671689251424992305429675585285448360078\
53370889752361044722885858106223927447308251928957481486076767224677353331568\
78581671942239283610269669761018555163555124897205106542970294985468223796028\
02670520912416728911919185476182324131714473906678208044879107781596710998753\
87771473847387992653370783660096177307903803217818040899522817672188318909437\
29454029856205764013657526808505561153331478184781498137234290402079657759839\
87437132745322771705681244559762256198169914519839145909452428256505292173390\
61633446598865782379240329763677054348144090162436081532137980750556588076143\
16103103495089741935719285843261791264728991412568673599191697546511690863106\
03845168615618677298056927782345107809897846514787494398678427135271798442639\
96238928596599463509197965574807111039349627421687938441830083585990188094050\
54714290541112619282553767976248194338970632341345892480703546892335825458684\
83589179162816428620126516537474231721853880958596229328569029072423757947020\
94931879941800666243395537487532630036529111019321350450804943819913619984052\
44616615699973147064725937523056748265914393165091008136896212182017444846981\
25888893488413963227134676660734034558985050618448532754173860256773766472113\
70865158854535157484231527254457621435741530160599217362241062792991332932271\
91200012035533501519586801284729161294373180266730761685832706151772112703260\
73903654970126393973995191921259130924262166713141901386028636312111660354675\
68051644153069589079559743290948890618298747018338963560134255954846928248013\
03987532508203648923964524797768330554527765309889565102535414743641393650559\
58486263787023792167212481442164301884128633958554236343223673357780239449233\
23024547455081271588142884957681699969375483256744305315083859953331332845708\
60244225869206279604851623100158245209709728056707088409627295250118499156850\
84784285913559428479600073319555852445121752791282205365824237757080907626369\
82600940857621800015636767038552089996707934740127988124998636302042064379465\
66435708103187926792113035558630321647891385178332935277715267462271209503066\
52976574039274834265924649003766306009291493467517300598323191902963286375323\
56582702353917494793639192943748677799033732764762815736783547444799539299881\
67417275700796358891111842584834921528223437872012320244086565195777076898430\
83781228971545109426590085144338456403742072768074427507298118115883240028009\
00183622495045070633861563052805066270684867815910380798761557948675045930194\
01133047805971974190078539541780083610749915101249954745556652437803937081825\
88325841788089471899932031524465079626949545449440060833394493490108836953995\
74850973155332568491484706440741918126679505276983839299766638515897339571253\
40075739943229873081580139334658511936630580292077989162281215915974912625858\
06568781394191958568363547351298037397560744349674577858238762649242645193667\
68700026184784849284740262549458696300741226855729877883476743587887707546822\
17796492503035730670047237195638077570047461440741973149105596833672747959606\
47270683847875784277495658443440641554810406250586864535491381357436819450277\
62779864766792658626451302699523924285910111837880485944292722003393246725380\
33869160658557289763784561459834602580685268194397228036022557947153730729663\
06981081627747486952113571463530623428793792998485180825268763375812531600770\
56348111807949263814976625225173688026125186582485667542124025951401456002804\
85354838321709619659240685138207643584901047105087303530154691112114928898690\
16307621430826106160122317631162594169640427075836632993128168587573727157907\
04691513445243475668854302247797556390163373584738012509244410033726098790823\
75403235299487948862506986524599007508205290071176829896357557986701763885675\
01436952800785896385419650615776079158226224896216785471293142694420595753566\
72679237503644533057206712924411605097876624113071100047531051144676596439056\
82174097140439285619692903299341020332129812222334167596093455866756208323268\
71840123985111416815844208452051526338409471233436618188703637574507506405433\
18299543301775102344540425279638479951854906615778223180774550600077646075555\
52072709495959844624637557262593125476500070477341141769599569124423401787975\
71659722419734695976622150536455635539619395289942257404722219169962729078415\
64882504639672196038179140634235288781265632583442466514070626379279914020260\
76589432544128685409226991319569960773751223140076254044894609773719004240531\
24881433709474574248138687678910333598300421694062389189178669283575699494554\
52892486364398000748089692825725172713207786184632023642190972121993083104136\
43483265511186682428216623475910459288385033638846602289547917321016339719847\
43982847848529823780788771033802706546212262970907838686028085636335171455690\
15877946757405196513302682484140566537785502649184455880499071479861885803308\
81966304729056047685652911301869073458190317915270355438523430938075011038955\
10411497081078300019582448138837782894022598586953603061348481858315037741580\
62591875849878220085706875936568374173538548561904188356158424413006793506607\
91575517259033939727815023783957824222187846176499331702429901706889304122519\
61883893501350992679939053438826638890978018522580743830424868665959185214776\
11005558137131836346870505217131668581677199268831355152266525132398080940102\
17858654741614401362565896312137762238309494714147516814131583137350487315758\
62235914076673214726418918753692343190693794763217917174071510350329979269827\
39386214293568436152878626364818120365966999611414516145512572170803493744777\
02042462428413688180425393154423638595242082184685188438829132281802136757231\
29931006577537441285492216389078703450724722264754684975379821791407489849257\
03631206663322946621450201289464584906372187616015776112253394506116520288456\
05078928094585195301421086506821015845565392869212451941450829551807468013475\
22839480767398558840554182865058211193361246592276103419462948887813904674612\
04136470612823845791343672223013040649629055549446966895460911857290940241623\
14152858808744240884458980839683974751420634393089724055102646657430860336170\
73227212194305484364047239245886574827282118905621879556976060786481875536871\
11255938800063283043171735703715154429005459324805089632755283890475084263016\
4697766304016113281250001136
0
*** a(t,u0,r):
11226196278595665558831967920464095751616271321088147405848892622904732130751\
29001572053947797087176205170089236285994238806745293503019067065762856492149\
34123997244142963907130036340281281550768072145329066242251769210472416950216\
48900250534921713940177946621066440296915462300318660122988706548481962094787\
33894106275190036939189220695550373238692101722185374760731096060158506643950\
27889010330180997144319460177910621293129170402364104767540488945166881683372\
64724571131067986437901663316586818862860414342709671731305916545026380362107\
55702460058956842503724815360697817483073369261405111365959341122045631765160\
34688020679086515513509108033193106851448440971788542286986166752460011243484\
89698623372699597134853244099245715077512716453983913974959269177129380141654\
32190904360554355237992871963287965521621978154096008821894535367785287109039\
64853968526245628333670940349674458098113762395994911067625468607480925455745\
81669018828969367742699285248987508044262771563834975768671877563083434848584\
00343141309420735292762669979191993184205651171642718762715322471739040731084\
00790996887049400966937592635785777215269323737413543266079353663924442432070\
31306734160928418958030453404171727730281041380732878140033165119476929043886\
24981368886942117919719469516025457662177701574196604160703671260821463071703\
45182381738791668566541541537835616556622296217464183463881980051060327423030\
32782948797206120311732061486983537856818177609320630389144982315237681643111\
74591400955339845117921083645532945150631456526255139277405492366308181250464\
07119974633040929879552470643239006438228134018886265548776688213801025821579\
51928763154030395853539833480746777599324723941001062613963569790938377479192\
98527231539435180428589907610160215951982669128213282128537543168481507201340\
95544281734605968488732371219084061827176249287153354962103661981029805813891\
46284364119174891523287987089701945736449403838340584851998492924375947137765\
84448893493407592234811469371151039096509973841880748625729924233209002004993\
86474737637031372130616446620172556138298867575772615477425769475713392072403\
27883927586800838772154720036666344213542747491285478550857703422415283346889\
67547362671277246783106225413095918822172577583180044634433957443723681381712\
44334149026024760868021044569722296402874782804018558294632297779081435748024\
56665760770835453075417571827019347402003802963938365889253806699814184150167\
03099675008983054310437630169091424423733418525699840632828171853602373344176\
71310261157952578783479826604744568272983424279725093838144500233538492867384\
46883414980006871170823230425017936450226906722191480370262188620851328183227\
34936049079553912198596716257744296425131116393007831738966720484997637130700\
21721123755041117439983738220591218945847578349015219054745153714774745532710\
75448190523771424666740744428928643581226216572905229377553062004888459887078\
21514292315718015155401883644885544082891627943455640273366098864492196065878\
62303983850463377156469639625530036581400348914636733780996524730642388498478\
03222578408635827667787783662817446302942305123160708580976225109468195094648\
39047995811556734400600100042594882534084047079721566154567776547564942639349\
34442078347280669989977740851885493150831579717688240549219078582942627531097\
09719034898760280077967872095126558197899602710593889950459577849800713676460\
65247904714774101320098372530814569712205299545736624956769497801412543510831\
45303355996353939501771776217914845729578009040001342505379506416211716651994\
27568604751248735381382513763480934483523628184251371965652240640227566871362\
34013675311493173825285735249642244633610904738906906991675632851042895502361\
69399795483547192962043480008968810033344068786453887229139670014079991091530\
51595320052477567587163590928362233742698724087728568849164955669461537580247\
08356920061633063384845331857656791424603605291475300417568003621226847218599\
52220588890120972461049791454628462786309469795279739441206913761253625596830\
10837690125439566561660040060735071791788302494217069383563657142183948754133\
61116523516444164248341862966541158068102300537124197115222630479164322423051\
84623988858220056046586680167736853052080028916378220404981404260793621164878\
42606399521951880626309538204969459813272796004878713809527892003484447094769\
73374743427109175276621946593988026873877361853430978399048462713800177222381\
12581275037952286283502230591557904604573413947361370120989850502756312392910\
51462076904429372671747949072410978251938975582616968187925514980408677322854\
09120089093408081035208236008080415718683237630078361486004697510033643867917\
00470902313858971495977546621330337956533871035382149817812777100803585650222\
99336272423962773121845046553754799630627374185815353937603716704145093371609\
68653282720628371527485448726668819342061884689302926107920139936732871049226\
89835168885565101690150122808857396532943672443583108636630991454033490371404\
46650741376557701383273955238685169483756093177124298615528437160570231035630\
93977117267483656953847467722951052103775569895528728999324962615476629559310\
69155889208664496995702950621967379144481421832851683528856835569764235515137\
63046490887583618594376261141622243756883086639500601894132296457842936448501\
47717204873348002435308580667876632454325085433717355784996895755224139825882\
23741694075335311633997138109098628486928502745419352708795991419715155487013\
01691779810125825598394164718899020113410638962512998966791514365571602464555\
07855125998666355913396966510047815437149534250880725363746166890601048886822\
60836123956040635546614464385573105427175878532700741397275613721019129794923\
90419852232112606577378292777798811679410943324212885789187810575382375038616\
95550510762303161880164157697514380873915552522283469088771730296240976450971\
28758333567379508114200786814892667303051758798684100821961666871932835392882\
09804659321316117061845230918562310518229604570624602645184078611105239063800\
56756544859628223642217035185097703357866684500144910984593749663697505941564\
19335197596252147091537715491382923084598814221162881202035689086622075322241\
03742245285830168118416223143664437511448396608153143623938525468319722889806\
83985839483919149726895384290211099966411540949820775346193720020608797704016\
02824144286427033537675187061514916506123802907783778015665146755103434933838\
03595841735891037615800232253854414449463383560578740036497573824357099164428\
30247803334237201702925108933752993219155620193367102979814573607203715762175\
33345953836397123828647585478698358411667745584594783244661415560763717494543\
44758705189808693727563272892167915964911160256352499744741988423165097638840\
70993836356526127655391076317228850712001658532157545150741863419226372931002\
77910061349952481592337550819618100004437104977462747816780481715373820737760\
87131357833136019876614055440011954194043856755106864041448720782909239600522\
65849432643918256488274715382800781270382923140990760900745797939554008148428\
54746801624597601128869522237024762447378579950841963961996431999866145938891\
99302489601059829746594799907968696590226315257435261085254912598655220640350\
28271607892487368137057033485601872331207888433347002690013008510714270101473\
43220738371667662998400962152594156885234121113150305451380849849374340763363\
29570762902129144976742021960147418860279742444691023066193151162973881488657\
25785953083236623578854496649417589602440355901407343146309280966820956511502\
28098746696220159690564065800178194495110269053778966712573205086483623264783\
57136680307763498248312431970858516297803520194290955195835801722640669230946\
71328789151488738117135461090044079018863150556610770003914105471367038366676\
64452689550293046203232757443910880441014165267801608674207933096886672853776\
79212523025755413637968091849870349521685921707858227160184840627554172745234\
79460123766827769955252933437171153932884102446053807241188314268918584739226\
43443382133990287023511304812596862909686147977370162928695722165922579797253\
48635961767973999827763195366004053072492147818050048210146048756246600024264\
49174406007023895455536548158750608012260910439079683007882919488325470752573\
36775317131503759073323191442977832286932418441570208650489516121569914171633\
54623606078381979977168493095415788307600252676801471907491626305807527120389\
46844670621957893659673654778067181602528766022065800475817439232020108474317\
63714858747559271873533196887651712902092983744166122192116692241496616408530\
56082766804300790381688073082466954958651961396524689257348009015873705318932\
21546258327669736062864847141137560936095692085395676998200571401059933477775\
21131682766635116941976445367091023286838697186773919866624953396270579666331\
16329040108054188446769719556619303962665334961194175235286593911775583202618\
91555138811569359350533887490706026233997910913385022774268642981803919717387\
70228157758593223219358800450764556613373868018661399292151103243265584363110\
36660771630056767298716757897014236503486811236047748371967877232053231403994\
05612971153637346566065921302490676498564324827998735478610740376054327494327\
56056604689707308465978127567101507193329176030682004174885774207869211079292\
13953974011435502768617716917222026741411062505143735974670083871263602654991\
44168597326538226672323110798140067938597502871029153235384764733516018038718\
54281661099389618483595389346570201139970578837450758194552162712756304495226\
35665627107236903518135911828447540639968768659712151135239644372855302009419\
27237466072999523255060011782759902916480488598795609825775279851633885113606\
93589602426239631574581450935081724721677870384297438478252948389028286978089\
05069986319770784746312950791139992930344327036696232835920106260343018245845\
87059833794216519124285601557197193215908145806022096195132908484842401321311\
66805244432167465781147644631071116282288159324888081390363269406837963234155\
49515265747461240460366623479050728316999119191693439329653522279512848258114\
09365896679878890201434480021862126632163664470928883290150398707632435615151\
26905136090908242051898546028180444650081153938669869404528602052639740804806\
9337382912635803222656251134
0
*** a(t,u0+1l^(t-1),r):
11404389870319406281988030903328605207991132770629229110703636950252426291556\
86604771610359666882210748109297001941327480692566647368146353844584489134881\
87046600375002376032640036917111143162685025671445400627049416340797375949426\
27454222765634757018593469583305590142898247416196734093194876493695961493117\
29670203200193053398541430547860696623433246193966094995028415045240387701790\
75950740652882282813276911926766345440639157234147661986072877658582229011680\
14958294482354779873423911940659625511477246316403476044501248553677592748807\
67697737202749808257752193382296195538360248138570271863831711616046356078893\
05079894023198999886739411335307283150677781304674074704239915431070487612429\
10170030092901178041755676545265488332711331000872547530117352814861592524855\
18416156810721884686214981042070314180695342886700707374623020056162831348865\
67470698185392384338967304482208973306020330053074195370286190331409194113773\
52806622302445071992583400887860325632266942541038705542777780381545076671577\
40031127679411540614870013947115675615700978968018000012917152987163469949037\
72232123821764470823555649661750630821860900304674075698874264039542290724642\
85771920417451092274824587585190326583142645212173082554954326470579737441408\
25377898551814215029556286492470306196497982551564804226746586677659898993476\
52248768750518520448550137435261578724187729490757265741086455924886681826570\
49176328936844312697632570399475340045021640745976513411194902669447803573954\
78949994621297620437253164338319182375244654248894109742126214467360692063963\
50090132960549516068116795574084070032485723447757476113042984852115327818747\
44816521299332465628992846710599901053282259241651873131645531216191367597910\
33424489182918278530631017254765933665506203558819842162323853377505023188663\
82775143349440983861569392984466348522845713561552614564676735980728691620461\
16860306406780842182387796408586103605281934057996784611554024558096200266936\
73090939421874379413141810154820103209152989299688379556297065887704382989200\
11656876329682663751737342598270533219859167061102339532623003911835826867203\
33088434373892915578061937815026127455027553007020168686585603476739335463506\
97190971602567361811409498832351409597127697862278140581012274228544692197295\
18053738693104518977037251626384555075936287292971233823118524727955744251961\
46454106179896333282963882490940289424257831582413578046226089345842980723979\
20609193659919293267746163981299224811411726756266504769857190454453204667100\
15299312922364524478455696868311942372554589744482635010178539919785135611311\
20643469186038726268772805511129332266897175082861186407885397964039444503596\
03744557795102386995399838738025951923942721415119067163394763667299186926425\
61748443179724309780300940414568857341813412925983714595296664091199741493547\
43312447516212240931292184816689415701563140645491026669260253465283514805920\
72649439812792904284852707194804362242937526799700967896752862338531754733590\
98213570895708827587524713270379719701740036992646840666409167980335124823850\
69940397113534809059339970705084389895052500442575957923531403285808960096150\
74588440189517952406958831789302737812402841477812384664957741254669148078069\
17528460543269252053310720865407485105606684157651545954762238560449653364924\
03524098944772348015713393874414281343898009102825538997292269561702312306245\
74220093678500674356925330824954483517160939221065777733861077131593694995130\
36498647361375430604974502824548414709412580612064855878480768422818251836946\
56577630223490778800134617156552060427706542917334727076218149221818480631225\
23442463808501001981242651682176248516684093703016540435987944483599131938907\
11771220808682862691599725723396886383079688925921409248649823506366975077110\
36541277513628005167912219355796554913217751454200450894389796235643466748187\
51346712443563746930636527601429121447216360931022527408323051297754257491910\
62573296650281622817574391318987644735298508998379417845035594932067175209478\
20533526476637019999146707363286422137689704121109403818223397731742424131183\
35102500080197246220537765553311652640611860863110295482130926201055819604370\
12951353760731485507643611598970771354493997629336604855854124963345900865908\
24235072530236831112441435636794371873800935624003772758885477590841343080400\
99936247291031543138155628285956090792510335851104485992684152598146211781466\
54050819086173751145145123140630252296709499883033772821323022732958793542004\
33231316220372696047489980010068295367049118052182316889321158075335799185121\
61645804793303447400846461976462644539614717592460557700068264137177035040423\
62383138858523399614961317202621295701875678512134247433968535467483007644670\
97738435478311388568223539356195352005716697585590200825502188397861682155286\
03076350700320885361255059023917530760189851112942655093760142157950853129373\
35705568391685182669358854916934498065212619625227284964196562746954656885236\
28343610287296712516341795798029378523180793068824684307838412353595155337783\
81183103255856413413432348162997894200660896401806962792965041387150861774537\
84539316021500441392460140314379559765822396782579488029314880578808112269346\
16428181219132564921271122429584501594293929284572040019435983703205522741334\
83395255744353526283488081948319118683758816948538266194282560767211824585023\
22531244774943808644060584745750987669260701201695850370840372235901110336013\
22353554092826235528527405428722814083464776088902094188486617768199723138595\
63535366093883282197736600899096193459961431619942324179043725095213763948518\
20531935447406359920370249534550456306972321049092816657549829811828957251986\
18839214965955663824638265679033713452100005916660709373143172648007492102721\
98654487123609561275087398295887625014771354943272095582244297443800357029558\
13341799179560135227124608827827471545957342271679086549294391742915896272134\
19484098358162404634255472679174410685185630039999596337964778271598973017194\
22736807476447719255585559553115127220689965206496417508158729817089529845398\
54562740415240276410451012562674715514513081113562292014766414310219251121006\
76817519020525885072676798114198793662423767982885733205270883015435908967422\
82144344872552787024147691977357307902386327314103644796133302878078778619952\
79059448163989367403352570983126264387173387080923203063532847497247933901041\
81430696366619466784304997845185436901042167426619672418029281345378640421006\
52950149418907633475987412250161770889300947498023723662033852553349806488559\
06891127706816125794181674137090395846773582816096287740608422156966316184933\
02612017970599307913715070874583279710385940577881904502595035858453432521996\
91168341695518605872143315623851530882033430889810839518213956489372823294986\
95019744863443790823961956388183466671174201881866918417046838567998802019312\
63117569862233417017512691240647064578076298925822846010360605239780814832276\
98640693479536006591263202928559523830230271127355693613456048700499309865070\
27044369904353118607105546399517218994162366934188661802663042031610053017287\
10402529118536969901302653874761850504356891690092963642163720735141811444165\
36656871509828437472565875286960632209481029519590605907314802296598623595147\
61367099298202070347581929805809937153253710337168564268069434767618377918337\
31627441678353417119229990562689441381871484388257547241847010705243308178953\
40480968211541966810264885485122630707240996471270951767679269553595892329145\
17433647437430003495176193828752451550588209832410378882614049611665902999145\
21535675233283553776063422954522937191419449086263827500531608099190521123501\
42302261995163162531693166821632080273130819613064909210325440478849054848687\
38491621130456427888998356768417402352776294875227031034115995526995985121297\
05866690057910261473491394895106386815680936338141691083362377780372492947540\
10880125731380591700574408571094505582612421532499105768826224019218879735087\
17148832644053624912773389015971416289204975723042705197405178073318176301971\
79566691319846602999632452435305704708563451751669890245227732069837815897665\
51542253721421100145306969558095855758487274096842852579436616623060795685153\
89740004705019691757026734164294940735931345718420529422719508440959912809278\
52316044270102328865694977112803340502958986846274511144118477517010821201665\
49175538409608018955858950885655549564473667070035098896068509696020427656449\
66313507299107831744541660330312851202126205708359235242785211165964816668983\
42687255166273818800445026623458493926249611577421906547147183762157414927169\
23475564015410525524180162175123871427144830055005132188648199518537075279009\
73848058683565833083912579420536912545359946348468743991492016148592334899130\
07064421697070921596718445263867229422390181547879797064418127148470433729644\
61262363237149825371970933323891836174220099975502245357987192870403981935124\
01501620580158195016491479822998914654855992907846500868216993770936466654588\
30893482290851319160601150879506525971796125700111998346126097505577885870724\
12051272283060161590924110529514338030287568079236810644937894985198046978364\
50597185716528059394009526417372959688461385174026162971312532528629039826582\
49096100583045590114151331471463646213496952386177763529823577266045564601896\
06774448077753119159185382398110545207464129900728028683565475284841669118698\
20222639846998977507144522510801474173938365803124579753195847835181007741182\
33057144997827965478741243762232422237428590384469486867545035553376814739727\
51479330613840785528949853239629107724678591592427286172216157309596327734457\
83964040559989466996400204124527466383926725469762477184256963442822386771392\
05150462293100479742286172232269199167333919529342204785696615883523066154510\
09076656552854876570702833327946355012986052882308161214103272111585931501015\
02786280058074885872911892958548435588356225345918050936242051460914756301364\
31253603299008244277197839724749946226792756004260001858695641680774956960623\
84117736309718237664949313038082160388229754383165849691581357417277394910629\
86062360473303610973357253107992832660399902413886851458568738593157831928692\
7580833435058593750000001152
0
*** a(t,u0+2l^(t-1),r):
11206396990626361034036849811256928034241286715583582771976143253199432779550\
67045660992124255998839033732399484546512767486098476406893812979227119531845\
72688152451825251448740036276189074704999521753538362421718697307102977061415\
40172031398175820264798444069706534758472930620776651904076909887902628828306\
23252317727967479554816752934182559529276419003098628068031393950704964304190\
22548818072103076514435298872482207498961394087721487298814667977009620869116\
25809712980925009389510302358356507013014099678965915696506435210731801208029\
76591873709646512975499551136075775476930382719497871310640188844934440174745\
60200034751962906138705740999624865040422958712579038685069083565947736091379\
98535133737121643700752973827465740271379537059885176913275037661825800987965\
33721431866091296410412637621201037892836048739362153427146925957965559971281\
20118776341895988777526899890503956408346365989652768367329832860377784493742\
73764840665249845048267716844668306090040085899701228015993443916587696868251\
40377809490532868034750742871644917358483948083156576401581785747802993040200\
26186427227636615427313364077345237925648037452162372995768808066633570399562\
25255046799092566367275549606280772302185307621683966538375258302687728110828\
24937310035289662685293156518642696713919892576711248597810013992283859080395\
33286116515266462801873919771454954093559470298209396544192593842857399155970\
30961462115024098935520893830040004280351126149692198942250546720325445873018\
07440446103566758971328630235223363236785545668184142559103189910635680048964\
13456623707762198080823101206478443816643957415678353263858210809543881155227\
52719012248996832545156165344096430548884997796484305889776685188132489688224\
39094202912381502861696450982981802872702276413701442124783508700812227647193\
96963074888513189002861591022930474416546308812220103895151098203285485168717\
05109259420552008116721341609825928195468011591712118212047878298407030123413\
52377555056911282548330320395187809750660749902124345189000241827153959673415\
39232277782292339728269680400383892018125500966291535026848298982810899317425\
49527871277123941349276140283515257186711102433981624091332381194157055333932\
19809183901133900668850306144289753180510897552169145084814144467632457957758\
80587527951904787744797021563426489883645726749690483235911605895873179247587\
13355944614273133052356870642139242732864466450774453427367997516922095641965\
67820839603323472204070015301068335491769162055636877950936058675730058752740\
77533699850795695928482507686570415595253294783640922596807384712844421451392\
60910075623781109493273277637672225803930210237672624143859609804941537480964\
16179548111159637221174147093268556925263160279439916691808049020297464931175\
17273643818965207179948493532371481346295818951574275105794985895171968203728\
90129939746833556192901695496955224456744336120395696345141151842622342673873\
49165942593820805252129569917116786509553194737206159426323125145154467325021\
69425140845436104886352409220546738456918161350413388571506231036232084462325\
51365042996980385290948651769232230348263394532114569765136760867652554538925\
90654613102894376844338018737405120836493069924378141875635558246775586479491\
58543591436615271982940743072605271822523234779914539948603171918775180216227\
43740694449203383640440591897427922292788668667012595611922612104033869384262\
30917661496582259871562043831465690400543561804033385759314877875836860012576\
01837212511351551601415917706066671398485278865327618797257143971033212742555\
13234268587666286112632280053139698267503304325019888064478250797828576453599\
79632698811825637363512744534916244202158328187339169942307598225203313676078\
86914081558532118547648341596254579327817888770957495893638541848270326204243\
86601324779016407855969298880869531390418832158120581955251084495441323228253\
70246943130307431879757421219459865866535521331525608529706331657168246077120\
51070288027880900199213724803032998125310687661601997396337060297829897862091\
43093708308639849513050410360451588420021480091229032224157019298899673712239\
19562526120471599584764540456899992004490127167570186185566153176731933847349\
81476503869052119439802576675377528796256254614938399910439990849398923420319\
55758769187697997238961549601433358473214113824975929481821493604889236429699\
59312354108895578847562648628213797549584809187022810888644497171095062271371\
63529103477038790187764131419438754861002737732286658709841720254956036709677\
86821050313769003407776612301560165239148959752665262776659332414305663782602\
14395009571197484772359544233815723627468628745369228573330967884795489293194\
04702876031118479482757127667853564873718114649076361193795470615616983206395\
43958254306812926961136325131261404922284116030284815394503886515954361284534\
53717386278440314434844380915863406962269888420009622887271250801041984151432\
84738457829329537136904708130182163029358233867844866822457039088153360758756\
48684867053142255701821972954313590701597793189157589094160662139123017224280\
62065341046553350680560258785168069648566089172608925244476064974179492646507\
67446619562793836507174373989477136853221313505104149695472608346537138098003\
34892969739633735669165720998515326219392993012270442102431886763913760193742\
21530754776569610896621969414494133984388004154292810183965155198336619297088\
79431743997601034188434532927248366355558258472499741857457726884583382726012\
99396027112048002272823804640029709672293512615136432831047613987501811278550\
57223988210308919659581451577931328990170434543207214384268660423421858324411\
98647700456999999505086043813464510884976273808657177479467367488706926744139\
20595478595018933549904962455439378149112158591718683168748325900646250920383\
06316735611046895280728242075472909302709352253284732811719222835401045275572\
74915726277137216212764806591233244609395582857240213518924697441823606406298\
53173610539444307331577426278494299388567823962916270012652889759939268624534\
60536515679981613018509421366429100706441875532772521370864307424431725507804\
82087692838586799389436238039017168370163895677562946667287830728444611344600\
40067214870863977345720603702493953494673355344293967003790485740862368881182\
84190449996293190027200683436083743529081009131567123185089321925334355380023\
05464666077808996441488811070224766741562737999657175232568735561531823937482\
06058635665810101041521924965928745288176852019907525327438495210910261247030\
72169764880384931505918186343040906811361694937294145126234653724298594570354\
91840934517461679165810464516654798696655985892205727189556192605630095417833\
49441670436387514373546406449677319993191740220627010327202760930355282651823\
35418891318860296742418605283159664026442572714640512443244964189210100668337\
87120096515120113899934839089777503708132983099195617750084219842859933928699\
56466223163236309083180873684385830818040252069471754933791844732145731241438\
84428181439960728699053772322160920985955440031394657266000214521671196846579\
46713738482402543631287741774525600608847048063803441979700141996339045152403\
64735818543562369729405038356102790599767362320473294134487267250156710551037\
49562134157227249322000495507673121233621983868208824554757253645616008602176\
30093364935386062181825299080014625744343055643814943360637673747347225523921\
73786687482548670294243358782087194135658437784294742602231611213832834078624\
35264284735647140997586675667672585035240284726978053299490393346068185865097\
51505979947196843712273829352558832600057164522819920915902000139241147738743\
38870125316039047634117877417118025087401750317405080495314045458579574576218\
41220625502191579848851271564312078879500076217004754536535068248313480979786\
56226141596941559349258801963410155784151706422532117300884815049096749268496\
76250948911071541656243280400399678711242031193382286724276225388352137167200\
87080123548544123094661658422290781527358733658670996293672990963329663073019\
68587220966205471702482184345555245867517389338962102676616893731767513518951\
45199214039988155030888833469414980668484225158758954650692528388069798260553\
26689089594313094934450945781045580484902425588217108611043619806688212426731\
08668129623335322108467242251720375792599204299697950786908405863859914323006\
32657779612635274545109994871261615841449282213526689770088642837896050000247\
68807907534441213071208621877224029606757110350069211762456209180464517454080\
74537231130720542998976700949578253090978181303700220742042412361000149712924\
68682268097414898335159522689023450628918889154202776225148100710731070918016\
99109668806809648344940923248472415325979121199883515310373057165784695499860\
26385418775865037370650208250041480035891891724363383852750835312679273529353\
50691775487052329207886527811369534467140352007117995032049756885476155366282\
72698780542060418681485326842574269573973223239816442487188804105292801693194\
77864439667308226353010724964960739053209187475418610228143782073524375219612\
81746026001079594869618492010070648784785776295596165041505852757217158685468\
49342048805923700452192789166154714106150631133416727126796612086149469773879\
01107651242282780585085749917071345804981152792532653197505023283340341218482\
10049293281256604174669537522306291244512630296139955135208584605176717994224\
26101280576403238618227302842587792686501210978840389296698019116702056807609\
69177107905210800814312152328322281913974158063487000243591753254709115245675\
69288791786060118855846430502471442684695455134739113831650156463908467261607\
24543925568461605224627807176441102382236254932836534676170737911860280377956\
83547998189156316527712700580698864536983553152579100844252502271940053667722\
05061044544956374191204815075458970015123261204180013730389382968878568478216\
51280186821034479408017020249336175238455045019768088970802868081870897968011\
29474018251511085770951617039129191914947263100329195885265626956384986226687\
84877672686178240036274266118417481882577603990297154604204397901594836180057\
45504581165452296038821720797837678437045210036235887023324736628782995693431\
42554333381753201060625356352645734871156848552534649176301920214804397346597\
3976999521255493164062501132
0
*** a(t,u0+3l^(t-1),r):
11404389870319406281988030903328605207991132770629229110703636950252426291556\
86604771610359666882210748109297001941327480692566647368146353844584489134881\
87046600375002376032640036917111143162685025671445400627049416340797375949426\
27454222765634757018593469583305590142898247416196734093194876493695961493117\
29670203200193053398541430547860696623433246193966094995028415045240387701790\
75950740652882282813276911926766345440639157234147661986072877658582229011680\
14958294482354779873423911940659625511477246316403476044501248553677592748807\
67697737202749808257752193382296195538360248138570271863831711616046356078893\
05079894023198999886739411335307283150677781304674074704239915431070487612429\
10170030092901178041755676545265488332711331000872547530117352814861592524855\
18416156810721884686214981042070314180695342886700707374623020056162831348865\
67470698185392384338967304482208973306020330053074195370286190331409194113773\
52806622302445071992583400887860325632266942541038705542777780381545076671577\
40031127679411540614870013947115675615700978968018000012917152987163469949037\
72232123821764470823555649661750630821860900304674075698874264039542290724642\
85771920417451092274824587585190326583142645212173082554954326470579737441408\
25377898551814215029556286492470306196497982551564804226746586677659898993476\
52248768750518520448550137435261578724187729490757265741086455924886681826570\
49176328936844312697632570399475340045021640745976513411194902669447803573954\
78949994621297620437253164338319182375244654248894109742126214467360692063963\
50090132960549516068116795574084070032485723447757476113042984852115327818747\
44816521299332465628992846710599901053282259241651873131645531216191367597910\
33424489182918278530631017254765933665506203558819842162323853377505023188663\
82775143349440983861569392984466348522845713561552614564676735980728691620461\
16860306406780842182387796408586103605281934057996784611554024558096200266936\
73090939421874379413141810154820103209152989299688379556297065887704382989200\
11656876329682663751737342598270533219859167061102339532623003911835826867203\
33088434373892915578061937815026127455027553007020168686585603476739335463506\
97190971602567361811409498832351409597127697862278140581012274228544692197295\
18053738693104518977037251626384555075936287292971233823118524727955744251961\
46454106179896333282963882490940289424257831582413578046226089345842980723979\
20609193659919293267746163981299224811411726756266504769857190454453204667100\
15299312922364524478455696868311942372554589744482635010178539919785135611311\
20643469186038726268772805511129332266897175082861186407885397964039444503596\
03744557795102386995399838738025951923942721415119067163394763667299186926425\
61748443179724309780300940414568857341813412925983714595296664091199741493547\
43312447516212240931292184816689415701563140645491026669260253465283514805920\
72649439812792904284852707194804362242937526799700967896752862338531754733590\
98213570895708827587524713270379719701740036992646840666409167980335124823850\
69940397113534809059339970705084389895052500442575957923531403285808960096150\
74588440189517952406958831789302737812402841477812384664957741254669148078069\
17528460543269252053310720865407485105606684157651545954762238560449653364924\
03524098944772348015713393874414281343898009102825538997292269561702312306245\
74220093678500674356925330824954483517160939221065777733861077131593694995130\
36498647361375430604974502824548414709412580612064855878480768422818251836946\
56577630223490778800134617156552060427706542917334727076218149221818480631225\
23442463808501001981242651682176248516684093703016540435987944483599131938907\
11771220808682862691599725723396886383079688925921409248649823506366975077110\
36541277513628005167912219355796554913217751454200450894389796235643466748187\
51346712443563746930636527601429121447216360931022527408323051297754257491910\
62573296650281622817574391318987644735298508998379417845035594932067175209478\
20533526476637019999146707363286422137689704121109403818223397731742424131183\
35102500080197246220537765553311652640611860863110295482130926201055819604370\
12951353760731485507643611598970771354493997629336604855854124963345900865908\
24235072530236831112441435636794371873800935624003772758885477590841343080400\
99936247291031543138155628285956090792510335851104485992684152598146211781466\
54050819086173751145145123140630252296709499883033772821323022732958793542004\
33231316220372696047489980010068295367049118052182316889321158075335799185121\
61645804793303447400846461976462644539614717592460557700068264137177035040423\
62383138858523399614961317202621295701875678512134247433968535467483007644670\
97738435478311388568223539356195352005716697585590200825502188397861682155286\
03076350700320885361255059023917530760189851112942655093760142157950853129373\
35705568391685182669358854916934498065212619625227284964196562746954656885236\
28343610287296712516341795798029378523180793068824684307838412353595155337783\
81183103255856413413432348162997894200660896401806962792965041387150861774537\
84539316021500441392460140314379559765822396782579488029314880578808112269346\
16428181219132564921271122429584501594293929284572040019435983703205522741334\
83395255744353526283488081948319118683758816948538266194282560767211824585023\
22531244774943808644060584745750987669260701201695850370840372235901110336013\
22353554092826235528527405428722814083464776088902094188486617768199723138595\
63535366093883282197736600899096193459961431619942324179043725095213763948518\
20531935447406359920370249534550456306972321049092816657549829811828957251986\
18839214965955663824638265679033713452100005916660709373143172648007492102721\
98654487123609561275087398295887625014771354943272095582244297443800357029558\
13341799179560135227124608827827471545957342271679086549294391742915896272134\
19484098358162404634255472679174410685185630039999596337964778271598973017194\
22736807476447719255585559553115127220689965206496417508158729817089529845398\
54562740415240276410451012562674715514513081113562292014766414310219251121006\
76817519020525885072676798114198793662423767982885733205270883015435908967422\
82144344872552787024147691977357307902386327314103644796133302878078778619952\
79059448163989367403352570983126264387173387080923203063532847497247933901041\
81430696366619466784304997845185436901042167426619672418029281345378640421006\
52950149418907633475987412250161770889300947498023723662033852553349806488559\
06891127706816125794181674137090395846773582816096287740608422156966316184933\
02612017970599307913715070874583279710385940577881904502595035858453432521996\
91168341695518605872143315623851530882033430889810839518213956489372823294986\
95019744863443790823961956388183466671174201881866918417046838567998802019312\
63117569862233417017512691240647064578076298925822846010360605239780814832276\
98640693479536006591263202928559523830230271127355693613456048700499309865070\
27044369904353118607105546399517218994162366934188661802663042031610053017287\
10402529118536969901302653874761850504356891690092963642163720735141811444165\
36656871509828437472565875286960632209481029519590605907314802296598623595147\
61367099298202070347581929805809937153253710337168564268069434767618377918337\
31627441678353417119229990562689441381871484388257547241847010705243308178953\
40480968211541966810264885485122630707240996471270951767679269553595892329145\
17433647437430003495176193828752451550588209832410378882614049611665902999145\
21535675233283553776063422954522937191419449086263827500531608099190521123501\
42302261995163162531693166821632080273130819613064909210325440478849054848687\
38491621130456427888998356768417402352776294875227031034115995526995985121297\
05866690057910261473491394895106386815680936338141691083362377780372492947540\
10880125731380591700574408571094505582612421532499105768826224019218879735087\
17148832644053624912773389015971416289204975723042705197405178073318176301971\
79566691319846602999632452435305704708563451751669890245227732069837815897665\
51542253721421100145306969558095855758487274096842852579436616623060795685153\
89740004705019691757026734164294940735931345718420529422719508440959912809278\
52316044270102328865694977112803340502958986846274511144118477517010821201665\
49175538409608018955858950885655549564473667070035098896068509696020427656449\
66313507299107831744541660330312851202126205708359235242785211165964816668983\
42687255166273818800445026623458493926249611577421906547147183762157414927169\
23475564015410525524180162175123871427144830055005132188648199518537075279009\
73848058683565833083912579420536912545359946348468743991492016148592334899130\
07064421697070921596718445263867229422390181547879797064418127148470433729644\
61262363237149825371970933323891836174220099975502245357987192870403981935124\
01501620580158195016491479822998914654855992907846500868216993770936466654588\
30893482290851319160601150879506525971796125700111998346126097505577885870724\
12051272283060161590924110529514338030287568079236810644937894985198046978364\
50597185716528059394009526417372959688461385174026162971312532528629039826582\
49096100583045590114151331471463646213496952386177763529823577266045564601896\
06774448077753119159185382398110545207464129900728028683565475284841669118698\
20222639846998977507144522510801474173938365803124579753195847835181007741182\
33057144997827965478741243762232422237428590384469486867545035553376814739727\
51479330613840785528949853239629107724678591592427286172216157309596327734457\
83964040559989466996400204124527466383926725469762477184256963442822386771392\
05150462293100479742286172232269199167333919529342204785696615883523066154510\
09076656552854876570702833327946355012986052882308161214103272111585931501015\
02786280058074885872911892958548435588356225345918050936242051460914756301364\
31253603299008244277197839724749946226792756004260001858695641680774956960623\
84117736309718237664949313038082160388229754383165849691581357417277394910629\
86062360473303610973357253107992832660399902413886851458568738593157831928692\
7580833435058593750000001152
0
*** a(t,u0+4l^(t-1),r):
11265794854534274608422204138878431186366240532097276673594391362315330833152\
52913394177594879263850548045468739764957181448038927695269575238834330412756\
56995686828778388823910036468465695242305172928910473883317913017211296727818\
66356688808413501290936951723786251373800525659402676560812299869640628627749\
55177683369635151707934156218286000657523467160358868146130500279065591323470\
38569394846336838404087782788767448881464723031649339704992130881481403311885\
42554287431353940534684385233047442562553043670197183800904879213615538670263\
13923632757577501560175343809941901495359342345219591476597645676268014945989\
83663992533333734263115842100329590473499405490207549490820333125484561547694\
72025602643855504003053784642805664689779075242181388098327732207736538449032\
29129849349480472893153340647461820779193836983563719611389754187424741384556\
54324352894944907445959021268015461477648555208679196468216740101687207379751\
97477375156408413131562422057625911952708142892102471274028744856074910809249\
20273804947196469808786524194286144835649057348615003484982395919611136112851\
50000136205874972046186049752666855794511896307915883806700444858506186497086\
43410108884600124139540260999953638586472508898830701343348978753055330910002\
25069486590247028388572095510790979558693319569167315286490985797896671054319\
68974912185842080095876785070596941482747948055973757303260752467466183957150\
36425922161570163064154396800870605009752280528577493282933853505062153183299\
08893310658886017411105990466152108978323278242397132714010097277653183653463\
94446676483598393477011209516760131681396487225302090118613643022315315154283\
50348264964097522470307169754047471700204176230034576062337338996550153061130\
17393288793542535562376820864517042110543454557236962136045612103820066309634\
92706695426791527460473931611391236648436130237019857096008789536518447104240\
28634573516420658336421278049453980818412188331597518131899722176313781166470\
48591570366400211607773767323077497788208421721393555499189289045319086668150\
80959657346509436935309979059749884378645600794734776378580710461518377582358\
84596040206154633617911879542968518267206037605893187469908347878931739372804\
63023720211563939011618063950708250105495937645201843733673583395906128229619\
71827391174264707114469090582313909441332894912674708412073681545497948748899\
43285393083960093121538974196779556740282475990266190813025425065598361166569\
73657345820302218523172859905137602287661931465825765996612398209347002527048\
58863383772266344493474464441092873628443683271893436320818731274926635699368\
18830093692458394525923135999709357742820299691229192823067346252670909587753\
72449051016342462153441854586695775424867028620143661833284063414397981529750\
30616083627192937960054227597030694144951097143897106952645489353980300190674\
46084692077647161614418842292875481830189977477924295442376882329420694313487\
66210991759512434961946511100423059229568494355954601967452046303167653547592\
48061669860517921696704100435496632830364724043083424199977112119462996570783\
06937649231946712421466047449987878212300126305252986212655153593099476206093\
35834761228881449513124262652974405929266001390408414712432213149143654959064\
86239052168611466004051736410445935807448269593235641750450891911277522160836\
41675715797874072953022432490523830008121470797756478627533509341334402260857\
33908391151157784217171029929512328335528775029143103351678737652563910507342\
32235642966358715302483493241611194391763469389348789921624231306568724470872\
56237277078413633918882981184163406915564275902714339768000220325025547706887\
42775628310828246748831716679094245496516057842042381090411702102722059154927\
34371223333577341790833756834397271444396428817446669900141926345699320866103\
81583310599399887049552175023347638447258507946944542636992698017501966284233\
84576873924284326395021153134050642540739773211374684193291347549344049501557\
54521190614601116984721924757819392108307034062635223530946620688101081066307\
46325653759039000658879299461302038535321947300193143702376932828752498837922\
44224518308389293575496507985823490195326647276232218974535585084029099574455\
90918958836555929260154887152455501563727577519257861394064231083583016653996\
16301660190459647401005515412041662493390160364684282464940688800674868424910\
01499522063536368134740542525536485522462467186247313419856393799210407124400\
10685618159779278474978428935796204091714766377510792943286110998356863759375\
80744130085750111199690622614112604277519007242520379010457880112614704403357\
98570248137829273560905619556609799901112455399496627311352156760509953017362\
92006954879339955522418384528283884122165383807993727065847390071176790537878\
10092308658262465443262489398741589047313890496876431023803377080526557545759\
98525075605004485712767584348279644101645877227889532549217918208114644844815\
00028590998036230796640952166207863540114549595059592264978896185793749596700\
42582490023388592746177919807428327048072693153057717658263987203464658658331\
57800669709344269500421885598517017014194531341368336509022757898070903384916\
72574428500405817972760103886947863727001638488346751195625290016218430349406\
19353533183483384444797341427836078831863273893960921477533115845701288958020\
00090105066904785512681803174641629394199247992566446987060376868999180883469\
12361594230803866525122348472799152749668991291258574411472520489978701009013\
06283285206281472249534884876637640995644891657266131238279315121711184836564\
09117401575381228421027996374280788331107733666227747322701179824959430011643\
85212970954121907629671305529790294511575087980787869232892106185643535896493\
30068599506299952632324953422517678740008512789201291030066779924854623275084\
74018061064815695079035988941597324016327953060280941642876745217920838801768\
36443548147864091917072747262211512690364110681571875428035605732151293366049\
23066756885059736522380840198698332777553165786041267910246456313437179942332\
49196603218921444889632262822434908660716302434889690212052634142229066809082\
93830207111582842495740670396114432513468651308362750271531405802977003277522\
31092306115762549663807462026005405544998479135871496864234604923234430907054\
83576618459171069126284785998465812841072604586328079668402516211157682352001\
97543100703663107730047939044095216035245932724036983581857969142246656926549\
98670253876052910764356846829705752772036446641921169454615731051250774999223\
46403880241941742096938954115177166034743470705513018686974413373013958145816\
16355992474268013154321827402785477841691264969372895354871861471030961647963\
35392774696651052435597005777149107908350000327803478579820443408784727612875\
42143726431857789481336018385367224083119830167191610565735661879258917456332\
59489991019617216977142974279299292597045348733997007950173005460401594355883\
48461627172935441463480418951264200946051066126377082256762472884436256318690\
28691935051833312066716601504080501839237889360182968170236964775319630752126\
70812927908987716124033083162023086124441643724919007926589012006920347511868\
68435831716054749780974323011700508571144221131359194986790203295652240818975\
85690555363007605767170109441459374526379697563623358960524518240910793100067\
69475485244230864631552288297753219167016252051821029632867202053428571242246\
41138913741290094341739348316267868309522351765483583994116231061255976308723\
06829289778415588741390138612907598736840498250265922839947056208326497804311\
81284280194266791647144538695416918285216478115697058305915614980968574316863\
93669790291212399476701541078339498718607059948062704596879314250762858540403\
31545116450083054653703840141508079297589299235822800938672179917474153140456\
80905785456996019911180668404912329754739082958340591420854169192466520024336\
85135671255123157601417714748811691142573702736810108032002071105958243901302\
64220124203395063676435483466931898743934840020819429136218960880096428071639\
93155704469559917665569545746680096994023665254186283432853379034232712353857\
55509457223945689421511919159182197880507993136632235329053089492600203551686\
94145038832445496497707752914160663066977880140804831801561518851599987404257\
92989692147840633003035089825492745275598846725314724377651736636989913868887\
98555259009875390841285489543724133239902193603351036182297593241630481360673\
02918196796991254836603720579753485594072077366058977902539899335131290514791\
42070113981236729622646188763798632524322588625097925092265252002489549799742\
30883764218072574474745173869353963618118105881168515321747825626158974120762\
66419437369389911498712694926467852156328833856420000373855599871610409433605\
10624210748175276084628919601190109788732308111594991894373189563453191940286\
47603569350057906924536103047118842953715300869346535641760267964374438875291\
29267855350587240688631008786969539554047286260522183348428320734826155765773\
54955593941163216952054951422372191733703229105146977420165745582748002650105\
46490262888011112156913289670901411940888881116950915032891926181725376841045\
18154815849064638793812185575162601283391712217162752182238996955864042935224\
65954511584556364227762882867161829970025222506980706129647276056926950800912\
21763335471793299956514075707053497735207926923151297653593082403437371976525\
80303230826808202780514726709244618442790086655406681112758255967143940500936\
24490767487747253822161863383066039591963420385378274096472981628850682994327\
68419297749590472842714874480399736550515395709658225742418620190748971505043\
32624547082075359315924420995397503984968955930713760124984363731181094584907\
13672810900406261668318951643847445091066504847734113746253840623204753598823\
05087869869399605856529222222502038760786458701728671046981552843271917781104\
58619127740580598556822764172919229170814347378530110643792989290785408027912\
41467696793480225801539699814954965016969951774005852400558554307743917249090\
78790451870027241308551338200317221185842149594486008780551771035348872414227\
37088527708732078526659998469911023022400573340314875823801722865331315458590\
95606741509218324034444925379249864207929764710940309860981965728310427721226\
0058149695396423339843751138
0
*** a(t,u0,r):
11245995566564970083627086029671263468991255926592712039721641992610031481951\
90957483115771338175513376607778988025475710127392110599144321152298593452452\
95559842036460676365520036404373488396536622537119770062784841113841856839017\
57628469671667607615557449172426345835357993979860668341900503209061295361268\
44535894822412594323561688456918186948107784441272121453430798169612048983710\
33229202588258917774203621483339035087296946717006722236266309913324142497629\
03639429281210963486293024274817130712706729006453427766105397879320959516185\
34813046408267172031950079585319859489216355803312351421278493399156823355575\
09176006606210124888312475066761348662473923230998045888903249938972286395589\
80862113008277550568953514371025689883645895848082651036643500692432959295343\
30660376855017414065573106305374893150407907568829864216642144777605014246798\
09589160710595267889814980808844959787881158802337053767921104354584066417748\
89573196992688890437130853653306709998485457227968723521350311209579172828916\
60308473128308602550774597086739069009927354260128861123848859195675088421967\
75395566546462186506561821194226316504890610022664713536389899261215314464578\
37358421522764271548785357202062683158376775139781789741691071936266129976944\
25025427738594573154145782513408218610435510571681959723597328529359067063011\
57078646962316874331209163304216279019685122136718970383571366259263255690090\
34604435479388141687943229143927071433285229068949061836039417910149917413205\
41742355807112931264513537055842527064477367384326135995707794821980682451964\
00783325558319661678281840079999569059812310622094177833695165618058170487931\
51138514059063959161923501617397124649764450085517819338150454393744265270161\
57960260166488857995483364237338629031263061842725122132291577636150786755487\
94125488580698747974603151415237649237806189762086606029056225758774126459065\
87459468817797774929854632569577963277430796084969051491949107550344864152118\
16520231929903901921292618347114268442359197781637152062459606639264044336572\
33717197491770404532963212839961220258472234185253695928003239968615884827381\
06239983896477736195033299789817431240374392548589333010383025650673511359847\
15285541441420592897362144681902084463834257614190944184053770419814904805666\
08080770100144733991245067576018102922103838858346633353352989662289692248461\
99975576927397773098478273011899452071143139477102278351139615882706272658368\
38378510414642636416805245037114513355697674995762803314720285031474687935612\
65086822465109461638477145522918720950713553775809265079481615754232564283376\
32856754336232632848373183212363647096523603206710336596664767436761118885490\
53692550047948187176019285422220035924999072506575746786125391949697809330225\
26168603691117027700018982908810956545399337746456163003695321534377522861692\
60766441300709293140579793360902062705708097025414762409964972167154577100282\
93862642037615225058674197372654301656230061149705121120409072583829924806735\
55182826855490649426586870030513334705882536478860078990486818425052692534630\
55080113820291270044626915556402662257621215714206847396815689351283835650370\
87441378520219091956862181347784644231675024235064990433499994848354298799207\
10340565257946067997014738631165714479139924655461941149834985247110074845966\
75697375348317176515495152292825194103010536754175184288996543595567557968658\
99578147932965942768634701230163449023867037287439864154224117726988227009086\
88769499481356327402127634729763020060670739214675066213501868861390220561433\
41902940914831184650132747473822170699543952043482855866826230482626557289124\
88394651811160710287058725964368245065063481290474644041043667476882477328644\
51885509408562267376438618421683040738870248801950278564640798179889655978817\
16589315325938727318357882975854936094978616017336555743078826843481751932240\
46466896992958694889933242495853716982671689251424992305429675585285448360078\
53370889752361044722885858106223927447308251928957481486076767224677353331568\
78581671942239283610269669761018555163555124897205106542970294985468223796028\
02670520912416728911919185476182324131714473906678208044879107781596710998753\
87771473847387992653370783660096177307903803217818040899522817672188318909437\
29454029856205764013657526808505561153331478184781498137234290402079657759839\
87437132745322771705681244559762256198169914519839145909452428256505292173390\
61633446598865782379240329763677054348144090162436081532137980750556588076143\
16103103495089741935719285843261791264728991412568673599191697546511690863106\
03845168615618677298056927782345107809897846514787494398678427135271798442639\
96238928596599463509197965574807111039349627421687938441830083585990188094050\
54714290541112619282553767976248194338970632341345892480703546892335825458684\
83589179162816428620126516537474231721853880958596229328569029072423757947020\
94931879941800666243395537487532630036529111019321350450804943819913619984052\
44616615699973147064725937523056748265914393165091008136896212182017444846981\
25888893488413963227134676660734034558985050618448532754173860256773766472113\
70865158854535157484231527254457621435741530160599217362241062792991332932271\
91200012035533501519586801284729161294373180266730761685832706151772112703260\
73903654970126393973995191921259130924262166713141901386028636312111660354675\
68051644153069589079559743290948890618298747018338963560134255954846928248013\
03987532508203648923964524797768330554527765309889565102535414743641393650559\
58486263787023792167212481442164301884128633958554236343223673357780239449233\
23024547455081271588142884957681699969375483256744305315083859953331332845708\
60244225869206279604851623100158245209709728056707088409627295250118499156850\
84784285913559428479600073319555852445121752791282205365824237757080907626369\
82600940857621800015636767038552089996707934740127988124998636302042064379465\
66435708103187926792113035558630321647891385178332935277715267462271209503066\
52976574039274834265924649003766306009291493467517300598323191902963286375323\
56582702353917494793639192943748677799033732764762815736783547444799539299881\
67417275700796358891111842584834921528223437872012320244086565195777076898430\
83781228971545109426590085144338456403742072768074427507298118115883240028009\
00183622495045070633861563052805066270684867815910380798761557948675045930194\
01133047805971974190078539541780083610749915101249954745556652437803937081825\
88325841788089471899932031524465079626949545449440060833394493490108836953995\
74850973155332568491484706440741918126679505276983839299766638515897339571253\
40075739943229873081580139334658511936630580292077989162281215915974912625858\
06568781394191958568363547351298037397560744349674577858238762649242645193667\
68700026184784849284740262549458696300741226855729877883476743587887707546822\
17796492503035730670047237195638077570047461440741973149105596833672747959606\
47270683847875784277495658443440641554810406250586864535491381357436819450277\
62779864766792658626451302699523924285910111837880485944292722003393246725380\
33869160658557289763784561459834602580685268194397228036022557947153730729663\
06981081627747486952113571463530623428793792998485180825268763375812531600770\
56348111807949263814976625225173688026125186582485667542124025951401456002804\
85354838321709619659240685138207643584901047105087303530154691112114928898690\
16307621430826106160122317631162594169640427075836632993128168587573727157907\
04691513445243475668854302247797556390163373584738012509244410033726098790823\
75403235299487948862506986524599007508205290071176829896357557986701763885675\
01436952800785896385419650615776079158226224896216785471293142694420595753566\
72679237503644533057206712924411605097876624113071100047531051144676596439056\
82174097140439285619692903299341020332129812222334167596093455866756208323268\
71840123985111416815844208452051526338409471233436618188703637574507506405433\
18299543301775102344540425279638479951854906615778223180774550600077646075555\
52072709495959844624637557262593125476500070477341141769599569124423401787975\
71659722419734695976622150536455635539619395289942257404722219169962729078415\
64882504639672196038179140634235288781265632583442466514070626379279914020260\
76589432544128685409226991319569960773751223140076254044894609773719004240531\
24881433709474574248138687678910333598300421694062389189178669283575699494554\
52892486364398000748089692825725172713207786184632023642190972121993083104136\
43483265511186682428216623475910459288385033638846602289547917321016339719847\
43982847848529823780788771033802706546212262970907838686028085636335171455690\
15877946757405196513302682484140566537785502649184455880499071479861885803308\
81966304729056047685652911301869073458190317915270355438523430938075011038955\
10411497081078300019582448138837782894022598586953603061348481858315037741580\
62591875849878220085706875936568374173538548561904188356158424413006793506607\
91575517259033939727815023783957824222187846176499331702429901706889304122519\
61883893501350992679939053438826638890978018522580743830424868665959185214776\
11005558137131836346870505217131668581677199268831355152266525132398080940102\
17858654741614401362565896312137762238309494714147516814131583137350487315758\
62235914076673214726418918753692343190693794763217917174071510350329979269827\
39386214293568436152878626364818120365966999611414516145512572170803493744777\
02042462428413688180425393154423638595242082184685188438829132281802136757231\
29931006577537441285492216389078703450724722264754684975379821791407489849257\
03631206663322946621450201289464584906372187616015776112253394506116520288456\
05078928094585195301421086506821015845565392869212451941450829551807468013475\
22839480767398558840554182865058211193361246592276103419462948887813904674612\
04136470612823845791343672223013040649629055549446966895460911857290940241623\
14152858808744240884458980839683974751420634393089724055102646657430860336170\
73227212194305484364047239245886574827282118905621879556976060786481875536871\
11255938800063283043171735703715154429005459324805089632755283890475084263016\
4697766304016113281250001136
0
*** a(t,u0+1l^(t-1),r):
11285594142503579133217322248085598903741225137601841307467140732020630184353\
14869305239418420352187719483158491504438652768685744791394829325370067373060\
18431531621096101282300036532557902088073723320701177703850984920580736616619\
75084907945159394966316454275146156912243057338944684779724096530219961894230\
65819471916857709092306623979653814366939149879445614838830202388519133663230\
43909587104414759033971944094195862675632499346291957173717951849638664126141\
81469145581496917583075746191277754412399358333940939835704360547910117824340\
93034219106887831088400608034563943501502328887126831531916797953379206536404\
58151978460457343637919209133897832284524887749417053092737416311996836699799\
63189092279433457437154054914585639495912254636280125160011963723040117602721\
27599321843943531720733574989548748407979766398297575006137363597244468522314\
99059545079294547002103061727185963167415951615021339168512375848790348341755\
05381553320127935825993990461945113906930828556236219026707178502570648789581\
80239136766084337066798451301833220661370760437101145846115932643547183803735\
24604705865287757585810278311107395084133182593167054077010990455797058529594\
49461796246435976730295164797844594014568242657879612945006885569844531843060\
25113545441899483622998408508173740506951128566652670849384643066434275045627\
80871177409367285860544406836977603945810773975228544222950138675669112224210\
38247408843752184440365564457814138586219331988205924729828289099974388953392\
76044265510659103557698443876461690892169189100468129432312399733325684854963\
88110027408877125275740578953520694302980663828510002403532120426572459820635\
49558015869131085778690837890697818750643902374551332786524223599356040852098\
76826317420596213129270277491695455189823847271748802139799646571489345863781\
91287902272884306946344711807544824059066070711953108162961353314262767749414\
69809678215043541742987923529329998359393580578225984771850336802282698180822\
80662908802896521294254916299040727134057645661149958935918971451374128999729\
28202117201248469337656745279538548498818967404215856829158180954420870337336\
62952096515831531040790459296119605294037682663197041929433670107189967385762\
10761898981707285125873983219514415747157617676212743283293396371997351653573\
35574012248384680237693113588609715960561950967002783470794373428706205249336\
86595209240522413144599675381659661409421812503430103274911234248490449674771\
08936181225961800629540474773160691219626187935888728678504511387219317118484\
52639945079423227348471783359267026306173812767977607562155846795620707115360\
04803433048684156203473088787055068389116996175748049049469925068580700290016\
91205551984736737130864423751171514924734984733711576880442734879098153729275\
35063563563268848220089472285250431744502856541338050901595657173583077519656\
31402942854585030088257891224848900954671857930433828474788792491686811526692\
38559341481409644865218824828191816802906927562204082814495020022505382288449\
40940512865545193966821330840479930954846911607306769409467405813873300606935\
58795184643602154798305179343573094166979036896299125028494617834915116761815\
84228143937543807069386343958164167626856978545751838991364431449933011118922\
62137539079276864011088734189726157135756614531009342351066798575444969475706\
07654056247430969390549712688222465913232404841337772966070475087101246553055\
68238634369349625665707358628861207647190512770846342549133357578139594005597\
75701786451361103202839351753459368722856199564022513629746593751747228380311\
70571613241996083187633214894504643131584599761945823669174210167424538124649\
97156604810495783210604707393820245927968634393610118139779736728561640981210\
16856937258592416205228895247111502149922608832943061235643054511508985753390\
46577305872861046780746467070840340799538399876552529530906569191522180636227\
22686850855609957900109063772247568098807857171324376081153019513402650643036\
55671491476841189246557991409414856769305816196312965575816474151524808801046\
14069635575838717707488929161585521907088769703181180861783570672036773879816\
85778515704361858239073830495464656258938820645786229904192062386461488150157\
94066443825723865866938990644814825819551351820697681888605644494977714398555\
03149290524713530788353504015577763833448842544587066792647087199270079089980\
15561911381749964563799840491310714846755019852655480930260359341915522075409\
59737789720692774570716528107915353835285442592585504354434241246157139442608\
45385156676410480463661959384963417290309023072472084421724062678717717943609\
93295327660039869823754311330874491992327064284205760224025886385748107592085\
87774981162080447535638803481760657204981140194299515689864696556363392981705\
65470326775412311603971210821234983755657148652406969566903207268717289632835\
13460972047192542805408652159085056481437873497182835769866807343805531742609\
05125302054271795349886366844883097043699988170797834079152848551673879209348\
40548364346804038427629902091799905830230993141024427179631762224911872469681\
89712445930274575773709094536299999469404012064288140263871655539368040297719\
74283698146276478461288680519438106018261746816094285029009517239445527766540\
47507054331433267370007881570942996369353367521191081269233525539630465212779\
26276555163683177051368414428024127864136329271990992588092117425886701412262\
56671544308538143970684953654649414881039235564178185262810785025110473770013\
08579037904359295575105244955506951436762018004642697374023215499780976022568\
59748539363738664674843511306397274778086833373901258302178686292138620574054\
47401394453162543671199726101898889053774692704831433150700352417955738947277\
99892973143393625659798283744877112270307297521695493650506264599590747393318\
63251836216071961678471904563638795587534153329279677919929252678760769977166\
90286155438106383818508727485870935384020286623015762731072575162260522352632\
79697805666931546252648644838766343907214946393749600542777645164603150381598\
45416632398568055513339876641103511312141111402262079825782076381494847242842\
31077711869248190197842147848480187227903569851962684806279264161154467255162\
94767336530728740436503081467175889561773520399730673484382644650691784915678\
83372007946797028825979486852593169278403136404581731829506914306432124675994\
94902578912281144826234315035385365799806997632163586364954380335818267922905\
96207459946133847338635154117631421933322978182592384163674809664697612916621\
04481918695794012293945876705889252442537395961585976540554333255919079337636\
57861011793203457817158948364829037556703024661761951409977084426164583724673\
30709809450072231789613872219639703880069420363528967997359670901594542599892\
77718671469523620394308489419436410768678915984708643273232561109275189718997\
50279955854449584669545686009139888893349470612264138016869267332915481164944\
79126761842835152256913600706890324322054670812012191364419348935199764677774\
10113186255790839855937544564720362123665372469779071804982548193202442053975\
78845991051182773621614863624522247962973175611957529908885302010447448298357\
03002502773552209798164084563566414561603174068321161937557848644150750908288\
64400029098267724582226647419388125623965602128761537095780273106009054599364\
82602858680512465448127951370332750307907317521156391723610378155455686481687\
96922989160870569024238011494328093034143656425879864458077771010397023718755\
97350958126005071322657959594652603304040569424695212686765943829079268450716\
57877046943290107625434775143036280180269582646656104102586819928211049842904\
11936345282936850090896095632079989929008829824948579297401070514823953195131\
61653280099380212921988029667240079436952373575428816406051217140527710527346\
89132333410347506765154623885413054411601541803610082794177287240256443609616\
88097245369807029583142526198282361953017593251286048467910686345160279479336\
56600124421678710537026758481812271149460208808202240083734284185685349737846\
68011865637344732986598666213721714036192423892594343684932207468387778632159\
58946204951931534218386281055771270284515915795923328888506609860777005315398\
16630355245156297018793355291865690594336364991667406198400818533237245730100\
21096879656009069967891039016750201769932060867186982241232846894699913717515\
20521085475622096273343987767878305706053164066625818319700576709541958480814\
80954959884507935425068753480596637589843733038055566615901129386686881535028\
31247741598075458497202684701872092335437391065563826542339531882986016495348\
18284262924958466521273724262797467947851178123490428353947733931301608521677\
88856026890249999216636618819132997766445404741932162061683114106885647411520\
05370474738945355655955156718239653039679113574005527908247307647044498077264\
13240833971059766163419294792368612449240283823422715844997104990673866711627\
48124213620096181357679569435101296214071973934090763635508159611337273789966\
47319312032448213818403026908176009293867909648389766484173066752489211793603\
01405008516988284586011555557844999659589916057402498363353950656561449559570\
74425738196778284907685317711498563675805405911744760534053125245768900655673\
20903465031980892108655260517191991358373245745130057107028026981455820661722\
25668016201972198550462255101969233232106359132155078493054581669524256637292\
98370547576943190834610534664796893694886378547595445051445001583957901732045\
09595320681926071491445100401313958817959841159342032047433391086897872243878\
34796133070767257505004355806375834505788709234631263046008108099695806252855\
35318087586613277346356625601716304519213189596672835274588905670954699320557\
23714415137489576715187701998230305275760822079452451380254286740292986909190\
05096811644214016411637357938183061676007524534244890152512276134736367548733\
94398774713762638273091345480780247148267448164784117868123029693756911381212\
78798922974136605811735727406896889384310847998564737905656196758196894256558\
43428044931310241732643695560950467620263664795882293506000895413266884492284\
00949843223158672689272757693935471217519027775007872090627384944180755380310\
79957544218373365025718115054784573986854070097075530089208647566145771179435\
5418533086776733398437501140
0
*** a(t,u0+2l^(t-1),r):
11523185598135233430758739558571611512241040403656616913940133168484222398760\
58340237981300913412233776735435512378216308616447549944897878363798910896703\
55661669128908650782980037301664384237296328022189623550247847761014015282232\
79823537586110119070870484891465023373553437493448783406665656457171961092003\
93520934483528397704776237116067578879927342508486575151226627701961641740351\
07991894201349806592581879759336828205645815122003366798427803467525793897218\
48447443383212642163772077690041496610555134298866012253298136559445067673274\
42361255298611785427103778730028447575218167390013712195746625278713505621381\
52007809585940656135559613536716734016830674859931096315742414550144138525058\
57150967906368898646357298175945337169510407365464969900222741906683067446989\
09232991777500237651696387094591879953410919375103839743108676515081194175416\
35881851291490221675831547237231983444624708491127051572060004814028039885792\
00231691284762208159172811313775537357603056525841192058848382260519504553572\
99823118592738744162941576592398130570031197498934854179718373330779756094340\
19859541778241184061301021012393866559588618016181097320737537623287522919691\
22082044588466207819354010372536059151717047766466552164901767371314943039756\
25642251661728946436114164476766871886044836536476937604108530288885522941325\
23626360091669755036555868033545553502564685006285987259222773174104251428930\
60105249029936440954899576341136541503823949503747102092561516238921218194516\
81855723731936137316807884800176673858320119397320090051940029201395699272963\
12070238512221906860493012194647445761990783067004949822553849277658195816859\
40075026729533845479294855530501983355920616108752413476766838833026694343721\
90022660945240343931991757017836412141188559845890882184848060183520700513545\
74262384425997660776794074161387872986625356411152120966392118647194615491507\
63910934598518142621787669287842208851170287537767584451257712313909702353050\
65518970040852237532028704010599479284248332938226800176675160324034636978670\
95111635458116858165817939917002517940899366717988822236087826869250783397070\
03224772231954300115333416333932649616017423350843295443737536846288703541251\
83620044223427438496945014445188403447097778048343537878731152085092032741017\
00533465137824357716381389664159394191310623618939684175442676027205283254586\
06313003119270253421328089600220917439093850661397052817540944443195511773187\
32282206093876785905951853189437758403197265576644280861209869521687092215715\
77958680765305821608439610377356858438935366720987662458201233043949564107262\
36483505323393296334072522235203596144677353989974323766300870859498188717175\
16283563605468036859935253724880388923150458096526557446346792455500220123575\
88433322796179771340512408543887282939123969310629378288997671008816405467438\
55221952177839451774326478408529930448454423360548224863731714438880218085149\
06739538144176163704486589561416907682968126037197852979010704654558127178732\
55486628925872461208228095700279508448633162377986911923350930146796949040765\
81085609583467463320374762066595685623125963988852790818568188736702803430485\
64948736441492097744531319620441307997948704409872930338551051059405285037215\
72919382007261640095532707541088813075456753784293749558457678545454337254141\
99394141642113726640877075060606096774563613364313305028514064036303378059435\
80201552987651723048143303021047759387131365671285212918588796685047795984662\
97295508271389758007109653895637460695968961660107198127214943093889275293581\
42583647204985474412636019418599477723828486072723630483262088276212423137800\
49728322806506220751880595970532251105399553012422962732196152238636622896604\
06685504358773309177970556199682270616236769018899757261656592501224964400830\
26505249154394963555077971640752769026897103031848372257873023279764752860147\
80006574031517535961163991430610674795624864690720678735493083082105864340784\
69475101823722056388590791228560432701291201800445870114254715712609541617910\
26997417377435322290804485564987322368290638539037626774663224791448074382549\
84426484456032634202001700611158649022284901080434361060069790015650151058582\
31836263695739105148348232553126716889436643437975527823102605431714087333261\
45320854535760131436529367258010979914153028703420478725123867982412607070821\
84310583200313121712511416080601466738265651849553491055107945854376901487523\
48363848451654727719573718173345150758133557173482041288211804219760447641400\
21077475764334911631318000635173173443789213031892549356918253471953880426633\
29996281926567024977938612622050797086902370900715355176110641888605962488761\
36991296554966351694283830923481934198770216829968979178072374378602622307636\
30006544181210465532475867891155720255776246518773432084101169527006074677736\
92691729353449227917101465888750005038941828728702474417653476972096174516137\
66285834729098569988831342988985899086725251079656735849240276942235434561124\
16138856227789386605053689504258851216130592996624941436045062482278438205885\
72653760581438251053155601789695788931917780739325785322058427234933683251355\
94794933896724404323631600109321013513383046749064691029620243918170696772151\
85349308106831862472534363288226006819234491047952998769638441866780580269890\
40513956325023875515607749468614109503381304625085539800473004108536947757783\
88390945241349473317436215836852560457482166839213515478869959446691746902013\
36128070281293175481949565901938676730167534173161491002950020036618470254622\
67322192824027899720629690491795112141836029865983390055908763898288907322981\
93662476441650176169540772967202023560169949393354200164399307205702175556694\
37785456788517701989478247613190314633892714311625925095780080696424236812125\
34057138031147160871702892028136454442008556557264513244559342208839944081949\
36397442921013886635740490169784007707894397920342410367516208323571270191635\
59270391049393263015862300519582477463156313686249592133151911378594795652790\
00056982554327382997831242465126743129238819010730755190535383252684212447954\
78047768961232362623059877276869243801122592375161899223253564459284034986850\
58867701510323029708850514761221697763074015566040792926159121380180033019166\
80916681798308545222315897102121446526369518223625557762759691449725432563910\
63216317415697589980470826930867162974539776529682819762111314658677599879177\
66653932787105086229974841572739451868761356670646960672383753026059667925392\
01418380142021254658028947794434289336064499034461470783513371850780533639481\
55921243620428793771204399909351754136844140970430624071239759887768048645192\
74514226491126384037816269529526855540702460792234841007830400815312322444101\
04618011921513591349978141828266650995387945794913035763195351869470456870976\
39759533872437996978378226767227044448998933151469698817224409803082122873680\
47108377881631681778111781774403804834097927039633500656301861544361864986779\
87168200703281173326588861292398685536795169784932315421929549207796177676164\
75242748757523463592596229174512190025351558256419793696440782052772657736217\
17802555463521730004441223185957286447110609311864765346769592826132871980042\
08913713921389150362905103154533138794996456910419674718849331487188192590930\
40131339915891675247035908241287123998600103153180736812528491379781069354986\
66331894195836265214221969631050789729599312350635230025616250400089592639150\
83610978297078862297871811375592658110441423517846690848592595278112516207573\
76990247931569899364917612514468622920906837018164653662641279295120756155386\
31135005183630257461230750276965884453830068347579075703662145683557089051871\
22951243890946112141398303976024081109309265650701002014599663817170399170027\
87850908850565349012842089651421750293951047946843979274054703813735526632977\
23636134746013493363840263591930411678344279424997333698814069215584706415743\
65160127041082472864122058660376740015764634256795971453918163852752409732327\
66285799650762516838948111818221118542217527553491066709878148678248573971784\
00187177687761671780878623814840139132610987707416451601948854278898626479932\
86454152197685903271820583824326020922638183202018298960472414712884345640207\
58383129754030313546162429311839679701930630569654076604206169987219911901041\
84111003064582561458045966457728375299864809625923203968536378324479683922516\
17396116934708102486649148290714461539103601102014631176235890005353973777871\
01379273000140204991880635958753610068815020351154643943230890448943616842618\
67090247407589171079616328984119519904648045031353384740346633593013221332660\
58095101140571051831723705531114745087844255368078102315613284930188503146499\
42325642628186310511870002122834172051040779122931960074736724650140171720996\
00888009423082077030017595735365846395540079272336878283839149306267000747661\
74400512854203469386262297212682376134368226016913727080466226129470690080281\
55683929127868176214579932737821820015844076167303235252260920789383721515573\
60381956064714353735190746201168052284002335342821498328898244354594322181877\
49676806369342038274162903347530112384769730246728860755822664724627193301055\
80290906401075226679363792317553928018549524602922268835597038075802258991442\
72524184964118981677840407840958059194887545640200448566592572862566872566499\
15178348578563047483760230131424196720041881253860612315685948985725436505351\
30849959012071883522843944620288989529916890446907127458958304583464143238486\
31318156924888673452478131718089009969068471534307710689081963007057823226599\
67640573641068293711543080877541910930143993588181737069843408948237956148358\
44213665982489357277612706250824627492092628860072502988259640145351786633594\
05204112941986943072934986526355336658660314524439519418880955632309764760286\
23754538391947114868314321175112462877704657599832204560083514529414951620817\
26773637142013165934088058510199981792401602693271363966827906163632618346170\
19079161666706246821751983888549424833321847212637710211390387948283029428963\
67285629396277802640625868382228849558940480991323827292535329890374034440948\
92167176728233856920996391161201091333945734730698172827928829620169892677949\
9743133783340454101562501164
0
*** a(t,u0+3l^(t-1),r):
11394490226334754019590471848725021349303640467876946793767262265399776615956\
55626816079447896338042162390452126071586745032243238820083726801316620654730\
06328677978843519803445036885065039739800750475550048716782880389112656005025\
73090113197261810180903718307625637373676981576425729983738978163406294859876\
74349308926581774706355196667176789768725404834422721648678563990513616531910\
73280644523843322498334831274052138543555269076826353251709967174503598604551\
95500865407283291349228231461544469586554088984531598027101507886530303171768\
78142444028094643493639561269985174535288754867616651836172135477490760283685\
67835901059637195199337727818523162245165040175069322903281373837814350036376\
64588285275112201324705541409375500929644741303823178999275237057209802948010\
69181420563490355272424863871026850366302378179333779677249215351252967779986\
45103102093217564560895284252623722461136631849903124020138372457857623632771\
98854533220585310645367616685700724655155599708971831666438563558297207681411\
10048461769967606985864050393342137702840127423774928832350384625195446103595\
84929838992058078053743535382530361177050257162048490563718991240896854708388\
82746076736533165979447135686244848869094778332648626754125373062185136974879\
25355869125987987412343129993778925722369078052822126445299758043391096997822\
46300636138755917566216326552071247492656316531129872281241762820785217693040\
48265585595753302009526986571003573256788115016162297687747684871991685688907\
95374517195411077363956937633164391418321698819858611382975063239524441463213\
53258457497910150168752110855703788721693635146153519970583746149986755485571\
45211645846815683974801012642274727528062396169393494769552088914788423702426\
03707974869391439747184288941176727125866007201563922160446836143670383411590\
33484539926394594118634002886389554817530743324085989031200454091856531297873\
96272754057469400479104473668648094834791237934682551291578717245111741759760\
57055270203626224569901235666838488536228377329810177837932224684676861823410\
88035646402313147550563959488376201159772483756361799307334268665384580489714\
43910406219054466866622647938450583941611730478368241456822942362610221457028\
23321882217495688754281539197948326776296857846772690806202367740499080485318\
36180428156044532415425240123236651816321759265807196293758178786351616001742\
74799198101615173271433531898500237089688163325831621815283184754396936469878\
52969775957089502214562356547287680345429598521235023428911133865517047371382\
18411032268786083050957037409224866033689524996440549389509982159438099903315\
27656799507925845429997829117456476943748826840601758294684108556084549152464\
44366307310905249506688554155788082174008743358335109639815427934949100826663\
09524703211686354650283318070458988542037533227263242620821580181398352829056\
50653322127743306694372660350702706139322200419236260153054298384150456199318\
36475264951844299333216550330919983456268310196576227473231375478862890363162\
51774149393195191452466098067888070639498943210535168061664021133129972805774\
44011629407707087870920404758291781917713045147052888515611671164901139818289\
50391748835186773628827791136707856963607352900140672525491632104274469998140\
29579217087936553049792221975767374441452511688764695654454285228365929707489\
20534928719993899796949753775564963391342542081034891828023786688818890160146\
57054972069404753632657166475280043861330070350214158135133767168805853246002\
64765575618874236654796573568624327543866215524727994024419587200228999882226\
99410462141699554165759500301381442319696380987718985125631154300618985422343\
96251975558667233750356156324813248300957805427232671911303927170679341025765\
70528363846175325484402156517039771030316598918173213580899259423462142633467\
04044279876897425302315073332050203737077805489396457447432860648633359572190\
82291723977900931178092572282330658668182318951047681464392215315724956921171\
11998146219161586686656357993189912404799117931540546822600668200355311342108\
86661535568237161474841892513144680451806292919615385238520078810100286610236\
14325501382210963888749104298491069608805774178333290017302687549839625316519\
11377611266147517204251559852791109226582110478616694608583418257648551993628\
80811257363109889418767441335026321203771594534052380595032278391543737747865\
92905052631924744923625979303068976130364059517900402237482169826793654305961\
79524733305717003097276073554570677424924161775496417115748957609058655700388\
00910802925042511415504311624642888860654110137206464183688066792284292414995\
64283265032198149269422116089330298494007413150105991243731399324557957753062\
14499125717153153608351107725882909160467800318981353121959882224889706422757\
20049426419736465487869178644948654651545068507824931553952273303766316111748\
45608402479226856814934525118514824570293852978296003483435697590105409680476\
33157212863567400392736147577596881313419900337358164057109586564014592078912\
29360673125588989675615804655843589132101643074841329547154524842871548432108\
65227215145391260276788743694106402973056156040347060915540592566502293318136\
33684681198565111148195851998134438620192342618705721112622766967194563560779\
02351420645157623458665852358031042825548882470956960123585778856240934613955\
20302030695964330514144776321627869448790276308825993393766690488768064320626\
50376269736076669921279282154825856603575579065236044945171239968335223955513\
21205677743787323865742225389288158862906212915213811120614667579164827545593\
38219797199704564070828843433037950236471881766105568689304971861624168667312\
89437723697886041899606039248496159035872518687071034698645706695672855726593\
83927028147408827310901600517853996686950613550413608062923430310639430043605\
04037599547981427975369440484866889229168254808772727443718043713380391441858\
86420495534438989276406618715997760199129254300957142897775907027861281778842\
41168573967226499769121570359140405120354739736145430021699183846015987797561\
24626792886624413943731752643780825894977560722810222701294008697456639628518\
85938988036407602559400273836491838157295621841762324747392485131130519132186\
44980003813042789686328988393613551654036247350956144895196863151707231963110\
82246650128739807174300341550293629683721061404976818715581103830441557457956\
30379709059680348855259382987481189504892854626859901671984641900462128402863\
82662093331578998497165844201222602320398901656284065063499742038655221462307\
73911130191981498377483950954805727685403984869987244735243892611897245892648\
86138618047348403462763113656068615989267702969901759713055810679399505146578\
04953500593888718236706637653337981724526230560019159793825422112048525028488\
23380869176685690415657080106816937539253887981052323164465506874364687163654\
49624762446027606977760600523263168523022140942733353383698707631741858614781\
97785002527283561620796100362834002890074496583005291456532167214399060652735\
07930067877557242696652731398239593688016529572557641796083256991557904214145\
73027838333255589858314656168267638074896600990669400811514897029846502624042\
93119193589788239892707773098828897509127415221611980166779898060892556399508\
97302134642198378065037606297996256660688077237021516839686924864049492845499\
04803412580061269939294098269520171582808177602500883222697846716604820298616\
53735403968563179777980658973659329019560832058059407009866240730672784473936\
95220134037747225519630974994250128423640960884056306844269825743219507005942\
79137264062918345506031075604942770603061657566930855984278447138044665236125\
12402397737421328468966145677652691586218564147820890150270729967159973796137\
27248180170514583397551072058766080203449282443261901476635921867322276155242\
34378347153780684462011379028167040024345065452592285347454436503101023328657\
04385903000568325482628989170371051410458991080903720865408070160771475158523\
14690125622238768270278771063654319379849737138807700295068562366424418901983\
79720752060161217252258828782450607768120596403838675071365763856240643162820\
77848317455853680601195271487011168506559490422024343465500971885749415015809\
90299595515065699884764168369243341994808031671411565381016966782242166522232\
75686410950935473274598759568666212488764738647484400490928953312104912884964\
91333131037228976149665728000726254269883501614637120075416985783055082641594\
60157156865849678661626434435233973566587839234036804539387894670242632146331\
21724693490688467307263412361276121296568804488126284517748071225716583321180\
48987005812830872777180751426736741761383075456260950031047229609586097726711\
62257269254980481665218200228791298622086544612249051344734442400899456290052\
26474926688180793298249460862012140919886543617263475984554957106796681830641\
24245789386569991977276849391242344674627690070841706962799708635320719811476\
51834184102395355037446652999825957844207756138717955214447273432148422923027\
55319761534515696583317442080097005874773652636225106336213333186065862082839\
53436109476362732946052017936034732112445608229886206680895085268159849511461\
33915811109203338533987544461346356834080721231945806469030830840245618118140\
23122708992815795453563337592357878994287373554951487482622157066364604896177\
47143760217956140817177241774005778465047736281675873110092827633002122271512\
47740789702685625132137478420334407581415983954633646714222102476434688503143\
77670363249909568672502904001677514560940155416142700777715643106157413116406\
99868727337239573147596503099244373259791933621982968215750291598903397365821\
50132560361571826513733750936469707457556474759447748597413886339709525366632\
78943238441447809472965828947336036291579566853903308367256740384278270116208\
55145991405693274464732104374428687709723386613084095232931254237790841270695\
41186833066263856712568542674015846024259502489181157601938251910100179824364\
84120666967746695867813879162577473404685777233638608183693230235688267797630\
48934806768366744065151661044433323009581998403561859495971079491815950921595\
52187078552504940583642933426069936290670527165819351558168526377852674949769\
93886959118726090477720658270225477770937749720819241344455397674240160199587\
9900641739368438720703126151
1
result=O: not congruent.

code version 3.3a
start=Sat 6 Apr 2024 16:40:24
end  =Mon 8 Apr 2024 07:14:28
elapsed(sec)=138843.828638