n47-L5-f6630-r3-t6628-ver3.3b.txt
p=13939801880849693174807202579832119670242732117873232228038853678288558219273157827735446981224337744407163328819640091353691117202460109171148674155033319319705480125591422842078531901064645311479935710146873645999233524185129010779360814044357709311548983521993822014006935964021250506037697815439069537383387108953221553406433041451721655369099911750462574282816732566120229484124067770290755594169023479539409530184172310481678990959915757214943430970923590456715649677494624867426251765479228967988549022793547208033045990613707386273801867360537312239692236773095941367443615823079957093875976507041662274027204046748933762054287628382801177968589233932788433594988906911809440602870275466870022115446270061750303219052996173766130156816922136504081649745354947175940556986407321610930324153282913673879204829090271271262747073903498864660601193092407794304089986930654524632245121581142566751302533120788598449876121554149025293380559097717814430239804067270414487911261572548257104884158279771232311023259247055762673873769299306464279267199452874414646126208191559712251787896674004921009182086380365779061722762850213879785978259641891548332812307084002872986711642939030387106243425536608951045854358430232085575587631334738271278308299541691845490488441218901408164307912718904351336606228350134080300752134141807068853263238914535950342155521913727215975667895382966753012934476123619818732225955993348340473285092239882129318057845628184167610777914047644386803721158877935641204638862800588439109173832808019541432421612566259298268177282270324536232434216183363471725229583125930294784814228362574931546933389081740421149392064123447088269032873621056550348816906541335480615327563225890591502617238126849165806979506796500487149747066607183013921193715793540949905967726424143832504172644039499099221926097574401257747730951134681583940939609381819235699138056228282725965436171208964702037977471528055682941579356885071453292969791369749682974820377836516698744156062929814097089179986772221082565408172699126059337388271559633816647968294303621814844964084371308513733780644072746555993679141804868024803407554377479376734135081039716878245668256226152573450527042453703617442543696366290449543780833326516454357576032906833518374704697746490806334941248880976306581461416608442505430062696339017066250107804298831468539331536429805105762476151901701358894895315749009058657672041670244967487661820612792563341670855748655777564089658444561615380526741851572772266728515889224026665311325913604176619457152430135978386160822730125138499384246007362577212100580094312885821472006075938638298952149489110849992035212540628133793839159881545590957614512216149009675499498793609271554961739354332622239785360133557561174009400849356699735924312347523641343428098147360468670035421942589086997602217673621628389441568555729656323662437873526468948465311539282345642002955284087300088482250156318509197487588373932159730857328238766251145237429271382013677924385882704146386778036719117670559797694820052792948242780155446681749215759600614647880500090278179585634103578328468603899155384953433236933214768113318201041351750719339493904134200370825561285596391618797453246683677073187727161314214844582395788324458650551458761394136170089734706839803026610048967444910923245641079593840055017353114539284235017683671943945561401269798726755496287260832467077749305872252817875252059736380286269655100850877482825679302342698880667907741638077967384489327222579796865557651120905071961035242209849644263687955198896976981828284846175165921881949338334712836631532987094657981849168481262588753085604207844612951099994861440154051026703552674768870895236510947348539903779698870886695369261638752098110762089232980790522236344470053047101810785931326749837094346170425122362048679525777958341204942955833135407114212852232242433794866395362048290067412456893962540402488596590500305235787495267262605614369835143215297886476745344052076823240714641992846280329038398903753184767169073011932232287915266655615361480426397960945854941771193633522299453344584139153474807836331560470989533853517466649828163075839772608914460137944289320556165938448447179388225054679240936710688531749511139589441116799581666571968103650038567251207657213887709560318076261972377161307999744430133102151575386676486202490449336691554472398465454012675155022278321908794209561952301472807920013406678069860770364666147287837817976847300437262683023075899363656672791419963948317397594528538707231799447113646961679088120164507466116590249916340545137207945725353317884241440725920658500478548907761431425653131377373483701376244425773620605468751
g=14
contribution table:{0, 1, 0}
*** a(t,u0,r):
375
0
*** a(t,u0+1l^(t-1),r):
417
0
*** a(t,u0+2l^(t-1),r):
416
2
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Wed 3 Apr 2024 17:00:54
end  =Wed 3 Apr 2024 17:49:06
elapsed(sec)=2892.281359