n57-L5-f5546-r2-t5544-ver3.3a.txt
p=350387737592294904490657570497579284974404934612731164130050592710497766395060651500158534369470703842522376271825415203370929523128879760498517859719040108238380280097401593614176553709826135008075897738086097875846673063052016568403834029940404240658972183931393502703100295072007695118251190075241423984893742103048670494963963916498136373895933838585088833302568951628965416047861525270290899171427372786525133638903478304977256035051279782261806359692343193292847351764540535244713309519897586639507122567464069938335141316611490914840006117818809154787218619515297334374309024339130363086738138568167766577000353616890481038301177041580625961156934380239138477355633915514222368522180143024661530648171907616666842544958451498512245737596455505594528547342151898788311499887269306085759588329221051834551752384403935041678963813536809028309855204763197264078370489512196272557029253919498553110570013665956329098864627513510355955164030056416192581070525777133609539205540815505658546714694700566463688082422555670774553281971647730130014781479979370440519944064605886768247901137935992066522685915161452763443110709460282158539397256217309863961538638249909134829642275807417152799113520501806151606459912753530218609652008194599813769978062282112232780847036674035231738434721127610655993741472753325595113481706146521834855296805428283191833745076281657843432954497692191482874275188934185944768795775870974811164520412567802486920744445285059422797499924320591080005938863195348170059037755998265811146552937689206543549580640922352175510419496490860962268431367365059857220250859874477189409121997450631889164768592027688228531819740280574526280001646163713587433565589939304428434889268282431983047071623328744842806483373669717432057175876684554752279876924214643112900951724915552753396490062481625139550409092916210514236303342977508737248977895694856939206846578565419558115093781299319188096563418523825045773035489996702746712433959140755165981969562585956846717697117339913976365810653014016393701114195523660308395315591200231649433384097996371167203938027272562802419840440343355458137849142957536648141028967644608531439672816360533027583698560480628466430495896057081520761115552042915983507436025523141497411829177126013856416782695787268628333162168336550118013360341837361769248602290215562018125684535593671146244328509112511464931170612383573484816073995999214464569414375681855775001704238600158072063386964965697770010158716089126534680182640956831220100160119226736746884608595398507273781296600370071073394256919396671935795235027352593479224539670419066511594431061704923586186095200593437500946624427935896404207659256903992347054365229263338536984776242471969103499224957074658102114787284639282595025572573319427070012773882606127434512390345461337176599745653271168973080572342755723656450626573043079473897517274772412641759270970501446272761741388643817757327165938743843466262806115395461208221393575837418190296470723874132475662127417864092568759476863560881359731086346726116540199806575640735283098589482067135086605922085841428887400544702296169991461311396458959023102280208908678215730716113438622980209739017300147766604511040547672895203690787837043985443234430540610390236545566761016338565324696304218448753833514009943670081980649030866718268973906436494856536674633746241475416821104295692314862295362672656170515699762217342293725424531884578832796436485815439454014957313188197386835837655532063157430897441464784083586201872372847412472990974980305429097930209289827306737401966483838776229545948844811242172243495138901407644420033208384737850446587234705381197329401085671638210336354059072935715627953830018215982149288010352109822989258211373071593615358263623968635111249581211044733054373882565268015683981010154417607282572180058632437208222852306140372562697303707429636156558960813356407015817239880561828613281251
g=3
*** a(t,u0,r):
24351947762664495862100701149581760305721142955584815907038516193379594764456\
71527926101813867821391705530515089186635663427960185745714335464699125047328\
75225674294667694107561852704828329163830612748927969838023713437778821151515\
04066465080858094725798566783231848437865470507504534810718457710229278966950\
11507616188259939999549219662047798576740178166367391452854213821309641532637\
60062852174924142024086634967879037917421959192944360639448671955419986178519\
33852890947635567199507575011632882271445745018438752860714292321504498618581\
38042518840723625771169405631316473901447719156956023452830063048765977710152\
45763738884321619318043898535043004069394266201241762165571282384546122915199\
40213976380047947579358345556874612379146601078762953657638819734040279556965\
78764924216521677296029138888086310250134679071607348539668798504080822746753\
49367310422098534467490210976409427135331474051494411846159497839648723710916\
12188969738883900088920925384384401541510785862974785086677643268996671281689\
36922632172836761911883145309702951724403602731285856624561613611249010913039\
32291290865514486233266711037209670592961943074896100184881093071030355453269\
35358368684870660138168615492119538389674875527536648963936370350193370814569\
52468705701347532860680017826886904884544860582121311836894059156503235635612\
88603869785771832675224431279772656818324452828015752201185903375896073080597\
62125630925923161431306423032749375934168673462272840991738947311629884426244\
74028108006041275099207669781910312404187947387468542916939985477669585454410\
34761979741550061148368776559800318716600768074347612761646639339788228189162\
96951417145924331882961471949499929576460114408378094326632808500781657776224\
80414562902282177147782134776657505059447004536152797372342957655528345144623\
29176963466161448816309163610560593424729471987534319576766307394230823369368\
57238803963750792557274875837210296659288999017800302683572711157587405840681\
22596655477084089651416016028248403574688459972400084687994965512402135742384\
03844741393622274365888943914334744335884160996356201948107477961206736928954\
43114768178910603863204340580515435548797045801513251300292935057260737057045\
41706704995340367841691946477596716569289753086698266085376680377385833407012\
21278102579630209663973572151696691547706993902332019285437576966429627778591\
69981560259735075223760144663980831383319546812716357560658357194717142721945\
40528757429910988897636261844458271098600840539406511599501570603076819429416\
02726935464997697969611282862582039084802973801962555278001137257199396009008\
55898068699537768834401005246806105507094125122555812958788492189239933616441\
24390631579039774154480009243231835482746812027838343380202832044194885180185\
26931961345166887380969777162824301403542772938457001813658877848411258566986\
11129009562933773682322902346243629099777821522794123318546826494023435877450\
59668267860226933244985051595694102651074533413423803274269712090526502501998\
45539713868535207005642256047153092522070585178555415544335287836420174812545\
01310501097465099543886557007031102175351969003665888519111584965979307674337\
85680958381440656114205389765210560847451915313599328476988398429712457686170\
23602697790135173180632662166565097546745569883047929225724221214399168898906\
35530290066393143182188391429223691085070697655107645236919693686497336392529\
29888704536378254146906674855061588292952770574960385084113347410528941391700\
49659782288793523357641730420540395332665797183850907170594783894414473721818\
02493809241030129912895166872872761131227322306149545642997818249436670626794\
94795344344471438133097092291215364783128719230798273928060603781281202399321\
43933754541788556183766071055690322361427911862660107593755167194716326977534\
45690428475756267399321865820140231845894167608947278984838286127090036680205\
73202370613876651407495438597148823527675589310746260766635971288084777652827\
02875992981716990470886230469445
1
*** a(t,u0+1l^(t-1),r):
24842490595293708728387621748278371304685309864042639536820587023174291637409\
80019136124008679547290243483647767242193791899890318983757501934491625407994\
36741011618589057729872451176580266729720725811496303043393975291201703879746\
99831832722774660662721127840735799341649810920605345583884009376334616960528\
96631510615073809294504167971786890922170915568279828115213867049364799779338\
21416636247512542007305646319749982566118228874528851357365623620709021871324\
04462877240105923948850173644960738892741054990033202558627961519347754705862\
15643375335356907441380012363458100713850982564434274284973402448309465030932\
50714375351056155534522480663806460266475589549180445144446099583659282225721\
40448502522955388250021679136437554211244518222795588695346652074006558569624\
09128534200739380148035481254177257506971924405423899445503853437975976010716\
87340177106860231564677064147157242933741028924474155394139689163037331095020\
90707884237221129730999908053997900277598772916329672843819351190962071854270\
16227548504375919705791582769178982406621804800693053736423286403418055737186\
87761906796618375164584313849470009281165493007340050404432654658072693548730\
89451918557659421637354745876133457148603578056148898007814225292499424327380\
99712679629144461580175730416205490018909793025502172794759550995627041821078\
46935458529657883980912405435048652783010125259083695410993964738863763761357\
86110895433783484107620509252114111564497251057196322680781170710713076342744\
63432990757242106540055018525718577690027704601029060328216474393766526744139\
47692436887423012020422248317839461827438769157859651004327291067496192498009\
41782093174763095402906019585892733913252116713007293349039800326696683976033\
64912122442759803737809400800935497967119318296593285376965693493193664327392\
68181967046774772965126902158111454299472223941240046877593254593539070171053\
69470952532804765356989765422420288246670360149094121730436046346373339195745\
30821624076622474191156770307954126812164198734434043228472561939990092433597\
52986937623134089964626275158652278754160964239448269325479427157547592061336\
24702691566687220343901981973504235689348353198953806002744879072802679961791\
65568422793807655826992215903044707982196309263984274323067721420959073216649\
86886582343824199498931313173457488211977350614033671472482362689494397259023\
76283347085111033573591284268722891296077062863619996417995360073459646316344\
30553797147923584357444762083051675120730929413581606797189372025297071907130\
88249492438393335051013524531756353541187494137541657110939289662380391036528\
15585224040247882163439298877677019862632711815672045162274879082260594149722\
07471881711567194065505505832304131449305740615449475477070227222063559126260\
94380950494565932594399384184809251359873130954483473792639056682767744351069\
28475493208805820921966816925880191412579101380807242349424028754334699333974\
78136405630073231180855254073880746445484667899449606505693850175803295358153\
81996628968045268729496920197743226759925244448339265641631250469096264664884\
04934021982881662700166286212928131571689994278559877640359875886157308116698\
61939279845239460697800894019473795166681162528549530777244279836929687049632\
65804766522598327748300082699416768576464185679253211253292766677710806833560\
58404281520967969088016646796143305006208812428016288450325270249966347485328\
45023153260852060705261629456458512373674121349132248956311314120956862513259\
93106166392452673468443146572896604735050431947266608897772232778618506285998\
53191526261712751234881544335060126103654923043251838648756047681799423704169\
23467480777309711707001206380534810980198938035447447791359666303494061152689\
06545369741191491128475027882711422380219265482915131343845199339645864499384\
07186350775987328900890939376229387595307863071573555108273877502311994253619\
94820835633436756615703979806300022850535241469523883285676120350003032166696\
92574214423075318336486816406959
1
*** a(t,u0+2l^(t-1),r):
24667296726497561276142292963029581662198107396736273954755561726819042754212\
26986561116081961073755051357528953650923031731343842827313513909565732422042\
36199819717188570721904380293811717599045685432007612612904596057836388619664\
15629915707804458542391641748770102590298260773069341736324883781296996248536\
51944405462640284546305972146880072227374223639025386450085419467916528976945\
13790284793016684870441713694081788048726703988248676100966712311677223409608\
07816453564223653681227816990200790099421301428749470523658793948689448960404\
73643069444416449702019081387693233995135531347477756130636495519901076702082\
48946290898650964028637272760676654481803688353488058366276522012547439614820\
68936171757631302296213345715165074985495262099926790467593854809732887493674\
69712959206375914843747501837716204915244336786203702693419905247299135559301\
38064153290873911172824616586175880148594759326981389841289620833255685600697\
76951129059243547715971699957707365014710206111560070073411598361688714506919\
87904364100254791922252855105080400020115304061619054767901260406214825442848\
46522401106938414831970884273662745463949939460038639611735668376986144228923\
20132793603092006816216842167557057591843327153073094777857848527390119501376\
89982688940645558466070118777163138185208031438580436738379018195939968183412\
18959891121127151371738128951021511367050956533702287121776799966375302803943\
48973300966690511723222621316626705982237044773295079220408948068183364943994\
67216961203241809596895251117215625802227791310471732681332014066589047712093\
35931559335325529566117436975682625002139483056605351631941344021886205244849\
97199708878749251288640109715752446650112115889925436555323017531727031761816\
20448708321160651384228234363693357642950634810721682518171859265456050333546\
47108751482270014340549138391129003987064098243488001413012202022357553456166\
15102328043856917928520161999131005536891302602203472070841998064664077283222\
42169849576787336855535072350916368513065720605136200892587706072994393615306\
99721867541165584393648656857110302176204963081201102404989445301711572371199\
88421290356767000172224252904579664210580029128439322180440613352966271781525\
14189237865783624403670691108241853906158253486382128523892349619682916141779\
27740696713754917415017834237114346546166508931283081405680653502685551016012\
31175566076048191305794448695600727041520807131154411111803573331051609318344\
69830568677204800264656011997839745112827326244233358512300871517361267450804\
14848579233609178950512723935622669806764451160549120742032806660530035669556\
87125525704279984545925622580937407592797502282416247946744026620467501102121\
77800006664235972668710685621921168604106123262731214013903300372824747002662\
48863454369780559303888810248386054946898003091616876657288992813354713713896\
72280320478137232622093990290295704872292930002945414124110742232794962385216\
14397784997985267632330181760242659376052477011583248208756658002490155052384\
04690587861077389542405968715389607389262866137702176321168406671711946860477\
25068478809518604430066382925107763930140699537526310097056914843236593672998\
34704165036739887632231071071522640052670717094638744241438607905780676562681\
79304027689575772545561718223398314637278965752037039100589714726528078999755\
50234998858619816978792269879386300034373771437691773016966135763013129237900\
18189421573539986934420574241673896630559353215499440430526326010089747826988\
70446743498288691286014069375626529948484490960332429709494572462831351798791\
20799484468611815048457838098564638613502208494286734003842394313098440462249\
84656003479867471144892594205777865909816717033787028554467143974132325883629\
19898364312833300076793257587346743802079496332824051433098759287885315384437\
78080664240190521221759127391911831970517257549207027921332594868304152263114\
87099955269308147612772357945888880235228222841389018100304638542175084126029\
10539135336875915527343750000704
0
result=O: not congruent.

code version 3.3a
start=Sun 3 Mar 2024 04:32:42
end  =Sun 3 Mar 2024 05:00:06
elapsed(sec)=1644.129758