n50-L3-f6172-r23-t6170-ver3.3b.txt
p=6199892077858449467535298336193869820606944962754882976800470259850136765102655545574956969431717117719739919069970431035605580006277153852987762833948978771317107527246098594332330481733557536903608349866663802521493362699613200636807215315081131105042441097810429495185351132577471795477466750743808985273205156396202989923872142200234593293970170815949690185363178068270358604793409654733448064888023914914990095637477950832467569365399991788683858977817961721670074929481858373440856713644078971580331070836414305414736049008106452075465250571093452895292601671135954526642710340417591726123079364385270020649143605595397103722015747846537773846956710578177491445122595192139827880776623236714931959874906214124369770142501458077592238096132349480363316920818730220869856208032152763007391008705400303511933336261018667819871473870918615921867058587468779781185272278216424023077304181994518905753263091024636031241359466728514877404615625688466136001752999037881916809953282586741801091336532047898391063480441193860235928667712354167750028887565464402952530505152846297575110034581121124982315432101911608708839325831044853109890295740260455203507975660075550611808530866466238718874258005717527671353020053100360620701215775464289197009346868826440443811075875164723107963553699277181077443464633309827288816691863967557611747282682524511465291516247705261747250911623393093429213476668214961484251577629713402111424395295488944953401481964653733046595257699723888693836166663596786080802761427722230159951304907901106826878125423425267106695662039952776469562414844262850067646210415007685111083031500739518942914631279401381988786200853663367559567210503431590835030511778148786484337761780101594645882570258837960445549860512434874962621304716485261251138814169315462990658986590216194386681182444493578976095763319934513585288046572092996667299295830535599847507866581686589688612712502132456437956099738235594174431481607548206422115340139718347215893525341751176722875156002010010086846521380298470809871759309800721895739219006957650798491805352391133064000839553002978942897810929509173500084592173009336765806208264568975758628733059770219107026358389503847033811159076118287147463242224804915379672212203341915514495560412536110306676938016836408032720965718608940531593665679878200938488311881786078345741637651128965257562244978832414871206750060345506653087242707287602889290528594136275260012984750752518372805123773213746766645744463563748840328543300085591983907657928774972923030822865686826095429687518814008882142431568127913172710250722344989916996081299941004991544672248639280368018070608268324720075313836925705476288629434957399882819028031549019736200757906402462730264226729540359009759397553877272508001425640759261742043327695942675272802752573173504671680457192288902673145367931921855472869677622447458398335313219260974851443694322346782961739036520044688698494192744380520579873086856533690766189463649464101
g=2
contribution table:{0, 1, 13, 21, 27, 41, 45, 55, 58, 76, 83, 104, 83, 76, 58, 55, 45, 41, 27, 21, 13, 1, 0}
*** a(t,u0,r):
18588
4
*** a(t,u0+1l^(t-1),r):
18644
14
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3a
start=Fri 23 Feb 2024 09:33:19
end  =Fri 23 Feb 2024 09:37:17
elapsed(sec)=237.509012