n56-L5-f13762-r2-t13760-ver3.3a.txt
p=1881125172209812442650019477039556637441789322796241853298498812722249451633462333135111493393190534274126264548037011068498876048959152002238818707873767750888073803899423699139862289774764018787807205446478211435223631160309377520653757632640840625880578952789913056943484949808577045893121358082321650118692548951208637828859343618455346341340008923665726913909137297513916710806851882564593077233363527442250865912680571043017254535440827404413541523402783510182135256286212034585119994239808569921941927747589196923541183498344920064348461997985312675499171322260788828824760463446432768797503291461882242305574062294103870791671408015848911572216691931385079853364087022357287361182206102137220579952530473574873376245169156510569700057451216646438136261583136346401135988488424163771030977442151101238885359759575215616662236695835622009441479381582294981692403748146476486604711567206938202082910929085547516090354743542917912986686487958751921098891835528956196595307612967202695391779610102991833444013020055794917138263084952616911083464927428873292129878980918049582158223366911731930054253642494789233937262332655956922678191695177895486535943259951057210853769095050727738209336930709846865069714920483615542007678090056017888008712495395722200278745604312366595554263262794266336086366836542401047143363328620637958389462633503705164876844656367125433108901368269754790163730174699185104051526258581244236199382765275720077896921551886162514932040001109049528231075183354023647633142920867837547527782057275385817899276496481433760978780060365799505914688061967043874285565594007049267733235902787716670040363354150209075352472324136008516576467430836175370706668375831666224214924900478763112955923229674880716328952629057797063191103227448308195969871587128992981305629918699575532387447258540353326120259641765941098320772004018444676552166869376177787999583375347484989247995416672009442527954734876309530184407267203984221557329655254677251051921488817862539135861389926489350609800582526375998004053936537167353973757925228080890864115104374951151693614920748524928195073282625770136340188773247629333506945848295425164454353298102384450986144929122716193205248636462881807231634983507734313619824370727437845621661305089674893642372545315710094625156809904613774630647638798065053433050791622052130232279609856945837461794552973952336072233603918424691470961300970877553380886412861956322789611433420541063587846161973623462028344987992633055879100649296752908463698298996506831694237352108911979311770051148474673899225462149332996317967956284233701462211363022655439609866450828610862664535266378566254549797564069653539582720518257048587128912650494164478913969665957753405148396712888275750761370275831192298623222513650173955380664547360860758271836134440762964945253719619032813891360283769259726167091369090468857975349138195578890596378809933621368679453538923691002234253471854716301157513702822496854780350506551016378895995138645885488976364994768695377797387434317702748057463283773603288640296632360840031627402904609515503845200590927392621839465738502641686352701793266496779969571864857446063895806500965242299469302650616200556140636859798020772306408157329755623048161392543424676388014082809833627361832654047721862884891173877055864960143810147193613809008526700183846944889578931748129713042169853514930561572267099152678359937695945394807957731825662407688350869418394611308238642319335585259004031531806914389175925272024911305109439015706173012635465162900416066389816902345097552188335322611795156647728753119786953252992258192064094940508586701702230152017166092171866715165729243931100156389689194677115798721415913383285275097295858702909291612703238384210238119395414331822359849579143225807444335603968416105733159429410842374580630306737341351244556474367785305654829789138283538843336721339177484159980913057668615065242031273183985547827726290959617933813173288631519524329220193734197360919324815238206714241192144814176617030678542824535856420163162106813301106812995203802113349149024914469718627178127563687806604415025237409827102374206937722072713647047610086689308215212509662368314958177039174496711039837046912720748705899319242608900333537867141901576042225950127538496818145176948020965100127237646106175838978772230059754041948900624699577761838695684029513395358344382708774527790090981544969333284863890852841420250312589495056320349132489912853172231547686812317268669687169049219341120696213426227010838883974500531002161577254491143255237822659851609453683965513326266286724143018379886191925966042155990370923014615782144155024657881014928956383750708725385313826625848573393406155622706133392596121358152603670969710039707523845644555058560948381080988269422327916269134338276391331023985667458399074051051860855559936014170219226440171854786858242978181422258450673006167367768609159482568138012919950914175133058448400929452623974891971791365813711550197101055820567967202189393218067465230615441098439160234235288685655970851468507700007664836707716095370943051368878182348718658062932056251596432650978963971557107755332554783662558922166381432314911527458448497850048871807667672951544349292767200753167901762000771554986843555514613279220854364340521310621600235756553764652749302456805231613394551123235710697017447452224836192584176371794067734928054107179661126027448551703844392331794573021970084850391126552591811544203305307034187190290728353068467544056719573075227613503486783430889560142441128665926915344766651186771789223904795241258699874112103520031700747332248828344974262614113006623575740817349423499565701348903874224549625222073073658597982807764852377087229620341608786870859410320693816048177142554165155532502468013196822673303687899837033794207926682348908899322669245621876971598371116395891087874861036998860598539364995935497482193479659728975356744001607548455193304768908076438669994921968290309475299264403632453375681416592155656230013325229495017878613714545025896894596780895415415624238754802204493739543233694335073377832540008298769629006783219780298747407466230713693834038425717927336374089924099030857668208488704388623833045884775412923590129039237230827805877221945653655773683008849988095592701097137824560548508728865654759120496761315007666685653760679906207037406099183473051199376991188678945580257816090835298868954871197258898879921068631906923686092211760194884925884584175855784388204255483024449818264375473851473194602251172547862834689947508852555269995498221469081285224044724080546287777539859794782087595228597482253646936112556669524729183594794747644924465500601196669440339858195983225431694619276458333703607090127534171685771711411998561954751284629764046757882074861406616837472389435361910235078891081422547850698302077985819807290820716586117144076871600164053165725242370258996114951449843834563039261319733359042515450995572315934665339572702455167176055894682910121162662925171194964460629124888637557056524217016977443802714502840616810669973103556159053780214224704754065453508474822600266377067884938554678988070212648206290843785568354457850792290919801491474370991372132201665355985331515151419264174993732847517434222427314873031358199326236460177017661875380825706485374175022146723759322042595356279429197595912318512135161135337077878545437754624919496878120227245566771251454458636675251178091270172683362240323880115359146904600269472995751790106976447892089043340957115290547568182923782064946238174702494570470127096177352031448063693220935611808881760533091931944107102198156606560209603977993469345208777529259147675053759384444354848016804994233357213154175457145175324938231446889516029432968031820546396252360110589758447128205587968482670598130984607122256810701917173722724177359539117707965765449785193193840365681411539911581814392545119738078799489360251718408485131465185928468627034628653856418968428272213787954150200736922953520188473031685861262276992869782700987111073309235191810748835562362970798072488360775628995228318709935128855202859643681176276424403274137448206401631739496328102038901503753835998361286680696660037533672841754702131594116559077229991223870682289724337407985807368068115346217417151816143957667628700350641313869476788267708206012187479919464470064129912325523316889102032760076839040292297113004110785224757563898068953145994214673168396932202451114184728684377547809142756749960033090470337003125899370583607063040633895345315468947304910398397281865273855300520360742999615952481097717690430395421051615320735892710962553808070045444885073216821567139030456342268637931250741487775228677072152914403784036113632487576094361415917431398329185443033113439095956638838595745525870117675387435347242146001567887981811797433577201775978694795188901975339409446697482938390012433822543154893638625978715217128410794283789843283990588708280221076174602212378750942486600668100624943192734456415870574708651208032116954315016709834650285611455535565919730529824854916904171730378906249014662421199392908524488229885338448055205022230714938792607136830268758384956089169276865008981057194680367079003306137570212762969783095632958242416487781640054075653997957218987289354467497835835498250190110352272537855281652051591801444377781288736591809941691408367297745727610271622971841041347074700538534278607680404219314511563676066454681190224760872216237552762435116857562287853218390446482166268649145043404557873047951807475559284992289823678355245507946582693797300924583436285768507388622959534021613352119219404491662035378882929250991197404364239417717812996708703346586537443049444440212880635954206809401512145996093750001
g=3
*** a(t,u0,r):
13017386191691902103138134781113731931097182113749993624825611784037966205303\
55934529497153428087849717695375067241611659401222225879733185549262545848647\
28361454707229840119980478470452413670100116258616896292231317475276293408924\
42924002817874617131093606353306198354048915852675353157580399797929665818821\
35243874236377377570665783971099668207286175176683024425123009879630363878341\
50273469840944548756099003759921157495516176794013852505256385417073419472618\
90460375973500587279329030360139475303859838140013317242710904989808546846845\
29135702605836371445426555004465869546734240704931476007872277691622511675457\
25110751987858783661434696744680797395081651847525852794821947124285393808662\
26789566413271510877138123763616570563053142324397562419193351902930155303517\
09586104033989521329553436389968562057308668953626049206730267793518250430533\
50373205494812733114339371736172873046040450720123584137436292719888113452548\
25316991957867870496674563294004331501860376880439528681733042652111114901912\
70348743257009878610082659678054787210902469757729780780318153876254795290310\
85349056990291849559754352060639414988458553419792219049330865306310367668287\
27358861315899108082137751035948408611560512140306282427249746619550693132383\
18764378502029046813839762592891958184157684123550177853632304571765850887341\
52462320742340548146720550814238456397409477650220605079971135974684267031479\
33012808918360920036561709382210114499728735707982939046697139052244603329716\
80767462273535904026880984364162134901240543582889225183634566985986299335565\
15216259731580177313325809296413888119436100561139105287809327139924472909993\
56679314410719446801439108483021178934709154621386333565290145160755130271567\
28031131304074165498874935017455699635219307995567728243433394229271611151138\
29326314306349590374010626841211350290992450167521967210203124003797422678076\
37161740994736083150292957116957404596125596128283370305342293446765344061948\
87609828905157081317672121436236657727929670261960877082016081829130630621982\
00310825219061880532408371980894984048425783197647796765222746619697198152515\
79792503109907115770329343474106310873594987868065270204342138024124822868500\
40082412290952919605698032056432314210604291408587352145024918464543386989170\
18962312205502640052180135847138548060851245399273204440816604826101697567114\
78024600741207374900210065195235618306579750165619856539115498864979052202718\
47266939573397700473775370411111927014416002789544085747435723614731690902074\
66833764931335301265687922290558272753241224765936708968374487539474447433826\
40198073384334520338257486897214118502632116775642100275839733987169638584043\
33967848148459914336200249391242598633877622293207554141961819408467008842765\
35636269052531868681952686823087518507064726997944592037712341986677371564472\
41106050330079717421155739763707072128213163683277305076272274106044497189416\
03631340592292694136474065987126181848935194173546103402523463680400999482353\
16782350800255053330333419602863594295275837164457637993720143579210454785030\
16557645923713334757390852695937013018861628099897847286608788089217556943129\
10291043828046956069640940415771738943730481352676215898098667947671232757434\
22641078484932070698023037443603444487219089114932768364004987606050574530440\
48701343881966010235291163446923229226585524195166218579807558339004765272220\
85863588620769705761425181538632331948608008832613653425076885594213207106750\
42335838612033880163752907102530114048498022499923078982001038475730974028824\
12386231357317988686717247437418927270879179417532964228075061143280432473622\
48400228297158892571651070642668908353698831941997577943265195878935782931766\
89468463680032130822166492271656413271521981206123341036732873422241322979599\
06409618734847786216267176210730159087671122587514802379461439451673463251523\
02923209796172262240215061233080262507431513142214083692208879589011166710819\
03870679183590668162514748564104331799909678659334405561019871591573301151083\
58203740640645737561727721448390462549049642114102189852295516345788126427529\
08177914804365914592681031062437611125240813045290007264274071962170255197464\
28760035484295120090367431784375694617998900128492705668635887395105851110875\
17240395672364636027581044823289158853590308082040621958906212203574882566397\
98156462448030507849288048451105473680573310383201349797028639232292107811192\
37741334842326958797431283447197323074295922911877863312581247016626281321631\
19305789736815996830196943951842309992741235499194235209820597840555217796909\
49091500507710354367453495811460107871132624573280617313741949304135221776270\
41310696871888124481276850117194533667872611412124375527706325366233083781755\
54904379666371680250872127882370596909126443076765159798416017403110393474776\
06501186032100524176279708043882440250918058240962087262801068598081881212159\
24332788771204747572180579170469659892351250590414090154420284786572026781849\
58775383619371515049406060326091920764462934431812157906252444796251430883927\
36393930627833033303915060106902685939585885240119898882090819770473931829216\
20732840530406700173953799669259154726370218531331137954898292610473139447744\
30683175185666901279102944907741391359511619187770012463605122338192909060296\
82468689710594902921192188019304533916050895740416112389220831220123640746950\
14736314353520513970251730010922027646902937727911180233607363693958664526825\
00492814948725702134421683254992109943977790603194936018445312032987164706595\
74393533588588687272467657535681184020323379540487249944568057508544412854134\
17557561856926103682142541857852262124607814294211830695102031288557563586193\
69171539161892147221897289662005835144126456058010616994653334414809633883406\
53674566971749804102973277844944362897276393280514634711941920120705338582647\
48228762849170786513220128992615202668722738559188526418544495833128711797033\
88643460728125459566328094038376032115341892405771873642576778879245324509468\
66849112423530993766900084388895559636486002056894156907090967313657735971540\
28177171411116922105881055237200069046515792065106097237962746761197321832312\
55096677639177164798707774601176857427485832726939880879667332059666316538761\
33154590596805716770870227476529353506400274183436927692467752264585743124369\
29515216373284166703758639232979538864212419176215014915921937459589956804037\
50330933113837588299853053464724023904950952698850206349633514299688779025658\
30341538408734858026817316770868503158024905379493279591190775810538054860368\
71213224969220279663734479425291927423894782790521945066475781140312108160544\
36761259682468368847692566042493750389490637380311420575829779892046158981894\
57719523679789889215311112595047597965370287730126416028095252715181871620391\
99873267653930916692289610636825364680655402429710300487268788896379672035645\
43958040933788515308934892704418826745926283444031126832250379661873066452479\
35877593063701195147313524790681867720219225311546403291933517623168833255484\
45742069208893604262678841498431009897568583067912057380384456274421846691540\
67553544229371894831147581757483911114784359657068329836213876608620652159082\
43495689813293827864577239384332930976377479837859744587152558753263899613301\
28483274826531650263210026472602951548355242634184940848478213080909566313048\
20644819197018921376998739337556304424962220177635313888878789291153255328414\
50853475986545365004736371324410397531505653257891953442926200444291839659197\
25393220570600648537657927381523915895949688667030412503982852965798338647531\
30602387540277019413256179919423237810589171825832571889427968168941262427653\
27950554727605762060075708887443371746178288899616905322114721124371739665045\
95277148078688447405024733019113720149403549355482762905600948319150268941634\
44613248572561612475450923676138780198181062066331965281128454127182668741900\
08053906641348128601713005726684216125130732801069453912309691251353690137533\
05153678561881461555964122285875052924663729418913867171097390866250028990796\
30284686419261523643719412642719389099506838359704233379266159934956790658896\
29083080862729990752733038194209155175792266161945656735264697996547275109167\
80037887342737398328568706570311415882992916373145904661091984059765451086601\
03830420887459733016064942538750631286588814431539269185121444892414863261786\
98703135819582452669056771618705999060642643789197677937481254078560433736104\
26941328437789932926213528725860666997317261588226960219884466337553223421746\
37155770279965538325306770840961710158322495892630839267876709723428986054732\
06163122364443856087624118655578958304511534997995690919050769507867960089634\
15573423911691962064177783363136771780194923775598608723518447144786047066604\
05244602090757888498974484255131095404582445339298167674185529906336814026572\
98099814862527643796326578914499854401994076308255903902121431368105260291565\
03308497848341376382403542362897725679827072016693487133711465819336588860420\
51998631863979291772709302528602696443825715525214873861299129847128247309660\
95652200727662325632460689372243839782437698386635958224932385991563205577997\
64312723061161645352663879960249768683742220312431814639546997989269894585508\
06542060542018753836547376444841386865459808023896137051395905862148915787188\
14018670287847198587231975089902178007103752209544894917420352566586395539204\
23329150850239816478913155636377259619585490321970152659950942465180572153247\
96504545901700400435063079630965140006121756927726657207965148397197656420020\
63837986639383635534523573636386511605100865433103194427126188965659057905208\
37003595404814918265077308702521466455798542182989149903522410773223981173790\
97518071129270879975429564396664998279082301284821869870416859086038200536770\
60726593722422715837883910590215552627313400080311112105846405029296875000692
0
*** a(t,u0+1l^(t-1),r):
13130253702024490849697135949736105329343689473117768136023521712801301172401\
56708528307822388446992923340132654529833725812215482173488097562695458095889\
89011987551512179774199962387826278528511388942940164179158178609454989594550\
94163228275833067568646441090473593137465524949663867780333987079414605117828\
47399167943629204543821845681831746255326228718677385908577833664713864143182\
61403008596790888774215469110440705103858802604366573769752828065198333514289\
01071304088877760001404137559793863818055154655678172594526317460818447542049\
15226474593748247498421582938030602519682803485610072620657297440393805129290\
69548128450181258664279506254027740725096810678573764813274160538657810517985\
92917799648068662705552616166191280712443776506401009492192138191105850291697\
87992919964920066312179622254621468664741981112183500500430241213693264162590\
15260834444189722129781620624058765008867391044286505387182850171216623106761\
09929567032647071685952088409270265011992114252235247138511074813834621678518\
88299743921087998944852162507633296926603936258519345353557906655528680798608\
34643991010438888717786904246136288528820910819385793202937780323417104960208\
83954458379331759308283454079612701171776354731118186610144975636483213593068\
59100485830081321786214095794564431810031883696875757430397902588284051906595\
93090606760337720529495584491818558620508403757014425355231001315505228884353\
42836619400312026279653284897084768671691701624526143720512432165414354225639\
20774116570705290477981108506047933758765750608174391875978219300893694994544\
04076516318848213532805512845226725299662425132478461692038887779866014582623\
56881736211968459345960256822469339445703742667236504087532545263305030245020\
17580534176652843234414313066739997608935082342350107390052758919120786970367\
81603710095132968325230372160643818646116662163194122995262688662789885880487\
43842334124748245720960237091959925445224951008008370625908845124049436640520\
68716272508380986647016099367764721234241199194868052316831250168689566725640\
80660341044660682964770294281307368303180920046182315234285371590388214321468\
24703998801611512727875551654517637268452747878482021102067647891386020754643\
46788329160527655902857263548251091501447681218488398550906637410767751616243\
91959095259307576237603663036564604835945331342041469219205188104940729626945\
25521923869021311676801481945483325979758187305784190555350604346467309880776\
72532259858716177645513307148780527537662384316621057589176495784801618857873\
00361225320913353010766141269956176852257767177202056155961549570163532238165\
93725802344314299416334863951236206235313898134968476867826783703821398456159\
32239245675758699720618170628738921743419913815981030044926806281950826838511\
87679358090559601647403143645253017222443900931452782142085570385405788080927\
37416218396525495317870962940849040961694780709432888646297756251472628667936\
98460514065636272409333667715338258570168736319559508923354591978207944564570\
10280463668465357260943246940460677482807130550276634854937370257642915375651\
81441093720739750954709270493878663420759272274174418216839500124673200500439\
47085474843897074185851700014752418761161670497352599272937673739125029573250\
13010798818616452813901849906987289381616942488761665199531042411883382980126\
38718985591925253098602936540393661849937421803794827411424386879516367283251\
67532926094360194539703434557753421531977442435208569495236511769885575954496\
81431236056646890685403943869315057233889623851078481400920122624364479583987\
33880909663884329629087628195546837044904143400921978368780914274580551830330\
19340114669677611293370588596218060738268474993517788156646107981932335962967\
18567901226390790916000305788462682750754830754153312201791250937463068554566\
68603921787462073379992036120071750062419716135961462515699544418017452817287\
67977457279954102664263168700419108714143347071192818521910112649031494745883\
94366667731425269331553893782868242191238375295108981331780159495546480062798\
17956952264697579216887210362682865403521170802952786874136228915260277812738\
87150555684172555470652253875117706019390299863601770333039454089009881687615\
71205931745719644253000675412563923184050913713421833174433308384080757334379\
87043058062587450790825967177248313410124328094312650473000774737131890218707\
79065333509718633639888811876982110735607183016581708321280332636040305277763\
40958745260034996012437913072462039748350511838859463283499581528331133471818\
74675493116036944779591715142176202853949974535314416439963551001022459569715\
06453565541014201370639508780923634817992156000216576423398671407928301733868\
13345182682916056196432429742488127890426420181593662020721120094842041155585\
79946903189490509848423042285974966246488811080320927079905173623368576077158\
51644259899430875541969994529812056784885555855768116921149054741995885962553\
68763419887718083533789081302005523995464122705359877063273639856975830482270\
24891933188325603330181257380942428747969838487579315344745963103733379706620\
37576536962756441107128196466211090730969577886710533843496231502587867654325\
01837460535005602198583456891824985547697127940562332792657526361430999038331\
68521468612132221232389964661276721342397558082461659970514993341125217520357\
20177955806351506125711195429876538545380816801749200068896156346309683874813\
87696455807452772761901311485005166614939668401852606651817832165293566242375\
51075122592789797817668114034659671590890892833858475926119693351192255730063\
33709084457853907104309862658822928390441790345751590262006508874225433774834\
76091297942390780881698691064712252836670887828554707839857251213024825698212\
71216379096821847920353046508786232558670905098976026968595415349042087356384\
05007005413701391999819866959206886274998442933235859868403844283601627645502\
80727856168672267321138222596597415408624958835713282427953841172722313344407\
01261756630392443319793366530038252046977804767671629772425710488024908247990\
07313122068821724926728697837354191656455533866636013758886553735452456225628\
78132464804854930101018752247927237275242807603242855306499996010571865085193\
87366302011771186458812177271129257925412010467346874066485256904114290381582\
96158821151113280789114767021123538652409525115663259435466027573238220665910\
06938758711780850230091806625173003074017729169072370536580220154326285909274\
82270218661067393978753513465863249545745325121094572300641897371651398496979\
04015019955631403038610530500095686711418184905905071032732892363808616029678\
26743975474733750296657032715106597314853408074832828983237131843840825861358\
33611790835784568577585854187370863832174082213088687228221367578971414695610\
42613045561406564555328260970149166733856157276919419635275269357221020796291\
35132284425496791692511774890901885183666865456557499624441639667157530463700\
16882532618185525557278258826133440850659748329383997874148504341022254889928\
60177109766565656376914509109676219174440779288236111990996525001404401173884\
61167578479490947652239640702174631370668888701448867126457153872176949408519\
35191291722690148254539034778502557742947229827505338476412262821990195385895\
28843918337686548915426174985931193383687111165933673008428447991008962326711\
41157985301906202144104911095197774827676241847776139757569064639414562552756\
71690872542657813758880231297130492035583279890158163431267911741654584131840\
06785731558683041579921946798321470342472465280359224715552728193808820927918\
61740560633351521212839932532230770658053298684374606832052068453941098809215\
10347494946695606286781522519880664728022025916807998813324742459423412101881\
48713131791717950748457868213057042599468852098168496986757334313311379026303\
57663944160295572671542288507718752405034215968391572988597488333478161446908\
73323768068855499288821885442116862107413845841473571916513960954875004020009\
04077495427255771335253869938187258461475796958304160160104283950064849300575\
24562525485828410644599649357717900204357345569944912262176269977807110167017\
08003917804399629340052239919968401143722215570915541761167311610693410231083\
25289003529169846163883902687222529353617054596875821389038669366459534719940\
93159603128946104094423348534793884806833895416843701522315324962017752685617\
81031262687061985036435447820878526933582359065338742617362382275875107740935\
42911544511659757171967668482452004832844747637080894798210860327796506860983\
78620010476267880321527518859321886653363365012402338487686932808688077960085\
21292959039618418715410586773108777009406216955283707816442114721030971482952\
28181877760667357730002362458951030197325218827458081302741961150999763211798\
61373193483180620694792041600389402749387365311225186255803289172052978110534\
14538630432585269035092760130175584671096165963627342538412572073154763281138\
64268310367116033771439237113180488977733909339830377057342137420429872375017\
90909438581130463460863688683963312896704185357878690779379484309099622867880\
81351221157597609331432215556307344100853106122254309183795943111698723442403\
68157855647266334236210348528650578277661146638543206417634111881663464585899\
35679596382501197190981774873199911186780447656181223436999717625015009278445\
99662367425331055170390272772397815075275933526993502401552517762687779218868\
96221144307684024008508552908600751804853206708471584757744806490574138853127\
96941831348941317777863269702588623142298659313201107740817569133953814108333\
93006030403738265178719695928343450468602581409758969264681609221450815290714\
45894385367470776883088806933811828179711566578476921546436531644552055517103\
24029638139538747036161794038092461829692749196136454671472027051604535923852\
74664181572588257547470861197792151443351801006944602846171918557882462391135\
67033471702674935917403135248512219268590683896036352962255477905273437500698
0
*** a(t,u0+2l^(t-1),r):
13487667484744355213800639650373621090457629444449054088150236487218528568211\
92492857874940762917613074548531680942536936113694127103711985605233013545491\
47738674891739588679228328126176850580147085776630512487759905534354194182368\
23087442226034827287563751091503676618284787090127497419053680137450246231351\
02557598016593323292149374432483326740786398268326197272851442317478281648512\
79979881323637632164917609387085939196943784337150191107324896450927227979577\
68005909787572140287975310358699427446340323621950214541941790285683133076861\
37847252555469188332905838060985590267353252291092295227809859978169567733096\
60266487247535762839954736366959727936811480310225486205039503017503796764177\
52323871558259643495531842107677862852180784749411925223354961436995551087603\
69614503746200125423829210826022339588280802947615429597146823710914140980769\
54071659450550187345348742102364089557819368737469089344713615433756903678435\
11202721436114542118664251274279054460742615929588355584974843325959059804438\
45144579357335380004955588134631911026325246844352966502150457123229318241550\
40744615407571179384889986166876388073301709251432111356026344544255106384627\
13173849080201821524411513717882960945793189602022549855979867523436195051905\
70164825702246859198732817599860598291966849012406759423488962973925021800901\
55080179150662099741616524470822215660321669761861522893553908228104941418454\
73945352593157196049443274027521173549574427026912958520927527023785232062726\
80795188511741680906464834955352963474262239521577419735066451631433781247977\
18800662178530328227824574083134043037045786275053090305432496473014229879285\
24189405249256999070277226564055181063853271479095377407966812254713046827621\
01153643273151989396955676889473607859035034440494308021014080436976510397927\
97148796759613665170759565672179968437343333482822616314617976749599352688122\
48330879036453427194739957012801241467372908127137538307702925435449063139331\
42220010585256686856605362817603589004227707482407440560412616577292864387227\
01767141159056890667249714899279918443238853399874957052983683997576432189817\
66923735158675436426771877559153504185502321244801732278198429137713147394096\
51357065914180987510528163272343886255785082283175045502865414073811572935310\
73115574929689874158111499136413784623743270160807641017435701821264331149741\
75930113773765444802674301654601066944823238249637914940095105037846792527961\
19205774095558022022683440151397762527942592485698135088022274323356390717901\
06531516554577183536847168038049539832476818146208988916653912667345634118574\
46563610717583599830246557955639484055472872439502002742452441139885304717859\
93432004512204853437941587880810611590303836971430370404315931381316250491709\
19149140044314089371329590248777096487811285054228717472600793648045773716368\
09065083940270458657469169668465275601053234625592236618045116378661711683253\
32086230064557603606722406521343168187408286448601959739319831587929937324923\
73024487751131319707874366842851440909989559605370124915458588072679040579287\
03572011744656735579550926854027223026768478826050226162570088236949405098588\
96934506394089114887185772078191238183027102788827813293261192078728719490000\
49181579875283662847518089374369464880543478172553171845363549297020609737465\
07108184340129522165756884669716698490551764231118755378211010591136440318182\
59485828094063409004251235784970205212647315510092470384075327992848077305693\
71899994631254757337298893630800710654296361463070589060830555761703913842004\
18614057634677742613260500596285217995983196014987189814349449190364263126571\
27316421515986887245482395449123709956072344656665120499018996308088087228434\
77382786789859881213140715258349202768325520989581554224476113068998596208630\
82219214787407316065120759166320121482456929039375886280453543478106753108875\
73982574311929930673748842346992121702064154512958812149297350672429200190256\
14270631466234839700177853642287291763779247975061804605854404524794879949894\
40508789074195077791558925257942141109347678317646344109965152051922090532569\
87230585136893584917561126115271339850863674788255686717463164157335365573095\
22284603240230637434672613568493313643215623399030736942791808182501293708811\
41418155631626364207768221298118969505815391466507407434300222760062414451022\
18610091871731031976791229392258128076547779688952843648077361747909597255238\
34480544916110447193292240219133642549523376774301196524740974148729831947412\
66679553816903279952675157244900196914444314816361657002082902675835391850266\
04766771479809716880728549850891470149714005518847113603978291403273054932927\
58121054417837839961091765222584509595180147951579735915267970068770406172714\
92581561012700136907334271230722135814802976424914190137954168320852820984702\
94597327145976988199989235068589175809115964969320544172584344197723567672136\
09460418423343647412216004718535760321988217736021535607975930913254542200269\
00927673490013549552636048054635704029075034664175313899975437744092884311814\
91321457023347232483969794937354372570351271267580877887946701987615331100502\
92002090549568791943244038096616783148565674403127783112228433239464221075191\
71676064462605734417798860547471932954869697915651877075729584850410860977215\
06257298442914082940021385563354553204925566829303977721201352579232153779715\
68736903744904925602124986152935106680389315536000456976150982324520755008285\
44585763465659434147948478170273616806115716564293018967088567525508377304377\
38208328877193769905143512215438452229150091229088667933894938198882000023719\
94781462213028925346959830219768890091537287353973818798248780973837822386272\
94358372224099233465462943190257491038061660395366491886078671640778190020812\
84226393813214753673167399154371543637784933500186406197199937466106543011211\
33641651680426956546212185675874422418315323044708343124416768081435384911088\
57886360320904558539100062753635281830491527247020857516947327249160256753307\
85449152612242373599519307090806526386359051264151893789572577404469070363575\
69657560551691955418954792781896603332878356807342589190201285300257918719318\
06220112524985588382476119059311859502178239978635685824742018911532874217184\
79005551239753900180222475579005124948105486401046643288293899383971066214122\
52113309450353681396813503367118973071734544146453996668664782020991328075859\
66744622893961778628604970136137464074927504458201731145501777099533026822828\
03981044854137128909289040642648434630496903406209077264282928115832059732491\
85924685408859740634245118132853051969555721475150628052981409071681765247269\
23638472821285867722247933312815056400671657516883364960794728587568057789043\
94775864853192703132049230824637467834061410841763931058011988723678326519972\
63452504202122062526548628362144200109869831708240296892155667107954082152540\
14476756285442724677032251544896385515649053799668089506825899158328018275184\
53792245992303116937317626119824998779475700214420189538029381699150366248818\
43348357836382535052515504847362766035486523207648764655687362931734774678951\
82710825451531284095278636011728272065462985367222532503707152497660415604135\
99113308664930165576447804390992357673500943704834446342468763910534994252510\
14627901807258949766938712400081381878859406024148269636356761241347050645167\
00003374803847639634838289169115419469216635646480520315500132834908792009354\
33904540870452350734676269132373200910534036684838917078870066067279261612202\
93507137498729284684249615509469144071381397072631222204271250833059839321213\
79540335067021131386278440754662516633226063871563517405664527712616886070270\
81127959161406548261668039410833666968222302226915203924792276078286903670286\
05222131752051469348847880888301354547864660242602804918086531712183154380277\
30907079807119474197829931034380788153317661129421992928568065909234065734020\
74818859915963306658133273274613559193235166789547396611453827495983519983542\
19357207411660416091945485085220249923387130048209888383926053831071200558382\
87448150524003630711772859631256939283737576739751351637187625250526038876341\
96607758639562721632528306915098214250062217974154676125989578704515023487389\
18045036451940339019629714755655036398996995721886724916189237819150041082504\
25500595052469116434275381214283529815728583739037075152792017323499215258238\
82904838703237888097852175217647689778151409822044414857187946783710738423102\
25602503598114713740021820948615748897509359188957703002394743300615117331491\
54394056778519206617406003891574488704504666987017791553565897213437258672316\
31241269848708446264200134502962591191235217620755650851097401354250473098652\
73072463792894706358403859351689400818496763507376015108038622258398259749646\
10636386848371974066133967067816467348389614607336396275131538934744935920596\
57135212798312602025962654742335831800910047273149542048874373252791143972618\
68312417568295905875987485367337672416815044271631835657328209526682563891505\
07634420587388948267388106810705395014773176346212521038369185116171897862755\
64425762892679028148084269190605250179202066102916159027856243866980951444254\
78341361900076444678988442097542029113068167578054351295599996471541205806082\
77876672555820009394226111142993171073026997620135159343715122114394180085858\
23195645370500637842551049334479568831059812621739435918772243916535326013886\
46715319594829405224538630912257940964223694452099132163561886918402413632772\
81927397993524836866965647536708100266458525602861290777617068498252485047911\
55739648006413391153545379042325330665978786872160390757585950127713214621436\
99612106799497538144595997600733947180357738071102919769979145266476292632381\
68960197976426619858934967734694803130205216793666590602729606885389291596625\
03671918640140299502547346666451663632635415979166282340884208679199218750717
1
result=O: not congruent.

code version 3.3a
start=Sat 30 Mar 2024 23:57:52
end  =Mon 1 Apr 2024 10:24:06
elapsed(sec)=123973.492752