n57-L5-f4027-r2-t4025-ver3.3a.txt p=644335875060618785943357202872857030624844946912297328611603569308277334006795932350906861350827615139371747752664762040668588588291511222087446282724650593108884653054668206050295819487851095503677905721718216382008168908236088193016186443825720295831904151780200005945261387862222059236916826488406134824986526890746770659663174925498056534064472723014486502135939209169601137364680859817234326821674391987610518727972845871450956993777018568945927842415888335666680538916088259803992055042049582367207225504899455428387129777225074833652080585507517087942600017383803876982475683735386508224136104765447831451825436253210139192965848313556667080630547456256531385834988757859151049180840700594917209656038318096020454306474232161437155422606081418262562299736117468250348009195441764188629142597324854132946146493980265534960247788965996033956972568319575358093451702405186207842887579054711176999997169863471323160135955922703945840179412880713838497060643454968390175703263596240125234309464257951621548812731014051360605663764303144305846896812774025379195713151816369448610658452857932767197062170791915382258867448364310604494230262325939999629192464811918306909266160046565770389578605410648522321799834140846584431451158260552399755230933379394445315499658287224469905943286701166491609073982462579408455103335291237828542319332100052458829459407595559432736649698015104190800869539544029563662124254119570906891558117650713162685809527052923597323371102131064532810044187948702394610584980888233909578935670452913163659257163312492514730883412077108764025589410860656668421293294120071743745195316814180850177773519158944336094760795056936404087911788624539243957629242097442780319810430481602602483666864821513135275744072236886231497647205787002325554259360743145789197208615430515845544259137657895860606380337183686668604027181312051166782945398717778251592400780212437963121713873054958279120141837120721287029380360185580485187089712577252983753062821226723833230837972973161246419238412352795169657852695823682980857802040840490871380164340303247783319264289015552221874908611361828102870315891328300279311395740538449944974391751461962009227922473033082202153033980038334734292629322867327617651255792334322126800234206942003404226781494881836280071854165897054863779904306389724391654693570157298221666741238122477238924685265630955507090044558022288481670723119914291624630237915178082368574655976537124768108381792122455000656985576658762506997237430378424310471837851467429838455522821331000862519160820357689043897866403977772629871829807059145086299266432936737618395136545749632820424953114443594482244091690060980288580888571047124706882042052119315361301111712174080064711506057378227790753346386354737238804629896942344261011406295498898632716786374907691481439542258158326148986816406251 g=3 *** a(t,u0,r): 46585483766882738223704725767707563314176289661759096858618938060988451248691\ 34590897056607566483657457657736251766229554033895493347626135692236624099223\ 78817723604158525112974363877489716342049159125836802270444191906120654691763\ 55070279888599577388646670173708460429842398342438654882829086555111763547846\ 52589420099151869364754711350948741286137787394737410442840482296216223146642\ 61647860418292070585407042405040324367565059041906500784425347905830066687266\ 68701002963633181183828625579540184805149082404004230627472389482893372910473\ 04542633219348545824998125684902030583299193406844454460504037454187821396697\ 90411070930636514308330701470299295885810873472191958696871932166208557747826\ 53012514258131570398342278846358086985271906337054419686540383254270921292954\ 50016106483043955083788700978658695381200639151477319817762591514224151325508\ 91166895052983901565580838949628270407719656556180970997953811289766644778296\ 13211495284244971551275610523337484521794214609703345958008161054440574265849\ 90223797916045231591337178949015911733331273063956356203491585006087632351113\ 45506061416285390683475949482554821373161165167396567049328479661654619731906\ 15205901693589539943371366705199166533171189888163866128008383208054393918742\ 23793850230319648333021839631062529416632917419969962849433734333604893204449\ 12313039711415564950036096877108337927733699151691589469868597731664920329949\ 02867709033337452771583572844976568259651906146561662184028805926376086479730\ 68407596572216619478869118313034529411821931166255704897374562173256429290749\ 32088150428706931749636390501144052254771268595051648811870727776214056652754\ 67853025435191675499651205482616502015556022317554187338136594203645113017122\ 29412381986815956911432659539968043629642272687453727989297840026813757295178\ 17294405589581828956262956328499356526658707218412983783805461400711652088612\ 99358406952327295367590130576409359264733699913021873483580386254823828149052\ 22420004141746907902658621933539072534644197469213314258958544595955811611093\ 72131070907662627499080522795160190875527674900007858818039248147339828080958\ 24425641555892601460171837523838943036110194213912040929931021648523630699853\ 26717879480029184321566435675677160128935710004330778675618579378577148976765\ 69331619068461255963020799567630491950561943570666512870813519770735166343451\ 22372661426505391516255104374254744705118083162610221545011457224793281569803\ 28446076620126737535524794762710363412073423600357045349654750005719242852925\ 59002662163600776471138766610951773203342999822313623601353273118609178738157\ 41007592961139733295050376189739436963101326129809968372257698452916724110174\ 27188106624782919140887486439824368670711630757164036822650062207037679018598\ 86786418879484458692714669437334475023655747415489314900711246751645703711454\ 236549058260941080789052648469805717468261719473 1 *** a(t,u0+1l^(t-1),r): 46263315829352428830733047166271134798863867188302948194313136276334312581687\ 94794279511264498942276700689148864132991452000466063933050574587864309962991\ 25852179180893251771944112398392277086571640736308193679362281865276113511322\ 58562186666686717240730718097818360426869767648507543853210628141867560480434\ 03263075561813336381595965076045914582914151244013085336043521837736166278408\ 57348774246657962213447104352446684503335701787121531899332503176190854607825\ 00867662694175137053926629552019160013965478791251780899758195918004760373056\ 21938603943972691427868124815711836734175409220075129049297232215915429824106\ 63229804879940549479089133686963892733073592189535029521928142870453311843623\ 02715055653303551239294268619204849869191187759343116645831251973121053234220\ 37498706023271866874357243848792452674553331826778306541014579124775851523811\ 06304053455107111098322326923697231193281761282625085997967961972410028977616\ 35250143311324881844835253604088954200066730414615494326210040991823419533720\ 92642720475408680888769148665827696576115980719115717502222625220430041532641\ 02452769151995726847490638628595244461866827925575014026857328350024919733760\ 18973495734436085310291343422313971743868484563902705228091312784762178193163\ 10766230242558101664052117365287546502271693924672798514375409753151194081320\ 15270764194739108760893385280447837665439551854653611672704914483174844808995\ 02432939261322670940521445785191114813872847321205080841124042399914287818045\ 13301043345576117269471683193304000162777519470776758113851916515073466432583\ 69625576774289871364092570373196997951487926488585178211512009050237472581850\ 42764138675612203331603825085088033813512066423241917716157779582596391626962\ 38890857906685832728089418464311279842438660843142153106937550676697479582210\ 13578676643595785879110377100778060838369227915381082097887028057691516182052\ 73775015479627936478464334376019253045752139056085346004440826183905267788408\ 70950986132467883643304136304676423346991056407877122597416645947297749290131\ 80069306931814338235601404380255901865323472445650957996337731908423231759513\ 16649530618438295779257786088680997371960054558214170660706049161327754968872\ 26256483356377530211458783976675243392221078538187412294736016588960432870425\ 68160584358444234829113325158449091591291114085392193971291987822113208069983\ 37294012315672020897193865754792402072302605409065199266000312983957920009846\ 13864845108230978631406366029911536555835018181267439226904717156440409914800\ 24016475011708654918779577353614624011065385715658619288757469016820733518668\ 07805604074824797380146846617196287329884857761000770803984823636506511633617\ 05008382512578334637838472010779940118355395413061934216684294141982093409894\ 86462861349197567553760902705402701337461724266004603179406189720168209218290\ 652617183722483673591341357678174972534179688218 0 result=O: not congruent. code version 3.3a start=Sat 2 Mar 2024 19:44:04 end =Sat 2 Mar 2024 19:52:10 elapsed(sec)=485.674210