n63-L5-f12404-r2-t12402-ver3.3a.txt
p=133138705217650556018020748568257157130531969960942270838175256704657567457185436365897919446777580972028776347434697622513666266283002489373336372199152874860734082955171464401159093214087232431134130965893873518444448260974503359380781818936249314032564930066476754165435169890084795960966869874742271852304927500811095726695497717814876641496857718925902206630155542642073250213876003166201693140942922764532150324176168171569515939620667781734866829728948204391079259572705198997682196895156622204508832790278454644162610667873778976448289975003502808041431096193822258688173772475565498320675544737142299301783209310259793614348599550641052024994696416759158846512798124322730391564037008481131229685971115082229720510208974858871267452786167730626957500898164714198017755058361010188193081151833086740048947477681477928167680497934869522216142122637094141653839771861668636463169201565608804543161332110515482085483600671500528881224506145868263912964149335599635137886396853397026083697579579489547350114958038606821194007994175687608647259772240430377773562125246953592367285951823313947151800395933686539282134305353405630150702260241263787515984907032754708101171696459784769620738210927594945675139837823105589604887693678669955985013966749759322611182092022440151572884295769535383677158400722212764485660907216755235307444449116604091646300716903194899636726238096707844269765062240812194155555153461085510357848131641908208355508934778527760177170421416869624734234990600334322531698339452424456044932334820994747580170671794597965096473928802106354448888118968528335540574517338276165436537344288665537559615346565809217161971673583548497444237760059419639114228930649598986938683415241679728712687006469286465078948880245989243713717693291206740388965595200014849573006875700049826917676457297843074923331170433552071669488546049463701939055744221537787512261005139818644398591306545249244080294224393327752667849476673633780976474834101819489570062033110122057478354133751296859187446027546379754008182332466877222725946227792292618514679784586527975635563655694648887407543787289868076594760542699172676858077863884496716553383070419677459736052851150981112780533413632602091526854313326138845691338766218420415430952676133366272554068386897437047275732862997201475971103794022473674956311027720173182324249991766020685632725067998105758622814562948540370730497111995509943334540415557398513724082192881006063812182385114806593498431407371548398786625362396141296815837265947070240022822160983231595804019484232252366461172005762347040986681732041404976078233955729912091768388209008068485028160237501105572432539116588619810452181254125444148116508146686720988335421959598665396984905025199323915417645580003289103637484922872506941522715877469265774431785666276821299988172875102247267122550164500680735801445596268108473895341762105051420220145992008780939109175816136073873068874293634460751481184852453408148799217188847886187818125665194139845741304238524758252874624210388788847468704085115676833929886062631285940070051441153848574949950987506737390088115538525421692648362676969752731555538989959374250715239645559857655739803206803584826114776047531706684970542722023460537013333888984232481044984494800881637930065715551172926974109334379274255163228447429657823346044892740618908218715465481621189007009960349216067151899357997155380939434494901872282526967345924028340655340730407833782919327900292874530548297192292553894490083058771136356842811600209544021437516905454044991521720920587429137439416987793047220208315732965044642619510685192827346451623711251279881182298862040396135496944962522402393848497118317738094357684749969536642327578813347265987675616170098718562634325428435432166119762130205424908212788124825918754082248670175394488645467608976173984271940387409100715969912245357273007162571878932968728443391205988634028117419735350520463429438550821958486272358434929659015368767165338815139476033885146077751874128031174828614499248573820368962677992703538893018312756024330461837930020164376875607250451286148770542344389223080047990749714625395840689140317174058599599244927637770576801303550368243826494914638296180029849130233183210543112414219884778122454315713885745478825309344357690909238997516659566032562308279832763628353749084124785432400665441019980910150771705947101715502428623686291155406148120100853619417306923012976907958338177435856642308986690222568492214158723678154977209484898971942810064108011853629202810960914830689789082652355376577902707932154986922769003902185689461763764247090958088835497843267891368491107336199535656776789369488996454448497000735554880504219155619144736417209974795392380475745267268474862495441026872527748008593458062084124797444633507121153701161802827412643650550109860822007688446928807206878370573384804093113271941182669833139130181983019342958415629798642441629051514032252934934284046628942072757122320777632390524965376769866655378871287452733007055412737584610969560572090951900659219328045284097551729858193993108524221350214001581010572213390509630330513606409241264525734118816423525855059986014132591002582636101024091722532247445095927920390747511274189417078913716119034875715431690457743891817079432766304702970125645800521991264006834621883076446409793280444762029631039381946071758246365701869986796271470623847054266313736780795320858670418853994129119006337496697227067651384424133890677406774872971619060834465575046467624720394374887470315063666557153938691452448650056239132721129121118887675575010066677903722861773665453216835284094249405655897098758849853194947545880077247249984949256480510407855224377042427127276980728998485963771957111281723463006946308833064691733358292547062894573676282402023132047241490726593132182022530717832117467073202380156934819665211220422243214664920519416145453995524815216825425498121184961452673896303691747280427735017567109191601231704722977417439550378949815956397330065466239068764393089960165097330737319785464546932291855933072883335793847390626437071551562154129410917930892363645057443758131194290357493741149558580287602803608268958492288241860161255695238347887608441348632675073261511188673149911015790046177821962519656846809003508991790096762166860633001593399735833425821816854694108925699899874036411732080035358834994578314135467776471986174094892982746704854338588685288096978624099257691354095672957562770967841614038783482956193255856422805122351473386678811469245832248197323862567541627561496654640253377994444860327381456373686592584793076771863697493183853207138017553532937799367393645042252154739340971123455034207023899516016356181517627935849662639144564232328334196248501240503681640117551622853293105511020824088610716434875646294460532276511115196149620937819467602876945802859648465005276563634943033892693881289186169542835611929603600267473423758629753539471761800606284723415870007619787201116674698062965623280433813004545180685335685487690013214934878242821321348069492918830806767217999362345579425125330194871121252374512075110557841256190098376443237307046994085585732509627433074145285573085708317356771679458277660593701064661685494207521249204551787763555875041238084256633155580516889616903414848562268577925476576832320828508065294997844608052140700704744828311477215512247857572882460327113036811113365308228772345735929514413262945309406772957740861008201738636357776387857627442070107883939005218645231143300996020563841949951660201588967495009136927710404799190725418105079038824820783596077719526824784228174889832750721755074589339302974360705489389911226154238096190442621608463804997201578357891224345696845144118973982186022889973348778938869012806189048268963710292831463928347574304349025317892271613582401679039918816848024515325212669956516553654514194799936430255494602541346691388380782739038128523812482385559615058726044583215411193242260547219630030981899545933464380292954958359382654934236289740955187500206021803859978307635484143146745393061375685944418846383092522929169418905188616514074763834730368561242635157691318545102254790992747919919948493726856356825558157000670555859164755643798798214342464345800681679815313458542185622718551496861781175791086579495001158337159516609694165965429024936293962116006559912272740690503451337984034909604494323787839808466208573417605237839893832134467679908521245951672619617757299265004302530283405648966053450272899539761178424422345641864347137319586114672683131876153528348078721239921341965467380109231759789885479520819811401442215914639295480905674810658401518311998164752807457545495480302959163333587978705256657611854353949094946290708077647079897107285084700833976967260241508483886718751
g=6
*** a(t,u0,r):
10158483208106737424174983115758021089059589308019895264952772086565372396983\
24879471801125378912942816579563530926742859779273611739308993918556519879536\
43518740105294795827338084388122348558344955341926977025494573114023123546063\
20753652784835822660684704164072176342822703462613469931821772171442835342330\
86596831188660394686647586927508774621024395404633836588086790359018899131873\
90415811891866539450069338030697346416314907540661930569517463703391083187479\
95039347505397406683523151623100450274204023941898246089349607193958769335903\
00452509276726425356119263958863833790765883988564752186754406344395743672605\
88703728222527747981457139122695070953365987238199889264968858243288763360237\
47110312825039596080774127674928944781731877706647584597846836857318529967693\
30875471095294507735913209188486451826573469254709676591919402199243054454509\
16439572102830081879745930453169621398100794559517866432096400323312831223987\
31235490353637429818929748536559164594306252161020732079914193090186125321915\
05246281377129834570045710280995560496453978592062194483782412279015634255909\
76239181241188541676823702097402829472268474984648495804985824564084269874696\
48406599184228119400439881577922062325493775494355013169625902956486852931027\
68251764165656566300663631523319362131218356501107176721554977456718597510483\
39302559272206384244539580114675968921926127446997137708422822119667788085177\
83074248973970414068858209080824440303812444277596297525331723601668101518103\
15410715236722212978280550880916858330021998599622833714684189924036702225792\
78247368609607676007148444501634772987120017458356729104714228077993692251805\
15798650942971243269458438694424750354995341092533718464415667408564402703421\
54458294016330077801859360655728552379956276897929535665999811907429167807491\
37611330224204246159138017938187136918254266166501683040800230683819760635740\
80457949953284103333187185514692168162567612516689402517323326449321210907528\
55691507019825748850502984196882705419573312630231298559842040522395035600213\
19017887752308243119672227320939896971805519267926700675639520845409935069295\
01710109195590970216934244180229407946875244271341014387099473023128273021390\
17786083254281985890515469946016753958349898410678439392624914786246547769738\
16891889758465958754179202744467071384174466864726165952194839147413991665314\
15049213811340274371747378313776922688255469382920751152973630286736929645257\
40867642543370702950659714747131682076266886951598425974308393031638244914282\
74195151508255809470483833917614593137413308830205707598466866469208555609874\
24039667079227283816154759199674769250822192292601928020347315625407648626121\
33435517660273459571169153750142968977138850128957159219681140999269551737816\
97899482534227084147463663577542509586075400996151722796381832214509049785891\
45246336921465189097590370301466481450577551401940141650298995256676558214576\
44861542336279713919026998565403011477118243651515510860430935533801440424219\
50417533802715090937161305229882543128702300615133994390546943338272526645890\
61862121694326142428850306578767117227344924960038646268681260346764062863723\
21558948967514907007225279213341768762493390025532957278495621713913294698467\
91135222325574124266692200632524096903900389741173757294969383037323169533072\
68974064014096554494328124542213138625668954330538882891921303225316109222697\
08799001624769672123485997464518592368992101518295556567885196101285515680760\
84940033623920024977301177176367447187923463266808350757719218621495933373842\
37704027106525095988208835682539886143632853107306240820843186627516168609502\
90189449042523290623186866528021272653425888916847265493420940317368222513841\
69006404593026506403301276434165994913464226756458095942634583963948596495137\
78532226328999030189623474274937850534673920496635733924217600936475573534382\
59948364917856488207499994905155931438462850430432075993044650423436258551398\
02307490169327763453591258072447113596661614277154325025809485851329828726369\
34715351595142021385436645732467995968778639423286292666182494151852330843280\
01753729726328465641423823406053854195560883320943313315119238087689772100766\
16942032259177026445814062003806711494223879787618950099394608930970039615619\
86901998536277488636791878964439477204977208570743264288969482380034371102974\
49181637493551052112488828450412175123986484339105511872112849217077314982454\
34445038811637638608928353039872640151574891015636951311615405182258901380772\
21202938355861808175684463981975955940310616643224761083697791559236407891441\
30443190817447631780158163090700637471523289397661522342550220727499773676810\
59325752120530401021781484854413401114158714897520245706120690288920104294744\
20321156122837382471921573740743388633121076888438630299363892584632008402150\
35037386717305568085013701872204502553659334402739864555573158471053697338238\
07191866285006679898848196747492605523045426491122377082685156328853043758677\
27112553636418296296630520660898935485872757788280151368433075333351397054858\
24754082580540787923264352843832799187770581697747165053963002029843472985517\
66431969881802016741803980890213283206311066598816958847942181881690251084833\
13513265693115022741076932878316693497055134508138198429210480060819300325814\
03511022065252312111653988236101708743798192585894564316072006904883662058677\
45798279334437214816496787328610672272979353428608483048424852751541977030526\
79992555513208599530240519738116374682981516552958559752051780183550997998425\
26180063156141585868613692280773453434166972337604547976616609080391398503935\
77583108455221578218319992910458266221519413711296463732680875240540543533306\
74080444532176391229651544948635300243798774497750649893965173851628269462944\
11935361996833718981123362962258447903580032759079550022743000336396283597925\
52377213408988559715003472743649752045257424390559854883190937705905627376853\
41605974126740455616118217157278933435631451898139858543401043779965506646412\
55883901828797168031749663618184037043131917397907036317695063769391387095747\
31162839950740409467231927639605969263352574996309449309338686076934609985210\
70555904797148559384192360074053038127087346117882958745410124354276772449711\
31967594409391531092153296159285393030380954668594382452407490067310808985330\
36957613382105047805233678157402498174115269677360735843829533314662980215763\
99844090390204626013160511030902360388978215157706697879110086325368536191344\
81254508344033458357358038603431668748179946901877336185031749984666203942484\
63151511591797495575454218450600308354174194035933151034570005374558107139034\
26182942194749051332740976142842979205121312287014219711757693200118729927999\
70463073933456315409173213511672383940661171609671961910999592353307204797664\
97950115053292593667302509266518991737606446504309091409691888237062639504908\
88877960997663981011812267338612697798089466216077555625378099510964758191177\
87990260180534615348601254314236490473611835719022875470040822223278345019506\
16954253862595243966308815813897634452022794622042770562970999322467972862911\
12802710748008299531209927266818857702309706790556338733351346967710137062693\
86866655155617527133093556328784730450612261900652768564873019139048457314355\
72852892264395446143216791426665855032993912336866032080338713143073014063593\
13265646465828781109770793438677769730552945301092495713862812306079215165382\
00833554359437833546377203040016571154358451153281093172295872470868794977301\
78553299796514219497319627271077367766756276949257926579540983383935369738299\
49231544546098182631136233865996369021140781311673381238219869197147584303886\
17825234940141753066233382578838072999989673103660974409423888006991219116658\
88169437218288404502265555683667393307720287257883212864804287071004175766692\
84496277714840793546504966511833035705677112224382921931095343040697732919919\
42183063175518032411633724811074580572550427051931372671768221304383943306323\
51496284942381739047525529334537229886092063668924060181986289807972016993358\
74044384479752857771363918935354723332216352463322820896571482228907234880806\
26571946363451634487258744012209667349058296483755915797902995949949562666246\
58914400239044805899271212228130625318476049913020405527466662898920700713591\
40025790087379151163412054270855621848303754330029584592012169908416886768763\
01342547921055390371285990601546858838112527111731966486316223460263922930945\
13005213064101146854133370881818636028229169050121773859717141517632796471838\
99391859883977020171066112620876834881933919828283060623851016109878255822234\
88377791378342497247424968657748442054952572296215051421295840643060599839196\
51611023343832719682620874385516099300410742869782451931029880532360358472054\
59970639209010721305147115784162352762775211082975784487206315944401981026324\
4721961492858519626736324426019564270973205566407013
1
*** a(t,u0+1l^(t-1),r):
10438074489063803591812826687751361119033706444937874033712940125645153288643\
33821108639688462736234820705606563888029360507143527658739516686957158041358\
53890815521036854428090508729079844390226009158677260796838460447436604010633\
75453294604601946220153090517211777526570117319382648003339802598179794113220\
70631606358990497292702107668632869335364516379073299980419454313854281676787\
86482302127422499251447393205854154115846510500496662603540880135594507495392\
24260613950500087601418284236580279180833492490757830844102348676361304271753\
54593404027462015044819794159566508115282376208433506834096270739195626525980\
36099243678193649302047702584787595841990739180535666033729469020626986205014\
64920688407380135422446810088000383628935507368298435550081153468070416113593\
12459199657550319875433756230371400041983748225022786956834615103809377054174\
55424147481807056610381139548210987124654027437302761838484374644137955019142\
92645641464288001281836071890776389307911011394810293513306326844961890239031\
98051224901271022677478161022674337390851794516614364974161744727061936116164\
15952186229478134567011510412010246797193295397070014038150572029150809412532\
16711367969115131861002447125938265875736723443740930963285331478225023195184\
40772454922509499318113089271667601455930788331412878833157408028921861662148\
07356758151257936104481036448107417607850699762052104801315193370667818949907\
49580879679676021795524031349104012055293520725603535071900486636576397890161\
03908257857916402326306621088648514981307007735392269504996598821028538066869\
64804635635560180851381887928285271326215063810421593208513702245277922313781\
44673843170759442625498579208950202199628240388658499706555548162928560575992\
77975494769073107466130719205886218959221128555670715546715403060844649490266\
36811642065237390548839064303458342521508970739891637619904824188879020102779\
54232021970346968562540961262802961781720849558433147540735895067192436895809\
15939897121288842855562699358264798229286339583356930630296408610167376029576\
85596361727142414948654031742617141842589157412915508951115837932898281906064\
60472772751432923525657205029226547615137865673304528544542577785232720902712\
84330654353023691924199381962879600397570537816476928550220095927152416056978\
66898088559157682389615327590645064174564589805957161345374513619361165747845\
73261577494221199354456021753605645331051491476028661735165565065270973580447\
97955742796857970004347596804392187087540287509899300083693027702233792939446\
48714284118574776703616416502503068177892574210853571110351275638085855305558\
85251768008013355847792046150124533542129225107994641635586232569226207762620\
08667687871106674054779313945101032343482121233423870023892548549708163253536\
71236165539756269949687434134722578657251788179532045442153809247935904367154\
51996236102789919072753408016185742407932896853369686833334747419704353394794\
14903603134525944577348842562615938398506819164859974462094172291612489243234\
71988658586276056742771249410521512205639061182523003410470253705380944810456\
41546400273069063780103067310292817701492032986461728276076157420528211382908\
25822039306070363163387442861415395425681281494125607478821189284021000057141\
34010503673984421264858041016905494066393061018453768963638265139267843923891\
20413717152099211957474770171815335101604797110278485173350329919590864522404\
34729249375910121814958089137853966470890966697698186565166440030678695011423\
99204438219073787132639741685808753073829613631949864998757362253280225118076\
57090376476429456428251280701325387597127335302920174054444375250291842974902\
06433195346445949998136963771911766396180729896210034268469223078396705702296\
04850617563476777221740761106665976424843976116727584821789664256534337683077\
35739535310531113589337881823789351008105312803882588986352030320048295741750\
92790980466054373204036692012637287349613204112003601020376154563530834474830\
99618705495089078044057072514808043328679823844415453237529012984852668049113\
45762563106934921056595452495746931637644106563376741088187516926673954627957\
44921263572007230750820809371358088714704760843538083406361051980011508947576\
24747776266310339100286008664461942085808023268012132212221983488703159972013\
07642420514340171810281563706580013274838966604800418351968642445539904252597\
64296728433740530610997695288496913888866846293392819538317790021217057596650\
33558205017462527744953904040970052265838420126159069237623168627642173895839\
33713110971160757024556513449369789590043936367350213223616079400316309026068\
12932452950037933572272607946407994466152370757230188095097474508990593135805\
38022791169719311141647030309122026832897028151580435954913002865679373220287\
62164857667502631530781800540947335109262023958762629298428953848429219642576\
50680617544387372711206739538411965926695829845017108534166915126220312861308\
84454027742392184850192642529533686409000805201887213149181078062674687164879\
39785376213567423717638700128630098847869255709058504158389948966379417157285\
53875754578170350893629426775314435862663350001354885193062901168279531875027\
32480556208824090597082989538567777239512288615298159550179122667424845151388\
17554915207604427036702903507995134602478670320288791046528199695520748958634\
60488389645029898683534373233425608984453188712111845902752887828871285785063\
07609241150981358343556331933985277931868693431230734875445720258465150710266\
06964827683296909609054478996963614353155319760838153139722930096859741062602\
10386853885209702910869115004097493436942210108364306177807891899117767270099\
14580808687934098719741644091480053365230957207937650807892275476518723630553\
71532199886272989153403422332542693828490483887596998056184398820021708072015\
97584959116012628677851528915348129955972143752448711949974459061251227183189\
52901356897309345762205403186135525037328729649015630705664082780380094185390\
66604303689861752559681103868029729768722225803593249145512999113359052700900\
97788963347020943298678553442537726136062153656565028142952726074970966557098\
15506771325531429911284182528769436307298058711804204794916815051529140535262\
37635425112666409642472883745815965781961309772503590637485632364027509306125\
39269454805980288828634579539816183664244650668647438850180173280172574370247\
71919749530236379396203412418615410967898258751049563435861538818736273249225\
39289340584430441408018139774872150124454679795074772132663574939828220673675\
40371604903960984734166058014535292658680312412938180300216110075987292124387\
87825406406250637655512591435479215923555135156188191888732482586701908252952\
63600821337723795864834764477049666706179697028858647777218914113883465614091\
43962057619698232347040366177131256893156433213607887468183067372205568232463\
09820301706135509089338358145414009858824972554886405852160472316981794720640\
32608547080168494250669485705730478471431378130281525046260065552550944196439\
65641368258897953385718720029307219569215831197528092226096991642267657267749\
45861251675327223158042085973913165675472963281365048651860109395563421657303\
17742234897036050894454237191593688648244836335250549891150007893426929825887\
27789590618616174668866773475448530371271314980487248433630992142875479075301\
29903889299195320807708996695289685905461634694761427458696659376368601606627\
80603233065805720039397512524145965227724127281856509357363623653952955032319\
12783101727128783093525199453961981369616023203371398488964566208599128784016\
51357519056968739299998149122574909998868835030430163090904496688080379914582\
96458100818009141786121634798088012205208876210159804575051608716335132495736\
25655287277943819664386594943393249321090306308348891136288765658559784780420\
13531898793103681690401304922667413307015341035623117806037432586719887026326\
59298927560203384194573910544268807330604005221384286754886957986771982449825\
46096358492275409450486029163672963524088512200149667332459089780651391287231\
50161320307768392415806048490533667405892762668986190278738206041218953240882\
37550193226902018994428980924401183607414967668735375600146844125115690886700\
01615210942262229931862195682270483881601185377804243755643445379764688244216\
67875347034614846428608952014225963629993739360167756138314369217239619081855\
38375123759508852571579358516842473825780004449204710773443697520575149707352\
82113443735396364418202118783240809081363330610220002261168963555500544662989\
49142971221828701354705848979483369129923549849666409837507521559402506466476\
76439342266104828065682611133378032172262376337318374219002878938590501395323\
91727638847471189832216481556585555139033835753909043662248937174520983321009\
26426005637699675270215944322732138730697277077207657030049051556186790356606\
56116620104671566845655751998405353297530492121956769381349609043789191513287\
5310639332111506405453837942332029342651367187500784
0
result=O: not congruent.

code version 3.3a
start=Mon 1 Apr 2024 14:10:56
end  =Mon 1 Apr 2024 18:47:32
elapsed(sec)=16596.101139