n63-L5-f8523-r2-t8521-ver3.3a.txt
p=26406904875392220610311713197744866790548966893654894010264513468490311804683166897381290102021765187019177668913856921986198048392948269897736692753851507492472902853819971698642554721649307860526701103111214555968318646193782330914222926221366703290118520883188445071445223643572828716743861918979539518492410854559006535866369764056760053180407213576407878173908231741117616278619246701107753994583892246944874115048698634859958520417950112421451220502828677926556283277477883165495493949454584761380545558969471498176946625187557600699502120179183647426102167141868859852165761762620474309483763058641839069189411030844289521623803087385538744744216502089722351728937685874090566863222353514218963557127352150220718877631109409185838928735302617770854052740717646646495597800313413339004502180140003295124670397752410668643322724616899759439389031633633793691651004745051974319151157690474269003737489462803616411335937876510182387873998893268342314132148297266401616518677816222757915842204489207317743868991121147409999249185762744549976463592807938877315021179325896491466046967340818047642920863983203585656651847678424688559247161991126560762583102596385815128275583315936860209065824286513765517404433097713567196621265437827111890831283965888252655824354089499049724910448687037963006758651992118559056128557168776052181994414033897607143566797684424453841544624697845030980872738877670663170979816347403944913136654930971843620602032114087172850125721850524404492594986011656357604459870269698848496568469727449994798725239078971884911863726426105297673391392431813453336243072282933198737601720703980402028969326268315151751735835171730094794286456782759118042756006032067643106287970130934674331199375492915081883969911877940750418026621009345899451256722039604577144858391191062094437273270906895140075383261525183801915363433214191759295485075435191156624837002368890918670975194539560423978821071754297113134694958580321706590383751562241479186314258574586552231570698317012424931226302101521359031325475889824956399255144833349863446547913571390145643098517228196941311772023913531721186479300404186529548985424231151572552214378683928102649388447498615245862109467241917688094798688393451997267467763946753086619441639339596189602534998262374165125911227534012090738339726533438180126365139589046512504034966865449384387347284694092342593431303427474073758481504141773963970979637122845810282692941689419891797996782212249541467369103532456577555291318332825252350938298925108326305176504165033796406192941049282916860818103700282976645269736417763631719560411364597875481150934570775086032818573710768621701322944878790321692321979471961764985397785349674460390157403371579911760464772004588370167976854691987877947578508514697961589615338452557406813580014494932216058298016489804539361645897455889640104283979514540117282212167862658453124487822212513956670648999206235752150821260375607342457975873677931998643141602269811762328474247039205849800013719047798874299615759116929242990663186353388710716867572283364322888270794608186603520693308242316172085412780131695585848092323485062096661421653029337420329388254273973626351068461443070652509376479257156728300059270851777038533523459042682907906783056880172252210614189053626400812529011999868566086928034974574875436534368869639295936054101748547647860615631626692095588989849039321478972262954891951528306792408372572793541841219703322346656813518133260038500200920109957411337149415712005762768691306792600825815747231015959937334740829303973522480498887307676165758438554968011416784021060938296023673777160870313609853434121466401737318577925031199631346198271378061584191887882295739685371837462025859491542874658505452608482971414219671115703039619380917155348890633440142776068903725825139351264312071538943325845298556599677990536337150623878392335551001037840079189906665001571987614588507005892044088212103112877981850366089642138188903454154273898308553569368687662583269350392432021909941928526783210605576235300101523461852545414505678175565722305143791705893276892242817798361148523795120305048058977989856695278477875425716827374966991332420498730575343773684210411200883537091345378775461666358308314240886062419437083022435701308846350030716372665430111358868462841887999776535642354258607081224249100470425899989604639413090065379114057681306914223515766453560519965046420056273718287814520708209330969431166348045748971186823953188804380851094832469322547588524377972204951143882023538930232136481111577772211573815182682140698917115589422552329865454385904968609626801302564591749491368507197860659364267191727473999537194438492698740752743191128033880886491249637891995894099514887104750498555005507315458426536411617650313879551077523349890328740046065560661599380540864222978393350239034364512405340344259142550120295566813271393123956117300997647098529817028050680029726233185290004344449700662118826812853681285623140473545217950517468690703470509769596635554102796004155762527443372776527446834545337076327525039038394517466749694902130664783617432353233426365898905785976244321850476965657193250730179806878252267362224855849843827160723222589964145650437066745069157074341065010365597396795632880990149147833092782750137572239765521430153872210748913656291084358147654975584952803207280530691789823027584373655717289425090031908561485810992881219856596014687237456843027079340052691476659882441155765528331163888118027355337484125736581292716281642396249638776248664770365563327335102490387544538291915642207846559649225077684118671344527293359135110901994029041385135897098832474480686036359779570001374092908566141667123469109362877942697829677399281044219573466194456362281108252011915547497021650960369865584615980510660437024072878844452039628503504774926016740848358620635907116163184790980694986931473361288965357902063941851708933415427421332176685116565123770234570453210695979038500866401736147047848079702503376609001861652359366416931152343751
g=3
*** a(t,u0,r):
20438944373553578752381266015054526895884900375688887963944733424611501336824\
77117857311853896484625475284351573932525761731728945614196090084820019148106\
67991740268088566580947493373545565642840476666538080800663194786321539875241\
27608544895337828346551735163587856485298603100125369426759749125290163587313\
12600142867105876057019737993228116163518330813969770660497136762503499965129\
69466574015918079325991353325650476927433816078948034933870142032446691893967\
15154563256767881570093512316877848605308542262642370939588956687895169582941\
41464101868814310780307736780649752557629960426824711554043260738878343955260\
41378734800897368235896364069884320235726174451002381977688665460987521341016\
20005477793216570564270836411286478682709839330841124226154641036821315458504\
38759269744258192438948468742836255042649488786036585752993178885348041380608\
71104844325563173378776726702281230229960524270842088928168442099991023740159\
16418881168214475143389696951138282782084194851185456629756414626861866274646\
46393375459912776809533941886978036428168178282083334469104182639279824388439\
47203527217931688756207487229995752982485301031007089448573033811319580302393\
21409602620909285301486535129801816947997761654510471031217630301010184859448\
87818460350341378959750755560805006527226448708068728376738336723119664189976\
47094435032486326643888636764622367479291207014077445272733555395161320539791\
95499891317093294338377852890653362767770916572206962345972856303471785997308\
71230588907726851917302202078585193958874690873634399556904629597421333504712\
42389217825242538055003992049377422236128822521379469902958229037318248808311\
70422258531675927455843536422919093370777717549855557365093148668820355764266\
88888134343793234831663151627337819271179352614082355260466123372617527270285\
86539427101203947818820610944495116819368384183466444204922626824912973077844\
21694705448386837955227623839833521571051334800573619768159607509537825965566\
25389794116900090095702370917490489020723613672999142723572049736761689676915\
78265775318902459183387245162530234821010127943076280851042559727277582523346\
24432575311546509073552198334978512840373870914718354911317155413929101360351\
45062665836392820029727272764524429058537418481653184588502004929478688904344\
78288488474507523620886550776038074552901113253582314749483368811514178066180\
41922000678123064353857823515806798353227473167315828852864933089064684205733\
04811353823913308265715880433686761099625164950943228114509574368613412139102\
77954803896067453196262433680338445602066142237361584183933363721449776502732\
12264019023923438775987349050950939758396198755622410823357779916589401576052\
13491319682395933618370898985721211129840609869788586064803234198183020960285\
17025997335315513985100140855315986175314257655903762222703622719622794328737\
10931219077535229122664763108713465913924630858581440715800144254050776432217\
92569764271835357439248580246308232538562647216473565553072008306247332622671\
93669497916001568343040422390672083453277452106185429963287079025975565032340\
74773306237522862094855500947323985915521595026736431125016620579552717194109\
49182193238344642345837743806281594035944470716333494650880805558679572698915\
69366850422573949450393077042458756392754278249471572990365707198500860252533\
23211015382327506834228897455287898270151282299070320953587877601505100815054\
50587475337587944411649887905968198587814315643482472453152708637048290945732\
40803713422013851040503714963123736630351432697991555121651070363749536477610\
92460382967071457473039181388356806352991497089401881275506399906138776141352\
29703144154524083659083230116624112232350352251362273402655801001499494468457\
93139741485146619574620466196661645212208969025164778021956080152464541849856\
83220318965819874606025443554152665400829878240041350282670508677331483788657\
85787857754337114213420426108280815076467512495458288187566771647480328822129\
29877587112167184136915044225604421242761678093675579521833533830149582112735\
15407997290820462691364250839450477203742384958295052679730205008716006122278\
57915947387015082739490788786906418129478036139631459594097593152895741742311\
61071976489641490821455418755795048243882244512912934660174653160808315788582\
69483857708701323172207329761330635222445812312644302259365232813047074923774\
47244304290619176419023962131182703858718219616188086756880376410964659195399\
09057317106034342806453315516090012032350558424529459291235558579547684390281\
54022170339722753387409703698601739768134590778747400331255651833517868550486\
63218536468621913199967363638036119569175813295139597690096184746621305550331\
58616946904457038511442081849940141063192245711441503479428063970648756417884\
95393348825342623229933098223806144227219728404822033024522619076885881574262\
66216482213918259206134294277253400307281511444479565474395207792053862890858\
52764530850125981326017334264565763337931087687134720582779420347909721788542\
62078379711226343008104485414463362604068312479971953148749315072310726523998\
69370052076660448617456166779591887556410721656019624117052903224384993809089\
70775043802157173565192642638542491345425198926414026720072057530783456131051\
12269171418667576065159170523767254938362038427779122222399774284632248733438\
28966068352757553998431802297238511981984988637544042281381384860648091357851\
35869390970911196591699692992932062849511027534696824351307554453230233503052\
09525182015019684697226590017708490064169005315367921791596502959409200783202\
93474900945456251892832084940335317303121271332011392056240199121469722041281\
64665322629460153573693275599594726379427070688732371685002101275078516206641\
25059970575838143378478032095184354496335248050992142469387181063547911230193\
65035356509064686752764812017030704352822594986283450922440557778705722263376\
26947578433262759624927689152511782566324082256058786724617126957927369574166\
29572372192107910305028219057919884960381637659187016197490993222714463540824\
11110475428022140579816155753078507868777579967059494377781503441368973761349\
5367440918926149606704711914063274
0
*** a(t,u0+1l^(t-1),r):
20676606517432108737874071433834230696999841077731782010037114045827914143066\
91968064955014988304214143601611475954996991519307189167849532992783042626573\
03666062829345410378400371203470514080547924069637360809973231934999697315651\
05836551231330128676162801851536552490941610112917524885210443882560979442979\
55769911970211758336752525644312164025884823032736861017014545329509354615887\
01669673713777591876293578364320831310310953475214872549380259963056537148548\
16493569806265182518582971762422939868160967172673096183072549207521857601347\
71016010030079593463799687208331726424579146013183138432578647491655999117530\
88371510786954314378174228768371347215211362526014037582080394129138539031028\
01633448465230716733622822881185158667392511881199741949714578723295981917324\
20605307764540264444052520704962258008261692144013755354772169337503251164104\
16117691352604605627367153756958918953564716413526299264542493752316500760393\
57307472809705341133429112031965472116759592465734124730102419448104446115049\
32979344942004785842202941211245222898263157099316861614093766158341217695281\
79147754278605313044070364988484075691583967322065311418905278390520970771025\
69332970093245439781736378561543698540416340278400127671115509723114954450837\
81862861052089534529050182951046925207775593460488132195072503429202450982883\
17409486602631516488585016261885418263934128025869043473579294411384126592580\
23354541216129262877196200017288866986000810950953554931391145330256341648440\
20896060871770187404712692800429207842117419837281311179659334592740186219883\
49858859892977916404480782654602741099339622783255975366946115421473112166547\
88682982468090763821609158939464664223926295660900389427477952723108964552223\
48061252185000132911101095250911514844100042760757731484425031783927033401335\
70103839044241203026016199443849711200988946790250937742189168997295682067121\
47528364814065754675637247372854841589319373577324475811975416899183614639584\
46615256839189626027047747323507820288406446390127039731985678222072872115019\
45454912241215278476217329408606167784045129430786470163263984840385461389896\
78205047117494724295337689013292216478052636855587172991681308383858509515704\
37447115439141573751003171285042154977822737301207291386042725917030766682302\
28036029038164587849036394389712935884911591314670481200058756820950389439042\
98223419290659379055646867975292923915474304250656710583712199752891017743009\
01378927705586718826945134857334281577527783148047219139096895000806591350022\
57931022546021725907846880583598194969532027612214625860490728415885239020205\
75197321570713246203615108923636415802098480136501741181768916892363696943215\
53183079213586584009282188508810992654606198356646592879510248549324683994707\
09084439164795926938415258772238265084329539721670085039246688100083524495350\
33151349531925173647346911516954320168737707961588201654355959884911831972127\
43646156879647396479239842807311816637848259393409304687410054914459510908982\
07549375798745772626099031953354316981803934107420144265185765991393885555972\
61689274914703360491307309097874264821516032178210110556702860353733562742878\
20684311764371905628928880362168589315432197120011791100309652134943288660530\
99243209148417832583537182589464090769414211717488684304207168910111335371748\
73480910910028989471836210216395897087246064651385092127466806410824927568717\
93036166911280827486203956369991084617905179778871803528189368039804666421845\
57557244973432616750277013974322849846983426101456573204460966530769879925025\
00512247885293218606446613730081885496630933102069345011268102230628761910437\
78885738853995293934188849071468578653656751696145555651523891710819256032044\
65152994293113440732464890222204222482118375641736461487327662479818780708576\
09769392442166617334002483595480021975258132638181365983631793661951617321084\
11203995635201499262413686876981754786658995198893849678119873643381262878200\
56969186962308663022228009856134705210700767373834597888366481897942019114046\
02796462375597444815682439802699901357274273155484530036471253904166192239979\
49287063054305955794601146796056492758890571443580662612633611677929413157919\
88526301797660577924030481764583362758345991542132852505060404941747947367519\
70291809542523431581186484758555410050613786874419236006567154124826692074050\
91979703177719399400640519830382502740796338448934459858704566834347969186043\
26604495211918463071644633138370128451331378871326313469040623214193587697145\
27906149064603250519821444439283155346833830206407253823479554761814587952236\
47674565962443098237176286471036539564166229728804011616725210150651785847428\
46507841635904213377854199080753398517415411359248962822212111226121416376232\
45339783114009397918653250528734122648466469432785079920156603019640368569312\
22800394797801029662019576768849370078296412740345606933399803231496349668659\
20819932371639074132133814895549086167441914288147915008160576398466811576781\
48846732963682463275640584082073401704115618439041394464432446642918990785905\
65525517798482081740914959416563886248927125396205898816088402099087144899893\
07644521055670629071764650111083683105255724495325817728444988432304193993040\
08923464109582315321730788785671525344622062130427716666846283287941926044292\
22326138914998920905390311626276169098054581528678275331164889335771906373640\
32798104819410163993928759190524296138458830180449113006555316714314305985645\
72426637619845494984403643390007425995147714679500106928708090203123261257426\
22468795142496440868330132439641541922925007045174315219684852599626346716180\
27045151962360853033852499734473734825699478487438562053432358266649196627648\
70700202791836261324739404561407428385827518377166469707403311075914747407288\
92535767631263113342913240063740363705762392602403025933166610776132532987369\
01679527019696047527543127398471221898490641352059470291182442387670711080842\
64799957915271955773691337884174767343641889259875237316066469888094864279670\
90309434444627049191209366866486397495158714617839255940313846504640706014388\
4848457673797383904457092285157033
1
result=O: not congruent.

code version 3.3a
start=Mon 4 Mar 2024 16:04:15
end  =Mon 4 Mar 2024 17:09:02
elapsed(sec)=3886.215839