n14-L5-f4488-r2-t4486-ver3.3a.txt p=2657892987914600545695214797400814535389374410018463892722512651775473781314361426680337006767775464853281812631357299677072826918028726535769258905236107118071410940235121338508284516802344557769433772542556957238492091685557104748275579005994300844680353872479433298780202123757040863578016630010115811774847540389406729988130591926027304325997706139773313115866072732104819374880290891767958122707396220474382501193529857126325297215250155327444995352750641044764696487542224258393354464886526287281555738992637412010068578882246369132371058111757321685824377932057336863698724781302699781166702705912410357532923783484088288653343842522618383268287138815052057119140310518694556248447057014081871623272045577121238574493497888289487607668596549447439237313807634548379420199844011255070505118692562955815923443761904259834749957821411276336573240429056602286063497942117813015187576940336395248021078440062910096722197069034901295226179697657411284864192193775895225280801498450339074530700871953190856969245451570619978015876445987188801639011442709462639652739452927923638213843310659603979473404814404478387372745751414284295045788404695646685099469745030873109228008442860522329182402154486344939654955771527951772797880875667307497950372619543126634071536948643068585297312991665814321959410779022564647162740679932547143301464525980249845414338647247229691377436049435983041286483406667365483761470515764187721908817049764315418339776558681402314702365601458767197167212565627521392606103158632515247778460862424143242135733802741880884930743077307308622273169774243302800257247266551857135018662542124821250297419589295268794428067786331305347100750107527473813346554647278839844929484107779257500984510311074467043570857172882295210133750423063470610204226393676477095498423155876109088674025063072382956605559152717938491242629577407188074465465084863438347652721975765676651678230729409687827533007438373245647825727619352234901451893890974523950026172080595720720017960466236041692732187309066416216675671253327880270331143632826781426507400238152856622911553561774165932142148207682594622270462738279997460467590312842014633061391579874726786887170053607912951786258334916919948552239316202051645227301020900982587799469600074843066645007812189092301120789547344902348685663473730552151102271742146105447273634449398200600025985048190359210233413676902274591648802266323148659473306900180699582256238277267096488695908991351329578421025987014107784965422305656414112528819356898401579570850208666808739201755768114132785493890424959362310602604943607967648609914897803550547150283297007545501393015323186520339155978177706835112468525087407386984125370093878040708043154294212990720836336968844649252217827042787173532076792372867283611784111266688523469174952139396689830823046237185622934064025824845223374345371161599903950396972986884315479766175655766269735582716734580793343701566693933096618022879733745976677537612930482065836689587296260670801041573014034834065113248375930023334379517409161413523923810620310198821360091736490885251967758316481869528761618953115911741149485214563696899858769029378890991210937501 g=2 *** a(t,u0,r): 45715759392131129385957694515294010008697239852317578954827217610538149038607\ 01653890179651640573799547644717725934555444565262299009409641523125317006104\ 24308282681720440870223424936890003263936342608877319796645020639769915822016\ 70339958903101974528502086606646252739019476528621102853541886036173991962527\ 37769469779575579584618112766963440716054560410098559289645099220289324794100\ 33384088797105672149921593790205287135425727951121023026716320539200673110259\ 69952779585726257244365696796048252141242758710673363486573179556774637549076\ 78219952222593299617930043138619405561806623840643623606728654169345814956628\ 90759263185648375140913890361922145387876188953824492133409215463674732893806\ 42208191920279183926485303481288163678579186851899860650495954881797491314232\ 12602743731699358721268804151208284003388323270475326915769927452827395298905\ 97353797735593202921646044263838612263233737859982659625491690820536636217895\ 87400302277890290799707474099664105732945397874829785773345832081928054997594\ 88273987102176701466362187307487097964738819099681460275740202711859036028657\ 72781049433451884469425628077570282628112269243256898747875605607651229837108\ 79614531017478721745217200984061937317057165132962065239270280770492123551061\ 47768896474640905614177810603043551666077966711378345665200633770186539918811\ 19311991396948398108647851898468602973411266247326523506916919000502989083101\ 27514594678686320697292871144028816831653255946225195444156809320119812880688\ 34509079579127605612879336795282497432847926226178952683369526376473462140716\ 03512208087809296857083030985201169848081644246529846919427223209957245469255\ 05115616935878623264162765924898451970132901849472549589560739933196045332787\ 12665380322901693357735048083314941874337357547761430050727669169449551269397\ 12354060425728782810690763251932310848449868536156174267485420493732287314036\ 34880805999459651139579626817983169638408865568545846630633567727940019825142\ 60251505285844030497257492476181194045015978624639638430892001925991711499362\ 17159423589268215455572395406496956704846206405359272840962291339140787212625\ 15654032844949172140627503051959098415956320042553380882651688655935173845300\ 73445932492205610277072364336057102311509851623867528829790957755949690051015\ 08771212873007462941343696523875792775802143323203973934117481654969989590739\ 64913013693106512529649050320446942828874178416014715242719122976359398980758\ 15694294087868310803281480729836899405960556963465124286874884164697664265390\ 14052636572903227354956929386525071686186235890691103142701992115630839104949\ 15309301031742364805030057043556090536242221069410984872708529782623959863558\ 80814983348282465655756393445863150340705612695636561470230017834225386046344\ 03983849958641279671381466251359393847517208288133172781226867137870426036698\ 09176797623065090156395279592714465901244187337842038740383979518347946827935\ 37441022625197822127917983945202272783478964551166694713564926182999353142043\ 07988536469424042915323910609014956835377779150558413991459199478720659964013\ 51327699437576312611489542669335419727393577867643226333845443043488155894699\ 8459935936819477711456904955866775708273053169250488281250172 0 *** a(t,u0+1l^(t-1),r): 46513127288505509549666258954514254369314052175323118122643971406070791173001\ 32496690589761843607063493243172104875274434877447106550271437596203084163187\ 45662496914541146234238949790440410297609650910194947467516736116044972493330\ 94822632604900264781906192768390082728653537165748215112615291025177026706059\ 83195681461777479228535870547782570495985744603297952765627281183433906040509\ 06059392671473794338583016937708867724997106927012668777182302874186731362182\ 83382188531988924521883703135514210027427225432371154710176200130439311459816\ 49351695575312950192661381100339511472768367279724617041729735346718125682616\ 62109715450514335172441458217071950249292634109995849554340771547343478234977\ 46432753407260797599621675053636213045066033134200439615330186652991633604596\ 63985349727019696373383957711985172677866026583332454710812426187469733589003\ 17075084905400061112139870617277657825964558869168403688727011009266926384487\ 08110772666458144709004697485123363391078166442414026222880933804287265259180\ 83999696179540248584961527783780477580402868270024741559619392294042623866366\ 87422579365430696407845842520783717790230506497499751633012970821738169892407\ 20538040279411490147750059140760692037703511036443961726001739156023962915324\ 17788121413152084200471609625189660125370024270297735415175063428968863289488\ 13253479618988195750077756292046543722947509263268265195991051308651297032225\ 13459616678895965825734025873285133404298370875519820946089776924540507291398\ 02552842595042621989848162437060680527606901683612306509242250673737534154798\ 29154862880038528779008897804710492577990045018271646574998628265944871843718\ 80204842812667203902491186260797843574263126881730791733564706327379697286265\ 97188613700626722893044380317326249000052544016617734063240361073567857396188\ 93383491712224052278319090517954386037667017405972851725639235967460176046257\ 91303145638985110171083922634575899341404369037764669536981827630171531798836\ 95023333866411077540814309205416912545801141042511260031430815913072962281327\ 79086622837918242469332379047307950135744686749638795041676749909009521873310\ 47903812487593634445405889733097919899955558182830474735256078574352647807718\ 77052547593813847665625952086104609909966418803353590379147776786576719528649\ 07180013097536662876367133091152696138170785357911019991107902846626442897554\ 87556845327288602864468510500454738343331286179084739345789805353854039660655\ 10154078287075316224268948416985217418855217840734864826762236795477274688623\ 68948903489872469692543387457220276424898786516691529360307259419973237461430\ 82436788840435545586513139433850673510711562134575129957697632046274377768155\ 76410593522961810986961446819918902962927222219397664286571239075520014872733\ 76146358969547813619138119732487755368113438665251774632062219471670491607105\ 61662439442072039403309150748401346120451934791409051043995327998319131947027\ 27047552089590807397590972037269754285516388351477741714382919081540039534055\ 45918569082262834361521420677776845617390182275277456095961394818465787754083\ 51641554660324736668666685855428479373801605388590491909435770538432716753328\ 3316795284554701159912548646957475284580141305923461914062675 1 result=O: not congruent. code version 3.3a start=Sat 2 Mar 2024 09:05:32 end =Sat 2 Mar 2024 09:08:12 elapsed(sec)=160.334556