n18-L5-f5081-r2-t5079-ver3.3a.txt
p=10541308708212571754696214386429542915240795810042754333937648476575130480656179695309335653105414031499086501742162724607236490892230520913406820228912412800122866653627420421057404557036305959536621464067829092482037650932350167907994923124703067819555375529849960600044513517317183346828301370745391352845046121259553770431328579418364429707939160208759432932331670432769656817337366536972539115317932054875461478913489814833817629529523833349363584948015395318199910443898812753865978576956835878612330231486227633419463997200606772130062831203184101044746355981317505066017270083249718979578501497613146026747628694329282489437669659567906390145445101163044444253527506691986938800454246144521888072415956827490070536824653624584995175784638125853629111891284743897448428724208000824776019282165130233192271465786959003973614847011454383881679504600592609689351754832738189128496822854061414584176537920662293397730459173830401692440527911694596223244548401759660041892080187570186978734833076832271598020568364715948038895015175303687992118604211261975564442783070443305143424451216165213981138105439188737503705560866572383152238187954314478675055722509830717652917888856500978183806186808609446373071976022813323084290526893255972281190786235780450625656079200307561696754910896789927462473119511445262831972594385244388359877453166786256693813505633580847122955451051008267867272607068966816152403804773929529417322138259869485620449768143198373476674862016000214840160703739525401374242157453399212473094615864736834338961418726738975923024344598020897231224054496197317604301197290706944730185396845884341431221147911836217142906485762885628255816665505618936361121957607989115155816029991863965599059002904864210969222741620804775134823529060834740205048598653407686612358543525135493850890877976561008050411605441837623414234708267615561706115590241799002090876167668585081654341088434778365974705181094297294317843547032324642391768166487292307718436375842876072230216191644452287221342808086639562238574259388656001954114376148752150106811138335310126794821309230663040301436867687393530893618751869750145895563825565523318407490296138556356946129895285324031617456951447871508833976030340160957259471944847836249823418163399961489936392713943284401098834752183563701489607845824803618089857149371377006483989989444396058481681823650825066299783471219553053234561532199009438950495527639708322222000584714142653909506975043675023651928183031706298262864571634546260999806887475180484292797988994682129081785333444390140043992615501414255664758666650699500414746465349410517646819874510441121151485992353447072511313115606793065398325617190692183141836155332043096507638908816008439213393728895773637643966973414408612082019547161428314822259681697486821814471599055384229879871910483713821744599625147870705243212159135211861027360677510357295652666193499928427912032213275933307480418006272734603882844930231865640111005312337282938365016338771375845481188607261746814382185624484607902913060041544289514209312403586528444612148207128113049787085444768870804629109424731343139433414940357067417686715532937749736073700744310509141215328832314466692655471808183269679567652473003263353037873870638882287221411211429028668628464844672232669077516344935481771745294534230716610070560708083151740622205265612759884071751117145489099241834278824328907172212069809757824462817009993554463662362708246916359274739258384111304421626790213205891481604099556878177660039691709650867086872681309867240851286390723728914053936023265123367309570312501
g=6
*** a(t,u0,r):
25088314725545920776176990239702312138273094027901755314771603374248810543961\
70767483621885439088539496782587414634728456522284832350863977390823214481154\
24642924226356332606021166228457464081836971590844814332401072496092189933996\
21027917036793301410541793761042906228105942171214896365451357262374031419771\
20976859773797362656201901570734270489520129684745037894937562999178322526293\
23579946430944566782906035983198141057593044859582802667233714853321762766408\
57315786856479174354201029013157269391097345950937221767538324313337444117669\
54953826357816048649632723553566205712110279813433117139683356431928754365935\
62925036923248616537897716172085461593407680457773233954659269289143450811058\
23962093612349977249426367877642675626512288518367438739531637286301257690475\
92726036361504196296692589155300995499760608857296242945720333588726143363839\
72209494104110606571765019168901258224383926661667103401602511762582865984928\
33716356028008456429833139011322025196187990899703150846417045009388902722860\
80640328895270802395633257013611722277742124227802280350184337382370765506624\
13501938944732092751086909452691952588192348624422719023268873312684592466326\
19573397108013944575478472328077458724604490482367911302934295708940611454005\
94921402923407124115747248906146849673199683827668793436002736068602443723972\
55400947746368816442965083385369512909312761434079224161526339735013996775241\
08804824141022442721055361952280013226689058489375776670448180812128874486171\
59808051131958247490007045527069633473909012568596518575807366572672817656963\
87626967979401432897354103132497009496158982368495518825284578412444932047326\
06306332030170196800117436115667795248843663903373068539470259107014094070842\
15138063623812576042691357682210675012505751536482087999916478668168801566479\
51102941374133335898224753651202895842151991599796209515735437258786056769250\
36860555104775481624976285279051232494337331790474772511019798331004427560476\
46764193693264889240823623975569236987857450604505190791453611379644358679588\
32462021581278067373450012846507922152340301172542105092380381017716747159689\
78035917419745095996603526812629450005347231441904845945497809826904809764129\
53178915077907119524954754444593419102486295220958307827754322873785027457973\
52288919083460486146591850168746152267101968816095452666730630326110538600155\
03877275431896174877662619186402740288963657793484661502536266698256446633642\
46470217935578250580688836139161965951630462660060394655629158907561546098986\
56176804902201011795403921909295526168592138073434672146490935976485333047024\
24893365928482125626628664810987096587531597031999431301334849868340536661801\
20403257692521514416749564801496891384739587757004969026256968818060298210008\
53278770747719412575926413967262924967552065222441993892769780424400186359184\
42405751814467114095146951238895752147107851932278478844938741804229245118412\
47465036365334554052982965843063666759672127180339485492910835724117093395184\
02234641926433627333933087388862758745122452288852829574182296017862733668089\
33082898875409043818163520535937698176912732964909058493263358549912515017280\
43086059667185152755804982045409438296839184437185540777145901175609248262090\
84307285200229034761818373710128857477667802301398121205398435869586832010882\
31335746330319913752404488900946446616753800991469105531967934485237901142680\
84853215836852409076765880626405619556558360190279906986472614722362222150448\
37846596235164232456276609350738794349541849045234717607074300217262177569453\
70062830894466268969063666756981517484033226061609922474815448367735370993614\
19677734375238
0
*** a(t,u0+1l^(t-1),r):
23507118419314035012972558081737880700986974656395342164680956102762540971863\
28072053981850642507329024296289888502287587413737468967406163689720911047468\
05442739926375891475389580121621909622897666658648712588762349439615791408744\
34828678568087841237608487431565412138099265143617318863427112056762222716844\
45285040880490806186273210295267824870432726553353543909962506507633470266232\
73774487622271589884823722790979770822870794133138508381483690807944340743315\
59585800289894352441121132226613744009305496416214287622525404713757353101850\
04011358310054532978437383833803629721851228564687332446005833967731563964721\
19883542999514460033408364312500243425755935891106853663399231308735250129689\
02283810401487583725302857297118977582824539241999743020653592919517564978891\
30999605498384183925052299922824042001876536870491857886116110883554327605614\
52952593215196072544132770061617565479149645569545227136795630769142769389239\
57641795774142377243078949577835342935924041893419338818281516962578677761335\
96566358586745331656412673588384092722422242448739111420550870740624708857046\
98365262120484271779379751293908846332634007324564144294911591381212874453742\
61196922500366006892149997181349887796583199065411950506530873710477967874971\
96081818705545330579040489521305661668586258376345129984153824131505651052293\
61152988854790949860425267205619333524272041175628852890841906558437484373440\
17913763796000019860484645862850600628368319508952933602982959332372852984942\
29568047909355836933914164506456001112108024381500099337836314057588396376062\
79163083442884535866008256296415265200182575916699582764867483134349663220813\
91623159843394764228681463251234951010471164077530228085301965465815726797469\
74688185664328590157647784719046136671381439464855065646980566147065725837499\
70991411455595520610521512874866578877310479524178801352979002137433994367827\
02604637766239211774662653853900944732089180627209555756123592553840282966328\
79110988208395253364301126666184621211311812961364107338210736712860050359446\
20332062237920205984367028843576750588117172947381888384877415827524515195843\
78579872204214942887573892769816669542825347107331011117000048703360388980675\
98986966648627259050692900172875346469976654765855893468862243701067483710622\
25043819141225581557520935242144504014973693470543218254961893120683403814430\
98170724459297676461003210414150466741339897848517140819603308713072216803791\
04885960502663654955855506130391253811821820055434739530274379984816070504512\
61879947450381620295693590696524799729395154581411478523812935809900122981035\
32568153790132411826631059885924884617729185454352408320158283700167813762948\
18697170022824780314853583826612633524356840629462639045610521203476665969881\
94458680154375752119460463507141312049429035901699851420536390901853956126462\
71665893506832632114360378681822490457164079751672692363114871522450091014310\
84809676930544561150484039424383183560533127568133215398819816665874419441706\
03774475418465121409525539864354601681354230505941936953960722739426006756234\
96123892643765616686766659997958431485090501895692101025200541834581894322914\
01715089520093651531699626034144137563845118191144435265981243538491018329606\
12607246217021322486913854358650147972772772744587315247075005037470014867339\
31041476603619078852042861449206124350992006811334498040457350379025428381587\
51774231645454148000499123444069130929044177825346299403291567575994855208193\
22856264539670688393906234811826685461965682088602277421754491380039771420118\
38336181888512512521433603726079321003947098368651313915478340277331881225109\
10034179687723
1
result=O: not congruent.

code version 3.3a
start=Sat 2 Mar 2024 11:01:25
end  =Sat 2 Mar 2024 11:06:03
elapsed(sec)=278.081992