n69-L5-f10240-r2-t10238-ver3.3a.txt
p=39149253672232874228529628031559898146016112625763728612940548663796611817681863575956969819954479428084188072966807157926711080581682174766300862061929783169879305119780589716084120802041174085186994649207689825479625857633754911193104053926882573794740574895859885682130467998637642279990980649754681646074973729059759303307595027109197350072057733639358074577569936368700304147847031792488103248835564169653791746851727671257690650893650780410579289614759537016245399951580045827303405444030857686843852063686003967668984300348785373881367321058777154108001350079581247354727279757153625875921634925913631046817652411089064741337126483069720131399931782185960601573804594850680301367145974319799605390585051373470632751709543088619078617652831836268337116311820328623973354894561687064683812984262083125664453628688591014171175951894830935606459091496004456302869150070983318052055253103529499324697295894182440337556865921545816310493954113762193251234463597755420872472324940082086117092343071298774421912518147525246419647167540391141969606699801913614626564416201281860059394334064057891590850416888327911707964591653039740248489932286825860768091223384997983877237298948109146771759295823993177376714743991295832710666767020098215703357303118010034311634058025258223219101395009947589697954501842182157879816715396822150968782206997567468561112097741645374839438885604002231938456106564767423731822323320649028653400111686362538231549402040695194228810573026976849307260618649951577027706309735651503631902748107153238975133871165064223939078213993343936434591110876358438864995462907665076032562997413692060069389149208805394327218922009127928136036475938615382475991633039727828424386068328173523669940794871942643709037086111639367623553954541224573465064988241681342116980233210296158050728573446251152679013381019495049738747891060370747355621146529264137778939932018968086105561497882873317820594068486611006126906596296635768291050552514667768332452310865871652815638854689090783064516978313266228123285503498874763439572014529940493953279493705262634637507336765042492189662830074779527872875887385476446908852133495677541202995941270946990470478647725561715185832075180229877226467811810306692559566508152289183213967525998995860264988451781038281737156226761006752901407872785305273908379580105602177205982520472480109706661990302680217434504917441897458493426166016189498465720875179115240087239564856360070960525339823818327551317711663285556762279716958219888296613874177054160729633350038586656158595524010129968304711976679625219067495182048037313417260875085312545373638955409455015195782143351066499084771786077336618485944187645639621964218199350520960907177474232856402133781668261641158433975210172180818529125032299227220421476287234338409648106963334907085179664843571431708147817777260490766788894505935992780166568734116377301161336978428644437430832600728898139867033123025468215915754235862953424735253509612354902616150410577912803895604381641293102155699151612394393777285182805656650547982366444105059638974180652523555029903158213995638357156623969472253166019768708574553865720619846809873358985505707429372422460821920575148726805686027884246298825698357130520829775190596982279501667060088586492383049406068022651091703644928161430602301271871318419710003122960176868737285881248648669886676789597106170864259135925826554851254221429267086946794376674338962289736583852010500341419026313211567101133359997030878231420654038805907220058458896636313865595798426627009882287000231456884351350632853609352944084273744190012745563332042383782874276426568840282019375532649019936226637943507420193037403262070515468141504189061002206241060862809521850279805712249399238125693099341485106319094577821176463831540712392695591993700641085755981883282884096420769734968536369380069994605526697412450758952283119305105620672041362164907371529517898986087122852861052748339462730246645116582346228952796693054270851311629163965327215637836340370286690369511927893837569584523765621666392665502480716187789138007831957130221563240519976687992286202647315008607472636692863292239842564056291291761822592897004902000089627922372886063820420577573364111954544309491791146500700397594977765782953161151428008003200299449178390062772634109779154630830714130197757236195350845260582413693255218954999047400353417967102821902008654275681289919914875301796116421438962508973521046002382276498087058515025042360154161226989791642752695122583621383793149869816360945745396480779529603736024723607956298674510270176327351007753248776724675046201681092826050705331415569855271237743099584318609514107406005706983629749143148363316608744028119221307399717024114753249901066983545244126753874466375486886798259465976156059312485937087709745684797322941924683069803372861402883582516624123292658216069550256139329031549420199407393216120498453210696099072287302728981485799355679002545091933075918170585099609999529233243335963069613129715198124937263393810053302989822458741074228078862889606834257554027527186876136947611812350198179805632120161577090551089756219710786556597988342486675928530158285937088442821641326791772338685517208826413860510157119477395438489740171699331567429211591857714909403879453848846038138384585791070582556694145042853981535859268348681870021418982724566924770478678483868746958505500646997548260845651728374386136058034642127976189073622181971801764684829281061019201305474801209429530561124252824036482190105099410077465774873679009296369622841865066122951253132278557307743326500849095850237792946947500946334878479669315235915115808232559786690793828164565056583273833840984484498117430487099828247726230839675443667173262044771898593432648513883105967974314984419925932991808231722966450556278042910168731516513491869289052956115588474680212577625248178225529473938863007155247344182640637577579989367456340101639718409475311122377574038795131136651034871760857235793804027457502635682191826066747487899145864042640799328208762070324271804791086761872687530664515273429161705916649462581901974598423426003219971110457377215673947603378443228509407918014261588692931834468517004312615422955954657819119157166941151395369663132870685596223372927001694828335946199570565289300332896451742834109809463797415986161474586149961317713397643224560336145598355755951501426344583360272278545171291182712097543842807646445023941895682007039983563128272034084018590723057500695901833617921978705620016083450658916913420503621720153308170899660294985200947068971007249682768923429856958463559319180193354007624171521447234762797367488568470579833120913978990535690628991717918707649460325153010502975758290646236942394714358067249921198843855377274446769887235503975381729330831985449267434217380207163172284085219072371152855458771952576154595010096307535307137432413553084351906259933644753478082591108437391785374467297704471713729979363322797610573118813691031946688706420391761161343012782163809826451654967174215961357093689904929613286731258446878834397753112423798290689277025183615592495685101152740697307073977706828285832186309507838966469037162381925211678066284590052706371388069328531855717301368713378906251
g=2
*** a(t,u0,r):
34294746216875997824191954155646470775910114660169026264935920629485831952289\
31249253830556228012397900174875191892307034379890658955358509527955516625049\
00568142712849277965912896898225880684986238073127059362871201522512871693022\
05159151239949134644192743608773259857546289966806574637272099049185101121961\
67698665634914969745324374765687866312257466807767332995126425898146643351399\
98502195784459799542126167215702421134400217370101828380836396674577025293544\
26230970357584120144717783168971031333675214407788939475678030247105535987520\
07777324748878699860918266971317268274109706726657626730735219510034079701226\
35121140207134113227991690748351063402411949014869786528250891959439976198735\
04144454322152505003160274290497559745630312869063880688571063313889154607874\
60065888763603786866302017421358481808206137873120572841395013385987189959125\
81641504999037213133754621813866136004017186918414084348312033038177356998145\
47274135087992703803655681288081390111633748684285756647511907438572892530457\
72639359536589723211586361091876538264036537546902647632641287042859232290941\
20294366401147130335849651941752506561769822880628124576771806832594540328479\
11685258233876459873878543612572061143141818023382002115736375149454544087909\
60603695614099753137679005699143483012620353993282202871408857540814361375157\
03027194426876162042486532133298691024595341976216813483593484637891059551780\
87549350736263189076355228888549100378497837253583490837276187648990144438061\
97163171999316030193735758147627072732843071718154680734186623734221727114059\
62601706325154581692883167018131276899924457360255071146066045251857343942446\
20784894706913525430643775679996065047167952922227075048968670542801577699762\
19585548000673486813630782175588911648743379608603823326417811272635539692969\
97128556944746842922194344524382303389160097468157217730776635711431525688847\
74683524124359635384694351380448616043428471872145397026410840403994271241367\
17017835585293302296028400284896505922822431850356786649963670764352596451687\
30024212158359981010650142927730650847282278727030728364858100679424564270061\
77223158144639145506866416639277349677367492154468942213526093824444553349563\
65213929540759206250278889785788137245038580314582866268218026114140532449543\
55527751203735921298837601895348017488546426419155416332965599274199437405121\
72507507232440687933892576103035903505147870472626307679102173640241321430182\
00065597148665690495031642185881417142216142019768566485493495431541703814772\
37570320554006221478337537790994447991588146338019107949296790328738522349276\
91571351691903125779474080686553520526574733789747307724938682593311505157575\
53425319826008460374687779368710837758030884065514263105636175468746742798220\
82691927413971976547881622841108303970315135282941230450892132276172804468517\
41699881378606617386402968574176337488372880189911707071587199929675425914211\
08594651581733119310349252718940935823851477052352101577031015714220071061594\
72000680820744204228946917477596662516162125494383177727574883924568124574889\
48901820137755225880032553005036032243741382251610634206195166595460179200869\
20259725769377343331738871130918637126298580544906247130299970813024207568000\
24238302846817809604265997577713117608463362468830669629564768434603446376017\
67327551279715587842356332392957069413207615914159274935665962735713114937013\
86243197381623482072886768706500567709100307102406204969869797203796816539187\
39667209309658092474543611982990830670503733327805928233573990493307244929379\
93974724771209993453410946261919421725260656883412202756230691783154379761793\
17901782379991045116511347886912819379786614967430408704897296660054146413453\
48385125000891007652575737715500919576696174379326671693158211411408451098039\
30473732598107155023140953135526850171350582316429664056001338586481761591122\
24012975580646846459428783243785957694131527444138693330686484220001251127252\
37087082332564588574598576795118123196191062822075453693516960611221261352965\
62649903115541265748987147633626640898744634164371140763692448835001710956042\
81868457975997498017310738050328489486079444607408939869549957868124271351904\
79475401460297429482440021020861133111715833565913777762941520785140599986481\
91906688425954266962072180815114809044334613548293200522825866969168650935010\
80346231748026969498882748016653945660770557805323533890712734044827019439529\
15718045791655227095941391820719861595811454968099698454307643733979851805311\
57860804436298086874212324263259161937107495045234843057479051360927383252332\
20279928595913218847296731716286793287275765788056971763887099667446275948279\
18459284108153404726726373156204178703200391932176042629552358631019343580876\
60999317659660249397966265349259768632437865282152113124523846913334677585633\
85503639403254492651283527529219511270795773768088883373721988245489712602236\
91477546265889260182845627320043685972769260243780522316372920946808764573215\
56645012569782787323677190587781560235574806229500533374504317432547258359587\
60832116230364898110163051355744504273297760669341908447385718102379708389129\
55868096173281138157034959661079476187736055097337372615415313227546264484666\
49023579837788018328113392418658480889475911757802269592568688513074931938541\
80689763666219840411701239040861445306798935446735826063779840157158912940922\
48971529778303196640710575400878254127190734453181387630288667206260989393223\
51869022335650818566769852276500790914055962255186838346504107141628493031407\
29834586391045020945282034359592585946026877154484547385595839853206708322786\
00187893428121436197896094737979237052977438760162015831540147438079648083066\
21526010828989353548190320146661641448011722373141135393472158989566947878444\
70240842035086910669944954500817821555568865244377755122018316784700009816160\
08279454999263518551173008240109893186106872995655893078088084658188774972103\
89557255503819866217999717404125563819170443994267996673503993198517960070685\
89175392903639332670037254320275485798453487570630654766251093855537232805277\
23088576000396344707993996517769013533402115108755736040621009969920034004742\
76862115379523945654382984929221746129748218921178820694692760662440930378100\
55951626817424133618049315169500828699442089577785111050941628024954838167824\
04486223438249043947205822916746840534846696222888708238151934270916172917267\
22680193090286536403877451737467366114316936335464714854463544159642213515249\
47785502359851600557005107605579744840629949828584097310061743816702560130036\
63018576002854733983706096100062492996533461231340891027772112161563611726268\
54297957708102418407036029632418602350722105576924554695614077963601849378110\
67877425278777765221049391998598022793381392064559570926499099674489678790092\
72448340372006067642626061035615377697776669109309701872173104924153704212183\
01482434394893808819253558272374425061474938920858651907397129901381884230456\
71142522884436540092905239079427250189226988370187280404680034981099115520398\
80333527891172212274619222707707068620520807933439852993068242631827773364791\
97175497407971649751244613182148814072356718341239176582399465858932431726483\
24730264380667406084725902622014860980085084099680447118157838899520712886693\
46268765542465664854299860653008861707813359487317939056083559989929199218758\
76
0
*** a(t,u0+1l^(t-1),r):
33394313382414641716935772710920593118551744069776460506838288010218509880482\
62963029129525642117095215581242624068650571148455173617489507565463533882610\
50439070472671728430278197550441411214946645064357741594211341208565615929392\
47717757999630835446913710386168482486857289202837908864832306494240743444101\
95259088797468572137855812414533961146524679437243761466715572250135943811351\
81189923520712567362367146843600645237035828101252122841156902241340413898850\
74857326158697779090689804843758321606877805810324161384421643608197513923920\
80632486313691245412515161788280399358236963285204287216115459180432728293545\
75066589722243605688900584712720841418102046243931424553194076302970661755160\
94789063398169048821570449737208240254592074060857865556336891560213982740316\
24927172506111906617529247557555690619177894527136813508801308696629078807230\
96050460918012263473850105487702984031308973106629239667933977376216079360066\
31078581312851342859039150843302997448885374004218893173890019457879768639817\
85458189137797983903519595903391195364410007451493103231327645944701969342663\
06633669566413815269954056057437086868937966800428984319619122406624592351818\
13547403280247283416002737102196310679337866180302337676624575345302198752268\
14377799496377955966255926782385149554526440589348994348529401235519007138138\
06714836582334892947763712225689250506826286193736235047380413694202139038435\
03058899746612443244441792513621441350295268467245111511639940713000677175418\
79201125245909330770840869520463348220451073259801304413540171284578919210379\
97830200337165363223777787062175775337483518411298602383098557762367938793272\
39188944275111001361117740473786122700039113975638921252020862982887837646001\
31628393201569045949802576707508380863445322838058289152322366456116570043497\
01541848257841389283826228172714731496522332351984140096292774271519510744962\
47494344837989462309525435762012179777448043957694090940100966740419079188226\
25132664103031035226612129501160638758182116858851985173994304979443795403298\
25012160925891625344845401732139549283940392413421474081305890273457937582605\
81245837782394053786937275563131939811409213250869871812942646155537904117782\
87131828650990414305351476012873608527417704347419160875331023145390267328151\
42996771434688060351493692256543217942614271387602249009154858653986438477818\
30078657156703089963025533579782677728186225471632694577938532094892519611809\
64219125990652778529979441534882247514052932811486971703340127400804878257991\
82245985653615647170116346730271991023772475829144177032819819806408629639193\
16107720311864573390286975828344923526447771601203714028964265127962002168278\
45972371931033352396813556851039206173059753547812404599437965382238552062651\
10201157630271799081441808542768702382053436525512408190195192730108906634298\
35239724675743658254111566431247050088564003198624070927013563401841482083130\
20126983789062044259963370512850020842175011330657925394072438817613836319109\
92712991712436993387319315763002229596217229505375400230161388113763253724178\
92024260933225122917428958576821615872044976096602592440507393956538279518654\
60024595983195061486270841409444745968872932882197521463636843725467635908109\
82506018639652501817852620928983206986323342677982375792258844149220022555642\
78002741143376023321381223209123721700303762984906234612012632663885030869032\
90485670509731541333530152633156374721304294473005128811985087916482516561560\
33032111348331453060257649567912304294451694667372667560774673391314018178951\
01438858709865438830775727353216057912839429590811197432722351702089824128778\
06130388550379408087196552223215336679175779186322076056252732934961400560132\
21658118294246609049825461496943247030732690348819236249159765221382886742725\
48737550121216213738286795690187674881463523648304227670969339970626646846149\
85254644030013424691658392816152308119970539851427289282049738629750076725509\
44332512819266659879146787678351323157934904779943335617089003882844447413332\
96735579175293036168819676862424114939074398335854546885193674493443446855598\
77207528143294367361605090818413472068065943207899344416354011485742013085815\
97023421741590990123882805857071400164718728346717411451814060764526177840718\
12438818752670079587497226295996497847965097439148516034212859046462168090826\
72985543014916672354505689564161890009859915305868692247463427100727679888034\
67017686141874325014655259387070824133820971561403016873886324320873074874350\
20154413452240032081852868260913316361133211499526622292271268048939563829040\
37555683895335588672082319810493875198682908923758672276935726046040723040961\
35212065461478144100339721806212516476974810865463657948639454237739155336173\
22868057036176019105553909067258655985695775211958621569884522165610136964093\
24012105491981829031443891532447766111859355050433581641306913211646946175465\
85422770507766596958866803771686374583073263684868476639116554300945064133507\
85180588723772508661069227821207386850394189170963418913758199509089967329598\
43595656557649837999964706400057148567491997546745031855730613631655127004483\
46296216935854806904053448163128759347190473742041984978252582400795620554133\
00932778084056141134567036225017904336441726860051753381804898746179128931023\
01516402291421830903174836645952982701711748785463081772150917413306567053204\
20516797832069208601057215544462500879559014256351282703922640555868292183127\
46740041155605192051888908666501340924303351374057503549735163689279799721221\
94690527615937674504937871357000543164338956863898765890311930815964979679607\
83059672481949298032882841109014028774189218336093835050575052242787602528373\
83746218307223651343157925896235593784422373498047247135424373993265532580266\
35976527689416820549615349531047490624315344809879252419042950019804918234228\
93906820906817101968208420124216596903823245051706023739279835860085645035621\
71566596968902221328714336696026376641269850145103425984587792463853675730930\
44025810669867980328244038738807065509224685956333274561201122213211483542124\
97482369096276349356071779714220283726018269620740459866038494867970078774024\
63656831528235074935146901991582362384332455182380746635357220142764969877305\
68181207391852495406616513515507085480164500467866095578142932311970864106340\
08021402503226523386948135785371067324456885705621082336921917731839606733366\
37495667472619195836195737821985917004009528189670549966732195397459826630716\
67192960631225359903111137885341920489791492241760542243701675200510597934841\
60450736678578867680480936042640760874478358938737191834120561271476895893272\
90771869777410231622376407849832269183979401891685667985569416099260704930968\
50341830779449125266615446774890540459765213962407892694410652993538465762498\
96573555179590383218219212401118626913474313641827826138086368151030947138118\
84891000615119199683588225121387425316710185958324691868732593385706332475547\
45986954361215032761698822984876078095217603972339897471680445021549709519292\
44206049419143718116723969143463618188703480784502505254665765941722706255899\
03185729781963261686999606215037600917488904960133581763455187645741283404897\
49994195795330248162410039881939128328781480293410298392452781485492201018663\
83980886995117822055613905407553149585347940231372376729268580675125122070321\
03
1
result=O: not congruent.

code version 3.3a
start=Wed 6 Mar 2024 06:50:56
end  =Wed 6 Mar 2024 08:35:42
elapsed(sec)=6285.639908