n63-L5-f8028-r2-t8026-ver3.3a.txt p=2701253575084866671967517811069216682522970269390788749154452160718938248615373485362675408720842470904569684752612510522767047845510896666739799226332073999507537682769158184044690047285976993166313195293923503010563879321629931485971281895984038230756743099361699069296480313812902845193151555635396041645587155731643685329487596071936149268464883755359707346632611293019912746588884203322076157108310687778449479388590616627839367857286432996339890965512286793941765065664177529208059907083126593802604306819880157197668437714154758879855188200399556412885868760264954363489511771840766485590447746258804899305500233736522952013172802884104400318886622070019405678309895539751820612550959305618444446847045607299687477838243014482526098164012548894972631866756343829362910705503683511650769796391421724253269328084582576632875273001579763834135582005152086185567437811366201226706123051680288157555404178299880377877199763230487984931913001160532626591238832409459036700837697640552141687084606483118592532800655650356293240675709743991833033682698662600543606847805915832939802546707604689746220337094104943682430566942691962169316590649963953321961908733805589549810953873229410440868104637284207860367671966027869141430783067340432567656141448130300068397938639836887055134382257547194149141126688423609699680649584087996980833988712154862915310494852917590793659717764568536288595779496185881322013914691573477970987461672259370071010507051665024414376828457034288507516605112313649099251787356781309653007177167753284510600433360417278216715087755328962322306188431140123436669678138470473607551695368141897229161346998773831367711304565768695650921257948957025798881782605213757822512358746485894834205816746135638729691303718736641945277369283665771179936122020087213102738983764404446585367379660987202820369343863374526176905923025230467086965452880621677090609447892902072494695073565455118725313274873467712897656674199865129315006911251573886201995966778833436319213914340672584737045542028205527883055890211787865223758441116923386178707315798975857813719995862579210027808636835571171890200762540294192795758281129003288553474274847522575800772760735315659524029862226012205777669186687333404660645759163146819274613416236391369706425791384887752516431345535874821614081721885356349456812224539275475704569973821523766554487244700020232802552274565664091788788852099927467961588850439081200207050028801000287193727040967130923556062272107184459951583486990108305589681360542141470594948143647543149046097201520447260520830680668170686744080172738151926488155179433530188001944119920735163314804129731002146482545291550689245356848226463528091675216105450684251031785631251681749003981308478031365322785967193156322493432197326224970814312072597712610530191515152336198376451947034700062094490968896089793623235643910446897047976916858468654191164101079585233821394139286393430698456727483430043142525317660243358670996099756655823299141308324294584416701246624397185633826058066566851435893397370951743601084891579996842807407112631055692102192727506898219886047472386606653282422638845853909038730716865137500300665234304692325316498521150816632461245192810675396403169219297849702116838294033214421045766858265271208988485504939595397797114574267766897427064868636043403292533344314377574004685225680000619612892379294399440072690892808863433109398171077496500304166939358178546009682047430588937272349605085027021000902093373185333103175895969394649358849336172504085750083846624163019243767247292866912663054795715913938877841126098544916948958298954681987559348882261332675138517218089185832157887555913957843031259875192218092536294632902646595928828873104060797297893900201439132605297832277795995763559269637061865841957584741684348320155844805867328522545947092860115884406935796515522398939843688394727060776001044595481918706181728405787172022796868535963783394537335670329935686611156558441213510213074366380731366709714228604301329997245906981903693881114661813306808208256674550748509127927421258429954966875670038555225801056901055911141623754495787173603836954656778425726564687555094127970554555922573318068442482679153935016731440799209912588182836380078069532357784734406166918270240445758441669033646343168939747726258844765220927486837910982431856551895821815859289559190170271552211472125330785254380583991462658502655263590978996737564865860473080439704194744580322168323282586733149694796675166568347089482643324298641439419260391082155384176673685539049608771788289358788839906135627633498159927066044451550755538332145924177934818783759612779018408622535117598385565195612813781245318643129710875776758739923114451897844175795850792479038280194503813740343380133317832042337064914316823360464739039175825426382296294354190060644206518780874778572280398931526791819538565111154659907929816073278839148872282936104118810927391145670477067480147229000594699921646250900555000238832735159743834254524225848122133988365494120221506119145199285652450295150547905711317425940446128177785277814050428659604071931026670946989028479173509512315144096123517265132082681341693297425878137245640273931263831127784850377872053186889708560747725150331682247460755544054389693670420646877850270343007192520045566264925697570706871638707012699167854230316727987303098129940163166713556702355237195410313314283941525985765222110277433904652012109057788529574221104285488426455616489180868729147650744821607367464279709542565199785351814306316146576698744953223700090512137544203703707231660418454479634972855736350811876234751440677249332871829754984527305339270242257043719291687011718751 g=6 *** a(t,u0,r): 21285878171668749375104040351225427458281005722799415343337083026465233399089\ 14306465788222072023867072800911585058658291940433702262586573390961790349674\ 31161193969402209664902721575726134987061505479789161172037232433690544438601\ 09453701340354221258363135622970188666056264872845674420122034258406920808167\ 22678716535224039636225704685685623550328399223449389146497698899691244312040\ 75221779601180134882196941818975820940590273742187154170920111583408082368199\ 36261108717433718930159512067815037559164521937740655638717627289187539499973\ 25888301914850453354064583088784038429735276210523990645272824051938260652734\ 18418438008618638016867267426745128265819117529167450819768532443464269015593\ 28273342241154719385521537325365354954122305653532418885292384339110039989375\ 37973635936902607180806599556440318711576230530651070386705715125244853901298\ 83862005984391422714099535656656664442496472406706815365849250030573776723341\ 34256245321263474449144997097538961999386537209202601057407550876494226699086\ 97450915846916652480759073652459278265564430541966546129228362196071061676356\ 56440680559249552002162563015469562175528675084126618942147343217159521770598\ 40822388045652510316521047754274040664541799557939697255092299608834474570570\ 64260863313039461126676453897575648191466999445893218947188989523207830477804\ 44334835187226134162089718310517803197726466994409906154540385759848000659541\ 34742429944744817469647769599006411381197977403836159562795567120392385289408\ 24143019343923084828503155490210408437143672006569655608189588194353141488008\ 81523477148915119922230997727648373841726809570637311473320275073595009581501\ 65791414350337791177565079978257321729259512637781363295188446929084411641397\ 38692230885129354183595954883318996747330364473852878566995528627689789664151\ 82872392495831920635070390926949517285791582245104296433912662740186734388160\ 80645287768699298815474002449396068331258197179695786335555468606002925577633\ 53459269493721900225446066240222327172821821720747819540564500449996772791887\ 11822595597184804148688883779632165160013562830882136484959297595721135673971\ 24175019132058264300834494782008817518239230575255296545913801377285798477897\ 31008935459428739704935531434097618152803319109618722872588858220559693588395\ 37199427639932866352361129154898294790028226935943189639684566080337196803293\ 69490748552011393713607280449359488236159434484111923577433043295656154547428\ 44753732014145995985763155422695188226308656908282099167762177070420461354441\ 84778774820534480466891210720747882881913719426400144832459479811244129041457\ 63665185011543351761176637180726662813936217881455319664975393086920656542280\ 29691428245689741943125341196402453260136240070291095139189813047077426325218\ 21513727108068871587435534214820718212482457149306527700167791320699753709779\ 09139400409243206441342633436489304588834901187573751096874014321548738058104\ 84473299502637311650713164251258581757678023390383901256942873996309950316271\ 76663274492660824478875972335095954413252036058234002498227945493375645467893\ 14839971283099739576548945650375121322368047532718853765278692754357972702054\ 08240646042786549039410532880322519804889728350236924204632097552349400834666\ 84350637946121193481221236569734480670556526806857569817296378406428431303371\ 26829265778924011734641262845230003151725271164852022017945162753197295283156\ 91957835840488254959194883986758777280423533384385290205758809067242239683548\ 21424469425562945337530408257061148880700129254871084957807004248530260602388\ 29836947732769039332195710660711398404591640885908667791271784871790241401838\ 35738807365653394555779139576289406196766919221930148009151567854278435740415\ 39406019878030863278165146785691860017072728551759191715200599990827074039335\ 87340364929746918349032446616847044740047502834625767764472664762828057070234\ 54875766206309173771316912665407654231650364596826455044923891488823141239751\ 94047120198376029155396393240633946131489542050821998932104959136805167624604\ 79026007080163169672548121401894480378297747017401107783183535088857648681062\ 59545989825192806807951642804513898027990381517931232838032057979599518542680\ 29279982352026954139947253297379341417284079699006698777463793267635117330079\ 31843753497774111194880750675015187914979343707120595315969494712576520351985\ 13318417124521208291969674994090859628273854156302962893907590897120172641854\ 17398314264003476065878045190018527257490009234770969144942920111429805278738\ 64869054587292938686387466783457219594997800312558575065123229395473294542623\ 77188172738442731218864204771091712169172014725605846034874575196550022528043\ 02782199536420573098825221263720160257486986650599455767266752782537414289725\ 96213110907862121701120858870594141880955012105271304244734821647932690052273\ 90583545054451649361607152481656808046214362870550435989249479951101767787634\ 73679932932551495695435804311195379638930758987200744869506574372524931135895\ 36500456230107842227883359291743560164524686235382572457096373401882001953058\ 78141392565089968320241582832009366734546821886417037094130832578631749700518\ 13164107154900409479891747173778376800868164901670622735444158872549570433354\ 77453316049240811528972543183715919721495645358578358989286944620977631779112\ 69090345869207418461365610999075368714859078612291469739746013030289667705795\ 90621676144968571701485130112600694426913348958165399484132639284857537028268\ 14559269099833268916557459224767829950228986179168657855419375373613044862301\ 76964880047025793474524558568348786919426605561852411119541377430857229673377\ 12350243861102314027567132356438483251852129854840974212995235861032024443975\ 8472984135253672474303001846927807516607344950898550450801849365234375788 0 *** a(t,u0+1l^(t-1),r): 20961727742658565374467938213897121456378249290472520693438548767178960809255\ 29824641436117167373757421946075368027308165667229128116455813390084199633689\ 42361784924182886675081867947669391814669705903954808463833619757035358482683\ 31137147512836136670672326451046784777740687235188126078698856071730673283169\ 75632847755499815682374551822451832328749794159132900986906363383452291352974\ 14177793109791604909371607679600554631850320334945725427200515975538923753455\ 20988096909554017626654544878965062367908209420922270019853907076661840928907\ 67626043510055776399434157965604586067861134948434792818187451096832601861068\ 18137954181076222209503806501464745601872633505880636847893884741279533954442\ 11599128907533073912645574828024765792384402521752737379424987623286029228115\ 85618707470858405040997361999743258020536998593636079467111211849225896735289\ 21163599801888000033174162017215192395148810390361026299364236070717323270701\ 62668586763071644889005733182348013339497402124798500533690684619491776546309\ 00027805453308784676483554764350761337662434137774162178021838913897390686361\ 28677624510123924306698158502543629756611994752896264338967434437202777784244\ 11774331374906533002056260225021136491985325452996453134456376264537502876602\ 56175672501165763749112853076800384513424354784280631856622659733514310216721\ 12695218407725228565712717524063217362228094400586405045587994098530518415995\ 03248890402439058827978006610189054862702576732711751041534720920589455564188\ 82658607881832885567155391701019386988862296290733569482176548780225936287683\ 80789617090809813527476210960222256473578685567023545308751946011560567811224\ 98292052710484931413439723430365078251148961683906520199322633016458760702695\ 90387273054391343713795001255654240451685739634149535238564124638435630430687\ 58767736772545140117785055024508661692606938860661083797863231327899626757884\ 24594851914353624214223129315648920082558833770867931721308431013018109452085\ 81579179095340348445363131221335692748870220374746583709997528361925755947340\ 61388748963725137080434738341363655030673254767467687706000526566344671678936\ 14669815795021844032293867957917312682936095084261561065519174960372816775188\ 21399662330604951790647173087385471683471288869370722016661109110601931757100\ 01099943970289218641411467289595275072413583886157252741618303652717848628624\ 24777691467462996855024428462821018872157006547805650629553352281001492295437\ 15138192947940727011360670822349576222862332183790493596679504323155175140922\ 42878590432404513759273578070178118167975947049348365977142837986707416416460\ 81985004529134062140448058949548084192404194258895086370584904867322880046712\ 57665670455146243334854396914223735697799139967697829730978800665649851305037\ 22708949537895233949048191054188930625490338512515057735190616833582498577142\ 86157582128899401267108989272481853249918633656798516308596745067921092300874\ 82171675652343342437758141445401852086241302222002420527141713478599646504348\ 84632869297341116491888013365525965259750736016738053221605184902105965587671\ 42532763598585530344418758660775500185479194016992170713015565453530186315728\ 38572006762947159967744382633414055036287346700233316221820441244445602852413\ 03370678992626962108410760885931417513136884266651616977439073151508201385045\ 81750647518331260286905609096317871124034023380615696809550058751879569974276\ 35735127680480819604486332453965496408132819678024092892980756137284236033544\ 94194655170351326880613701532334329354598096829670002445759181848806449527225\ 02479024670848698631705420650649803505029331633838992647242265305214755492165\ 69204713852470855552391639988833222346054732634794155907489361237208205754520\ 74338923128619225766314916123980816463513245375844077120552875117870316566655\ 63167669017111178475696927125219932383600078933590857595470542964409355693530\ 46933495654944059449926299782178096045381577318702194308199162176810606093968\ 91599702124289084548969036998390789591416097248017603009281025748935038168392\ 53457083114475405667382413969378320778628238179572664517449775671260831696071\ 79451380843083271678896541645054295519949918855221620155219387045900033488730\ 84671657747681366005836381419754275304330515033539591689482111136655902345357\ 29835980601868921684298810309405819571096409538991855285777065859085507351701\ 09562299097244235576863537811439729786218922367120684271157729106808697931572\ 13072451610236925668935739933317737502299806048454659970146835033590772711042\ 12104551217943300026188672873049241631622199292570373414385312196557457569893\ 46063479752578121098779978302496406907712542420139767161247043594572103403250\ 49440338629774574523716207741937619745951651828509108725125634719859179554349\ 42463672670686556396027647821803368146727270804175802149637337054309349594625\ 06462983454637664853562373509854927720637494400440530872661924418851487059904\ 25857395882817208958957086479045196192652625601608855353727286437917952489155\ 84167961972796555290402902043645942497044614871391974906988306801853342024839\ 61215381510799258142775974971623437291888748456674645666301429036825174831982\ 32252978619546596137558370313263985275981847669665486348609983864338155655181\ 85918493977424961607211539988024814345026168525706607329551610438932287132730\ 26413843140234716657385424029546302186206402288246421977211809786173581395555\ 35942158234131486853239163664185455425488272578091814720414883356661736972000\ 10276640636384031318843386241649538123575752887100099613966288438989495955769\ 25539018929558395604354133818576977981567317152281054605030595033433007901701\ 32974351822608370159127023741873430207407681176848472067619673893605140823001\ 5958167117965545482308539889867993188943273707991465926170349121093750776 0 *** a(t,u0+2l^(t-1),r): 21556003529177236042300792132332349126533302749738494218252528242537127223950\ 68041319414976159232291781846608432584783397168104180717695540058359782612995\ 05160701507084978823086766265773420964054671792984455095540242997569866068532\ 58050829529952625081438809932906358572985912904226964704641349413970460412331\ 78550273851660892931101665405047116234977236777046462612823811829890371777929\ 59425101677337243192884720268455209531206901581555011457353107923299047880486\ 15655285224000136683080318058523350218544782368422643654437394132958954975861\ 24440183918846017482923270691433582064630393928931655501177301514526309645789\ 18652174531570651189670151531145447152441187548573129129664072195284881566552\ 58835186685839423946251506073149179255570558263348820140181881602296715623758\ 31602742991939442297314297520354535954108923811496896153034467855260651539640\ 19444011136477608281537347022857891148619524086994972921253428330454154600541\ 10579294119756665749261050360198085882627483112872684827171606090662935159735\ 28636841174923208984322006059216375705482760878793532755233798264549120834685\ 96243227266854241748382900109574505857959242026818581111463933867123475092560\ 31695768604607491411908370695318127475005527978725734022288902395748617648877\ 37665188989600875607979454581555034589835869997237041522660931014619097362040\ 54034515836810222159070552299229958060641777489262823745334045477612569195829\ 94320379563332949671039238756354208479944144629773166663846272286894826727091\ 08713362228998250879626291981202926310711485103099727379867121039459145821612\ 98801693864002875251193320033836804981850246240315449943793882625290377723398\ 88707549050215174314336210434834191294351638432677065875076625189605787423648\ 62279695744077696241763416239706293660367551840272331340688365285401589025372\ 02959605598570904399474837512316896946778785065473640297287188917092657413391\ 27353984313987360983183063394185358538507666687052331847427999933490272348923\ 30026011492373193375515178755961189192781489509082182732703643856722620162342\ 53850801125067860038900671644855923601130486217060843800758273453534855669833\ 82096021912921947857951683802085071547658510151083409446242656724713283230154\ 89016663066781896300175830056357740210580010976492056919195315812191161781141\ 50615664031302572778152514042650811221373762810764803721406451436686653615518\ 23418296122468391095759657104808212706161457764367151033999452474535039757421\ 19433347902650386797765225922983198229180594178691770476997737693141533199041\ 36362261810642786056572571262889353476861863073943293878556681331691389562288\ 31732002080217759778450452373375478331879570900255514076967466603252136955253\ 39712893071142657450017794764884717895417156822452149646032323364933738842035\ 70517708416546902952758320182013874534975889346632752670982103393297466320309\ 28290915642863044086537336906495514037931790796553113420438405366238442855796\ 53057986044548952661509016589472523150541957697368468531777174427735203492874\ 20021945488760581134699271476404278707836452759480626895413579319433712034744\ 58429311020194913936657434808374805603108758795824422975497965505047794690658\ 82964512109319373265798991419412907112058379725239930856975144475602565819878\ 35167270407366386291896632972903699968406228923695863850510799452195289568642\ 47728114329417971274420974302656779841467977651715626358274416087628733040557\ 38810092640494451088118676930753178007332461473019621299740519842207242725217\ 60782647971572627384960997194333498485785156275871987051180189581633436498357\ 69301883617702656582604285669096060820893565262633397077963051177269812993232\ 24517218626638843725268722565836226072360408044543474760536740035170294061994\ 26961933835873894538040339003784396311705631198355120544073704051624371933236\ 07484278190276701576812046193202971703753689418821526238641099594843641550821\ 28160991665780102372475756734765619386874353995263338992194499248833587194571\ 12753301926781816327419190109169909914884079386492328867791570293363608838115\ 00333443718236306343519544262324613378022337715591477171295001270188329501888\ 26291497310284086082164227104063566784690767070189243407042617091015756087638\ 16453586188981610918372979862066896511412050253562621350781861710117796484014\ 33516897577695102453699034313022994868215122180561212007796518757152364518888\ 49781848813918685554558122646300134496652963980621528412865809055713068233755\ 87669866475475601396663299570602518720148511890034560123939657676295665751819\ 08839474061750970903219795042130534564477467829215409774071493727903158686565\ 69792083559996572985601060161587799887054908313494245096230851531531621798703\ 47233750291958905244749399198538944017099765669008078302384351168102609902539\ 74337642772175092788698534744586453326144796522850889323982725475952140433647\ 94017346387629969784977801624825041650861753262308690253072442894643668394076\ 80198713807330067975834735837987199177495870141860652799322647651364080008178\ 30110868111200581342450406998491574887424745705374737082186428901905885226574\ 75579735110332226801462922715664307936761883077869029950655335530137228757631\ 30590047601028587265169561224207036404940095928341569724472638046059082748498\ 87065667775754019797106712513458507535220209385971485372399723106015418984431\ 37987431476684669964682433473682924155402975548995676208524515733719739630996\ 36187941070666142408356768819613393594767579274893386787230769225020703741824\ 84794792819374300247985853377366406472440013922559123056630281152466002284412\ 19819764311581958366333245859825294367642679236495208214967029428710747816440\ 28496820559847267251267222868576027455555837086501392667474870833887760794787\ 7235331649660444967631720144477652789660737653321120887994766235351563298 0 *** a(t,u0+3l^(t-1),r): 21069777885661960041346638926339890123679168101248152243404726853607718339199\ 91318582886818802257127305564354107037758207758297319498499400057043396539017\ 71961587939255994338355485823688306205466972429232926033234823982587087134655\ 90575998788675498199902596175021252740512546447740642192506582133956089124835\ 57981470682074557000324936110196429402609329180571730373436808555531942339329\ 67859121940254448233646719059392310068096971470692868341773714511495309958369\ 92745767512180584727822867275248387431660313593195065226141813814170407119262\ 87046796311654002050977633006664403521819182035797858760549242081867821458290\ 18231448790257027478624960143224873156521461513642908171852100642007778974825\ 83823866685406955736937562327138295512963703565679297881380786528560699481869\ 03070350292873139087600441185308944917550075905974409773642712941232215790625\ 75396401862722474260149286563695683077598031062476289321525907390669474421581\ 53197806282468921409052154487411662892793780486266534041596306705159259930568\ 32502175584511407277908727727053600313629766272504956828424013341288614349693\ 04598643193165800205186293340185607229584221529973049206694070697188359113028\ 88123683598488525440211189401438771216170816821310867841335017379303160107925\ 25537402771790329541634053350392139072771903004818160886811436330078816970415\ 56575090667558863764505051119548079307394218598527572081905457985636345830510\ 47080070249874311708534594273128173702201043623086553881955002987190432139261\ 96486745035862951987604646297416394138289421529345598190847561918268338021125\ 47700903776844915659061139882697628929628060234894800696941389032238715067983\ 87458506590435884668148175612995826077185812001864801231277904320667311015596\ 39822258997970680537061985798209159216900614580717316348041259301520350175175\ 66802622013640733623546833658655613557001819988808821343213041798661995967976\ 43278330532468849081306753693564636165458621573810549926057443544013048160601\ 72205875894800865705390776227631237556854087490080328986853185724616094895522\ 78200031174878359436519453487453158407120024121939170632320116909470159677281\ 17838216907367317455140743565947814294703806914592806225650717099343810676091\ 24602753373546214428743292536289520506581965616120055635303692147254519034198\ 46466438526837101211728021244696281644951798236085898374307057795257631353514\ 06348710495645795807885379125000508660157815859907741612179915952553046379434\ 25010039303342483336161499022464780224011107091954362120373728572243603878762\ 23511985228447835995146122287034706405955204508365625595581718594886320624793\ 09211731356603825347357585026607610399581535466415164135381734273855472211901\ 81674256385327409537611378341616641551911506668562251533715804792792376311764\ 22310542061286446495177305441066193154487711391445547723516341662621583621354\ 93818188222347336325186870660484337029557389500390261238022501485796974219951\ 49605550269107998842076482380687428643386875944796247437075433651169747774989\ 81976337695781019154217333022049294977584502697236702980479438432529192214411\ 99968499493423600088462154323975373897775478522234398397103274553806115111170\ 28461553189560289658299766049050209959154807250234518882757660013746868846497\ 63697331977125039232680919447199105232276765113386934590724841569814944691154\ 30110186938528844102817493679288581799931105975361138545681760085652145077236\ 54476030400483298056055849631563256698896390913477825330573440447270237250212\ 69937926588755199699585937107243269196632107638070363283108455982047719885612\ 78264999024822145531868850654003668471550101384528884361918771827406584128723\ 24716078356865035220187473184651950296292128163839486608043430109564949083152\ 29361288711756438270264993011217830981366406434482448652102116742189235724215\ 71225234321323091766808766955762303169082553567269160985137916897215589485765\ 16247585838732430890389837409921282107471173078076947887107405280814784475896\ 59082174815651399417778155745805175104773912182285734983555670211558414653796\ 61980057769704660335770983113550373978518074458848812272694362143793104024402\ 06149583837119783388581575364874163022630073076124824382823610690466528506713\ 99541099282463228717206672045629297341981703255361960718809338513648974006931\ 30505238233837318187826123764608942352390720928368101962507875476915845018462\ 44147671773003226481898916872323439733570566296848110478741016370245856168332\ 81181072494825775801249841685551334087363207110560096361745530059537116900274\ 29692719007726512912921604176518567619414066299233107297964617929529403227470\ 23105044081199657805474720458694841994865699855295126785789554128564743111514\ 67220958931989907382085878915865133249796763435872557739172674074085257799474\ 93713485416411744831058718171400292724803184571207636181336498585517129747174\ 67836503987908993022910633167122221162496450557143832578191109596268247302481\ 08464908232728637871116659089761924008078670063472818525653715749453612038069\ 01612126725233650936229721126345148386204638659388840757024329001862895334246\ 00190718528896161535264510925085413772774772933255442808911230217427366454827\ 59223354797997867251669495933435449117610620080333865144221375533741960581239\ 49763434668030244914465207719921849470515994136663857882796721832947402014857\ 73972677383225617258712153019389324362423961062928104564723210867545610165635\ 54168664204410515135987819146990535092629964704783009641654135332727003657422\ 78370850124200443851414743902688968732460163984456285694450650750530678924613\ 42680972635380861561077608735167580960853746622138173443200855832574415158926\ 59432982502106351448607059946728447888889164069512639449411527882747435363326\ 3463106123728254479640027208887931298164630788960494101047515869140625780 0 *** a(t,u0+4l^(t-1),r): 21096790421412808708066314104450582290504397803942060130896271375214907721686\ 06692068249494210977969776468923791790370718281064367344010296723783195765349\ 79361538693024271254173890292693034803166289060552455425585125038975019297649\ 05435711607635338582210163606014869731205511250878771220958513649512443085252\ 03568626413718242329812532182132578671074212935931437720069419848551855085918\ 56279454147870159064715496904340248927158634254629654070417014145484406509598\ 60685185162837226503114947874319218697598339636263264027713790498547548666851\ 66901984512053558463863501766929357885308693807638625246139689828126626357595\ 68254822442552228795905248553664905045183668515583476002841654617189840229921\ 76880051129875426193010559201916677943108528826660938006869736254879367045307\ 32433260998376822599251210981700366641803345234058992350275588214233795554459\ 88954602377931092816893067700315805748210336230505105077066325220657512209301\ 50830111162318240539063759813677575281117875076633542418572712226576130776633\ 15620768117312062928265020967729310057621599306187655491024556948136420265525\ 98578897863926269179808327049596101597827278224242245423625729762184754445225\ 07211021654384023549749921695543179897217189663389471518054677657994574415755\ 92877835339446470989764353418790077712608790059952543144358630479219943658839\ 17545058732517272564203134518419294793685749648012863840984823957412802684139\ 33037865211733124928673741188862953412075660345680254592060073503840676283030\ 24943779324370468592716959946515645925646202838998605368015315202778938454485\ 89428725448353691191957372113316472043640403901862614543988749787408251882173\ 59750120060423622981825288658653513033695024581354371489266722146719448593821\ 52181005483865514742878731933847888908204333317359261625410542967291530111297\ 68811343323914631999987278317192351523100540270845755729550494416352588270499\ 47949200186997655298077659788043565186183568524546204477244696676761782837730\ 69862550094665995020397687479205123758850054268913765306067100065288679632568\ 32402851727666665025540632273975534251231716460557041363900014495251531676867\ 43630317185453685810852462467955439697645734872175617515683602634086559151317\ 00403526134281530088267322398515532712359634802807389039964337906417665853473\ 07808062165974071854307159733471533288086351823568059782479246330892577034736\ 51741465252691495546100616790545381107158018187933264357836556870440934900433\ 52478000892192922417361706072493581224298300818995329251297284634515711063222\ 18670333927458666554114258341248853465450018873119940500191438746931046676876\ 16018413063471266149084966545872491951375870768295183576580941625488620253199\ 12676402867872701088300623698464868015439598343778356984400055824578007563445\ 97210940192134249631709584037785508786737054611178170220597772869881354882407\ 95733339745709320089706341007484957974467078461288197470378940590265944699720\ 66464018923299162943156067614508822782673269375494704164558863694312273092650\ 06312204795390994819799662936180127407042944367361365420198001815134998871097\ 14327433467133117524473003239775342325849549648544955318125201828875097310030\ 75933939796213572080938611902959248689871672387734819547991964706072185345018\ 78778995223249558513748459087516027162061735325070763994046283674391630517681\ 42200071793578240056795464825031259468905376624047498979714685419095288852976\ 59161256080483917668948228925962696771587283722341258439971611524766737554379\ 63873744443356167904328996000970504157140610340170453492445774515358037475209\ 72211492613315507256909708154842134713180293822201357290587898457954541287862\ 63593919482963580137136431483606632283851477046100819283181947327654134915310\ 18116880107540741396252512233027084610829696699142041534989427148268965513605\ 73239625647376070089586726913397895865453172225688736832554760380417147933823\ 83576108384679523750505721816857078622993572017920636281834466056815829071378\ 50952792988491978134980435432658771483113365915852767977124331327214258775147\ 64110801433511974002868125399593387278490533528667849211505508761926172106484\ 62824134585628911316002833794829129898300111631350625439724666601608152261209\ 78258459666158694395049244702098052851394500310817552976141145357897241922324\ 80672552641829417313707952128409723047714298775712163631690577881373429435152\ 77794014941942974208157761637544367220408477279279967030636838186105145727522\ 98208227715972988334328367123609733233629057376086455459645203816023702947582\ 34089760955172316134604837002385899116362033050898790768859444362772389641864\ 42365435163355041982148405997744450766653989214083966691925181762062903038580\ 71666114007543740596678296709347011625758041337713419992684433912641777360756\ 31525938602843041939816485758799523869322163012965594689261288968319074785312\ 08179884121226825065247698081439044522961189596319658004573405890622437363125\ 29116786320206495099156552242441105961935181178938809318635323077337526925297\ 30973167913342924847686425897019949858494644606388057219533334551865283661597\ 59934552783420387383386644913450907892996279052400642094563680512577914360538\ 90965948842610685030197277338478315078017813183000959843124223451092911812753\ 90724669840681565741278624652896108251888450539403170521107999681451180735389\ 60862385943973342409043835266850079906478350756598525211601061137888617358155\ 58725290696980272206674983017691805009415387736455808371963948326743320328778\ 45394402496154546984557583317948826384681266758795332214571741328415974666824\ 46966461061836478050258477464315231705675353989602453152743421032359766973232\ 91047640171980846770977068997942202309259534792678681294859491380033008998407\ 5339340875168931728972899038642915825469970059202751144766807556152344531 1 result=O: not congruent. code version 3.3a start=Mon 4 Mar 2024 01:46:36 end =Mon 4 Mar 2024 03:55:38 elapsed(sec)=7742.094787