n71-L7-f6064-r17-t6063-ver3.3b.txt
p=671124341484637296493373102635244097020735276840251811535972346711954672415641300232484326489608162990114650310529385567679324341422454729117907364461640574814263310025111032643231577039176561049804636309184468211147190028927415948450931826805409373001939557676127782908094966889900307463683402470465245241214700401274417216943162005356353154901577363011449767576178448206839288598839785080332643594834718135959641016506285717540675033087011461213199084042022501988449253543952450726166442240468587805018961535721594061319259931653968258662051460327531916205537173380079431606322561597559268923105108134211527520568150943948132057200685700420477575450273564390325801137163436211428360797962610675212838951008326398438099774584230715986617810551875953557790214336472559215836932355346841554767563614654897809640673815177642780466012095656209919879002756612029751964618815038982763456196363825298667449509020151658780391649363913815101452284841711625773534479571582386338944268612253247499042061653428741319413987543088394631366426119004308954815646459331480866335367234347369352066805978277117081467769555785596545641845351631100741406073469337284908199578361481134873535715951486500654717429249204873585585712658102969296931030479997786973519857315656284912428459911615478765449145896381932501341478852568608663620991813666304853040918871053009960567174848305616226698347602246199657946471878783206130238286225222770766821492638574727296602798062078149222475278336826160726599518766930248417209861330541333552360017465640555791826825358814715401940120766216909928211991362134273923852500612164101983581482189380726253084417044458114505601744040311975703742097745498779162966199713539145645224790207985854754462331520863354979064722494046548629151201986345501405942534196943376328603147336927713158395179325514608678539420978999865195373637890451159806814530277858566728595562206857426501101441471662415895910586889853469444463791830858636871324753421766685554142081260610822148168583312225689581054842181954956998985473600022371283363765754616387836006031913352766893784616762263232642757324247398809055472029821407234178468000833901125152392748574019873455891762060400636273294230486171753898364448762882382279762718999818998259208437186293675735172784277699176657595882348026626310548935797549732794670846292104016326501726617038151901713545722221484868620525309618698621042153559580283846995892238029539456947547538114251212566733591189045166022413670552496326779612905518395366963023631264312912379352064153259589059208264916815325230209979352241730574577692646243579193804274503307460594917070918926086355444605251108863638320658338978260673835921225849666100565062866560137330483430718521794975464554197417844231256107425797576002579595584748129938898659584871218545450451367602768839234638481599505523816278795046809259015783551178010203716190387921211375239563289052413656439846855236451962516144951380502225221817755341813563984042339611951856474015473078498431759237579613784959832861127363635262741942910147654861019521028032270857389462485003301519471432148341185967181991934571468723229733344978966842763144742082938948806677764850212208929439047911628510083458716274893937353323816143352003769622774125037369854716357113231141492694331555524036816847721001444072260847870440367884481710056860705551753498620382393586556665228697214395075531954482714831914099506859722783084438071834223511829996718692343703560174889850438495861805951775736105890904913883453164949768689478304475436434312706727203526425158309246791554153089446673634912644910915557993468133846627060439905166050988109413283035263217298277623473901877626295174428400492951442740630982785369074843114091560147298943862238366332473222299870386382204597072501664255530610090459315526542506127951880178410851122995153044764980199340080222985822554864513465724951586147746731680202757269403047799500140185586319035820149908827248648345183138566544557599539700014979649699643601275652958270362170210556027689745831485693077711039575093993033427084347905253513016687977554494427105271142087887970282700767843042079159500117945250707629851402533276685427961551545697698637541392652825297461761539464595102445478396251239607188394546129389971474792599069950257888538912151706481871365163288160226003194709402777757438945887811354422348041953851248004692279099783254779267374725073343731651397541353179163115274779651737771145865944225151226774166450753801965069906431483710965416297222828900864586453344021877544119879255105377893281106946393278830298925205034225138150242235479884318994953986096978165065299750854548314488895311905143441779285450582790247932223904429923773708201458949402762625903870442912250117484220845283572585522320291003259314048796160975606889323460662132639401594464806136853268703062502816495166816214513871404820540859010429105251827890678418625498576021032412763201908556430140070609341747681057525623303132313491079662386881905776836831097518138816359885335067075383111294149378335745227438031923938515635106562899732530557095506778926760086293316855138698694576740042719012953599371898486254615223021430100736044028191787052943
g=5
contribution table:{0, 1, 10, 16, 29, 36, 39, 44, 59, 44, 39, 36, 29, 16, 10, 1, 0}
*** a(t,u0,r):
11185
16
*** a(t,u0+1l^(t-1),r):
11411
4
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Fri 28 Feb 2025 09:02:17
end  =Fri 28 Feb 2025 09:20:11
elapsed(sec)=1074.547054