n47-L5-f9380-r2-t9378-ver3.3a.txt
p=2050069221529351882250494982801058536338096652541253360361793413532332956759125884612229014831026715452635476095319659038959849742183112344577208883074921095595198875429340132546739989981458569155803486831974610872411555615667262472200067197108192654046314033364821543934759439487424074473429435943987978666329472291873197102269162471758844180000334239281679428753918348568173431005817386783245668018050705149478294902519520753306356742362948414423543484608330718653277398989158607501938349501765877611933643411812922225404229691717717648354549360174543880642043465634376697382740233712497739082193933572545319804863756447362329033639648163309941323206621014233095555956594013666097326420036028624353922340317681575886564666898925474182826933939999953563593990492160936089705622662420942054151314776706489129901216664042876222501433866654373429500291460459299261328446660925520497077211692592669468144032024115864711664996690431956740851779496230043835033303491844179175007982550307865669264038213812789726476846388233831849034179555077193413559022699608881476589839691539531834357429437263762761555038188782214556136262640417853545951336659355431090175410229020664954666009830650777078837459949630674814303646084797681907436153172332183500108929261632950100522444019074936352368787322116597896633802564459235787917598106397624943982407612011761608449333098453054685015654190268716021398673074390253964780026786854863475391051760390328416643432016103676255064872924307051267921626111821529137735451848257934979825961807291694715303791610112605634515982216807649459140689483185316607880118599087848257365950731142007822022122764758908701339569879292681707513205926945409669226025128815112966066329782072270595477669114373606304550170244157541680683476813159877439826857122595358887472448242529883159901671661902367496899498016915649859621653409003761066968449987656254684084579237141692074202155745417703276819086349235485755945859493728039280984523278301816037771543788506726998064458760456992647925811011154996403129211310534368166034267402568807949772805632606295499601816411680161915746572250941271153834685828498349855331661030944553813650145923927750899673266543219574150423107604024683218724486542309818933949221702662303924380016079391125871847612232444284389736688792603161126608263204291819684047346160426134569922531948323349682691361616278439304445791583627475223152482677437656518320114862406587684397298817560562550870509462185302734247045045458118547766242083017846710013869155717664358754752651883304029354939564455204462032852807921178244966100632506146803691925450593602117439587279280860601662304570516633930977497713253329896805194327047860202171516705726347995316023836458037921948406211487406922926953058810616810305886603644812929975053489934731770261084832848726512567138611955433302346120800016960506292978773101499105949239385003043771969463159017286198890167344886890938346669553929066948882582702463117406526493070091733084406564332007494688323255051358302599482699913895532911084974730693677723082646906293474959661062891381771028808625900098300759633568616246235969914828114063661711016755669928253667101898876828275570095270046979205820990382579986481413397934059210526928126105515130604045812622319381983058410329304046103083332120760525209491761512280614224905455161382546967712510878379409715855400937852830191822077663548411846819098346574814877657288086816259881082696862542668287142944814327997249853746018431893701661940677269090332996652421311314885077079284424818976497908632089490746571280520675093659419360010992208936214937823153835428048578893635517013923176839114320130412044388545796941757263848106061335347865108730803337335518151425642422594048059015958476474594271989187793064010917317152901924792416537428357364420548282398097766105347161669885517685509932216468389307230724327152197534254707891188381939624754830170183413672878384144479157832061401037916761990772047171035674947675486039247137727593634051649124945449915349921111631099288489522757834380000035031723827501251783579556642820540766224547353814389180466872665148049236651449216856386459459973279702857292024335486622469125820558195006041299857975573605178104366425657593148206076111892679934632084927772962603545396623717909823624964376731962367486785117334168173865837928788962835304094840749533417316612647898901167556635246383880256832172808776143280958313249942622473490891246885491557761440811729182561042562342829482577258374084592027442453550645656419302042397810689772069000480649077499754829580480438515925171936161380854397671826185269683885863554541766624135851153439198092416775592230285661607382253086775132754014828526508947425892157514141427677891633540979011024606163084949862269036103828814293432694575276667910018103784887511765653551044226157686652098838742234026285683413899638093338451769572479600784643591273844178139737388038257014970750030449550470828252785853573148018883517645571936151344677330443728267309006795059169391709815773743517762747244440293243820804083268398825354789253357534621112862670107826638070035864570967189316984226146772596905044086086769599730358489462242509329707851906869230488513612786507966632030135791459101866909669456213445419586402928303098279337974125708962280312950507306697699206639718537467637480237108342561953468603902807274400514225127904005207227898800772886519662717643660916506141608297189487630915066092641485270205613291307418845425130884971919827218313034186613784716022104632518313318597793495977334321607706584928728836475827345999750302926968117071402284905907408048474053938505204257448527387569151019055816340331429177278053836986468635542712303486267459983544222393212648847134019970954292225073649971285515039446112798528606275940949096518513807217800810520401061953860712939955239373976206904595102658288589734661478547365217491972252236548139686063338944727604468951004919922895417204926843269382372157104911452871253674076812869971911929981927909591436287251777654681334029621779107076166817637753404542023376561736230976842640809414668591020325604682658071458776124980125371019543934793410663649056423389618194414842615120328344058315620374181772486371604125973061781497537019663115867647828920799378978180133401315674883974273043829964838334966605104019076012328449660289607826635023687454093763455672506050988310812316107282636423658484448632583664312625191488778380190536307902477614203306628420520848508334337121391531990403011305173784142908415677913114880001004774084330582001599343314802490069307161985498609860846834160308382877246913267299532890319824218751
g=29
*** a(t,u0,r):
11849400100439653879407861000590118340034198651688444422891165930216884490067\
74761305868370572333441531623305183094762924518793150981838935165626734417304\
39325402494999815859661201571420928305297205441538888132508425387914585567770\
89316388399285353540387695112848668523942909560237311150456422139756250516691\
38434984702707925111575908676611936040193190304810709819764805472404243121362\
44956071599611443330757639845445365628299541107419708578418353680813410361515\
53815943366157336751361203660120206772596976458920278690462836447618128408007\
48929530180886363011101123136669731087223855085823693189508093604931194847211\
25122657542618144371663839314608481342694622672923134291133989900425467078082\
45448765671127036199508624343774675789240776739678173199731597573265044690210\
59849849898879304507299459940936350717082903231816782456605828774926227842251\
16846414547497304784217001495084731062835831856295258725050993896980334236808\
70696709962123285488209653366492494182859355631546139140779463568346140875837\
92461903617212399154808741755782834617793037115120373933493468927341709849400\
25859421473845487617881207311612001344675980616151934955987258910743917012138\
71123739443437969536821161491515680518508865300426675074370130601424980965336\
08002063062961113223845158101972643025313211669159072183393584254337882257438\
28541637170549782721762183159974279820968371453090586560793904812197531786036\
84330369975667916428554828021110887760279175056098248199037053079248754274965\
50249475632858699892632843841611091168293086418339405924614599545445591550645\
08605675023772131482138738331852128111299935470855027277629275751952260008052\
11287869580306492293742713902311700269426330257744467888126425244551352943863\
38614037772404186092748107944444029998401123059091435049598006409160219923416\
86011743695907508418227246642316622057956841320790985377724561886131567040417\
38967077640928653152074008867990678980188888460208514324940014319098581107669\
36706787374806704409054454858449669831952309756888204881257163544141750501118\
76444758792100868413748886479996780655868477099496868165564643879876984988595\
11335873015187610440547269164484088720462163817000758859521042897843440302400\
20011148061980913858944556195126266900422753221455075343822650144138811668291\
64929388807075392791987035279637726780612212462713117957613208067177737936608\
07263057814152234661308961165956070142089379179696675353366806789821349875589\
65467589026390471007681581638716550005154403154469143104980394792036274792520\
60888792398431539838801637200480999936024703278854972896715506825510817905498\
89229784410255904061655885528525339329104431020238800814474243374277608120417\
58614412104993678260424680353402321033663196855136655909829141292661777472745\
91888617879023972120145177886799253651635680245690670187352558091718227496321\
09070333865639242638061177102404487560578224098031726373417308526664832386603\
64531759300198349705911991422958516725344622962364375002171000696454132802023\
68186097231299451302172278699418390033192985084141968509890250100055023161802\
26071153943409457239417699118376285266840943512186636546513857702568178390682\
02660190324390610770649928796468967684777218530619584897550806743279515066087\
15398096453244113123218625694400588622368456445688898774548913847969570060278\
62077611703377386475821659657995835710862381540981950219953530832791121473378\
31287703298815764421742078935850873160889530982047461438844320242999285912514\
17979821126579878654966226996862210268158241041546519865363455956060171146153\
42124720650995179400035745518263975453684157911893477256515182001409502041351\
44390086353496765132234061782916877412078600521328834047596213008077035378161\
65657947063233569850420530345183106603284640432897992949152402132025935977811\
12239994023154892097505443909983102093143773125300167586335905566350769072261\
00508808890659445193829222224740821118729019579358661093970174799221161106884\
76110310829183836601310292370603550895322693148979991588843066624326485862011\
97564309306848456065491204818531942184700510722544025227753887469441540282716\
40020248336372295723530908983739550272562877788370504716946309852400455572458\
78453764734299137356786455566825151479006591126778715472428263671349187131790\
98815437929443237940300888396631119926739690022173450882527723848492392485089\
51878055229409751074248407361797819149204494454322840020518805766817953230315\
20900211048556487484773517240988278844899588347261081639390505846683578967773\
51406998141203861127891794675202826010341554409296553402208941918617381522731\
89410356580505934578688255882277815166794858291497517693462204749379101278133\
84185431553508587728602913452514110875052196668785649741689629230910511240906\
69422841560267318205708883221716121656670431737451978213641866858683722223622\
63101020391502868013054661604097464509914051990463987664981800547752503562719\
14288491312879301126719312501323399081794962512281289320925352399575628193496\
47682102861125546530935175998401721387301102233652795549146731991405790954772\
23496996474938504605927544199908408273517223753266867907286489494928424760129\
13452105506818844065501100323462332232379680448072972201903542521688271283456\
10111154817581528286441472069091761703925711384021704152223608681906016047133\
13418487463360879073788945691371452520940892559190805457349044659780198020885\
39322327127014143775731465629446357704862200080910485305582260460349722212392\
85150097777255068467284083650507980360097405498495957755238506689082015467784\
86178844482375688092655725651513769660132184933759862767565860776477595585098\
14952464067489923788925440608880526748302820598785567509178757166727052067561\
44818520180031764560080608052488300149692890142618447115660644667151177781788\
71343687711415062591870488560543276911033643463543211580906092569683403027692\
79985319754953442749386857778770098057188886848079181380933149207929412835815\
82475908559693364908048666343346003770957103599617927248247385446099100525553\
83053680843715433551144447715409703011106806638819759584623616397838843765095\
52955433174385017403152748440581106912138832389002442059462146782528951165268\
35415046150463878416784456097481995065763653031726002385124644492963943105913\
63589154612719199316371779031539549782865706428576277064497122787184812429709\
70557639736528097150044511622204104938811710596046008293712981933371967655761\
06977501230259351258439036473933237950436913484661952773787084974712436495187\
10009363852874604011309633357972697360680513903750129985967632061009511231227\
06105043781724685616430549045294053439044723460106426183378040064058075942074\
30763969244204359558392600595396276181964995694701446582453030487158684991300\
10604858398438078
0
*** a(t,u0+1l^(t-1),r):
11992904945946708511165395649386192437577865417366332158116491469164147797040\
88642498153973676150628539791753515762000537791512099177120721577667196598828\
84092319134212616397753984289413915326295614503979670514736036076003516534854\
62370393103082927026170937095184206032018342721001430835669562200272329675198\
02741290745820304827460045978923845300195529979782465821042233912381457138403\
17126819871579055966251244480251797391964068421869428232482243777293849587347\
04121672784086577853886339344585330384029811813959105595018614743696548648242\
87411375702108170175595427396110367968903036721811177363083451139939012085845\
29752170696248467919417553631567407587329332636090023460749799466693595572107\
67452470445690858437218936403301358714023969537563548999728347024844379141476\
12477789257516251101678519144373296140992211748465082590163338811992808456257\
67050436869006787714129664142949079016884016671163886425873410778085632402306\
39026946933982910052945756434944825427288448173796697919301014165194623550804\
81989988955137116791631684995039720158146932028279271195663805056219550626123\
09909622079930121550969734043759551533971364464444432438153194572292718775261\
49839770889984796157509307045911199140705339447663676329596066439158501496058\
14327347563723618055275808805629751158837766135740583438209769530774500208652\
93593179489224261059222970845302688054094285986259503699073415770130719887251\
82237485182985693963156703100951331037652798283421237364077294206506092129506\
60719624991734151275415594545575239331230891963198187657265641408452718091915\
87429619184959683247493359730334766341021560986938046639123055908117771807457\
58829418173839615902836483793862187988952254672630646564972247003568410851488\
02922512278298354436431908559688161849592832161883199833935698528302298711416\
71828494917138222187998164854247792221288498568620633989565516787866724426720\
02241765432427789089901894788537278898634082611110693564169391655143027591672\
28327803830902979375946117806562382096353116276435293867708374867340699036599\
44152567289583058861666260537713004643050275265061709129507468286726706260083\
28947207117447668006436249932912096715346653690217031025639809853353654977342\
76308860927783450877997517948354439682953824627251244076360294696057447795762\
30940644380863503085315597990636799596294367284925906583397451071451516769750\
38492887234046811897691595643744465455228869931007880764220730055442023663010\
29063217267194507853795372419808272929092259248035378402099534521351592999350\
44325161856544032535811345609483364987153030135173285717263964520629461028921\
88926338892733051688700160958801597763885972572387021585583793034519724481737\
52230849621836162253197989631038681322998218270337272849913577259873944327952\
18433981763372013304991226753940421083402894366313221556403540629161181808560\
27346272165050098517760879939284818724806680099218961813925822643769769803050\
40226780606602135948025112426350747896758831198932801689048504165096310880940\
92368281799844600366385437784013422438439266910420504460702069737944962888675\
29847102174558014680033484401816828514017217914583360518530461515575059443856\
37640504048042400174446727242100944802066908028395254610842944541208505732977\
48283540527937380929209162683779142463815825295377172635140336680038405683846\
00891700426428669703037492906449072475526804846841593215696912694087899761118\
18863851954683775409548643905662215915433175820930389172532746266703429513530\
78751203043337766458746094797862271638187839116444142078265781547223529620241\
78448030416664671192077700913813885191012512765497723520867441991045949297907\
60325606430442227685738626544993725408418652776777453145058450881877276291045\
96729929121092799935114204588117850108860751995234127811858400081721751811452\
43357087376376491136748589424463866305344476260035636743955890581860207452028\
87193171628089576883027846023310346634007744729973731384035557539004116345203\
43468048157564955729699863385472452030733175591960718130576460164759505586984\
43901593329595755706422759202147380930882004797038503041930837663708133331123\
00020493558439088232293394040636050016348241360201981417670573120509111608803\
44109779186098607878408436862617151583423625967414443860502654407853416041691\
57105590291910543590096919917005545254572177617597696827471831230740570248749\
77246820604160388197984979769293640488381711515188341543258652895481838477049\
13021839902085718302063161913456995024682109313404381936061325121643414699217\
13794280125612904428748615717982098989705552473076961488394863360538353271277\
09005291694802719253516660365281179710337356575304581056531816225582654407799\
82263801831838276507323017940693347511947292476193088406381372145471711204031\
86180557634526610986746880077342441469121457727351915666056214727214493946054\
04695669427386120739856361658126326536850727360590714159194382907327360872302\
24669147782066420690537712479713128828460299428519990056645901650089519884421\
17463720023803537578887678129870254345278797243402915910468578226595826485366\
36238309581036375768975109614094150242227639957891207137997571547635170388712\
01331283255171321415775335102466201307858327097098077401580575043577229586196\
91894507903607602158422597163354118679578790933655184998357804634801071604797\
37629438003574592142156631884865570458045713057312493412714863539742933983076\
04677441815403588423534441856792593870838039874277913328314225552430082169982\
38430462283207984521386140026898215416361560928408538558502640853136641952688\
83070283775414840024573701567708573098922713124999169064058872931210023213291\
37970919514674057814050835218330636933835899740985392721227634848677033666995\
58337083573215540255444906073885217279533461476525590938860687076614946370841\
51792486697539466464090373370100029399575573401683008260951668085233202026298\
07597598713923467142545522146333057722241347415443462124300851706987381503377\
60810391881350550988249947769649502086522328037675583806617163470532826656486\
14336337878154893819064882203312588687711906373199929683399334935528933568479\
03942782711099022804228992798858040732874077763955758831808574165708367528861\
56951214529448735075811257468904787393549718033840331133733420464332018541452\
38234698007682926643732682929845392081274114637918896336904527388413694241142\
17605915650292278257397991866763670223537803976966980712494973064052943042595\
54639858511594672121430512694205785814888571606448516215684160398281618252049\
22760342307840213402450061443622885737020935352411463740122949404308934377626\
00469637737558721601404621438576161352666372360142317157917220480058779283933\
33904709356158391594566905446897615166867685953979837804039831894442613702267\
40837097167969335
1
result=O: not congruent.

code version 3.3a
start=Sun 3 Mar 2024 22:31:12
end  =Sun 3 Mar 2024 23:30:40
elapsed(sec)=3568.021086