n76-L5-f8271-r2-t8269-ver3.3a.txt
p=230541678692230104041208250540658910587939853141887895211982601319970234037351288239565760979598575506065299753507689162699316312982312985212341600648537408095393527226827556306552939145833728882771362875103069000889550781485668439333056540250114991417370914821762506247518445908076348793745601985587755225151698594991836958575779472358518937891783393873376628656512780247590245936153006015628223891258151876645573027139702506974846788447958731073491477374872967108407456581625218375342177781490163870048462623949177770754233619953992885854509822782770008577590112229730006666649183466895261838313148971799797655975462802656427560900924742000239527967144632485825569356204555029874913676440675546262133936455591997717116073503813899899048230052999209547239207557815413446233453701338529099219508965743700839039436269083172242815394576345015019846643694015535851389643218718151775431654279528791024067335414100800174243417601353577274617417016732180905908949763941718399515250725898616836956869121930119118562845409455884284037344445869210625210936503120523950318878510521669507804642701207491126797202727783450350720685267731707359137336783772449815556323154134544105903003619173176799022578779570094997431581318552107894493103791554153700855643595168588449534467883026311657197559616954334511869907533742099091298583583963440510819311271665318476677680636492112152901219971649941255418621250283600475993769309589885880003770302673805789552945100536960191400422965357570152490162501412609409609493122114523664057647843259861620796615730041042964891541105502481281472952355939682944281076236973859437415949393767065670845982715394038260497398091944193322455962903506242582381449179840405555269300570762763894663220493318543593836788484475813460575487278859016148154063895681968205338724140533272382105765222326735703724190989472466021480806148340325698289219054121144814762913287366991426731991119663542095509217712818124245214508665353834204252115064568445399125030668825798039641370231195289794834938710360057961533565901065991624136372853733622093002222543416117054812143488074516573480793482289849789493450019372501661409076702497211968268072709045077945417485456613817087251648552517069865517992706692420600673503148511028023003223027663210428615433872080595610994511085016667960237211917624392423453542444087657961605001494761920639004071094354961597474780813427110451395022114214618442682738698572460247035079260817695195824888063488191817565309119595324752191621464729022956619037027437204613036399155769679083739331192818555585404732652709984005630045226852185236932295759404785038423324697027103896131736773360227808627251542660313371311171652181040425348143253916024903945709911661679257351414754962766735380140688040493229613958256205079318094852155631748118551166800351829674636940749354685801820474433323336902238577926593394062163836856203097667361489695615473258399079530117038055577902138665645161514859520975299829998141610497622566366855400753412539419301956575327904790436054320252446805789907307286489332400568702910139978869824630589731583806923806777683806814885257379040010044428800633526678770914017239751489510968033226571179366719324495921621983880344902281691762992874974441482052550194440501081783530649189058363877734128283732335712852680767392623251011140646594652254286626569484107275114114945591047447319816288495547086972948322694138754111103547875527039609510136025813903160474482038556411325428392061214605899796832306981189423615211714757649755233338184484914688566540949369694090774007509690999120835984214654598689422555336871310795893641124183356010523512522525553850260976645095853691937223707520539680880749845015468686017905527913802131045563859205973454389383348077007434355156315906678903512123326325252639353859067252911413532686293720433045355195258952581813488503893458172400747142961771759373009260079665764118493630395488788997131189034865904509712051655116555050279328948978386775348574062755655643398122032004152497195661001935156535435504810993929639693894984264800962170195770323362955691555866339839298748447976538954936542940990469434849539910223856061791385102698671002170917430230460699096121673472528609526295746207388714035386904036329788576283976663101881694332686012821014402175893371915999624345247906579040610181151236885127315157193837704260267044674133178172566954822711668983669039695491670525481763480785843680663341013153975293147275618418576176163755520147269640436201985910881584341459321915386043224319385407789513893718520304091328834193058327334051709960003318015109291689608714533795692660135223632559940108064332190345352158276712498151316932096492060297856072117809135403298498163353116523387690702638090261132298865661983682175621881407972286797387035330302479972517122925035520727709444946036309094971461842654284362181870415423448475333036046137727433383683166016113344157550018404337538026113098725214331484104892662659535632594717305880167103963077135453844318466490984233389602776383049629871724278335590760488778855155925231141999339153707992188209261710527837390417671080256964351045682161281130624780758761277675013898888137882421971179474607111442968275499705202968094530784799025804551762902360327304525829491440696015354816401822473759085594970170695710870428105187210002094910726324987975287693362120799215766554301760319644256513607019740938069499962185902372194594671073154335869581502117669693387952957097008288741041773781246468673370127578312229892451100257585478615780450153016114658035717592975154787337049068815062678578460439001409070860767980726995188929360128928214944734925230423677509031378254926837572308296038269454697154219128832342593143937484582870626612300097026690342230864283527745426869667161986276406127850283401574132931545718476484818637572971056215465068817138671875001
g=6
*** a(t,u0,r):
22224217825930982029572475352119518980677401842877993098435122767245130561200\
66418629413935843330267878469489623814123528421409257149497177446973030251900\
61403959360246661764279517033336583714642991593811599358516857526953352184375\
51706650480111085172634556188817905602260778185538560023717076031410659603704\
62374455721308280670514113536122561276791916939350700248783201586769970824514\
97799065607831172858409086332398162673216723752304063832216754845784189377540\
29250478814468671051382985938135651797072671796948700737100708120963564914196\
37474691625902882687968681894597264266498128620870324121338756088150049403603\
46141760796168708491451288230904960327425716335848859381191048799416784088811\
22659669711474319068579929989485767659950268249377109123800353859608573405856\
21690493680903420516476066429769276088340165633961780420740403715965944791321\
64521030976560739616062844298311516114725465754547200911339193171367970654567\
70484849273119000412982239329622757243981653713270169976626663082642183354063\
48302945829747154724498120000458179190427033427890081850881073988841428894055\
23675563964021446232503429583246138094740598093365894208392659556641622196295\
52058570051809049548888294243425776594350557157752404439108423201029135205505\
82041676248404257425192653512270392373644375384474707439784694425908625273835\
24011834574940756652429816065885367011517284133578396115396776052670543370223\
55088527339085885799361444464998832363457177754878112903907691762962451000773\
86046976270005166513617554708635513697184008121515725209025066024479375637595\
65418155445625704391955339926071125854358286957492442800497668975215591451306\
69552733763985288311949176063420236284754823898001784941571700936615095527960\
57502153043944553445555590760244586640990346841759947697368200915668205175954\
37417349946530071474074576349957674322973218390120113851457244707497127000073\
97315080716817278360143144840902177973536963943935565458007088587515667177238\
67863534010961728990389222439813647565295647480693102142809028722593622208809\
16787095874918357528627615925667463430999211697654142531853136840838906322503\
83397683548491692741519707168581867509160159834994120731233741042209151945513\
93824559801757196721105892046264553503593449692514934590492570351646310141751\
06998667334853185278252685694168998708685956067913668672288589914296209214916\
10050227498722144095049149599992453495818297996568870414373447514480131810289\
21787461601054238516781418164074282581687751920932026169121329579912898930611\
12723091998778130180751694449465246967088786161970636724715269877087584330162\
27721242458142736359868550656840273311206621277704008500793412815587099424951\
92596075166704871245420899439694727025229700356100967750480074036643548418588\
04086763823784107132906455623271035473347855758981696462643437478029005186283\
32479553916380635001088237791711295493735372369677375798912123603187592593872\
93797861513364760665733162210967126670328246855770976616736819357003245782201\
89036118208512519708153977648606326289688000207086138616100217980356364723358\
72078147064422417571643414822960537493963051094388850124678987454973368718976\
95493881133945696828293638107197183351611126191204358885731840304146169095174\
28814068443592460652485799550859525131475361588698658387440643042839323545818\
25226277813569966551797162718998425976648881397473958331724477313230801298267\
94132100068075497697392163029021097073918419221830771497589631038201520080661\
83567771128884602646697400685168380517712969947010880087404146343929866604365\
06409302637436404493800984345775977814547519238510350614323934212315248588878\
29270331366033433447439436072414700437127551941446660717146339116515814858724\
02959027483654049800252369042850594911813321260928908905254327923560274558410\
03136554754623516671837068853403846298568688657754354433712014083180660264550\
95871464974557224082296302888682029177532936781943202458151479760355809267167\
97796610227859701251192593234466229610731947362417795532359068469273106815164\
85143602539649645204023578963885200300729661720586549090015982663779814817266\
49147648312681275320687225917218892866598551516050839935038493835525588273951\
14812535194956473455797243566895239001518846092764402742164113928661293227517\
57958334909934392272033011297549102191618753775350323021395333670931635945788\
36975612105270236378688189819421951482146297923572627318115348595469068974310\
65864383758354544449094048900256954266453970386564419995477553308159460736680\
43218259397369615550743382186032142196793338049871441808984730516678632643214\
56682438875331090913935446535731440409961621082275500258484014431985665653571\
88782800810579047724370355581787782264174016231492919480578750848217869522541\
01834612713325352156800652877975222947240432854573383734311901173153610649815\
22696172994936772852844726811020584115906935065064997342419815119049279790019\
67552489216318730125143323080468204330221046748476769245781870572039533263767\
87821774178138665717302717110661555067711652680379234982130748286848108822040\
63585775059230016973088009875770764332598431963422043155094931111828163703119\
22820887362944174504469433728288948835244362634921367713634408037603475009922\
28865144587167871339852816491865478021701352125543102141758171581566124312767\
65462608755878994378753555215628996297488309588020430113568647037585135512445\
50665279092693400470442019493940177288408177336401084450443998958346896948137\
06327911716703026429899796354720988679558926291452077977827656804143358442598\
66506415159903463642699251215958011288029854929896163228606483124013856123539\
47507534530346431759628049214992915302337720422149635863197358344309780333420\
82336212790316428679920672446792212842511870624863774947141970519738089175432\
80566672401943782597907557351378872840542572935337294899105531693207465915023\
59144154770455507247673199117464146010072611331365166620344098191708326339721\
679687500964
0
*** a(t,u0+1l^(t-1),r):
22085892818715643967147750401795123634324637930992860361307933206453148420778\
25341335039990184554353348105571638603662178659450278370558398334232534212988\
36955386999083300798941677715701708712269694965634348740102852189648663270364\
88106816555961016177784133639924848098512267117993714214440828670219306950569\
53272540021798063155967345194611425003284913306948102529392434771914556068345\
79762971838487825309497826458959999835001681903223333144464368404835325128302\
48985434340519695920357780631466757698750642719374331230438255580791592518464\
86204102258936682173313275160813463866499177612856608411039967149842061544244\
93364944857603343085902836229467792524557921420895443243963718620167302030167\
17331912431112445713381299719841665371610328820439077324274625516084038716608\
14916486458823108770522895891824654037997799457816790086171480041385243890130\
84658866883345631278203531989400863524799788581801056507326708566566925194062\
09672702908348550202942930786077387385616622673561019541087492980468061880905\
41155832059022587371441077759791427037789520771699894619444054856130797593884\
76847707756776499471720213216545435990416486486975650053568638854006923302957\
58166089325345507746716790337346363047082815100753945490317291936292439343230\
88792454197065641715077346540202319392065675952621130422524623713714173249309\
29464043073436976009364900198255375100657218049759443442479368732840643722691\
03915777168925600203099858711067304361194996150594639172140631440786336160520\
08125522060855756763532798144058944109857136701672266338429474327231578693793\
19160366096379071377067651088356990216260621271035020957341044479519228848912\
67045144134748865355650737208253720291281246155898039392142831428710852194798\
99467907278110873652325991647628956433681278292952313168131469374699315932120\
63325540714497726630874942057323082989012804167774967914622448578612290110032\
01896107185384805673254287092929757778680924749263767332749783056887976302691\
54993014089731676735262318565706923617793807351145219764326814850876234518712\
84524935527149156133221219975922645193876809965096129196592640138510033461575\
38687739460015603367609833472511855885659162989548099232906560081365526518467\
17099510674360367695870793133113529311662370130113389354452160162735648460370\
87660501355590613585649453210595332741619445967905907249017084167941668493661\
43597632721759143198191997216590010839205321038084001926317181243643118541760\
44680900636732324169166596059318633519976002427648216877612275661365723211125\
99573363210403992441037472284842019288870391227352562222279282720176250817733\
88129616467739358332732439345698113933750978406680954505975196553249420382887\
90982406649069778685802097161024427894367274835212372515518579799900953718887\
28542655335254330532494174779142792513970172009444465986734868365095214697572\
01779473705282830218923788178899814401450712375675234455765367647151155295570\
82425675653323071283996233815463181898521224572436302488416880647312354210943\
37237138219662856722418579447473921769212763691274399164132789237740038801844\
03994673120038045678043974481738791409975729199610496285728703300689302108692\
86600765691203296225627910069185582625356285156819269515073758310551898333171\
12867092913860557370416385860708947174225514939806343086274000036348622361923\
11791259486929489581557761291286817516213307446867273943767685960658825356577\
47695593221178762234545323840043787341093200844931409849264384371988647549039\
45910710312729719227734553792937042049760399594643592452005365350087979467823\
37282273782846551353798073654827164674622949616693896149919428397715776087287\
76391055444668080127227157424661081969676550580815249965794805885500156260018\
27836875860311804677014283758351524819001205153495741422441541650177119322569\
30502924745777312211223975063859838956461414661959202850099698642828913416431\
34693841748574502770580765733773219867299329291599157629573773454793428711563\
19802025516897918878259859251679095401536520304145485601659738167597133121294\
53078393395211991810637540090665997809231344323985387996094721360893218459482\
67513949256793217590475479697817115525105199535660482010131615243188292081374\
68869718585859233994454107196146928385326820079738898160781349734084563186682\
40792619132486667838804590065406680393745608004964325160266317071320028253179\
72845058502955276401227474945027209045535428849359519679205916965206813358287\
97819584689319142720157778886354940028281020363411529414592838246075480690601\
50833083509004244499597676487778830108431553788150250262455779911803039493982\
94088979712206623543101823424513194930231569498775860215381416831786584747014\
38645148523376273568409544239992422623525630238350847367629090573228961620948\
43939376534611708886115171635996124049228562940540769312729047016474231330418\
03675242457623888374507518967798464297758136714037621840288571456482583027841\
12982660445262804418970231857975663639369048532199942881181568473043436583702\
93291763135536142901634857875532956177248717082783513602573917903320008559662\
78957647828570908983628955872394597749615454171118586454959485482501432393763\
71434035366909252256516304472718685668220020128894886171848301763510507323138\
53996689330401266331513483609136024838993667361276236360792871758444343456049\
18374667207605888604611935577357446528001867827099141129459298612039999814235\
26491013870124769347182006924475819338480325610240911725648704359021086386219\
19774003552491181867058096377409447256242169488808185376305907902872756626565\
89328989339406139180192824341169890885822200231162369681540467668885139176712\
46589437842398217454070198286268893007924830046078165100563349889884615725536\
46139099432700351322991705605837074588305365206036821991039427134760466213759\
98737419254213842042318921102303900602945834929515693478571679836195801189411\
41141182852797070480571498708019348420798300472456254794906271854415535926818\
847656250958
0
*** a(t,u0+2l^(t-1),r):
21693971964938852790277696375876003486325140180651650939447562784209199022914\
75622334313810818022595512074470680507355021000566505163565190848134462102737\
01017765309120444730484466315736229538878687852465471987929837067285378014001\
41240620437535820692374603084727851837891485759949984421491461146843807766686\
77483778873185780198084834893663205561681736348474075657785262129824214259199\
78660706158681673920915923484218538460059063330827929529165940155480209755462\
04901141664330933049119698929238224420171560332913617628227973383637670730558\
90937432385865780715122956081759362733168816423484413898526731824636095942729\
10497299698334807770182222225395817083099169161860764188486283112293769530675\
68903266803420471206985180622516708887980500438447987225618395209431190430405\
29056799329595558823655579367648224895361095292072650804892862963406591336756\
91716068619236157654268813780820681186677036592353647362624668852963963055962\
87371621541498941274498223246032172786915701394385093307059844357641384373624\
20905676375302979871112791411235629271983234912494364130372500646784008910068\
44168781836249150316167766844226780028164836935536624948233913529875276438500\
08804060600365472640564195936788024663157545939258311802075753352871801066785\
24586325051606230536417310119342779277592694229035995540287756695829892513152\
44911967152509597520680971906637064686553697478939077535880047993322594721348\
92259651686804791013692032408261308354785481605124796932133960527954010779801\
04014735134932429138292654544425330279097667678782466205075297851696154019686\
21429962940180277834885866048166939241650568492738992401730608408379534808796\
26606973518579000312805160451948591643106109219937427002094367822982162750841\
18370877608248780904842127495218004179638917404664015335294063341954129741258\
36732081223739416241809311561525074209458297204463721093590526213438585588246\
48209015512992799727069190140341233893255480364360339311187417386776185491474\
68526540979579862012402757589071205766538593650759553025293875547676969396773\
26448814541803085512903098118312326855363338389515091413354566148578227022278\
12009564542666683474865191333646822952406338594117704987646214025641921141834\
66378538146736018791038012879185627434524311369975677852337664627488773696460\
32869031081013327123273627840469945834931000684550583216414484553270469783439\
88648614187030640657096732130283089978801886322376874543491093476271580947595\
59545644571153566850924600095844294511792712196677423885003289558815392005918\
12315798310010602178513842818409540867251605579268017798710652442260805865853\
42620009494929787255846790630795329030959990272115634853990250476625996430373\
19743679182437016433548824038125247023590402526028019349794346129130268736401\
81167681284419963497992712387446104129066734719088979638327255878449474979556\
64795913107172383336124514275933951306644175726002500650182892438381249617048\
16871149049871618035741603361535338378401328102988059124843720969854828092377\
57140028251255478262834951210932108961199593563141137383558407800327115357552\
44424830277615658646178893514943844172011650497738493742036231530217780046221\
28070271936766494518075013961486047234300902226061516298209192662034797840828\
84350662246286831404553047071948976295350949434611449732968511517958302340886\
90392040894781471499212790579437260211645847920148334844556777128371560188454\
49458823821638011756479279471274743098088415443716551845676185484385508709442\
72549038000290882874006487598281583057228116929602944151708819200869299247621\
91422358694841967457123160030472194111503335688213941834106661923017270666114\
59899773667466245719959034589359162978565380059026252836965461730955790230351\
98324112927508776827839708785604159556033542849101766887805313875591512821020\
58040973054046399572820209326818484820490805007206273363198138228498964013425\
78023909274956792387386743794864926821637441402291030615270272255700017137349\
65484035502506202154950446300448881808816143639040607464678302312848540988661\
95560300819305307196043763283211590749986111700282098229984481002714528779095\
19551801931777054021542198742845413057540702257887801222895459231565952869074\
72031738193417055520648554145693381639449413042833301846863517849450494737649\
42156424429718115277990729907669818633105028322203997887067436705753806457455\
24475156629729556465088782800908772141804633139089048035629194012797089112890\
38359320660385504488171680513632566353457661964478339435419478903504203893377\
89075085158635693188018177009394445858073165046606874213957086531322192237826\
66740845416687299325739891276061499404329756678860213426590723631222522178434\
79921800376301746793187245438238903641688536591114976380938386460760389233102\
79902874028256386285839641450388677171528264850781695118244293572549323258792\
66449272601904049019218763412002458146336541386126724584250047745876942201668\
58368145593937681584813140060913465015288386919415601514814045859221162656852\
25456731848162328257242590042668592654270399556262303027162898483323724482925\
55844620675036769680161636196162125764497017092925459137909056199409027017256\
42504621378143639220649104915269606694984383028486521803454333986913765543917\
91869399436229218807885373774735907487988560529186783314724522259599297695346\
84958832820832088911210679935588055514456949504488822341149478072995448669306\
24663929072846981164611971310993471813684745719453755672062036327597956460785\
24537930420557622272339946441693413223511358547983823005327619349272718147806\
37326282847997053203091281529270216412900511918083287964853423879353774494035\
93988163893211610254989620654884163173754973980542331273100325935679982669864\
10247278252788132145026299556464182868053599852693788615415554210657201155687\
00221202002312343801484451729924812596421743913021156120392432907996084466843\
56799429086098166307116680881259088584521086372214337956165763898752629756927\
490234375941
1
result=O: not congruent.

code version 3.3a
start=Tue 5 Mar 2024 00:49:05
end  =Tue 5 Mar 2024 02:30:06
elapsed(sec)=6061.507131