n96-L5-f4854-r2-t4852-ver3.3a.txt p=121255731445496123726868184109903130013970298367791868009027195573583718634254463181530171625379312997430394468645932633466816187924335497685945680865230895386983024584786248548643606263118636533277340797101049121963727824835631570932296000239512678656286495726908943964340631612571521731926875024663167287750950091147993445389432230243120040722533448080287262824315145797134429513265939142323175045091765860707864013057427473569377860583456595414398021485361465501468067824789896140284565053990395712140768837657023231460614727875494968884878949433093102983153811306405758835236967028388746142868284611761594630463555818494618520231248176378649872882114073984190438937584340679762941533332229026260197758674983329539883960920154052890834615408138186180380857959789943035694976789752648315680067610196753386917105225886429048652315837218518178832040466853917763350996409521082088455957110096884656185435133856691845089432366724928848783877473619171793979580360639025853443806836116128686069019683014968450761059552312199810860159292984213112849042679025690676966219810399141687448429898021755540764176269000406670684293675302860581271129503292707264796394165072469082173654872326580680281630056419108470111232148053396168130868478079962397570919537502166552145411406814779859498634895762057642722368492862509425249587306661041301978178892823220394772543634439200546056677261852166639460964431624648916824148766879479580080698191010283181730905669118058731799615874031119441823352626811976222163066489523878955987632737829408704309602714399297309524665472478322230318153634060626889526516724895481568807302404634909688259574856562536341167664290111489336462579575492967407950718174382645504783301486601798952991457644543577720664977705368781782877277569503691749100675402706007831136095683312076879552099888331777724801890490934582097136791700555411321262375686063953776426240567355914760917042009133528155322105500253939875849291780382849122262458569502843627968132579120560294107452126268172097151948885249739934170471638064053963539134113455037716416862041994101673823012619705689933281661230386008216076914154258814624524797938795178766650967282057788975369364355826636856525670080203019565930981920014510996018132165553391610997562700857791791047567137624667313510213383156632153069875157812343500139004509790562115326736316735482228625561951271016772591800325055137745617997485157626632777613244961353551820746013897288741602286392282749474668632426671655905674580460190506572660421319856793315130997809199014174249111691445257435914181390270464587065533923743506195740508847258277241233483391940541084680592706959750937514392519818648947168938238506426624477712846844073350919426749715759972378470627809235309448979933370634134123708007845383193299329857472772004133201593943306848813088478645856856485431667907064490851542536671242397823740151542519331954027261497522023755158767299580771817907766983769877852782979952062267617984215075135726302133871690868736011507953675959989883415315289688299867255036251369393158002950717907560007815775803266501356528442995097033136843034583888330098216694500322962618612591662869509372278118232695772661673280051067532655414523084953991045173100380065497555785081250684488353489642978889945448060151703588366304838927548758666854432892388196645433361968494930202594140676236532108547022813909523864211829902171047024239669553935527801513671875000001 g=11 *** a(t,u0,r): 14514311054025886010106121637955404662672244714624686600680555310157971120520\ 25924282916154355790376579241821789691813622597789769454295907300769799956813\ 81778218680427989139512726396696953007930332976934129955798990582206328250990\ 40595831228669667635157493538511000592531573604024811151311646940452181124343\ 78872591041481541311503796010146887448725373521038536007052295191699121273793\ 29153360840528974843735267313223629740685862545299118397544711034431717977674\ 20525727718627350567992062436962650366743250029867545680805835582926696747775\ 52001024714124442708351121337676933257786495329813291330133366802786287726648\ 76314738058368716804067125243897839890546559075955408288455793676241015398678\ 14443345671713395504545924110122142440131032903464354140885791588697786856181\ 37268872173339200338690409294055138041397749553860555712368220571505662600619\ 52438824139562731142702196735259881780660785970933453965855226460138572050542\ 96973983199430133592214863739355769168491394657223678283100603722461656056891\ 72355609882841177031735996106737021030960803040867937517403285651130477725998\ 75770587932041382294718993993486784809099529337524115781542015441370595961283\ 81559174549136186488217491707429711117753367283872314488121991521325264956826\ 17149898923906863900933629180574539572914918198659702271829983386750859564237\ 82023756006073266438467880134709394812542734730423723053629842682437043467434\ 77442465470475343850607395473705735659573463930896853189408593431630196414020\ 12152499718625530942939355379291905879600831103171963871818022190585944491359\ 58879501024570556551709690829899970570386763240519699891437862340978347986896\ 84671110330535600037769415526345273574570775186508198731700965473602666922561\ 18794623533467307748005186625316359783133264317941041012506959190236735084570\ 39091373869906532924556024823863566333137936587862917648694770272739665564827\ 35155106369621855267038220995912502996881769928493283320192056028380396603139\ 16022611182703993481629076949038226778546972073106720466201951430020002908828\ 15643938701202054550762672594356343533805680146550983864266939703566146105787\ 71085013814849277205183464406624264780110555618313273782898368120783662317340\ 35171291339244843172612270860030144204193853582573696622337042021674097583640\ 82552926776773883937863736726774271725419638488687224640563901375169666388398\ 21930285204610337113237222766479765567140707679238498909099988150474298973367\ 90794348030542187402015294329786350546236979368115624511211783530147259721190\ 92472810848036367474524319868581598211804377611219966576186694659973150789275\ 12415374611071744410672097691630138909016815785775647962015282767836266947023\ 08218722047278462229227897612190714921926694998222776723558010505538194097646\ 86937029341487654665410428980244649058546078485390923682379297839394908088947\ 44230795013829802926690893909065721306170648475619554929641639547715019501696\ 13963956403489706320125338624349250444575981838660355970795725437897812270026\ 18534338727105444937464383654244413969877005775020550124107890448132401756894\ 94110427839288916361012953200933534932935548363651000212376454626513114866480\ 11123969143311275653833168865862544792722204548027186169075245368398760229162\ 21127836588531184132689927281072201154938400574274742257069332559127102645731\ 26470132800158919527446689219627586412422475617218867138458373427628843145250\ 51863894551289339307863082497000654615603928987432880148844560608267784118652\ 34375001197 1 *** a(t,u0+1l^(t-1),r): 14671943504905030970951050277298278731690406102502816029092290664403629954744\ 79004496515076667089687268907773070615784864948475873884459521999942738469293\ 83418249459747591360743858763578373550205265582364492269437576110668051114200\ 82807816028981034117410665982955982219685216425121154129563151877984243241817\ 86496102890720689212129985941752492742654721771475880174213264145326597110517\ 86362211041804561036691456515455799487243018947211305982480451421605997287373\ 25677636206799577432974432371532837881169033029356499811006734382072934891235\ 07035288140426546096161116807509681906367301043503828328706243802315295028609\ 02540378488409479810293418166346187358029520870431114477052222513159255331997\ 12177483928799672982874325959271338640399790988464384720527826083813134583107\ 31909219156007044619728818083380715981696973233225791488693021630344069963867\ 68964893240493654705655520509327031708103217230433984376511966597132558213163\ 73716390702849174307919787071529223637322128266700627170051571014351381644811\ 18254208820582977617711407927445108978665473416416210857191291259705829614418\ 12600176606324204324653285490492071527995347116461303338066698984175790403636\ 93973768758943012239551516262314077236826712124883459089914460936343835085847\ 67545010608126403776215280959478022458836299933482238720897476940658763636364\ 04552000641059859975393596460316096677674777797671432660728579486841121633747\ 76696226582518935722000792417029189764481112244264989439585963285106547753520\ 75776545246062566784424912288173104523238935367450356127735845322146192844231\ 49744524845221698769898684965897213358536327085237123532698256835909608240722\ 79408557644066897281287379103490209711972128634649056362036899100300106078779\ 47987881767331196637498977290420046230234962259572815058590994670164118172372\ 74269475674675776807613024258040864881451047010287494030844337535517957672047\ 69872747458013738406947575108650065686070962083105156906793974765530726724977\ 76430542632474379375748690984407898414404207358779558700170727844882375538581\ 51152185320346270682057505295882352277280595636864403070812863025325845269843\ 88481927081008876706994145306612665316569567500550594216630764767041128992466\ 01969308705502305963960607970456536747764881232175583051819399203196038493070\ 50868037928067167556236525847449347358193619524905214548940952935635168195456\ 84658015954535094324993349663692996103793029483607839331671667219777695704072\ 82256609120264032377977031026768157193773387665346621268643490452362727036458\ 66242356830512952919109797026719911308507349130807150841425146648761497456159\ 48222726215034929604772964249684601570518251546189251490424805471246351717542\ 12986343924149489805652260744152685927762156180325446813287546125063671560695\ 66577949459649174724433265719378467302289686689492913663892189127542054125001\ 17392867140128706383705916148679634737231816754803393036646937220330136672558\ 33664483916643729864120016487437421084324927338996683980503615522018674057419\ 95343817760900240914228825581984745951170573924623947911587758932531500522842\ 83937859386415696572118357036866814760945708872195246664139941602406741009558\ 00718465048794188422003453907847685212359120721063404565230615618849206246688\ 61791714513051572932794329164659451459879252042499948313328230907722468004456\ 83399215278356134192322885510233399798689386379978971794097436798187886554513\ 89102182462038513418976048305238756963141816269668993300001602619886398315429\ 68750001210 0 result=O: not congruent. code version 3.3a start=Tue 20 Feb 2024 18:07:02 end =Tue 20 Feb 2024 18:37:55 elapsed(sec)=1853.322021