n41-L5-f13026-r2-t13024-ver3.3a.txt
p=49784062518928983301522535370616377441455375006363872065780253315715172952583683745440936150794277227798391918725669258077699339868701797291902093442579202713377101158933422584621928294150232986693434712422995087600895591139988872154793295028970061404526764973959657030171628751771862648042103809333151631889703729135593826028012271751375877590274943528231426732275950527703868107668136228280149378698986518498200264846302677320514271791783299988262600525684575616681531982248097315276388109427233334363316247344015048898516780274874819462264527348857044547743998049926448750381034065381679257544273582862406090431784335219013559834309784592829612909547990871838677690509797336656355462728809210353490210073668778706592634869586282959983923884799127729512807790256536282524988291578544638466831999808026388375184831074199202747644917019440786422326503018349742388671072210869678412435412853662661801454001967917567695918084129645425333827575183454050375264789821695982170278295071104959724060810244238700229495713702557186814748445295400018160730160695026454019570981009685640636154085642879912250774997048254171885807617262163606511832966384351025452647313912766977439213218545346948079521932302475914320068135385442736524512340872395082552323135692199090508074780703569827934863794471586611085074564493343163086346026976962027763956475670241747544048654360041744767709362108033108767990705415751602644474401363377151447119478293165456700616456391112745901829940273082430339148080051249418886095849259933921298492847700941994116607334302234301388462627599532280401240214122402433651657013544976670581127991506822009251410195416051968204495866527447290030532694864469815577387781779960375994156928657952364347398346255129814629004353845715879588493154098166140803026588007727615742554247561230352081498096925435502830650272918851539505935449437261763107393318063278592820781079891262671591567107167565872289992364568561146755200236846165090682940047351260860148381323830425779622025100019944899050621331044199517055336601847484562177009356226772149130603738362538936900129062075012720641205307562090328580400710155835867410193881214913970830346777007370072150522294134438602660960458328414858846008177562659139737562300006422169362343144754094894919843168621718104008852955546517096252425006012835774107727608750355767495699043941490155951481281863875024857818634174382738189991395558287286638201601425099700703039868626916236228941052248856361266089053496002821613449652284961550137712580891608958684047111370226615433114694131466263089376248373028721614281211658696289228783422127323471802158254720830629289083253543747160916982165181271548990357259028732303130031066128913828165149713003553283864497464208694200791370859334453771771909040397316796044725339727589207913830609152713074567178365593567033221842635114336057432016914643956777375550437179861778473488474912703229350460388145674342169440344897276121213650437893619475946584392586876741578855899506711476464847757318730741425618020903460635936750117411300392383244845649751855225643722279713104744306343252588553518445857302447800113894287691307765131722263680449902644967721584763150358902103559262297930680552044380097869090625056220845619092212735233702700843353125955807996630936660460044294649033332910767048565605617471887995544195060380229692389733906958790308099303497975034648191706810114924074091557673587510555000626931941727050402600076085549181408792404763444022033145737956194862284212171117302980742672635601035665781033851654312501145836923163092175890333630461757384006135439391796434925205043918798237499914416258084571161071022899855903473696058535287369817271400943216340765577262810238962963999523759085557189207821171628537162199098828672518815662270414666435321886415672157861665210658837562381104218144641663631193983643486365221095336632923943503724684366941304519421643840990752836918538232323580109395982608441979306740059543630902680720814544364814010169832904451695526382237066478676509911031961409706994131354351240102750377861000074438914922965669567943846624710461913958198868175061663947398724815209614187929401673394103189049905979798808743388935011679013315304745769705880956257520552553961409507659124885054488708120781199293559448708600281055217131869415371490825809621611304909259626230861244604893891583714205226047786662378511686521909751656506931034127329251984538832819806736078237314953755702932812790787997569050693458381113177438527709431166301194337203633256060223332586313450861979720266713697009432603345737927148162923655959211460046133979159004474811953966498491933865043260089390230385709550718083969670248184964507608597964776594205570083182318852167459070376625837688503316291732090301724729241537043027141480131477741349331621768793996736326648419810103016005492195871075867510376502858134221959594321286503588082530527025997231612644108019021842371240158015776579066518532988698546613974404967910720502398329993700574731496262897517913123546768115889044490127926566083173472990790367903504707298940144374656381040767956211111063165753656387582740749577812186785820174410613834817111942773453437157125153158186509011178406560223243752190348802601660365718594133703938656461500849088075016329544001984588188881669016618534963422342317356014234209367518974485811187978407308043748328571852064069164619637357183702757543347613237972584392218994606244171199900297030255466531578006350096831627550435583187191231227056597751849470238715253257533474061388877941980688541621477037045638044490858171457455801918525460921115024963307106209552647294067049363999637432397817510471993794502777041684102208881972121888702010078121801063169478442170415745596212633186005053638793113006215392899447804135188235578944338583520419095535765562425887907043302828500030857478032560743535724285478443871892806866608880047178987735896767159729550816916446221160673700941778398612153047656720714634515853560150979213163063563221055119940377890999216938277127953615235684488251692993337743463707487092332871345236040025151051795996694637859222148066250777038197974539504600095828336311733759547055379269301678211750141447755975378816473445409766075446135433125240353462119578905951075805524152767694955214426984696785991146249158117571084510095254680386574814224870543024188579258374742325749231773673214902361539813726333552219363972748690069508779965853717403160770612061987755592511580409336532711189033805472625531034864521220352382645371406513374576963223778862510570305417101998856685461760911257810843341368160733236891477963763439857721037075908311410171232607838391865937075022106810852405894801312838729902103588897726085587043076142542580042859573638782638300788475622361559297694572408979923935701661231667128235361672657688014845449461435982966295706465244404527745063701694280621642382027161472513107080722631484425105793179282533495732457447490730666681133275634435689154291624087035435734646841940210247857626573283779644303565873032849009527091175676401468203202372030810427809347898678285388705838200346183385993557592532246544837244764233072677383877388351123205394305943666620139747487597432906894742710420862640441562273975573511911716024076036171596031851457109941870381159490829239046982777074587400938893017851917704088134503744895686599519824591047649024207729618130539626757313825928265438386748992646619188226326672064722960585527803312625035666147139213536137620635013503368312698198953346003499474927494105172005802089972581368725799909317595093172293139779097880127178488174930033079518324248664555294695832865305864639225163474897788976269694433554333020701822101514442041428397221814101621206167334095142931476820485287669185125304622692674569893355452763456192281770916380052850217500819925027675433646317283593747335829912374031182026161331132825988740417929691912410384578822278910450444548065983183952397089810141432190127923130284900273467852606840097738208713737282631440625273326933552087000745468026613476773471063167364043640993422603266408952707468678035688259562632996810772286042747787699014549512071096816031614767070836723069797079505773527046959912011527654305608271785071696547304274393796918481793741524587197818650677908647096604544946108146766846686248446347797066044421096799855348057029447053966543413815165689178726799889131719849691052701392673574009794907375815429131272557501020848583425534373081476671352940554307685640549077478547911181304411158199567579570252999410476176339794837953657320981196931259702762001620487776498279878114680595910867574405660781026438973180359319357588134249967098800845107414186874265864387055907919979271557558428014619688063445128582613620294653860130525627399882014265871739926180164686226959972474462018983368910249653084602978167363905828341619088754570680354959748630845866140493576634007437435377074877852705589068660028139322170223230497637219579407794482746069000763682697262673003605548782601447968783457574354823782318627110294744134846646565610222214528707669531216225596544787524268504855585076238708608640926976142116368630464737490168778851481225077256889473409374042818867356352541264641331508755683898925781251
g=6
*** a(t,u0,r):
25140951572059136567268880362161270607934964378213755393219027924436162341054\
76029144767275615111000003818791895646297532923816663369440763241055718850249\
73702554360852613784052340737885458676582801845297736125192384522735256943804\
38170613989629881009286016311849626800236672519644790637261262423713241574104\
30038321347488214414619723444481818308884648175687049979935501649045339437240\
87952814754362429881918415911337473828520468597072548505664940726132654707106\
86424173651035289144214575995260752833853474704908727599693750974038811783828\
44358631117280749661071901521285661894242220301774802505985815934551507566805\
10892856018477163264412193789545193217353902785322337074476550114595086780486\
51228512556087202733246829280609141072894791881561823559503403967934079550822\
67511908724716504242575015990305332612946833969247059738756068309481759714327\
48840242666199062788914664891875982798834910996442097342709937983716864386324\
85470939793582925467644295439508718859956470995990539010908004660650709173340\
54361589533541979137934144796487417700917116873115098835927988334540989124852\
12578132496543556866413735093683568023328467173926212884756480240972678535868\
93525947323606802675365400208780158575812750336731634408369648581944878732140\
55951668892318352456054070657776425530276310710621620815123859796265506913829\
73586047436233658240207980202134720825097445704518210811076932278645567199278\
35306234954559335459572688505461480795336538048555633811310477511936680424119\
83790662732126978042588095653747840387626663025573888808897570702888670382262\
83222011736269377638016026263081318132289940867918402132186434696357109451146\
71962148685106243943270412596360881465419010906557256866580829798879989877049\
24897226594399543616485884055638764719869208651919218904281957390110552842694\
39024459499898950184213278011565389473449289294783878240200274504974019658171\
90369233625621955689374494445345087649153741389119620765506446144107123379111\
37611960731337079488472391238673437493256853436501870912267551007217402056377\
21773207561129449839329797038993897248945199353109548878730821631345651763478\
81423923808680318855615933102358628697113042147910013531555269325122388721886\
43601375853789149434378503145584950371723412966914286556746896150324319552798\
32881008179219345208001539676425244707425509911336074746280364820659244024424\
18929662585328017190452528755498047341256887553198410258063282785945654756935\
07975229180871967534885503513365659269929561523138567246243937497201548142491\
47920744039055828195448533502625241354437912419644407937229205363904628601350\
05428379504415212011887641626060535628174298353260089918634019467790987043039\
59231626307599341654213224013041580950981308066568839510148322340060506679440\
83515712194253905713996422839638991547448140654006449820025862965624325499964\
84457622120102656425074624751351777030530732739709003168541895198172574652970\
77583019812911167983091513082198249601356554279556737417312444121289347113627\
78353530251182563727544973222292508892956147481174459590244199371005562476211\
48058809292706698153538647053124686888950079751255117895874703342557219526815\
15793773613905751661528411042139151974315862720083570869940030539093124556229\
74274604549936787824119494238907656533915270376415674312930198639258933286076\
83038298623013532322368797761833119937359525630836823303437749818505492015994\
65681562301418910559014826647739249733681193910803665741623662516169283027531\
66006305721604533130384232023366114401644055392311267385976678784054535271464\
14238005275049680978523011219422095085427813078647646197361548824618483383187\
47892309839689285719963722854717899310993745678021033270843634086656442723125\
42165095603201217577220574763242520866165177191706762968197594983382063805499\
49691672411266910544908479622001909446559406549837552639914439720140931382712\
96900245763016304404013375296173996061443665314499962659146938096560530535878\
23079301397003301826438618073234079552449712172631995499037300695336058537640\
11344904231075135765616748106240823029718571731637505071140511902032036333947\
37625188894081980503759165203609766313181164254547878326654889042842840614029\
34363560316808551649043478450640221104702025197983984154114121808979017242288\
96613701469882910047879039750511801367858066952516797600994505643247521597843\
14193288465159405476260286703385891370897917611124658492852547141524977567363\
91541322645011484016935644245865360001722343012722521921105740024017195098440\
51646629981070459347938772370600196482462154606456493262738982103140287834794\
31041278295608829268529975873469041698976346468959765320982227644625940178732\
32976594752972597800367530817384266018468463451420663447833231126324046834753\
33407076342341972212180073812892007071020344566830540196048032694174727324705\
60237098826697620672870644746639625938141246899324096835184495745200410202308\
27735589148933130927401339433577820895951322496843119816779161481286019643852\
74549606030397476279797967172428591859159292766040057074508794913853711156646\
81879023940561276324654612739111789852396746751460291587200260386034913579126\
98771859647729092014724255878178866110868987055964757292840785367951543268391\
88077359986582641531100593985764348202344884187050645095312912738094856126145\
31383848468789003752048902151305792878947788324641972100221703538524285339236\
01565282828702647871882757305970821153346499290956905620929059287852923549281\
32916865377769892559390544685176155118070592276153306455949650000279010598446\
89320679889997191296996950953157176966358186468398247055120289505440440100138\
33607002477135188459037080472124678833765860151799688553577651630876064700886\
35824086883503859928819816903360897842788356866223902406050471615485395921553\
79451508945150953690058661329605995152608737975893255208759052206813877341422\
11410882700589673668909846778116432455616090250733930568679283925155830264064\
43175485540764166614155305867467637484423825388806627867415663423162542805341\
68614021897559809129913728906664396089043050604787624450264734709942663283556\
98908349546045538299496165756940206665671049616355604491722809816281000293442\
00212701281156978330792118907184773456642404289977142449823048393309837425548\
57126296653099734749693382143111676756630231908993193186810029839372824637849\
83703873475052932817896971476859523832856272718769255288558248493733976775981\
03613595220281183559624227215232525479244874503362045704973525692577605931798\
44387077880623808848510193388275612728859618915909130381657421834810671494901\
91504620717636758931726065832162779532359125602892541613664280083255678380042\
35636509422626158189260185194475887390921170284630196371700537128149123723333\
69726213647246695838789229822288616393948046497687466298355860056231239335167\
32214567534519840029216440846875852323418981801892925874453357590665348615875\
29338921991899758857644692132447496951978025171397979331764948424286511257169\
35561171392940292371654361911907576492889963467842555553767941534489101098281\
89866739723041953900230229172701639528950459966551798061751681014195083087203\
73300765881588749811181043716582741442617197875559266043720688832534121296448\
29117482260992674658422878450514280860593770170207885808111731721872412450155\
16431705724812367036179818450687625356334229889483576646235154165921583982666\
55996084985840520644542485542868765718726302422666637474140974015218440564507\
92439117232173275751141847906275722490345715592251151244348209377404638530824\
12865426900542949693926850950956915406728756430114043053028357494984206818192\
00997912590471439731767234838384523111862930055436153591206528954205385522052\
00803558844442946422513652833966670515675374557560042382139559697946164280870\
75548233834330161956889449381754544201612647932309213405970161213187091145037\
18047180395794345070272938488278834459800657796144503645545377102294312771926\
68935983791406213897609399139022821484240459410574888574692321147222207712431\
39110544944157672442123052508497774744967733215078959605303541214232560146011\
80793874638101265566454249357795400437327728877515763030101443803935376461353\
43980577060288689951884203870167841464953652111727168240802257107912966338944\
00044515876327880023475035959038920959654573707725451502475251504156311587147\
55565821465424332177251461206756388658568867443833305839469916534898418592343\
86678378529519778461411725757655546540563751835243265388392695076879987076225\
31044239766586730352570339440115185240939816142033001548749464282247867917112\
92641538015528534629894858406145719033234979925381248477284126666695146558727\
63489078162768297776470229046905159639316659694709550445028614989481081834632\
71316313384479137009349881250748586944183516814560814562755820077962333848944\
26779244164371504261515463233499589532136567006147382942472039789934219878248\
80019936591544183694041720426522866272098316654461478609960331958660129967607\
48077245039745187724433125176398210581935792546730585771624009492562001737559\
04865422813315616322479673314210357695962731401306795887600936213786764845385\
65976211764986682080213521373122423564607504918601007090669069884578809755651\
56331622183369973731132641939262551176997555949520704635005478473636681229517\
68766158384692432535233319998018664014729184071733891623528014958033338643872\
411921620368957519531755
1
*** a(t,u0+1l^(t-1),r):
25290303759615923517173447968273119740259330503232847009416368684383307859912\
51134268399556460349283172158309471263998310347126465330051302428626346883023\
49783955673887381786729879395734283183572402648339108815045012549602991143470\
54634993874716791193499596606771505771327187405900106225205388735141241028999\
96949440088166362223023404969894581585967131234156477999618286807356499869541\
32039663158843790851513970857345419217600788212500702259163940374010670477644\
13274218246982033436160405159589034533856564653650759644840446524379636408286\
83037989321937863025395100936263596519356530521389306283249098009410229393934\
64422912588883958293705731574433580503793628940482667789770470214285750662350\
78859573026717423739582949058513749831743671833333477956886592506357450320431\
52269405212190067634115065590247740529459389418569319499580361784587591950254\
18635333216691334449046831217966335171897296606321951386329997021243895263867\
37859876069584408193194657590634513229421558942501373896121319539822891604073\
25971658382256089905090189221021006320922565092163307343864194205835292030544\
31662755065829954233936985005131193179902695691791121080111469232503209299448\
35467685624539120315021036249624397141609657764474594612775804910154452269163\
17670193658015293163713797810198859741347259091080759156599843121787876261832\
68478637817042967101040898896404828077523767164149012063419963559508808192541\
39278351201814143392995892595592935136694972928052003913159846685274918129609\
65872587461228722466603470479413669142404643201963436663207853301123652582553\
50251053390148205623984438300287741804362950417628808481486552130196854655806\
99716379271354399847883900195943223335510608991150666313312993144219871005031\
71975823980108847835989760594583153421175362366683095452228186839952793750670\
79256287972175577611050188574010332381212354379703386427765820690152083141289\
75658555805576145525152956788584761437168516090441123463123316121200829062551\
64172031785186606693354405444051695537771250585629604798875081013200871771563\
61704533546641109937385221575859207529632002517583466990881697799452655635341\
06462085732296241541886918843560759164620644378491657176297181816162719743996\
65246532542029481015176791283083474829377215420183084298668164840326246203607\
03175350802066192803296598327968364973014176306848962319030545205732467256252\
45180729887815114322276999223352491186848512627771866160586431000515628943609\
94161220641352395064795714425326247344800430205454241903152317323917596943337\
96324233607604674699579910929373510114959325760751206400222646187848616494031\
34173498590580054855522617714928221978440680323675496393398181959678854292800\
22355774582693991208594688710148758659600999005578159348822470789605420580506\
82031647118180166540020163965419025160601297925218369323907204725816153176202\
25949449578241880126609721532052876696058638082717175464592639130042906779622\
08736978346453214525565324051003387717800256582207569520781626957653442244995\
86937808648714341333847220587969494094300441426607179152166442139546189580030\
55869059644940599330688381590073942454627010918094257210107622372314985187370\
49550964348245785829814718434468691490994966855054364360256505968038232226860\
81052473487857204385450897174980375285601895744988440694987209720284233879855\
50462288515823513702501681708933118669660671327653675719101736451090673156683\
73398482473506547651444617697131760128138705953838142963851129818245536194031\
84814263973416045208386514589841556665416198295631928380348817469900403797829\
27589914217277698885326118216765196640390750582085156966850825352289484274572\
75107511680321103258894200416231074950464995652345910696214982407963312679896\
46375977359259838671738716791539011089132495076013931857117580696154630521175\
73155187296878397142204965639558356433370650549143518299161456193725927014689\
48168960094281747796512464654369089107353231643100952536329989213965840618269\
58661950712233024411546174220203786955731591650885254878239502481644985618061\
73788537325517166275115461461327402176429771167667034804236396131153018728010\
42997219719195338803781496878086656014051547408535291465229076502503293132528\
52785522061264840074681360500842044200373522377377948416415789859329387641748\
10851010587525778820440697412396029890835441607680263725356849241128199943968\
94277605030298966300871733951128777854289390389012527751225928609692452681625\
48322756244882839367531301538415055209653366832600081457270724618219277445559\
96507897089868897720302765077752276857605494138772076391032481006723299445694\
07859345295384723303788569789549055808079176249963486699126676521722727942170\
34360614127742732044726149812339024034419761254102370359404517647866565924860\
77961969865167766106509856429602256617976901069207751325925545759684676199901\
87327616245470081785778787190679069260546046385854735034205393739726353233213\
07900355025065406952712634519321847554739152135438227459255077292065936592232\
06873663095924590000272014502165791414758258861679898997723698646015218351636\
79989196360010155193909986676175820287163460098498669557025212427932150689498\
03913078615933423254415687101217552444200882028574448920323007855285908871966\
48600591828087092866928914346075819577804358746577678630532593407826112697191\
72164346578504581992160083748244243133674210829540835300817079995188786044221\
57614185498972168552309783586996390387920834930309124862241509145008485471356\
26775777449321000832020587524890072871247249259972038969549350891369776998041\
62722584919046679562127625909314546334475165793953088126734865482700482318554\
99945261897791437103348191841266013559511003875473746109341479264326813600099\
54452744825386061076911815815658091295319772847607410737175523922112041837919\
46062111968587494009009504862257119876287601765849056724850690140715741959291\
94845006756236741037240004283729005321689057123510567779978368780156755988405\
40857716147937023049486921545888237311063966925769835557717142611814993554680\
34962224007842342649497374820961412303433405360855669744028683629011629600092\
97119686276022046447810004365397277200318600406155736795634034429050986433799\
08332776734312366320876032484851217655394735404571066068336848680794846360749\
84990413266880525253156907185546003549243876851026816116632663680002762209955\
87567460842231465092062696059890372489289082259672835022945723237261109311283\
89377636380005626234235856287798263254369101480609741025993170399662225372977\
44452743689815633455531046022265368844080567147092748977984099588284794295861\
72840291731800937697657111767799390103838486745087942850973176796621553697151\
51887815419196214574542918967908417415025652484340870805591827447722286834561\
42219636698616478190306789603411123025991302219455906692207479026862316004485\
14782178826804116306617726634085015802568005456161596721232288427837618013593\
36443905686901143563729710105511541488326409479346878218884344157500094492360\
46069455579433006979802803665839700709679408795374293507552701583208838332529\
11786740157040222933300903801450362140013532005957056268059116742992281600593\
06211463500687296839762317243611945847226804991651697327148732528568977462565\
80577586116008472725700638124477732034023040092011100971328237058834030741938\
26430309917236994959167025292968937982213443136351795913440511517402306263751\
70784180540211850470153629021341253435867250753890399676957653068774193676772\
32790240700879255607089225220570429752664601031413039271542357155884270046848\
82644825476189739494088792639774481240828135181184027467204763579112825868597\
11102850685068299769777733263167005427378947461706071335312706353933338307331\
52491500778172310460667199286445680439530871832159408970548309557537923672638\
30452480767999450047722456011745165256275693365570456257886815636235727330057\
20332609190224806526135946043654748327878681505824570003835745679139625521066\
84791049041652191405912029232918006562364660159548600784046928995621547560228\
01323082834915044753660417176865088258304175194574478177216235518475525849849\
50184729338921669124274769651010026578539576771837638850082244460196378697757\
51964620092330008902093416962465868245933574797539408844212963585781756237987\
23213097158761510993911521321171825440603016719850553194569163889329517398556\
35301856048387249002066816421846030571392048834588751220694490296491874544377\
59272507510883262293855755811661421074468090955056591717432651681297095910341\
50040542181041701027932143436789136836430547723074781755969758129469142379986\
86459210518591080380171461525390149047293801588304305398931359102338880102640\
86836538033042168852370052189758061577768045791905844804107992900309682320779\
04611261780822577427227207277980756767614309983756225342336547721989832861908\
29314566406932127059108624401223349469951239681431426801536230125319967719109\
68416094630701871914006324706284388249952366060329566601702670564355140640682\
37669783129090208641607975424970873219056203195523044696999993707369300757782\
17171554037949174439246879294294775662473401092799707546339159597235003052387\
95081020943788583161878156153556814199644777225048141786257202973002050209645\
53299928849805834961218578426030447520623284004666372187292639731895909038801\
95115264276086645005739656552462339246499852491962013751984617027090962437796\
406447887420654296875508
0
result=O: not congruent.

code version 3.3a
start=Mon 4 Mar 2024 14:00:38
end  =Mon 4 Mar 2024 16:04:15
elapsed(sec)=7417.770482