n97-L5-f15615-r2-t15613-ver3.3a.txt
p=506313417912672666423995332868476621059601559664089392388124523267605581945157324767373742036883926984212820224506243493156885305967493788422927245922122793530549855116710518785108465215658407856005724105594219265220157558923499455233006011127715361767470163694381921610965315930449762495653001197968291452831952766872708552056486014127491891226368892754634348578101242086615443951000414068826100606124300518340182060859816681220792648509649555151545158485993432828719983093887166325601189942821426736351013619018834292078615894858441551581316972937605771646795140872471075195963876726487255497443044533498388425187244646385320167997327226163764653326987540525961120306992132567674656763313682296678749984185684581703736573790675384535914437968026197111998794072361374663250595898872539646533399808401289895798775000933075641139466020147666089807182894693536626008845332688975623282826098635601945744007676605223694613612770667556495717404128037728835666817058849094139440051062211800862384858509315622301551875718888417102627057530355578998093785942344814668194862316078302897535979651566845008047462631282146940921213042781613288233609805859016699969437475914780687375668835437079178834979625362768759192726677467250740776535290867261261250331293138652873755986723091586063726035083444771614622460339334939855102388393809715952100489756571448135351588860586834300819834001117431983169638166600525966399275410274358925317841062412657754937895915111111934159548551191715549034324850366567865775360328820455480455980528845751073476455148344903004002730805304030663136086358159115808031464659213065067458562693542757925188765928904347831259184311817129697163614032295510433924046270877976331144137244756205901103709453486526835894321211013446444880623145044230035890915672681154091262288812561410009044702789920769638234805542218184545032301742479993909444851155019759533701668320757095709316833682872097663482209085775182998871851910996736320966371633426680543837561180575260073089460911411079118528863071570758739835091325193654748860157077364154447119239305506463391036013131749219508375073605307465569653244925616674235048599163708857078170264228140161558539428326525186669997883153372652535323695575526995915258817181004792613027400187080333899621580330655956951818099715128219613866670449835205893676443353497255690282807158765886709699546622381444214931715261311431890389258337017501183106317358006892980351867654598424782150250471109143366147557729506109455663690331374208279544685729433665184531845649149169118928785397408615222567959206938983944379281649896608684217176056263546373026369679165915661457270750932776778784990053771276334314209514477140879116185229357694257040832854771600234357543793364848208460855306657993312122169744396829619227596014730780902791346573169836888319917511364294297782395786761697775168416286910100396434393629977317434730899902131086221813642149555975613944471824373419777488546979695415767301151415514157753894819919732421645992507662155594603136629892657623883469609341208314773444003962915748658300182146324077128397465451384436834782815203251435892045070291000491984845832487956213928491701667108336890314121802111964536739103700672048681910570701324099896961221564545282848943129201288898873699803902013893326139378069355929861012670112760676948546179482017912120600718196510859620558945320367684940943082670131760336862533785447897141378654933513323883200088645889617330556273950760884698579031546085354660264797322042489304580528185705531553954819393456398007738507389193770870711352225419506720197086449484495928774838252652805477845367645710307446076535473460443790616980907785329805152904383846983600434237957513336737980302747637015268460796724448040725740241991372611266207069006593180022101018986757214635403048431334350923061883863275284813522037359335347016982400664084175447782055848388680326019500158900648045745806830115316972213716661809243673596816862079763514827739258199331787199252960599613008580991741974434976776427116951391442497712268188150474309839847627649929983584883197224256531524528174889130240359405416219208587198557613313833884269387510179683733346951686408841338518690642604322474210976138764777631849501150535784045815666145124071921651456450777456668680536706451297920154393886392956717099851277654827657646237777934737556992535322353597054595999934608957992469699914038506634359183172917760890722607999905870975428758525616981349821696260045222927631923577998246323023513961566101151929154475841620720573689552540571828613233836894075566913309928333558393118680489094073007750610726601912540630919911536229176927131065147681815231497481542413594939523268800686078359383865284017841351497410926776136834511235096896667199853645592018988835843600110881635977509042361378523343411330289581464854720440777485110900493438420940961214948247557841282657320927882491725067201991368740086766372132451880434396665724427060312065187352672497977436988955361480223376009789689735371566542312443572995106084018422745865161484389908875575310613101315285722469083396533552189572539324771503228951555500925196172064347682141061252334556799410175138941924906659928302006775245173820034494360147734903953021023081869049431565849923360408122381100355593437001128285404833355170396469749234919832644978287125110476543139514293809737790568025384484988459466018489816529774079486434602337384755132560140972168241109641239576831863284690310602243984305314244222158620570808826427402138371308749069141784104130185950507996316406723866385393643533352611260274062291292037862167353634411359518720271193955005436587233587973947593780458598631097783713051045336801030530276849813198674435475068428232001982378464823861543362992288353810920306205206377416593061582576094376256865054824976377703955170525870936138878798744171586954507159626684047661795253474742682756144658369866830623428879717949698221937964664877047016186822475002668211690720792421054928883693962802289101119522800840032878550065962057032195096516725969316307465689684647298917385091686846514656097032654571008615340616701671416378057103937226201606650110048008820195861964034084156476000625853241761677321500162285948759817576044364827235835986981901486240669180979519787451151979931035281385398495422508517260510686565804963093514378667621940493050355865433248356836888995124493648286379849111914518088465789631845188805536210177573449712912166237428780323125216850422775302060484368467174254925591840810454114522049253744410117747706136654018862662974155364688048471741204507382166303223100592569993503286382391266478095218153181133878709564548750271882001923583666769374228235906282505867012480188357724107395777612298142774011870683346732815629027111884634384713266372069047860989021921564494126514535392942484717396406000524188855575302501487911538340313536151822357121335864772960149484701599770568332960121537327013021564815264206355614211266064996100287628941584002209939971797782139208008772650525327712371205429430199304244808648718727355156009664586267252729079422658167076956493255284560241862203871061823202944617599499308593765345545887479681469450372959940297192578629069721476543409547036935579361108810514735235916071717194555114573912365814792804589253142038650089186825211370772475436695648785412286750771600235961435861964186935395614422373054719372780929976531251087525474375282389498220376795801713651138277789500069561434815056818643861203340766843652655516750989846995326553650862265246346890116736749463415798432890766111513332957757814416105016275145134448181317904608439142100760208883061909019916687994312448850172609795972147912297960484732112253432364673575707983404738744487732901394400655695071331120098781087291185369392418515060273298691370483886222179842010046326928898114547562523162707785819241665053726633106490501006766220083812670011246587929557318808135898805669593722614349464655651840499740291900767256341549344333505811582301911301962475363454597544536143735379820772955745726328938305361044871408009161359229119065773071472931274873484081545428606863841644500631852934662763539267166909947133319440191768656774152785916036791419713529763907627081424736978270245366298369334392774229281342709926741316295462108429459160374352001737494020625472520612066377328352997049646167573454033088125403698927032213018219347309339194611303420147363852968940894070477574628164609219964812084012668653449234945720931761502541280567766323734593985501710651341253908527580903072276816155072967423464875979050570633725406013924769988763256092751026465835961686488422209578175965043559530323265046112409349417668778635438826706235469059938968251948204925560825653809789521377263628197914677030327877247132825464557669226684309270081914496628600265038748262210011398858711801851367213410379765190849291583627041680713934596501395791021482179012440799792005785878470515228396032665417424100163057510683285092771645865502937159758920524907298144062242158642483255867322232591201461202520381388508672225076380327001229476990532084636024667803542941309072260651090121789735490665520620719961801909300255391519502051259150830520244271044258256385978807490963700134928740864992772058161894374837091891050187458734778329344586699949850114935582473368627014689992245071823026827931933890984756755618471922090415945199685584458152274410037231755331550735376521927643899940468796809658439971163798450578955170133932887449586573069628630589180184029998832510737878427752843684063767409644213971341556424702192097410553067795078700248748479093834806043407775044457924195989601403773271627241110518939633821904650378831590588934539789371092797611563124806019690620754029481582024719908886674081573072911751227002966344613694720919483933409890629511656045856237470300076300963693758418813145395456315363553713470439404297233286290672526241729687189068103396922713307111053575239921209815208157697214235654747093941501129122882563683347020382686483569972796188430806796972091089747277782543193128861019192825236178116669729605398113894868360398945432282357886484250380449221438253682420205196240282917333271677858313049205366526042972355641619778635860906292451291121602339343851999743404527157791654980484663563662238647728782903697308225125714733955116342295823281111995535509076424942647832167901557526254210737625421842429999874787483483384344882953396026405304126634159791414621352787741236820035410058813317105852675833686557903387744341701623855600961013479017362925496500805291867492405688145585229233884566538754359983065203556294506576262305938526416083656562917177315310568754249887222676894657138476412561715327585964444969451821878492666409867947572018067339537685442778889231551680363217482958065324148349274882034239339694508586820256340847472512742030089881019549264131670652153133290872174007363980223953231327398118623143439716367885584602591004383531636901522699804359913468820453487809520092181755876610625595442445946080473398454024902548553654924035072326660156251
g=2
*** a(t,u0,r):
62023393694302401636939428276388386079801191058850950567545254100281683788281\
77228400328339951828105556607047750201482791171844998101798908180858762546004\
22074923572517970385511757869889181549623607012029352918599894693009681286832\
66043236363145131816515095052561785397343251201480095905717492646751115702971\
91421394190679762691953673061775667523018936244270770081740215561039188399755\
07234311973242502268134966723024553275434495470994424320705060642819145341955\
21518197929001177874886145767995624775202999168329807200779630447120159090068\
71132918485670702673240475687770671150557489899468879843677295535355258208543\
74691822017205796725852050611700325559737144302372376065362395401454535059260\
81343146873062746361258707730289357734605649518651083209146219852273864268396\
24819799761188610670034147652915801223534993761430176603958458746808909600137\
99045999582366860835532543995138521461970828612383536409403841399025901675644\
06775670725382005684621782369185089709014032081406255120945605642145167391163\
73194010477556383109507181454746855842726648877793723979685387063371959210494\
81575073169385134858141723320630002628485977407476278086172012177295457462560\
90799560634203519432341042199407285004106939173001109017989738215745125573131\
23950450316558340948497703510837357871929280643929772198452279125139156853013\
22500425782416902041323099951800023965805696354218872018504296651368854179382\
80675408564430883911237758608968351435530145550574979892249601111211934544697\
52098515475670479416990456355748164028050579635585761478360450650086575567225\
06179903345236497437562341705788744916864838544207536004707636739299589878458\
35623826290782609329250078197598387902542718956200028155695668182552100565156\
81248263522288520440805209953739705434834914718949787633526791817939663716990\
34413761796303795387727261079760917652942806837636789217276067664569634537992\
53906994266489920542878454369292744224391312126151831963776570613007459917361\
80185909710019931838052509476836662010124462046935895345896164785719201978572\
62674179456297986873362227067353692419771089197721068149245417654019116086392\
79389775946516650164532282522503388042593793453397554334992075857367947169790\
92107996999933536707474068628814993557715270800205699961920510467308709509585\
65229173409027036435905053547265977172151032069026986671301048127219753643108\
03413822059643876948821121938194461241726916329135119510650406572684146284643\
89493052387635584439009310378768830703581340568271087006235307582186449840831\
88020655933405142442240018556239851051510920207732170687762111825553647645750\
02850025533186462002112334563816604066892284430695730285697824668528515666989\
26515540116128158698135095349066552344975769173269059631754648750202470952102\
87087991146871939055364547750656041807349657936886116283553805118045206605919\
39955213305018819189895142126051478343483878307977458130995146487298563213219\
67222138575453523801105806217217116332060701270819779848574392274234700501268\
84314943910484004843248521154401672216516340821886140603388842371618505589257\
25027144298018559746890485457179210641772312924699448228689517794593512260894\
86239830089677552111064756026814361447977463620624023345422077126906347992075\
87156557505402033323259635340449109122022373777496416567971489955333271578901\
12028225977996701932452073813496101407974052088813182926196906986547194234773\
58797907258030351847080174504140526552762709114064126566038871736739981888522\
93553821756920108591214781229931435589682083755759313643954559458824376719502\
04939811114702748927615359465375698408755947967155176236931662140647613889573\
22414309006185075127491768594996867103605753659951266214437559549890436435058\
01612037029011312307870212554910531941497953837504025870865855343703864475987\
44884988903179643943144880110365953307664552707374825877758792836873432838457\
98807508077325122238965644957651858000958034408135031149235330184142761333993\
73887694653293856038613366891263290961802910716323500156100656047710305663980\
59129418143931908487673452593551171488391868284655112321826545451705969752853\
04843310295538133438711642298914819165997142511175470142391845444402716348685\
30519318233076309446508229999699970112573350015815850830639685396037190295030\
90844576998685259901563890940633545612419102777698810402303415220238441913365\
74654028399521891325108313719784473178151271638806166412779700535073158557698\
83156391880099919895973540775382394697170627089999386824257091135194799884691\
94490022919388080215353157791855539808634910638304785174570380460291847391111\
32142329059853827027697018622004900512114501952425694688046622086090315703835\
99140239434494498140087342862272876891631880741735735554805910223658584414889\
45665380091600428084044599024523497292185565558432838530076762227626299369841\
73198207158502232613239084101358300040724485768926886910956788796047372944470\
32539952419260853104462065652677488311603258355571255218136656052363207322439\
42670660628880586225355353213591551242314888227985450702381002236031147031781\
32736356119923699258301690143327433769190049529225678636848228183776383725797\
55501049111225010024627160753601432226360672845091455465655488633365310778825\
91062280003410983207927746454520385801065841216995829967533792954225559118097\
52573424507532752895855536681661561164999499168479356019603263821496209208600\
83735675442812776794990098401728260333765345905009916928793445831095994110862\
84587265002524897324737088238786329632503738617269090609535931051848161903252\
37456304877488807740099491721443101992408123735676195048532176096986855275594\
77789372295487598236736322107213328356948793835726306832746381155008202153915\
41043233221259488165981936114526808580238106178332309478504848753053758126239\
95891410211683761834569588245842024284136194092303906196655532334183773751013\
77812335326500438655715610914659692160596062687345083894191896770126528461610\
19401927127054268795838569918550655978637627720650308686751370037765448838032\
18740067144743825948288575318782685593211329707157922878825251044328041488714\
15431029040276223830803519864438993232989312412476645469863692941173796737316\
38698045371886500184948555379225545954748506311995232310209696814638480881080\
47399309059417530916831007666702211580547188376988002872307765306543469133638\
99084052829320644819746699911739627661175415518219697113156892572933644125591\
04311107978955511386783687710398668593515572923712518901902750471915081531516\
20952846583705922990103562867818574675274758983174036408502558958283906417678\
99745024093351372288462283850004992806290289510335836902394240940017401173106\
76214334032174285937788297552154315372144829822589824204152581842930143566664\
22376468890014192165722190830554523563899917924834295889851960696870902882307\
38212031559827575065224898164541587099747699145558212058677121273751305784583\
62971155185391650530498030585635454377881059735064213134807974556432269163446\
68840817859823874736364343468761831187594597189462078761488832255909514168986\
98652785627408800929620222852345453440402707176465452283120529810746496893526\
44765472665105199414769989059468044101006611183911817738459312229275625466927\
17042377235862962811997420507334236071565593866530273625482937121626098000767\
06875926864060908820610408808765676695120246084717358292880550663997187853563\
33001535304264812312118562183509899734635925386088392919628240995216976213005\
12696952102890527589309061289958596276674069920312316566392212507825822187061\
09720927135319961574857099222644390292137585212757648444602838729974092439383\
47450300801996256256927502822230627492677494039300251809268435308029118848660\
38328732533226597286449370527896990221144331453379490734312558817508385493979\
42793032749841461447000065881192565001593796837510454646725130242279670804961\
99747280420814080322646238062212100683193170207750571268094883479089692884276\
06221703064623067504879001903207640908743170376285710396908151255554508637332\
88619602670520763777070213707715539966476036945252310202578094203173504612181\
85757843988901839794680854461918831984134490403232023188199205677607584028044\
68707885147529494240672799674748112226650556708555720125543408117200179998931\
50043408206014513274019844961885335602279464685238316314234916604548337162747\
14506948914907396078684317474530279838105057371550243463114843086964481966025\
81124619410828260874714585812021284301752662038377497813122272324213858165552\
77481190532953619531185614460947318700453940513398846689680520719886952595236\
33502891950164629445689480291551910047531280850814140784061306869551374657487\
76322395955478930360379462866062635390997899643850937444730743369490263136223\
67057843236234988713620007420649053065948317206733265557178360424645999681487\
70145303664425382841256271513844959842523610863655103381201142591699216368714\
79445424454793621516496277377111940831448026882788558503452583700353246724666\
21207263963601921957267924836427715212358790382189943126058874569880714209844\
00131566929023997974520708770112638115478514001513634452269974545058702423864\
52661852410980207046776430114402264762466443370419884374697349242217899730874\
67200923123475718565900576506109313401803679130218059340103103613519297585399\
19242597606526276038195320733889281285461139001279245976738729923202921636407\
28240391764305326652877075596161457712483206091754375665364796369501034534471\
18707438566390796088529876568092995240500212983207864216619016456327025632628\
10456075953286961484096123653615229560890028114965083623936136377742707427609\
18315889646756531019592200834140677871257435520102950724717457254367485698256\
53901073997233512978115076814162114893406620260185319327927508048971407804716\
88688994763740317452442946095714008726171962225774337036038570105143183319671\
40686984714448112419795886770741648278873741210104236861149379802818883861757\
49927014316895253078633772151776033126367818427116021151778656173890901117593\
46868052485406304610310943398632035329900128827026411077570607384464611886680\
66084266612303238012110406296689034820236299931790874386770651900783388831755\
31140512100099968790942373216675330827738326290811584940415283615411582854748\
51121091431819292041876661268952121374148870815454588841094320671605029626186\
07609647513653943465737332578053764334852765739944026411356609842288289296102\
08252831623962865696218699685670545768294777351093712865486242343467759057029\
20257577900054909501751931238351936219453099861862055474359440567940796966140\
81535911417569767498466146672671458224816179101323464975551268457444829111571\
64983015104543377322046313454669527896266033431649986818584489223111177241511\
79626958373321348648253767819696797834190581150859400997409097925487435646077\
05559213247746948597024792895735422112554467239561118477791959549946336053881\
01276292806445087578481801153516352088235775722132490933664667404139308650808\
44494141662363002208172786173049194319112577301885481401753815382810898686010\
42489478485612965488875882813184131590208757743427083760626953133507136525506\
59841138173980369826255204365307260340893999305055522566662112922650948848016\
354416996283948579913106180505621978227281942963600158691407475
1
*** a(t,u0+1l^(t-1),r):
62225919061467470703509026409535776728225031682716586324500503909588726021059\
83521391023289633303462635975560559181732530898120410340498659717775852382889\
13249045771938437227586898303750044183255031034925775295476955573639916980830\
48136438767596217961222083118039538165987637327852275810715753847230303019553\
04699504865588104774213113626875343172073691954456144024864265244503806157795\
08890587277644926765337040083752796714701220354165018359303281248999779285928\
94649685922238732741416386243972753345897539573777414734496461893478102466689\
34385597403174933539112281322669514158396044968528370063575017316695193745551\
23670407558486468715160955266758938867687306406216857293330925672153162112515\
54261818373056420635091389224918874004759463884426270419625064651791493212946\
11349823597143512255895483645251852819366944761467499629604037387614816243730\
27777578356513364870913874751041014593275223154791319385434547819920680130095\
15042693323668967335836873903451816532553669737182275545830325987099110794889\
98086072552585138646191286537048070065886572629231417772272114857864602342610\
71718991775652514890331573845758590392170829578602731239106451400731524262438\
65789926546478469699875217031078818995957084280504786108660725116041436187247\
58640900766571592674043818461076826795592723192971175536243143710037570426410\
81920835335992140905131501910826309758347102709661219355707575987373323907315\
48530675204641270470947922718711921562666570515638081867407967155656708208516\
94146184097631852411005119070379178441203397854804000699514280693025633773158\
85791919356159718653684994250134177553328070670066172856967906573550364049490\
05699332662344348461753751922325239781408164569118232329265286690903291097614\
46738053770524564589183349414813141207683355256807582858452593587141099353617\
25138378161352950637972901115939728812625885390576011386148805844698841507912\
51470772206951928446691935036621047062675038859624980802841963496641769990561\
35059986149889384676707374813903883763626909269946298269474601242162366719727\
14960462491257327238663001686349133048080545815509545106467443507583260138919\
79077579296546092287518510383801358289263487472837219818534907125473638425855\
54449574132994544174273983954949899659128218623226779798530863154548901214106\
74829921730362634922226376171093784444549892581905442137982847468043328348881\
44812724335756999812327476622074279890679494015107805615174979328839849619450\
89540376640329904714728524453475014640572626578289931371969953484495630085210\
10675417258901975560418761473974511789638302804328847163477253415188108536021\
86532801126764213714772293207290290937314789849244940833569491034793098575289\
63826611267527760848986148721634932924061404337916468806062419031835785142966\
88025421322045398448198391171882673780598146615863703602030715502104129729530\
56493842572953574517862146671769197456442193012656568198361661251338721786977\
12421231272842759797191049666089662018042940295377558721549329065334242380456\
65978013115089666899879536733681351146202924791916789225767254918138076219752\
78414988034501885656268087042345510105092385783229079080048503975147286994807\
98847960147113233913876396046493755281276981869181163013488761460381960556947\
95604415652358448125947830068091391927318773365341302826152621351105788384056\
71577705899557507489782529564723843779918457156858287196976325458340001399621\
82826635118464736669437987318847924190486015919334540040540223154655867543669\
13287875052452908945798339699253660685485127294553629770138900877465435908790\
21935532946914023209827981047303455791315151062558131914440010425188504057375\
91222192464164454964642762125102979322719568365779678512280620968828854186682\
69535668170330532919487747942844933678449783890850977792076845891764938319174\
34664205193475740739693924616848780910301824716215233472461678691034652210991\
72844430552679653250358185839146231414838713704161594516253241466376696881206\
77965695288896448221596594211724558850657777363560474850487923496029359723291\
54832697876646788188857692438754603885088658058645822892673326008282968837760\
32369329267931727343817639498258214493886112772436451269387410654017092565334\
07353667027306762701843767077250010831308283403622596466005039470799760712320\
80528967454191170954303691400847859230745369235748439170963997800549424580837\
96122286451438697500863769438053157172202377831912472262290817924575438259111\
72570780098483919634409372745261194353324653627436119515928134698085231884315\
42880194422798327007893086470359557897805963407735984473099589865876473831572\
09308508093518655850644600723627773656643855428188717364579019219432651428583\
21096615726525500582993750512435400571278025658443444079066500950919510404815\
62630818067409735604319030368277043405792702099031802900787216961430793408600\
39886201304325913372792517845362735306163586130621342051890525249258956203064\
51421715529201296706435819336441333171396248586936385847420367582330107591247\
39218156663587135078336105387350217532085712352811525643450001427005942613925\
91945291160315286847716552805019931512109853772586415546682834643151980080820\
56743501516486152914503494339735640984650830144177468381461710637066095467083\
30135136427911917030647510524575962571028505188316632677631862482239356862156\
61969582628373676170617513944295558099415824063723370243340743866627625401935\
04417261321809716474320678314876760775671518463067092167744608103197532050816\
68373672398451509234368882812627264586405791641325479476832374908343992635997\
68843917301578567112312061490329446815240476792772280583384526059752526639759\
98533174327472863863631787648787902490359238876822555997914532603677616691560\
84850721329737070168156571007961998159275618361771761917618333973471892846652\
17102484204211708811988590982971304363431332685258367931175223868336210563261\
98637844992872684986019988419687152379895968198160904576295380514682043656586\
88036708929918119469457634636652045875710730178513656633483619409317336017911\
47617585731338907828936048217782792321678958538854765075980598802840133052758\
93522232400407738031067368092567773619056216289741875332622431530369466277683\
13436651234325313246776958825361792635417072863218073885100177457298524900284\
00207143537978894283090047691736341251014281236994494310258158009585243726728\
42428000756926589782423423829818777465783335242360822654750874262967713167633\
78937429964192917138250736486595888735861746223055253657500800269374396083455\
85429427307244554575377370420040023082377696971690523057999710171208915091695\
90846232335288846157159303552372356048106747598532851880034711930841947789182\
21279523694320161157176994033957268238666119062826852201553896395886650157902\
31102596135369340548304140841429803640843264595609265019288211997105583381514\
91642927989410685514417469260589069833134630408074320506215658812604371272859\
82115550794160276328148636399792631371768018297464422810350204677432864328062\
02453359305896769021217778059680237166982661180284812079893693748990035031579\
59709611049865645993880207253495969206738716016225339474249086642781587495627\
75850421147276971494491686982927531591948673587777652245360403861044688733757\
95302107447245372486485575349807164189350297846502617376096758957125285259545\
08367766625249679135126687694671850333308393827034802728122609604940852140432\
10823581133829758638035684019211156550095961060818477467937231169895235727170\
04166982966899966046743539857436012101250964842501091477629411569075865688080\
07222056693312843082040306077248943403295585491003387704830113305418905802450\
84911363008696652195725633443690972398776032795346946509053801627402275155104\
98862050843539173930650021533702368148397047637717056418342967172830861854776\
09545009999636862137439249769784214193435735765959468376183824545111604423916\
97542373581371840584924266594660140195628086681898328235500907588409169432469\
61670590258303469357956157827789543409669678687718480063510300320878768257373\
15684483005771443822056565425944815199019632167930685093035492061796111974180\
81874604295804376414418587864243464904899011188222168570038223492065078179972\
99626114976582651772887241469604432593104925873318351048402325368195119362193\
31757835661381091276547256700536389759348132325026849591995683679175433773890\
80921665482792807984247368307100174629413155518069591196871952778677019049996\
50777271229312598053081000786101353801513487057278322295777365458333740151399\
47775006665306121145981322589799391577843177870177291903361110175298828358812\
61693921801430473133675405125156977508910974829102513488662323381778481186981\
60081816023904984010535803969298758282070545846769634383325782531513088485239\
91113542316190041737991011526512396912694270895571578261038534662767292741672\
15109043431492894295431802196339147466499198164434385351425472853223132177265\
69990552371380702729611367262424959413754795950160929306729163565497257326216\
14256104009197356804475330305281356731419553779356277634225597425619100215427\
16540159800628974294437511084464026321569872414579801421910039768062975737901\
63527687031097693437133251110694190524956129716119214609390238545865958178975\
48726477158164618871421884511027221363932017674316730554274868849808340189759\
67958491802792484286483305454653001387617746802099749637070938020911339339709\
83679544063943874658274225230761168594809681866747859341006803867850425667644\
97054238365791255830859770042601054000469193270499971528346752020266052655101\
99224912119665041358329906914524993575782730247585377774544907435302683615127\
90702227245603082957615359040946035186755418983025735869941024461728685651556\
96852587708244887714370146452738970778772845958994087717569720320151722605711\
88080632297662734815552963878883687122012523735082987932482777680996712081531\
55840248338005494011370730482646110803865981997729067022328643083807680217224\
46253306608542257986645637530230812010045754160755583669825280357315850998793\
77388437962909672135569101581158180751385517002788129970885123653475108578555\
53646990748180146544394848439698631668628908258098762956196841784541048876920\
22670766833488050321688307496566515581461553478699949299404394745584355370192\
58798221526290538709768503428197679321493030393627501784248914371757209314761\
37756944321861793077054025908920878667374733954605068130250835507079434730538\
33422636788449275053594107684644163876925943971015651519740891298058674188643\
99180867950340803083798468156681248664251314065492625451418573435101419976642\
49965416434443464698461138172010793598611497237164521187716333823836485696425\
76133980051823518962281566723092938599600779663263537795951295718533581085565\
71233903543519948970370514816659073092424672844413227612910841918713517068594\
85822263739984489653668139158252109205166889989731113966699035336231875110383\
48137603150302867456289088667487017727707566010204760291815409175254865577015\
16639428655546228337832125883002008014848455105320209504290154371815995498046\
37730260456178232314962008144819018550503316952385213013722877878432874114161\
31383476584344387360381751971398059558333653180337336517900193291377972354458\
856798766067732901806699996605232172441901639103889465332032479
1
*** a(t,u0+2l^(t-1),r):
59846245997277909171316248345053936609244904352295366180276318650230979785917\
59578750357630875968016953395535053663798089114384316535776579159000046799491\
41953109928747951833203998205884908238085798765892812367171490226234647576356\
08541310515295955760914973348675943134416100342979161926986184741599852049724\
73681704435415085307664686986954154295680312359778000193156681463794547500824\
89429352450916438923212678095195936303317202976910538405774189126377330444237\
60354702001697463059686060651241492640236689809768026213323692398772267791396\
91166620122500220865118565112608108816293022907079359979776786385950951185713\
23172027448438572840781325569820232499272901686044202864700694991444294236772\
47467428248130747917557381663022057830452145086567820696498638257459353114485\
19622043524673418622024785735303246568341520511028954078268488358145413181520\
90181527760291942455183238369186720300448587281499869417073747374407033290294\
92905177793797167934059548375817776355962927281814035553434861933890275801106\
55604343170997261090153051820008802943757468549838515709378063272576045540248\
87527948152010799512100830175497684168873816567866906692126790525357739363875\
09653127077247804056348662758938294591717879267336580293276629037559786471380\
51028107978915884898876967795763066942547273241734686317200484837481210938989\
08731023081483084255382778892267451695985578033213638143569043789320804604106\
51231292182169228394353494429224972568813577176146633659297166133430617658638\
75086077789585719731332832173464759086657783778989689850956777688491699853436\
75350731227811869364243826854075344074885093191227189842909736021103767539867\
57312132796493913654835585656784730204739178617329333289822269217776802341237\
02233018353751045845740210747200270876714178936978488965574422799024230623251\
09124135872025376447586630690838697686349712393540150901894132228180659611352\
80096381406523335576883537195513488712841249741315481943823597113938626630466\
65289587981423313822512707103364028159973154399574063917427972878955181011161\
50596636830485077946378899913152705665444430556494940859108639728204567521727\
57745889933700147342430333013550207890894582744421150386906639725231766167096\
21936042819527706439374978872864752967526081702729091718359219079476648685983\
87021128954669352707950835341117048993863281555583590404471705213366325556043\
83375622591427806166127809086486410765486706204928743887011249444010335435468\
63984316671171641475027759075677353380925015960568510074587864132362762213765\
94481971684314186421818532190592248116641557294317898573824339736983193075327\
78260187902225631091017779146474470209850351181291716896077411231184249402760\
25421525238582435576486271593956461119805191153309411007946118222644343400314\
77010616763757250582400730972469748094928404637877052609927018489411783027099\
37164948674720199414249843259585997879181995232677024906805112773866858545327\
06331892078519236843189439141837250207751631756823656964093821769914625299999\
81436949960973137734465103677145123722385563144056667912820907496533121311430\
26107824130822806221081268416641491411081529695505916576580416353640433871328\
75702431972243972730839625815260877740007642448634771913705220542043512919700\
96342082425620574194361542018294568965086078208163889292524327450778715923478\
46871316821218042191149674487797870909571697607328312015318158414774517212655\
00489082758360715006733686746036001947237160957407181715149343994144211095701\
31412748829942504779441527684717515809799365713720415287472889208432990434654\
22235801418431550393829677459652306546244514691573402703716918081833044585694\
32729561832906741878118588146356160748132245572295834012624649296302445605092\
71433002259829690732981707134615713269265780764024292717847706952047320661728\
29758413782496603380242651665675556579313878612340444234702769904640324583720\
27910591467263913866495830481587343801740731975849474953792783900127954201453\
55049187820565990071543673196304661156613094258526022191437530978280474526387\
80319161017246951699942874257614273223901378214254973685223654468503229590099\
83938606342306998958822172405973319391190712202619923027189519441048172019711\
04550068695098936951651206416037032386172816096893335250462129092339558309164\
51737379601996716084611035993329674215411738353665301139202152481895378238039\
43870254341416224935737164748396120242101880062913378530535188597923651767510\
21951718532471922707788347099185298393514841812554510388793372834122655888739\
49295679257727927195548924497937345350046093366919392715381379350257113156158\
02605904447956917181010511029559014208423952087973200915323352902660206662803\
38109194295161221878843460623025747335435822887127868919004559905603630023183\
13286921851650372241094462079172876570908847746993971544939373839227988453186\
06302270090897664448039671353310620937254156880711494145919121924022852914582\
79560998987401084383244213552216156068828613368396100953336757105219029432753\
79785078255785186055812267345685888627278528886105145085889260933052094523726\
96240304435714132672091916530133083032802153913097756856126208745488722909300\
17144685754667723958456574702658688074741481879916816620738602093581875380058\
96029073440025944613690282701422935523967203525297200833979545528077233369462\
26564724708492827692164281108346094120024006544606203114425353336333485130258\
11408627243595675242186364335381880583273990905895283110068451406004461256359\
08883385496313819296195296569996278878056668608662910286099159594517981526240\
25039471318523894488814366705914895146960328371893275548869413997255888110818\
79793500451645992747610067535286656422786509643941628307188753081811995874226\
95112736055125481642604611010098520605584850206358195758034882633558809881808\
67872364792008331827315308821702263431713454218043442550568848342045078019345\
53938106412998790604943552735614494803122078446075011561579446516154740115610\
81578022746267874054433624198960714585101776298619318259379689293582661654329\
83306742338846695731328241654531538262184319766416869259405262640323057175232\
75950592918862446177967151412054604082770095731875424445207253107320349178373\
85258032350669259770293218333260894137561415886349685380137029906043007674642\
54715088414882874729546327397585317623025940131918219914341043748844392257927\
58136612607556736470971917792388767261640278483702597541021589405067401923631\
52078146637653399558512913366278552063294209955778120279223715149227450098165\
02829603805665633448410131681438004298918175606621804926408183419340063171997\
20407035492523528199969322049555837956763365062217925892759177788653525050295\
66763545164106127329359810372772572057040970490041773232088450398647697710854\
78570601002446347052966228213645262736758941214003377748412259219348087515826\
38829894941809137736404758882031147715838188073510046247637842731080851785614\
57168902391128923205754018083445801693596255189261959122729000755675871143831\
82505997314540261174189921616388966909172909288117695588636571205293914896116\
42291912335997716488825390539977408952290612149046664978488543866369272920937\
35602276481758649557761736382278553573379440342354096789272577187758195348496\
25750277463502058811249755950750258805380026081827578306384352390009834968903\
40838649431281627939560410785274310084597657854804830614028417048852796769723\
96414542636441639308509502449721388968440541882739984025306596617425686435732\
29394120314789064171888416689576376162472449506782986270592322599387854551107\
11583784386896485372637625535645444347189082221615951397159637043942348786409\
19743882079966999914847598641531919752118202411798283786575747374767688554380\
87595560697366398361292372215489177503177632471750659630985668997791764615415\
25209277314540904024778839078832336189292953356683557055044166486836384401195\
98450028944818157503157431338395675924517818110662183868480124303905319991195\
35146165732558747584299575713952189023783206028383436480935048803318717721899\
97672139066575953293466932736750831216632388301459780130161067222980475470693\
02502670689699571132500220386929028085915891964587960333429764172189521894815\
36336914485208050769367550380042668287266088187357437704810047669004581843866\
96613313060823799746850168771386503413791287557511583578306670552307048592952\
75548745810139218093881521024403910831543002296467255325225913901054708313340\
82358612362121636207275624840660537179323793085193634624580021132425126817700\
71822667110164227172131752075787535268519638928030560642614184074209288136791\
30449321049056809799840788330297434837699570584214134209600379363109979465429\
00908630219898853621198796006274314311966952962474945354834072377744890634299\
08459078126718168701631713282618106713429315051721403990681487364842099284504\
86785101168449634708869316677032442884786047380277822201289592280317121426792\
56085299351482498475509061109996991071650259408535572368229350150055132758004\
45932233473450997349788316046251068882455583862651847163266603870693064649824\
98739193559270502535415083890835214899996411061052339528639273397762764297965\
60854130244717228350440604404264062815702315154152084351748789228001271413790\
90801217250570040281546515453241802808924039781157343787756627323412089588523\
95546734996664537369099484985679290187277605142458831628167492872837431325904\
82269504543190935594857717024214565727473591510574426152213215762245079852853\
01479340722835853858483521717131363570833674894817710615545859143982485141033\
81191087164722602836082953598835266400793480189296921504891847508972963411782\
90162760459156097685843250110983086729654113293683010413564109775234586200276\
92172301603861234563373078199460914125719693997991059139273726133783023694020\
70228891274074330799010254926639965970885926000706339899263338664717749129674\
77789400761206260310366316867768676135207152743137312628472299532189323040487\
64419372181689950317506219333387160126830009290490724082777446202072689894690\
18773908602245103713785742936475972048932205937587932974439557492601772449025\
74784982151626471290052653259335868700015760423981072265439110650388543346232\
47190273716178092335423579707845094725213634021011668081282338966054278313724\
68591942916253390362039358057062373440199155350095774702182438394969097974001\
58526206825419560144082879271232285260241607432337827933243683945783475875912\
37677426105733965104433063696704151100509736186932872332248766081615421392170\
21832209859481553494751659366311827437872297172833428220973762245964099603247\
70918732486177522598519988054773602956516509141032110694776815768734520824389\
95110141921281854689517340819117862835417511441804313811891319397320335917932\
19852297793686395185498737602352338808174095445155764880765349998307060354010\
67731420456193382238108820573681035866970922675233666972040894847376791196479\
47517206609973953892053460378331696463914030125355595333544193364647071694086\
18932306485643321314334884291056447089951890914962154299488171251006107956623\
93651072302036347108450035498109096767042246247127194289845762125555457447468\
40761000262567181334394817599831168753417720145776022590852748958835446153759\
453812971108267119556972657434812390420120209455490112304688682
0
result=O: not congruent.

code version 3.3a
start=Thu 11 Apr 2024 05:25:30
end  =Thu 11 Apr 2024 16:37:07
elapsed(sec)=40296.834648