n42-L5-f5359-r2-t5357-ver3.3a.txt
p=5064452740095937782679585750415795626147048343158887849722865533449265153224951861621174480984055706798741852301160616024019753650503193743052466909481157011453511203314842750989003448849971061823283515328799808408513802253101591911946529061662432458420284472046507927467327063471689447422843501034620479230750628166800752537162236228802835015695596743598464967672364452228177023916149527396402167645592203335830668002232918881399700805150517071292976210158147873151049994803553891499595526817823278464381624590274585637626787750461589774865718208061755738024830674979020075696487588421001539781348963585613397567952206494496638945135945808471018996009618210385999075146277161052031678705346909125544750433663204718869397774240654384428572904508706134454347788625246411170975173857159610096976424840071833174314880550392675175159194724518080025183059567451824865489098015084943409575379155410016548940018148545657310686209322498211711846050915863991463933376527807518055586322375138753985136277905724519513201225808995525602152948840243149565489012363500233170990762491689225951787202907891427153784576924355560942640945208480481119875197355461714734714430032276542401173050433144149337585408658162433652959444550454747771902922472207132956772274195319216304856007203686244842732911602810118880938167060479500844733683985552554771560868356285063831992620841112709901687652946350206048499641291012905326985201926713195664059167544362939500112256240133443893358578765612363500844060506529097358599543532427147104172870578650619208817207987167339351628992460213656285255337719872207474311002193849171420255928140108355807452149022080934944698581490772594528940238410351785794389417443847562076986853162049803504662922625410907635974715966779059628808209263902408048240675241878656570297062298175396611480316539785659129584365308172799792518362273688362688314226108488018718111161448771764211656031862124173534435022063462251130676231638682751472602221838200383193538140423392365634265990685032327727150957769854475983081473217028321750595990761472958674325544618516193908735825084324578407878286370059220764588850547688770964660200667315172541286367260779251064634637533038894856846525668458400691574474012255819137733355273072504999096442448045332438479907854781088204589202602653688502031387802796757566239575858536085859927713085961480463179121371583204430707580897844400810075881931977102915748323343704232237269584848422366323999711790136531875617372949083652270649718667935845261951701133544767655667297362490379029614113043831377978794472028911986903966879182951941601265054957249454573698755819145880747833724407125492259430776392348201197217745298754964534379060199423263715015068603187033537626028058639123842540145563963862449670696617464561082328437166167291557368699384824836927652992983169137464135695960189795829267615527920975047662004961763306831788563583250100131118844437646726181114323212420629456452313914935123774215132876257830907608737750540806137663580964760123651997161023288536610989906344926049310057315342012328863218359966464086016010582172604159286061497862349539558661800469372471301241331599428144084957681766039816772527193705523674159888782145174061085364046929090582582577494414706920887220707983288738582796429691737095053595062255009117764944320202551789589487731194265862041664639029575939855962749014748562889859852916138179015234901772193572208549254316729689258837213217017764925699009132191904983354976967144932213533144082305490003534000628226955981927267168554622898584594276068954302849058700762116759439858524551023859372834764036286837222869731869158576529771752614603704959402471230097739664750829837480953584052974389344427185163161508595414508914236150253444096458466106014384422451257705688476562501
g=18
*** a(t,u0,r):
27044177632112307759508987907220348643625238152468461117520101948619075918221\
24294105707172845485747430528149128819768956826548449368705458790017329662937\
84411617498257012602902812784168588454701363339718557909769014637040315625008\
09794465189277389327964319080728352332675526518938821649237984295524873359092\
20835441071601854844634146180713898381448661081580292737042617489846530771223\
84762967875752274623658133357671319237868266744022995037611607044929622445096\
42626606972250977780607840113207176306999797875312066287304927046587464889397\
78293523104977564105259580438796720421924372216814822243240346554717554301286\
47826806120519670259506172352414386913612434612350612811200400178491642865524\
94730408967315761513198762584114445094412848579310076490757986217191258815835\
65300742839723231791785410864598358915084146213909688543535009982892654733447\
75380901927447817117834005535978071325246898894883713396969132338100390643577\
82140450541257911890713714417404230658492146416830961483240946280627724016568\
93420049454582003610671549674680689841867971132602109124513309067170562046658\
25436635281402210012096407760586954337026474132857691801335538781655566833750\
56372356736422264089312989757462706082234587395706803433899428353101961606001\
58608998916394420300461506793107846768454746019374795900603482420981210296053\
45108778724828506424801350370225622408628405952915418708750120667335101002989\
88084494008914446100978288648464846075954686898096930599448322312590390534810\
60837002109450728310486537989492156246316096553628312888999430657508389065147\
35921376988197375409245632635034241175879128207517151545753841666562681786200\
11794475777912192604690425160725654784540873111278536142039489150145981491109\
79588534595071490000681969424677610498326260017841783583746923885897760520579\
16320260853863126722566179053048903224554197519805107456427508920480545414958\
56755597967419326019954713602136441220890243210143743086673883017818888421037\
81107695056589286369586461599004625349366986091523248698039025807263006298611\
44910229017496550669789312381481825906662655993208984082628764754726493059502\
93248698070049216116238882904461924658036951285471563463021370469201172561200\
68514896442642769853556044706956785969300769122544607419549611715820717669517\
50026725620752214827079445310110125063418981706966008476108669346854037193350\
84582698492013987879034305673376508124254311659978481994489100325805209516757\
72957009604665538060014701958309057543617015846095932908021579677154810670312\
52694976867774136988220840531290592812633679156986240181393636540595584067624\
80634390010067183134836963368150755393471712087423551356074239003193432088334\
05012866536034593513939439314275989535151061358418146492022823818046634101875\
90909229898331329213191643773115670254812415199372607561796338544673333369163\
48854714964629193666982530123194058484616427413509728289066919098006754515106\
49581605848175092953455553470017462929703351780715048595432616129745535630575\
35609543088095592168170466306595878879047751235223518190603016648398643607855\
02686099881905103315706063926345836129586042220918219325496508801706210587568\
39858494654124325401450644899674862871074094628941367402063065262156529521438\
74964200138060966552294861958440106013437109909638201745349575377585806307618\
64032132934553876087586197632441748688864802669881626556407864484577379703302\
48917241793551883084107973875732583185161457217787594135437546351367559365301\
80513365406421907185788748647032327087659047726111155770045539380202669893995\
11316618871563354731944943491606680081686278441733434208215977213973462069703\
49540884452110246740905093763995377171077012436818130679866898115896198378448\
32091963687219298097694313321482921388428832390992411687712824558995134776020\
2104235339147508820900611681281588971614837646484375534
0
*** a(t,u0+1l^(t-1),r):
26689665940305592114721416904691242949794944768447338968039501361277627357495\
49631074358951478597357482936956162711644644658410173815183102588650061296569\
74503600040414692212977120481754393474958087041257827749903128677378738453893\
75958208154961019055874899167685096777752813624495803387918385250452449925546\
05581043903996587084498492579094053271579483876391037963336066324249291603810\
80093790394234922709115798276203717674825049764232431432249657139846275334392\
91506033472614729008202868426329928677507291161590747066310293171444932578113\
54233495648545273939085765713943579892048959097867811464770903809618260518310\
81282259972872408664344106422701089706879687342151260208806387442069467771782\
11091620834785405088868441726270248248605938579206760881328574412846055048586\
87103916622723114521106575890717856082863942050056939817308895619821028173271\
47239204711170411275465394976517684622481490107872129138956428356140273163231\
29565575721428688326603235014928894301545620152939918916981233501668184563168\
21783457046001340641992334604038808139821012709515564622881112131833120222076\
59185593245878211004447203913538061677177812486921355017422900632832366519450\
46270097378454181975782669667009075103628516025351096272780896520757928401428\
53159068218988500933226992659115796342651032120244414680932650254414040872696\
94517465146038619636461257762376222863946011118326639811818939310272655858755\
93109603638011073212014153778541149591812958792691165591590385503249317999710\
09477715564944819886940834307981959441589106523899102794948876323046668609237\
18783830847902653259686232956297837265333896189815615851333847487412983710351\
05272825346366527158561524456371573167515056422553911136432229929076652145720\
71616400246446957360223591548324158675314492564424381926282076569041422835852\
47005201254655183113843401425012681646704236129096051740706549065717691823376\
71367415971591731858644445820835027197395427287913394394526472566274446063458\
66374073585810026061370908731601942994600003127776689258177091012036712208554\
74471330884308393638537392556256408713129624922136956201395803418990377981943\
90528209518569170212093429383242386319822983759257516750959292579155464306653\
11062453979911497589558119027277577164459747804458816685585478228909210134523\
82517011989019507891143946963348381850977159849384057054137207389123740825647\
74485172481819047963017002040953969628243487349828951331639992269099897781519\
33236599366402132130389041071215118587052747848113401952298450355544167084746\
63240173800219045304854649737809255453666571003242974860663757409913619482468\
67592366170983905453294156732238666839624704625603392443166898791541083727625\
55134420720019158767502030933751772443866309617764725096059977812941153879566\
67432891678690281826501865671220895551097645711740382369038708638657016265073\
33045758026890608731273021301354435995117710200224020240333832143538501178766\
14849262700352573008372802769099631018639824697447248332945671723550369433170\
81022901137502578787688830980479453500483454870716842858516460250385927305879\
39916806437760279864002051852404973109160757023265733304375768049623919437544\
09373458207347414768847359292375754181752898631932772698290702983439121831082\
81097628226138819050673019198685273163073702101833955655054730756531310719316\
52331337184475454490932445978083898050621256567467447931136600343393781092959\
57264768586520304092368730772492642956142486804820341028793233946012553905457\
02491654623940721136536836211584337781266513392622807286168537927653196693137\
49932318624183310756058024756697978282862675540811834883389176014539353016355\
32224805442438389573889483920647123163216452348695046569831189713627896152513\
60510233826150880332368732435246253879591750318451312658098611502978344619780\
2451183565038833611637869580590631812810897827148438027
1
result=O: not congruent.

code version 3.3a
start=Sat 2 Mar 2024 19:28:08
end  =Sat 2 Mar 2024 19:40:38
elapsed(sec)=749.929485