n81-L5-f12365-r2-t12363-ver3.3a.txt
p=94106285031759420351680656745159859608541478886076581583459385102010164077124168495381684722928806505100788418709453495937944673658428499253131067922721038041254417693350624239152617483477608375695451102922161435726888642977756985882392402453636732599784270312016509911094536312229723791957401378076362355374062674664448486047865629917582369234832155537685796990843827334720775126769407103675584388052047485931436789870298769469891502829591934429057327349198587264703654876854379437676857402426037001064882197877129231924655014774626505837711306969276679567341921658680139057792437627016941157288218833501253997615957325264398217801725124034423379044226946758596790640895347286791728104874407688067645828929693321315858343407759182644018882817322612259106384110730471590675348736493567836860503770063982847875169749993558646086111533444851953801312598676645769762521573608771848528165000469001075649514190204308624079166783470734001318840036589207712754730095659003338115671601836572485518596764661657332007922923145985050000037596440214506369313786442999114852962223400947098068569151090327492758288373622771485959125493525083321297843928366182058675423712483063530948773088186158282651057087155275539026040689245126236609282045347195987082981487170578822553147678760871982484212829193130251594493585916746961151578966253255077850337384752145480737020990287089159802215739578042976688415405629243166233325814629606606277811983378839530812119466912661277200488285846599994301512919512973346696404893651584480541479587863805258887341230831640338395749395786882070572723696837395713637755214576821575242896843242470359875790044791930669629700982057646652002312537013604960925652498076776542349666520353744847329724084253760588136700040930945794418536589044308552943695103193218655427178365433301211604789537200098538847489202459530506978770520447292880155538758564059647739249809276790507256082820584883313873230036597819487905980567344927955985793412032165708364607374557132628680043320526885819797547527290356031999177367938781807061892080844839637877847477694229263321498997789485535132593026027550624002930764481781465970468281220554537529516966957955970924111251938544979005343227115618722421053107811304775639687581298943039880998023516313433144362331817100858850975211319750581199897339010421074406850026711051690383544518240364857776794717434535566795123692361666340736161033738760787185041891622098030547299870616849656189423759983512570879421478356854550729645679968186068073535084414290108913664425607739285492103142237600991841354407629166387257810770214513869007160586892254321150200749328365726901356337957185294207452014590165550537664678857095849667928546553295298219829269093092763203167392915645602418562222206129452854955363673133663494536086189238083965251506758668033765827093361846893999004540815517172480728259098563837960204129917401082444707134248388083286284754914137917001834646313252373135825417244557901997583642853020230558732250555313099973201905877031859961115076519991659965230589470370585740857676142961871931051556555721750043724780860325943420336588180571942597542983858997088349976951328099894473474376746788245510567005774187770761568709460395805533577169008534629686304898231624383849002693302341814891682897386205934119306285147168959547747253236756489246651848181377356697371005336810405716327907657421855614104291875302506047773919287595550054395847300252994070427808979119351928361886034728308568257910938811980258213888067859920686960543457001414808102804980118407780306242707349783518684640821060045582735312876694357231126957345494018945054525683228323664213117056981121748068020983057838452711502945359522151068583251636514297333081594531865101150986331518607765997675874053968639951691278342284489500182782909818101520837355616717050118225785048681159058669887139103647974804556703791790836658786694374101862984292510034035082238191892925861921338784868764432182854241164174317051377274871260360287031084105456324630736854213782292358882197908813900778224743049523186544384313359085977040465985335306353507818006874796430555683474521427994053733242006698579270977075920892285093201974865470425514989762997499355613918059181885675218104698319187235732737723873232788538638327391254145411289515176801316338046216438467076869437542860757921933124629137126449216738086656453063499992582860189546867671080288622283665526590512525258501423837813569067546027103903966230123019829608532454054713727782593998022195441838030064496802857323608734273751560890351180203255185311245559698452127623404721398039267060752260973486686348729300963239218303084212703527189690143451876960914897302583051331024559712610205415341158804360773499448515259128636414337388692945108616677429850372827900154193412862675275341610176250571579222509424145707025165024739859132842870589636792841406712612138027995839226241286318306167736251010955770718499644104162931254906238043520230532500711063210129767324072943228892500629913454098763532801912954685615676787375133169348709732401254588658361087646766249366360652538647897499896581862049410729168154523313304960179299052185074385208547431944050319533248483882465039259564302294648669147568712574486753161460464353964502775013135239631397441237633163002323850793127376887169741346182647032561646691817721212026098894005231064274612650716091081206658084670903398495640539753928512760941999914876035378089177219686474705881315200696332379605618510856365974471749889616037122956967432631860283912011891627450284356272574093078308535967490448047005067144236418488343248140795459452252900606717736832578023051688564934963024828478133275827822290681452603058731302990478980622252709682393271526846742681039612831346197509521470049992594721988912645870764641270101356746741129610371017929544775807947231069931073606391714204335224533188494848681353027128027156107951701293813291431553854811240006515114558084791729569034333737005260227558261137035899041731298940430577764744256293583033273509870738389125891027440574306298279768792284109245959404281539050045395709142726715870741912259734117759079439411114459256069008472839166620214835961030102803515157996847125695562642723129425430184288252523398427392061815041154843271765507031628347020514162564037916942841406329116988666693371180413716257424732110220523425374137986235797820095622169010627727314696798535334684340181081717217611685064632973739926976058151876129628719419877781248000728974889991513801725582188648735292686605089811109186062389915429154906211788127898325104141842298569737524589284791423053921736436050346528118710112959860229139638194587186247905826470747572664924850359068534440322272950973272954289967233276901945530402226530959148851358882872772248534300906910153257386422277457669221155732921578300507771091405228920377895467739055923563536773273047300134197403963577440681110853081819777392534976619828449502677998100903468652883981389167612544517695661338195676525844239642974572322915722630376659425531540033427883957681328515400107796792294445186367532033048315501074167862023756650520850513803201924832379842150570188901474637994335039716055422988840244180393186426729082709539449344112400473316877350597906789366583684556356334116737597931311330732271948420024460098294049374076422942045403353311602011699907016103329949782063659261781362028278754101613946726341317198630877107788808872244097739425074703510292654586380031497086563960233511601230822203083088239902275499422748273490887873863248406749633178397791845978172689242386478014820483051323053272639199519326678992216510350306753926160932018272483267672371369321254278913488681589344534457704130438661839636123752755410332050638749254931651549379409441907122906314486570758895194105906605482212729977105940640702350483810195776246993553768512216864043026201101221673305778192484609415991006719568873066022448755775096330265130454728987136369322572345294160155622533463302809793472509434026308535814144149784006568773139320028262016628950165733920924362504838500145114118134217638539197631503953552570788713508262285804428970456033600677910310551700921215860438465069882570127569683232601327530202539432619654716055155081606798854157578666782441029815435334327803857154918831886099035068234699333623494618711558660519395686863696364972920221260736038115706185271432153963018274058509487134379495194106431832960447009119783622821233094495227473493573709542233166717257174226136947157980306113685674229336682661303053522190786003952730951646423961796366081154001017866974848600325770273715909004711219009274564392252056109998495710938574618344943195340401882543343274124437087012697079668331892953774859980967115724581617541844025254249572753906251
g=7
*** a(t,u0,r):
95235560452140533395900824626101777923843976632709500562460897723234286046049\
65851732626493960395218316199787973396693788920000974232964124416864073779369\
04977494707056708317300224488932793396762037965161572273729556113066934900697\
12981111283080373390981681555760708030027670747976480477460890194613278703638\
55142676042186788044001747659335766565014140413802655473395326273742442829063\
99889196914007086720557626140313487423547035302008635470376422060152773889703\
11880098735376631990928979691255149445077660784251654782707750874951922023907\
76384265290799972215002471858430072648594687854114445117567745950326904558734\
88131675709964153458255228364595927576701196999521285860914542332288421329005\
80324457578876849641171648643528652292835747109411130483606215660720059237249\
76345292133149065090282981530475064204967178699348134983914487184619017724692\
83498607655189996718324920771107105029804746290885573083604867603275681167848\
72382809334666117028278205307786856806911378173059661058611355344819925837597\
21999201799822373687060003804759749708044574555188031510423119777008175846324\
53919809034114226713878341062447437906349994473843211534180555065762433795287\
97032860293320158365244392182042869772201138845494353177516067751448593429891\
36233892797726501662576842378545090600244627402338314344781461362750894774792\
46853979138482941387845414333691712265058652421705342297198423284529794924086\
76390496794084228125724405161885553145727179385605181864900515613212526894145\
27675919423313107454712902685676175237540349430797734291817092199398932560162\
00224564983885363246554195963811994444622014082771517434341458116053613800041\
94299525329433837665257393842338411826340287457768220456760328053697860857862\
51859798978549768077326480571519434044142211714395155902811284025557901944443\
15372792923045058185008261440470116464997213136590728890448730625157666926603\
94717405223666828363512120806988111993343155814431901913639708797036993321760\
85233415306709145762293297655169686498266305181822022420384037320844963511809\
76178403043831674963540471887466347858149777135323816474265600144813569857629\
59361554184142339881231490965933655562843562113900595201191979871170561451442\
57520058696180751875340734584100614709010574510504043294736383227453035635956\
99997985091943420946797989060691571869138555875881742961070785461272997322270\
31584310668147052459249236070116254043749993596665176670006336824994966143625\
91663126239432156320691386746906425185206369684510331472172997453609713680533\
84014281278043008904175054272615902206283987150321569180083799444522037434506\
60520716383904904499457088035435246513934961373004003158320306115624172614012\
67151773794143876524753714411665500338099986394368911193484179846722032220987\
63616054016306333496475849688726030062892148280372112674564705192235089409728\
34524839772050171017018482189056726992595305303378550496998207746604015726579\
47640989543404361985936874028572017197310757200585666206901140161345532225149\
25968215546465672564733254370375619768571728803287475562422806484574382315598\
84813356544015032769747968256677414394224175234390411044249478230649854741380\
62723873880590871349966530505341017667474403709320715606926774970445669380984\
34780240107075339739205551999800950366370452425405570104038764551907256219699\
16670383092154840405328737960568934987062320220275597567117611670359553884977\
73945740085213058492384254931091788147354337780613612034720631904669665504859\
74678560299992729426868687841515022286671450482710770058700777240213124547246\
74239735204069978485431785800038639879828673669917619837980920908856510912766\
12972813663121468951790048083363994717239517999142706354818367446166489520904\
48372348545325141440409807038364168814062506561524689010785736662474823647981\
67496831059189647984542616263631111573682391903374184976304735918739087403884\
11765471964449446926533296737392578477289175050221138423729232669869213470659\
10853401040201544435032250501956409722643948502871896053690484920581444088559\
93802169715484610475457114721800526305696464347679867188784283719667587563439\
96611746478291692511939500876495157715933002974991182295729398772235167621568\
51299823780409107789622222288008319429925143203985638560706211696401534693478\
81285075892068303320721954699017482561530576559711582001101987319949195156224\
98935892293213410277103572868179187079337508701699632212468677196660733894369\
63305002619924938545118214300831332520857510695129095986755616034409238673318\
96356579429150813824884496067563834843503370292515985125998461787140086425270\
76449161149203908503657962103539436569424753498050641483355315488557805481573\
82654812881051685265849140525747980889227212232559695159664251732994844458760\
70214047946996854429161527880325252710013102781441897442238180051309437357260\
44992007755900857730183495604373381702737864570949836557843817317953723545550\
94670050367374424369850367124343555035931634836843317892969561817541258417490\
86023087239967121639833412886429965112900042473298890719595968651324531961818\
54763921063747241554794869519553591014184306490882363476738089424919006964372\
22614206985274443587569803691116722698953408443940036579181723775930646197014\
50640811295277831050001127378923367647465689054619730679073922184453177339537\
12538059419939798992621207680831329286250697421053248476095835173700264490540\
98157782423368387969523864521195338665704120807332938370459080025246841741811\
37981686954239277588226230975654914073303913854547802626247346322712402351890\
98310468836816088593298664236616541088829142956843245104182344260731895603432\
69796877685478449821952482383991003334235691279499672555102033671184850049656\
79935413998349674568959328308827714182581126419870875137756158169630034295436\
07862636472838971974219858199078516890359321208818532235187963572769059250585\
86527795976212138169653425730277020231656954701446993131176425978427702464896\
68414774787247227586756786865529263453563481981247121709339050928732501068974\
88659329593278180923032386274574184932335028896027068032983023207452771574469\
79211873691060296727919891872497954017197698611979738591260177915185569109171\
32917518645940457652439436461190815206850927172188392684047832767141836574513\
23661965741399256246403715733989280929120390939443580697853534649971155367920\
85207665568216487013910266931160078871847603325148063719461555032050663925306\
93691634578680852513828895543169706478627642070627393936769635038755260042473\
16011775870055226325469782422302528540856942480609977084969864318426405291631\
46229767377225886714119673462891749125201161988443508888424962951385944143047\
65086329585433105005391544406152574374884356208920130568797273282950686456134\
63431537855188931385292223248288069638839654353690394856337735685360614022638\
49522297414468400762247688767670532493306586375751894672455155167125177930750\
96475059344787161251809601716637240113864344502091667422430213351924594646299\
21455232386773580777281114036996928418331880161472124539633926639089671013407\
81143102767185891658376238950519080092742540246441543705186902671907907113019\
41179338637918513829018565173504457584909090353801978528603942417444895287087\
05787636804173032710071996884034793036840025637703116829233365026706019264808\
80647063271105579046638498317020539227362417492789966798788050816708389826887\
71032610126138449106487066701059211801064753619473577966565340017349948193551\
34123584030590029656990917944842317292273837261809915083331408705741300501444\
76330822745787110269122981755999524161664414165918750516027277563137404455920\
69520085298781102805415821252772778528349607387630628776538565348129910761513\
29511575099832884793892991191086991355859914012310847451043497327486320249175\
30668844398257531093302604505457684166688711965800039257817117572377884752560\
35246414245990831367971962355210008381190260409608001936435177484747999282736\
83121192839077868961591812556195747641373436346641154251551443633338544753079\
44247289828988002036995428147181408443974862283120201857349820057544432134376\
90077490003864862443510994179547234624238243913879581414647598416991868601160\
82849756772272797545485489656214685548755182825020166800308200099520163817807\
03614332340821181015060038860452342783213322704507637266507211609691005194313\
92543460564969905811090572647816942586080440407469610783830322173220558339737\
50344077785786873222348905351572562697655413609736444562843510606072135259526\
39158648705730946594946893398105744933472116009799920491364357090149559723732\
29221026295087891629170203175496594056739964717864260316850590523876069787049\
90232008872285323869016445707543600016372306618104933792247412784903008137854\
67835296795170004999127677536373858591649590807833184776594698375137650825136\
84486705133863393413930332056849444624351875669220158300738721113276596952346\
153557300567626953126012
0
*** a(t,u0+1l^(t-1),r):
94765029026981736294142421342375978625801269238279117654543600797724235225664\
03767484935651598930815063649393764041967040951028637403749874790298539818008\
53075431986172040786088266858058619516343253192606426165657769768634786012847\
83569149270812189727982760204200625480472198066415331858501103187722896891861\
68111338709962545020068932700544581947598062644959756977973412606382055265679\
29534013134787684118183329568473993908608561807433493990779700607286406429773\
75556580460992360093740595404243019260072336373262269136548127599878048891378\
57528611806161632431331511029090003119698469040605974538923636533576277559926\
90265412490053263371999026643426975365353859069681753816147177992702016085285\
41884119349732201174565069351811613496922527014997043870544920128799505584891\
81007617764902281171852729645443072781029593824351355660871431417896591747792\
17868673822901508592246240332514678621554722840831790607895357387844477209509\
55029139328071916845332166744013206328616361482481303049428492917226942014288\
93333197838360800694535003785961529600791389898294810010865693295896475372775\
50491351479597852075963922381308863608393719797589045469288358647453330861516\
78470444975665414499803461390629614486765362467799222974069842120265547019664\
62635899256235758077287431101971251219808636160231899748216335565504101816418\
98796400190170278633952897464454104991021801372190987839208312497550892775252\
34313468647868396959095332013852521756667262491407527804303181049906140891703\
84752619426162350994956416012327972790714557190526994497885189569955261944746\
18207645196415573902450667327627152574836332195010788593262695971211451676523\
94920575105474184317108888932050178566328724772700195652132065563313978146114\
18599622106126103215284353691225365694121746241497946634516761871281430096891\
55711860151686139913343200860230639604992286194216268767472205276219140904239\
30316627529874008065273424557941728040806875400328977497070342646854004224321\
32243131634245167769396591639086832315962617903255708080362377057402053613035\
99813885242231716095143532797113253254107535153429924100380888681647494907740\
11933878521177209743478370951279833153936232261559189098419292223585726661662\
72058003070211479385838062970542805347800047956598390906916539436803564116016\
50096809276271763728681398205648629320377989888352682966203834940219276979768\
98029052216229329868047411781232280456577315762689558208198005121314160974932\
11269533718486345271676113096971116760378274972630339715887557742870535253258\
47531997279633705500498300051901396760600765869934604905478642332641987842438\
88482570551968615445606015466090210711000500101398252154573664286989665832322\
88559126690417869229670939142833160909552061560404637916836530736807397674441\
25455895646660551216354921577615723590249400512188455991389978387925627505530\
08267305978710002187883015379822256997572601225792688093356912253784825925558\
82682289002182008418812679986928874819853688242084748883744513974777619516526\
98073115667283529913721726433763092002916730143192181710829808428820556316015\
84987203596663179841043679875962605034568917451611802294030854326348225024278\
94429783594619572578474601006796842678998739659373478869738401576322914097481\
46070851568996904266185761723122091915943720941090325192457545359457121554582\
07595924677667909375658141429143199142264581484009413784671378411118646998194\
25260237416807855634220301102380860340302191842962359010833672260871890477661\
82313547650289208036419731873918604192369714067282357163153836641200213852843\
34940131769267261200424711759524614979236634768386406301232003315433306807465\
90181446006683121773174484604691247707766990736301092192986260887637998960030\
44971299392433218804834659770388061260633343979698974144131656935881568590432\
35839238020359659605172346420431353117290680480926684062390186828231483217106\
03406946905336554402192717208057634907737351062818860071833337251539820123472\
05760251825576042733278138592361763429547881563628457832081342208523235372707\
36915795359182809040301694194518903152012193278768405394373294175598083672316\
25086984885019500355259957887974924723265349798237273292292000556957325884307\
79900121093747007454693258739154523385310888543886895287184935946913384818511\
03215485596158874944631431207421546382866887940345418058408795682992924429168\
54178303892555241253995353634640752360566078322738665650154108633436125525326\
30482349444925309402108736957447778506426396511852766461129353109338046782640\
51018849293631293993733880968415792181233096723877072156008350809930896274948\
28047732487399541366782181658363846467797160842427861634129251676855444782554\
19301775268003010931531704060699818928312058021924518800179744560400996413015\
83701132690341731630598476853248546915991298913944654865942536869237750413795\
72437699417185932543769545527276675271400226900144748432558027706699011472697\
43411799130381467727706837642503912965596004229941918101008249753225343109104\
04768032461113529141612892071773690581709824872146228216040652600675695341453\
83149474813432284827745487753152634536841498652488675910153415070052806337077\
89696152602936131119251771064184327823958579350837566042723316049764980949005\
54145550369905905007263967658671769981223269642294534381252410711209831601693\
56250816043359068760444225429443822718630881722332629659514334011774867926852\
53799295356059255617895782186604452605102815862632676817245349392711037187751\
04691263599722285110023532206012350268593914280167625735801460224280028822484\
40710120670626285784043236053629305213884334938281766620466028330589939597486\
88424363467664821117298566957192628811833341026142460734177616508777810276684\
18670910964760990406069213050384889507766002277480208758617046716222771280142\
42211141233348660847865017002442753466987980689012116562089208812034034254288\
50428350343918599937589920662439683175176436150550515892386028616874205911216\
36456203765571104920814312622122498317923346200707363202869984471574731794918\
68656072035999138527167601757407316429704915116896499515033502341803301359180\
90974660876381145064244398335578497722646326583264423677271738300980106811201\
11509823395713479106725802881837105645552256583392995486992260470861491532149\
04078655633981275731352313976410282505557543158122219133140819557827029106221\
63838062477464429271746678655808497454496577617019861823614412961734208075873\
60224778676612271226705234992067089351756952139448404836291524193702121405899\
67612508202713056234928923813496686008540455610646489055893926253612045581692\
57167367340777142214543983376612639692764397354113254397869503648266448371589\
90555270644793613379870835194659725687261409784963015299188591102698953815541\
08375057925074361566194929655164116725604280567357932431158201418140452886163\
00858649699970039098402591491150421166758628933183950528816542740410132585243\
30188127233399872905703823052029348611325489045065522820540736013229315028481\
53068595863123513678579132248276587862905339251583428272145616724864919674408\
76097929334541692588917858323293195309675630462615251493204753943291761326887\
89296041510260813661879145385097815007908551369840506302672104757279653709581\
68703705792294707449646739982433830620650104562418022378496046029538499406781\
09497621258896559387317161862885062254895211872766300954920520921368921497703\
48250828455554761116830510047397852058964631318982107719694957902639721176784\
78322578180636521605325943053810487661383156247670538032524435342570641902129\
32475433305343498064236010502264348647031684846917175661699079551461824394379\
58504669857581591427918707511405324088980291145596880610646576388900019898067\
08318336092422643268231464554767391596196574516202592275890120364405854240039\
06505460779689065030588658831023604699461989080593517324725135766190246982043\
74993220499716173110225065308000472766658687976754207460464647951720588219086\
94568222518726693719686714668072250864489180238209132738450893022501891863983\
20016819029437666058551774846058970655220045769863679120900463239078303517112\
19276711891197545929462026817000064492695564843158832494614754551295268459850\
74535281689405837083304237236964612991696115716200897201492448122743878423450\
28201218050599732492258358826556827255628276643714615343253717481184626710152\
29536822913957208647992299067541167178046446136681717449918117024143381668098\
48415500326370930172831371234222895885908104253957114303145667174223952773066\
28095611903825161285683321790407594019769190535443201516604651768557911701381\
83622108180981726156694065808028725509028798884277974445719905788086168256481\
47394894203943993217489684612150598040006830794892952894064372207902499204367\
25405280506656319203677441975423394863429978205027684851809151446406733577977\
07784695721146677043308146621785959226010216204451284000833885534653688864636\
933431029319763183594757
1
result=O: not congruent.

code version 3.3a
start=Mon 1 Apr 2024 10:46:02
end  =Mon 1 Apr 2024 14:15:50
elapsed(sec)=12588.163821