n47-L7-f7517-r5-t7515-ver3.3b.txt
p=3759193151072292459123369857602335578408441367616804825070125260340797463525652786964297690100400985751014221773589871088374866635017330364470616342324350745953876535128477210791384875309549794717774822978549127042410554654119241248440195001170122266432372492874279885003471522123272719018346171167739570483398295295167878193956724588738532976626434660313904684949536350760441348853379630419076044934063786403138099017586040893800489314984542864479771858447183176193381034609380212795390033822315587528723214998599702184087357394976251008884772501723495684502644866554135419061973974319605992271533415961186253211128817077659731411320661524702592333999642631097365826194994132745363684487597550376603957522058844157353604586725408803637971749443950997816287884044574209981274230392944040219634346894031064992975083870068894333173139720943007125370684718833385297599349176290377466884792251213880207901137831851803752723710111472204149562442787342388053413085176764542093058432896877368544066026445300835304262760507060186122337179067553650506381812436377961998629116850968995804635531185721286928325349453984650454439348286311668609306780585396658192270111022714897368023645377848269016954574674786252650538895817590303812338375429035234724166255503739279191874724291594794842336251809898969603418649199540722621025566001385388536538207794059596971404928563181239180573633784566171902176674242235613722030437377592895279805633092178416851007261360377557881292607054060120503444556830403917534930112957006206798862700742849102518181197716732842354015625799547272402620541173719996220079761157370721813239080540462753180815595462255630184881773718410037846481019709380455865755737652418313239448864392217885377355243093035568143015874683698996047085660984339338056955591243653921873376443542752161117427169880620656800739162241041980785640289191658226127009458278109104323909213170802869304266385903684378417191411422033435445788606467085785589281707683689529949828606159563216949224374750895360939712771287069044974470020382209507138421798634087958170149803488740719517504163928842095076461361787710669869854182886779113231047836850481668858652737174748245115536172892843722094041325485213551550728241183701931838295379542532946681384524342166525504197180407616984816719213613799123723967723995725622931621318049046468932358481892444049814412127301301080378044214852164017090118747484651999755297684198168720613444255032822668989956798742661980796944061944367331863804514766405493502666708283175178924219826853465720610433690699193640492844684787379704232120933326697378368958742901816381125712383570583281189412721426570921335756492635462854910698366163291495548669138728522027561426893842946720637720607423472802221902626311332134367081326970749896285668835354902752290839938306527115149701727254732652138246295506589544052366002098145774648066146107382173214054546210261489579996433503032575330317376066562531353473315301028421323186367983775516805687690698163631314825085956434270162372376750170685730303327371370601552579405058109396034537008555892517113016976261428140822267913462024289189159937926715627492299924704427409888381065445017602933715512238359486478971519764724570103637282868791247811500757196644693836983026594441681627915668222216034172427029178362948185576306814774596380543221909844161295214675131287230420631040112662770064704579162794837499256410817748526606018445955822068060375090514491470659362688478096544587250720539414971592748847569996039919228224854388935276990467893527345842376409745047044761418853231347957371648849426599607555026146384150855211313401771386394482886613361107344614532962878154863217989591123507741750194750804959014558512692502773576090862390043537334079284075119260929745430845465950888918643023545753697674589545256270926168230599618652429368320121503538992656831890276803719564880039830727855761693219810901236873899829705165777960970841390871574225179482446118701412977602069376357309015057555273558834814116834044813591507430703252596635884796522452837367706967708438057543325435381584891981477585526385733991913372772795128332070957991521495797096344324308844885218476452196447459822578154123355244698916165120651469284238919227646447763577361855317333280909329676647285407314501925954552664102423493823585379075634730139001307975700753891936177213532034308063413744290570843337535052491412133539312968595566350947956341073133566783261147459668304172950302849956148107583806928991409243643062602484898960802031844893124926915988609521966409797559348841815044331840106990366955124348711468666436935827931518500512627543690142512902142739186355074942753636134220346376069625699185367857765719703900752823253203307402278553599775498174418283323475109343540363594091984477191134803664423738239357851241656779701434051623776881005830789118301818853218862091526695139991432919913213226590959931718869997577809524921024106974204522151824196042378021529682741505625752040631290116741394607564497075122112826325938960298591198659934556025952091418612041920620699530867960448363002924752635749783768301554203837259139188337318493299231705704790438055789272707822484729935867279881674406459438527056686626880127448466249773387983193090001080637796051029145722896041303074629528052282070938096814670246499730832379711266612171839772487151158973766360805570541747175914296397830083955853442138975053302216546599672874925948526404482735577583270839152000630181389682547989686249486917379704958147814082543048522331950044676280572841669892559751430738792579584488562797173937291161652984759933419919711421574405395185136260310163554431904199954518647220504480251614881400491207126828602306385730767621852333848865769948860404185451037644956315185619718692793668306487642196960961549045727755559918350411398016168848706355101880002450215126885794239417368970309779026266439687576337182807058170923054810777993933267150603929616191634989407232168585742694036580561063535091728772894967826756505850980283872410401508204578713676758180826729438575956188305975791163852430737258576022495733232477339047607068563786284094818604531984912745982828597170268542870762759866639124875158841145825119455218126164603357504483287308407216106922766031741318310505494589927556717567341373941706580840428719443146437583453802383201138715477063642702709628358852555672546699036260422683600109015816280942055702918609180953675797459
g=2
contribution table:{0, 1, 4, 1, 0}
*** a(t,u0,r):
2710
0
*** a(t,u0+1l^(t-1),r):
2747
2
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Wed 12 Mar 2025 01:20:18
end  =Wed 12 Mar 2025 04:02:08
elapsed(sec)=9709.148338