n95-L7-f7596-r3-t7595-ver3.3b.txt
p=44001304206995825533117263325438719320259546820577637744725275805388484234376524251131123568637234183495650173702262881760559807695884019573763550008880231115192618483377775974475604542830871673560203417734411817687206670279777227104641883171454778711495352732182058076747568757662788358684286798000202826151109335830889791069292121067142097084309443012297782372095537838102852147693219084641026753019254934255186304667993469078296311133864691323584140600626056415743378113494518739009182404597881216429082349013955228069752683498878992903903588817657215575448869290422167990923852093799457375231436723053285904614077749230174412597569396102839714724230263043228767158329403425111375775667574292103339189834873538436259445629063339194935754907585683870701499581423883902821551674836629194221893194833380832160427466322479304044732395199755360251458796678583350697687243939810761458957928271054765553375402481880446445988764163084896166845539304143997260248566676322944433187418911794196229227554612405326559136907754976920714006790255345912959652770724010510030481812061437579256200739638218809035633547195888545148690497427627481630372115542837802793459158820994235359087485624081778124058901429987212896944001292930354629930752125698455604211882113239438600413094401241547950499091256067827385787025722351274666597403806023917206750917617654837513645476536454983623388451425872740935303889782000946473230310119899091398737043206459169719346558538943057785317855605091751064304932735837206103348493290951861675004907845803437523928399675130990286360323091438361616153585922796491332095865577390138303560254687479320246808194120949893122416164565652684020667109114982790755712316754355351119121181032100364246382278543915737095038291891947606740533435637737963653437321678104875238607896290428403245478183315998734338910406621186613077877493309897797251362779183305157186864762159767350120446399500471398976372720770640028708760185112143262732018526062432528267194520698969370555865178761692170142985146326869161189233589308383977495727745455090700841443865514095403796942627872360283668820065242179482458618114109054674177286282573752058437764273325114570135752119386014790980252502111039602563718226993262432030244830624875889340208441364194983150349206477341665574753802158574828869859641222201873239877622068496274629292456163194719459609271515944912188966232168853453532793799433828573843736459469188272754803591919639283180884375023358730164210953923499847363781937520289912228089133229770792389992515982781184555401228802030439825957233626278909238217399241629222373522620708870627770434205529946803106204166805470794356118030131498788294240650688254575954454178288660334935934013526606139239679527792422824371933384526179714140681305819284617739954579452570107044897683965874740855699920689362794588383785958127305524022263567108231098418690263231223181420138040479580846499837397419257817510349794934124291854638436615968816768054551839568013313585353967374045298846615100482057033276557751860231270785946599200615755534131334464205004539395846685986375803854918680224035792792147253127164413345346033995539692109834737601503284056165415026522962948613233070512004096230412406706823855431716193547302925512074519698138155552776603446151292325025730637429140507422596454814778486010526174413532952407286679950999158099069876644840973234420789871555961240645860528652560873868604835578675488793317949900876832039881478230380589782664670036173389894504938141545379043333647541532813286144371487348260058079047667529842198532228061462529156654057039642494171500118792815904090734843060181627451089340285985806229728669602275556119815637697893469103332596102017605195515519973674473986472085668470951281032429420731397198936965408415730813659261279311907324516424511219293014890298492477075182528177693770645267989819993525283562078458178760174447323319502715193221111659491413946412873151393714801371420444170569829724043007730099950132885160871408553219348047367189706178631723725487593333024123067728087707914534107561579727104001254140495139913666730375521178516275763611633869911123058442261737271517179084243499252650551391436578596516879667491912522020408653121708319506185307463491810184930269342476471261766174534619587590398847022567085096957581378982270521795154547150548298880018781758607611689743635078893029518992344699487992716911760469112295730441963830009735420755120355906247974329976163187774558366279838340338030067866453061081052541385767634657078498854863557025925996839605742900368263062261927943575388592888758313388684959565321002736276358797141084776075732346472084991203850384383534715422730915041008950764703711052153594501000496028590088283919698710924238157935270317810573857856819783960782824914708437456441364803441962014581027709318049155314829099249664258395119081329326891624954982583248256140915159999961543934500893443578350666764733244278848014226180671695592876493838435730522091133556069246968182989505968201805793074584037577874356827743205220518973674123798355065951831159786491220736933228214882764980192995246735013111932172885319031542066212442526557915074839332221596472845132032798465145262341604755910171296210409936420897606283744693763974406797791464756564310363508076745494935595182517729799653950646568217325734654764900286864696102825727410492397699080965825860026166784719417388720036308104289100214619439590728940006487356325258750472308982876349166420613979320291227975119727201745111730100325281581817760433215441069742713332406228174926173120756081304978680338293021765870687298639879079942773638459378162166889623643439392993907791162902210117687233532029497134680856539140447573460386165223513861763619281237462224756891540090320817135571551800303331981261795436334603501554278715919620991550759647651898588831537669726322832936132239429846009243495608150570877447170197236535520694084871419112617198546816777514310668820550041160596328354053104376923064254698605329973386631895606544013069033246718744784572396864575156286389272252523143523685184028699729927616745834003978040262529875462973011235963517892942062345700025222306622502159117094010438071680349266743626261704267379967898389603595775061907302948794824517476517432387657472709547135212812176211325394794795136572591073714552248642844556842472782384795227765534399188141611554881658571522323551876609175503181657166784959555857658624515160438899942862060297701268785587284249642644443376360344191
g=7
contribution table:{0, 1, 0}
*** a(t,u0,r):
226
1
*** a(t,u0+1l^(t-1),r):
216
0
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Wed 5 Mar 2025 22:11:48
end  =Wed 5 Mar 2025 22:55:06
elapsed(sec)=2598.630028