n47-L5-f6630-r2-t6628-ver3.3a.txt
p=13939801880849693174807202579832119670242732117873232228038853678288558219273157827735446981224337744407163328819640091353691117202460109171148674155033319319705480125591422842078531901064645311479935710146873645999233524185129010779360814044357709311548983521993822014006935964021250506037697815439069537383387108953221553406433041451721655369099911750462574282816732566120229484124067770290755594169023479539409530184172310481678990959915757214943430970923590456715649677494624867426251765479228967988549022793547208033045990613707386273801867360537312239692236773095941367443615823079957093875976507041662274027204046748933762054287628382801177968589233932788433594988906911809440602870275466870022115446270061750303219052996173766130156816922136504081649745354947175940556986407321610930324153282913673879204829090271271262747073903498864660601193092407794304089986930654524632245121581142566751302533120788598449876121554149025293380559097717814430239804067270414487911261572548257104884158279771232311023259247055762673873769299306464279267199452874414646126208191559712251787896674004921009182086380365779061722762850213879785978259641891548332812307084002872986711642939030387106243425536608951045854358430232085575587631334738271278308299541691845490488441218901408164307912718904351336606228350134080300752134141807068853263238914535950342155521913727215975667895382966753012934476123619818732225955993348340473285092239882129318057845628184167610777914047644386803721158877935641204638862800588439109173832808019541432421612566259298268177282270324536232434216183363471725229583125930294784814228362574931546933389081740421149392064123447088269032873621056550348816906541335480615327563225890591502617238126849165806979506796500487149747066607183013921193715793540949905967726424143832504172644039499099221926097574401257747730951134681583940939609381819235699138056228282725965436171208964702037977471528055682941579356885071453292969791369749682974820377836516698744156062929814097089179986772221082565408172699126059337388271559633816647968294303621814844964084371308513733780644072746555993679141804868024803407554377479376734135081039716878245668256226152573450527042453703617442543696366290449543780833326516454357576032906833518374704697746490806334941248880976306581461416608442505430062696339017066250107804298831468539331536429805105762476151901701358894895315749009058657672041670244967487661820612792563341670855748655777564089658444561615380526741851572772266728515889224026665311325913604176619457152430135978386160822730125138499384246007362577212100580094312885821472006075938638298952149489110849992035212540628133793839159881545590957614512216149009675499498793609271554961739354332622239785360133557561174009400849356699735924312347523641343428098147360468670035421942589086997602217673621628389441568555729656323662437873526468948465311539282345642002955284087300088482250156318509197487588373932159730857328238766251145237429271382013677924385882704146386778036719117670559797694820052792948242780155446681749215759600614647880500090278179585634103578328468603899155384953433236933214768113318201041351750719339493904134200370825561285596391618797453246683677073187727161314214844582395788324458650551458761394136170089734706839803026610048967444910923245641079593840055017353114539284235017683671943945561401269798726755496287260832467077749305872252817875252059736380286269655100850877482825679302342698880667907741638077967384489327222579796865557651120905071961035242209849644263687955198896976981828284846175165921881949338334712836631532987094657981849168481262588753085604207844612951099994861440154051026703552674768870895236510947348539903779698870886695369261638752098110762089232980790522236344470053047101810785931326749837094346170425122362048679525777958341204942955833135407114212852232242433794866395362048290067412456893962540402488596590500305235787495267262605614369835143215297886476745344052076823240714641992846280329038398903753184767169073011932232287915266655615361480426397960945854941771193633522299453344584139153474807836331560470989533853517466649828163075839772608914460137944289320556165938448447179388225054679240936710688531749511139589441116799581666571968103650038567251207657213887709560318076261972377161307999744430133102151575386676486202490449336691554472398465454012675155022278321908794209561952301472807920013406678069860770364666147287837817976847300437262683023075899363656672791419963948317397594528538707231799447113646961679088120164507466116590249916340545137207945725353317884241440725920658500478548907761431425653131377373483701376244425773620605468751
g=14
*** a(t,u0,r):
82244831097013189731362495221009506054432119495452070145429236701902493493711\
63118363913718922359269200226364003587653898677759149451464410977717751469658\
39862623327409893947682633382162814073377316206898665545113954777926922611635\
98228802861710484938139002779763549882640922187725377985622417111090510270561\
98394282400716509795494456515776667768947932772918826861872214010935395633199\
98447154580055972385292825162280866166318419060466635029675681662427284491836\
94622333097218286717814885416327450911132439234481928527394971344620873579015\
43101742717014221418419696126605406791733335617174685386826139154580741676050\
38758187091961202970074585269500146764802034517582104345507796756995569346252\
54533130481132993364326788992412677425220167925219840605374081733497594188338\
04928621980319750448891250436919067588730849163260050045020773603064330149754\
70392452059863941309228908616953302462173287411438326849454126527308542691171\
69479249230945298676535105138414843996895445478676443278034716918816533850650\
27063503722955762899977585523886590813924767647677195904641214462833020230228\
55485903766290339541743096441580964641643008162618907372717318871601351635926\
11795616950621598693340279283926836210665992811170540714738369304895967024874\
95580054201896729598188839388180319151830816941668504153567288597674726579107\
37744375914366617062342531095957621070187175792909905742564405827595038427763\
13409129356930520133140360755208792382044215304562976541289206286588903589692\
88110188214195483737982028310736929052347179074412561356731529445128751414092\
98597822459653949147637713618754818444831788545404429887392304039473391920961\
26906995582268484781413178328337820787293954364233647058019748593879335630432\
62303275448986544170494841007826117909009935287418350769298237978213504292318\
18916044452095859024486117746185998330446854093639756889674207116126116946213\
45251543695352733490624914531746868083196073410132891742024067082015528529355\
31820562192157442852176908152312955144022923544852259052077128590317282616192\
19561043871359082189248437500905908022018395182230129363913687075852880977907\
20231029305800029204680362706936648721346340104570827128322731396978134329581\
64944271173430018335810955047685134291100780856111365230830691662644708070969\
85941503177584107577167042957573761533683977602088306223579898107820373699084\
00200690875636045363105664382056064935850123998609296220038017479882362919153\
44608026504585444530817720474161547612371585804891706908762812898482291353074\
51077769242793563736982437464217573253368228902646420547971993378022724783488\
54107738317146367051443439205551393422556446026346684835848037965963817681985\
75401495300775398970598938365104330111898664992562207527915708544704288229470\
21742742621905624712147336247879896109266554650112045284419534428503894839262\
25779069426765153208989461275613285853084274367607497705254478804972309608383\
45380616679594533808176583928781743617611507052204527592227920426517677140619\
97424120582366087208817569008327011538806997538767079544636819904166427942563\
02806399438311478394632402917135422320372981643626422494950532641259555241211\
11213796476300501677122525609790596713186857738614397532924410301403439178218\
78708115850187105509049741554336947318075902517538675830361351511143060382536\
06692225403403529434770354837856999288907924974447149282369603656324602383375\
78177698660433366446927881226749181248785742809483891155575872090464629162546\
39871524446436889909650950201771486715078838219233959406556756646600075684870\
30613220801506790141613339924570107929038112901155758935673492164192786880592\
43347893910350109617480573612604462385848209291009403944927364320506482628321\
64114899696824969089010575509607811363382818954145893563854323002233382315026\
78643668637378853496326474586664081194432373312977900683636994827824038856642\
40550822193608720920208995421310916343941549890197385582817023035938971173263\
60849113977334956743789883746827198839518008911462220768493731247820273449702\
57530212797529907253257120216387757793053941326553532143790126297530770400170\
49870007326813063273451574796958054415645004243778156677473304642100550136623\
43562067788382497357530532339861621474546583925953148138713069912813790368458\
38358390527822607521526593062337322115723577702589117531832774611811535227546\
78212517756193748640587664994563702525171719849213778530269429478139126859469\
36510864801713871509461786747834146314420992618858364155185786895667280790994\
00612178545151530268998243126063399072579849829836147806245574369469377787295\
07264580771837837266761673797051707390661990897059405008788247450640921630952\
68797795845755170245002829318851528234385557924454113534751265035538381198421\
1206436157226563090
0
*** a(t,u0+1l^(t-1),r):
82384229115821686663110567246807827251134546816630802467709625238685379075904\
36276191649165903583606944633527332407293990031450266653924520148866425624691\
71794593875422453089966841235352920537908464200469680232478554701279341124537\
06022411002154062031254492614983488102780991547365590490682794089244900965935\
81781391353938063201927497967498323138047844523381401144688946577055625117324\
05224183655615389287640779103233884583549467228365731021251403156770381584195\
99189489593993232966489147933982243200812324724709863999475301804527010652878\
16903610077551533658111932899701348159176951440254642480702115661622403950077\
59162861985337408398837423549617943623725427796425463844398487937939629633280\
09201830702287456064944292024603207386957829226788009826739122549995047737809\
80869178966727072059821574590201981262610053992350321316283520676967829014415\
30511761300643371718227601682405765686685445525695001979707438606168387678783\
85020739483879104267512283282717242037568149623555555893760199489865375433447\
98295814746215009955740259397655890120389046914876648779055860589041211789940\
80664693433690831642661305079617542547815284447640295351315144835790506469207\
34866456979351465809769669587797898644921358900680999258322671625751722901188\
30318325480205029139880684878668760370732225105976416872471639934280954929241\
45774451127780797769227857419849074665221391345101278464161972617133335103064\
42753890593128707455399920688692197114895137703384269721867662568430579697472\
02157832600999204896859963951941567915147767513521735189539548986561173026659\
24527649277382176180091336862176436781178961068362742480421782520896228178454\
42376329473085888992907098969572291669984283100444212561507917659292690436585\
89866501339578046787732967856991924888516731787905500516364845161227425486033\
98270139442692631666900500996603262734396764015832366647114332890899212059681\
61090953091446551682981905912309150910455727771844981389044446856730809086184\
73399919077228896145146699522062638118843301381368957796233191520131379705372\
18238265979615623006518350106839646849174358563894926193344049257337377386344\
33316166643606469932145922643728066770026588138646370903116498738328944726750\
43189939429656170909261482090138837908543324552477655680374472495971224525327\
43544793860935945047636817606654395027808865699718964369721558952070916705353\
63590861538137123406093979067449380300148175056234057739055031068831316076643\
53666684176627114775785208135982160404934927475747455564540376988140735914689\
89130443427950840963655289053139975919899361494006838209917708621036322622104\
62335039568531360893903512831323514428357389155204899555908797352346807203480\
64512345292810611511227072158943489993444255950176719744064718220203787023079\
48898238795841057974371314783893251865383955590196980954393126859738647203396\
60060050900369839909343680701504155829106451103823781599670164362268872845007\
83254143148542999119715866274423746572895594352293009842384238935715164728993\
90640093668098911085442683532069938677008365331205667815051458581970099854330\
08404376386512006324114830718689889137865139239632568973755533544041351097552\
14792124944904400832507479043027529927954971056815438884675129640897343312419\
15790671978746744670929486879005315025394675233670097314819591089975506247591\
21279839344765230332117423235887265389397599423556381738780399594725152556906\
92716982895451050118871826788150451047512498305771151988042949839770501415364\
27396730420074918536616460286859234997646768453503847473347530810407872423319\
23885446599475445718124548975289718281460211397598395815225481133962605163440\
89523059832232058955815286449235995372942867272858572426189953073592086836166\
25410009696311113104415678179963078840269908477796988298708313380203269403696\
32336285024899834603947366916471986416795818013508371701744854141091537227585\
86721247315970769599734773379652121286897383025604499795669255278372766039658\
97053942984076202433186137787076058498568039435040970295219991809257256964024\
10509077564983347774025352623534177721516744616937521181321973969221500519492\
82157922593468678634932001194919000270586775437411678976926649226239703611431\
27195223835481450742882279004844437782130561186844594152507498844869406962303\
22830184410073154313935960169222639610834973597000285527649440331492571727932\
45463725413407636350147983070825674902333027848958208663371581053525803345671\
85555798470869318749308332149101661816648824809737785111381017042948072792334\
67392877152855176930471121504243167545584222456666378565239210936197291986934\
55581978366366375973993473244165354352341079017223912474904837700557262176089\
89592368381086958669146901910917378282240448700597256100064402772886751336045\
5632209777832031841
1
result=O: not congruent.

code version 3.3a
start=Tue 20 Feb 2024 15:52:56
end  =Tue 20 Feb 2024 16:32:21
elapsed(sec)=2364.721070