n86-L5-f15126-r2-t15124-ver3.3a.txt
p=717486994950335121458161406725013873221180525858962594517279726749730386344322862899077025615453980314714746016226017177924333372483520028048640634874310679034771614372482381848763739091979493568832632760446439205638675902061522947645382704583376016903159472857245671195747986896986803546770012036050466230129927706127679682054223555859374008314309404189344602423609853703476095265325011411326575082361779807351580982846361879293884728844798139624119752807325315649349678121461375433830455074462174567020228941176058270244931786290210819992753370736428004991038042587680880197621036467807276265169091251814804965777399452361737218983851212743097990983578494373896320060275643635081665188673924155183372282898589625944244994489075322512769117394209245851496969749530631452939003248162128412067215629748455828132132502574518407222729337203276522349172324721548319565091580021688795620449158472147952725756898864565401683670256526758897350137379074445647544638898980802002251236861209576532680528041271694122246885482337724811893545204316080195563482573032918994084106686573338040280398575227767718201542713116933819558134562751941188995308401567271931632189944584725703035356893817656746542050415738809070662933284170823084565617430132198932020916638264113053799447553561950274446635892525800710881647239280957872295427114096632013409940315791431988866321722756546451125755305482187968880407826590339394681947147903147653074654107139147888696682284918751906387116552732450985435463738567070185239378276059443718559182864574363506010153962829585917265377749649707007234070516869186049267796284342600263498324901711864228890541777735354023155133316180612614540362876597907384316154695611958169722528766703479634216046225590432178352409257141196011036968609541433458953517432575117063423748420289056786750144676929034081562283693773524793352292562478675963627680236432635298439480781132707939109015959587582868763992314854581062503764033172274189037415463116071339350259918043045620492628825689717879893696964685990268776928463221276759873433453788500921216496827209641162577555578248769490336235092335563917373005388805064510817328249893513729439875171827696370112869271912088275044825910148049390281718414950273278228690069564187057297788432858807791166430077757632181585860208122779522132817865926378891081496716322948345119772092566201127489925305220617109368396039780504539319780513126175196534994826952111787427053979981231799889819415073487678929912364758361147058443872079882744287970125193692117645839732269599511856389994122582283026214596207789235809149187173832194588899007977636224860319989500619959305325286736508817871858783370586229335673241054388071690075203100511057632374879944392198090634336841787254076096015573097752519202064663726209387525227129920316546107148617475639217199112997050817444169314773016116640638806471994366758512855601633740846874973263005163561000339559535927015445668786528615654107755028259395277714655321115610445593399794050772229860469738619075268775481739300758287614122666689723967223233720832905857472575276477936791041832364591879208849917350076245037734697915998473847126770836594651220309585859898162809287639320579694724614233883040216431542045151123907031679132064169348688817679212805665426627553698412303866083992962820479990533887025635914778548589058595895048431332374924016222589116170280687902139022480782557158844984230379601364496767166878706266727455775355327042461409273972717412175749371099452967135102289312239977116896646051948300425516888049066005299195846610215816760052885250543314402177504880407965290805342185675549071213741281722450836190036647242503272809456832414961614537427317986069102658187920387087158839071666037979715112447973837851321477055258938021515688196491654416080318689405782771948434511641643117345879299344384714631490365358342923099905360722668732435213223475430543802465034600459203853784632923216027506518232398830035204329918811949905292307758357456367268690433384658771823489721368808957980079702218630761610978687474395897650528451622289879254689342377926675740649461993977145838795050346698055304879942051370338693379323112107050619642327499082932987085316484659977712391602478449567912670096712175500146089674600679689815456552722494746361256104018910298828346431880122821529669273354348791697360378001187830139894618466561159187174105820621502837965164264178639489428920762334210407047422112992805567923182504873931534535036257807682160829479315839137724314715880432899503015218107842125475925499898197895807400920356907726431632486579083566229164803673609530915384078652323099812808430565568727363739099271510627925841827545092804986964841423633799337529332281463457720299297067878193855516579909366489701536139319376945572082848427397833029334118329289878510390469935215299227013097600629774609739869798627754320597232629417980630887065153258266749878693881482682611091996087756950285189119304220526890050494162479967477983643299723204645772583101987418274023111124646928415493493804989959577725737935496201865411871442192947787613228002173632887197760637176898252273778376086734435504911691598080475500918529431539675187807693373517367939078707199039445759941150001884068403275585952356805029542173604489093323575129264545224840184688477167702545192087978447545863092957473148886165503101542439684430689218231623992028941795807031502061837722426715786538264878205171352901845875405683832570953787588998887199094816019962197276741583097079398580053323897221441465692883211280331732193300445487212118788494928884556869281002948758483213508764099638525987931717693897218471497042438636036951245444907541814325867044420820528983883622754123361598341532735789718187609125398000753304056118142501920092554408250895957248609699366021662975594145234558622856999712374240797147248345876379156803041714192074565010447797905052281896739738167924226666020536975331990743306538877137451388444737017740916045239111268265349379452557798582624433007846445855876273116104328542691756693720360948381327061250418657912216238945922701610521153524275245018267079518862963609262012435834443221204868982221553238726959793270613655923824257617298564526649604747038039135860931992134115030814839452657599909454288580991744524167838959947338110786182920788117246589752690098932899519527813403025464054035098531712210049941396614871969445203287915596327166575001986619306088915567266451814209051862738010749730351823384920702059871539669522788875452794787173427862132129020468198354634406836203187428570876540074642727742948940794144917790732709347397275725317183943217310279334487561243336605547292378132139772232546647897538889428817967598544098779764579830534678321512393077513264713251422276064853030605649932150202796921015193295841660727744438149784431619762146196659301420789472742764827671763325674602634075135525081323813034266040130631471599037736581800278622798403323842823263373953698004204204985543952197061731849293432856274298589379140405939272286330035031043723631504271621363023512232990720155085903777723954157557094777066229188520721604884163396787062408400507103114507652223441755552302340943655532201838918176231452569806236306256355515299701927617381563705499180608936677323989999350181782764602770709189963910397675093769012308056527681798237839016113695327338194305723324138841480184552449036222351381036128287500905324562865824959007287042936057288375629713806954787325274490247596582260949021290352015124217194141640607514953379471225954364765490403557373505015250566195585720851952016732153627850310574459175592331983859105460195368476683444555649210695104083435870789844020567623953772700077605957259119310930474119536955696486176746026741456652753272639096056254053432772065179812545633718459387697243144280239138725080686615329163760190147789351331268699330891022115380141016106304326767173689735592793965221641715800516857123333390691057092949633279882697047672600124121529187216316938443684139858759938602369814613590349883197934623229188945203894472335098103100071970211182328608546728039442354369467253079674679726158196299093519203999402765664685496745606163837373603993909104467978720500354256469586949217896914088042729055358530995069347453685346834147621297077817422124259981567615569757310771953102070621197379961108197708833344676352572995617265226094442536218632459342433476370109934272384871808877536100286325237157066309862178526673982135549030419179269192683794146675583373086381921747871636975059128378233262981270348729628917711405443053075249796918577678097957667126408894059670625192670408656598783882015368136627933869003748860599946708596528377808620845992748128475845521762826910540863885080115666246907224692251480443095995880257337398569439056860571664545834682914434033337838705142479670618164233837275658041530308420355680951148401861657089517037492929390578961812116597647900929546618995475923165774399854994290043925737585195179597065533720861509679898823098684628803655341312524728167631631420826456940663979311336695572198200594339145356190418386695338381094927378325814560088007157789797361654344568265702901212291833308110751692615695154976255206247660130224810630422071981433708722853608137207556205838229046983809094111716478977772289121903144648701835133820243904513917217994142292181308747160440706506222562883506492659263109688932391039217390450949489578723374727452248767353066931840584308678569093906005690230495619218726273381065568016839894476971984363098605814414500659706359107718609371934143676834661825370091367688065411066591996392136170150611069917064468451485711587664382781952762399783499977660519069025974228847239786628019965651666628422696994052245657172999979466938032755507248992911356436903188794845022000163232929494591369640415287809461420099945508391327331873692829230330034085625178758186451912261283211129752401172469248410293396853731309121649941711145143246246294078347511377991904530844061802768389776080543910374903428107975002184060881132035058731814534223292003317094486148549628325144192844858272144631405886050260962160512235738063725997533760011991904735189230649444983245221645439108682623189267363891117598619361970026825586238557953347776111855236514092415879938195516987970365340544488954320130103235744912232939935006385619983161418526414386825030740855320512786538780839770014515515158058436759949356642218469443022730468765481420099181944992235861098003627088112401695079193373494388765133405816497468357763538023881850699979872560285761146403044382869215335092497284515699463496835831457969491034920874042457065032174962950314292883475925860951413221423388771880169656469661276787519454956054687501
g=2
*** a(t,u0,r):
77775590252616327166064696488991503857175969003111545245673122379670773879724\
59833825994957671521146611507846815890026208699773757721357104047264482037527\
76073692429979770901924059893175705771028614573912323940098912324677834690875\
24759485176837960232302486857725430757619081779633369504469869304707870539346\
08416334424047753467783345515614250127113941412495490271930814145680872676123\
12369878007389280169311169113785405456277154571046067761183352545812043140642\
16389505108366413097027221330071699723064992817223484716494550605633858852887\
21446538782879574102852381650460741342212035311030874714432949169672485829027\
01006360123145378494714613518222226199087901303610945338797700428525064522533\
78421877555466207115452356157402615764960384172325532282250302271520849120449\
49858795210077471986808617426473261176952316327907779534294386015283517502265\
02799998158378408559272743510654452566887783808380754720478369188895425098558\
07500664472754891891669908193838856649518937044034075755118096142569239673851\
64285156238628540936960926030014786309319908151091676841895871716482454984356\
63952055546900206530472301018756260401017866023104248870914307298922773889293\
89992984266209032687289833991325158265066086903259861968004117222366912929426\
33036423106736358782985503186011480611540975001533074979679705957056073805583\
33568242991680749102536375302317912275931092747468096353020318751142691758266\
36208402392790383523070832701205593292505213883631134720359685192706652363434\
31619768682120426926067040807994860512484369909181542251986100405150068957072\
71134315669480620282395841732440286197677406291172227378685632184193455660824\
11734728706512376110016451473978407416175335823213160459871169004336265597922\
11831065719234901941085400284813340116347410564759640739727429138695056128969\
11426896751343287593337556837156829791072944413515524050500875993885137726884\
74457240537629297666350839716674785540599417330019293982974016766930236587175\
40802119587452209165583620178213318556817511586614526140096470476541818047675\
09719613451354190454131864007702801863906734998598682560695251020234070246821\
66612752447884009175128643233784146468992972598382288456888271282468626122286\
52023502907527036901485912866004855390653827618060962335999000354075787701108\
02661218947645624410204289273284839072465605093001991974566664194717932342440\
49407600610983294834176202219907903085914894655534130712206692062264207622877\
39130439343924160891775709265142996552710805642459396606439600250033980634834\
11353157334592894808159615709962255528090269780245870852326753628879194800416\
62228924353161711771889643409893436652464775766774858686861867203588697261082\
23755585730949211737154725998697933029566697120415201609539864734943698597211\
42730247621136497383418488080881237963730815038095479210976077346208833623135\
98014910134359291144383848880308610947953721394947043845246621564189356622793\
54721709750780124710170975973001243680825369448847431049645970193690528064506\
33184481042686368089321723023245376751037097168749196663077591352622205402021\
98377370897069166078046998535338286994950027159970208348148934628321759706239\
33104074826496209044125409423456502854195868686019228155910721296084852678010\
23508389081481829529215594611791576943818315222340179157559573978678364266681\
34132246426820907893739083504837169740030973873353578933161994667053951795023\
24995642944176335852866019285842656859187003691682919601879629057314878791144\
95608896517593132562060485174514028167652986425674798512318271807016374450881\
61446813519471596432031195766126030664518754974432829772547394536789732761158\
89528119604152903622343752329909292722951931956955493871367064299997256108735\
47725451206337818390158571212696898907281475705699602480181553685985170011181\
89360364023083248112790068881532300600499695338703106545931586852479210301061\
95411392029331604893130306605355560484437286402974110233729059597711342473667\
09481872097506897776977502542088766173817065763920331758161493631992153697336\
86161005948270211926042978897010865666285796378891045040639720499574558630089\
72222451530531728415585622291120832471376725165028640168014712260892538345758\
20691950489857183685447143623186253524042871692283009005899358000483069371415\
84023249708663933161733438483599824215836120726713678375995490315118430505560\
16167564987639299275321580531385381614923161140901999386497532876078716457664\
17752296558896730709553709076354238062369645206540950106370284081239405570484\
20123562872983528334178343597930346352746233915557836962529315715201438926306\
12684964289008640159032418896465190552225976668879754518896154517265857924146\
47182192731512276341259118240197084338733076500462293183610317520671612541058\
88060060586988810321903848188179619310638816880443802157996213937997262175327\
48364651750222046090001378076952992510037981842689502283052632694097733843620\
82197799082675676958018861712485683527400170289091003881578626131961156868504\
16752722795042372375912853410914500532577505114881473567212828474613426933689\
99538360174800825543614090410524591172704023949472846091161822546999220778828\
22106468643337155401772739154356218049722372530699757705464775759678020128087\
32427369231923544299568590378900790358353961689282684596131860375875920377620\
66020423301491507351723547766520237161872661771627554401227670237267602023092\
49789558988223368637139715592765900893392603405362072004617922867112563080407\
35937290665482214823503209111055991260747912797440574654560092893976127450691\
39057464747937238187805656390218479878760772340680607778031045880425488110854\
01027879597697537682908137936766728502910859646300607196454195803443500284008\
16217091798198018458482310279400348146405515006227977532672923987615216945341\
85298470654697239726022214855960545153682919314328165815968320664720813803289\
78543971217657492914112767482665544053434261547176987688213677024107617206929\
99500597449721818420882847132541292907667357606587617402986170596626208125987\
79657442881428169973050740949272311529930391966147996387273265726536635648853\
80505547307769880057857092140277864255992871268045358534395453825176842403017\
38020854580493042031436559980151419844745255244002148044453645178607797672816\
37107800244159053452030214254952571516439468881715457892344232732502794733806\
93403285966680838301848448821795051064197937432582914512092222286134319095303\
29191606724326307916814972887960303457404680837603569413647393052121487860036\
41005064186485673021534953278003844749168337666026122192080036527077013765492\
54041032900749001762703140990829549295995802551227858187527016423697010444255\
17257083016944091271687335665182085309088515425693257864688624382739444756434\
27985845163877768804132649378952395131000805663209321561408386768768218030772\
64804536299591300519434096024378949164541747254300685176524526450819831862380\
46953269236022887497095436632387582216647717868274013578845315707319619144503\
12692553374469091881550133291443875016045152133569064546715020271134692030456\
20417497365808636557358204329644181614917324634081216201339670886988200038171\
15838175797365139641655063043755751748726056194064811311969505276630679189073\
83397924403564622196944331221171756507061496997761262950102108630186957375829\
22596906793387303034894585669960155981889378584876889537241615056761111780087\
35821920515929559705251682940344876192087887107980164560934193327600706928981\
74934672457348346026274040833665041645200548547552650288970431630636509813718\
26146554255563899154542686100599182609766738989460597547428394695170868739078\
74158439465143844953841854620946334680893453140579159745619287943653161375601\
49214035159861376545325897366627137463420878705032703188517794287248538983237\
44393492826444483936190918295304365889606884124857668885333048633945578059974\
99101559269298773901158454754078012497939392112491865491679946695080997626381\
15683997792263779874642910168135160461202036568430952700746858679730720728614\
59233890215616279673382588658300259619927760273121693395509105888757402475392\
84359967709853454773763894248756127295360760689577344496887904113193927338656\
11315804408166010216080112463437604780157089216442116646531947555121365025023\
38367352823155484788217374817135352597980519078472237081599712986729397469243\
28893302238401401303225295220025487143831829600864759865517263979491596821602\
14860323540855826978200192952776169248767971626445533779598778412863163753456\
29166189127249115505086375709260997585927197888385199168751265201040823249132\
71037655707825987989060152291459663493514897439032780486923285499633237642563\
80031746928544809640951620048570716970580229177467991635002695335707798597382\
03058186111165027241160682957708854722983753081728104659060104680314000063764\
89034223211863676154454499705613897126781654559090437102629645142684538221164\
74315664006048003160595341989537400492719376368596843676847962792464921382171\
56374447962950090029479606813317018854327665558151044867618036285036468642335\
45938759460433439185032460762853499109590071169944944281381040761549954235157\
46832190385534138764930103242389741376231623899827768053337126884601758793236\
79753573488978000262849444263633566110413531177746805106901278105182983135399\
75904414034003330951200002194491412434730599205483479541354799426064357246358\
11636947233775260278741402555733112207329909271286402869304490580171006632119\
05161408143008799192789285061144392493086264305650244724538681921917725852745\
25816572103804264121090280271188651165124882924670333613820455823766381072455\
41151933906075688977941101682098572512330992803450750757302544456130376310495\
98888702825318715121693272766972559176611745688773418701179042573862905596185\
72408907560844326239979009788380141051136102819093563679444136531397578400267\
08241560640704079287047736427664066252102035415526342923755319777421608275069\
69857908315910377603056653612003848176944495572137044690210171985456179388340\
93109619882775108302688567775694881769377387411387289123100086465160287095666\
52767580421894447390878685368148813352789309827809287023337432245114349629942\
00934517271309598846395316069044902367521995147126003665286955098048531595730\
42298502779710445630504382636700478044398047848288298199526354006107898132659\
58529992247329451260239983618378202636559938119635371658224579714769033883755\
09078935482596821428989305251076381276178813853003940414959876029150226026483\
02103190754748486050688954692201206174697768263319531833332308716743586060803\
84303106957348184313353454477851026001648208762366398281417818593875132283715\
83673430235931763513843437465845616867917421404611905083255699815675217887926\
15877818185534976508270090011103022942324026705641501821843057004130043892828\
18542274620234584948776598381406934856879036332713319320229534287181039076131\
12824037671089172363281251084
0
*** a(t,u0+1l^(t-1),r):
77058103257665992044606535082266489983954788477252582651155842652921043493380\
27547536087255109975748580036372214267424490907340420473005101242400418550096\
69283344713836046078105572255784785976092926247584719475706855937918814075645\
77114102472254584215399327384868185086423333792736382700923099292671820073115\
95423563811279785262360989929676849295683000993561030029569828775333263149590\
62255764741638456551513095597975576992658361632198779313201956304614515067389\
00740155430244951721593390874997237548497972588282308658224305673847568642067\
22171201709236773603748577391692653322449931664250147087916040044491005332449\
27011836505773188656202486087242316363302957564647744736041264077708412635794\
54266694183183308525826411912408126689637871403208138073004450774551099589818\
04564894885261259145601895863498415594139103077650327693572113081563189850030\
11076750942895212908356943293766496362396199086901227462909380543241408261855\
50973905575404754512595462546294217750538135041782838893908519609888711632579\
94872931550080307164479736675494354701300351802834373549996463305813797650552\
61148069794622529348456873887586922205436520395584836980961223283250054572972\
00048399540505997330396016334578616214650348094189199034719946399282347311996\
19816529904644694956574197806066725255345947556869485727099634868891349877487\
54845288720539782782402275899159997956042429530240530888509061198087869878577\
55800575802450988841123684798057940217851106744483246023677400273954745976317\
76346523583576880552210333789470922684878425537325623965528664054549053560789\
75275143015703123785325769391735117505816913613209383952682997200944438542181\
82844186928777022086861318157797794801634972946615253075555014308724307428199\
58954395371271480336462841241595504875421696445158537042866474995349160777225\
85675726117105803390446988969655383021782603597892687112765628060362212102097\
98493612857392865031052400235893652832660308314059706400105252774615382006112\
90425716270224790261842073866606184621791519782309964090833587907570030058305\
40072753548666421169499651240104067529368849989386517592423154608608294691039\
17843262111648916839564725860778757663928461781054038563374541842593454294590\
15012215980335828073981430274990050451625655776565935008176131347119368995378\
24776890359567712745903511696963023213863523865206770646388004930929021527473\
33084652265863522741610001092417977780694277546165734672426187522944427109751\
21610785844441465680596966559744998429530816660517889257671707258797504798719\
40768718613794067365279914458025334351631872457549875733762853687653371970154\
47632716563925902622702469577698847753456798130549998366872366583629391935795\
50104703943763333400096103065130608924127889951407681299488758971706210602772\
20749341277768079510877727120725506986205623017448841948882202093937534419970\
51907761516883651927184735883257793503784406621930927204607815092194989864280\
69161546376695437212844675456645143646869415856145886482767317332125117289003\
50590528265539814878165618567311378810529374870144499276886838664867388009014\
40089756774402476354079775301617454089092554584693730411357892795957167827030\
48112339818871705270655617823609118141518785026554106124952135306268571749246\
30302592134235687190385192447476156492307076152023387836917880491790187474553\
28466819799267209481435217420844206919550983339466553297247216118464893199128\
20152509706683934230607107668814588068973101443604663885995130634276918654695\
27937227730530465287502731621243603553560246698500676754824560812486703099858\
72134573542354699785979247465700513776469688969133633925937178720029679875908\
35196679386402415581547223249375074155397024835581365699121980680993591384485\
14997356638013668774013196939517038216254893826495731608593162969324790214030\
76912390185231926635734809943510784912303203684287026227242181069707261866550\
31247080294743674958691835142206523948602994092983574161462186354190020126124\
04043847447160893184938964695759534013542000581596343457809450332804034198283\
93853247590813844657352545512352093842796075010082087060560018280943797019111\
03475011940766675570423393303195363537138932497454575221815314546308658840723\
53711397441057763171743756689393022402972365495859734015070028129629904524816\
06310858106185483593820768386887648715690031052112998686180033762395935759198\
90557163096609416440678392519103228647995825706022829650459732757295702468202\
33086684967024989651347494047974586419727858811646660898746941977168931349354\
27317994949801023460246809062894088545064073086078521123391591400485558493406\
62383442478224427611439868906645400971485884633188981875732905859357501301229\
99145456636203122500472595009198956254427420813188655792617602414392354122783\
42967255600023968898270048850650287029175359160144505090118020082480682265960\
99394498136290108395444169792110252726735048430856573295201593647104212313698\
12066823076377930860620163726208140321427843994911197572707974599378489369717\
22871240112431280379825096460629311413273284587991423073050348507135443290390\
27217895597542515344872263008213478708011182400123465592165864774425427229208\
03452349928915225923896606874334481720850394924327988722942037975917152783732\
27515677633843068798650060947361115170546268315765316657053153176836474617679\
51020234894651179793128312086017282944512212862295196888301215714783583554244\
78112533536302488852664256961836326161903741750331056580221078560220380764167\
43908348869675183321441371388629275474209647919235403301658247018570443618120\
43678705848048518278324054393998752204602462632740749772698656158281341541565\
68915076280375604678453265815578843553622014077607797166966610971308412643011\
77691103866480324561263838782357909510368563760783069990858598120570796124812\
86910108379284903566188061582381573334922006774528090485562708850470621794034\
34461462258085006817119107266035788111981915960948417691089934616136144723471\
23121440646680104228808282122093495002615075709847879235061943930605671150655\
80583112227540456227911896475570537438325868055021169852335320470756777386410\
50427082849211117326696048854850946689055667658561545263782949638597720240627\
92098152969971888507161314961884340325882291634740135608619201957402928690594\
81783927548179726390664621872526809786583016216754983188540319146409595520395\
43095137572154262302753905935985133618956259042983441130984360456926437922837\
39438916625393408397287159484934839403369582305891359363705996437249518414833\
12213504553769015521336291347394953192441692484605217005806235452103978583154\
04834012302033605067475252236301601424261523929906567982845032877352942082223\
29828512140404016628959592716241291164170724692983910467412899065555501539124\
00052396407753435143577920141139181153777550998419567672465504972008363620894\
67158737994244517304310165249246302032027524493652154870468027129317803893170\
31759973394362159752657286847955962454501521208972592789372572942491947381177\
45232289966955539373417751988017271002982004973665290888534992408854851698071\
92184863626271656515316154474204659644300006141146887638596684993196795978778\
43551845762334095918023558772134388725213823203344656226065727552676521631979\
05691301484712550036455914881493050266221446287449812184879764454631727141734\
86041584774998121272580059971897792919325823431879870261067799419706119973997\
99144596525930209523468918337574167002123976710305070791921885271073025130743\
91033061087815612206843468501251157497182093302649028053832328017807759723185\
80517896005973826284113325527715426312628669441587344802525918729348259248865\
83806424340926650812201247105992955209667498775813669342061914438637910809405\
90641949964659703329963112335569691545861645506646792642498257439580194527672\
52286541785610125228292478089628126351879883348798096294139939329204382690418\
02615382523272032444505701481438916441685338679719800311867401061362538238683\
91369569768349907366574248635218784442187257633297825830813769577519182714512\
98170846947944542776026660718648043202769755104550460061602195317827906142594\
01662920037253330652234707032439188851676620830817405894518089499603577455458\
17853481489271489826632878953627294772960068098209255791859143610885928078298\
07570606025893902825226439625095358570323872223504781019961339250689458378198\
60914581738047144833638346002128573055789100545506228870447916525806249987454\
52730615759113614552202036191219193517690776316238471659860782302043392870121\
82402663397292942852825431283898811261333773553621498069408541352322734473771\
70751330470668921679197973764785681357965867019853511294239491352957654269477\
41839572141381112135038782225244418843545356214576220494458390028182818905524\
26277206534493763152220086251456928018897187093889284505378738400975310026276\
28434276503267147776645878859621148998305809037327610192088781257604422554917\
83593194780899958850995753963803660635775470682539677222264494501021518048387\
69323023166243908387141234056736603551243462001341533383599419714141298267406\
16548180498621322587384559833306880114114148004170544426386750717624216649962\
28872483832162052613962113360079872913351258365696515580520363721459676147542\
73113780375611044540867438320242112548509347310793421295952004321924837534519\
68746624236641676606631736491590200142897291094731786925659644449809150998697\
98614466170733053080598031683447751393609153650702579964606109670759834984221\
27438516923977352705770933722941953447947092125708821802725594450313318787683\
03253688597311604857980591338797611947734431975180754890445728371517613719388\
47967875475207832068550501113075522950409120176112644200500860466682679112059\
67902644681173708524629681689786465457270308920426800447478128896982251485519\
80412515424674175628909092723911689565424515154710781726681736747897600739748\
01338963217819355308384934431098899589259765716121118358038019779474914471794\
14785418386796813234024765663553628175312166277191130993806019107361565187341\
47601228555443234609859337445660796144198629224935376861816875335407885923197\
27926551082209074259966520373977698838464685198401452272199633054661265223761\
73250619510504159742646281787965152345681386335805653077968809755815611562559\
47812354230082120486311537778428333412992161798027336039014118268044172135125\
82528793056855932337175039120053680472016027251373052731488190603009171947558\
08810679620211241895511544132524016135254655053621985245080172375744781136939\
81973087519003573817749019685815586191536349736905145008301567861423073274265\
06219129955896632797547610801856090337426361818064125234541270451865214089216\
61314819255895492632719420515053683132973533753277846918281016238039837649107\
65177838312974690747123686966720153726988934208356986122379560168298585923337\
15050187215988878445559102086375505568531443746618177998087195409993022110484\
16211269795894622802734376074
0
*** a(t,u0+2l^(t-1),r):
76986354558170958532460718941593988596632670424666686391704114680246070454745\
84318907096484853821208776889224754105164319128097086748169900961914012201353\
58604309942221673595723723492045693996599357414951959029267650299242912014122\
82349564201796246613709011437582460519303758994046684020568422291468215026492\
94124286750002988441818754371083109212539906951667584005333730238298502196937\
37244353415063374189733288246394594146296482338314050468403816680494762260063\
69175220462432805584050007829489791331041270565388191052397281180668939620985\
22243668001872493553838196965815844520473721299572074325264349131972857282791\
49612384144035969672351273344144325379724463190751424675765620442626747447120\
61851175845955018666863817487908677782105620126296398652079865624854124636754\
90035504852779637861481223707200931035857781752624582509499885788191157084806\
61904426221346893343265363272077700741947040614753274737152481678676006578185\
25321229685669740774688017981539753860640054841557715207787561956620658828452\
77931709081225483787231617740042311540498396168008643220806522464746931917172\
20867671219394761630255331174469988385878385832832895791965914881682782641339\
81053941067935693794706634568903962009608774213282132741391529316973890750253\
18494540584435528573933067268072249719726444812403126801841627760074877484677\
96972993293425686150388865958844206524053563208517774342057935442782387690608\
67759793143417049372928970007743174910385696030568457154009171782079555337606\
10819199073722525914824663087618528902117831100140032136882920419488952021161\
45689225750325374135618762157664600636630864345413099610082733702619536830317\
59955132751003486684545804826179733540180936658955462337123398839163111611227\
33666728336475138176000585337273721351329125033198426673180379581014571242051\
53100609053682054970157932182905238344853569516330403418992103267009919539619\
30897250089369221767522556287815539561866397412463747641818376375383896548006\
65388075938502048371467919235445471228288920601879507885907299650672851259368\
43108067558397644241036429963344194095915061488465301095595944967445717135460\
92966313078025407606008334123478218783422010699321213574023168898605937111820\
51311087287616707191230982015888569957722838592416432275393844446423727124805\
26988457500759921579473433939330841628003315742427248513570139004550130445976\
61452357431351545532353380979668985250172215835228895068448137069012449058438\
59858820494493196159479092289205198617212817762323738522794917959673857215107\
93710274741714184620991944332831642233986032725280276221906463693530789687128\
26173095785002321707783752194479388863556000366927512334873416521633461403266\
82739615765044745566390240771773876513584009234506929268483648395382461803328\
28551250643431237723623651024709933888453103815384178222672814568710404499653\
97297046655136088005464824583552711759367475144629315540543934444995553188429\
40605530039286968463112045405009533643473820496875732026079452045968576211453\
22331132987825159557050008121717979016478602640284029538267763396091906269713\
64260995362135807381683052978245370798506807327166082617678788612720708639109\
59613166318109254893308638663624379670251076660607593921856276707286943656369\
90982012439511072956502152231044614447155952244991708704853711143101369795340\
47900277136511839640204830812444910637502984286077850733655738263605987339538\
69668196382934694068381216507111781189951711218796838314406680791973122641050\
31170060851824198560046956265916561092150972725783264579075189713033735964756\
43203349544643010121374052635657962087664782368603714341276157138353674587383\
29763535364627366777467570341321652298641534123443952881897472319093224912060\
11724547181181253812398659512199052147152235638575344521434323897658752234315\
65667592801446794488029284049708633343483554518845418195373240491430067023099\
14830649121284881965247987995891620295019564861984520554235499029837887891369\
73500044982126292725735110911126610797514494063363944627774246002885222248378\
64622471755068207930483502173886216660447102873201191262552048059080720858013\
16600267981790170285907170404402816643715153230697168727195374774850270890220\
07013342136177821120373417996013699290865314876217406515987095142544588040156\
08539618945937638637029501377216431165675422084652930717198488107123686284562\
77996122907506428157214073717875013351303092162534912676855952745417401069256\
14620123807837815545526872545136621255463680172157231977984607766761883927241\
28037438157482772972853655609390462764295857003130589539477818969013970450116\
67353290297146006356680613907663422013411875429619904611416580993566665638938\
34341783026672207116393942686099143445996855244461292053518330903764428280955\
88457975101327484755906668916897353801029013388114575383330200696929024275024\
34497482774896914625988448963625978748404755089673280396416489742404860160705\
85053725475748156250880293927580386000830611365493216941820909446120222619838\
53483091844170171180216320765600792501342862535302418023634100510387644926060\
29985849139816684324998080267982367461541898245188527542266268997168047874246\
01586938057473032976108993646332308087963197163690811824689764197541066049296\
77024508474035021248558208004207147651765498978413579863145282456932530041685\
39520216053967147037268788517966987522776167971361961137008570262535181707360\
00944830991110400874216711098743368688754855584827955037781394129531162532543\
44705454690094480171235187616386603895555821431414886166368062431029875234863\
34140829958059646287375894194376779437186631661946763972165417186066926884636\
85703795948643411378007778603460055058693129520738516164017852488094903878912\
13838505073308555171541991632653665646764868636238579236677165533866354042759\
97071272151743669950204646255023676153045915520548082952522147669045602593108\
80053211362127758207419741244372812517836681402325560691377560375338997475125\
35483524966375932809600825621048715212109847520173905418269521264003617453122\
60675679162151684853398012028200360029165415663908487198841525945178791560166\
17419236403355241053579944526308254932361947297613163936721699219939808024388\
97505882808919773154733790460057632373995995273813934365035757635282441792372\
66251540278581793684528062634284233613597370950258935718159927787800275599054\
28064322732701604702844451647404141874432091204023493792873574274005649805590\
80463647615500118445334378144632292997966072452720138358711856775762321470312\
79334348590497349771316425154334064036769027966463126487178855344606675064920\
19913310242162065397952463360848806637088096067774438962376834522718535246020\
11085655052750009164686818421347211749678945619712975727685326533837107217392\
97259051532141001777522447217357859756055225531940592283571216792332378179906\
87394158163709838982797772171733037318776102217587301839862377197167601096249\
30240643810196086978213471869512800478286901543042450710425298666009180204844\
88486263626204184122604513857674610601675690257674913522716989622626867664833\
49361600252317958511111949488660707447238274291853454782322386403817655572839\
16323212758830991545660408344972252422862599904272640717475349780281105876269\
57920639192827342820407073247525179642137441216418667108357530037076204118325\
42386052573159203096348607402091556613069467916580168333450417856000620793389\
05476864126930274505290641877297096083127585670537561415020654465420256950920\
12642899950862338824900411268009769082380247778158665830318517656524884714132\
55955030181014818997070389470427050682914862486800019528035671132765998299844\
54771222828504931398037186354497617262544903339337120301706177088136385752786\
34784741445139536008426833832463946954105722186808201587896303754813360082116\
03075846681526689357502634069060502398107183271192139035020628398730263153462\
32966764848669358298840426154175006836059933336442593793886146497990692299914\
18938126965958520115767382481927146840285779739784513143820460667298028913102\
82064542621177369086291067924682821561053954587693336728211504260734956509314\
13393215269993318240081788310807495007308206844941412034281108038244542467138\
38507249197382037787688155602646263772240365986385969706391863216462384383625\
54490931346167744628927346105891359167558207538008035413797501877085464469094\
14116709688011719186679651080338881646984827639970375770940981780437715304039\
76517644980939393309602220515063495944583056785217765447886982690961415781788\
37726310824297325587599336841362592628874431120145127959474268967450925596235\
60722697946953215048211755912118283144410963977935584374971111938290095932168\
78020354662664742384447498442911789030841868918287043380403959497430320936338\
48599108576826636743326026580831735348488530495105402490010601773041441022527\
42374281832407494938865016775021874185458224485151327501034694869096410988293\
14520947858385154420035795161230286650081080113933960576806147671877177715009\
30617880686573290222907396781078562020935041645660582235197558057051781229913\
23609122602440110927619769740352218214566555687593104440887321713231642891442\
77076513176824843998865314371848886067063221812283390333238687405145467882973\
32449801064274348968669237725902967192318928924098082914857076943599022974431\
68030845256905511172174909921300078913713960283656617664090128952183630373931\
97312218064428832360783694596219215312237078088644197674136271579818717819431\
49666227802074208057069098589121709543433174907714679510544285703152878081176\
80997400246662338931669622445558508025995386880231797018108255626292736984081\
78649469632121046377611441056173217994216932913378833544820692067737909392216\
04804038866759207864923322582067856085336165243592138622108037529294186074453\
21212876211057160567802101017464844416853356388272503531405496769547602973696\
10648703475530882910518654231442382922975538746180595901466289779680245091466\
59278169393885456797121576868708606175148933347696539624165603819552103767241\
53050389422710047240576414412657387581680753406290185635688554222432645805950\
35442448148240536946875303874560587387032222735460668797085853135615956783143\
70482229734423615832271378359857177343497325454673618019236995221592319559242\
38363739375119287971892253292601118949851573193001239822962894694237799535372\
44928673137808580444868544670221228255561636164546820838814551691833185753938\
38783854033972683942163768020668779621162239173683789728092202010404236647985\
49960077195429082594455026185177024193220207884263706325798493775891021995611\
18410732255751477645967026434256596771004177123633897929853615637664222269766\
69078958157891865544607018819974489759479144988144441101783547880276299625225\
80107840325718662171009046662281866805455424958628534552433210484715440126388\
04700978475564307795237352456872362639696684488008663865872961522274220413919\
46549993008375167846679688573
1
result=O: not congruent.

code version 3.3a
start=Sat 6 Apr 2024 07:47:26
end  =Sat 6 Apr 2024 16:40:24
elapsed(sec)=31977.895503