n16-L5-f5657-r2-t5655-ver3.3a.txt
p=37884757107373918018474888505093406478474111443595816780749030608725949871186874471859089782641663222030507939478412612813476704509661826686737668909724183272476102552143439214528636622863279165983808589175449925446185871632743875162075017679495838328062764068940791112972689804068666397445637789609794430297139045408000596395099650608730771164141846294416341281263451699572880244184036206749374030049525087808083026813222645699940665438295274999172363643578908111493501183207840479136403523086361297655908110877126852839007279832030605599120629054346815646848773080215942391721600325162221437608209300185697738129666267988711895785853272284099353106887176948048596477542375493826535165704539188560359748825894583999623700090035461540732563609560391179590210462938466243914183375781863953468505737923124557704382785405722213908181413221906338055119430395391334587295446552384550430413376722564869385931133215166375197261112091230514708471923672420851430110551760352146993647673954185428084204331220042332148763793733290729046206098887620672600237233753460055887373198306576300612282358470436579293080626502637439371185202491043517455502454733810014002892872290291121690782721705621689127091731637815370643364734686873093335262306699886332448217557708036799541511050200309422816138233265018510238620928606832934149547690793214760363586062586063566478386533849097873143022555628530891700120018225086386805480851691823640978571004055760806791188500801328100521635818696438497125748219318793198782864441217951647692994123164472655795815935828805713578858891600864422307837854858333925164200880573707350863831322609995511679124306351662506787599803200389781801331556393168202883584599679408605484185433332645492028732963858031302597281192120463837228455490413815321848770827644559069690781375947114151573148295730628893441978172604835383186159406700087956616047091732609924201195858401297227934590014311610337179439081050629842124109781204046688566447158853737531014238269381116417648529260446328488463470568055899904447483362093964322768238634769853540847525295744529777417846239066611940081162343571826298696413454407112425126443617091890353689642702292127864722074611980758590820341801745432353322443310223853322437867408891144968911372061704720258852518678378221011407071100810430469565642966283323499497658234750290533860873438795971301346143405665158425125424663925496192773050754077667888244718489595723191793075309309526968449262228693239205749188020972131888544805960885382217319884980104492562524679282110436059266545157671283176688946995085511799409173789101746206214045412356122011624345913661486452397252925813321205468168664057555664752830343107293859343602509788585188192275697276884659447130420842849861154548879625979502753295353939262172529172216958504797359792057220083655009207970182863577196390080715352185315543878635185151121248822194483601361642246407904691054863727258949581669278378222877868135929798064472071067318350888592113359562053224989793544454026474579368273417739907903095407880555492063230911396428971578007112651653580447245441020880197342276971408351803875906996651314615238670696590571961751029927381937672512098978691058308554057186913929957136670847981024853881982036877317699527290921738310899962299497463853377587011796881274402972659822334410418713865493822588750812208135441563763145745915788099277293733885733986660530132202317649505038234069628949389836761144452683472192910738409004662979383544143367173763620482673514645865294701450565834012969501957165230478240993901589548077530261871371635188763857140065731326160468936807503136829100689325688371599783035989344647200785374883031036160267887750240449543242598642918231146683475632821108832636446195486219324022501430680390352884900197178112340755893298207372151376200019994922041312727628401270900121068956551023153379690482030736521333340728628640251039934214733105777838463997498053614217453068424065691244143148225242967441772634629160165786743164062500001
g=3
*** a(t,u0,r):
73117581217231661775656534814830274503455035086139926386845629074841083251390\
66773068804328049841001851888032319333634273001003970364732550540370099576767\
37158788779256368376840402686821261287903487505771086183561111387322511956790\
62804784121426967973161134653055726848037291321852526147070080933946903250473\
47835763744115104254232567485038834679376334822353867283846178017565887127518\
98790262918779955834194696002417495197062008854842959098807484026618321072926\
55182457283591132124733258799556677304475902653992854825979284050075819068806\
30281407488935419841813204481676881602268862756308737458384394935839663459025\
58972182139588666968155083117514962922515097337912016567847030852128698097606\
33921494315233976547119273741173768440773613847766451554976609106193471239850\
75437391525899743019421607419163039636945877583304387284279012751827923244638\
05006631052757534802118461021823306978170745501979148470871052711041307139463\
36074893387350812687772243260113364897479643697740010731577876202514359254681\
70104711412190525110705917777085310789811845786114417790786263027273169226018\
17049518479425980356456091500902579863874408077139886891197376362533270255832\
43520261864863210652891849860015287042060983665341693937945665070137056251930\
78062162505988637651102311511632688659718603514679020148572476053839221118756\
29086270432309044875017211007911026833032860103287588951660335323630646209812\
31635174416726534578043765219627088642037827618357106993806546563234006757130\
08412629945269406328527087365092837155064668004747865770743222568592475614959\
50272071976607896683350541270598765844755669076995072551871671944526372913375\
40709911258708638100067620176752278876569903838814631565318277381258608584477\
88633200579961545462024600041401275270079249520585091909649866357116812769735\
39990045032080555779303125361762107601137643430178731273322895492876549311697\
56268970887043937153708308006714503649913758727621407950756317426427715595299\
53187772381010893324301658771343485747985990555468606166147266141398273449819\
63478868155836428888413511429427005651058173338357238207869424704164432413985\
61044356643323093624756484077967005726980494036180987348382621010415423806778\
91360400112286408028325967736868444191231558873203691230508409915990978999894\
80790901100995853610492699665520156472245641308062616909249268143540304803930\
68060730351485736876224611598056772933755760492069601376207652051987955369899\
02431230668491974576016063534696738704910707610137795166709593288047621454489\
14755045087876794273780116016706456726310144731415943844321543055765310096677\
00515037772859705412966370177993107645847315482434987613366668853126698146819\
70992655356552163108243297296256219707714853315284389196941321109209574438739\
27329617122267002320282793376781404403138600331027759929813023787299142589043\
98670434761454167771382452926703989032855780629717658999685765907341664010226\
83535335062796953556725605373588699360977269262170726997015428550234451026443\
10971599244172149827787839547627242303015407962710959381807676962380222529741\
37209472099682035658995107915145553727417691410263183701170298780870594554818\
11898148050050353703720741063444441980388617948775984713970794835102887374253\
55093303707438848172737747366033779679922253311732231600876714789549400369272\
38030105237018742932767980859597737233457105412108117760403077596289067561701\
40221806287128961747103160517690639946659425482315515047306354472379175438387\
23223849490087936791013323177251293789995502102401966986453637875315598832665\
20018773799592059645031138777328894823005118230067827789633405411747255914314\
24428032686145948970504803848105408016433039857855718758125945943516909751577\
35242498997893170233579640676184582153808321861130991079713447400469883411572\
88403295363427761213153381067857380553756817658874065540228252156066038590199\
53973356432281445283723366308614347468602280263031932148617334760625327568450\
70730344348941512282355151712434754396844220584467841011962760747189271626211\
8483427911996841430664062500193
1
*** a(t,u0+1l^(t-1),r):
79557989925485227838797265860696153604795634031551215239572964278324494729492\
43639090408854354749276626406667290466648690830107947028983604214910471042078\
48721998153595012223505101369080128862485659980372684448434369903304287621378\
40357537126941260488931804544775661337242648588544199434635839358180568303623\
99199535680125242970926627833461944469787721827431669065324856910304851278647\
60341736854631040026843969743563077675559698753974204200774982619636515157070\
34136352484736465006186447398481358725077407032841966390961915287647264271758\
15332101412831285838242346845347902261536068284066501897723953038996525007229\
91627762949811502918717966086415244630715909020526028389885370357238479795322\
95976755472534378626399209770189074469235538383580076821477139441972170779112\
21978508914191430228386204963856157117920384935201664920718096776600330991575\
08038303218026333204377600075559038680911173862257104553797518493879142483353\
91584080887791039712083788003232158696739508686660115303789398976829095562088\
89751240396683991053099703280766400341246049819088226611736348371644381023128\
57929527879168165154693156555386226794889252311913866565551549410010294060750\
31809611355550643715581805547166892636439412278351065942842433496004050844069\
76129814125687118687727903717320542064978791389028985653887150110395007434916\
17140501506657509967635307314307334896046117210831055336003473668199148725702\
52038272681412291509788552829646054999108517097694261495851682789011095435219\
26252084396407126056946571744401532655769846015528765864539257717121346524049\
19985156036723618152868464594952025012428448218492047854368140457774809905745\
26161043338491264253959586720818541782796268425653226055527659326758071516789\
40999855553326033922410186573545429050345297405817975652986901217588241873805\
35740463506408894889397183036114210343206762281541624701543046909347540701847\
08893698892638480840822511302642724178662639030054381708076822070206322668460\
63054052849804598953903359284881512990036570034447706191144693728982577328819\
29173897993397150603973250778133011330166924357798031210635125325774771020398\
85074170440921500835227262468254254936092765531595892969742748249674813468515\
91635668515959304072271778366540794197713095147009197711952155867140443471388\
13295799125435902892245942641239548493117019039860878502291949793489450822929\
75610121107834221471539732826901151896832692763391794243542004823406583563102\
56531390882815101870276545814955000663374345068025580233207329484404147696594\
40925178593026563717584582194343813018264924319157244597448311096946710467886\
89679574778759264957113667033049495365947856224411126418689121550034231144207\
97453148315419452086689598094372052531710462156527055602889520377896428145778\
48389738837699847084245526472145569557819202432724505623112616556128600744555\
63320162175675519336737384013512112419169502239589162642145133888817354622526\
60841556285944871745659985121521382724379412150548459426804352308545257593539\
13492413685368660434380550803117724785664433534555966166733741772538065965003\
56549166533332784913932500840313814936568472518939215426143848414418781639957\
53878813940469296776069200120846284020111967716284750206911227540785525122244\
79635200925192529099870087807601521931521622774423671690073109356504528899208\
28944674092092932724773450676246242585626902261879299117537027436376705637084\
42728390260606642315500848231684116004137198711327762486706396058029154622079\
37186571984033506352916051125506589097922567054427010710649036030136143807563\
17118873046188251427235954110046984004306087193338050962813549929880433896404\
09999413803578493698476729575658734111144758394558035954437557762375912164928\
72543651759365625642755049440408094571501282854080352988289243285485365370105\
21060580447253004428819741058290414074035915587375926235481517890020041989336\
28675672801964266889025424480875714862209735001226454669480001553012014452718\
38618509395221334607743947459125898566514436905379516127006112730102316277225\
3272123634815216064453125000210
0
result=O: not congruent.

code version 3.3a
start=Tue 20 Feb 2024 13:06:04
end  =Tue 20 Feb 2024 13:14:00
elapsed(sec)=475.754981