n84-L5-f22862-r2-t22860-ver3.3a.txt
p=11954967829755864040750301156863060670940075185896231785420957905658269376106710389579025710086670519248895236586813308636025250935869367329779334029446077884826865849901762023100465114654772179108597408969973246253774441420277294719447779177262237049623599968112748352575136505498216950807592651376031974067371173568593778316916282206707309225484241921805486323323639095033973163818604123491326812219486238869210814127974019552537789470072237635392979412236379124937754261201255547259778325604417460812353361077701206636517534311211654558015081788107341270937180825997338994279335767794754637998957497017569836576279442796070089003857158539431060418697980282414923554370093657911320007397264376372982130696869416681404099544291391714395842456928468762921257804872837389439656753059015863255347333659767095108733672550153289351079313561749653897433935183762525524303815977411608052896018382405808984115208104219471765178012012823682065144164234287236298956013237565550701541630558163199691115096863776166119540748318177713491563981253165611651772297812614447866519922165824633545022063196158805050011909836876294924382919372977440177955828242931486025844274749502605584922358338562408629814474961700424317461479047677019359661559482090384305379878025389250487303303015055206069837871675051499822852538921524795961911258272874774985665692832131283379512842363366984626495663131620322133694710634342539713204589993318961297031591643619414507431372559015580783267399900295305713348656672027991416296159604533799201364441795223426560954777937021484700469162007154476423415141248288743156164181547689173935831662266978121034031088524413710177078753948802932619958202953623763559931733811650434381865953188129422100953667780177469224774571671789083797303291882794495161763130999040344302885649359085624921929972257806942270929213042379806482847828686103390563650013356186008710229303429585615286508917220630418800811528236337546267585743170083351762285418740181703350369415227480307650814122451093877919754636630154770216849510427315024295865266321742456608719330543749718367496402992686372923255739875766691601486441749603627720486913081797750251766323242285974343857548662060179424969956309134207834217141673628270234503173634568542076292733665187349234209650838308251535645915876447168374971342621756469947897487201780506689496328867079747517752805977320199549075675008442237939302847933072426359684129043495379548142336679736038511814706549007913066159686402080057516122110313285262176403163792204917423992434700678071935894424881670792502035122551881367392559221608016447213103168576918935526390547482839714522894994068019311319343340876914743542164173713787314242080191749177621957593621363062996401196461126037688089882609663511172494407964099020919630508911454893921360076245821077140795690089469576269169462855558338241127363029694360878410272330795269680917618895919783300563528743180496432711721781756878357744980935486644446429607168592370547441026013637819130832958125569352400884512570580785721378691062360547349112293100975007340808026931919144841926160831457435593177318366647122779722892940605605102560475566276897732915588937601090543589792150337804742261030675955116586470231023140195487362031746260025657034851980328504770605540282426726965644388305562963142465414499462859058386844051562488037966582889117652222618923050118853753700723743487716820412662935871860806248314168406658690710757417587291124048688786194080302172587505947925669815608844239070303001235686263722448253228095298877951601959239853058380645590584283646752185934130440076633360440888729176835929013692535973062821132613821468316652068622747837908704653160252373084730022046861723698437625745982575713572524121252237938881496211670771651504081080082551360200823211648122709612232371345459434302561173155080344019132468782939200117462979397152306928767061238275117990464983570873400723696202495224442000271711083286425384284984330371934384515568282490537535806579396964839885202788534185577676019293073693651611452939026682958931772718821894987977478209005397059765045118211015798733653397208985012341918101092813608216336450955119390335337496537292434490446078483994648655210672812097372073047184531605044602513803939086391993315574659167881623091253203485145008920601802384012708946026179816303574122536925038224034050176695127712560581955618555398722709694264154610559808067352621770837027397454183210661526552880750791107721327077270290194688455001441572755489074522994534926377506424265028095885789879852521263249967876448536775953154764826342008619116324175848795317625001403647890860206628236557421276274739394071164143772022645524441965985630658913810100692363669362764237455357594897039368334141491301672904325269989225504583374145888639977337841679056844027629807388424549707696264583844922088007534364165618145298627623736895350323527651472627752565430445161118860714435744052869983990448965917464302030083312410645017932455208780425328306455400467796917343149055141023462819356902536885649764143504338783319999229243034071074298743266013507863902647084792509330171717817132838152818367466008002688146733678093149072952608330033523497999126141962109508482536211119620339321388532604952131563741650981435563961338824970098911810173618452734175792874354113651097664223354939064203792458882322761393371622396823192912188083647229638855225687670229909634324112817073499435308701380202282210539699580881241530446168923693304091013218108478893137340010094046996276243207091030218221674618692784038492991819486081133461713245830532639289505274138290904927551773163649244035305564410697689339931500761534945452256682907524663438722418996911272920401760187557545885307407006289300110001830913512328703123318076853222056368565709912630844283069210863247640380129366292601840825402725070565775390509886289498432630433291344807705521132772779421156877969116806571798571571254039255177120230892940825357118054456423783153687115493830403683450941914186062828826137094446042050109555005563336743146298897806944450268952798837460281644017035671806814919607004386364443726358741753995467134607718560369610607890645090344418706200623544705986637073604267665705324935156785047787231442137249540047109630357292905250004706895966824467071241883229764387804734959048586094767146932693983320017059821541069108530343264894404015877135799277511012996658371469229161171172355333257979232198048059609999101830882593412932727538352966603064017772104641839199371229359936811306167665514132451970085585126431311765566487615024335538680554802872190348391273150067374898772846017088751758618799507719871952345698135371598831008172017397573780204240494661563910675137170346886647754060290470030999833934684228921583063729270548292545599204776059968103356267627373339849758772711525389242532013043845684309988877444739866405262622874409426466716671523013788313798587212135272005779196589954874401500205024289707089035201633228884360327584890656128968377039551037494611647207327328326876188616525516930532425459791996028145720808083710367563947220474004008511179403938658173996939707534646652271320676620400499815153405093937668225292815781431064314240338525722199733084226388373472594172782538079943906984994976818475965306410420707748508607365914855633075334753184517551247375180447479484654473362572199615816349057786075250136075385707608969509391984064589473982127898687590691867141215119578650064453162050785540065547224487021797531408356255291693443461323354759391035102543965434988949125998088651976912742168073195835338093384190239590067303849837973633368937963122087530153418198288675838274710703056293896959623826479218919247747312147682334951758966734786218093825169845780703141608146241176931186146320229037144159339945900504203334112012505426374101905863643912085665791219101525258999991337815043541337493015959345061847716043223150647871999408894658997546278573266215590525227669322600404518777920976254702160689554479106459666094981247678027508685393137847612415262986169659732099159128797018216825761119142612191777277361765486772340028608211780232203619878176198985817547084844677177709332157947917868078095973173067763818890883846432011940042479548366222225848729814532224766526535850037924495818572729762186677164305346780063792291299903905288544400040254151078240975459740289141156016467114057740519848238480078749728227239086017561071769009256254393004021225430384758750461315488589299258341356854051988015122416534890942028756989749533740167558140707360345184346713345452678812979068704655436267600534502901702368119177151189066469401297440462059074293877515964348664446344827521332810974527397385148795491738714540060847567631364306708814966960623901888123653966293300268860630625493437123156127196053265334812985323146546302226211548975339105300512901607211318501095875577227781466376736228060171506102113425481838337164143247225343949141836768640032588238147740492079148922951207787841172025647414768933231071928461305806131478607275166942746941254834381931113622621953321680998996509089707472656187255757550919278376022931197216164261257487546587413299055393719344267240246629647365690801303838192066236679580381046092171782423457678680361922192062055856771682815773325804611840480962983888592508491750632202702939305312677063664754175730404409369832691324677237347371310530693263555094552303998457397054195494459953978790582934655851117137923253123341964960210428346951361095282598029886657304697204550101204761391915711574872542572788033866749035186954403864417689347816862298276577331467331762737201992116086930588028068703054034281410349467745226916559733277986458375828622468311584931033848377613068069359862715976333799416901101883914649402183553942720320632076163645774028441872348690597258654210135861164144446770892414423582743128824407410691696964183401125587908150787247316334157145116154355446255105034494936477542080432461759119846272001811994231138709893747731522277061829654732850933904454341362623621361029426557859495567505364856571747790170931223453379822688566474929883591335454997208591482032271416546319994655894347387312649646260108882266339596606126514212708834882567707001485292014583761407860593253356257766092414082140090004495919577216492136847400252374992163918952686887892386983772459659715271210330923221792591461818890101792280673384668864471805624529699026654978538266688000153650574938951978005835381831527090102046644516190612813388243615522632224462177907138127211040361525721844830687836526328064124827195065070248150242238838118979622165644431141030452451454307797408067187333779936186937935444286518482862983457393163928942580702212612683833855128825422156882091316402628776075704654069597071565429736062696371581852691453314784932871375551583951543170696096214249351902608685717877049399829414106630625037851485482017390512504931122034366533366530370189629240027772486088682395837794290136679101951292722997188077616178793113674692841482635427279813340576149123847142606157304356333467342715103673954169021042947043023948783230431104084965092350693468894497714422801898718213848917494747628030893900160277389114415604336521548786686976459480177333545153647022821921762104490663591227943071334392911371489107088248512576962231364393039735893228775957391731280722699482353556807058173325720743766631201136784697670650042860117792676169423487229668923905219923712325407281996620913798452047992540387150203835248360967521488922941428547695169362113417963339322338288838073704420970341136978684318347810011333584003350371652829380457973001055750530071308017033969834396992193477890874909458152313248041122697682952223436149084683631541218431117068767465161088513803888283604236122277409955239856640376814361716476967343685800260015648875243693074129806766190525810065313627022083365265245146516982811673100424508072242190030339720993722578047910225637340388242005455213055294529582191682305387173562332263092924029634034828851772149712836639286461162771440793760870329692358037676858688761890713493576880191503878506420274756960490299005049196650645026857195958131541267986568593677312194443550822071822939250326296946914477231388635643719738546924777292387868902187899838173381638788476799686115280534064929721230592350540006423348353821335552275993884916398002612863025974781185956254888101326279045223516834339978972549268694494569943640694510792016871369740150337613156719751744895315456661153186571311163987951316948007748692861799291975684937236099336218880607829442631135740256343130695873166009456893810204467516672708387187890620975647868310408366494150995746771693117737226533853240111707602250807548544992743719718130698065896843543909852298796268514527977030145410091064180969042440825007634079984559459924121333041232653963601042768526148465746569754488760294775794463331267514735088232530713626884767655279040583863275687829831399523403582857106091333904188041031918492498049607923179065345795960540335463059920490987020773176267335560065435002831727164667339186003988236221581547901631399823600366049203974015211534067895452409353646013657907414764857251379379591149524948855203341435550117678145287173304265349441281449691124864607153019591636112993474599565245006280176240746226008277840342450948155055175290596425427706699647971553864652472933789551052437256073469071633615104835714712413085696713383263676912776569855638364658863758410782011613954445529270436434941586046576048899005372378979590549244454235154521503912107941105004722400358296478703330689039261994748780679700042354561594558159066733413174489740903515346713582725959485714971630439346108372608390246050980125148142194620994311550200696423683587547991829319960600677056127084927360832308496792583494811207049593583649963159007032856190011280524357526434930507677198426821199699837589822113628777706528715505766568361525944068902969095069291468014942242202680082646034744970077767616219252449609116790817687190099825387022728702479403115774106044587341150804446233512463753607463041724008576496825603272118287546951350540724662402901257655737356494591218070708892271015663168775159792260550418337964943236292998091375390829678374166903897859777587313763030422859042351429910374341311305529535388926383690082761751528472996684952252578847075312982635081682599273298331939439439023706454466618676226783483155851072891097103719404149221440609285270557982674155448772678905637357987570198646228325965099328088162118285294974424324654364356941606919992971499520496431763962412500822094696065700676984101862162564831158390077868122291086124486347724760080011278017246367925125890706033837646845146905463914145114515918023875581548078528311886403840910973714241008268905148960460652829555858792161618233981790505647508786171146620596685458564110307961503823747157186051004879897527219237458443294525688567341739273169381630273712598722204310905033602291190733986705270420857879981908902429969254022535861114542635785255432532473862572173405462646333089707925347342259905257720792202129648446823855946070112657061187384831979479764442124381020376511994635306494095671022410304005168497554011756096866703128742626332416630580511846485496113579527536654495706557182436253955835948152139634652801134784877065417144171435824628597790094012819906074926819708438588316516096433000841016372086766280491496622703346962649590304934402050474136487718844259221200673461355679735465345929655692163316134643539188340743587993139969302214945060566244645285542812614704420037262350208132965657492842262625387246432900797473988384222082336146704102676658511098000316470477363930204105735092931473523225003452827223808860803930709057297230090437962644028479153403782503281046280070783176471138857507750648320549532758730827953082518325956595744397897758497475754807474409264991874919514045403938834877072025874724024302645545350430952336373625124290018412084333668026102814111257334504925188300014634804615281845285129525832526319263775366081290827351475908641714887878575671154174576705688893990116300765725559673671138704341021149105529154220597240894670269285848807072625277214683592319488525390625001
g=17
*** a(t,u0,r):
12504896349924633786624815010078761461803318644447458447550321969318549767407\
61906749966089275065736313434441746980672083328241247891935822694918339480059\
74675289016789972430761630865099288916993475928897825920155814480657256100502\
76542377019416299953906285566645934776793592784751134930544741913339329444874\
47024755274909211949443118821584544985651705020853869419652649340553592935425\
99131719278455815826058571945115778608244519545277856955605666210564651992525\
64684890957216513302433728128582220664009721615687275462141797340889527390667\
68377555036027896940029114399321658801618521311331335134690954188037804905878\
82971646893130980345878322448891979580873754060100378711179661752407277375385\
37686139308708925409848748688123328795733258051209947178326015635663896987909\
35388096369973059296509331100811638148373542148746034066122896198559013797671\
58962022156016984217915123725420233292352279964761973845076770135674663762005\
65413571440140795789064449168707989846493566033812545563838706876906391319509\
86976103962274081388831217592439081122978775382351199471246837983858545256668\
80930781031821100823124576893726044909045336641344024261417963421063343830331\
11387979725441828786822136279426785940809938643836064707083870162250205991218\
26654198342735241455715600971925495374774554905041377210386881470375571191493\
65761591761534270146350063147024093224149704331120818659193144636356748569518\
44667323522296540012001133011633516695044859225907574773215696730297499297700\
29570888977616269487894127902144578294634235396462720611780370418275869772212\
44729966907434594835823388922377457100253413477338988828759368799187312591146\
01596518596536740845224376630447867520476280289490456683688593566986354363431\
78703478337551759753649806563280911420196869138165197924330940304193920423502\
49962001408183892296035636683387509816660616153919568423292775810588288056641\
46529577913970570565110899851387346553589688327412779418065648858535209073395\
89468735590718594335054800223006170448640832794440180275157208384419630406334\
99151418896468245879069715154134750685725426096127204197487622054124012375303\
49946077725503910051959415154818070085394595629311083560446763347574111431129\
16367499590051494767851857429935438139459113019061517066529031962175869501180\
21994137859672989832947768704311062856280067637381202200243823572675655007716\
13062409997213159994965415903569435052276928728333156058830580884510778937993\
75797222959897949616700735688416700389628335818305026227706720303197657574016\
18637273876963842365177093266463436254960866969092632449455684262276489571287\
38189267910292616945801985203784905914331457206560604512667050341390948163795\
14819964003313455725282174510372570462153069721588056963979256764292794576389\
42356514983378354217420172097080326864291507304475758819335123213818190417426\
39753128846689272291833585176777551258146914021800219221729060301478817144858\
01185208623982936513209333238945106536679926861646098371769476220125005851903\
00909653690983476195926233132102651588108512741993455426113252001488275018645\
62110851229132527171458583619857678485196170787425504654764229704477630463475\
01151289042759014601587346293727825744232563502862970602873074070859492258925\
33437604050380870490519494478616502046444797806852065879868372584551714236159\
90053395135418356406064030167618859447018823566438150575072638877934362487713\
04570201706422485939351042432102637095703568815179415164543092196640333573662\
01533649904834522587963065157549284703590079960725265312215302506271268510740\
67536939292527831853680872876587682626337375649364886299066155287751160694502\
78648710044032015849502116961071897038174832239262782371090471405725585921806\
37793942384525050672056239822466276030610173629885657565302977741963968602308\
29840884070045037407627147473268809766348722770061079383936354254395060427350\
56828047898712021403984401256234695440332286627644942131304749034605523577341\
80263728151335771569862278100047663322842097931176009519620936095690433662032\
84423485102262453682049225222519922116806758114249116180555083559585579774221\
91037504263426388770215742444220661964532451423719364872252547540145348059832\
29096463337430830341942879276990548822907630213780078864770065980942584024933\
50363761453851188407355020058876654229438920284366025008091093489604177753450\
85084546167933094948529367729355754338408785353853217362358998233961648482310\
35873383687255770089470639543402003057226455592384508423722955306577370756383\
51956774313265327498676508122824723543644123931507885102241571951052283532990\
87171978121938829653621432573724135946639876516946764699988400835374101559567\
50879378399022357514682156938397761331354390626549833774061984376943855356872\
18566296420969669223845365324212398153451392378304044262303179277511999901549\
85792423240872987779420935659951741629538239629345885290077852829207899425029\
27547017885040558809449172365799823644944287925364384099234403686291834402456\
38530328307299788279302003254009618349667659923467144781534688757348148384324\
89340855234888931557554093391167751054210904732005358238965329410553836735271\
91937882136383437164854562501292256421688506929647593596168367209487078480123\
69444370811801483427285433930308428313215065578907085944492366545872732876831\
12287493017240510477992961567376692658159990356041091872346175344160490155994\
78793465744028790481567776292662611571669119909096084174667170270770597861487\
35495002202242566069303060485477503022006658880409332901643691587192224525761\
60177864084669269418319607919982614146892222165765055837315810495039461721760\
82598716511526521042636694431824408656009520551387371406968225167486522865542\
19154729177109260929620373589783049568349796565552943060490321270797956903650\
27076919147474024115618519299603154772857860791506191513553389582346699070838\
84702709615197325686118631200903945629570318376153171420615255033712504238118\
01058473341058815360531433222746668859975104880327274530094355696179674101305\
86353172506091526776151401610332354548496141927717875672280654660225288968524\
22386217189521394007905599844145945358192502333310286471060638949813246275839\
83454599641819312709928405908926588137208137771243874679258622799673614146612\
69585361476450026196668585222776246202237899006397832776988217399715998544408\
84755630188892766733537283788915049234131812983925565190098583335496437527671\
64821055126435691597906552737844573331958287522739055079546600607484046044276\
51959450465655681370258504628367858784627687915827035205906051510319270992763\
30051172030668049625896214553638025423059104939046262513781277825447607095220\
42247152106782546045315454973459860323804311104417271714970474144116396933874\
83433951526428507498606215360024959869237723454793019786217409363555741599585\
05661934801828434335507470638316524258262956797034519758846608169935140026967\
68195758726636110655938232513482847676256255557147688485643862585788248365807\
19790025990470352663226008418563841307242257623332222389349451804503963309279\
86239692144554070336151308209083574130409026537956263109009223833703852193637\
82978864385429912493292885690709336917030942427845440423965255561044471888792\
61580819290269365651983645000079893408124039827580142774493892280665046172825\
88009636562853073768932726953940979054209208061008022386523335047305348316213\
26706304745752125859710505300060304940003304746938992196800151831005358604754\
43874806354094857913725052079814390111444423471164233485345015898210682401533\
15605897853057820272198636930297110150792679674180075051216749085623968134248\
00217853140643035111341860544229078323022717260987844998440785794000729967850\
72830780456284376364567986299061121039982693052042050390910942570355654047543\
54099549268353473953968834162197665224972629895331436885064757223595398792045\
86384126141127658686615486122120968271070020709050959572852790669583411927396\
68748116508067598731059353337153204160641761518019542091399093935453554423901\
76946934749346927109812114155776741113817038133114334073876364615076893881421\
11440023126641705341162418460081273985145356810735350385071216774084921222188\
60258636508353346407977572044872168105479974613062317235259903212040669916386\
76699241895221228849863925723041391651542507475323278839614372135220900096883\
87939028880954559864503367884489284433607591068448237771386000707105786756499\
13966902262622707533124726431386339273194672673669969948493181744244210584202\
78400603308883424416491932246013043965837612574501623722157256920839743688810\
70383682042095082206201800182457652982536001064407024225059269338379463818047\
69549592536207981127801229221526581517989892106282666215934350203837610586506\
95863359101590900351806770526593001437635269937571227233137917113958816987087\
03010876689587314120279355657664865640084358695408903646555742407064817420455\
44081260137497734204874279208122821963426613523082130904707171554021438264801\
12874321286172802282047041443364950811430391521462858537802594138300660945509\
39395382810643054002900673693836597709770802361259997474087297102536554714789\
77340696334608186593882719584830415970123717052587321352662320982462211330055\
25567634999448492625631744783249503485078340163983718695223982615651813199860\
32288107817275331973730434310811941830434103533297974611144512578163814748901\
28356684107857421241168441493673189965857061289691042618318022529889879162398\
51430872811474677638823711612840272745133570602085933328678140030122008449951\
25612390265350390815105153678628901709982386437318688487205111861814949749650\
02026852626772276701569534838010805091112370566559753926144354071327595940586\
01804159438343073166795311362834246194908055543064421809030578164379639972998\
88714829023823113283753426929395077359863394519858355225543261507354721481008\
77383546111673910185391783786140540298326920055041640091124515419007855257057\
47232746839974240854553811516671734796337501984767303647325523038021107776950\
91322353465487067549312750330151583515024535837577364951925723460692885528373\
79149745579678283986608170355550901613235500003935920051389534596577109054886\
01271723018066738188505620768640592410653043079436367801795210323636106116399\
74048188518794059732235294532240532776658236536885927080186690205755901707450\
71441006548736712903152998807389085059121805000833386649344128716582152355361\
54472546144326221805430106456233326651299185341447027318777684507751423806639\
84241803459224510484735436785025992804062173686006145689995050669062559046474\
72558436036363223750868325806518188110755102695564816071850138614376899410380\
93957773362467407901639353810028041028218366733067874380908664810627482181559\
05049692899477006539155074569246038063479565153381824672452684785264074973517\
85326422120595608883827795113381325153708047472369833307468069643324946967393\
94145143928672902124647513915760986675169571496997751870681567985368574395039\
21580404674617915260167265039783458826956813314156548116640104822090128685260\
89939367222156715553563378959265381419019047608015795364794739390139076721835\
21850690500204487617860463328274829663406410521882550587291865230175969037287\
12190836656934684754242651983544111166040540356724806840479998442956060796010\
92260700305042725903093487287348659882536846364460928625078605925168596769950\
60189203150195676501490136787221360015400308745773766162654908882307147858717\
30163161297234116424428452615774985294577606014307944155502494007155119563744\
31729965143175091963594365854182042018284929870389797989623638907679376349994\
48316832111392732169676422336944048600402030923760169684654758331808422001972\
44959113211669785572027477413396734260889147152770635189652931165850124625094\
82433497682927970379699180927185492886750448874885953195903975910431505445458\
81858175324467792538343778738551552932273196574510143417763680257142119425790\
78592114478948453930768558498585438867144650030983902170813180890045834147822\
35543490784149534707197636872350490295553977787743528999732831805386509920006\
74464232567640210100630440354435653307717353481594338166381140960166580461011\
37706152855838077942972499691434983546199547195198534997200430978953668599627\
12469363837625892707027387036485820650740999418844493768631428141668031305691\
77156073957806728527592814596965746980926269722055921663139507489864685553879\
54159887126794455841306606472543184032512883330846520083317047837710871688543\
23072935719417274673247167658343863191648840719959866484671882237809711698768\
06896036225523107330547251696211205102426129539872878813037986087196180052865\
35054441320161048166458288449647452748197253143361928860325160499967667566233\
15359147753139707752761610513273344205940656644434895990568494911578959699216\
79843081349147078833316458919109254738730224396529729985335895405276702526871\
51352881941551123191001153138954410489156846151954344695778062409930825164710\
17692809834692970550454089686619626397353209895525313329361839310295798524766\
38491950806309143611293560459266907358783512951709119631952432683354810086445\
05820412902291227126453721466967421876450720986369470003643901480147668532971\
53526378069091938674315295988988764530235170257472519089436067683357242372874\
23756329958284450129619866142420367885601716950877742991051064442154859828874\
67356819911264635018643220183913730286171155844040684942831052342403096502542\
69514158542309133997038327626155551558039637691660837908205849285137419117443\
11452462765690643478205524046586209982036917701877133539638609973812078317782\
45342426486688743870400849369852848648928761399658157589184087638762198893806\
05076429206899772943317149129767798414819635002361687651094889900471854714835\
96195084126517145096991299716294930920649063958349396307747781167236839007350\
68046507224590966244302871427907834383803150180516268985077052662407531353622\
05786032543955602935774837619736932521090495673557356004988150992845917303257\
51994534686787883082007089308340194305946876450423355725225738748884978614643\
21356367574751799428477972650937311030349554454974886030118953930855701481029\
03641903183050615613749607250567344247887554362958534400336644775234323870134\
49265653380622911361631953008008444173548257742227934556590997149226383588437\
41450760254037086273406341643312971015679581022635728774111112665597996873434\
71550790127489334241410196150131548238367453881714270453573758151133062516247\
60035786588078435793785814771613273563301961298223105582995956862515610116255\
83894016816997339826568792098782754532460056197474040777379836295439998839870\
05520865365321879695137208313533321552338102022224408757049049674008562687731\
23930036498771665994162221352966764549984277839548289594938971802175757264185\
43247843588465117360920838312648188498439267625104683475859911052084722908125\
37054782204281339167602145005591647608621271972009904369179680603970084968168\
16785113941786000236631152541957897836502529738582992901406142331784175928785\
05096094649274785812641842859715428296601052672744952868907294190335019365144\
13298965805938212773299963952641660935110437281347132238153168607387024143945\
92797351731852663033782634257092066651479965855077500937128602173424610767119\
41747839707572510725811597031377182428967660250493382113928064411834489913320\
00386089957594864342761227537775331958933783928600200453425053583360646210254\
73138315463885305928240718894411779894062484414962968773225714726647871437077\
95587215391423828934804185803340602509058812828321637804401767138057846829986\
98498141042633280332187256151328843833740962175437345341502676337907583686891\
88797031252027575293941054673477009229314714589613845447959467661539110951453\
75904440578041003296751842419854002828676837141991004417793040824407890116832\
53335229189896867778199498082335897641831770708207773751300670615505976881423\
41577918498962981236094524913997848026085083310281193226709934945989072063213\
05293353611657276104068400911521673932902674598108925653789194460356498431974\
40895403920258881124495310717814329481126563244603892431416895059914864020105\
53883596395286182320911815011658116914925200212814173390649613294205672404365\
50776143846811880007359259040213016755303543560375171892151746961815308005627\
58481016824548402082252994990903292103020540964380043923377272099015202726660\
72341505831136616506009489354186600110847407081219643834953147447139758251016\
72997852197966039966559037566184997558593751046
0
*** a(t,u0+1l^(t-1),r):
12492941382094877922584064708921898401132378569261562215764901011412891498031\
51235711008186704057069261509552223321990752464638722798348885961940406077115\
13896440748131473413141399860448142369271684842923736220423351942912841897729\
81822929240239037716856661966677822028441017648245636713593934320687953412900\
40287637918049834117751490600913814063103280828673320787320285431050195619044\
13090484365187693631196183253007637328504324019899962254883289856634857870161\
85559953202955312046886468350256616246548909262326197760935160823355216179013\
12576046857217162812935396316721924902190587734551859670891058438336047922221\
20177218932430090307306737054581375393893951235951143167478725173294077301412\
73309766326578228540432067284023784504341543655367490249857252714406092115071\
96444130694667157710183796367445661438862668781491018737187788267202838832281\
84622670318391728974876963951304152763392096140703884003924689093479946110225\
53400747758075651624830161932409033833256000483111003933280543677215276222646\
09359492008199249571059868436040955806417610205121418209802051331866328674205\
45480560399859512772624457795357281959801507447614249859638405138634028970072\
67113230222836243864463797717018156126334976943411747245604822485230846329658\
78445159912197253653176675923195165073269034298057590042881731488090317299341\
17801972648951541398600206490095771911315909202697184989346879679725432366297\
10972612887954000298796543018314555398013267582288160265784324171281918514432\
89580859447044934622226925103002948678673782016542584167600848075619774294418\
74515119902742974764278624688226044617365981915697173351867629440870689921364\
80562487508012327135047297876499064587856322086536832920128661833174703929049\
92108159524609549658283028545533988942739701959256818194001752024744404247189\
39971597965155035802444780434168210094082546731210276292868977745759809769780\
43139014263957214379102189622083916967974401818495558787646848047006972735849\
62710161273710259158826258348988000113603891271692149510075796139310242614359\
52785117348766077383965442003891792033062208671561117004182184556940337411273\
57259704802248170176192723553331628335790967908824170478649013095807788188843\
18933113835185288749909360434304524718675691304894154239505581644812412646972\
59066801207799497490851260321228547499820908872909518450530397355110955528741\
25860629490523663666098336156051682246299608528784080383822138646571476090060\
68554586991485045267162780874183032416024484636834371326915413687229017366010\
43476052773830989743413061628541387080720942622085851730096740013459781646267\
03066716028925224386580377187337692811162880287625078122119567501676425268801\
08018032871379121637590700156156153090774338297380037789061494568533432440083\
12392503018767093840539273270983691752566563224834768610138818124703641478212\
79676883025612131496143495707201282088684058463461978094366030607117938734585\
68105681655891174623617354908888753662361877218374926193593788384350507758354\
34465189394911790272220758721842515209917204412412199732589243156362569210788\
40732160166771979822346290518882671144388143855506359812838068873020194870297\
69314624330481042312293285733217569696675935813089679043979313961805133279710\
30059556627770563730968328613914191815042842933231748417268116014203194432874\
85282789595135929679098385779313296483876358151938687716014252033882799999675\
07911912794657263677458737420217261725631194466407733123276798609454252948830\
59849583317927415013787192246308797815728139157703539437155823249573112422298\
28466636291292145589958424623359587327459424047405646446007774642160576410856\
03430116630988008186166072872198979354581930870009185064808358144343439090141\
17107714906145963625524637298735428730389705012648673189045517916206832877067\
08588646131163541195956375821764728686266171409860256172288231544782828056005\
10884617642594705895949999342987817146412274881347002416074056157899399749830\
00359078315627037562625316075095418902839380820343145265778086252386714318187\
68855202611724917875469828257680036914018223928671440161262009865933968321282\
88369208370249116888026243646472841063992745447214853051150967666780008338933\
78973044156419902205860715912480997629004276838814705940425161520157744078446\
95153088641753816334307835527271609626925116345279633014775518830436296130359\
59764197653432202888349129328084859735790803723495805108666494411558243464640\
84596258081436213903916652316305060415680349994303834897505246936303396214551\
41295247760384576707568786795747453253449435476506443529486082876529288998064\
49421335695436020065042444588472009621643088872093087104672924352739900697655\
87637619911069181264668120459489159265072025052337071026668043665302417636645\
73041854454984038564931555223520034484088628140848686667406139909177858410248\
18501990713874065228962598245362877631804455461440200887314872090365444454259\
64901179435819678734105530709618370658668050556410880863957888960014308748151\
93369209446585352535249133270019169383750195621437061469124043739415693175544\
46808024589348884777862359076262236951864622796315104550400352996203402856939\
91945589706042726421867129841157177782662036081722500294451189038158696951940\
01978362809113336693607340781235475704885032055409086818350404436364250340620\
00325459085101657217497748411002527560016433959907209375336284163143128310721\
37035537000487653970591134059113220929631195320272856560733454046802365932365\
47411354972603710843615390255567868697893841806909897592942311384910013986062\
02089739931624652525950277510881292336044332852031054827911110867415141012657\
80416499765339593202251764513629547844674903418929066080575330114745139956492\
91602956013460016894314809179085360228418295804017997608233638363273293464927\
85177228020181983939599763545014624032157231861495191330462038349476386739031\
16170489051511668586992322758073253520937841972351877757689236625458476987412\
35283082831172525862098802789455324052269583747554495108937477727062867529507\
29196047102166009064128312316249818836690696285339560303569105277184920623430\
03244356561233132636961139423644849808136868965878823482082569505310556747851\
45994317997802277038121590989319583750843694044885132925263155665065895586243\
08524572411940991754797965160421775603574191645971066206455723884037493765685\
70334257693492295637233710859862549187062853315680894477679751037852559480322\
05772469031668544665212569417827513510417218414208711814652196591606910244999\
00858150799818534447342387511132325458829764696022229244906141327231011651470\
02775788501002018985718493507219633429346811339678149452104622684123087394364\
57120720795016979557700430637921179769001438914068880441820406769217624087857\
74558775664548556726619020125455146332077840353975818046460031343131692133428\
66555183430124965469029930035411823948264617450192230543015970877229657101511\
68990982666668007299670605140142997917483544031758445953630818740103938376929\
75316039349944090375785065771892174154940878791952363668135924603926043650284\
37495677142503827439080417857067241841565423262107356547719540063308341818691\
71331657058101585617104269165192406384605482635849412278244447477334104324845\
39533418889418247711589779182680199437370575162353010706831852230683530832316\
48632954309924915954622083811537593796987210730165758502788609105577522935413\
82799319750775307383745198889639597191494697381024136563724817077820841053507\
06356761606146392466388794859852808476538644863639219877806445137313731462334\
74960003113236541285322730011625697999596893173535543430708893684968495889377\
78420321732286779819648417082905723563631682158443879563451836668002641315873\
81556563648964792830758647880037162033252308068244687054017146258146901032201\
72116662509970726846938271223228068986707837706138959411943280400245881202378\
51597908047302488840834782980512822029893089522904639343815646510243466026892\
48414705306817056093649162750788812952075182396109389565499094801672050069768\
02016775155896308632651681924270262393822949186524358611090631952920988629144\
42117422722122927420186163757920584430666250351069255403823538746576235829050\
75497394982054729442004362128959288403658292036950402974040725484304493367709\
53298955813103426527827726941279401793367036626876507062521050555741721416102\
91965855813190740973619521452477344391128042702226011922656186174881020229963\
28963109813040850260148507763669908738516666294440839958102652889804206558787\
67618193554286021525080372081341903388432414092116822934659974648448883513199\
98614672785840689202180574752072894232074685575817724966717912484327475802925\
27896103442005105428826275847509825703919156071764231544599804935956312679636\
49308996425585555322789746845401229925744605243558252828517326371020041827443\
54346430344759792787468381130267480491288866956694363585708174775700510711640\
47385197747308921839477649878095935900364064179369815291987566227487956966268\
81408858263910686792293650390359821795358278336451899782030316323636893583228\
79223876708529628521062336529693350484426853219423228834054708864388814222710\
62448401213829402476680154843353522647016524206456740739514460254945517055361\
13019291180137356399412211566439513519987443089257156822666407106459029439631\
01090891653014074486183846897512886436714759266057727981497146887362510910709\
21733016149819316631951263251327422097820869070484837032640854248312546581937\
33026063181635791713738794106518245715740517475315296681136382726077914751624\
34287713028003019504574460415073807157678387979921634291710651907836159166715\
36441740912979951389235338341989762256417234457031494123155688340857875485575\
89756545519185957418069885634953907527417703673520383164853684686211016990233\
11383361692060376081761310842464489331794691465824073815193793762127804921275\
49584900274091047938560625293037155460565613248105653819526882039066165146869\
08086252818138701427350605195910098338597217566043816741352936495919749165309\
46875582573072643966569621505744172823327571654176239364017572673445569194216\
64638130144133658476104720861903147405192253828023935424189353397153995183896\
63794407795296119891958292259301547867239416843222757507529631728680431062751\
17476440728623128508781914709551966301728352945550472082978098723723630290904\
39441540959301974171888034181378196832487845340220735228073245228325381655213\
01552400306712143199497572893655665727158363940546982359581912342830055332637\
31866811295305557797847544398042220344402458414795814766773258077600740156372\
93330368697896337303687763353548285445257248868896016056485081120481701609797\
40139458091566387435194191903899907145782211506745629759129593429355371777943\
79327848068789170012827010444418842998409317003139585834333705163098430542376\
82281176975164829143021076380003331535014253927941181459181771297585630574499\
68338121802546063786096225661539417854256407470709991113635027289397858740741\
85517708303036062568713950254850587451405229362613377420543890572738226076575\
18151662282173774142900316455480232870817308556765302252591302736802423684816\
25558290222479626731036504950331928296615391008955320615411089068388037900540\
19349354021507404940902075834420264023434383052368473373137283339282106626989\
87965996002647847580050376878852150647467499475011157182798416053347211878201\
12712922841256674898716245643065316650184820878904001567853135546855611388489\
08241399192743452833200509544440592383206116907219695642925531775790726524008\
42407087547435918835522095905946686337579112537817723612960518794000906582929\
47888230933465970475441550040254809548202793800506096864688549193823901522047\
04571963007834537211059955924473792832341451983408521771689591843511835787021\
11991400648814272511267346146184359528350113837720670257858178610325930392451\
68778004984769448568421843959642803837691673442029732190786850734907757934943\
94960573260517336862001093337496925063256366426747779893403225650189193771007\
99371843087415166127171635307462965926246564807066909947151825274023807711670\
21811781102470381983899436109354930885817050084384400940600661857910207057128\
95700697642782783413390308009129596372637214932105610967566396150101896449914\
28805435191509615562948010949452851414937231732975617579560078783980012155303\
92091871210237123624602764104999240530657697762474606250459641803927912431935\
10609065054971516590980309525628706801124247687126781536392270545323002786355\
33089118381253395825567199046815809785155868596900631430671239902974329565212\
84136097376359127304418621436463393242863580658859616022585750918852780263139\
85785746825591104525763777657630581378457102805748772140573415604652210905079\
96702016636740912621066809738404058026011459075941172380634873023518176754953\
68485678785715771874584798824540316636685549229802646113456989195520223843767\
42986387790555376419308035401727876635916734444352093888229517417187105446579\
47886220150338579565224210059768173599650195354516206911264935066213297761358\
38646356207067930280881233919630896931098251467051653934407545080407052141811\
74552898167202994595740094582199766597410137123093782173812501956744085675865\
44392987650287835482466046184027972212328635677876465055889761691308143670796\
91993656602683795779591548870773694493741677068515527175572048128156623825214\
18152845896053100950747767774560084272513248429275827691451672751253571553687\
49180014987297366182509610295729016613911492722548351447490547325973807818095\
65456810315627841715798061786503431578612408220326581786732645719535011321302\
73788561834215810080849796932596775179857127784553321874471674553065485510542\
37385151549914209106851262753926720213658239557808760607451395741867197109946\
06141360336721239604546757364749715881527984547299349083744198202449805700460\
28784512475810286544260516866313276224736416767341779244173537315693948627662\
57214535380911668324937576780712327423077980859337893905556995972776274934898\
76514616393588277075236528037490920697623791482497520777113668252949142115011\
62349334718561788147953615124502380522672356028153686330281364108742072703322\
50770352606393779461155200360270434740958407561464310180068636510630849373126\
71589491188098415270464044831136543175294387514940909762559839408165937715025\
90646314020524622519798878601588962439182755419363610486564161315057272211031\
81425024553753684782288389079242321136801137004198291227518716317336568192618\
30054872834170139010044145732634675787428823667918876992572442563411866703142\
78364481428070956136486030347254281535775103944895193702066853660358316240596\
75687671421377977324491761651665698873989786437117119647338677733593640543670\
31077330918944924439674494563910390970108575853086006335287978521294136081332\
48273419263810753003979231392655216998918771193340721063359088957388657207448\
38644595988024856051763137218779418500008823337237428361178552802245448175655\
57878053603409531785162097902816446691343349499827177420620859212920137519675\
31381853641005880663681382206885872437808891054510971078401646681548848218523\
53630419949527181977149581577925942330009949291594410314407324277934455287211\
75404620038036360296656647035048957601143942943170161070075897964845810948030\
39317870453549974864697054395591926996435186387921208708465418078744781987972\
66160099431822785122548262693092946364326772662894081714941855635384201997816\
62934550343938952863299762184187676854010799439422851212257047695360445173753\
78956634879577343438690606275803948013352255645885383848565818985918212177185\
85019653336091565915043673688469064824339680184829852659531832479075932077248\
58788621088306707631136139707249975759688218686564501427454726296661922508861\
54703767116685323561286496490198310665360702498451816077049452831267920814617\
58829172565432339223918236611893893915596749894911208002016444352967252238133\
33603178615120760412733057872971081440974103307116488453070632904931721133898\
31770128608204448880259540107590964875605444507670963009760715306952715928693\
36267396841941234010609559942749497426173287371521097123165062464255289580315\
76298621637738107576819165092908921774471160824465402670390866053962645948912\
00345191510438254883069240628128683087277440746263914557646821773515293370822\
96952832296035449499000363064525755494891458229232453059205783311157635611243\
26574448942196715343001832098589863399460363671008152779661605241167349304314\
03712003390893414689344353973865509033203126045
1
result=O: not congruent.

code version 3.3a
start=Wed 17 Apr 2024 23:37:00
end  =Thu 18 Apr 2024 16:06:05
elapsed(sec)=59344.859177