n38-L5-f6226-r2-t6224-ver3.3a.txt
p=4656510518741894848763147221498907368914925388123897917764657692141279670237920989562698761815309188259266291237588095790470265859395939244577619083153045027165082273459449208341528154942717119499814288735878314543654401631481238030211999254538333211154561257909540040733411537495816850978832163032364339787391178011812697930990858307515005663272731518671451428372634009718883806922741162638322555300889228608618436377216116799985340511943228738341896040539724852901216749870285506117087475521502136964334119457071491124835419306825468138782796330965414288809500397399775512663697174002297217086180792899535970811317970184958659722847706810682032299723937413158093736709662664453928094054854593160421371623715182319263834624094828700635936288529296079125534796948607099687173767989038982090268800215116512562425755241813234392305218121627771230953032401339582047929016896615814499795581373308875413082090484246315320872198287796145216932961842805389089786109365861933348480340669068174152943817305582015692717541976404930619794882521140236242496114382431222287239617845950844040116607710739857426391563955015946920928616077964351830318680425299735101071571848610802231175186071897453986612408790537343982124640198017226644589045254559870802524698550585778679646493233932278775148592788365576621499655520577500138993996367778558571747645425345204820321731322921735833309894662249499943332163996842467567590379802094459002149086085911752485073935696768178840393777624988862340232450483845700859377864284907906683540665819433309371743939026929024721590105325515194323412684617330571724408308648613160564969082597049809690513964144495328950168397820584169599321404341345484893384274072309689750518612149275907439425890200156840197562580189851504314674476133999716452052372884404100237894270388870794396517521320380497217705302624086681849514418260503789541327031680322606996949546098581434318406660842542680180678119858445356222177410658232844200626138894847111256967209529547922603693297568276237871467830598672791579945028650942085376293684925068231565564610968848615823330319297094318254140223848551087173989281976544728510858529509151197969844376645798748838703336127319764109685322860886849243573463549579995358697897574724218372414388128691300984965507777246951751091885281710196085889784136027578675707473433263792862305633942819730636835163503287418644662140087705397504561924383405450654931998399561257361925991247198470290943931795181911702408217294258349059763011850766524635441129980796209602203695456950361086435425036376293954557897806391523100599944970402022158938865817777535525328939208195393146271740592035595157857138576321312618703960015127562233639839254813750513647032100129167391869241024299485118571296773219973361157243113566700251665557562642582912238847548745437693416016703543003654947566950373628044374872202288328409529092507258675084618676218917978485661127870042086404915427357000922190726115932838639900502024737186977708605755723975640347568222704580229807487196036601180681926436214564187232558519878276414764729466762988193399597621247122415133648878707063304167511150644196379831557462010706735865540288759473282297030719877171467357127770118181804994559929958002889425932937896552720895520158035334349430845770687536790220482379251202310481191043197460279516639700980629284000420544879221717609302369116338919041462685932555543650901868952340505369760443183651580623822785539724254341326485687088843195568450871331783809721605090853862145916811806787617906961621636701083683339253918127120479561143999237360150662458772052430808426108791406464803433092970613674735833364707406268792009197664677647016653311955507624918776964744075822372446137888941996669457823917343864593785192521372042872063866058328745842467393704753554151289136789348214193058790895163211647379088011055711676297334990935673002902193461301741994258368180360687408715867535658731240984991374321787994524480025371710896726957193326020498239531996943823706112757534264969932282685789227858500232927697902761473172006775010798233708964407724134080948580473338722083814904624307820057912203680471606743683056980707407384213613807932790801153395080180897972272709044290813898320301188114648351995412686173563238917058913808742639060993018934357023849719124028256325016468088315171570333645199898112315463440450107740486984653216495644301176071166992187501
g=2
*** a(t,u0,r):
21792469227712067892211528996614886486521850816419842255138597999221188856713\
47023115343020529564700105336624299191228829940084422197299566462325730915625\
07271325850397902222950383517651319161192591308712839105120643025996353321939\
81392156511239399428203346687016647390632365995480422862580934522991465110204\
99071309528342631703721687917022650411638350738239268478392716548437621639842\
86411473495588081615898883342822453714266239313935958943104954400734697259123\
11577694389392936168627969385440630000993083679059094578464229762355943190889\
50348682891813887162846185983094939926610277433075097596332611076982834339696\
81004656065275029272678739919111627080270935798786878012212696443834801767194\
95990772019198987053254154746040763798318976181830317105650307502849719481226\
53597323418870243618245798500674527879215253453168593695598842080921796936086\
01916382692439843077990761620118590433208270855369332241834662727557016818879\
86885959615246261424329220940198991832233848070887994331239055035777064990123\
83344191809644957507530064005019893630561488181530977812030428141151904995010\
77457240862625327555125193094746315899459232448731665658914243904027602730149\
56251498554441899870816480084657346073139714769836343316126720620696676731791\
34019535581558921674144422074558833480306466769541424955089858861838783630270\
06504919030012036541157789805906155585591057025912737236998903070193276597347\
94527505222748216322977473802068130057722882067001630146019060875076973042879\
28494787575228786826439788002188840485336900327897031603494788785976163464602\
78356970416929234111094335713640091070756702308844755095914440553065541931093\
51605352196238139486788101800333913724824172317496869301038402658409348032427\
10485861124681651316613673401212459287528850504019267654830711867299560510509\
90111891133451854199153177757019997793807269788608162807256710557274774591577\
35053410508263909800745723875741361112610143172743099743245573600937524267119\
79028188052971085893033002788448068260654059828427778528463261953279323846944\
72017886645941427340864089595610544454493193237268423793342115220531858943104\
01409429376247611219087974269839650229329430817918102827606498871682702338144\
56513161307585649603332731098895045445992380941203437827870616064970934198289\
93364422752886096385763975157341951100231184037176819641897566090682023109756\
67674550595590366852396339380388565195385119257018815610461260321349806114337\
50906508175250994668445381363903688884096161760080145134676727045693712907359\
96908954615873352938644883101262609383132947385276898845177891702410557073309\
61733912328110807742461481463703833892027198866258539435494354439924551745970\
72658533877140853718374305553453287079699125343444771252835240386811022860450\
33939480479937215903549136688986694753302158977714921571777948093931672880292\
77806528128648405186958172581257105154613327748579247674401906709376956596152\
93397059939601540470453613931289407843179696437500420003076431585259822256568\
48347343494757700350556762749367882059968266192822574354754990400774512935255\
91415721484160396248373873030333621098933904450784745110116867436532902825476\
75234905626350395218501483905761168892221010752385072855139433496115010376902\
51624672313579641530908473745404722034535225133661493558667337910343396053647\
55336358206817672178231857534895626813051974082164114108137873800589345049121\
96815003475763841153508746446614111404537016435994428622074669695356513047887\
40994893973194906363259095103174079530155757861552603500778327482294971118251\
96074842890679255766051804580389259761071638027708336834923844346153916430845\
50510030705320537618343418914378225528006687510247199776370014683066133794660\
30450706913880379374999517756846198761950022748487030479253202485444130626159\
33169286298914701000021160641258893152978530542747402538246633428033160174149\
64242351514138936383050973413189174073064507152775757894965358226539889215253\
31291630840880170727902600668828622078097596318259678143745665187396069966821\
59664765775931761009745697094944607705260360059283082969493586377781090101626\
18492369444499170705053573375795342814894749883935661522521935225375364176059\
78710291132246071195604367066697106665581197126211254609493978889752466025102\
36278327281009044139009560376554287338531371292275958131835716624915550805447\
32861279087161668550045223960107707065331500294916145953552316563636890130650\
422547908817705319961532950401306152343750468
0
*** a(t,u0+1l^(t-1),r):
21932164543274324737674423413259853707589298578063559192671537729985427246820\
60786084031116815010627670114423172903993117311495219775487384196058588165084\
20779475375079940057712885976097801976328441252999459868615006122316842766311\
22298516488875549424537983524753933591854368341605297368110299487882436040398\
61244843563780725496694262839567667401456545294253622763510618577594273060611\
08760264992354671882667465928353366879101279309538112526073575903303509421040\
57164730891889044733811482009706275065102013702642806723197974824935147954933\
66697071884710130029274687175294266464601368955081989247591153455681442252130\
76395711552872946126990783123721316997452159746214999025111495780013229983651\
33785584660347698508723732661079486643179995259918972984532681268893627939439\
52658844722837360564516604901319877416902530718894033398775757735286680249778\
87826103094314457456695830604862940371882682848031956166461808001451613080539\
35519843971754250279613382612892575113209706071342404551311100260365379509291\
29391269962270886722321923389667457051270215669874125105697289860005442847542\
89492223175847284783042662281251099975737817272120971208009848031617523260471\
03406956878508835126398637008276944445403430890155807055332661137496014403148\
97699147989133017325901758113498313182103303094987203320186588726337750192002\
56546617228922370108729314099533759147037153545309613757748896038591951447330\
94492425128022243350688867864901900122195464644354204698237131778122338254692\
61369754162249484177891325104766974078191624047947653600953088714091395281683\
57064386893960831765652632737445476269928219631337349679862610043790321046036\
42320771120572999355293153734951438812803814447737233847839930880578638724942\
66322308952403969594284273871733051975269420058532211678259113866448916667628\
55433121204820135315814416075975254189921418953919753594482715112129100069728\
48739650319214319478955632362124318555639695372568376023650993944533277627806\
45560420027669618494911419472989402031555688417071546339543154658108037461348\
21197488483415410849459372221223432559970713706738093176632769805278858038893\
14238977000454326675620589489518109525671286143673988102142437967014001712107\
03029271315967608895661787067477705993723101331852177813946709757695106853407\
17680861360276391875416308331427476427796768550235645408832806898955625821998\
70672464381459535870680931299493620100483741816358679813092422246486663845839\
67258472971246193352217467141877430479507034591875530680411834270345595682407\
14837858171103310329277222095501472263794056022362007171108519213323445259676\
98668104073803825740810593524368602058001732192324299303670600301718939898188\
48765319350712269447338243409565167125081812044364289017276491927752119160837\
84157041252244505749084708078018660745310506150648991581853447761200465655166\
44971954591011535989438673687547214803040336259788089005648072778026808882025\
70918835964855396499110367866746391226789822696715166285147434351832000604366\
99939313645365121506650075331094599252660370463289385728823932646933323915610\
11873514570597321865350628626681913541875788453674390912104796073946575279486\
21871026816262897751953416494900663564607042872592669476005711915961901469062\
14776112520717972566363015243772701021936091961441374927633154178999443464247\
85819283579938298281938472006273162882366409813460037916523372991618763927641\
98076638113428993981415853795630868528925074233661059574780276552378029157168\
73949989447382053198921012379476477475861884514511274036039727017437887599779\
21690707268183609969680341789237908862104148527885954378737458732988236407966\
30962018081636694910768697240752444922416986789159040800577514777188352601036\
33210006317174484370993104409133674395039445971233742213094569168043131463506\
50689602236728256775662321927420809134728392918021424349389240052571834277830\
08884930690511621872685915550453207240199536044780730701984366933120273120479\
29569141294988376950517360929526241450393093730556214542103009195007583235839\
68380565556546708195705605409655791087986388008381051450067263213536097089457\
12200653864015191030085968076922236038067152126781402942538101476820078048983\
24727664793350212677627471983791318887796461210353634446734324908276520294494\
04459598609733461088618596019993737898393751877482855299347484039177829977277\
11918082158233217707417308729082756469596445809627146889152010900583280452000\
745769369771664969448465853929519653320312971
1
result=O: not congruent.

code version 3.3a
start=Sat 2 Mar 2024 19:52:10
end  =Sat 2 Mar 2024 20:08:26
elapsed(sec)=976.778132