n94-L5-f5091-r2-t5090-ver3.3a.txt
p=537588443235667179330210586113485804054163848819454702360101430554504267134158469704360650711756140929315392341451441033572173472151513110818273167056080079867377097135947004980141074414828971460743499144084165957742805548850323233155123032618320515971248535050942001087339556547208786133821792995912970468443107312498944455590758715997317921303320887382479761088963227365640050363342260457583917556361552277719932192853755747818390394843337855273533520569361523389101335572096570563911667878658079746939584288034612381417977287791360991876034143391550291995528137068058526587252272040730026085275141479837091207832626555421307512554767794804253837712586539347969704769740467147771401498860209193282052304199187165834760450042014274625405015058584977344366600358488458311714572523628514284367302801390105208373219283840140176605791894030334247438082374379180398654006594117507475086100991906343842726017016353220257913771246929284808533750880913244382044806613370989607171145582482420559896416183388798573249746867558213495907189358983586518695284719975382868412338112316444598243217455685508959541548345965571465575261893152020408154508283260395505346808765149787033080664904791174017620324197053650151404495304982884315279573311613531572499964141798699196403901608522629557017665811793757151406506745917889923071519027893322757068403102038795643022173138865342680966695094832235882988077834463368445272329453531562372628190644763309271008180450011201772356465402291677623141876167271803238486741970822225462495059619837924494282971658156176072463264101678583083623622570878118410809631372247424481682632000603910641566182673455189025300135450147162031275372481297840721541592890164375447399472015644104148389510781823587147952982699845729634696946469031285579033511433062240962218805930643845715051943646808124325487571024052048937140875964168762369995044207209801538922721224417858981937967834672941841157924817091984410740719086934958976142690782229533922272688438167508023893403870756572807512057270043467258260623037398906349656440623905545849631210396874539886454645761546400709817201368606223906250088257246372457781575305533415760798658765746689210577370961816655258268746438856294395829940783406646040793382604002065691949494010197688831391555507090241809510886884361430088988247345665983127412419727055902023380565867932524683853131197470462365548853241448560657578550361711635883977093966000749939707061069406146629499596166506864270443386070410368943527164569036104890398137707610115843925244664442339482252507239460000631583824792281325972486607348722739278963849686873149228950232315528138774001564280177964852464970088454073430687178828084345277415689345275635347069258587621958163009445809571789246165850423694883645675910065741244353999788454624436442361290316409569015141037101491481794700718730414413136318328428119528502914444274074211041314356656354856892215184487813439075064720371981907967115572613821272878924967100534177629292282901752023369808880795683702556383164443116939493179060278408861944268319193323390730003218028451945898429921770981909524270988457436119307042645612827873948866786076469441835355832229377093790278271613259477598532090912124213259201026726511911450499209982668693033209990166193953369724227104595199052347296236944057369822963442755729897261668055455872188849443884331287490638349073174899809425142257751148694763419358787562662491752896806705503614417629779805648776850199710537443377234309918269205333542403616834147159142263838531633119592037287066319455794665815168142941615769814234226942062377929687501
g=11
*** a(t,u0,r):
12525810727391045278393906656444219234462017677493294564990363331919949424225\
89234411160316158391808365304864155581857608223164190113025548206576479240666\
58609098863632675652160372870338655150350353235300571610668154073692882125313\
32514366660006868022130090866686948625335011667549964716918047776804772211914\
72440038122540581526467808273750756636737667601177843337284319761941317346587\
46686617052790632241680708744200934925089241684961998497720278733310292661234\
94966061118829850094139141861572733258103692313911206468487038870805538711110\
71159554102312180349580559368576366948297793854900960778691079648020422514250\
01987413164650425260896189391144187032663668076941211349528845430736549234428\
74203471818687841060963949918485978932598771936850865029972123741788352781078\
66294953980054438282575815527238945135509600931347526611491495113090678796530\
73193230349032886383536429379241695061531114178115355161964810300320093908700\
53452336038836395525278594101643994091544057847087692071840399045586497072959\
00675671910201410637445463751206431756588560013397542642083400747801697315913\
90669667174723587573180764609978151479036021104420755100000429999672152745806\
44227990037870779492281634354610553553791350048527724740606101204546014058160\
59528563924916450390969127621090747857726867851161341479454162777160717988683\
52075663933499144202396937922775039384824166341355624844665239957095910960736\
22213542996484774845276267285403282236842022985106014490604485261001295905643\
87339608861920571469743301545674108792015785327613488914222364071679323963503\
89024883940535691109858484304059014601589718644109733649904232053256140711179\
48492056291505904289493155988428875328716178814239688811919114340829947924407\
69796450762665747560121648958054730449690640550048843885272842895399148081639\
03502144196981781840016051607102869706292967838604048604127402353824099651321\
63220884530027988375856899404528936114279154650547879544898979648238243236770\
25875472558454414412469522594814038895364060930293695671631018862814641503093\
43920127871174725167713945179469950665369992182964072022471767793543932462440\
31136538740791888525017015627056393840478266310704618928587226608749241897858\
60645274341032806751766179202535165942283762025337485275048581467324813062242\
32104376061497714232433152026341616036644056213210734261631540174068687093796\
40402517144767184722827825133777956901061773117288280525751463321580223427881\
11609666628940781747359517452291716321646734059067960993750133089544056159638\
41829344585412439462766085873156991634582006815065099364834186794180147159031\
17660154895158937951225239825199857697704144377034540412951805633434236447728\
14658106243380306097991093501126669436524496378556174492230358671372509159162\
51981200873630226894356643148720907889442487045317709934481950709927493691070\
18064372342958052786164464751525816526746418655826076217052375185014117906551\
58592911726262451009306816558861379856605313044900798466717845563379284190203\
56580789517334424463387625101916108221445165469225394302695637277315246246901\
91072104486926483301451837204435004009074980062930339433417177263878491915514\
03105826157985409364277888946300859611558173799476379089094448628531348372858\
89458280457977182524941689393839227277275367966315925961805476737927708723191\
13514574491537068137919692002320796536716875048216208506606196865692121822000\
19204250491899853187353340497516555960581460560176458798767105975021003605784\
24955962382342159307738694716165006096532555224306895594210956724842715380042\
72235628808014747437787051686494468788645243320015713493417730539647436671657\
4877500534057617187733
1
*** a(t,u0+1l^(t-1),r):
12579569571714611996326927715055567814867434062375240035226373474975399850939\
30819108203922665509369774598018078996372018558885924834540679314759210911227\
38688966240729811599165353011413069979321813978799715694834111816498430975636\
55829878963268700073727215720192042825443745623204685595531429956104363508961\
56871111247530026082375395433723935849770876475002640948173952035597717850220\
88947074636708188603232986464133127778844989503352393341058134006843813230596\
47304971252387059751195533028360599066078386272340009929725180668534317847209\
89919895536227683269535840739256952214170316575308261039543831062818793426328\
34613968585957937815663984195398024745250207424910916119269312578507950733288\
95122800023918260979680533394530983134026234477352370888469858178448388629924\
49412099705290723425419488555252846187593333124185928013257553032030982139005\
11275604728213285037543023496749170147632106084459197887981826653540351822471\
78145264519689770613369918539848474752881156807804806630088641101576138691297\
88661404407670086219580422823100021592453746966244742395912084871182820480359\
88912884630409096532722312955943722944611282997572775508154938282932548251153\
25104505016574087558772113472012315586211055413542865190136599492977542015491\
75663879649916091808956119585129763942953163421337999597391734291225785447862\
41998735452527037525154006325877078180467188514494490187346206652190743196619\
21021326442821619372509212638559519499661087461436941591422530262121473141290\
41362525638151990231416019578058976211724007582238439510420743316622153680085\
45200956403799792788441567927681585479708129453741105897328713735888141315090\
12648674558851423192023169533443591531843716062369472884073273629846385469147\
64516607203707231455229467193926209979517639007345190854737533208254938416753\
36564385159200587770659897322154813353101092164091619628179451290964975615490\
39457884034448709356010791676651377900177348447331346839083095440719952435211\
33282663427804004173896430417109378118090945311968775910565057570380369578214\
01190171338432985790751344085819607105993897728813703232868642333430387108201\
85776609722512025385639406252065219565115512088862149481928802688615118472527\
52751048050650973304348866666923728886242061433171551735456515293364833719161\
81598386259186545623988659116583425547530940574640823249878885840051814506216\
13108107347105241309621077602163270020808819353843165849896319387338078464052\
27968506399880441754858914522902410383113029055029626062392837523404760263327\
85356509154448544353164223580767107478507251479507438847086694033640147790615\
00139383027756186611960112099127754082672831691957435436183358447311636604156\
16437754768030006982531827807998457717367949152713067944986712142065095035382\
10144210319439798683602808999144602773088162955383451178835950498382118127512\
54193403983914954300268174900673995996818291697267389848885217996966968197996\
01333653836675594575870365127783531701483447435651445670437664643050439916341\
77853668442301524997565254394199009973468535278106189986398193660479689363841\
40390010514767369495878669123767343082075301865775534023260169440976682867941\
12990400519178479790734017225040348279418938493894732647416742399469251155575\
02717758056509273437065902653040254003787279416815135944474169771137698889385\
08851546914247527657824926731944490942453857344560484079595923032497667409219\
07698689335212728093736831229265554054832883137687945746401299562896630230701\
77852769087845773725368474521813782946732265761750272828520874994048048922446\
33919043523928973821640214998453672517351875265595180074934544833809013653080\
9104442596435546875234
0
result=O: not congruent.

code version 3.3a
start=Tue 20 Feb 2024 13:29:26
end  =Tue 20 Feb 2024 13:37:40
elapsed(sec)=494.067360