n69-L5-f12033-r2-t12031-ver3.3a.txt
p=7013604330776455504318336183083027398073450967838203072508599485656472949763908389869386637513921700690432560478241993254568395132154524305090485513728294877429721967068171765157111364971375941266298483814042570354307026033663697788177574059532785070946897659539060546712713169047454611539722602980774074924135616707869381798060645422449685175421211420273969125184242630442969510559715451606323327311849512464238773583830114724312434603695190220362107953858533364461321599367110334324202145351041105908390792108797289518777945827323803551391166903729870605748424000488824303749744889175143059395068950705346953648986139028805676068157474955131055885143637507588580060597813995242799601844190502933850752932204633091360935888279172080572723243828292448401417353395261195976258275225012034311832008488793361557925124912089158402494322122666932708584211344073194446507062666531458552615252949409084952052562993089816770272533376755798635000663284183691561593870810817348330302222935475670130566107971324186639005535566709256320260652515201423816141327644741236654997722815931543754199283702766578003777046723865964250696411286796496292937734974750532699736493493218130375017066383792898375424768936970437706837653236245051873807636945037059110913940805116545273278039742985725552642286832945358274119553102767990647726390490582386328192296107061860666121041672090196839146706497625061151532744903538626141360062303255153767905704173110172834935004406390137193331933113307478482802270162404901567535163756035032642749668775821528471393512631417932543960193053827484120535918288084620955976718484243246726619424565987192123604003747324611728369074351185758728544219748703093736600811185440495381388608728494576079398674753655766931666979939076654371616718601851466727653949992938323200749643574338424181396895447388060386579711576662830033113480172985399498974935019511802317997239343989287245510779007507494429574190019386304286268701826052257838482796000866022822119858826950367134560082877865785298104072382139260338193483142584630280898679337207713354043393440351286352689022867283626205074735613151853543455115302700044257565587846951573747596448092916090693923800805793237844083057644866556526729094030692652315317023381780985798201224187784830702995419203938988773812545080210798612683005167559714032784796218043728851257921042653370067463153353384583126482117473326090353171665832920120128623848167826044803891083134382729010729969947459756348590098502983082616471923083649664777266540044620618000709810099846768655049843532281633540177768901449716866533154305025945833524956477856142679241376056178013771294615591564746130022876813862316039596520151381612903144334163031276569829527785150345648621900315010619016892638842086226069693891154738893536119633596326304757994481643187138644363507694534041422203937523524975210473813951899080863605303053726794659678953860321865492591041395089706066903455873074719578159521447850772470665360032694385558746073294602438245680689694631103572683728802021174038186638005565880266009550073109472654481633439135611028078613459983874643200869172597012356947013112118946534047228514572882271235531183603643065052360949770597295466763491494872407264501976306902587628479551009499504342497488894295262244982503447586533171071240114031987793333538600405082887716959845907709012066492466765171161069468454174116902692323318816875365279696213968359016439504077854211849718848450992785561829441737715169660722458694604238288657130778462512691667796337494250111624383804818612035246462622831491441894612881695590234339715045739084641159807334225986393354257854125761206288411116042434043766621457645481931640724567380283175497040428445355705221454818287574649684880334789448679107485629727695161661448322022026624321945965934755902978530049692613778345893269285840145391643555778918645449391780114978991762471388567714342036251864912963842837377164290704575056083338601622978280263443681214181495056665292299214290394574411356648951059944483405871090618645652407337551828836580435544192642978322485366786715226625410654427483972739779931665739310610441544804130525300111845195621826647511240458958875065012564845414245217636141791632473971071508332351971001412671359441157909203167009664460990182158570191273018019945150982310229706814462711640692943006945736488299404007377370240379097170527867094898638517009347226725447064341144346188402381321637496050494517468583016721813288449121886527661936314463608894034695980792151239524053043291918873188196755652880357921480264882598904289625407207200273140632756252589611688359889047484480373635729802559822903936673716528456179631308893953666767473828860518559149300723765694576534279544191011262488272447718210279216145388114285407161273349390348226828062979276746766923944828557923620147661332405626292353704115102646957259932755719905532307712702621015729808684456279299337713745737095679803627559806495838273787504716512287894614759099897670038369653870396080873346810281091053513439548954276108283959634143741556077745420810190344399258032521053515934054935580331070192577150946815161765957965503594978672026624408684087913938650169795200446803133626308384473657028627213960099011349326371617100063833321182488128589022111421889705939646401212819032612055458155181754747456745507656770734602856335523972793178963616455102966306483758281325310041750345699643044854176084353787745299274707807161000920607426333085269986985007572645339403932904892332165721810413699761332391674272875089745204519949036097376807600437150975354548205929199578273082642332910549267481192733215164009799554605054980162881584422520518433787932016279586832771483402362769647195751409945904700339470921654649657676680638686018493379434800735295492193614492671637843766820546976554074916702365806669000513513091799266452343408078785414706785122772632431284208061280586982866415946494639068224940172299287311609288788476475368607033994816424754695330313995349058638275659349037427043800437142823084699002125042239467819200014734705501894529828433793289906093037811031744973416719725897778813187555802093110211880513466535262646616718090234753107543304395859690141827773956687277781342149857586322261508382767196564977570631753905856647553171920329581132208498353634360665494117626598073179730729117185538337714586758632070843468883154796492235902188688576677847238396402557973216250765522164104447702298439162683205656014685202688908336422690207342295659818809574931475361751884308083528880270818165003934775178321872578807367526114842401303140552595444549486610172717717211432017923806443109632940102077785222605014769627267992338583170758101108979313157761585965561793468630289081809714406901445837402216693154123255700536891089449716797679247740412715433472677178646820023230818487971433799319655433876064329889673986550818965972171092475166357388658807242305589383995556764199808283974360425892213213222227092195262084523276412251509671626929095972029926563434559901814383293355486859641211398283738788635130828840970199745008380572899786440684550078420353721989411957405720128841397389619497414828303937834286484815778344793262432063978393274645200431507685487916939803777056434515559252294962954719990929193748434047465744051258029685218240526219686750957264743259793022563704630705559874152990695347629698214870931756994086095321088787726685058813709887376792386350948827767818332420221495068344144716887161739396701395252112068264310171113453311839698159229828919586195076398598247881045951831078432228552131957151074765024952692305254380615432885928160894186017711452525358046593350992445135679179213458624087910136418434378866583219140162302080003061921229183241037930293918544256416959613964534630195381140619496796158528666799777856603028380030201517574370400628830960569377871343591037527167928182068494659619898122342434736567518547257034999245282330930806555278884578874426178854230523364837320512533499322592193836105883551003472477029771084965074370588146899359243763789515455832022684192803899690937095267752294879083289622367647398140482965793528811321552741652890393056195053793823889364229625241966520954758714912002683050234224443741120280727353243148126600718358005848141021448192473723907274473866234868211575367059665728009591689253611401757495078713647275020416637113192300296317954530345621475254894746912191361930543213341021979831775092244219968134469930199464035907724667379936346985795994624091065361426444724202156066894531251
g=11
*** a(t,u0,r):
60948221634447398332526341430991508089258288910513984700099729530354749933448\
36390796496987999597957899985895055592292138219935369842281621123631911429888\
24848642838938224126392152977616012569296041338243440299363789280562325375337\
79263118577339902266528540661394436150933477439022380574280189419902926711090\
73850919138492782514700872108776417441032724218079169785106845854940504676392\
72744589497143399722633142349424434836969542750567061112030149467181190306549\
37168884698500188805277316643100547210343915983425448445918180349239443852861\
58924039341257556395380456424788319958528308693199318614314918162946502720968\
95481603213250322884573600888756418982099409447607265950036186599285400260154\
70495163042980858261563926532869146005380176964988867861376608316801004819793\
03368441170535457816982015376761431193836933548605478651767565924597564523759\
67965799960597401463745721583748222265481303649482333367724099505077336683150\
44007890138155763939556279670250737346002756990326317309283573434619478270807\
18189295810407470343742306507035710037296226813723280134653193021127044511522\
39917753770415628528225360303952293385518140822615527856289169305821291607101\
28456065552958898306875160286882441242062273103672419206622969500783388365052\
37204367384214559646277842478616536654595505246147257829516340209891646305383\
87287423333631609371919910531703675691885918521304638105321848794643617814068\
19553211750661168418941415287286243100569264327401935585188291530292210054498\
75464198801555172771129859462188057303994443366549462166188908241640962476702\
18338070140776377608370074571299234553561074376836280738140543227994784286995\
54118792564250875919527256111804243351049269616229884571061049201477904864267\
00985061786612997448360926861463618605567057612648934928465008924586331282543\
86340286145144026610009061363390214378022447593776936011999929877561427032431\
21646092185319557562143396009899266906163488669575240126592999711268466984247\
67501886839412061641549724752573832422157320619869039932712020865367424052438\
90007901723389013685090604371410095234403350290466370889966526784048676087166\
94711722099452478289607292624951980463384598244958390009175866613133927440828\
13019782900234323686508177093389037621727582712671914862010493318767676658636\
86381918501788090301928822298124444310167470318399442153149060939149448998791\
34800003717431333860657785886254802640912027369129600843203725169061776088075\
84391774124057840832934581351243778591510324343884342528266924795599092298793\
71410115969155869144462329877531704261682497676684196123831402955273954641448\
11753598039570173110910675469293331871792569879882607557928186939672550209490\
69764386989879951246352638409376011550621612832426387674179339181859645295650\
36865243137374422792567970315377293045456399141346809848288796159520755883469\
72045479296234819518881865500819958952217079432034579017443242003012704730083\
53688584559261010904619701113061614972332954572139103153701931313420624138182\
32127700819786841142105055033769300951883549651934463442900466216032895640023\
91841884268367499511622990135321317367445394586088459834003150967259870649415\
55310986803738186954394431364538087041579163834693703676598551565823530501665\
35064904976061747410904412191285221741069834864914872982725506927363031784914\
25828908897954959526973256609076590937973924068450437520170294260381060937991\
31485781953618933738969368086677307588439628964051864692428056009938503985285\
92904365531009740567930391273065322978487007448243516781660561108307284304664\
64839235290593150172825033470015895263873738586291760192405660630064185941934\
67913641212374747264553167872573442382175824850075235286488264629259840875184\
03319404669392379859578964905346607950692813231901410783744423709190237057616\
10109320309021444050122333670954837985918371411365357710443973028796883426131\
82881373382581251009395086345338249971880302895521456919916743841587636665343\
76322950287060936557942568075576862227572373642124481036812554893255897512371\
92042421390080172183528851634689279384710917560797019777476030719419763325392\
58988398487903406748162239783737655531937481858697483572310868760617527460920\
47370243478942648579719347499536735668726795883526243149591885066497909412580\
72169286198808611407408138628002276114113543662230975521313984166004682957974\
96216252659332336203627589615221768096415762167473035845008332182082410934738\
88943544118871650546691687128112274002441349891245443683772166936850298406787\
97356801986415312557476622869193925382226572688761289161508073083794271464020\
94620677500800542980662353031033766350182978447827684478863057037359209865183\
50037255718474358226401344468944919842448610352096945966322842009960742884573\
64209347572797906279007423289523885870082889239019887871023087570671247326388\
30342271314018823146540620212609113586728991492940456908056016835625908317697\
86048924805536887602420020585888156472059790757540233857766266920374679250671\
11244732450455361457493523494718448834599213415986491781804202256578110752633\
43229213374194278938378134268125503178968041265938098760922070911412231560770\
68405540928295523026079550534669373901930769999734954417278237557461747202262\
40364659911366111464723972126869975520291882719231212619861076079578770489313\
26040862564616935259955471156107582183743860214825622154461552722653939739339\
87619313685294487553991184615373376836988215557033235727251938269948447772033\
43859464716944262810504129898059782790173034415506650697210844229098000078534\
83451099618689971580628799942017694351436652012253249505092597848364943128452\
98858272783571236862044580477988419758310239095247443351930881618729926731344\
11564851639775245158129517927777615440968631703305189617129221469609576784190\
76653246823413107975242991184595000230917890552521035475018150070746728841838\
97178271625099413165328623336705532262549110261435588599536144624287677356254\
70864216204645253801962716894175827859768052528300881109154575038413502874730\
09728080673788471957186057095319512541495473111830242042861958331956661547974\
31352410106257987711326060343284666170609753488481280445908114634642090896636\
89283948498577865863818991294418051697886599859920189127741241662024191432399\
09928020414000450455131520002070733248335568361244391986328226242514045250784\
62469381496550887899414418942672370639876640600388918506930825941831438821751\
37255931860036028342328154739758932512695629744594615181517529990019703731330\
49250166473822878724921915238760606765053297343632371705715076761441136661344\
35131779018045492838254552061545208936238746372458659695534098538841931962996\
17072709836023801937980467324291402054413135038642400916962567344235757877990\
62271024948705595358443757834806095885342228775388789863703023134094818204073\
19852423972121209264181959735643270252630635093310920376655835673180389718326\
62864186497116877564682440866001875812660471759716087805720382999026741266943\
12661681429816679360919564570744503493563557174692138828089633398773719210100\
33328229011534311768275145072720224656190464380138439969400618362463255467669\
90819259180810282127051085690073239286902628031035784122827178499144169548740\
18147287384408798990985570791963174331579343253485796121977994955304911381625\
34505346359722375566667917498017868899982068948226204159402099024432280765167\
21174693673891872477315805432277964546510172849077865818630618927601366078593\
24083131530638948914257090207748722839696827860816834026156534489316109113892\
13043258373897453133023413087317247921439106175897494355153573351247408538732\
16855386975909279886977003707213311204035213903818774086289321412071576066118\
02670764283970806683889613266056754811177871571817047649391252244536142489622\
01243482290520673649554433239390854761947523506081743280104050752266080954816\
02364619614254152149588263379045351805936397862111983427158617614114490069573\
88031662246245118772127878146454104734789370197580611611108929590217521859209\
69146831557578607717361756636341434415034557887089653735069904187634942432632\
48040436315253916109113326164435760128058220175825388710728346496280410996555\
43182830733088931118027712563546588831424335787676744249923378681837485588984\
07969727457653703842933249636175156583350174683295985751554433526890670968532\
32585303315706535410416110335239520699682957220160242531070820345476384792596\
66075421517789758100475858993974849517640335177961388308127263223402159481992\
74205765136410895750030248687034506199650353506669429351764205239334810047381\
25551602271523088543693433342472038127359531646855306567193283351357990795804\
65331673622131347657119
1
*** a(t,u0+1l^(t-1),r):
61298901850986221107742258240145659459161961458905894853725159504637573580936\
55932745843921187167566403438057857983502104492777345503054242649084338998529\
72287357699921758212274731533298498257266674487485347320648966434075342207186\
68671997280316541520075885544371389178269113097474753304857175550051965414836\
94529002677839691505004099221024843318138781319449015411028059007155352229191\
30470392658807055647389374468811226752026904906784362959625259648235167235816\
05391950778468544321993526750368099265639335523030888310394119246530810043039\
15879873859906909424122576427232441477277033139075033911290262916473237489213\
88551117616088356963311078454284361553918163241897296248943184220685201182249\
95641855580627468493218494579663559963984205601151059275999028387668674582852\
83249732546660517988541175419205398001626559173165924443780037535210899187302\
60071471997194624717277054849477498573107778354024809394005596049985721819417\
12845680069905797103765464248330430886543624406841428456057356941147783669373\
39122490838085303890023907810298286044415307520361503840836468009741124169241\
17017395621798917530113883665885275510866346466013776002758036793196557956969\
53130726459477649160194349931801212480509121625557761089284781753377078746899\
62389662938784263671860568845006735369524133009358691994243131580489411819223\
82611286528876900565084006679757206622218979042140683203741422147892430344643\
96190456927592475486944530450043931495854472982910577331938511849799069721095\
41030736193969184121941883970025733122774618529763210510068015883997930039859\
27304342120872904522112134839258378595871552365195522859763906537707067280591\
60298992751617106505945709829363531287476480603665039257891089760749929633336\
44028704259493394441734695140298276940466752995920793012058018181919969552293\
82809447745518848397178273454088662101716477787066791800331344894118167118923\
91621040932070533152259295871866466370525764208525615501314478420769436299461\
98845395969673350833963704756903946532756614754620875605512435254696350542959\
26198971353558110426661896686550544574071954147143392586686702427225020598600\
58893032353189258947199969797707745598386811123237782356754553992956332086632\
66489401904263289875728592381613370404361228182825378123587078435676581587627\
86994012394203441799638424267618831216440010423798748494651644719006465391189\
45702190159994229912790454389627960308581256525453706716870029686720359379721\
84992417243298679963158600806659450505155377993734079827048667746091607214206\
79646077510980701533095599899842013262037402726607580451356324721414771411537\
00198670525413499768625926766585008119616462687016569626730995840361114940270\
27588117639994335315664218607358612307529677348148058489335722031007284221402\
09689554087531928102076416634798336158491246086924179295056855976318919035848\
71769561455591751737057250227522030062413955608283339541133939597966747910348\
68957218532559405673921310440524570179308403102473620433067304911311421745421\
57513936152466857489297834406805948253102672492279310758452252557897296650610\
93751216168645793524923467638976791000169476258045240385407081640259064381575\
59656849788799971689459991959270757277721736699105059854254469584038855763470\
09950203623795129156651848394917472729223286158729112758230256679534280529361\
40592021147080131906299915162638596639573313735127367540424438646229053233376\
76546114415952759594774715428948178172953090580645949069254454491008345780368\
12656404458115665427354616769458103893207876305828347142889908410426428633230\
03762360925176539989699745975597114454114669188054083323547235202158916586019\
45864812910949975959976373671610113512107791621364505915294296071315421087354\
25202715398215120825399327189036749538441333446124088636355151118334024382458\
54126059781455399424403820055712921058334472512696573807742269766592032352634\
31344442274310717355824287072296467750774896122768415820491638800399993608182\
33493968412993393039863986764159007579859901683793781848301695024977738119462\
66795254654695132898048580355257111832263914784967313332006963002040130202984\
03171300665624369963053852210571589108070608911969620992174567660275856157473\
52591015881007911229775270097347648992482416113005680682098167489205032021398\
79258867822507164982824756226552346747681515720126435679664467389054192065903\
47172617749432061958539140763755840409973965632188070573690773679102447821590\
09133092704135584094141006386616947615804073423416015856866368127511117154813\
22082675415566148648141045325288251765323388411941733863242872123401833440223\
59837137095166483964440617432823373751507391442349132605899093038724913028964\
76332061562654302750143584655762784743728521804065282824587070099776397331550\
47547721264240932206964888325712170598909603216229438434147501193057157840349\
11069211885445858952907367164350247727043887876674291527780159625244009056004\
52251737951713739659971344064518122849919743523694090209076774785279021478810\
76211618137742216241483704872708773626512902791222317396198932994533105636135\
35077482726174683305112185673580770746165786037318640180720241630120011949497\
78810636100495152042340077292636401369720935534831242992751645138344726185014\
20113593512697331898928367823802484010051905059387893935280299762430201850011\
26535919311248793345455790322713494624386805325382731602991250954660003834502\
93647042762885364927719557369201762204289643724795222123841420078175999255186\
68047378783209764898021414880212025498977252104893915660946234587148046108906\
15116525968624896618492026639037358875898312840862301573591404510323314492828\
43730875043545754910732984278206995245987513198212043141067422939896382005977\
85624488300533445648107248180526623585047852829331111306525822283588918422764\
93665060671649086732292720708096697585526163800809418878211580163213626015842\
64826017721906659501147545220115805750826147719786771502870644881044223255887\
93481386608584524537301973032807449423978455592330230252475372363145456285977\
10589577110346518401128439472162547711469555235603718694431935077249852926271\
05871123628158206282737602692785728691729487398081287813260865581907005113533\
53779253150468417451067662130404346586827259237710293783251835687697518195531\
43011610865174215992848041981369183957474438144680780893038975530445656558326\
53852979779039673215291371870996147225836805390955022756107643122164185880564\
67159590846572484201605071625488270444299171918038772921342141785129138160164\
38486358455835668591003169066371427287291808835828185121743356834867150105886\
03343124121716640668163956849010946617114688526500424135669507621343899350585\
33166338776392178243722587389448429684185362512972909552848427915836654068312\
77819189649215984284556782908654232225303921691242580369247919699883626133901\
00749158287265750169039163186366188953738981670372548226924281217905248117166\
25251207132888551198541373207003037353584870331406053788492076802243235750642\
45415776259677534823295396357687797529775085121612116611910632440193591012229\
79434835622647857865906187334358430781945300193602987955415581644180535418577\
09983926955153264187620999877012671043444070079545771373246207144133491582967\
68539389153018746050772599392607381318527440740559937641667166387728990273349\
31136562391711572203990517713771711643940538850114732376659878650579762242527\
20721153361313574850603007995179448807422199160062203366493856090591017206778\
47236659330009713867733828356239797194355612831247310631600473122741403182441\
56731654567072927546907322253527358668973278248255937936023271701945034594766\
30070895531581945478961911668704757183344967723748686480341619003625497677545\
63330550039344631808653074792328657888342301212621518579479809507162932722588\
76739704858360263256283745283345922971164712939373352850185201792267611915430\
61526671510768848076801084227026050032667907631169014401998425540547830058466\
71046804146396126359999730149598259537636259554298566798744769231127864332507\
79095892728795976001121030264858934037675723352492931374512193624848031859747\
74208678181279542784079455774127565422235770349449240199282594749998940403900\
39979049552036508397187825984510608329879021264015505724318795129949323825974\
78211210354418109503709620462620353111447701580207930433669246147873931445911\
68330903449859047121638297391253557067345114626490278448971112752527457202220\
34694957890159089274816916870810147846280383136407656365136050698795727718367\
84414083693007045898189225952207316937277800880125525032729476846005321037297\
14306214482521495267189943315673833513592900643672655856993014555911258867126\
88952684402465820313374
0
result=O: not congruent.

code version 3.3a
start=Fri 29 Mar 2024 18:51:26
end  =Fri 29 Mar 2024 21:31:46
elapsed(sec)=9619.310305