n54-L5-f11294-r2-t11292-ver3.3a.txt
p=1587277011734011989760031827336338105835753106292915920755774516424841398428433764909598762450973440291459049213954884212181430467450776401896670336905128898381163226973486348434118769288707037535754264053319428090808055429873909071733198332368682840610157367751017808020992575742968602402313623476414266721135327083963531964623763271954338497316142719680410124921797344145325790519571348554003699781310529315607141346908441860329653031945875146932941313630902228209721531198638922023296302910931244143333473286690432194007442606108264153001326544431115467242258726503187093912907018412047733166482534048188691705206864533546169174646475759085962206532241211395649504817506673919464289344349263934550198491215832161843623055866058821348518300524518261017634153851572507158027693823232759422900671246308366142136542485339606960214296663263140843232344455813518092188597844083557371487820358800635302369333467693511775903520919937980614419027217749942142644074302686937767448226937173261228281211434067720108673482254206726533367088479812241742361556720357611127306320970070653455617712353971551144005799938287018807621318935095158459437165337608723681219072637670169198361115531287873860464448084444427256250093603038550703358936007739441530727384199473382581905433447587980889219872595790568089219943251268173794852905638144571324954828199106964044938395132388428462377832117848667438564938156489332479440808529476588598817921556664234778050980415918467651671733703312329657277772811340527086785689011683884736898104464889321204421013792558240741456199437456615000813014002283112084664796651527026579321347257027812671922692811911908172958434747042398354581081389072833243389258476777543817212846628245569558633620257411100982519830173190077793577609004194278386439978860515976720818288099982236674728087836601486197368632854245446657678457715153564373496031382728871013496395972891943277255099213355173887171425771114559160612599679035589551357039977635732049494046660080598656305969575002018527128756974568720589471038248275467876585258132041222463971446586098832656359840882222963390223504218618573090320700421173136710807601860632225579013917719112758680813610297521716830479519055944663095668488211762089073179786236259642869048150029595256088688205189902771837429334524344340260835498791737927784747914409188050910325195320307111269354545703718363801626332955468880472802094647922478804836452375646639862653908857334985089734068501388672980699837633004014551437167539681129196529503920183883319164096342107593819103704571261547746372345836363975180410124163715987182939274108329446239354259363580316596756404608342454669017546240691412177843059589173870790986641638395573946883552464317384639276970335788654944933462421319408079607572910403009421899361920847080352320761186943599783154526143419248533057180822182685280558413632313636499214751865640680269744628962497478228626814842540664121271155509279208794237124712670293289274691992316663713288862779706312660889261802862500991727373019981829060545881468263220706365474138413816763540940822837544194397743813972774911985496784843514030832039988271562477441707825435507289176496744999429143775638615466221065082626391898274046721918251029559213780183383370327117014958462617992420788719520135728968183461064287070923335134921456440413417311154478383650111226545051383705160598495537727885748950563901258297633829860165997816099578806846293878777554937915231621010748509016239749145897463216580669814151225994172336180457483335691572985157696212979050449410454304628675167899256440541008178815163805820162965137461095341488451406898810128643063213165870130352371641047315272848874915563635885666248656371109883540429956420450556896685549425923960218763026483655641400190047757124290338046388452377720035207729103876054527550112884930575548075267110619832001819899538947219880657005829908583778989468151413288088980360851249995726697634921771705342544060007859111876885927959305916980667914098881009339100365670553459530875390760862566610589294891799280065877491600108283832247596548288365672877456580166214997670300046964461819716759073951057806351485126403695230888466299657294630558450652722873865527711150265373183137532074788644757402099962090475842681479901125642608084743987922314781715659640653791828172066543882611523441141741659671458093215639048583511535898325164986250393295005930881647473094472105364347600221456163073841143439387384676189691264186470480986751348467850956924242110735008286236388342075051766313180044661825394750195934105322619523390024618468955767254470327767942714215839126055452193409602847405696845974741657291569973317682177272978220513931924694434085659033693461792343255280075532289248140461035294498066654753781250722151283080572001960508626991234478382672526813817931935448632449949952241602087500696021103579483440028923653592040730540331975362384437748856757400869158515063184839826015142473223594088708223213069283397494222903729545401497967933926370053400403411460275019981327565385234732194551984229290135094827404650626544399033125405138075874581213917842519210176923509867429715956364515976585861667443884557667084339797197407026767264679382401793709456614257304801807636339505768735122005724822021212059578568162626562968234516612444681868844267534607895888881864023285205571982895343383418860595561559376014724853134439956766083824410357428160009328930537356886950385743995240173378037049710216693719533033559149995648858294238225275410300281309911839722326865039412825823581512047971044033986669050999633980484363280431630168088413054317713703435329779772770877131834183240699046911834354645988287940088372669211089480684391056273809642863716974073018399490221718358394990523057950565504541135281415909060537053566818050580179302161479609085165682175885559129778247904449381505572441956057292813669906774565419426739837567854970480834182822230436005557106360393568909906376449809644787589696087548121289405203052283276703906124329155338536463738288434143072447739256568803512410846963917997474830710697797349828913373919460348847933178424856770290256213409429714699185941461395233832433372466448404819191603740090523394097239132183265444917847944606072605387353690270227893818104312673810167362046515592897245249830262819063561130520354961244800589161129780571139645568099357327875729044191792273331587775062417387145824716129539897897911888344298796909621057059452881987414901113287400689724500510565034072342853823185998990354863511459431137424596665745021210142565425283063738187256387627863473537702930435818392391013791083210880901475145241276349169696805954261131671909281714431912085861235009149198848192684268425359189171478546994396091317203102466904976783096047306766739986733137091873022718776955454010074303126785456782141562910130072286981987874861174465644784011314802985209205850710616427458453697260476142071981163797236678069242002043605295021599466024769487003349234645378786845083813345611030467715870044826438414067510220711470748355804903184908035903356832915352567480877365357417536123223397974647483263550497924257069764972830436096521700637713419936732555641292354033369854134979975576295754802027503361748067935394882509126819472590002490221215716957932712486545066433000854182603407704049781031197015177843416261278054352818759935579528540403692923078030419947586333291162760965989939058385721313837284445970434412690921168633586530083905084660786218775974439150925587356956556305323304066467687524597596407103635793816116439524488361526712014320163334759150456295025370964833831540147828679185375247039533170057965815323543032146935329391527915194006758568440004938857296638171033152691621392187273884141746216613365191676593511408902158076314726843265829502707985099621844121779022607190953321601781470023835844310311847286849610375262718541397956775571781143853186541429326696698072603796783767515691861327038715040362980984722796051755722146481275558471679687501
g=6
*** a(t,u0,r):
10745865369439261170675415471067008976508048529603040783516593476196176267360\
49658843798362179309019077317776317847456611646828426464175624084045818084772\
26420404750466105025788989840680845466441170563676409725281747705352602463644\
15633752710135982830930765379674390560302119737779897438263663230935324585702\
08616435843311140050287735113087162683028621223637654572056801986385560181749\
80297106050475194722834666603469185701513944317510262735747447360126932812080\
84979814766214785502097715970707004522850367614150894225953430386443352948315\
81898070579865171323009157842657662579038051464956315353708675550623744284425\
04728921075653123566408890119641382232730011485471476145201824347732388612445\
16836904843785531183735681328088213218220529468894550988627089383221575145873\
45984748718328578129303754433750763878226439262574913912065078841029146350868\
29719658575174841168074044456834049725438290803009970403875762850747228668366\
27980128759616814264167108305700383029190568685624496364662978515463801408638\
46513571947486097953863089518900832887659578773899682102733186379296737832389\
45319126363874012449192655822031173275963291905942227703896093356110593218531\
21757027045472904752146818906035344313531688772524813133692570988261739996772\
39601916302439103043480007949978444017063062001853747350214596401901581108553\
65911541711702387478699441869079541465842329350462696606902979234378354785590\
84631319432780885814273744556504813997328938616869447405137415768026001817637\
17142447177977052193277536837753911460909989966880016722730070455393026337561\
92898196584701915812835555041047954566688131806733308379699420055209300782917\
88916630336643618330928603237477036860513921004023081057745279887783971642530\
97167322250591194960914267315365165925027249682666252041295839526467619865688\
56931623999398104368797422879091546537920615561856444232416738724831587315896\
30808568132461074456761370600736478455987017021674414527216150552470445565517\
34729982707094126268716064859390597507469588874565290319141402276366542866168\
47178302383907189289408249175244821975539190760810866933878890970835561227726\
49462151813123560047739821471141851342135532167464596480167169924222958393376\
26910814171422202294234634400874536915767566519362934302542715281947778222345\
59757003598837204191491356417653393965947298111835658563268200657711027433805\
50203104662901572318479143293530274414173322937010274108524320800870180766435\
18150874278258312775187016696296415784905749964375440131607933790077543717851\
32296242436412446605047415396448900707409322360684101553320799474406782429407\
81312184111971376540588357233228498885713390351040428335891438743360040859198\
47841810924878804948086044399751341870710525497956389193803562040165018342869\
40079050891732891939771995405923323926989432686034283737862586802041347339852\
11553235608170531956141990948312568797114166176779349380460290763319099683870\
13038740542617113807610792760780353648400029610100572279782024353698533430477\
78855683896647879838133389656010186117367142203024053791317139943153452769827\
39895617540142004182094259917061539489172169370610174196072725620595686154141\
81323339058998873291072059847797228036197819838434772488296364613530336107342\
67063166106093806731513152963073865594701158772918415054171145821912687919238\
08688739631151318885114602031405223470150978863418260101598835196515818657311\
25300370999786768393725181479041778652039531761151867498102815332380521499414\
85223494095593240469296861180742427674060399431017177258259762511346418037999\
80546715941697162182631949109517603361868171542508775642336130886677966102462\
62537057865896540250327398061161546187681602470494457091353795313294078248555\
60098903243971868831783658149459605034036324139115687108049664502701905611696\
13505210681025689294348692279286623315731445588574049822597164638356326033240\
88915151426423097999646046955833889626265232071987867267859204792946848111218\
37586993850679603623970429629624710697429884203944451690232862532061874065177\
32284501057959121778449424433225709475589646921024026395451039575953689526417\
48112604599061813273308154431622863191223560538038104772527553422793131794940\
65194824589306486613489995543057530167131149168486798846488807109189338560696\
22604487296576449841092146319125007612216743352521454953618930620600456733716\
79823407107221501576722617067672489050208528001369652959103597577129106987635\
89103730980316613669569151626071901520687533928495761533166332534992582240099\
04541084652594257804209858542405156280306629127350978377119089676006097820349\
07584810045794022890236055792245882647389303413417335046666703483054431276411\
89889721752412308833954113493830112769365676472490010198639287193607083401380\
62552879319130181318759911658104736334163838246111353598209910921208943751911\
25268309906738896418645547245327264340473065741865069300652954739920298724168\
61611766756461323797120628712331028889958131348181157457580474732033426435597\
60247603884203146977761365622122514543723731980554671152479048601035889058249\
02236814124291268152526152073109558606188527358761765803913695711693323229421\
45919815294847417055814542589927847736709148182237938550528977721618024991770\
24587773161486283488595098455406160980427026445571214381879418860143413021278\
52195350823769801845405433677597875704508360564334690646098183129494767746625\
04962520756912092954551677302194376408417223242014747057456862319517569756196\
87255720158507306387491258119788643263156859737906124654111486847775973769310\
82653816701648123863719544547054277065199278511452773290446810315492015287631\
68248308256468365647639681100897494752675220478791394085221362379585563777309\
21772257182609061658838182517420539532547593118580953340709354398282970559075\
78423332745097369128218736391447433456454880103328633408584110232532846574348\
58551857043398358526473582024278138756332169535065716683307452353085987383131\
22312792725432042507872348545268863807889519028700334378150155247417706500051\
75762161005986446152006616856521129521198224251270078112927322466395778328544\
44617083816418918595082126991486004711947669707997790214339457248429046039114\
24088058341743541434746561700507617936280334865034564781839168513488823693645\
73304557393159785570062592715732041284337803830892488070706209383058498311153\
84723844831294428411485661968016948330410549105639143503413508792850603088536\
22803087627299988620848614466615400496032649109718685629178433690454849237172\
56571097723332819698510876886348409090285507813455629249601105479888053695570\
26694348684565252806697611203829692131647024259725803488003645194270937935926\
65167929166341507527725744240635715850248839050490516487163365633337663702986\
73328344088387884737631034786141882583720670404482128056101194007620226447249\
72396817106909097631520615382174650037009466928215602402668108297101833381119\
80363806119988423648203032168337542415098380901580589382868057912810151132415\
18775660121620986632360931087321389373153045342348182731247890729231052876835\
38352078472962283849876894270126743185492143869412174163497866762664364402034\
74988063237044194216656966368799194561827403065725758836936881845539763469716\
71955422240428836346169423687094722036230886606205237345191331731985297167940\
16915492368059139124938144346515222600097261977590344199226233545867885678294\
34316858797630403805204463533910099751415782816225070156417017581203792753999\
92808885242796858300476387340821853300108923826594304515947638117189173975188\
74252713332946784156992198409739175363116493808086680374231535227011133469530\
51766226406595886187038768529986244541525727676091614324135108295580786207535\
84033694750577631944858911732176143192503952680080015808499042245763956129242\
85697403863276347521799806439858634257555083388334360638982404178944437222768\
25107844195639621886472482347650538072238267610176650700728909665733333059124\
43988470444398305068275398724406055206136866598081120613197186224052860452526\
41673706209583438860728854765417366459515277042261060812339011840521008232573\
8126657332927038623893167823553085327148438177
1
*** a(t,u0+1l^(t-1),r):
10825229220025961770163417062433825881799836184917686579554382202017418337281\
91827668346355991563886278775071563917231032707735578801429506093529169769297\
90869595332079591768963206900065489819959938440808436384995793109380317400598\
69220412626754416972961273248061941450703169366567045868383778912109145299038\
14293071263128799873406551472858855169609334822039705196665788707112189134347\
65971383052325085378099324407039859155734874482336778708685020826597589627531\
96390300842774717448198880785852551085057534287815228747563130758573658361523\
46904703302020748659220451475173598048602586557016554019541088220864687742951\
08161187848737710889646769662622485498850617183296228553955161307464533284619\
80033632353710091975343773509241006521161596894809577214540140264929267724498\
81774887187444741926418257789982305708937121975001611946866150324345462055084\
45891886481933887262372966498612735469348470203327621588542496697503116620126\
73977027790337765625054605412832586744324915573996907711521641576877861980341\
85114115314897368987495756354343231948868290581683283890788822910901588185656\
73127982540859788021195555791174682679773951373489806933614676024914955059140\
75388910553932822807923383299728367535935910993887625638372722915796907943572\
78299123956076024040846920859505611255002966447953110329167436848001297364894\
52808968164521459764361919283179094947864798548028890821134168150437279119310\
12878227257247509786314171030334243938225016450081186307686436563949384401223\
85659008826263441057334239473187839905968409390564507245054517061415131406524\
72018567312801634541143055447554955708244174139131634143212709715882929296824\
22512764977239213739576524974829156778242975073476722719914742811622848833391\
61400463478438988129015554370870078524178115633055219929340860497859552065582\
87189612359807248418788541216455590456221358660540760659539462053670816173473\
09027242934030210900312045420535123053150879776635082285910509123759001293475\
37792981102272074025501264747569257754939822174968283600671250151376635501812\
25665586744201924808532386909183114604605211372042852657171940387163741148167\
60610321324298770978668475987176872400792367707844689511778448874918844349014\
20314882222909810878387031996154260231245908960421744747908614213129076436690\
83832018396465248535593951369039312680614560284005788981017596526674919807762\
70662507208417832084494498856998001699359241127091590756297764824510285498831\
30544898460520191008386329965840702459831198634717947074972837289265708737924\
08014826206253011203312167356540842366991370531737898462872651760037556302593\
98604002310730397046796543032587645849418806823352396048859617759189878679428\
89554084269966536151543105288966639816579879452889597385781431774582780664456\
32398689376900786267244462137133983631029236472489485242573536483001770880028\
27591294955350521113868298119274995449973207285913613408380972379000924644607\
72366943943965836952423280151923487722612732930706928057328420397669719054041\
14002328533993875996465246300441575970523472647654955222567635806839962760741\
92922911613555165217412533623982230327349216411752051405792612811294324899741\
08807263276569027451272001205609615244736947015971218370780089610676054985535\
74796276638635119927462289986434824720215938379808506745856309380420167150547\
08309779067127325671563011204458437823697145620164332923619506062073542576493\
75856503725043686919528173956730418080784284580658158986271964633210510579912\
74626917242532629246765818796552933048314907550891750206991370801681325113612\
80255332750720036349416527758775488172517124064979298357567564645072928924489\
67577951941715569351142223748467022895123859504988507734569111379123428900317\
45919426901608293269241439967402438158364509694057457323027874727980353954470\
84801408691963840618531474349296125703587660105476369245216050640116712488434\
69187789176987522652523787332169442725425241171485562003958608077975997654137\
27081727926386247668460610055249708560778701664830304361504892535991430003620\
28682466353808155174154368483692664493873174594000570164989082704284218991162\
07109004928449271273849573592860845932665388902425387673358628411144632029762\
96104682968843462142393171285620732014746593401636627493804086334515699997628\
98990044809845108997968750058557245482321741457045247087692925676882587137953\
99763018681130079874925886026813349382927941058986858667811895934419573065831\
13395486748265776252062276822719404486128357665042997585848506335103310321635\
96598256621963491613694421751728680329644196550743526223331195212756512132168\
49295185304625588790459364919219633627059830026514951996789795827833267548763\
53773693109520228396981839590534914193068524895477381027285072180265924490017\
11463905015726416040464194609789409423781001010115130212672317944260708476814\
58542078812992507175060950105337066883608021914256982663287023829579975967330\
86586742877262367547468639264120770609972593174977177822850640719714618654472\
03085473927661072730920607613423271667384911684990082313132512770910600203435\
49963821614130937784376419075126615907563627265399592730087356684453244375872\
13467228997172730328014059152630416774646438789196859810134066183372958706628\
22405998960315576571967292683289515197416886315922552745113387980233098494109\
23481874832807983542934277353207904328618466624632583486911315944335940329687\
27303455179045860258499621743126388051020009233462418749166292617298349444204\
23498376880505144691682478637660051263623306264773969001630774047537982438212\
67902367785116721528887340297032521356670469637829824791853359874690626921956\
87954721168259121671625203117890829278175037469033575725437177463629770304468\
07457428949098050297382039109129701567499938710298685640123751402701604019630\
25826754700378738176433054976317798548452331211920425383536725522285674097054\
26192564997928627053256991049568228407412909339608299524395395132650876507083\
44781868004054140310736989228764202536160490365692212770898679289126847611573\
55789946537788413996556148738770177745136172731707818719374348481657194712063\
97679248394088186826951271208557540935817297992399546419762939207427783454469\
58977925833189210130719579142904276857523173379547375452310654248448120766715\
49473719560022117812086688673750741736954774317088148987033433972298221341516\
87417521676429542358394714124353853414091572363435592126038423924260134869101\
48820835689540018078905103495172382774437616976112472081388023304121428625925\
68658033452456400346210366375907850811779492361560914546865515416962559262007\
27039210934820535323733782630741285131142201691481533203572357492603810446531\
72296200430494694437088563622028889527133985572281436106714055187498207748060\
49054550470133733221660806091800242130129242564042557362276239753614467410671\
06609496701494836905017813427833251588242919416607150426321491667095199949665\
74014942058836196348706747324676815254205459047087092997217157306553209855697\
42695716695635912678390184640403526665421531644728893091153709715414443223045\
39373881120473083582889279013628417802814833262834716070170672277898222337057\
16309983940419705252230503786589439721072804860893600482704510219583631737587\
59636038357418709583585741439584343321579711470357417827799834920552396851602\
94736138545075824052005634334303370477498275729271218233193930987122449088030\
63816983308691189653101099158237353073065825525355240541619506632763643512892\
09890191633068622394276065238464555318573539216746404253879304573002978805138\
43781906193603702799215183626945520823700810601351722326773865620120521456750\
09312505774443714002304933733309628917755607496446796113825914117557010625612\
17593766351394305740611193207302998016673110380819159204425918480961621979532\
68605065634792420989464502203816231260934367608336830067630723264461013568578\
94717207889846709197303150607234367747808712718080466437071072957208468458379\
42097691053293418104230165332414962556256045819632679849631434275929174045233\
40652093995474010787322125480080714808551578940652944570184942504040365752755\
3031580946907297402503900229930877685546875682
0
result=O: not congruent.

code version 3.3a
start=Mon 4 Mar 2024 22:17:20
end  =Tue 5 Mar 2024 00:03:50
elapsed(sec)=6390.604529