n57-L5-f9644-r2-t9642-ver3.3a.txt
p=83873867251006311337759089991894998316077857980902009345130875530980484256479043308518006980999555529041059738196047846332784324771375997443573864831171757504093073771930551769660572979990765855250636616222006016624738255266168802713968513075430991414496196029482548871516566259793314312321518658988835332023260650894742390897644028898011466070336687100413626372947806261418489752818453685903945831562749754228618587125392389766218697132393562131487580379356813494791114532278341731699017285603924267304864532231512266174851749970184593954463713003380562292329066472071721269273849036924272708749447752419925900133687491520965257378191720366495201033167915605147421845628882816082019837375278730471055940235811800529923229271502332310435577268736003612162533115796217568303695157681112045470786046608691387291717266435479737919540160885697203221547593317440173072550331136400468543857871415969263603586944100563230874323746239493831670044240381506816759272345693248898557480824222374655773593819975709431290544764127159727621582795558840894652725676199311534931828015573967431093839095432948916122802305333481527424439860799200776285744008682342832773124192288182650470561948981358088603578944916100210937568506261227486251757883741075648950976013670568660430931533256782637395260834522288316305410844304044191904201480752797151931416656069621241436217564176106265142642268822863811802343393685991630293879866043063727820670833150904060580513169094091647950620820120179012102456033718501864084151248336985926656247547414781978688504274897899834447271604087955965203648720285034729103403258266062205031809953876636404964495584146075759288735306560203470964368513449753707379900210141304472242337111221810736837550124703091345981541157647648116105470269161654838873456044984768323068135523950517606012991350195548036494490102759590767314814975512513479675745877610705536791246222597240347004678163927263665378708802844638275763843353953383510925672525330020166560798799035249988359667392286463354496093679763182264860116761866063171592084181710346822405507763530372786111748773728682839909922722425330339971808115452492500359688285250454619185698650285538440124603850845545811801475200974750666471284686779171490039217477529284344445297226103741823664233471243123369836277470747070582745211204020130056605008233681436448008610530118850924289516771585893862405306305317455558148053387963028354420352205515182965770187459536715904143060151991217231800378686485809314842640730027299564831511930080028765677195220562305020543481423967978499777645853378621960527165882152122007260879752020658685439618097094167495759940761299367113521862873217975804434036212204198106753607677752559995508285085008190813561827782834355255273696839005427771438702268397106718865312424793457113948457256743797796187363086633124363233776618326534355464057432908588414297525046935431655738691937416078990089147490490144270133707776004457913234158624240868281092134179718844081313085033249729158366785409652312913300071178691509580830533081764061284933970583420222131800705643318830391314741648646591959091995714686775861750353325040459962157278742473326475066191591475862367982498786914769945631501648736126134165813775398840643255048710384245543503716260523396344245065756367475894568655633995231446998635812835886073447330408681586830947245340555556733395326340663922518867362493775947487374789985410191808633352705311206603406975576857589938219975466586115622188726800375193848416206917448184614600976171257392344668226619676858300609674984751065946944409850151087662969815268615406227406954578948268377465907879552766243332820836690031265843962226507716146066247411229220556159317295463398302616421564981076371885675520995447927748319914552602131466568312146547157956840904208412053475684486039706500811198849057289758282657228322232090447455310682590889528757454928481447620135694405216032684419421501194679939463842290040436370324611506033957718312657855318791474566211187822452001705823868495490304551702077384040860029380958089421185584721126610374175748564856629007674835562622453378781082981381945530982230522811235186593483771564821219407059629480933945552400218669045386152464466987916557336250113140233315361295474785414507648727344264576021237064142860009316115055530944108048441475241861500905720046091689157677569701804309560127971591224132867984282663934753718989289399022786590057007427613251405106241194909374865908738701295363629976272924175408278621898856135221917430770069347116849289628244974310670064214978465459130904780820816494456431431234016321305682626219813868958703539462381739359021194662808601259106577699660176131004326721362018847513691190490624596385499913126228898932698036103314615067081846279110293432793605747177515698444588967321812491389083550051293153708345923966400562973127470364855826775898660001056952791070990745788363234095197205585728244914337733604876469256861314351686844635456668401335118799335389281636963643742886142114830994254516546739462806350700966066780736485157042308575995121501192542229329670096828158266810035223845819934832413819657173690918212468268520044132513827851189758240405267429330882303645961604477047613808869702149186897293243273634092827124670221827253619118262079086869422551026851313964137495476035341915803641612933091055744509915797357864738122717167259298359589718623262966332789313135160260312424593583585923789881196962517095880613369800679800739621511561957041081301866518327518340720876231690980566185204736876562646814086098857291767189414552746154629798385671242885100583713648701324140718635298362517456422432246021179562661093120960040396542404046836835455114895007955896800696064902295877841202728805037255928755367810805231656880622352165698571193031374411055973757122583900409918387925626623826795086319748965337749630821557636456579332222453639016338458480452780394473909363885299307571614766154069387872141655048614692080970986310699816633139030152865806988920937163274755463592406410649247927491532412014513633906791397893659307163383282054637031561178541900669442393518530715001305166312985912771479856319526497160499742783429956467096442453586944031035024442246629166816153859976444909896609663057779601045180688320354222916505865857128081730370051808009272800438214230919780221233554617492948254726063059043195692960048379781003451711609536667368895652703268224758701540112871335786241483239691690653864171713163122442183958262833938381653852613186113504907333319679126691234284270129355059566677874191893737006597775860228988825289038578073675562822509907821269949321028456295222488407365812610038032727504879052612056248106762205528776016467725365226389620072554030406667432286372934885334467269728536970595517146339146624260717580168211782165599288418889045715332031251
g=7
*** a(t,u0,r):
59466571880963474738471194804253553806099201308459524625697790751465163337843\
64170573926694952868487009011135438099792304994408626290558218749387016530077\
60704019893042987612046893462428134529913727013609014022657869394229837136811\
24203675770480572912877802984903127149905245478193459847435956729223084250404\
49180148437235514642961648869012944386871115419326109841999463934570923474828\
36633058975945779895757480905782719032043442490562668670355512246944889639807\
67806900203385344287774603255493182305519148953352142196717969890728860877113\
71477251939681866526130812869885037991515896717930935050335845646572746319478\
44314883643674811379297398450975325160521640495220885508779166021520646990726\
19903978661627190566575715569553495153608098824283533826561023235979099518255\
92731986679590844023878730704556219358982754190275513418495397406795931708407\
72436620650827084381847757079321975952308339222078949431433672993306898955360\
83801126654061366430488333082324093096513469077253904373663630943478018362777\
98678499623776615624688370220205121819430878250442531187826666606304194290864\
55319186619607815310668344814384029439278613066333503865925021557810684361450\
52332321499183628421827782884819937471945515049554736070939210287752496339572\
42263510624199369243318024553045707905888991323993167630241626053628861156733\
20600788498537331807193744091533614601782782530008593419861333685954104425678\
61466123368065878360825024532183024855620703990978951583836887710978396990161\
46520691958064132790641782163566323507092302199927951111708042289014953090261\
09826231155672983607793293869426820896229343129101106381033675532572985352111\
19827369159567713335713332351184260913737276035875378532349248990184870819817\
01185626381241782303841449176430091268077218251431877842083561328076128033589\
42007410553080864809169826632108672886435578745934828565498540262038176383720\
57090103827225990225584993571821443406026316818224429938753504541216848537516\
56493795294890924630182045898429809160634851599224174700418113110251833773041\
89520962257858227841630387886587876848326358970855050043430343053532298805736\
36133496135210199559211040011953855817182755018994242572325002660343052446754\
04834413024949198056724591749109822252814084292643258643780519156826260021171\
57333075529529779415311113744692139207267596730431663547436502722101329508376\
80138441638104865854265305321267391054398748445362170470075990726969852065787\
10328402971371026472273106290881153157603742964776177301734646848871843880422\
34322775893553914655419584267403948651314113786742595653283295932967563423509\
10045442970013760610445854503147963744182647007976689230839764754493797999761\
25128348700077711154484534373167445277645768830784352656503681537412527080728\
68153358980295578759890510588548482899500399082935486636755065091785610937894\
56195031352637496840428422885173532747622393512858024016719932189185736945258\
27722104391873258362800000397320557075751228752479881318716066048301846458677\
56112943231334206604536509772885740579732820508554434898555297504656922802928\
08847954970719451018185143644937491446700301113050747442151828890433698996224\
96171292408598100050745368611316951062841358847082192983835638641889959163992\
25718914527346689539134291235619667577780160678295356624300903441348287110880\
08069751621264540409249176844502619095922032791300643226074157259755245063141\
59694645388972397728637553072106587696000808714676854872609965582599232104706\
80656454818155456839920312661979626058095559761318073014660124385270907044707\
62891752092105421491172369772673350892535132259564188505756383586583757121153\
04559902544832301523153079647432227962332868660291126652296997321323216748336\
92185939707475609694145615173743169559624835493965550428895715831476669439443\
85772580773558819417794911209796933311901934991400201083764145914260300602151\
90907513998398161843862240397488046255212724581527395694067588903554429334636\
26762073332981671732533698443470280770798641836386693865601495577780760222836\
74419421023155467443732166118469209429122763302625927156772865284969760831099\
28539962057956727876675529060573248334996644145841389931944555578783379979938\
14664014406731657472947799940394582445596052773019821673966517550363531787820\
97307094432839151401330216425420591158491622858885922947687083584399057078477\
28774660512557437143937260634500594647980414215551267900761279339691857925547\
81307318581779102034008564087297403867634061839071556923504182661777952462203\
25007190746779929295739218412813653177503240364469542926288999872339458415979\
16710584614634642568678626507552841973201052381148960195889456960988474491757\
18057289819898480330917208094788286532055460270159312982927065635890590648768\
82067645445671362887207054057852838837319438406496289343282907597250062082561\
02901188919804385066647474885863019721357783116505639486023698636684597921726\
00921779991479473764886827811841121499407493795288693324387639495329734948187\
60281325644265453125857416703114671875345972846538777896546599228728791000680\
60722341370627475941517492645223163827912970264698494134754216797634299678038\
05411443455124405947360986511642111683149737066863337961813981369361468610126\
40002380711289952303946493538592447334607395595553284986777574226758190488618\
82377351018090948100657181443139118727552281595484781407259042058867803758160\
05734842925090574183047819035695615585228575303003267260993290064715868425369\
49110503893443129947623012828624561509036850762419967025768646424620979354879\
18868197872439165169742754212664302336149421050357110124826890522142531015844\
54829165911870440898198629372949178970236325270554409112055363138529769292388\
15769512426539024876603504462429016309926715022760668641148564469207316337676\
46056064073083169351001572777738941273472277141445348755577786090924472836124\
76854802869758592444574386853937999119853906321370392692762931977162007020164\
24464488252484364247714746545719630062583967062641021299682001738994677209068\
27486920323519600134843342946781668540842929428616999289557237838185715514494\
44487618016236870161451503167805914964801182901664399151011066044487788387469\
76737655376875586207574634657004638276935925362915907012154979218130544286486\
79431763345183913517137769959314331800383232955286007927265308672329944111669\
62511079657371410331080191311440478026588927038099468323667318785744155106938\
89722124176854590223802500312600778708861625746308674301264731447263531161497\
16454701776661717135391939194002577707244521161694140867358969774463265381150\
84264083492623125925815027489544749792993236525008240851075475217127372327746\
12802052659537677823084902353077129928351854235974041159524645280394068609175\
51331274428082236114051696520380095924830194787990769440371990219567561728394\
55102406314408075583272094910384108337021372942375327121522216567544549566008\
48764339262153555409895488992333412170410156959
1
*** a(t,u0+1l^(t-1),r):
59885941217218506295159990254213028797679590598364034672423445129120065759126\
03692228185698443368264773531665307197816228160800788676246217471173948945663\
48579224546731584139635376491077134068206489545439825122958700631142600445251\
37773518335857727869950283965050539894262828309492426418997564322518028427064\
60810473884606710091783663318018677422039458969532923028473367065280168351237\
59317354173237358033245192336712075301662930801497525290033618821323908607648\
35280855776046735996433098341921201926855673276013299758048844149478711800083\
48709108441372147672295346105920898626152821236393071404710569522782709269545\
28689459691937680288883416775735376818917420752591977790223306825621638859490\
13556333941328369625578365185699852665269651002169877506579084048644678499343\
76883834258431400046614123727860565052628612823493253287455167487238780310018\
49816286522835738009364313899345403145201910020542129610780878021468442671548\
14998595812411587632395867166120454824979713570041308494775504222345987462656\
53394144896158679204552181011602901239878204613280630843594132520311981274580\
10011141391255261116808460081058105810500606106293542680212221991927826000106\
73293762412435981231572689675262955366670095550609423913470516425183755128991\
12801335099687376078602354768511474534280310021623584891385784206334283308755\
30195998572574971664790314924337095663854593408217398733118465799395247616268\
73183091798024029830224354747501663958974869745499254486402733181436636743265\
56580781464115360807501033095608399131260795163256074885415433278359205227710\
04817953519253188005591554051862835147965798299264019684143927123070679183931\
44649847080298092132157008883985278268559118603124147069248750040891393181028\
69741237286610201078903800722103082038656042075489930577218142155495564761611\
91245826706487641006695706932758240396212980570659333703478078627778925159346\
24488482556614043753268949802934429607761340209044066257080398085231071728895\
38415472271582680093018308563439892441034251116849168880251809253483511021088\
73509121371101233679723691045167481057411876311975325431606861692837886244422\
79547695684823811685862739870994433079645256817435668824598098588836303874446\
24896714950371970962625329349597197586049726636032844388800127895590902193394\
22194380716620962626984675900860631021141134083960800807996703728604159758788\
48545623878147918504859559942714974912328217757388701996663268517710119005602\
24505613147473784063755991384610921515555814494852172910350547038215086785079\
76454812394918892896995180771405386935173874814857846680457367131366488412391\
39312336079816396439856615113184268142942750301403887321325235591972597703567\
74811905461009147763472436590185551379744822207588191532783679291555069584824\
08831450369437296522654195430498754288072334196355341972698330713025283793591\
98481315071626477777243856050795348916505485145529801337007096732127808432883\
51189820219742604331508039892365130820996300887546735206718295004918925770797\
99526997838043192546740575427137403066190738847824917514200962508215857378407\
13000620379539757442854996562038602105703829329644899398725537133666658791684\
94028635796528975227407888841298029702212595510319726079631376573073950413385\
71457411808921771975940597943910356347722192841047792143513180616534100137049\
89790976950046377788722020122672595253157025970364822656441393911798652997296\
33317315666750764426300723404067847129682055602650598560004958287695136421383\
15922015148325805618763192158890624831424865542427509354678884077691717390580\
03814825096986277778134093113806449276826635307939112261086118308633007876591\
36044810179140004636856556936906362151065822600067509773963407739668232381258\
90297265093282913006516176634770977525489608663880681249973964885295263723219\
90749820412300418990557921867129774872634670781184405604806206181638723032350\
44157919597822690488741381726102207371257948309182736989512353282281893575360\
07768858053242473366754669518530014767771833950888715684117726153082458108752\
37708697617112840274788105230729217958242105780077449915283252205174060978004\
07584672650749088439980716148447530763311147983259171243171244969324870670910\
91213125932872219232277474128972823506566405754493868371244137561296984057128\
59629429372421938082580782126587167964968996785958461191323804907279163263798\
00204665170614964909409314658721332268911164668411290946605858178476708827702\
59313717161340308677407778220494141553583526309022696253007033033158615032458\
56213165293654258839432724889631803058867861241510936035783280548449045569829\
51384143039279456691165781842584949462433781946601350606297704189204190108765\
34122573951209471024365143271761405619023411329892453412990020964775573657575\
37089279052481457124775510010305961819246937972127433837946397777766635157896\
43824328474951101463450348474620868943652266777411885180565473662331174775898\
97120100019628130138405070603179916432407546642928246873924928913491439708047\
88209966868837141793881799049398978447104407069716061238553274822725467947088\
79204163242070546998932989772481437197644373440048977168144585040212820832326\
05167518514751517413844491353050025023651498259154334703434672352220153156037\
02343723311510614873085749487383649360944542249964803216585596611996259532967\
33451944466737569737474227856701453838465908405043912446802476770143317183817\
03941717698892341278838001116342270138015800798793135154230196200574231390287\
47059097009757961611569578504425863071159818680349585975174631237206458757946\
03768537772808975925523732733204953269408584809527470562942736012425623618212\
98657298252574745841063217732419906607544056760473692674199618167715451727454\
36473105603030837463885616623659122207740020488365468843131276489441500514952\
03503568051031569699034023925677861874836679660073313133261691493540301276435\
94463087798318244013294939652625855249048926817289788974094123316916323007612\
51153236406592152429997643206831898257665659355043285201654371285814103705606\
13294303400554294070914170471089014581328422583966907606126752914618619008954\
91345781754010049781772035630202289541421783627346094490580960727453146556633\
87010840534681478917077981868972230930510931888747471941718836617412141918972\
59681634736898891750685991186107803815900745176409322510673385602318166566617\
92994232546351462590114607329151623851882219894503554842169909186207795128849\
60876723077960757996889965053874409024156841724773474543163636464522089209180\
50139149603013351247771289964059013375137641903313986712685901860319846942371\
93461996634320045008507658148850425038359902508964575412789688723595125306080\
02173012128222710811964203498021256373544744604351855272074184386743815214317\
79478885672285919020356715536743848364356500816114822821474754607575795591077\
16421887318035777103605466524702755081288096305861753970051992424861506897221\
52352240103212466237891931086778640747070313214
0
result=O: not congruent.

code version 3.3a
start=Mon 4 Mar 2024 17:09:02
end  =Mon 4 Mar 2024 19:14:52
elapsed(sec)=7550.041714