n93-L5-f16461-r2-t16459-ver3.3a.txt
p=1034556751907562677109197240681781136856420061827091647235263626994746603524493376230740801703497101084423838205840845924325346874492947362693897250457312736541734314116051166097833097942883059867449357051502860100681914492188958850033524763170587376173227612517160898112458905907545359634258419628681713416383389458796686802280142510348526152112997319464061803320398939563049801417612179570926905608729984479586740886055989806350307977918547088247840860909388140151700242510402292574212041477850160231271487272553856502286117578102528625575959390327694557029412927406442074900128214275604991169593496925157089941561494406524434374383269464891028210700487998814925180721043956491232193445829822988543623125201550085495644303918301276123574440198953855903230524278920079978978033704950627497238111211450288417379788579001814493201501188956306640145324020183595770697337535856072389037934405226467112733882589540449592938992011793298092536694369770570563124076714537910445355205983552707087864958836793427591664317922561098154478486282147462297990158426724242365672944800827194221472044216105907097602034352882151173844863084359960668930219353680339337650526511510209787071831961643755011329338026878199762415520069502625447002044550542745990381603110735644776808572622482361345554984146185481224734583355819044304824943123167175988570500593368018659804604035994395829970814107482957675845200280018429260699539802652623807397122335694594310586686030297475483101890541504127489969487738217805880150099292649982278961739531394160088604327378241298454678975756992916777178272406057615780780431277263001757302594402628071719636822586953487505604816167603332466689124746400216186021804652680739233965266319645731448746345696945189097397782368751994776619094106614043348154848641163398646264606048215369644010570911283840112917307045656557014154038174902455904394150036658812639151593245308580568585306853475775540575273766856415240271287745141872254951770442281054216188894201554349142160606952324523121415479426081688034927106481728287547783700269009231994458051268043709261147299610012777604765842995616931950443363685487901617902731438337700294068848079684988885195431417502224360539819269291099892634070751096793040600233380529910613586226864204579078397026755422307411227982415641494677584538262719674427438067376821571393638809495876492499158987608240675737319502242647853378770886394679102444590545304350926042393600148159842897719732161722029553234325794507063409321670789919685588851169251671209109682214827540226840910165721191790501664398221277734613777812160788352173221478945056916560365594643250395706275961849637322469454810692539009187523988896479046148427784491570825077060101498495097635532767409399370750564158479927826306033941615863937778527361857989034879944460232010474919765273477104327999360612192309784311378596640257146761502514696620524028067999243589849315770286248013670731000568312512004535817753045283088619674285518404879794630353273844504398504702395689479096515871275980488170272200686233472297280501964918040557941650547025225915978534137351286972186502938373390170587941096371338194019522137022269332265872502512407423266937202453399593346530044478742615173410490306176886373757276023240417896118780185548437078789423779506388001336280673549206552090086799283084912610589041961628704814839730954816901812958173388838037612699762827622030086875760758353306068614800693588116291512456622074949620071357270562415476657733300855236212493653398925673422568728037320131163718804705145635735187351300036151574630051404393512194946299124876176430311024470967957585242181588132511907510769212052611230519850594850958650172341175976394056610861990558274928631745060796143252616644271746151699954020655602650998746651688344090498933887768922259974238988103097025639845681665482594035077630065926882748554335266322825430568765034521083350067491183108673280373058071970522137848910892037893968770029301991038055368403454349715345139290749669276308423596501145966017129894616589063176022916127551081866794613733047686890570249798855178669271799185416664703226728353869079324564999406345218102846983025257189427161188360156775935110047703451228284723843732765487035896854336686608106003218019765783390681605050779468751853577086642843652023022690708294927624390065719329205161192575011943192024879773374380702460208287442772981293582711136397576310339268331650427113745275521104593568327843550407112204812214761019981483512518171547870499865869003315564609009882156168976882027011374748867226208300650908874309523580362645640948615169829539949111614134088356410497057486935870794549900152758005337916644561681001568426810156864285039317314111906770918388473026164051628140381402782678649345693659021500767703424554870490417941838538292225473983034807368248558375120290772454283028281861991152209684035736035813456286777026201598659010659248911352253059248596883193465631777302524261462310879247201043725141062945269340494122122988215772711664960477086529925914809529808417325786763639560575847791132714294761361139569548148721574533635626855391187358168792700712910446122824144096405687315347167210365125938804708545584568294474521204388834375854818891506012227117969260109050042720390782067748045700055293336948894907861831083041199475842608347284326314168120860763238268335442405959179356197663947830199479763036573313568581370578011086034089033544290526168482272979901912581172640020536804457930548426496328097537319485220296688579565113490482656941404200152454596066721813838670095444323419115735149929050607342945313766027698148785421755351227177255163838896116518101670655889740287035074410049038158112907896446594757023889044324228035456978493859004804192888798700365394606263844166337729207975661529431437023851244942904663871288747440011565883083661492826963292764194072933118860694347677484273927402739276657674134046623041393669064057387079552798346780718956652968982568161356844713880711877234635886650787032981590394023605101156109138600398460752829727591914905867577475772236745893257448592511668023146258844249271319623995274037539856919531075516465700384603704052189074970698554839757074973593145694762750311345463936749422419915384403957352084851682319089398135281597890967781841572867518390961844828886733629563372976607553078062249447013143157592350406939742541135434935997438647355683065824398048952387222188236763803111923281105994390441368284401897600698241145469642757931776047201030332009150373474715823091845068710772606431024562643909632215067658323787503014786834271648131351961306371431297764965720854592593253589469319976821844552606327160784686844577155040840505166210235798263802711924935761172775995051615121452329854326822753318665421038249636565057237085869223880307805243865789242377753622249148349159395939538375567862650220039792794273790150018379242798882764422838438275709602450158919423267309801246842962318050481485129754828734527918541280112952971583437552865582227992630693565801561611660578708690841700401668259841933053864070969399610764753137922176776132111188817776558924029599992845203938101095000531739616646594549962881049023026423007214713038722707483252053658770523806070801469924670493479683874761323246604305801772674703806978528187676593295727777942768744407392178402072125448418264576021333735599625677834128892858507680564239065394484441922155962914072456920942920809705293252096710584393239964907521596108058807639737443622155096339287558080706983533975099073586053704983493217204409494804155321474381615834521746527871683597320428972456148553499139586146683861880194038333624596005300530866830422008896856328219323802358261603434264327437509153597452776931623923433466767090925034087044807653049310799996989698795965980635305083226076700395260681283171788573986187047046612102311766037484981048332691740522056493709585230616894046604236833722677083403912192836688505666484760853176950954736235921341544573300818504160055554710230255072660317237042048344013827186847070030851558013164273405919559617319924547015376597949045195086096618427235985440332049597065526500218015176339189620554748201348308848261663753152672111850234042516996597129878522987820847050435896534040656668465584231670398200391446971768309412051579125943048829754147099397985856520196441238257189138969503532732776753729607577522535192745591809153186730552580842477058340322122267856102196936953580621927365257426587715519880568753606970497327247155353686488948318403686023458039940825061403602502253532087849388757960468494276165273530124763193682135700410092078123473655708283687536493781232461982567314061545302595884044521354688883356383795716884390474355430102780113842378848832533928179155441987334241353465538413035444573200911014142438067670324906633213167218982708090202271673503792609329277589392180360648735867218172205399630429346069700301649363552666808254676170831851379373790363136082655098393275871955484547228513357285136762643117987266772351939396849338368894327789108330676185866567926934076883133114463491592182651580588450121184346520752635270829460280499338527201395026531992505316813885015384519736976462963362640918931543300827694294249705619899142620196465550128480557584730782310184252091429018776901848396505228910491306737325339437481129631120815414376856776213937356690368452385155861983194760329522106671981864196385497871589806929009043897896346177486997374459767749725038128131536286666639112236070800860357192192542342890387811198898027435541141327195493339934355461538415376386908049786634836625799565831644433825505400461985983256671237388059336715839457089268767054579179627981232498696313122245203915055414848464110749560922679998285842269436092420167453206687287300997792799309293897666949459108386595430506943199362981492280245235476159948998341710691489900568963329654287544335329956064362159469681975031219772715231553205479366897625820511163283610100010470099364142864775044736036839070764406271580537822237791393731827307766617750318464659736560554639577856439697414365815621720459926387056678260104323141962607515939323167615743303150784474405911714532802430900237946352195445822380873677037209012529215535396417302276482110890561869314341713590404970565786174062026968167924110998581983807853848263575181286904609903890457909705651589147267467619273136904456422112745990430509562647017227000689655849122198001304575255327206076168347210175820794512479590941063866188380526959718528236974199004937550835378323119477689293945575147900925699532884795422648232475050292376024428416088342005295485628937132847446142512108977450030216634207683922266081305043893023968516108924781289127625783349625814062271162133055370675166829269880969525296916508885700772757657035324040854409726076986324840285602079694235715025558436096381092770503471616151794399045414487725578856046689688359019458930677675237003678815422907423091766249200068327832338727587526068969167190206370842335731288497699867076847301978018094381123974755360972941410561036992659324871390133341875512873462541958298345123566655942244896717639351528188689946355865920851610251280402780256487795131202809824330019040846114494144174434604107526706764663239725058869622014088197080215641145154026815426598157140402397044183058024037805330818227120063550955805327011578078186350124145169166843414108074242148860561047659520749760650774920992647504975942696378805851817265854757700520421292712410161949744724026399881829672962681182348734677608346880688043398266512656680562001585923027171307144088640421139730068407063966786892453275648051658208714798092842102050781251
g=2
*** a(t,u0,r):
11969821619570500174153412074688207753428780115339450358512000164329218202778\
38836298967107570946145954678380804157858734444426333788340098636839118779110\
83617878660143227119917519289431991570026663890610858880913648897506746262538\
94887881509883695942324243476823551591161149541350299810968369915103847424227\
55581603827766630238124884473244757994737898619919506441701573074448620240177\
29176356242978930059204288185920516678020594730633045175898110275187607216207\
81555171805845354525083633319898726353875811107743448119731450380378646256197\
91385014609142602483030757009253480659448343916874974783219675942406753062386\
64902834877057116144277087891963978046461462886843409424785766035564781682510\
51977449719558581934489184604596334745764749756273101896112800377165907105325\
35677584996627876014304494671647983698908415385905099368634136875622446782648\
13989135242030669681952898547575411689010684702244943310215609830017903041375\
76448458930649553858245501415345567587203623852759733229704821006597573741699\
95723555615836403190564731608628444613878774613299719948417083597134557063714\
24315515803453451192555374628464890813850658860447449395226379220815261366165\
91738173127236421095796218245481080440970980771251147567204145376421813655449\
77957110871514799121141006767518524212092076807116657136601777017912942682634\
26068245919350442261877606918652679758939392686964551597527623192235778203095\
28967239813226546293675516690857451584705423986456173487957370541791339488873\
56520275505894697313118001403333664881596029496758732637823043222515206776625\
18231206357495084080471119526117380866145836295898779329303319910172384067897\
96198037331051850439847723059170556639593173315850501272272279831516152936978\
13131830111286199521971365583785689234200646057956548291881352448153815159877\
82605223372814919778518267812023054435540301064532425182463646537622216836214\
14813840315924142462234983933848220277178532000294714723004455917482528724329\
93879921129146198979198401719179728130550591198381957479822243839473251477709\
69597651305641066219935962869278574121124368141758796531712657161514742564878\
47836887140803459287902666629717841095021719134602741567192402376572281955321\
40171114150050073585144570894569802575777619859018989547974470021273106579919\
26448188469799370535995602360967479077565489720934196531076996666331254584395\
49825581024401025867291018215269486627344618280786640947435663592379155586437\
21528391260917134021431049395371420938232661730111112388193092114944244672364\
58517310393707622630080282418358893990232255546404245493306173941890161042570\
87420183389481409286700321234644172511394308524603429930022407078321612878600\
30382097159215971267633629965255153226256393730946656747444614158537433758827\
96431141189267507195840273136127649503608127044955457600975615766969331335609\
57404884361194821684214130097074952602283065024204482650363127775188030584095\
03989946300474675124833455658346221188951817035767657537576389247941140273392\
53353296314834479444592238731873783809158906994067181272731466886306630942481\
30049361939721274479535407734101729255384896829081863847871639969154390268197\
83899698012427370247848501638290480587112534765617431614485406855388719846343\
23858332950193526146190520575563593728424665753443716835888916350580942867467\
95417001593633128888909175460767392964319807682304267705292438904515215496044\
11470769568714723155397592606610885609517893625591558688810515255197414775121\
38732440248145054927991231174071671042256036204071470649299742908950829785515\
69825570041499120183391793917564226570438535005456117654541418273718469694748\
83293609552868087481736129869855312909926926125204097469316276989959978344871\
19371146713824255915824939874060468792349876732307592409242692903534113774327\
74574224102975168468018985322672055498760034141127072665081486430547901945092\
35283258665301453686963361298584817986277403340077365903135509023168061144940\
89343602808729885673498539162818926989411349118990208784332186692390240363103\
00612427966826206543261593973673526888461011518258826818192880713935460946585\
13959576601719881368089136173732389779017275441720347471657527081061633324705\
42652477852170431314141734499395936022256816722549493270138975692232519289307\
11254254871988096685005326604675464055786457232488690113830186170437518453458\
94588689245770105390637253149497231261419306037263890371499809288818273172785\
89779415847274646098857128833935667519678481199579106253345971954417060328377\
79180147585553149878210288209677324785001185764239835244808861683448104368361\
08252624433654687506252505252160584439380723003853101567576118782479581006577\
54775149277772112213755314022836694509551238480250929423447674101217596955775\
78649188146698193514919777904901324274761339525754632912718077337584212830195\
59197292967563487876388232862209985157413558707188804104873398371272125063582\
04001417642372960546372211432376310660442934659343616892380101931524964847533\
27509904345567895506265938548397359663390205705118936872890116075899882098276\
76626951699296297365649027396359271989115124283434625988338845935285530971586\
25589434055043903889483848196720807086173541642027168760377340129315472483738\
61641075347195413802238566724623924507111970477872413455167070210334778813728\
64025457472456146775490433946170899427492134852384488874963974390849871408396\
13856307866779354989785780796554549251583590306667646410686369477051512069718\
76395407980858333153237988486457587588265414410118107441387769339898377465128\
56416744503761082757825644529456251608850678644399883268686556836308488434081\
20465957638996764919713861134130042908219591690556846791155269578772802729404\
67581447329709413698440842245616028068114436329488644295120995810924267371489\
36634436188710133876639624283131837023724117394868558451172340096322761559447\
26770045275269362784038955217263659589039894069609908108078809338172672779634\
72007965297281725423836185218233602628493049340049693430929289730919428588924\
75107114396851042587687225291832847485112831362689869333959983641960473720854\
96059715970008588531110203761827336066101909102399482384554608878713946847791\
49984988680215359999027802214827964069168049625320614336144558974543725508153\
44986485588382759741098227949598935744447269568840502110226701774819081739842\
09975537865636217339644318643364252080875984972359069980771877834285446702195\
08094048225339349389113180226101942066333343494208292821200936982209490365149\
90525307158828542637912016071789935720200495236239635509740663105052995524007\
86500530837667092706488661159209413458698211024620731726474449836390564069541\
89790034444728332806806221409881083672522968879742192314717460115140653390287\
63630394403016003213182874147365520525027882679175768382252464477305242818591\
21973769715067567690182627471869552034564145613392558969589214125482950577122\
33083506920295161306671527181534310609409422646399774211020459005320170863045\
86040262974775203571264783918307358437224073084996010034833869772720277440042\
59730740198440707829512633684584880175226109068658812203724866547863778747371\
24556324067846912895659553038473647301766371165433207301115953496548193805759\
58529984852645462167478675102247191721900956382966915615222736460109894307053\
37371964157141934742298580217255812262608319749604362391730070284376095599424\
30988509963211818126509846323046741571131418184431570390797834372793527504111\
97449143819932114456683132088766909254087129037293386412824598661418499303934\
44909158183265753095937682902429267589414614297863939800248669702404043917622\
22708334464645557046993779799488091896281390641366659016523055017854884077069\
45859529520541660732747537922099736321131763876398504501171713228195384502352\
00365757813271421292279826429366277174975763932850867517344382684519809071225\
28629098888794125210495242002644387108424545780525955965170815069326395950479\
81292570742357316608244629759380102018413432930202374713305370123072920924343\
78401936322199011182374641192110201661713738549832640711204860105612286830712\
57322546298249609921670713090470093131842767997364051190679870432576499340239\
98055182060025695252621231064330648930477239152700896790723827045290714613787\
52031203515446418138380481416075224355902444239098184366895999333743874496239\
76416334107207871921650628792694510969087200373543322898850397654146809560426\
50717852904146335933989743677048716107496025548194003469635993867282512663567\
83378771558737182270406515596719357321800664972319023704724933603474595649975\
26954639095102418560552927795699616028425619868565018180479232648654076249587\
44215267713204393064729140952211534596043968095107336625641742792960262047877\
52322147435435101509023100537447653438885901965448422647972330488595851383038\
23692079151034378395112073750380433360516444352397788292326289165917156323280\
99241754903282846379345717245959627943882009371193454043362800844294565916974\
62763447236299326036402832624388804899397417092675267727058739837142524164737\
24067534026432490083136304354971506603296524520459354754501484476319488410201\
83852495621143389954378903234378087511267655611193882154684492810737251998338\
59234704761909146272695378501343425977215532787874083679021028892451079900834\
96855445377346759720140456975153286515536649627998893356817676486105755432037\
95599057642298446909402223308011567310641498652005125533515132883179669783374\
72487543859475654984943844189508541772916566698320678343443402329007952552169\
07562994096253323145563377012570774194830168752180210374294066168634637898660\
72527352455962249951286431869114248187483673301452857133916595433271366771490\
72417869755712501774292110051556518579430404926899994659047965261360313650597\
60500976672126099361097483345177826279686216579846525802262518522839634821481\
10829574286000991634282437700929719114979672976137241987540758016719505737558\
93013374336013719140725444626880085303960066052418840329091309653328166296958\
65682437374459170609910813592700538149582905724100106887959767591664670185064\
22045111121277031522907058739627500553074331415919136885712113904964313294544\
72675959462280487441805621868226032912464254772419508597673711846361131520056\
17179915799007299084212486743305721348298245767469407018752507368959417969049\
31415001745457636887639853714452412551575303929490130816494670844332050827496\
30237445365481873388980230038008279669336262409855094461460338976520217028819\
64253593552656869024409564847489486336588012598015294388886433884600354990193\
98456080384447110928099563982598931639797931817434383087509393570413577430126\
77772217342465925093888671881089317995626969239433717017914824871274631653271\
98492356865130950304461213710343595477083040040049736331882790602636774142117\
00126876872680262704495186886510086909684960645778290298061856069935784228731\
57313802597195152066303133551706687004773458794506387116802146525228174076853\
24007807557940806091898699152685520530710731778402104416062062307222845711105\
63512924335472516659887626119695544562298494736446019969431385513982794070249\
21325638944430388851717355032447905530201590781876766179732643906877106458244\
11007918387462079123283885669351989604387919526456932120191198005068388761983\
84276549968394596161045751185307966620925177345502308729718114314267933736870\
42531306073142601675675637896680165096674983203025895446972480982083695240839\
97267153683618931121526703000440218094968049432090254485740678114455733801197\
98133811740767756688777913528455866763352395836461607093635960726037830123041\
89816623166913214206550747307294658358849316325716569971027837055257659395465\
95021274356682585573758546456985446632769316178221279774860219928573409560662\
11794355143779410235834912942437202365710556967258667689146973009572434568439\
924795768547483021393418312072753907407
1
*** a(t,u0+1l^(t-1),r):
12362953185295373991454907026147284585434219738833745184461400342587221912117\
69584595735258035679035795886486655979810879568789515019072098419207214296488\
72016737250536868114348691055204174525654160198167654591782031488781816580582\
57900620919888519145270069969580072732443883925595167047629388114562746475325\
78150403262040728724770299866488751775031796759553854967876732777844512694046\
55458725765220243233145310615535883690781858861803361266377045616982878671882\
74812817897999307396261833895660309414763694272907018585202319105058325217075\
63271471441594995650148448250698279505653216059347964447664228825562722480165\
98581579669907738800701054477871178708315858383559096164752800702247116776663\
84713096296346158523521672949431823700249676714560377498578043604765133094955\
74878750277415999859199542897683094658768847351907168319375793920802786434973\
66220411939694598331835534800650490033161424562819971698969450083726356209545\
40929912205813497718758318229332716738728029821994711503454849699986258099681\
45972038859917460512294601791107166217446098239319935469626979169036988497094\
65909283824655898163443105169417065274461138581015299937161212764800550849237\
91812547006955508391941642872385385589421194487160865464830556374091674432378\
98581458506015717329095508286244283866421807938206054691650063557827110203757\
94426580703218477530634174820907478229846650182301330301681512285844213442263\
50143346220229665359500641698854498395611911550402011510898062054832023067591\
97097432350513537847170278026779368654716728823359278740016021305882171216998\
35165334137602960653554872803552523885085803261537632928709997660031114054570\
49660029914094175691977553202859822976935040719482583422960565599534833845884\
93251976649081251883107849500971390349930658633758059817457403781801045044126\
19026138228620422761736672459263223898418893493618191955958563191407561900843\
48057510092938072811037861539281437537794594416899035517709874521513934162121\
24188855444537344667365678525859788345728570857447224881925308027805130091497\
91416761720173789224566530361960152182146603223337737126531223256707102303396\
52692376951823797622336807798196041580424333937640688135518514122734552235617\
17808540543915158110845084026802864371697714547560667683517278889733243183235\
54110272447199868444697272965735641743898669158613971352322395001094078849051\
53017778153983773475724085364949901918476075060968051799641847876312092416415\
27421285701638699356620660352177051012262775079933257825316115019324435940774\
13939659395402427867714725574709488607024671891057107488764803682418964948895\
58744268928634644855321420808469996673393430152896368855986842228689997744103\
16600350998498777584115979091166731292460147371202467427135967086821290701641\
67446165705423224804692416938351375243571056023095740564534019742029689668153\
36299772525175291195018051396719592359315698101922520974229851072903799955050\
62461526213541259096089869932345492066376336523545679133451845420302214889113\
29090051077119449383135458327216224418275621311936284892752033646617479668336\
34752798200489993952501998480770584667402724036951449695943482941347879317628\
71011356201253852589610163749141853328953741611852057717640502326870803989956\
93181251404910340315209742513222553591588137921663994484777229938586194232173\
03823091533614165101336615968554048913018297476537251432864705696539051441463\
02253733478491006197666485017199661454947176216579008325953816534106232200751\
99468682883779896835738566337956479598527193832208649460599129452200727392991\
58117161797399696300045975567406439716226490347035488848035432011316829114282\
50247072960827454227030834221674242806709314364406997818351729475369208402870\
42047122146084689558695594770529179089764998007871713853971493534765139118687\
68899047366512814450546834451679435022487675711881462259958838621006692155907\
83200945639615589590251699871917767928782624884522430643255776389529674216252\
69460333065196381486457004580439600477395472944851598528329268018501587929047\
61652421279479098374414524458547851885661978188694293904702240668239304953473\
84772423542830819563410991985834231448509631938509779800026572914320355940382\
87354979285517429058253563290214471518234136545762009038734724245650700562421\
78002449932606547570078967409323404966866738455336201111518645180356814651584\
65024618538198164167512115396412438511146128534598400167625127139272114469731\
32918238493943994890349411371264583133980799510369085542565632226040092560424\
77199893141517730427364990847505966394188778727974592149997052473397134589620\
99707766809176621927374022278592824896335318919277836104799880678533361540933\
59512794630023918837889023558591054398369688836559948713068254581637881039025\
12087968742700381374528206219841903637285912474742252662660416956277557763253\
00985968103922530693417405592343070236049440497053259209441409726594805057027\
25826874747308286821879682507942689057242270456279708026269854631091039751773\
78024490659424058020732754161914299738765164924474615007004052472515435702195\
96861890475936970917848390439627770118403261468197388121058704315182549274888\
13811040359358223982656178561003772228156769457409219246889301170727735192798\
31167748521952047963418398648163863254968716267119735591118970528392446570791\
46508575349684611405973265830314801050866984570958914611566075537653929414894\
88814423423337363191697500476994543090442861206973066085367512121933065620841\
76570883783168287051097144547378407232478107363950854271787713363162109827855\
34501304824541481327227005369663112076557096784838254542852580310621126775044\
97801918218324229973256753721076405596648584330350416521547577481964995040309\
92877985789976447164768199207874808592391314964337882396430069139200086005989\
44924936253680734643547407967452502371089300161510741010502114446936646554485\
29377877358640353091552767056724350223770677107332619005319081382123028497548\
39282211348532119171550770385297454745937073432462734356059205901857145344654\
34531548577560065594024402959153200297934168952821429433087450693295389884547\
69050441300052085820809588155042062747616059963152447233831251175508354782291\
13424426510680514432876597793188778792269506743524748601290188396352421765119\
59601426342365944589984773033509704593443809105241486622057829404415559791798\
88436272903574139776037131183077166150947970649930067957668447719940457051964\
66873282307070460259282843880891807060733228587362929923366568447485169391835\
90041263660155668498102730514942932744718748320921663296577435099860267632834\
39816883622309572847237640523124675093469630228540859475485710937326468507435\
23594720104970058516969260661026702669546195169655937611138604008291340364212\
38148938039415837372302104240364560957137700779269700273804403673621231778925\
24424075029823460146731408668007013553417592055319021580517814070831569524339\
83176137225369678272664196181446414155785877322772454781477483588035958670129\
47552389157179229271963195144664903485291933739472974927939908710804435212489\
97733997007032537473005702033776086265682973497880104220787567437076245119367\
88111328661259343915568855558319799935705111099993675648084325348638799998170\
01247477872870637242987914215371991450018706030808525635428841892680487205642\
85358251657549362158208127363544248620412223077594825460775655998123970822223\
03397812796921454331183462710493393411842735289883946946416086495668336531904\
76189910859826168345493814041552685011784026965916678274265683146408908096976\
37568231658602052679036759782543625556914834992175806448830734913027512948624\
51284753401254486319064448453231002433929353341774552743945592693462909656091\
61886030922253487100806661898797912622085097521431471805445287214946831875808\
68139222633413438586235430063174331222209194381812261610394587128782343854895\
60684332905885029927866736554157340185451453939264059964026900611793468591895\
74455161656972336514133390287345913493521220701462262560414794552352757566629\
92385750998295435058718838569206301629859911466767507043984276427144928921954\
64563909098019260031457650944781124712663878787251548118290790982652477710965\
23488282248686867611825731306720073873742697309833683375034549109008127885459\
02054700260119679926849330416776052813572533159656292410061122907367268818501\
74431736610296808078109335702048349704459122252708963581785847188163731568461\
25849467779131263129747401637055501943351556205783780593098541634747279717341\
02106855672161566822070688105513942955533098221193805814301033410676008471668\
49361100880421253396595288432032014826247723200462572796605603297443060603506\
47655354293240492404798032357729285948377304990192970844980019565762759850660\
01750186849909201645015216199006003335755101857139900660611006857279206916794\
03035466366020814332030188532156108786358816768466168547389728222360416427243\
54878044174090753174864418417391318403577356264975088661900213490866038263426\
68973482668433616779171464983703216814848671932365553097523936132571578545255\
83630685532918604709894454368358643380241440623983516794839476187728425799646\
66986804033938073461955738431358525994783792960567579234959350828721707984455\
15804211054867268622187534407178387245265826863880319789481529409229939914864\
12050351967095400056670567057310438535925925933845010856868732412183558981231\
94244489094681628398215779475431134776332403534266313753284860670181249257677\
43839770883382374854803711155110378062778994990918937442018034384757565514124\
49903006002612550699177385937789174730183277146806699565498192801658074579861\
33682096961862479422460921420563117185862566633739122104607028126844670088099\
75401343438268314278547166388599861454122155477653840637478235511949502862976\
78304811688150984214789535520732499917221286787309073754281512216761766302221\
19655437572835942094181083018678491220743914612345725302602597951581511976130\
44210010658199130832469236239517460620771200460363452198153945579712323876288\
32748930563940111390530183442763304311799111789368736154807192974969127805662\
69960162307628394701706080547843442662855510840123914069512511768740150723406\
17845956402268956346549453874269757416071550953363278110821163056526838518986\
27942955384454384101671496679559496120325327305208246661546453159815474911853\
00813247265187446915064498866698904925784345890873557757745144044059464769972\
41256479871867622039612251422143383063834774053393982611447800412222696066931\
26433054706503853486749723416378510088351490972020982536490309846238050313986\
00825424424731458564458927363185586265824138739701026611558967430116011261021\
17491616010584944241311117457132009511472971686364124318416781090037324827709\
61277758387062649623017416062109417973305300646378076850993893491919572255686\
96328105326579873752698140301970228052786108877878182287107967159527452163642\
37675016511364050751281110280284780441403874900116795682436097750775858272981\
52281184124234454001572122288210196226619986581841412944852346116794555423311\
35175405860751648581301394306859270312832066732975794177589028253422159821908\
21939618443037437059466066779408165175964477946709365241815479229661315659119\
88897547513411568325258637316227854431498326563626649856204392062278932213112\
09343541237883787737640166522422662153850982651577579025076185484485895259775\
41767425028008132240650291518178735774007437275381110682050228844935190849441\
45837725714714453491983068353955108576911684590620444347847977827808644677987\
54338725177370327781408475943392187365778835803432688398353477154377879859148\
71936788837045195312729596397767603058621376844625152217267299292163269643545\
21219034447913301435299449452115478587864591904040129067379397419745224222118\
60928482624733271591895178017469712037185925303261977431746441440310336481664\
399421731559414183720946311950683594945
1
*** a(t,u0+2l^(t-1),r):
12083622862280332068635423771163203678482986322140430439707879163298640329166\
08263437505256389684614066607043024422108039612005149407762519626471988534141\
27628074567888754776200226905839728741392518084903615534059759647612687670393\
68391569233832460553703298514200439289953520021000129800528138341263002412703\
35798887874530185063206452087078545667980869134024186278225961409642168055771\
02573884262575099662187215731335491339609381715971820886299907347812554216534\
76971858832521498777266796644461289871501250971343429043946701853312237534346\
72720567902747242610354299210724343483349754273906629686085204408583481051743\
82546682053934927965873499272095009816998261583261108217934118175920194472923\
32506189518102354104998589125469765758905123349461523781036949732523577786534\
15446343367382332916774113894973936871499593060274119328059353388700966155689\
73845557443986017449024187989255039630738530451358767317486458324512455274266\
97745721720828590238920264177289216025802794001748805887895618786262719213747\
23427063923333551362644430871977548235964052505042413915083105999527366162850\
67934764441169948999917612416635257105080008253243406131049620509863634637581\
49654439250312998997311999058532326668153937373225013274411790665220983880350\
33927316765712433339233099312412823059398051608221482744642070489993359596643\
74803553356785926155465034469305384579465177751404145432940591087754009456538\
71939270615253764970624894982646070398388880912861547652492833874513642630081\
52476820908284361678238397268015315973815179301827311772668378983489854377785\
83659506504368416772679574422217027529523195154373184318605252943026226958776\
85358087815616734065464252837606923210928977037954525052734678343311034252714\
31061346214332135731774031980865760609806702329899091101916525202630644863212\
87884961883705986431555174420434682437952525188741462932685859253191658828606\
84963323672428174931625290609105204221041076384048597058313919197596882930006\
36864086325706793783667876584271324508628427415479798043588920315043005813279\
96966341162479486037065863985581136191420278296952700388107505241702004594449\
49242423665046188805765181178487846498690897103903199784339434724145570720670\
17908263895642598053110508906532004674596594637281054271421072588458935596668\
71297739094836356772725033325505631428346146926578341874069085657973124766269\
61275953877701294911837432390176975264251092611891786194126927464043953089851\
91655281756915481881617515724973050696504536647164891330518177692527984250062\
08771148262619276777816568595197224010882691856698495018307356235201130594401\
71224523940288924846038007953383226874078264785425070145433164621849303234403\
76392644323218888885562731028019031087525901363652286154723690006198550242274\
03830227233417846503665893710455570112544764380732907932531995865013119273977\
51295509882347062858394212578551032531950406178280756902008758203474174349371\
65652772064783423116512944000819694337679967413808663789014021297835135556890\
64750777956548549689960012825262385038113745349239816531158473053765034521018\
28779304015206956432236262950242713716758478389254638698629278724263031835138\
35432020119719246715200561723010614801856042010580086539082934491870375782652\
46557072502874709195117137452254345267761460328454849839514480810266673525672\
05745080260469744634611855607758267054732528412213815626431779291680010111823\
27223732805755226141317535146518162827931633322982662531141470888565756661488\
14208721011091982848654933458354115624334529201690127673623249539891589619258\
71699451865575602743475899131992235638956101025386988263184422250391679000403\
31622243697277377855374070603276582090574459562868094938773907972578439677449\
91724718549478591970340129449354042825812148680497206511664187823100989531905\
62405093995051855462961257438963665360891719858977027547809141011996499111381\
04417325947339756185283669832970671917002599050311463591065060102904317560320\
62535287882970187093039147573182806156985700752792190026015552339422472553244\
86702952346804675231226915956137147282387607133384883080077169121760257895947\
66036979663620416108840199698288186051765062848685709461448566664373368818717\
31908465109191930661121474412527617350039725092426800466311429220853571763103\
46365574494798700888579275258652499582678117586470864350003161146993104195021\
64978037198841385562890502747288475465287596760176511628272927613949648285059\
57530127666047352327973315884215090460660731236913047626541136769886885448180\
86501652878069212668755070552206668408713383727426212243679127438433349958725\
79463323542358405364998207549285706676920211295160261565193523541863570108627\
98251836090266056236530861520028746056314474109708803428337842135023468664084\
80434098319225142632174849259226228827071084326777364945596123016679654784501\
68662435770193737112896677599880088732808156067412725319353612184655006114316\
18214049962222660257703321480566578091095373968983011694295556660346723372445\
00027284594315732023611595699678579158893483373879791069607308190709647615200\
74589697134639650236022527224673837237066953468497530816231436518939931006752\
59022004301029628126981101723223770679905528641216709690683434114987443267940\
10714586003046018427843254913017064670965238995812427757679462407667261585509\
98428465279022281273788095807370449897416433455129717377664582617556309252382\
61870499212098778416654962809313494836516537146229741579673016032148803887149\
10656729923632267176302481030408351169484878159911797313345647872948405254338\
94809643543986987606862880562147711217923589158737306532260932052556883743307\
56010577806696820593107856356667147896975352717865511713110937656012647872035\
14377813726102502333430340313638306640931427513260792166552569669109372765686\
75876423049622676203902403770698345413750880827317611297294116882026780900116\
16998628246771491557266637591844385825409331264740166525700993350895144171662\
36218931259485786771858828292909980873016319472063994751361633885664557123478\
05466819028108917668469039879741370667771639612464794625812671472610054715608\
11925452249758021957075815033547388526540215930512182735661005333049170197251\
92033246999560536282510348303300831489013208264800758465528820122962032319380\
49217126332956839565775912052836263569156794171482892363651501878123325386461\
16898382218723510676494869641702200890633665036919095710926148064343476013970\
48793300196366776219951767073541113512080678652753056192880461880052450083401\
11437820882896921176388275515860540122034726392331801448035518156181416397615\
54565790854274126431442313080342778668763621846808137127504025418240431143668\
91680864504271990249221838035212710224292850174190908058418317557894799619581\
64148920192500165732927914437444190123796514234466117087701710034133555412372\
12156752832496904980236222028646185632126985372897587620121177267557550798685\
29162952534921995165248352418350972162307870052718181744573808226632635754570\
06477983711786895221466955589095068845875295906028815661785617886376217847856\
31257998748296237463155363996192860885621517192907080945506174700004229539265\
00848562239624195559317509031060691485274953778069132348922587453732316650931\
02474522305868539163020823266572791643198199702078960621071872243222434356645\
06525889486207242678482922812234043839867344397180549069611687201513638427076\
57212255520338291764704840540465509209232062609694100446371538934678340643736\
20242523752533024792917803180362791710262546858736970899031228380757828165078\
16468363662968366133150573578251844895796257130427901198522425421268732321333\
41506771525242878678382657567676829157179485107274207200776947502899312534154\
82077727294721399944554126441670261039828781510486995036619326750676066636773\
67352813419102005245793290639152819136017020115444955281122073444701069140182\
48434561367425702891839622004398136683353387615950143964839681936882653820363\
37208057586061664475738744649054415866470950442935500142731782457864452583952\
92976198465279554936053224643374862178808683341576944123325217461845420067651\
06787151319235561269240616153560128589448879015489379248672505328651124658081\
50154237377796034619759375871338114045633029671870913959866404484787860560850\
32301163099430783392937253495225464172596417347680794589917482473476962326368\
23210266410733616598520254476981148497747493549091271517594869887678023825910\
25098057210063025385393276244419101481033152843812096847480415589443366284396\
91431638012623188324835618165054632110512685123309092210128541442401320414149\
62388088559273660223617821664111626206742544517272205043042129415408782246774\
53105819091635895505275398990650883671719407722632125478608086069297827201314\
56103948318572341022073449807898754724821722986727534704262473647951559563862\
28238849134319925640009422766157602562733973209680740471423600471729678984954\
36399628113253556241206393900847748866425399261498664064518367663038939490947\
59297931177180304935625331465242976769659622441006666123772349291082513590676\
83414762094099523264566295148320414617675316024111085871441429445411549233462\
18444005951162903601309039738767161809127590107065215520027214868574857678530\
22978509215133865900179949947769335817966933704612730974154331673623907799632\
88096076232273997712293909893672462100386176979691190527885087412075645933120\
42575366746935683656164042198580389471762550065291258965553738295206442789093\
93142135892711810736745384626919599646297795940914911240399216871461787883261\
43503523858620467963714800648818205928748173813782615140168944930825632727429\
32335304812933369008731678844533657634382826634483091730695404897200480889456\
49597296348031289604471205307016433622104332717907686915961990860215078948917\
89338928913606987081903077395996284437920052692533052841004858802659199197484\
81805482079558477293726782398172784724543006081355487157690237997863770701355\
94675558534541075156756542198959325527247499696823859554346283210965685596238\
29833264350361548204300631180876602038645491690362078517836653886831750022605\
88546836464694531390454143999900536426958357038715256596812229076057318866057\
25225169102803465282652520606817637374034787877429547140953237196672257230272\
78190269363215665799792726461694971940200822002078018494298123255786171294597\
75188178080116266106104882574313239291477921339364280720540860454779460126634\
12374534301540905893110552017626335915112147359300562083825130444749882013536\
16463437570875732947718558117431045843677440548385362010561240084021793110239\
04405101027687316822835169171716121136805518031774727265523743898222176696964\
62954148535868799057616221916259570802845548895124098078586443776705937572188\
14035499410953284317727482812170544094410536531355308587414951965323899911834\
62185127214598571165817094454143285661635293028754574821206782964291267051995\
22681522414454570106691495236295082473271737140867294859485658722097240554679\
84823784985025809434172584797179505600579200274134535832290828673151498522533\
60573116355948054847665295858085044121663476103862533556003334728031031524676\
82029685641395587017118297906567980690817163382223044855598727816104114384813\
41449653134447457576487103251342371528025142616163955675352912074260914497836\
75743310599036204249007292467104325854140542039366202762584924389857343651395\
55468077349551044733957774471324488187481746223970826172916039573961759759119\
35011266639988687597185124550141896918688575399033204182666475399899997476058\
11772076156626395689276234227516380621949523195321656945001557586873107678230\
71482986913530366632023572044010510771941228581190106937044523492256651835699\
42078520698880950691573018376628350619770580204116209833221034465491566436346\
89175286783002896417852358095736086744295532011891204719899450713207090385425\
956924336787778884172439575195312501168
0
result=O: not congruent.

code version 3.3a
start=Thu 11 Apr 2024 16:37:07
end  =Fri 12 Apr 2024 04:33:50
elapsed(sec)=43002.399078