n63-L5-f12404-r3-t12402-ver3.3b.txt
p=133138705217650556018020748568257157130531969960942270838175256704657567457185436365897919446777580972028776347434697622513666266283002489373336372199152874860734082955171464401159093214087232431134130965893873518444448260974503359380781818936249314032564930066476754165435169890084795960966869874742271852304927500811095726695497717814876641496857718925902206630155542642073250213876003166201693140942922764532150324176168171569515939620667781734866829728948204391079259572705198997682196895156622204508832790278454644162610667873778976448289975003502808041431096193822258688173772475565498320675544737142299301783209310259793614348599550641052024994696416759158846512798124322730391564037008481131229685971115082229720510208974858871267452786167730626957500898164714198017755058361010188193081151833086740048947477681477928167680497934869522216142122637094141653839771861668636463169201565608804543161332110515482085483600671500528881224506145868263912964149335599635137886396853397026083697579579489547350114958038606821194007994175687608647259772240430377773562125246953592367285951823313947151800395933686539282134305353405630150702260241263787515984907032754708101171696459784769620738210927594945675139837823105589604887693678669955985013966749759322611182092022440151572884295769535383677158400722212764485660907216755235307444449116604091646300716903194899636726238096707844269765062240812194155555153461085510357848131641908208355508934778527760177170421416869624734234990600334322531698339452424456044932334820994747580170671794597965096473928802106354448888118968528335540574517338276165436537344288665537559615346565809217161971673583548497444237760059419639114228930649598986938683415241679728712687006469286465078948880245989243713717693291206740388965595200014849573006875700049826917676457297843074923331170433552071669488546049463701939055744221537787512261005139818644398591306545249244080294224393327752667849476673633780976474834101819489570062033110122057478354133751296859187446027546379754008182332466877222725946227792292618514679784586527975635563655694648887407543787289868076594760542699172676858077863884496716553383070419677459736052851150981112780533413632602091526854313326138845691338766218420415430952676133366272554068386897437047275732862997201475971103794022473674956311027720173182324249991766020685632725067998105758622814562948540370730497111995509943334540415557398513724082192881006063812182385114806593498431407371548398786625362396141296815837265947070240022822160983231595804019484232252366461172005762347040986681732041404976078233955729912091768388209008068485028160237501105572432539116588619810452181254125444148116508146686720988335421959598665396984905025199323915417645580003289103637484922872506941522715877469265774431785666276821299988172875102247267122550164500680735801445596268108473895341762105051420220145992008780939109175816136073873068874293634460751481184852453408148799217188847886187818125665194139845741304238524758252874624210388788847468704085115676833929886062631285940070051441153848574949950987506737390088115538525421692648362676969752731555538989959374250715239645559857655739803206803584826114776047531706684970542722023460537013333888984232481044984494800881637930065715551172926974109334379274255163228447429657823346044892740618908218715465481621189007009960349216067151899357997155380939434494901872282526967345924028340655340730407833782919327900292874530548297192292553894490083058771136356842811600209544021437516905454044991521720920587429137439416987793047220208315732965044642619510685192827346451623711251279881182298862040396135496944962522402393848497118317738094357684749969536642327578813347265987675616170098718562634325428435432166119762130205424908212788124825918754082248670175394488645467608976173984271940387409100715969912245357273007162571878932968728443391205988634028117419735350520463429438550821958486272358434929659015368767165338815139476033885146077751874128031174828614499248573820368962677992703538893018312756024330461837930020164376875607250451286148770542344389223080047990749714625395840689140317174058599599244927637770576801303550368243826494914638296180029849130233183210543112414219884778122454315713885745478825309344357690909238997516659566032562308279832763628353749084124785432400665441019980910150771705947101715502428623686291155406148120100853619417306923012976907958338177435856642308986690222568492214158723678154977209484898971942810064108011853629202810960914830689789082652355376577902707932154986922769003902185689461763764247090958088835497843267891368491107336199535656776789369488996454448497000735554880504219155619144736417209974795392380475745267268474862495441026872527748008593458062084124797444633507121153701161802827412643650550109860822007688446928807206878370573384804093113271941182669833139130181983019342958415629798642441629051514032252934934284046628942072757122320777632390524965376769866655378871287452733007055412737584610969560572090951900659219328045284097551729858193993108524221350214001581010572213390509630330513606409241264525734118816423525855059986014132591002582636101024091722532247445095927920390747511274189417078913716119034875715431690457743891817079432766304702970125645800521991264006834621883076446409793280444762029631039381946071758246365701869986796271470623847054266313736780795320858670418853994129119006337496697227067651384424133890677406774872971619060834465575046467624720394374887470315063666557153938691452448650056239132721129121118887675575010066677903722861773665453216835284094249405655897098758849853194947545880077247249984949256480510407855224377042427127276980728998485963771957111281723463006946308833064691733358292547062894573676282402023132047241490726593132182022530717832117467073202380156934819665211220422243214664920519416145453995524815216825425498121184961452673896303691747280427735017567109191601231704722977417439550378949815956397330065466239068764393089960165097330737319785464546932291855933072883335793847390626437071551562154129410917930892363645057443758131194290357493741149558580287602803608268958492288241860161255695238347887608441348632675073261511188673149911015790046177821962519656846809003508991790096762166860633001593399735833425821816854694108925699899874036411732080035358834994578314135467776471986174094892982746704854338588685288096978624099257691354095672957562770967841614038783482956193255856422805122351473386678811469245832248197323862567541627561496654640253377994444860327381456373686592584793076771863697493183853207138017553532937799367393645042252154739340971123455034207023899516016356181517627935849662639144564232328334196248501240503681640117551622853293105511020824088610716434875646294460532276511115196149620937819467602876945802859648465005276563634943033892693881289186169542835611929603600267473423758629753539471761800606284723415870007619787201116674698062965623280433813004545180685335685487690013214934878242821321348069492918830806767217999362345579425125330194871121252374512075110557841256190098376443237307046994085585732509627433074145285573085708317356771679458277660593701064661685494207521249204551787763555875041238084256633155580516889616903414848562268577925476576832320828508065294997844608052140700704744828311477215512247857572882460327113036811113365308228772345735929514413262945309406772957740861008201738636357776387857627442070107883939005218645231143300996020563841949951660201588967495009136927710404799190725418105079038824820783596077719526824784228174889832750721755074589339302974360705489389911226154238096190442621608463804997201578357891224345696845144118973982186022889973348778938869012806189048268963710292831463928347574304349025317892271613582401679039918816848024515325212669956516553654514194799936430255494602541346691388380782739038128523812482385559615058726044583215411193242260547219630030981899545933464380292954958359382654934236289740955187500206021803859978307635484143146745393061375685944418846383092522929169418905188616514074763834730368561242635157691318545102254790992747919919948493726856356825558157000670555859164755643798798214342464345800681679815313458542185622718551496861781175791086579495001158337159516609694165965429024936293962116006559912272740690503451337984034909604494323787839808466208573417605237839893832134467679908521245951672619617757299265004302530283405648966053450272899539761178424422345641864347137319586114672683131876153528348078721239921341965467380109231759789885479520819811401442215914639295480905674810658401518311998164752807457545495480302959163333587978705256657611854353949094946290708077647079897107285084700833976967260241508483886718751
g=6
contribution table:{0, 1, 0}
*** a(t,u0,r):
504
0
*** a(t,u0+1l^(t-1),r):
504
0
*** a(t,u0+2l^(t-1),r):
528
0
*** a(t,u0+3l^(t-1),r):
525
0
*** a(t,u0+4l^(t-1),r):
536
2
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Sat 27 Apr 2024 22:44:56
end  =Sun 28 Apr 2024 05:23:00
elapsed(sec)=23883.799833