n72-L5-f16388-r2-t16386-ver3.3a.txt
p=756473207200221038909102508897394335584567852590456029024486126706967107362914017584695858932137650144062929000485281476095275081138727581668186193917892139062513438084124681899251260940466709770331217007468461184119859756136656364556022971849743215420547419720557017937882933300605203432171878329609070197315733317656530079137994009740219169905790441546201365584690704444120190874358927695486978326656310665034422712956298642239696534771208382189319482157881403026093380528087021116507396252555708930731446397397140203948215859356169523810362949160818913166134127231464429872727622689733970477321551663984087804224954270111000096828372888371334273042177248664977877835727418176815214675863812022190187796781485746176441972385442148155153204102283638265639710267871097584429940682934020758739068338720958065405559643231637314950284267889916977640395219388994307169928697878032104639928020152807271143236775963523569796075027826441116678705473870558846229714523425609572733956548141324263786854560498881051785758164375063727982192122799150249237701345055819833932149802996932003366912585671326836220975275240042595106859550226029918257204595207078226794903855737768638852993957569030026504322430497393350805180855272329837715454459392767865123659694836593494887525022404993065954789948851647841794209658120026378177715593080317264088512749470267228680213908124864022159755460672564329896428861464449142391962723630083500934311155609291142203310036039734567004020327378072664804334173824562606135547901329171159118725905226600783394228287311853704429737589706179057016357877586506453643227431094138050863994208180973962154384788476127793695315023135871669573775488744164608945393294163309130439644616849054298517095340593259498264068630657642545961535513901999591725700805674427343406538705983663168476485368561786816637034728694777308313786696563417952155094514414768871910691748638883767954426726281603608995836595858508135909572533947288426474375547795834609745485355188773683232625123229825335444717362305045325876229262912805219354414897579985396255823066931280920025897475006185836172804107720720554489831837690312079139396503304864622457944525074037996322631650214929276870259619439743501251428884039746989515772039395882865915983199221622075816892374290244543545828646524936822415292616019626282839908702258494502236570362259717431045165825103975169516758549334407424288092071863633495541063288073402221215568334610552263447741093443114339628983728416227399218975685595275366597057134017251158139678868297239126173581419136171038302533364565139373596986842182888848712016129566100863925533004537764395453407360886544801608463413751904372951997440006176310865251786877295832504201594973448797489281863098452338721973371591670127571789203974467616300645368431505140193952030589260602386470706139477574472920784658792154949733379837213358511174822270645174112188346653742813177046914408483257527090713860391412326659159233265088850775441066025519530955413203524286590036864191266770041773475024304346758187741493024475368364607883462107696855751922423757516617145371509396311096573416788877187315728583526489027930393925972132177870156116532984531467979483330281153716046124888656677791817840145254768618924312008494348485686047372527386604586697307462756249438943297910266713529934271287026200444673310157850587224929191303359304277409338385924480131282564233505482545577022438756103537722658728178272481102345327091522242154100029885776555388112003810312311621027775985938864917309709118200978298313556433373567521408419916248601905354945478318460373719222386212415453580086414605059863381657977447683015570024351356039310738136594668831635945109518286251420335301118253626628634465625633029071620391084880395244047792377685663119079778165077256442442565011487228417081585107593196562367716520370080794658260448290036012180694367731499927244724451171193170551937516522634300273870587485741910118577566869851359601643530682787363093049574661294113709346777588074059387582280220841271799240420280360976673595874958925334408405556347779785519451261993318609655387101209299373418446590526745450873469831278581278206249641760929979260083124606852192538273598529732360732108363524137112983616704810947268552197201031724905621845835832825975510684970303343822253716487757856553432977616982240164555452467162228983504337076707138669509010741530177940928947574419396177584527248231788202288262362131444557252211841773235437259953462488090126206783311813678404644589162801109762912426010976971963030794323022840539678811040108273602123332446908617017438955113048261112237110943986332268378531907227789011433786623612196440451694013796264239785844269374653109796431715120513858486803017534373558751665194616148184019013254898903281356581818813330901324769408458475816874142844100611280798468434695873334149933949051064022066652541038845596952171938866127217110932812903370869055922389234633279539896650961340365866407358436532703946552259135660021839564335367531090506390988059130015350692139371758172685100475588471970875275623117253826810208044289730449775598059491680235461342145462588111674152731736540682515878306902073416909372321964176690405513392045259974256133883142451829739229935953462634840650636362884985045091198465042015941087082741441765267475869120992551221029302761994751509872962625456093902442620610426803584495523618857852786484725028172585240678095396692949496653054239137755863491866045076928482210908069276552078235883056308872769521565335785041181301024331142222640138755447539778124169620152914958456965284957046066097881288697218578499513763261633935049959439228765860243567335470809084938114693074237796574025891717260564505712614193563109052624489101703839212754384430986942135061455310190027853713312193504545804683819221245605931682958845598709374707922478755608198309726310601376746345310542242755870445783021683696239973611509976644883167357991199238301286476527300094428414506756101865230327828080287641006449290083532506863186853390212691764345434466165480299843138886387618324620003078070146173143720614747841226654903693160643299558995954542210054915464650823501428892485205331108221533141627286116546351446263075757446599791569928279746937118842923597452534953877170169784743116215581410685172889426698058305225064184875945484277706849620182154965671549657239764304336897211932938041387188281664912923538948279522102116107703792348566398498578386071637516621561639880194896774350371076379933208097700141355656724405916703326912797040261071269069668243198331520157999730342104574228510837191309379458673415586787647898783109743836056128794027425255210026537218766418844352921182830016189175585274306894275162686883736069622085942070047941187179894220307299139137214295980322536522281027638180477962669309631018544584014440712748642865270981330856123148152837444399742506369431300442217195411249671401291035816245260397841432421192985288138287435682066313631422270031239607226686505494111793193807775606554653208372233580378975032188366279758151443796757830571042386999221663227411101643994714911909381450828681984034303011656445079868933314956790927149519438319091347883799332966639274557223384981236257520129830256241405376230658031476248923808561180647622722634865694899018815620078904310270540321466266268784583121331906354432341522848323102073456712328626174152806773140297922727645957727706846188226955082385191802350563178620809375813227395868034468321461479105702105536147366605538942708699726125733141046319489370242834564230939345807321884848020499900009143239013434133828068737311629045986880837163104188307791261338709497434473071553539084233315154127228528790299194491173458328734412127886946457936803723203330485512717154659300608774659195537896515075698730323104174232572654989273535150954336682073531895436446477992170168619660431037015935090650911575883977745426819276703370277869213706492211569954576726112867586202759916281961859849473504721815229774992179136100887673040901292679394158055394442304702691555642834561748818416904804085395409070897159282433340759865797635869010366826718631950974097926455018183201057942272010226156370134279662834475330889451980920748881514188855337614144550273077513454471321752970078455873012589816521789668279303518051294240644093710260315749697027827636928920810880391010933504808756536714715970683610335432860544260660469642255362479957962793413226465982423493147435782865684555720174568336268443086908404755935563324918770112021274413460351038298507217199323502071940051956960283334134201399137151141556351036114060720910166081430946863963141586887022060850626845123732092971516910176569720378395501470876079091163514674806734365674989969340564936515881042180331419620220447640975548979925192196316997909105155614359278628559020519231169995774725209529510336138221884977939891743490568751861894712325874727491291532534407242914837024376535845357133687836504087102378222440751740462000345642279225986963603002828673900893268476042080445290240980421408090426016209520419552960396149506873463363116779355686382093998817085334618090162997776232408437472653191400421402894828119364690964795154274374182152147155739176002709560151198215941531953966817655882145269078473353413611185272987042369407402855572290553420114218234611679806860833350051385218602070138265233674285292137505443192382084335486525908727512211289831520269068365263347661564304335744374088481993356860575185884177200685756568924360839272973198682398827584122853337583785037078767410299183614010530620098768844413873010692431871871329802361903202601023044734722577321596052901675533018077057690286917403426130091327074039154642810887503316079198120449584598380289479412598626905829389737194610756609527993687009266540779518614232384241837133921325630237979714965937325712827697960358013773506939267089875518001802591725162155950404269737642441722103546824387124937511679687763126593477292362400120524435407289513321508194391418083308252149685920991622478565007229715084815120848358681434502790784590693116788115549692312257473283288988552403025572180744049098924657928142352460225482717581774445136824797290339247944881789231165782852536746902186443216032781697174692075519667944649778410475193769663855120127695400937908716849344267559666272403509381017491040970115419897995409914788723593839406522589885454348163562654667511181054815606402789243429371149501759693136363934738254050473623780884411353359296224520627139240367538449399052385586948104901352215966421995860198488578543311041729278246926384529007437367799583918490653237824247412752827750582537674442901710877851987799589830500708286598185807621003157751581035845582934299020129538707108134832425081575489804921082790011580252940185882399373242947270036160147508070760275881919541601814178996648173149738994802489614857292221300329937453073000640717473303384730880415334048229196462613673417116692055596635184196053483988636933099759073016403179655837505633012888977259608869648139403518032216411492281684205536647716769182895528887107645978907560053379567750448514690910068474311366813482304800522052847939340845536860381851905462833509046780789487784408137063662056314607554900803442719204891861468155312356139109958466730445100215453930227130564530215814900102675223851681262518891657342299342573060225159491650563955154523227045857721374999085607978124106989171938450697414291890834825358349219941433770318952465619341413121109484793589461205645755267081414229576295047723049453274536940096444076822579383190259250113740563392639160156250001
g=7
*** a(t,u0,r):
68612119893060048229055597556993666237520304229954361832520891692321916637816\
30139493191440514488486806650766034401502988184144985928259165730448778835281\
70129699688342301086482620893673003305761690413825773894293996712798815947322\
65231283546771709638643650968654521526965982050364891951297989364495542666896\
53701191144727817781605668343787871045519304824046385853144689308170131230435\
47419806689342277273773186221400651362868511404757037486002645712770317198432\
54466669613897492815267220840106802800017342188243920616498103178443604575809\
59991948888627542416836533989382378945639537795887112229306473592335676384320\
33522990677087823334209752800185649254764539134935197004768286371399711008477\
50412650033168080757178203286895359602837672395612077125990693521721295908550\
90779561994211568281763349832199089653228425964110950446599078309761546987198\
38463985817836603125328975375118908414714278596194926915755798915877805040050\
23858209282758586480059687353035107274702788246969858916418110725467708637248\
51139696826550881828012798482553788292760585951199656285893764598713182173270\
53789715203893440452424574642718633761921612055009135859284567852819951702977\
79715415615543966551951511023403942044446113576918029903573200316280791719466\
92404536671593432167902998629851953213287108209944836084445925073481599148639\
25007188042923847758528281063769532376412954014669251668098898202830015847216\
06097734825537214951019033248573534742021813762706597840220268803925227264643\
69319119069775310956588782837649419465055582413206843960405269105385650565918\
51309917771993863504404713836594970961353454407280002383212133642746820143383\
67402700314784790888165072598423560430341436829095730031347171780612138130875\
76674820922487550054739180863649255102480064817891871127111091136296952106307\
46705600469730606327182493808172229285540642689790498926163018640604533783020\
08260467072457419536682299741601546757753466504073741447335922379244366687926\
99822882901906028122586218508219910391552171562177306919909867694515792483586\
47610676110569739941461914333954454312105046754404031521706671794463489009830\
61055340873332570269354292227747678511305577943262849751221256935568424215246\
26646269067449408541213254748318473556350459978240505194908052397320657593857\
96761694011222765921383481251800996066582398117697930670402729801038535797192\
94845451352856931856956370995796540336930547875170000424630753382929950918031\
55804557444022825758146425204794917709029471011717529047060434882416735182510\
91610946834914757503530820553646800432688733545595887439438347156507131740397\
76166058141185246706585988018578179862951645348358045843511575230667624047632\
40961350588763162729772662674616780856019139547833706977073200813108466409180\
59322778649830296271220829848033644805707612808004842127984685349167375162155\
91449174445936636452893046850616004693915168552448453940817551235251616963556\
37994751729197548304149447315515815513684943145770712774713750109802798574245\
71435587653325046885146214576559775596527937163435821478960427888541847044042\
50967628153417319915910669935030013168104816699363834806757175085195902245416\
45920890275116088953658252585255483328672908567238853282315976954169700414573\
91380565006420453835274011606757178781011746075137364350991704374076517244966\
88233965036013445786871991824112157120461190917165038405733276380331869231317\
04826130107765121468889796102699160335034790732857597894726688383593519517859\
08714451466457693140359827211672010673633768727106399335737017587455953266640\
27219281924655047999990617020828731657039568506982574191743686403748192815693\
55488348435589633347042946608163971383780467892960871637855450484951220120866\
79927654839489891364630293802214333085630038244118114256039352171460322449157\
36795969471398651848635134768656089644900535879572507159329540646541891617429\
29976925870292820675188839756632807550422265990626630478897915324704340109650\
77212272205690607327486029310348400622849567912477549853150955183158690682329\
28813832539596421779376113437752727238317186453712816030303352191106119428740\
58429514585877452783084238396074362654661422946279399789574361007968345316905\
31057607758123942237136969673219333068425077163491188895394018414938632214153\
86646725118402228571639236147614035126352917257684286133577448939901417310037\
31597881912680651328467841208543963758939637106986028918292517953877161416880\
38433728573374773244672742567871392422555449998392333069166214146231899475453\
96245322021342775614048832454159477779047669774446955246381500631301264237066\
06065549615703919561135704689304509817163694886816133782041571258625293461156\
34817132287534772828799059626195603367419328439855604633370444467616262171489\
68647051321166548576075232281037058536356561430606964753033690367681778776033\
15168464029052450221933052761904197096636911275015658534718375659048475595992\
54431684210870269157114073990091789315068014453854722232956435619948551577385\
91961606130335737823372160703581238454268626242193571184083147410193516247952\
28990360436398084848521783506990892966261696309239230777704101846626253861313\
58744077583874990167349220916858696170785517946467439958953973563437325934567\
41728845652768504239904190162436018058913680069602150825819780064658505079665\
03134320102038095734815519097906098004701271811366814358977170077931084585659\
84046487681097600613292740243957473577605129239619454777101288677169515456893\
65711085113743992230407247734164560055253481329503252480050519346432019489794\
45681871225028847741333652936188338327349599459320721476019560597595570323514\
40029068345995934605851190918578758621845478693867320467513456040781950778328\
84837725069905898327830197909031321138049063524091557327202384003887002661833\
36814926414837875553320066813410735617399107304116152453821659682266789051565\
16500739966342355263317974159508623044848224033669764580036443672958029402860\
08568823133663586692176371544870893519666181417957449432520066711248965606563\
95488169090327936980177091392668342102611856465719576277843917639073400688208\
90392849506105763983724910476024922911430261309060812090631957726969953569820\
43034279180962257904135459757629199257599764969670347270000933076978451980832\
64382969157960054840812353151569305594559485077075407617606097120040660109539\
24949730471966790531702889449203166593343994762006407532339491451810710015138\
88283913321568248255423988011260550521455386409553911646622403356577122317480\
35381797714700760216498260895265466193096873396601497234382105961669752275757\
56407371336771374335786566276599419744614028209580649036166449917509906915516\
79164104618909658088668878330575542028884882525932933251760716901678793721639\
66441962805376593029088161828747064754940692574211418918280995128268246835822\
55843796353107572557003548615147231949457533482656772164057818720319197453366\
45415254062570889206782969351214106383533381993770109772646301907880078006708\
65036953746235620705664532770741895010909962380034519609709694853344511808421\
79206022037656341426704163634146463699998918334323754604660483159396426783652\
47514507045999361585740373035419484821574064335952365935232793544500829404854\
72618691911032064251018089759016145595191128315723956874411225166658093709246\
14130555415852530605995000741822023401610177981285570757756042410954676241206\
83454895777389436499084739380942982318527341006576741156620941538007156990350\
57876168910480390634701337612234290535806252380820639399565957432382502159139\
74883659030109492721848259723368964731960803009074103862597248052307262767565\
56154887180972128566151122382103679065159603995892901177685881025094975746198\
66472409495571545934093082929177851847593820583447416475447101009193069354987\
95166674034209514173067075899059949399616844793396275612801369403494326704162\
11179999346043734868097694542075036003445927598565215861589035287213917365874\
84030554860289433980752710963819155833706406934291608569555388983429380320109\
50573453127220376799326767815102125083969956842027376831788435893948801090584\
37090068590324406773940688347246878268641340591790647644350511944809747246021\
05013562427591703653412409680509475061783041326573054536360273037234691670400\
69198278455733192402711833799179533506819294701492163359553640713275123827711\
79165419086912511673294669511923553336929179121602910709768130470320548882994\
38611594768224189635852632291293282908725238762641929952061063849752042396666\
94531175468514646916688861542178800247385410034574237604513644419045965525613\
76932187225362579640464605810828472425505917589203819833348099547787982592311\
36335559357013244916032958930085383917367460459997864163792496271249629769840\
59720669017396085391610389755453073865520635857868805614569419306529009191518\
54852722500832516583753014873638320471983408460373568530781004970806966721590\
21918923974199041052575605975955399460103648229247921493220595171035583761422\
23865716103031610942671186167675765043265874877367249674991481811345945857938\
73850407956837783460142000870736932375718110951801173892025486770920700185704\
77537618285990343134975472579701759879235656072281101945077701669638782485692\
42217138016396702035020534535079307602734231270346918875607548559256927096398\
49860777783898304279445278769644460018221242560910426377470506920492685738321\
19974702554326344575710571367818589694822479036138851057590541753315461453450\
42599247429052514390004067531952043595938792793584822775848496606393272077615\
40656694257675996871743697549055049228627899921585357563987718888404500729385\
63290388240325201472982531679746725416935969487210219812080143952812205866912\
04935736618799427977188493028630442041141359537907551272429583341883382820698\
03570778729613074224620475912790157439337763068761998181970844739589132509023\
40849074999928336561535132610294749655076838326952477732307309225578272269546\
03587256491635511956244841890274117404752487023383108772507346280466642346625\
84760147410515442153472205004471849257079391525051709482763495069472207544701\
66726520416946419479169697191223183230934768011558202839041726969093156629144\
11588582607932313016201560584699765130339401588058461557351581927314609461324\
06109403124162375865692682080357092721752826794311261702954419396793485253272\
46647408251136814245128248466694217391000911423376978860077828326673650472508\
29440283103996941732999337445712496338825797349018301000749085116593955819728\
65068320618235525067661730906998300858286437415989468584748183679271337229961\
23417159890261070937843513277834326412167177550073298437904396325980960416746\
82088807596423779576769262161097496881675640208815291013357373604940513727361\
93114552645988154475024520002914073878311484845536996223076780974569259422261\
40710224867065924033668147697783616707197118517662117529342279762641424159445\
54527512249864080683999511943721409211257491607347078293009548988969253063422\
09054050328941674859533623153135317392279725378982017957022490102423284546034\
99598930468132682858580806755640447193992532699372115811307482861699509085367\
07981743881191590601789324839694426148112065820509977693698321481479225877683\
94784461760914269030237446524477086243899085522028522349948757442173947910964\
88862447006066349028691569684152679496568028246554321062004096998284504540735\
01933080982146901932366339678254789992705430176065420458180316741485077349052\
29502872254631883691835161686830701817273232932451370589541671471600742202890\
57441143931264280334749051046347332094655037137656242196589270615073251525669\
30592953287124170646436158565039178948174782554762744987186600022742486880429\
67928988631674266170084630270778564131352070002724284270622569960828480585412\
0005004667474777678079500553565139853162690997123718261718750907
1
*** a(t,u0+1l^(t-1),r):
66947878837219561943455572037419398699234254954255358568667022213566589001617\
89055624558351549418203774956921654294741063443184468077739097763447816173345\
43070324392704450343480837365932313038146743127051609588147946075884180940882\
63208033008702274564718446645269296087502639597103560503747211232170402712462\
44239861260291200371246986200939653666245407683882085424512734330463689238076\
51010505975819090834938555464100966324298382131433272519418237547741709725041\
67809264176735701368810904568351180240369733006169646908049417103553021002857\
21712100073247381520287025998460204373639460804145638724295732226259177067390\
84529048235085693110006208630831642326865068505421884618765086481464988139473\
63963831620015161488536615114556111630111731058563052101986509114358706592136\
22204975043966083714840754797680478878839202842599990237310015770825765252117\
49769159259961845386897622058412606336297835234434961764546727718359269526399\
62640038826065434437544457891329735323166447186955154510507197345136628604150\
97308303959754719313992642400286772479705753656903744005530299525756522848229\
79717638319124250055563118587437696669570701950036477657626066758264230713489\
91232792524538489965244859157345632535099019311546258505691601190637817719656\
25995606344388299303852429754596448284188633699891047337083399878755474362233\
44687278299876080778718333783281186497381989308690504659611383582695219431958\
33954239603749101688701041262389832686537271422266084992938189516509179855798\
97295943083518357438347379064299598926763164758200724261255416933038920342709\
90528420317766889968465459476721664058211474256276518312175014634874240161956\
50663053780137309742035379547524642757279130753858567891667306533452858043908\
54859114130541876293764250346559637007381320136531759589298032696386772452130\
21868198914786754795541904101689551177181332723775734894877917857701226458624\
88765725864525707045164096219754541213463966765275921919396131538733477970027\
99716925433502574298223597993136296247545393420647096608732340583954218685748\
65639965113400462897677832619128657184358287075686403414234183614222919265380\
47446501293163533283769072350117635592619003836590542480519087528090469052362\
67455290104402124100301797632041729986075145623751760857214582548653563363356\
45131311135537097949751246866421038058352174569087837533965177369260313319201\
49876763447936477059984992647497175521701802502233131616095057049496148359931\
56435538410099449609657757779761303387531512508676971561905716505996483612483\
08793481751818699438395563605267274953615798443056626663619555935511368897742\
02764014834563333335533185663111013427466599926457409670901592148997626551438\
45921494234901211704353700625177344054660351157478313864068117662184115515021\
85778014448842130319768946433858628062901033445517403840426071151061882049071\
64754707149563311202657493343765340853489442303105713051404115593382228238971\
77095209790892866867885623896616865192515076829114752817664463999090933559214\
39603632936265343432584784895540685118993632182624809271091486969525396509346\
88099615122132666070100267797686396531171734045134502540220617365378581573532\
04674738581563107744197964209427897183986244853369774150881631316913103491618\
42747298821038700820526461159845758788528550470227748016127517498409832151924\
68673714505922711710453928075346481865058604147399183008901818739353587948969\
77696940623343034729842855072644715431649161850693466523520528356648582991516\
30884552974437771145775575614475997184306378526448912251518479123372126395784\
60958174755589545181909256960786579400749744353560725644645162588001268623912\
67483118374307415118117979876764183764769254779790927673100411994687794715509\
50094790003250886281915997811421923683332506996741489654459566341502078685230\
72838404611011914979098229625425181186038560367609337195156167003516619714911\
72028202199789576954291205275215032725604967366818707799145154423774356115811\
39286505955938464702122531355742375469924881590454941146679818453247454524654\
26681633734887357524529063277189816544554255801031799544452554232777194811946\
43561323493386489209514389173677851101847143668640869695450175845702299454753\
25232616169724023020800681544431212530932958423031645173565277064190396372134\
69881313924791590171886134499050078375768833266869452291307654147533356471205\
09883269561987184592826945390916657030497881851910292825456315754334385726504\
01338312885817722515474506254207477722118603361165617162306614685132559025112\
19048632843316820747996931336197505881430195976169300323095510538811046140907\
89821401774970197146201872822529758752138776157477704958221378791492155141260\
60433475275047711084329843185427904057515000737896593275118901161896793849799\
74920220969385221047217839656800216984206788165476476082067051792059949522369\
72352911428568267305855294040005749096497978476724209264857510979336164170290\
40983506644564705847900722691544910191659528987498819378353302672165896522587\
14317553941948321911449131447265045239280853610078622379177051221633144299269\
87493350591193280144368002650150981560244323300635853625433440059828263139208\
95797694224618926458769636727034119196411448051404282650137008383287798734390\
47883162516758683850402655230160833497396479450493829637100887935196005507721\
66784865810698693192184933188144318339758131811532117649057106415621841078620\
68226175962261716144172078407830610932944365355086237571923528643103661719240\
22772117227853840268919971603898164993273793800011442607326030453795300163691\
39391903014498930817067566536413097485892387565048333524010265853221697614454\
51406533060867036522798571072703639890113835329738234414277186985768496624940\
49703844197206968048654603251921410371745778631555709189166604017023150337070\
04499680129141697755995875556635613033515115726728550078977032876302214234437\
89529387949518174650536281291251523037145180010802361249539418578354857796616\
51139369871325550410778488221842051559982988483894534451797419007117237664618\
63293307216031118222113258966385317266605835691468384791501507288401278510545\
62290707621723926268573920365250338232211445709502556450065361177914453042217\
28870272409207936323219274405183948558958976844716932010971141976985589860018\
62159787987645698494067180307760568303401482131435210299428220453402408155393\
86527576039350175987383745493434181295600259497657850789548456378007142627781\
60012418180361521175358577056191386120714461932144665719140933815403256065016\
66276616292734479373319692273770603727553178562284812626712418716733992022100\
82051293972483645300078402596240889166464625099756201099236282444317825380631\
04807312665639523052339533982976135276254819223209091430880082092597279430706\
83904230521232949096739827142713508608734854386082806772523352468045643274203\
92967761601433518977892106421615546058731992427950654206384971959738136434651\
94258544482221870945978972299696233902345141195685278003078254893576481847780\
76689861152611382937721181369467008913622179389559591901425666973770554520896\
67692755791980002384380578628687563808708977647052395617557362288936976519881\
41180086808940942671863539290348670415758596402776013068005537251249431117195\
62588249549353226970398025839833835558703581653159538956840059837367599705273\
24702912395842877162409675475757983142695708394087905314899776773643757964132\
35785648029757057664487314610953185613998563165182376983031458942818449764564\
78743560623787371236726222477207659453350091904108341641252339942291636616139\
66672589020558876580855247910894745080248413079416297594706245343210504464493\
40900854636339949041944590196429719925762127382982599274809266490858934438132\
10394798680904981424115080917665268892084378408325207917056983895408893472066\
52395266284757905229508668324882089546483911402597247979414787124688510620929\
95473317994761527407129503494747967875468187348103876557338805103841584199337\
63359471941958267996655070786085945879636350757274612551330230705992283994814\
67759102555226056744657320304702735059882482695914254130245607239409800402609\
88781378944252590953624596678405167880647835086807853544928559064119764402126\
38298790240814396618820267439085871477042989607516155749370277439859649535065\
72481230907744074174641645989276612076664912691092132936278910729050148387568\
83750160851066783716500311486276014005713697378851792699167359940720711975137\
85194334476161419876217838564271836134753954029700229335803794384818696274586\
82094917629146044676151755749534992523634054995146858081581670684515633395995\
79476279707217070542239444479143548066783613083181235449297759757213191393820\
90029735425531115491388278559124106688941788872214012993336669459819098507507\
08768238236378760277370666960943738005496982066387974607380304395014523852804\
75793450290227979246550626420253488001880172532999567971048720395991362236612\
28663999688165547223295933063638950961622633608472337950937405431495580627187\
07961586274733159519585446260631810433616647482326368205476804192989153345397\
77682040839913382979300629295040997963076657323422314106331373530611708560472\
68600652903088703058934171149984627886575033764022905426012972411940818632676\
72946160027024345425571304369950592313583015076358349729782448153188953120521\
13700979425303196568146716329807438937294156192288563775150384371153282115120\
46502328291707623979607338104211082557792606336254556985631344489177710458989\
66593532496925551527181477139776801083137631336629071837514795475918462832072\
36473180174248354169231722525814463690557542922384830699150089543812550325806\
26804844093371337710683065641208216090395074968226068945634980593427565812808\
33922962411948725203761649757814709158114777498399319598787410427306277614462\
80220660612687509028433430190539459022948092961250681798284672099819605590392\
19020321251308244605246518588876354404347300903365978823695665561892801497848\
11659009917417230519599432274413003200888589873973595660054025863520373182760\
61204774485453325585251269491684218955364125137453983343159529367676850801610\
77787178135609240616389395826055696978365236703670352274037407241066641253354\
51219289534752036405003727803152472040077585893530031398297850061381950797433\
06953496984436276340835748226147769634786385571075486887667763137995848345254\
83222664059819272995522050598703839460899456019502344312203834695817178244950\
21008435002246189011801999602486834906131015053893270546486152511781313010429\
83004921441166967679030465107710580220047957125855214660972593777458802038054\
78747724920486270981247529493807473952335118116664684804349934673090573284256\
82082243354834669157046082704047722977158700755018227725271527718161361244449\
07283769671113028346633627566239201083027193041124852985030817158207050263176\
78642281154744589602862525592655458418819680141268990092026369999931268336393\
94439744587794610149216723340896854632814641755790699326696197194308477355158\
26916024852385206450592344532000833398200173054464262284415549879431760554841\
20336332375190104002033091487036158507919946459696055670349638734954868291675\
70632682838869413100974148272469203022138013507333329943685793286779619516813\
99541619248521640674487475384963860337211345851152417066929052189993322934072\
68625430650902666913331906472409174591469355014554105997655596299318397484620\
16770426316648300121437938936334607655506400998696689201201301340919838427686\
08721104680649632929739931745143518311231324305644391369067672825101054960924\
09961865908675731087379173292191167479349181771582992661501107491003117530559\
35584083416874190763060639834685417165528867211648323388820442139059648168886\
73227293207311715061218189404232667316699649341136705159317502111723489876614\
7965191985353007987982754123379436350660398602485656738281250885
1
*** a(t,u0+2l^(t-1),r):
65813169026419230385091918274073307195857403175369674525130293023506138340573\
51952986853972709597556253347482304221948842028893205906929960513219887085661\
60984386691133188473252348597018206037500188158796497561230184277987838891037\
16373998550927659741587625515688460560595815197152652698598953414675989107166\
46879863611811688500547884739906778180376841451951880586809128663845660606922\
67095073671144190990278579947760271979818748535985250951292504707949477356820\
63270124105943570837136143473972346676973635836573551197743494779763986748571\
50157657699124544545366906913740539892730317400685543152697499476661563896757\
10214996570084240684412883060817546694206338530753717082853813829236768001516\
45930546338319989259917350451597533466889498328756898676529110654793304785489\
84540483941525980601029894546872335169028368896115244640067473130642277705471\
43840868425047237837967153887931036737377532942325894615995088265505722585274\
20900377151047376226738619621985163538028032827854219688295210949456346763402\
65150536096030063054433445071468352607168368001701985632555209703286073308429\
29213949534054347512248489458837057742967808696646028883767997830158057311566\
35449185871580210474308505612305876051453273221520050734408692695881244537967\
17080426575839345078363405521467694923439673806672555009336223609624025644229\
49014612565979876019757006092039132488951786100068631699278987250785130967009\
89310947407075388100756955817264581285070538008329371687973135456907329349768\
48189232183797707312273694673379266741563789084332915375471426815529786099613\
12722853871703044375779604231353500260614669607865051900104251674961117447347\
07431476597423118051492407012820835252918467520742320978249216592207894348249\
08166586772397098729463161357634897397086721490149865358970947396448013597009\
36751788763688674205786956574542270648754530474220213964456258232994426010173\
61837493222754084891856230182131582887812035125186499513982637783839690207824\
13281045341409310327067265823761104785722590142331044123838572099480418369041\
05205389433512319458734140540838340960894587294742566068230214400422530803255\
38167747033957371702688240615369879057150885127495787523222153841173681441305\
68006895356869884708771258689125768460887431291145798808787216742744180933469\
05383322811205960696365632512752884870922476695035501304575937074866070720570\
96489021694581621516595416500929426784045839747957993792093445913064010252136\
11411207250606238599324575444511111804691995347512955094754772158437221178373\
20508846467889568939439706595008507581520615418598039771015834648468803323204\
02717167125502937855269911329837945403272250775161521371394785502404446440397\
12939773993631699641568044682377728053733904527690545832473742786553876269004\
53815675220895653534688116833284753010987456607457786826181561470535409471968\
73826661265672407622951434134548979144108265314917480626804045837562190472209\
53754613014776038615887562474640308155353804340485689210585405287241934685329\
40627300174633727442201991931209487066129333332071846402089936342923271144781\
67962333509893129357047720885861203369626450417250866903945691647321317479065\
40188726063231529646838676680454542994427155957549947470358213836965423771421\
50497344603732960128653131309678881520926371648698464151447390083182546861214\
09882634599042665749259793701188066918193204077104281601971279438686577983733\
00108856883964339225947213461243957542977142158308831497698146520095217178100\
77818713093515097058559040434569624350674067026000625603187657443314971711110\
29416510776681247805944693283485111953279409703500374362532532713628365765880\
25661370605251357234760048014446146751807064020811420424403794842235459211856\
79754200342178837361883523272245280909038735691711972880655166911985094300735\
29230974024384594386232157936858652691359940700361721310492503155999388872286\
09790436060810092599133727219702913526865900123313305972040999264049367029102\
72518938058380185639374691841238267411112595461803162483176770682853429871694\
02500589095312995532587892713169650162443166719658379213190646533916564391404\
97060284112142650409353128340225684134019225979341871904001867780520904548740\
48533758268542259918753212365712039437188332009081956272318407961407508298030\
72086715383693427626599928829574653318552412364041156489760066789100587717455\
85986942959241639091253607333443493352014866905267745489431632436464311392156\
48773256735210642472839345131254808608184389744874674498538705961655735990788\
25505435676480942430234271483041615951236463840979990148127790021204079257163\
69654937338106295499656078367910610298712695205656048941980338472992288104968\
05171890948351987167646286521268109073489322759288176439947394362542610903192\
97379200274988861368451435594820552289559215484705688351862525490499611394871\
93160489200965415317620458547802261823675978841525493853588739606805042743675\
31814294667538185409800710442535674425699197987710703795669348389586813530678\
88651154722593265607865247863413095319971008633636611830377440183978345243350\
04654480242190004209717697520487405601596114431133551021612534296102360374137\
61970614661489792112010829324880998532065491304770311757761804851367666552451\
65715651287661079039378881412700480387271115392010883372065279665107937617760\
28364783339330918731300442795124923113660536357099369892293426645865538687457\
61985054335782704006135263519562295493402935433813589477484146801695125079931\
07131911851110554840633192424171077451014915938994299512286606208815718804984\
76012379234592169277795234900202706003080652182589887193094837618421329858277\
31891168093733696920717239359606968027569533036013857559797912630077505156721\
16658016329457697403762152349346471212902629841190358185960390389615978297458\
68830194025257940166911199699743483999048757833055184823401150963144549586396\
57503466119865324232730581608348954850074922722483677160564174195670877155995\
89255651737913252946189022319776932042017175119760728783122886481572877704201\
36796810483556014523433373221192345787510821527206208778086227503852104298502\
47675610882372673280970972562449485041834980527985563967860863530831157227942\
41940267792102717063503693483062186718976621304975967061632648045172274777645\
42462164462431364621286380641527338332157389213953257582488759089785418186658\
37603379835293393343529783705409873138047712726511107555827296100413801227310\
72554580584084207257132160495916955847482013424820179859494477310057438165609\
60068538050484742434788850031842288410137022993432527666937631958823246394607\
58626695769560193684822836450541891044999122979421350233147531894414133425027\
13200409061137158254842253745976539763097957880442835643916012904587156050525\
36719413054771373688320508038599720327230873803267843945870414290621140845827\
59188646998019391537588850380571214769600941708832846507971667350251049376437\
50288060677438449404521701582752229937898613378809256342009131929278575375784\
48271388929685766277759805414052313847289600077872141191232011601333765461220\
46206437897200680310069043397692859337374927178458287217259779877260078612764\
77770254829128384321492970827800387866338959175610317931259680687668932284700\
78476584302754019733611618622209533261098436201411072194859719840124081066200\
81911337609472658905419680976168864784344933675544042512952322930022677320672\
48738433656371344822716343176869233315456214636958946864674993537007967565165\
38425873155587585283561371248780410988039073397259047715129418926320591927730\
51983223104956183757450921675116868044989965400104156957507834405189987439671\
48682196083181644820894681888015656876172938783271029795575211126607088091723\
08523700398177778349130079546179416876964304198014611172700085863283319006438\
27778397364677262767991572251579003282984184090688820047560299207320908745998\
93855126164341840501923918689752239606392455359152963395350011796996811585789\
53811006315823382098406679755813302729134039727490297084358531880466991045750\
02203863528866293071019060638521332770731932141746215924648224065860481751718\
19479999640112716530681806904194910797924990424319584840777227554558412463107\
29175081931648050913416534092660687214720227071795542940058916805285757170064\
61083243943206039019139245209797347465196015865819384920409776648896756042016\
82330666599353787382322340105152691734430414372430575873757743670539004992508\
39682566095209531403739570114029940607046259893603615279264747022364142100441\
28161105465940179512149183618186941802894494740991826588673506774608588762165\
35756342763026950702540470843903826913109314556347655187445255354548561031213\
76639400926793299974585087397105054033197012789634114468025878452025554465006\
96755217249321493154025401419232827191844490844923771647933180591709192940045\
35525764692088521971185361565672920408627966218880931225776708185889813724127\
33262914947688165066968883350695917894476487276125349172107957881809214853844\
92572406846347851731117896324010932290673992440253039930807705816836794814119\
84839972351101291742363330493430133590821120758618546070630841775855577906905\
35234540142019403007087829266086583346124609462937771435741566099874025096529\
66625038670634102282765011075544650070979913125911598039447152421778970864241\
11773844180806532219534060120827651836662051850046384728113937178421870553847\
23680254930831223573173315424478691327999511313606174663840982718174698417311\
87498726861384440484347892781475499369864112161431968925014544705140183801020\
29075329662820415962973557737241337187327754059293562382215342263408947777911\
24655609447720976054569793342204687004117192341645966082149641939301674866828\
53686979998186882403697892982258527646960289744189161639485928894640069519302\
41572852805692805485578626289004891920864226978856602445771372572704019054961\
81409807331794545544140645392454721278849889023647911386005908518470889608054\
08071569071359311358250289354507698061890478181194382174290398306511553298307\
04235202036547337016009722551147198295103716236819170066156825480089107567685\
17146717489242982300857372167986956351613283539201363252443552881048562588043\
41876589712129120533732478179370226751262711556351556289852123789155138072052\
84801742798259390301160566052823231166400175646142004059063224779724732271606\
44523974838466403961699642961437672690375736425951457120471566311142310817069\
69804902205597948520076541982105702111111845307217113418579607553954511094998\
81598058365892951277690965699105316148521720564400041531125600662586618952664\
02836746532003452829022995095607347275176895775704266417835529000665309330286\
36623222281023912052689369437877422587715332945611139119758450977175575460644\
85126417642789078713639837268506333268060630447207482595454023647050998563800\
90868683169070952490949601430068077767653244884637312293856431525356162093404\
21652630272747243875501185657152840147512698675184077304209820970676130281342\
02731007482005796171768745472136412493145932833202156144001727000119357833572\
70839106402729254781659649258442325312870455841735105574242017739447158659613\
40621959400922473895872891522088369072610250566531070114131796790393524270766\
30057862990072121341021585971659388128106068802827799828506525881688351358918\
91191101317836520016495772464402239428902077810917595726508891277296051764541\
85977707226535617068532211157752665152870699286854372435079245385988993708572\
76369899516570825591947729512174984102566386605548723718744491929760359114128\
77589630893274447509626983914357418878004280385623958887577359906409844352075\
29896217596249204478940967973080579586452106750433945026298061763821349047380\
17748864508882702941536525177042283124891180708236083037973137669151905302434\
8847137883906346835644063375525547598954290151596069335937500870
0
result=O: not congruent.

code version 3.3a
start=Thu 4 Apr 2024 21:33:04
end  =Fri 5 Apr 2024 06:44:11
elapsed(sec)=33066.841123