n86-L5-f8420-r2-t8418-ver3.3a.txt
p=36556529246090421557959655728608968759796832409875078940558311104732469585843781723475860302439916025439359750976577174993203748822409882941254483284524605415433099568802661346190987660157943562003890410901185856440908547094656713750994083034701521727330056542108034054769777647856352956005493762291532445938065058624872171408665029031310325297619913667479669417055652706515050319078016480703959351105488250086162724511550855667375377977229441048718040164007201770840064957963754248487735529155467009194064972948961911373773159611920331932162514304658438024571997218089979041943754496348607106194480926437651017862337473136265800458284098501030260531684110106181765816217429001994214635299842208920430386620787886362919575302961521795631165405307855736787692099846530224377486123147617629854272811160883561952535353654086557284154452318612800188516382719173138068442137658676987498332468540303354742342102060846004403181906743907012734255780084957609395095037385215739110644774095412441976159404314364611287995233521046898278486146460629921628820123843550678283106481444443121152986765058929660258105575841403041074868345510171826050175078224373375021950437858209798267427321198290135227908382969032560743505188648509703569672743268683479598632907650114138895161981628547987224483276672465482999966453059125365959143338067025264676119157966616144331790536760618270615516453395412639431330880152448856126532553094382184138410709151663447294609115790488811863295476940937394440996940859233934998651561631746398622596342822819945462733840195369209150603470785890731161086727510340552572626990863416288684391361324334963335371307948828670445539186508786826281512568202294060551284084962096786364337226186770293236479319720096815847478560176845942371665151427249353668922857649895458274293539088983943307830853040673330475679233995474703059802192725366012921926412976873815726834017984968843802963097812991773714280602479310849459578038516279437107199096999755464348408760977438346411664943935262119652371326560381133341899461451571721427393281432981518449243697789625865149394264426428960176877284051113970434966614559207011541562228890465130027492703012654346528070450912844724577570479488146604153239508202351833020263973992328770113962955124831770472416250365151730982553498901793055411535226093262281258710144412363206589557551591146206076713357630590229514769453259021901577836168655224792597686666999141485909926067580699020669110000393391942070742785813387402782089198512967255135509693843492620333246530172250599095872893979242958246053030993572761070610256620763318132162370963885918253453171447623084606704392915679935778271868291708866068184039733341865679300287992064348122099088641070599095509881256505316339126234261277124212121984305015353516367575342347818627770430072961088015199147286092925650625417779182524031615138654994783861578080509163558989652372904962392822331157118437816612266135098164243687302677594554246297386540702833538566676009892079187106690063426195327381216053958097314607558337794341588967464643523991753526012730281641497745059446841496740561226402102350237060892281871709631556218216500167830339638468586402253225249324349260515191635898600465831021617859612681770001323710927379878632433553045079722747056166892889652410670544433664572815599352746869628491449601092756457980042320512849129594933573346233294695517737452731729808431002813846618068583391671466310176109565466108046993744738046338962725205385686696400164876934320403560071668240562240068931639880001399290491519620035245078356384363447970771156876021524401875174188541902794913153077501729690938450044044743733892008217484355785987604820285648360625422926094322903015423155310367271605560807941050615001969890925436838276346034446364365477972007021466682502842567710667457804420903158527596149737169235061051258109548709192013741766644883931310688509212903021008169423849371999570075498178979235371625211365285729818792415474477912759166919449399366902818409960944259512247647165806485152879740671135437515718898582457465753769918506000395810931987590191642581963591493266887698499579236471859597328089488181815203598776117465269260837741618576168126999531564637311994216840168515974463281508801693652790227886299363624103668710359484519513361481245460164012978377535829460817122349747230892647954223302728683166529670395482737954585315805457558615226892910103783991317548268466834419041751610614264970239106423921108631419628255091689784455126987979925284784391302449253553065043902147808028472963250060713374141937089965728619035549019045103960489091642282565581756531135760087359810395654876618974726652650630781058079166538095035888501765004605716648509007567462584583611251539276915850031916978984957815309678811280172109935760538437938882213479149581317346571875397944191002968667480296058968571099807227887872246958922584325151449028293127734523400635294046885668168871117898447913364250569429612118412533406442481656803792862123021057109959188558851221350401856315227464983247732533682285660752029066218319758089875738994589139921559323912844938034521826614082376647340647052475140218899921270419742507215350625507887580938967510521915952222797379339330115175499095943302803269914892593923641778617717582882560717485896030694398271703242855810052504364561884942766366993936422954172010442443204856701175622332055279847410223679844807631990152806165063228346445156136416847399265075164790621010496369153446413151117112916465262961904668079152389063572494345820043974420061988139421043601496957644876563736172869445022512947458333877441435933390443031795975407473610933209112507208011764295402389688311858763784759187993544134731203247859357146182239740816093687382526966425119090196808987953334627031924809834256578164108933283190857588877010231281649134905793100510652303311688267707953430594570686393431022528612838552872162546879253579995561196369635581504553556442260742187501
g=2
*** a(t,u0,r):
39517608115023745704154387842626295229340375835074960334743534304215799622297\
12804307740498693754922349994789080567992616765325247702508345949609643057109\
84540831806338756769152324576606307369905262055341841819108126221394093239075\
64824603760512344987243791122018784813206129637332717545441938757037146574059\
04832837348681729276689638284646164672712667454552263983716057574276939492333\
58156409800585450327983431419051969864749764327835933850257736642014172917851\
14278110219558818342615242107017059836938784235757827826195048785540485878818\
66767796333577150456232899275526734434119861055284428179623388147910075030918\
68084603033302954051104796137116347505230247824888473310407511557460207591294\
27842985247937071705158316060902501405061077289803137792051467495159934099172\
55206249912257465787246890886491513047069071730006756842417096295642043700378\
62097194261622519859508090298234856973984920679264764718123277745307598396411\
90163480765730498271839175756097735413418213978607000797140849776228316063828\
14480232284743625169703904352432394094528075455387487828322403810644144301396\
63786930287029627390121274845566874019326814964957439602392595605476183987284\
23324724791927088934215351636181368961989524198163729108929038989558816235473\
44684144612217316977338414567010214046037418966642208293518712296373575691452\
06018339484504543111148848097619120520226655702382283505353732861204410632252\
68681444797213472781689895027141053621976592948186525472454169518405624222410\
57315332339071769306883188373354233812391785691102664659146836104521528125119\
41150918023519195478803851347524386781373310097771233530080678270615916060953\
65536383892683792751627860615998559210315086226679879455938095844026626059848\
54150789868698863414461742465793112432355117046370377002869285655131610560911\
95369903945113157551916427157651521369678702442092519491081540076461703361206\
59968602452428000594800707573441751320151003108735844107385137331280135028265\
80385963609807151288222385673565696062987061661085247100980439401835134421340\
40117720051425933178291490308630121372290530214436324373105855602264951998449\
69705951204344059254202040198910338502779476428769430592805559719611956679348\
59684415743678514726835368832668647908965190836674233149490535588570740049319\
39544899431438806819666447290211921403323128382928998695794068165260406656661\
09764626323311713270029048768927139598668038105465778973002675605640898316298\
00079809928702607194626863007905473564134330791042525668937847295146427178240\
74384235925176028014859790448155225802394991162028976226385983915616378639833\
26504052154717329687407045146900867523011960677631982878334880554459847448741\
85001057631188962333728421970694695174255679932361131942156031998911482099731\
76222461816382822469625954592364405712733038650337215971511933489450779919366\
19834908870936144430278216266452628326076619296308478175964886049361354365905\
03040580726781421511026434664093998084503127975785969204111554742597419447971\
31402474748504997630551905767666933376012623319585637171488990945543287031970\
90770563155683257673829279649435085561619761434454459062409262035657976546685\
74067264060626282455670331811171227189203668142459714918454190083573649451962\
15506169221584063871035633343689062413089933714309315124976488016606708417311\
80289567716411213714255934858532791403213662900319366068399257018781269731076\
42574847438990909212319278727819156585467418640299992291391404176819413213864\
63968550813003744402688627988002380618280924187059470219273188085782319660003\
56248437473368047781514515102710281512633021332709258099929703251496887256403\
62058297926787842706329781379692130111847677936979590446449761236797633726088\
31005886046526008107287858778360821831079630581596724308905070206056112333842\
75714817129452090397222176730063236519879081687739590205483785572815695231521\
88657899631436833143786587994310099641001642215463656685484974311952974685427\
84591481657098311471811711315352516135314765534367268534858738739341146011279\
10623692659439924800715621946701167780744532739706586236810450262999665497407\
95449212936763652047982528190498642787161747858499716563110264240422150560207\
80451546260802247116647367245422350902769829799560709655986896808377452864936\
21372934265748404222165768394807311014630838666236345089612077656065875898602\
76559394376122634243729802962611623164714330926007675659495243851539024970650\
30185736975168397289067263856996208630602712358221904946142696782126480069841\
33491074020432828474044258718430564618143754116656995992274006299232851926997\
94764309086331245822178047877927327331563115744743399425295263717742848958775\
73812887080653074533938788101577566544359550377029216251116795115153318743237\
83579027680733795470407969978779697038237180427053934883762913958346033884502\
25428273939834976279499386605084055714205141193167277096069740405164419730517\
76704742091295462000397450253588916133467898989625953136554887163995848710810\
19796086752864683407290549678448222194346754865553410700003948612364322671004\
90008395498576273586588283211817027978440667676088964689079886891055079927294\
34205820036584951556738531508602552056291497853780153180945698230491557752394\
63725626576630814893323741650299794026174026474995023878874191144352843967065\
81585450471452271471033033477799889403145676268575270709604813560225360918064\
45317112055271306667572180913976231304427204452732134599432882811044500939708\
47740951757515050451797912237050181355183464433349842507213783466612038605546\
25313866131234657505487557261635759906269894926181894619356373257772186638783\
14675363480870091787141481332182112141115653988028718700693364962024589215141\
92243995068917371449415478973418799050620291860717203329983253065119323651324\
68222102120964443071093596507502300115982219727606051165070555373650275051597\
75547318215107194308313609954017568791293170535760480600154627148331623416520\
15139879935017392297658472730911991298935353430478475654807713176473119975201\
653275576063606422394514083862304688581
1
*** a(t,u0+1l^(t-1),r):
38457468766887123478973557826496635135306267695188583045467343282178558004307\
65837309660503816679165876220645802735918809285034376117519685419971641531988\
48970356207463803997361929190184861566272280927122680475209758357915435788628\
66045775352506000857151219482297651825617806085544883309717779437930692133126\
84444167336552432191561054093846221309614917818861222674254664725383293567007\
33377005652373629736390906431861861515001620788976320453719832513782525355762\
62923748335777869469409097776671551293672156351542307930765209363911740189192\
63496504850067680184974107343065795212482973015873467571659393461240887079117\
90217393516220821148716230838340793316838317032176386607353100979137963354340\
03784292766725068856453791393218715520929003986006383864235100652089038549796\
04511540155129374660669499734124950717406719204409905826293048383918066579831\
92346205701412480011288169281908482457569043991291889438913680099966321473658\
94590177396437080649375405083639979329246957544398302348373888958919693338711\
57107497098566414133698896742607658267755351877028341531355382801847955416345\
29420768419940025915270657851559992107614994767007610047841822920407905230918\
60626836707777333541900601222259759618883422253902167458458232208155295725918\
65502053776181884792007411771040467323248256015640705943368811596470861819988\
49890187916465105784392773541808801838370436446721704206875233089719740966817\
60085920376196645112245855290057713608066027549946553928789811594230080186841\
74186613895192878178391409961858144283659721135097135264960658262679599988552\
84080264348512667570491814632373408782613064035943883139356959797121132003814\
28810615962167761308707224207243741248151221748813351699950857380125819255282\
76194848234848477624434554185027154744530604193137499173930146632005970684624\
76900221045568031216111083598380573987883436604145541632393876189119067470850\
45593866586451671254144629386920187223680717178899267345947423193808235013631\
47609651912596783677345004374274849452601654826514042507152101989574987429463\
55415209522756782334470534509416177320674965574086043700746864101371627661766\
03266106074902821771896897584878516285776141723464792769316788922323569312372\
54753011436031265025560414442153022756920796262887412833731770063992986615988\
90287913230225369818953841396209936462808446862942929350578501119198841630719\
21806093332214544273885808792702452227380921449537464828491040459883649425296\
48181276637368309684317724222309489536974390372041384832305842141067568354772\
67578368356415524025561979233542365905753497412076302488582844661635920748477\
88605238544646281989965043010675034814254007986002632736362899485006253021347\
29529243874200544287772710372960979947564269462390296765169422444824125040627\
02484763950818435927887607984428635346711523274888761518992186892601499051964\
14492436755064591989502944969757784457939503700015281259125865054512622380140\
69564006405711429629602043724909237728859658307610397412326878435904241682947\
10671048506408193808825721431624064673048362379467243574844050392887639183749\
67151371359647351593772804987239324709365392256286855627802538077254571070410\
17501167244938805868052903853239714156375817655751729966895289517039296228921\
54220619816009653276900542347419883125412220413925438956036323213200978034238\
68329903087571319914336025412744215130602010519089706849173004980349579793795\
00452117951728433387011916023742601968465980027377975846941496016664220814972\
80383825583052672628703456654374194644247485887869160657424046129734505349050\
64545195394989071476552516085153761472053597078640277077822430916350347265251\
25703357464367077268324634608174024863703753181963486724944633507040805439264\
47935422868589602709405020753779449182512276939722251593865063697290499699539\
85246982072325253559553866716028237575312482826551386582949992990381231622165\
61025079012277103114952350203528422592353124524206999845633851041789573884431\
16919739781005942338895393435477194240842861556109497223562805877693696210791\
50764222643599260768133981764967278913361006884524818428422380829487186034480\
26653628130874525397296595426831241639310045094488160799622569825091676585882\
15573567683962963891501415672695941859124755734632624013041827421288696035072\
05998452217916115857278805135372147259381722735319736386930532557059483298177\
71452805627827022409254165325316769259277961271193408689906564784291447057469\
11892132560478403282237522273413516632186913414291807588660607784271098088319\
22694366206748691539957965006280253448924356457653246793591354881399593179650\
17661473782442618505949404595355733906387046959731781864394650722539756803544\
93664345244076812589920078707548196119025205362289302031614124385884635816730\
99283198075977754703856784845213914231475960970638981959036619319315474233576\
66189217562170578210946674105965242008643671170408858006535954584859361291863\
72889351230381892714540349367969972037380416038007865587100593243777643703767\
18617468329337323722913652416029167204859191599039951948569985143577490702957\
59009095341815207967706636391148486062275284361929316237661462543376451511113\
45776616723855105492774223077751974804087563128748123169615980146602330023606\
99203847510282717176481569117590548858034297735147793821069055581738382843064\
97528116462504893235454903995046700880767115110583889719245387479516262429050\
69818318114843121752345915191029597902180776211169477889549854502515092496367\
54693322154399475555311196737628853640752085646516220460304255510523464026859\
07335973330304218034942562663497520278812145663592371081926831329487826405180\
26862610899052115226709378687747994424101450504538586561636836207261672390683\
90601926746069449366128662238701735986357582828376038763313952104075419501566\
66576920842973722581674804371778371620733853055912641836867922528288704305532\
69080276375848999456379202286425978139167821834986147633082948899208943417372\
06223083896057628767008985488362085889435700100706157621514999316974766155330\
378580856631742790341377258300781251052
0
result=O: not congruent.

code version 3.3a
start=Wed 21 Feb 2024 01:37:38
end  =Wed 21 Feb 2024 03:29:55
elapsed(sec)=6736.766296