n31-L5-f3749-r2-t3747-ver3.3a.txt
p=1701915310499322373376089700584323364989585773106220518773363119618405479697762442451430841402174191393971604530061284988333562321957652550641361702296777674306527250642307990084342834305226433283890206449817701649300213043016714111234879039049477017579733848716337511215457400410298631161516197286883333581745862323801548626692034171276615117576477254032239132915499717495403583283247774998572314765768804107065905127886824757185387263767171790902143656230013909206181054352337054019704027213313523398601871969103067015352802977420124906239463969559025804616631939207289979046004085469632412835409127879312760107355811750773083448603239523827392807388293896136884660450991751535904059362555942494412941014409223687825898110884986950730876893833371004333653974034156817772884163162242623341728778081200853477761786063566427013490901211632001943930427655833319364767625196579411910867442711229543533573177085607067848176093421363161166898920497971643915169987722587079065377503901043682274758714568539808246618844735882795067553817580331280082879896220766122866356124058105296771285041709008660412002459817162104464591675733986485607635640685915880329414223582279509677879303040568786230704381481066739983702623574755846392076600092347039173895043307544342618645148326004873564703614383748091684963388187047181445601744099276406889203357029368835403624990728370638155537259011666030788698958503467804901194223963792792463822967947796533568353858053115047588127286277701879910452049325487315398564330621291189532653837806049608776503316012574142330474375579935139875774035436257507257249391116446925194821783426162697899265528620897697655469586588538396743042051815013325534608821417336448870766371990013522112661693519963819877209240864887778994991755800293111733833317105689294305106112224007853235581479325619515949931143408652306028688922041565491175965860324492975518776688031874481771925747380878007696733212381833696408321777517992753262787161599242420673815779773281516437714122251629996785462665669101176483418504871521772940538208441788440714149183239652202495607682784505447560999757944083956493131749486305589394501396619328766103754333007494323843428780517478488119863490395773626299596973794803560801972315763596960337414202009263945741629292929894974429442363258808902215357694649527773666190918908070368312199379142491798953367005150833892203489320973813858444437935604599776691572231654666759149148461778839226118777434764303048038804347103914896513655843249722176467542107575014257693490268116671077570868025251374708651841596246455045660026411137707733728393044150481450138556738238548859953880310058593751
g=22
*** a(t,u0,r):
67055463233673301511017934203022340580589679460385088439670506912965175900091\
84023258637515124566314092248121848441462854034235548513151049526965107049304\
03676771736753069348093231076716259214713852741341228174449824283938948585359\
82654234138549394492641513639423697941889021576165766067763738173103203343120\
78697555778101589166614634829863563251320380887022183687068886931890118135996\
23349437492017712908818183966620387408954331042581924265685615444600554625480\
22723533541482079928376338672204552821904913755582660840404900437310352921305\
83488040062561670189529840476722517441256096750351706571511963844492274822981\
89829804594878749676372387992766110987795077932556217690750105146199388847041\
34279869875967723413300340385568868485858796549617034817570745966576945778620\
25163602859235935966411385639931362702381437090451722433154150773830087659085\
88496398327829718444327452288292881772428224440152227831771729184732181380808\
01708549975817467620082770257697516269930915175873653701121081625493354000468\
44491678248259378212566162041266505243526546791109818524093443128788934869278\
86306433349412202328969167961869159049120239190675329408442430250856849789204\
09141812681308444539798410177489752630354029555357883368845380347847818043638\
47334345146470631724709917461884404459201844932240671967481238755749456965894\
89567087175114904314346122669571321149028246346978031433281680050596416130747\
38965036631513107052424173436023074624937143183422593142007292732874972215079\
34145406847181074342420022670343462647887286758656120955835458579423065089542\
12078206903978494445111054969961885457859356260099880088526759782669908102972\
31061827663369287625501711588412831675856841511525026063587563843056085508195\
05640653277123887072468657450316204409007657849240267517853154860231303269396\
41581956211808216259094174819102854294089284272870503009008575303435284376803\
52333054896785023235439801508455854581813874446806593503251288567844247638487\
87803420891447855381416701015137454834172306729174764593641671422187334722902\
73625863534466890919379578538572054126064645641374778196422967783269427017095\
14633903390462996907885829390929760440222143355026801553384487920720495276359\
43109395238865243192262152159348087620412076751526029559770924108572023729411\
95591649994622201941414378619925200291123970707472850931691913942824479222049\
77972511500655538214176878762660002942855352817479246368266022710854662821231\
20164794592719387031047644939408626550907983092971354009272889127589424692263\
80402240390537528211590384555617531235165637968404562922001949041635208825588\
92110328799005040598825684708898685939528969135459135486598825082182884216308\
5937894
0
*** a(t,u0+1l^(t-1),r):
65183356392124046900304235532379584879101135109968245869019807481384929872424\
30154588980122570327153038911245350134721505317543693097809268956415319796658\
49259399936996003960202303305538901723947729949070280179731681981595475401504\
60295867195594969773303806405835726679552018435714437573486070356087631676180\
86652700159931240230490875989435900317907882943475879066363918007395723974838\
97824453196555289451973006241663980653882002003322022826795915521020336095327\
22596734381694509168954664242269907946166451696416647466688012354035190783908\
97147003411068831681700327163920619746195647348692141159616959777767871211172\
75900546090960815040737625891445229716562220426824952729840838251254735858925\
97536015640851873267243731897646895000212992585033818109465978947205508206120\
70146344911389247398821220050999268819827640623459415461670151640550567445253\
53792184161316706000450289914761862230558400915173358526823787506985851443780\
38209072692228655072313961951010529775085128203958399409973031123258767975074\
65584550175338431105108731121332668802717430002525534250578143955142543286634\
02170974550316937796942109973086009938611806116823987724450382705782166165647\
63201305220662777306453784512635977810724856141375810482913148916816533783536\
89160036018015867894832229410918088598665752814843089755191153409776756390704\
93665467990022863838564885742248263959588371448965954413570770201468089792071\
70110682816927715738777813263951364419672400607235667952763434306322625275064\
43598200057031348916616417976501386279545255910064198797170001614007700328158\
96512571685847115158572421455572086625279526516797599172349616743052220313295\
41869746180381820204485166341020595258510584515010367975517860283985991750352\
04721751789691494286181461430129711392512520193550818424715122617940581604514\
78999718855640981795007789227706581712274608823627925513833208987857141919583\
12039492450428080962369147151620792651864756124687627694784882034224230572438\
72407893912244996474828925098471180714436531668207956445088223742887688322009\
51265750593149287365792839036226133833204972793519137180786793555817742506465\
58641586290729258415533686946005325504073809403490520291741773790954187032603\
20332229381942609499077168215812988727456409634097637871553969374576358092296\
39369548091219044019192149775206476425128123809548481997050769137314151121941\
79095106357236221157435899913956297276938071393640993297070778421972933656171\
44728721647237373687541238608612954236034917575147280673988620649407994053647\
30187964643593587068627201230460696606772688685022709642453671276513413655331\
36239228248779011546574206201797453590963439540306723074536421336233615875244\
1406633
1
result=O: not congruent.

code version 3.3a
start=Sat 2 Mar 2024 12:04:17
end  =Sat 2 Mar 2024 12:08:01
elapsed(sec)=223.342522