n53-L5-f4894-r2-t4892-ver3.3a.txt
p=608845479311648750574099509722227773592865277265007175295223510659064637936001583646458271549316387342193565439007294493359387195140639560250891414801537607626386290177689031402802880842774180437847449548518890903786160106040718011344067691718291444050538934933662368593829557564948672335667308772821861021952860902771329904760469105713635652278438475401877376658291299543949507646620112623085511187531777998317920026924682597683331798153782638580186427998735862992684776857180821275039946069444925337038962083683887392018863292965726766292636239081913578095580608764171417445023285353481274793998928811652577092612968421786450938977107071353926742816236689384566532954747236395807012482029386849242814720144576432935333318024899048094220633386093658862154661607146691048516020321973045832071002161041702484245905393055479216340845915793187589135313899007697714448076425679550111469564591964824442302800102728560488168333168954521187813640504469589613347367571224175267968970342181935048762212469814711150238523512953424678129336913738076473710640545615206622112665963788393188334830540038736866914001880201259907822718256042701607324816722601543028210252899047424208371969999434135545369068437576511022361131973149402266750108892119708255682888448027258928022510015995610175179578455165962231327657161890272120125485576431400527027286417064590383361141583433363558792345778003591466304661601432371051760117537754734726176006548669288409479160431985852406017977625997572054135549442912135473178383330602096129509896618492221527997206357285407554021813329479668009190821238046777840215913255355012092383714867163293005372060652558201930814733048758941893890694766954848908482069043873272728576748968966147355155959072287868062786611591694493435747945036353756402750131006335097088349837805816385091499994935928367512142755991015297084179750691100404464550015988435381108520113956678062770663778876124846062800731896748972210769320588524636025331944152455388753946013167079787875735042035047505838847171438813292497706678509662467989715547675010706424822964609280251950226146471285116155430997765587945068174391866072139606540672764002358939450352290527046808636774325768381136551522014197723535208414750814074787301043516580966314949404547999067453694603414656907377021497922678984964544060040154648116808027587287198619711813761244964677829214699742871530680135305897456089283903368269478689210766900236321271838310426626729405078812721871459923992377470236927952930042275179483449297618823683824085145761641754589394319710478631070231230790424995748169528847214679087412439360008864610429230369445278244928286560240249211014264839865517197779349935316004936784615019564885177070695440471101778573489482300250062148051780891804545974210945702585728558618378509100629137554930942522945067887357535428844186614382124301833036870046048115137398767939963946439225003686114648707649528907823999454356221303105687999232619015585277045013275972318352292091391395009207679152856932730706857101554022592452827201532700667155739688247626530715128550773275730759633439665019473706796092097939363246541830222278198762554004852297126919522345808932590816470636342565952523062760400020439372550292526793623451289872193741275082011827894248869851515556087632607338395342268357349750754237834839774883678104133668240197730932312410899057056378845441139182030080521882080789499723010984776634110316254067107877290254691615700721740722656251
g=2
*** a(t,u0,r):
40062032538706487787775747739722587502410535244037472134425707001366453176188\
90420393695426794501828711633660588667997766304767744025408306450865509394117\
45818162178936919382663044295594545410728103621802925430214691293349774792451\
46439654115063577018525461918634983853473984887773622639686908917251678455244\
49824740235350773323886715595722591992125168144353138411556750999187760314760\
34105990266361395909922893191377716441149275632323185188976185762669623168197\
84918658317202498039897628451369476087177163705106399790394841204677144821222\
05546453158991343868920405668247926788253217625906788144512951580673957269393\
33221535484717846936452950883796773083741615044778684223681548441014213175336\
54680177208585513129287144932326038357364599717676804962753129776733750252270\
99235413718582641575027194219654402346338057486305053243522766125919174336510\
36545547065096106834288097143973346973501512854483035242467595392801214763225\
17207494158137545194098996558256786186550732632358248515571326208553580513807\
99368569484715233534382091036892396543197016014790148059573501342041727627179\
24318495345488858429413237172429019347348612476097657619729403471815312562346\
40757320512910875625962766118885284703192534425271362483833230669152157165101\
47680322393405988019363746388115905251114952681626234992031482135984125237990\
55042569509291861546783954462428500472251631161899153221685363521926363184828\
46733374250015205815733984261544982381230902439177343728756424669088315982927\
79064024116211915334361851413513762315361792532175119749678817654221617830937\
98170546353170797621550047560374634779818862070922023597956788484382593446797\
53481590938329687047609434608338376618007715665629058178120143086861345540350\
08215797249596926210695654171853135904273349766807221478339207717130095862021\
68493884134193276227181390206996667840865822989933442088065481390275954744066\
13767391052039048076940623498349416530309676650049014870932288158806082371468\
62129472492105046684192523156458000964766639385004222336576590612588419614388\
06739146463490994459357903937232830370157044827533510712906405783248804378105\
60643027359652975686785485874984787546786110376267871355218215833180716679680\
00829975063555947878509014853421020861671369060356612100440866339102758352367\
08192583386384531049046844245054080145633122772106669991506421758460859682152\
43497669177037345489918675801162327243080946718752903128052610674880841632131\
69775006846203554993968696082607203879485418587709914206299869843754158985930\
27967817068100109637833185983956248025911160274519821462369494939244212149860\
09964720229554998146725883951738509888583291366243358309499308516281255663808\
39808473862646315103161388122574379312484042766828736944465125175998299849703\
01356079353564540893418071826807391251030802272301409391570893058988213972511\
14456018009785466988125831217947479226343779060613826049029965976040838930449\
62767570100524254634388496333900213481916409663936174435427034950633122551122\
95618735589785475808196135537916058652882579861736805111972822546865833960298\
60851703898847671486693825721055458640881543083983880329958281369907182860044\
41010162245242862590547857605351928115095130457035422776447572376787134083967\
60175296343213449107138092482630204230948735903481759003963782754415756362297\
23590566225562866413521257913613599628849532457187346019251995370205010695346\
15663715795430972803002695817757929833984091594908177412279830252445880951761\
56983256987587083131074905395507813158
0
*** a(t,u0+1l^(t-1),r):
41097069853536290663751716906250374717518406215387984332427586969486863060680\
10689613593332957885614559806566713299237830175863567199317031693517049910378\
85147810745869940096196891944568872571795547028445250251360055658071577484657\
65724569190984672473411378108022209880083495135634035382657543342165475618981\
81811093706476857133166463567040652879459708962672292443466271921659176614685\
76020582720051583950148864596018174160753436248963753803281041625838899146707\
52006222437859705436065196359687532460250129940648662398961273272275186556724\
75294613802916652145169109158157067753907176135998604859492769478654895375137\
53684705854383809547273163900551400959765334582409744454384567169733425369836\
12323889993609758909223134998966680685746359892753561321973195439658482401645\
77483137173318059366479264587031491768659861403124484710300709931604016226663\
36881830195957252451587333696325241956099576256498554390069341778329513624889\
04430180177420734051697298900947311057631830587905498097280615791449341712493\
00264110033712435616577373024167732016197546823682902644699260495255571654021\
26010614526147385166951269135850437780334822828823584944251287756041544041920\
70685701134065107974961804149312412119536414494009376408187584653005632350218\
08030725859497024183997764151942607970368682462154572370245061461685842759336\
81084702764091195355743418331518598508768770568817520402184833400152424239755\
64658096685045993807933798444594016880442035176967639843329159045037406213489\
75483611365414958739656914443954087481564148874191802174822495313981142911676\
50098964723997398775906203804335681575042145741447364633162359007535335222778\
62614094047678630329994480791228577837621896769452301322539660461445909178930\
55540521494647302723737943109423809628243937830691298628995387855718563384292\
76190534636140518926059936762496581751648070696360293935325531821331716492773\
01357126079219388224825107692075769237019805074138427109239049403030555624226\
92913972541293170990623029073874089135588877788568161211533736570664412218407\
21198972435952007994022165893057994680632226836755501111264170066402648868117\
45340491592349177186292101771450959869423441495411570159228412898779610575659\
58298226698936572671722773595834633862656799567995004814282043736921522625908\
48069899370531243857304893412479489511097808314851067240527104387478845418621\
41885906830547428884035115753471992232643828320909133148078286026663477358189\
81152172676576595168584908595379730423484281985872632354486948547924099263682\
27778535746151328275892705986581257473389108184347841165804573075972406080783\
53687213001443197186990838400339656800598361203973049937556281532659342816216\
82174346287669092241085010612063383033323296151382062974945227194223179937005\
37105400552668791949934952101968068532592388349245366777067405493642924667849\
57838620298792082396633641446982596470793390373729988728108247771774416835947\
56638464768774881273878776634320127811996316904493795963393994820178355200620\
05383961281314887797161689191631215183428178429593227128543548965249905658361\
03457295033012428956714790823271177177196111826275257177388814475208736216610\
90701914157354000377841647239532753005606706775834210294988011176795312320179\
53067363270013796576471447455585695829620663730775360680357983828617987149773\
00035915200995341685603114121108175911053851684804648272029022606213346837931\
08773568635130557206727689478703043522704045329123130324147242280244634714952\
97817170921916840597987174987792969425
1
result=O: not congruent.

code version 3.3a
start=Sat 2 Mar 2024 20:55:45
end  =Sat 2 Mar 2024 21:08:06
elapsed(sec)=740.381120