n97-L5-f6413-r2-t6412-ver3.3a.txt
p=605953832780258125603842708290678025069346692802585861589076183685444068983246865598534215429357666669214636652879607175949463240617554258536925080717573385470784790471743713889173509182796930970975211723651286392511959865493948692104991479636167467551094489478120849198988062175559007946177661925770972047507621988927043820129798740788640319273836834332091221929549273935656622112463524981496426581079597953437397435179989879544717624209710986541123862767028462661834196328693832565269218731839502705416853079897201809229986044441528231051390493268289988248950943939500484119181846341865045097103266559168825128023110556704176162842360519250019122195756173614775821460745668942702243143710176420366316988682040450680422031852460543483151785054790775725578849873206279136676054797400784731519969489950440715830278452480191441187935362907770392070974516052709881807309750262790537523996308236411248141160993238394959545680856568708368162677894333847227788740444996010944822902715591123245724641315524805296587131023967000720981261998395283999779155259224933345857662566648856988473015085069350955644243375706965954397236239332483918271857125610392503559325947546333506105158307852689775539474092455653195040697399157812372061218796781464810926173862309669608701506359914242860165656515830404064186904260650839536353385109763238569248011184792963270978199405055580528752376015821462322710209842279322356082989715318749494282472071609342542911127642593680369572736060870962438687587677943745222936458524453472860313416398066674632959769530442414509056885611341548086808754533883414207826773298965033425847806218647955249328559257579068625426734120836066443321842402106508373546897046924578303080665839623457904640457414672190026241015687283535382902441896681250875611675912010953280969078366918582309888337467873196131157475049671372908163568465487940580245023513883168165029298864621331310042197157085878179290094968976274063287679983504802024085763915370318656244621474782426470847956995436192675757245039904263712004997010073347285346783939095158378105667056812931859951641733465550086703891035366987939936297329457718241268637154485736541278498510888206392123547554216642591595999830293240679381145615646337968083329250086613941197505501937329810784830140415210168421018619692020484683517602236420792846347877906303307385370819108899618265166065693867528662214775563898335326203900401474391099639912477930445477183914337028432596830076893172022807453834488932278928135888863809303134044459645324563332535230634147196715537451075558450541383533981464604088361760787408577839650108796561591730209678313768728266886116089030240890155213098821600012284857856891992863204401306271472604724259963001132217090507202714907217304380989950082347683749890938516712891160176269439096934126375512515794558199015700291816725462902886058318048833439288737357546694867722342242037451671616051227585896624822349109154077472030483316299724921235136370443306202542653857096786967126192711696958739254297473022285096687273396169916298420549071831013699045800643948984735602557145993774120913539197999315920737837375654011624189475614393400361152860870846237270989169626815701604986933313941082676205413803945429772626335595241674923967345115546015409546014950485629305277547830784757704572708381376197576613304063459102426169284109696039629874892889257563248242704987540665597035226224539318564202668162535718170402052540288426907558755093347158198971216692026664779671191772602270309036717631734945289101045152078884173754411116422065486564081648028927213040319385341672593753491594759953642403049809028577658204927188676912632501824962300624025757893391545927512248778376007613739095163318801506404965623689669393833543499712163947726346921701120386732598341722364921744445921066888771193823472925950147710840709216429323261477133698077724799043859804331345872476138412770084327555222066595966418381356930410449808923113830824829382840817337439452071967525124250526375871054588627310680224035196192888754375004290654121753976671526428378570668115563982448103017854175590993422846360167139457245978858183500203337676971236947399824564157941884653737530549223050214873916792816283199775921025054664528911463113173261163969407114237574495786015053601395357630141395908407677990557909414962503886366615213498831098631875679951184815965805859826615469064599378973319369719549087759045758639343819805948945685300932683875623345091963792471379880002687528507040586609258547845513476204359903931617736816406251
g=2
*** a(t,u0,r):
13997533537223962701448766561514662379101908603739733402707659843133757993513\
00259532614037641816210005885810668151892576443260085826550337220296936457594\
52043751286598972797908399080621226091054295273908163447156670262728929102147\
87625303179595468500430282706944591616496624236255413083556703990485309454297\
42606794421471224499835091221759137522563087307130722657258822791366797079790\
74270725674540229387127244038807526577662174829771192443237890999612299183574\
87488369935192827532257718952705492512495129306145625361793212677626599302137\
28712039449749872855076680500246118315310065049708254174308545751679986045733\
38538598664693616585279946754417227219676105013214757432249525764218166197050\
75310461922438555134410717748935791838554460806234765666919260871432071065048\
05721686581995812729811129521785518053567943225229242229144130688316949605683\
95113208175982697488552310704614168043147202610998320608189438069235655052277\
86737163304557859359111870961919904279407852825409052730154946976239214388623\
00235116272665363771665466715216293106039489848648809596028931200528958859643\
37266484651020070753820219788309135465761571285803785120798996016000668322204\
29388320303991029156911397133814961851535725588805440109920545465794614154205\
65183713239461621935336796100479691401901006982666551568233388271748842103439\
32897631960355308109496290583687174515595964062567839102141798859654757796546\
05847356652346425517062423863113317925104854175812741247048543914016537130203\
00611923233368327536050051464983219191487522307323991879534018402137067615321\
97751592140576219897608052822297327068682007984632060922721370843236507677662\
59489718850076485247357558191313134840734559488660343428933321783957758801163\
38089530187759719456627892758960616746237624966734504640781333689522662971356\
74530207903857102758192513584205955078708306297376736474087141785784315527714\
27403660043170701184612176803772752753261974754328683785941601193783351930861\
94540761896092675638114644505436095925075606747405147658780659457605080999236\
04217884917473154309326943222915107089930981585342409090123787259648829240430\
54207002859882916977421412528468310473291373305518268620514103533315601517567\
65805394850240444386586759607977385969370446372143040706272490567700078204166\
23770947523186291295762435913548905255301148856731961892566116613203147506359\
79635606400602065921415581181925336117528339912097161315526051546035310099274\
05843440168197824019329052294842118535679298677477623227372685218357669433564\
32399390327539949023964270178069974129815638276488002441289151198454002075059\
59634971832354441156674189138148095917513200572768967843569048057622965069281\
65659856456258542258277896028378021649420503514002167017487101716913040514532\
61542147907163827143567197312008678469022314946224806797360677858000718240431\
39178319274339114854294397262676740966358193056667947146928052447569832959328\
65144438610579106513361433078335723421203339626442145918960390416460652364568\
05316501572403732787353040989357789406150516401997468767742716268147857334760\
15451525066493514683559296416447957994875221547392419070072456182193102755473\
78419776904404337760766851877688669248754834263108611654808095984981837944270\
70751981595520390098203450588711394277476683522500826907436456721691129559605\
12945356218036951911354891127902975629563609790164019767323865905266044510462\
93397851545011002574184971103440648521218937529151372578685825883308163455457\
50897362874136806626615646072426563193543962351055858159564104045299471124441\
38748177293077236178234143013022224413726896789349712739630286069468218621231\
37780139263691570565583895492913951045058856014390453381805843668181079215662\
91444149950073373447109255329467804857758773730982726643147979547059072313629\
97554854843350987192478613891295880933523021693786629692296700776645130614577\
32222458944841212042038289951736734012178842559544285791316148005408965419879\
73349889479665256297383668242646093450924813905861239294920535587436228804948\
51342862449830370187159282621360997290876713175213032055730226062599114110212\
51686111226049554498243346952799455117971243145615194806775091986092146238211\
16240388546971003380355734849359474320484575355013369556870524599635874779140\
56141914823775678762750617854797914302332887693304338887970852656947738192232\
76125626624548421736158188770748563383977506881143182299837839632820687236924\
88101153619948173353922456542836774405215839272339570245688422375174206453304\
51544997526899271624363606088875228062081908512637550673872455231361300320713\
7808203697204589843981
1
*** a(t,u0+1l^(t-1),r):
14300510453614091764250687915660001391636581950141026333502197934976480028004\
62602812540748413284093339346542500795872935240733247857428050147143190493473\
18971105210551331516477844948167140075709150149966781703588632822528256571891\
33677798919413552234205829951683652041096118267343192587529792821448194940321\
17987893867823415506325028261191153486254929023735283753736286488149628185413\
91895633156673134785117011225794702477611572553359313491792823705231613018717\
18819287033357174448540353562071412263847837732685573962697827670648820066252\
81281564113164372267524227697221142521269157366801506429163709079638427302134\
54091382185574430797082543004512838198456973087093864735977870477729381915601\
63520645080932896154636057959951718068826202382127293062307123660857007668187\
62555489321865851966387127996283040089359457147853251801203527456462338125287\
49985788439532106525101062018566855663128743793054561313994404261210452780682\
15021517488639198306278794575814274501905858297820504087950508599101535046385\
40499945629216562121701515778316212870239478806411770842696224083657291302492\
79631560076366825532041436666843965237747752482466204712158281644052630840000\
92362093470744081736065323478702731588581953415402960458620124371980644763604\
04256953785770315050820276535555009397613149990949377359753591481094055135981\
30579398885904124302342530639611139331950855059593117004785560739733865108159\
60952277792007603558557281522488065066340889980484012702612365210856721916571\
03655471355302706919947238726130042117710195950339662699437352133785056091844\
09824137425004276605348486866069996485753047118498555747888500082267600917438\
84153998478866019560070925251731168062395480689713597615706770307420047952703\
71381511360654951479498626368461928797021989143503649762876167752066443555152\
34584974308702494592785425133647642418074286953164111722444006326602157855153\
97693782554927642768694691453205063418916995852907226725031246241267840067893\
58924761071332776842402840273952028737306680486526471201178509229414714787098\
29417406236033179294377309959341841009626457377232937425407851918948587449097\
86982046211828434660915382496616975202150493939836845863382374172564856961670\
85411572227951276516166559599492048003339503652925357604676657030204408901226\
11298457209835345219913137989599747360394247316834385310154127795307111738099\
18588758054294751330970030991057919150375273676428268703308000713698412049474\
79562995150193447915851326154037835387100928518981467885973825591049393880178\
27040069771858995539634492476296596946478314429658738424866838453831794327766\
51401962564656485337554582842437015742567598853564832948408204941987098512339\
70111368500766302913218976028992264542265103157162387082800675347149253512682\
67203233359699840718103283833913628219434053364974261489944242313801599587626\
87645382462095372751573496770526886874720924508110976305952469167214201638101\
99887824727691208385945013880897102716034580743897603622833991940626467350814\
11492183424620263800066310274841724241781479960482262464014203633259282818196\
52149610024642724958095211923297480895197196039760220348645453069253559525072\
78385572941296206543467433087162449968424852320751655197119959534440319285055\
78776916262090095511584477657731121426339815200477035282056293447268859636652\
85952831460851604550128806520281827915917800478262808073975897634817257595104\
98882653526504747218647849265852783770595970809003133889912791811518296863584\
29488214884399508068750183866202029929334957207139318292888002401258334135792\
93266536108944708822784665589061666500604102347560745482912326893482682227751\
53749406347321258240163633490596071197549307443273363628165277513812704306911\
02947270078862840404838892890711696737796842426458543237155511571887190761976\
94471626593207069166341787352146441126889320864647812153168923737178575000174\
23396105242348597584073750773202897086035527463430525743509138221976259043686\
65413739901303032407716648074738000235576866154905854864074659734350432891635\
71068898433592932312422470556888291604532053287230630152174603250101259437273\
39384944802370973426776752730998577523122135854394744477917409994449119100510\
10531306047987691765211919586358597141274284778282057209616639850710244363104\
64283514711736191290082882310529470888963469678007896006758100549955264992930\
44007133694343842120057716666219311509171825211903857241392771226604684796165\
67930182919081250699245453437703371253813584711134799038885141474203951181731\
02011339464710944170345502324565168063425672766157843978501729154118038422893\
7327861785888671875236
0
result=O: not congruent.

code version 3.3a
start=Sat 2 Mar 2024 12:28:56
end  =Sat 2 Mar 2024 12:38:28
elapsed(sec)=571.442366