n57-L5-f5305-r2-t5303-ver3.3a.txt
p=123816309139857001048293116058730346714626414472119980214051647734028456504916397106481961909403800044931821026154043246502197541238283597910947556170259376270773249169396004060091500020298410405911941915244258893493929002309507301011131690839447573990512983982711745184698589759379363952984531989992579963451530850081948344347552309794310026238302717782218493791046744330453353249696561012776718729830234491481758040350128465273547573902725744657744941363441013383817325510761589884350735248125822744232013412199637010199567055946605149629668089594488837911716549306082712433798733004964502989320396733837965475386030293625080904761601705499670930688825167022398593404914145205617409736726753291960978974484685420734774715740809850326444719864662376609140380745732262785747612197339642856338920767188736565902103297911408708436791565304131344380481981937827374343309859335622162013330640782023182717492790554031755027416096607631562535119677947858200450481198123775177299039176447281135912192667948702975886847114430589271535210561114263830918048236511770187802963926791941445883903060198326704594867615692380731339306221632586228925720469474960821205011324467825383992059519653108173673697784875399444328801162257885398619325981192650638082090179233354090210933026631707918380083289474732323103730560966420982338810322250335825931482185464659688336372465436978779416463910257444070031638512283344113619567922934327667237661117597148401958017968740089378825626419188782592302670520825598086981425510014181803739636219750205388317446601004281606011101072595965208447230801064774813652535109688495755501538290224613934519492852411190911689135203070951005684826528646333354924879346322345210508859596380555756741385904805738957745856292186682545242355571217711816928013857816595075642758414859605122203436450102390026565921336229734786834461458231111611445547737739271266523929032781714738826723930371017392635695286157893899042070854272090551140131131974340264226567204760570042734065464957906138364522977455299980428610718705226535520939458917458177754111665095131942296188023921295902624800469665331462747204228752918029319978162026680471211855722677728781207106840532235369343803767407528685279827894203399845599280718745688000917038355087312591489983492008387739417923750032781479186432865342317860503630975225043874257085017938719853262547312934223237965835569183117795773673136522423396087804700860183546927176199979087371383213590798604772747584651062295271644214281306431859210219483263192930010210124122318128587705017604206868544903091068378996789085728789914941331100253998000972841308810898549909251289593171003076044119361510841931550638393144099058419734396310396213435568673344846972588975319585932776563771192945606593563705601167582375546133457937212528782846448449260467201395500391101569412578314341303775134538023952973791446408835555266069115604774760709751708464814858423067240100364746642656206218313489155229555616073395804134779342365196918345416634922145142338062238034365748316382049035298281400506863323278187096929191158691857273117139653242981475030728478498559761093823314344418495130784710386417033892859608594634264457816436033040181988588794122461141740515363158277640252523387301280790931674843749625533158692006704457826665593653955392673950756934992288766606319167458016599553793137342243459800688775551494108509147435829968384522938449288617296516286210267909150209105426897409639450364322126427401198586360749791793384663467452935805362237247421014381953675438700951240356962563521887152526986477946683723317967365436890752334166128407978397675156561542521680435027602603818444822179708983742948171618012415633763747432011430787491060301341860849788645282387733459472656251
g=2
*** a(t,u0,r):
86919049016179614735901767473228703393667742959428226110264256709287976466451\
31076875033726040146763154213836036013835904454267394927508573348518443152208\
21420828209169159948501842330142494841049501832245014697432327381596212741253\
09814446969292196941340114755863645119658410011084313494995141456974791134342\
97465675752773773198172147560563841928850788311738264131481451997825398128698\
58309692565483408246130201941443257901826220303968797134727497369488371355913\
95439762508554636098814216144184327566450873415364145181160096073274516815040\
02699889533116421402501761287006412852671056948508109850291850715425176372099\
32661248067951426443972607689933435552672497238125702497299343434216351821808\
10956607240088249165355811850450048514929164193344992988379616547283504048475\
59482376253242928514992237856649306926327651513380891332262767884350020375509\
83513203548167890035212536067577333581098289802742676799389689302920292460998\
18557356899654013919396456716237801082890174463925501865991357410359252899989\
48907256667433027366861771781390221320930446986203126267183768067660794289501\
04999482592253466255970662160512734001929675860755327058557695714224964859179\
49776413419562425782796481937918935844982530409918818415905035549830766838797\
24074793362730582181457132807498469545895870281846921126209081881885379842752\
96018448462197357498039004941961911012121334707367591031503576650007257371622\
10235622907567760936681899898022400838104553198178174528614055542743935589746\
27052537979647470561956985706096070802995562622522462626464418259884751390500\
56874197929529623675763299560223474719191840796470013240203620798797376789820\
32683982392656020005772912555807605990748223109726015157265301118286337777219\
43665915014123245290517362874833759111711505114676013361099483369548346572818\
72497431012164072314427957868123879718777986492767780332738203577919436782403\
51234774511892968429099798181012763746656360199120454209630258090882841517127\
53373969900756690037205464598686548705017774192016999931395640045010913189513\
01736205862608847245310690279356995001600556407833863888967826234919239927927\
49723642609929705062686848537368584548456582624669742729690790722717319765604\
40738900205362922927935024472008513706643918173078669161069506455947297664376\
09252712934392259684113898881930713824725230125983888758714703071380735489446\
07980799728473682592981336990308213679824713052016569566548692633118541838741\
22405363890000384884994287769238531933471101594074062055046880442504573128069\
42384254771151651655740772507614368671675071338673262685689223581532217185219\
69930002055745938181610520288814432378306596682934598785250782036294405294406\
04415938297179178061103594854815198715753901065354620989814183176920868808257\
47574606743493248091477673774478158286817213320196428276333856874719231952055\
58206811380847975379641274553301727629976667595250144445692814987601595379002\
55979678051915455188201824569934230003061299320255045605214314465676525606938\
69711480424835238545026150983403682366784824777153458899213196911001247553181\
00198422779393543155818052941287342044292193401683805728232036576572995471571\
39190598895228786396666978178358181086669126475779278744523343325364938713809\
51942077559893334739677215018417849371109034572714178854991152340357403122371\
24277401788706529394319246745076685657113431368364586714157636055555527652886\
76278241425490878008352043714886417342149995263780593510279140060934215443291\
96080722234467920096819815668941557541327520356414076252463538389560337541519\
60935364290547689552096131480157968067770730587719592364781073944507518571973\
76921309053669730813858462214240083516795990620285021966538937702788054826517\
01557065875496164758447157749021506972720244128187243315419863165516289882361\
88888549804688202
0
*** a(t,u0+1l^(t-1),r):
87909579489298470744288112401698546167384754275205185951976669891160204118490\
64194560219295567669803190159292856937070501656025427918135451677276488088415\
71522490069102711628826649650144118713881974787598234238143806895916397501837\
17903500496007777533264218627725339081135998729159348406619017712894731774050\
58690355818332448676213995396011862919492962537513059164318847462188080728455\
83190714702981794664889520482086485912103442187774709352787069989083680431195\
02510301112640728817889022026169334148404729522661742277241692609722089656237\
06434361208707491731875000731872582799710043352479712241748168102495548752408\
15084738074423807372109047663607890658685859030013174890430959883609130759948\
37292295071884126648721690048175974993731775751103910287392489670329469906577\
88080466011114642800063374470400296179049334151710018299012201136593325451014\
22071758574357837500001282917350294647549552364597294198812933625460694654285\
91418409399934971342979322319841650667880375882317815277569606497656794243579\
11287966145124571838278999949839112731995181424792335683334010438802227842657\
75711727408119602623560071415903192509074173591362225372615333272221830555580\
40372156022634362258953706803308325427261533605473448825203098633019721446646\
78195303828402725568140404976244890851262204985913552705994940364869828615889\
74605553287977384364113523516799083787188244504602549333856893762827852897224\
63343721174320669893225283372643738739393493975365390192757805463458966194757\
62403564053489606978617464175681211211006908065514171602264582570538708671303\
99402678817615431352979975338687559901176932999278788319864060921860594758935\
08839925211945547299285994180375214036226835338896681996664335888865099461290\
31343019458728638399241207465999955796745254460712207245556457539001888983904\
97825037063584745503196367644398795726969188618041487231116986524676353440892\
44126338893794882599231989613275017464566973990563422348771343653172104668319\
87030653318429130949310370178158760086271538000473034118648012011335823881131\
39932629861043136102807108402198670158313953062054192822175436790302934969841\
20090863608333462385338550515002414571800817184495038943134560417563101187434\
65704585677788711223410067485934536654867780488441389037548931030943848065109\
72321119919399578882793259552949867258625232748502223673343930456809575779924\
09781150722530362736491095816408592183298498955743254120013634999307926930920\
61122234133761073031831829510198515203368208164946700938865078510225422964286\
73921397275666200392558331168669803072491881268458712972705624989868766668811\
94658549087720250867440839608345081180338580690717329255737970435568415611151\
41218399132474667269777140095325913231033147801142138038131153925375807484135\
05381724769060122713602775469913806814302309768289834866377547551354208954358\
20978398974931712990805277682114282930603182325680345521997006611391926950273\
24423890907207939008010392371301001854948037774047125897011628590641500257730\
02129844874121110209356933330792898120252458107947230510600241890043996813046\
31254815061779794359872959527512838819725722671218663913169153802516847271817\
21973397743037661455318453713154285714437435609406393032210219032776504966958\
34585292118980438269474106357659078423771245792916049839093615614891390622341\
28542671324760165056932571494308328798505037423844525024290486608895191785683\
19312751299285645848903064156081704149467943927755301128629899491828052656320\
92902154966484648530971608440097586687097634548509963161323521733031110618915\
84421807188445668920211187109561477675380653443420100539878294160399342145443\
55575682946019243415725795116966466234936115869519039310886959784871109582374\
75933784574932018487888150999722606767281158591186528139527212033499381504952\
90756225585938210
0
*** a(t,u0+2l^(t-1),r):
86547600088760043732756888125052512353523863716011866169622101766085891096936\
56157743089137467325623140734289728167622930503608132556023493975234176301130\
40132705011694078068380039585141885888737324473987557369665522563726143456034\
06781051896773854219368575803915509884104314241806175403136187861004813394452\
62006420728189269893906454622270834057359972977072715994167428698689392153789\
61479309263921513339095457488702047397972262097541580052955157637140130452683\
55288310532022351329161163938439950098218177375127546270129497372106676999591\
13799462654769770028986796495181599122531437047018758953495731695273786729483\
51752439315524283595921442699805514887917486566167900349874987265694059720005\
51080724303164795109093607526302826085378184859185399001249789126141266851687\
23758092594041035658090561626492685956557020524007468719731730414758780972195\
69053745413346659735916755998912473181179066342047195274605972681967641638515\
28734462212048654885552882114886357488518848932028384336649514002622674896143\
38014490613298698190080311218221887041781171571732172736127427178482756707067\
28482390786303665118124633689741312061750489211777740190786081629976140223029\
15803009943410449604237522613397914751627904211585832012418261893634908860853\
66279601938103528411450905744218561556383494767821934283789384950766211552826\
66548284152529847423261060476397971221471243533404481668121082732699534049521\
15320086057535420077978131095039399125121200406732968654560149322475799112867\
01295903201956669405709306280001643149991308081400571760539356643389517410199\
28426017596497445796807046143299442775947431220416722585330955752648670051402\
29125503835422447270705506946594752973693743523787015092490663079319302145692\
85787000847396222874745921153146435354823849109912440654428118056003268168661\
37999578742881319868639804202020786215706285695790140245846159972885593035470\
16400437868679750615300226393914418602439880027329341157452351005024367835430\
40752713619129524695166125006384469437047612763845987111176000557639071680156\
12412546863195988923749533483291366817833032662501240539014972276650354287209\
85835934735528296066692460295755898289702494664735256649649377087150151732418\
06376768153203252317131883341786255101059969804817649207389722240323591264100\
98102060315014514984609138630298531287012729142539513165728742801844920380516\
82305668105702427539165177430520571741022043338119062858999339245797522429173\
95386537548590126829930209616378538207259686629996822473615056167109254439487\
93057826331958695879434188009718580771368767615003718828058073053406011128872\
60656796918755570924424150543990439077544602680016074858818086386566651425626\
53115015483943369607851015389623680772524183539434302096695319146250266804803\
38396937483905670108180760638689790089010302152161400805067472870981115576192\
09667466033066573775454773379997019392241724571338819042078743128680221039776\
05313098231180773755773611644421690558603772400083015495790321668814660112891\
95054593756353036670902107603132726459234462278105794544943055043860216580731\
51052275673498698954297462971452780753504619925608233908880617616844051046479\
20647049327300458249672674852809641851256010550669110886640764935085601368878\
70950872100235670916003380766202388476360705365138477235952728612407157809882\
47677925712686416020839249964114819479091579097559609847857817098053153603088\
10140300222817840068145411049438184789405764514790078153397605274349026488406\
09772684959961646934012893379758046611663727534378118661641044635758797637496\
02127948203835947289052985619131651964917009516831901799119616363548084731922\
59925918844038663588158212375717689997493443651822265462408429422006909293070\
36165796363207719609906785280008594549759901204562511506379607340022630523890\
25688171386719449
1
result=O: not congruent.

code version 3.3a
start=Sun 3 Mar 2024 02:30:13
end  =Sun 3 Mar 2024 02:54:32
elapsed(sec)=1458.958024