n37-L5-f8159-r2-t8157-ver3.3a.txt
p=58276987972757162063404736884712505766999548051185170004240445888364880408302144218478379565584256701170872739616213880118798016257503633542181258640385130442072791082011914854715907206159196936995212115771542822078183263773699880621911225476669638376643113846646145299539014985832410531100341203607234881235878496580451085709594284407530760233247847615530812936475963749511967789893641842878614320414841717464161002254775117908437469944463412247013168850645441276220797908681116149839329192018826883211543603341266206910497065700429911925218586513254994999982453618222991643816177619326276514030976427688941757696256216196459953350976030880766352642209275417603845232670733452954024196893531311801665803299775193241791384803573193334252699971168562088728880636056046542631482342704391578056029100477117557803349967312009652253044464400057934077064654680858079618756494931387144669404031469592560011332234668561233614850019721440310962871429448278586737955626002539383046666929001463643911355934677964061213006537241876672543334304436083160032718127279808912351418840457969096639279049744646270445379533540743190064819962156034383076773518993563353938161541486243589033228987476877789296657029261044156705475329145447428722159925601951091706090405667398907953487415582531373473510689847275952630731367824486757323465813984577316948545982377126535676661954813580118867459415092169800803807092191504744257511002198809169621783401570660275992271032302344405631598861491748624287317669559406771801496045847682429985075290833719042440358398803945232576210737738330986019392017927031830685437829794966243236406698961409854065676756216557560174157824003197929459408957094344233051564088858368474735974609214176555497696825440801816091977654126066377626216405859082426055335782902764926282864928448720278117461701961410287626321485755294405304654249140149191847534849502064384151218830868849296474383650064789256580390859439801528719368943282888299969994849971057561062930514166910199533259967009718096686344036945004205533485011698624500291494997159718410691161362173395464370141093802321308170177099137942662610107631669834482058691289884700111402301597692490409359699879183143902576364214754017996069599886946120407165715605011347000148859802013741772650913135059006611582393471982912472434415327259532358140284004506575184363943793314389787122037879327415569965220212597845031463885069681177562992719986855279597457631173566110337893851814606034902948153798057216643172063841249623579856415351446843658537562969436583684684352069283229793515721628783474761948283416419338545424415107207100022264461845097259919021694164003185000478686955921984506641465866873746934523449460584088456094010141646613307287821565429721934951849942464019166049438623457604667401218577254584741439792219899478109061385056028871345559674709097534019951041713419335466220961681628174594246385708181814094694529778859447246184115009769875554733010875608873943552765295195538739084483282705354984569894848374961738694293064788210643461259978850531239427598738571568123124110157805052932247254293646327650163877234692838701802922194917821135137879810722424586266416522358793302170687635697132597124409800530833382680705341127177282100306087968942282097656761831928032275336092485125555006034670287944443133375230464705728354739972394034805231153698000825690163699815339760868033278467180055210663623516121460135874912296329504323407451058152741393526181086685741478234888050893528423694779866385065194392941424601198923552592606007376423941315239422765553989246714662694076206677392380495782887609278939929743818591557661619351370704406158682122641623062634233018857020586008019218033817223568393979824752623247386446431622980721637433856362284168469684230152247510302672943277098680962059687838680108514124944819375414995466787899693290269455580519769489506667321302106075982095936113827400564646115201525468432290003239562218783775487089488453261881431493953250681052202727025005056057087240538074094088438707877670953990659136022413289263296408555606780679519187197462595802550421100967866833796616922449179672099475416728349791764661636791906074065166740167892701856242661709597279761253349888520849634534575418354396370204927605697108029317115969684865694099304627435072392376424564945120707515006798580593243509277842866019248721779733172876537600623113478646617410932624855354082911227338642720424318892753937652066451033967446169555236111200593460642250464134267321060313981300648559624993488686278981251200870682313252478517285800033060863855987595891524429158803420074355321442652783891891366957813217558762179124110474065620674897675377865850709580370911468479112022777299398914312898235715575992723164941519648001865067586476828298969577131371565578834840723096482873191327966007118310284991228614758040633135617038002486628760876784038784070787321595363207733007416634462209525821279045274715044380758097614697811907608739325271961106623333707013383266353082922956009018331428115330662766783237519051386210677390859417014728029365511833433941145025786334976890561817610614212807259269850252162096143746771893869588479116409814945378979253559631383400050021753150929724281742963700137579788121435269102360520848939780609996725310722089517057778549357542644782435732016024288566885469418408134580220040450764593312042516384638567687321558709217780079507396974391146788104786992931453604320603192091376379584911336977413058445686409848117942946235283662517904025666535489040652687875736349833870288353384055815748989794209113435822883141385485334357841703669627339562504310508915918856172447914278594479559905789755460087550315272468851943928596563436058606281752485550507657892962661352886932775163586484268307685852050781251
g=6
*** a(t,u0,r):
26632583503550023062975964756313615135518793459391622691937883770982750346594\
07990784461946147200531243508884200460974321429069342967916052877683519865600\
46120272655244794450886051695932147530002068119369075950696897297515445808454\
44213430042838024738125903027917288401889329848525411612712855930048506340724\
79647293726614616928458797424155742659426636029758151196951543352696927998139\
43221955267444295826648811215780304322288841559237646197793968850181647449666\
63232904644267270080476573440752603885627675426726958656558097159025096469749\
82489403655753271499198130352790718122399317203210836691215622745384638326718\
90908017821986813960461125102231574896388658449572713305251879999890579803438\
09493361272107997263311498662855232949353753483886824032874549098450677613269\
98258743061590695117160529891804272391613093506158841107964132023082647587321\
85471891521423857717181836439251139176423816037999251788312435324837619864590\
12698222110032243257863314139245721083160498052326786553668885267489662147829\
57597434398751953763935230377712729000413495218416687267294459841008929187716\
41505257333033455935384468281196378596227227053077130660854981800584527497398\
24459213320188185647276933149708572262372297179614402225419469474926027086000\
09164890968331539000130093474374892121683767739438526020511035224423509579044\
80968238769909518338454855139463468268042345133498061143224289526971215989673\
39841131517668125682528004855790517155014517791746128467861762171393373640679\
70172912129930417498864889471328369295239087050317940791100960239524378825340\
29712873283071464172606108621521926535466232450882162995731590378614253643033\
08014277590966804999590125569461453762949893392115314504564788608274392954340\
39641087868586244744922644642995403378793561233457518089747760066870728845278\
65635713112692723010651670996799977963645014452289189901695432242269918570481\
80674323426222443423557107005707064128488793328079608690257238622763989298624\
75160708027995308628764643677330540575924497427796118669980492344117018565922\
48838669219288026503462713966332132137019913136858607425132417272171544798676\
60837833770934306039796812819187673114358300821919477307950910851830145468117\
07738284478669676347739844614258622420380714833437702607473203149018557906802\
89295202799901014673027219660214931538166961909999025278045576062876701097900\
59504859254322313544676132714771310852628915474105637157215179378995476844298\
14628767303399286277603813744631971242441749027927495795064730628571214800592\
96331754510779759943818156112075519516662770325187439007488956624360156366847\
84354047966210365521303637715258957703993644710174859063209447782992914232949\
45554521875993885634691953514990116130234907721640348692842443496263473250228\
14305344554013829242729954237060567588845934509201253330023568898053452268379\
85044494061495841052970605194204920771342057573047117626063032636308062979488\
50407578957059826863908904127540010893876739150614055946483312851298597015325\
53922036137399043612037616088601963472279484419457073575145832919306082122640\
61795810334692776418412623527206632267718342116909190036995212196371736124891\
89625462728672393544307744425875801107350014803592375235071796853909200424951\
35895968858552788425908558850823408951200179198398822018066229186291401571911\
10749828594265702378637757844321590610511952480322370517858116167384073905990\
63723998637734040481081561027071669120825950128523127327594686750728209483491\
94225834757972051335758028168414647566153838555533438392583424896285143989379\
74793837574231042747908063534820945371025741181064416203858173085748600851192\
82645156831788657277963744047554789292509634185136004357641191361451773004722\
17396238444896176584078056647826414544711707560487799119488240556060192517021\
89788307272357563864990645693179577112208321535077634097199661277342276809590\
95509978245456465292832207015983365314120029753465670454696583506247672381784\
28040191220580432746470971390735565314804799339841853975998962231406798141927\
36635561240856646250427310618088868925899860998416489500095625973731225162242\
87319332645870991229877054026854924040628176554244314231514304505393355927511\
01494602654448558548364503680139010758477812002567269647483028964012859568508\
92780899054028282982300966187959141183651915803578369397921998145983622203382\
21473782808331602602617992016333435810695133111228373997418977079666585333806\
00045776834847628597415041567962095588968158904308937597232339137339885495069\
94368122523122899486742902818671211513508462109360165724563489454396391748622\
02432962949443179879790181715638268239961061510881478218633132242666412557316\
29739803818992923222385943546997206404243543158597184866479886484282376476846\
93774278229506541094954194409225825303840994493722018228674486378274479136852\
33588701991053262909674903680546952752221045509267304843688046525306780024099\
14769444245693429769863671363893437206903057243203498059690809859339843894019\
49229753300324523690544775282006450609916900041777193871649286225726863504105\
11615272335889579089612137746264870611288441993954620648349827956762275357573\
07094200389078793111032767843550844389867506480506952529174863215652380779376\
92274755498401934956199285430038193518876751542213822859941189974883996756534\
41096287396317149591797977875802796547973876850346699999490929540479705639698\
86655731295313230998750666595242125175031605584859994191436034299877798254331\
05952330112525496334880417296754082163887655769674297174515658785759005470304\
48099867776770967868930058989992642952463377068213972960671849157827835921151\
18740787217774965135077972883359535648401710575956131667978015336585770196941\
80064469902574574917270808696825317677158876945918245260010494079518265338375\
36862949027878307076088589658199965708393623826932827824975902331061661243438\
7207031707
1
*** a(t,u0+1l^(t-1),r):
26574306515577265900912560019428902629751793911340437521933643325094385466185\
77776362614108190642105573391796926499352933417189541342165689523465394001561\
94815851927333974331737504536860085938032698167247918235268676515682808071455\
63591518817361355099749259914070642256589790833539579202181755588844899105843\
56059444068569508357499368983402666636101851268205069903303946977745731219150\
06803526481301091678231636574170281774537662474862946753159846380049958943212\
21956683846358588964326734111560585058744463883123617390351186661959396039837\
89967545004427771999199884990968418958017699441278209039812525102615744150949\
28345855857387280450700816294568048474295904273534260978544545470350337834502\
78181559606304697488118256871470429376160419231186852864312460369570041557223\
43995594827320255959354926981756560635832758509427640142738827576642641793914\
14825344712843061529616887125379692482383501342073651674990088639225283716089\
92976781799069371828415035552507765457157958669280119624667421623578306213151\
61191313098098229576267976044282285392097491946603959286403224699124883390806\
75112466835586993230930672945788946695579027431516786830087246610648893958016\
62917727076599152418289456271919275605343036135457696750090324027497304926074\
48969781797722498433390202679026150563430630392087457035783439961350372796596\
13395004111769672565285369679639697002685578513949925342035614932820294291665\
36034039326163381425017002656981347533231116221085852475590729869048968009080\
84023737267501685731908948794148219690654318807319433262017588335280342985459\
90260547520964086789296248427601747265147925596503865046069158014547264028934\
53948600834750247439415967745458255833490484435020970271513224519416024479604\
42180166450930694975240100562813794181028148626819755468107174158628123311700\
36608063849864073726164468215625360944030911576025975044142488189223376079080\
31482475891372941359172955786876195279192318944429543901000658231904549497096\
03223813699706478631765158680224784469631446011105098716654495643145208897288\
08469219177232691653345727721329217187048315952751695811510683317527843387738\
58516525600757206901854150209080041444523818763228187423250799449528547775626\
66802314490751361957482208192783220620773754844743090566756631588517423206788\
00697182662483288163895869070148815714232242080874300933892303467553119695060\
54998284069958369751361742927649272973301499904140416944617334347531591774616\
96872468031400600749644067981514614631407959642746035191574435813191409078928\
64611116098283524145254002597607082931287140630821602160645435931527858431690\
62725264491448417237887218376713533288886437610152594601364350523073892538785\
45236021828125190042493502850843529442860214269295402634433597886862459085566\
81232466338359532023380435737635927397185440122966677283349556712280906420965\
45252274162017731991585549165333575211667348475513097675021319216972596758526\
82244761497635188293090722718070557915990794425995644445506325295825295927764\
65182600609746091656650225243769136418729638720508589825528445976375434240534\
18334550355842245178985024788635064144594231959104137104747957902725408474728\
01901993444802213252088252643762287319368942561133748593419560974578983356187\
78924642887308690420600225024016355539928406377395761138376806365314833953591\
82717553258173217253082751809651302666068819105091905812129761427411679871185\
40608628837651471464711579493095582317498103410517606261232335138582195896000\
71262539714737976825176500754479385755286981140751089512074489612048196190715\
89728643181289618146709139982228339363649317239749176781092619096501886188498\
75024489092550607699674983119660796318127775029369842422504120920835904792458\
01165612102565988013872196567634234206539471876548000871962008082195728200792\
09066669838501201580822176008949424864698018862134356998518699217654438129482\
44097483763518923793285528226014036287174471701488721504029851376037064783574\
68679052946574786285318956136051242414772403717654016221128067346874179327612\
42682310559804443523402305562031781685361786904328050792217955019740566026220\
45990406316230135669198986074936204294368596299202204134727621125731663682593\
04773607900281275050446857063771091697737160335165590720464466537395763595711\
31527549165507433347766390769604744813446988197881261368604882176298756509282\
91011039301092364960161497504262684310015275051904023069634690477741713155832\
68317011458841397462628575393852769340414618075196664210805134894150957955693\
42301671489155453317187666707470618052866211645225898403503175473095743188997\
03084094321545054759703113484313020388232481507575391833034372653513969641435\
95539060265778496694547024633327628272067955536805943761739230277533399723068\
27923568649135629626475082386448525904926681595486302652681763213332959488850\
47081943343370433012717190543390394868736973199619017524555249924594948995600\
02483296665287098413693291339027149598135216855362790186474856227262513819853\
14767543774503244645270060237625692512302202229869585132324014264620240170398\
10276945700581286794011235913122059078222165315630868743211206889023189415871\
59813906733960458771621317585687494620961888304400810401102270517149859158415\
48527983604532346477082875615092814539623191910830422809919436823954272474791\
44726273638338337448271067639750711653995815850674168927281977834701850703944\
60207906937993070755864997740547941093685803384455486545502913874713951868654\
18630771403307716255373020322362935375782868776742843570195055593667629090719\
56966170035465123300289074178198348328935010816423570394018300253762567133577\
55242448514891431294519815393461593557267352347124717813124671758168733500668\
40501965592065658998414636248911039082679317040128489799922943764245796486431\
44003292684272446447913341103149199919097357691644134547459543682634830474853\
5156250456
0
result=O: not congruent.

code version 3.3a
start=Sun 3 Mar 2024 01:58:12
end  =Sun 3 Mar 2024 02:30:13
elapsed(sec)=1921.804925