n92-L3-f12753-r41-t12751-ver3.3b.txt
p=982153260800037016430900962301260683277074533623870851963044897004969705868951889939368944299900424425560508231161195599702966002579388731874890215452043872035073310430872307742597551063956919680985827119609847825207952234355775757609551682137895824321831399823960251244857889519388222011609070925577644495088517247649147480660974848050606330969723263168609207743014942630930500449860488557494216743828241191880406330574156400892271305516605490394906156089824845691077214752620358828759518492502637470927637462930304463909933199845662369922945625718720531881662899551606034544979296634075029996033057440043810985641231439614076640023245779856623584725080768610871195429162987841089467263092659914141452405419270898469179919045884938133767881407137702274496245354789882778960393483992731335857220535032052368542385243467473250747930733043399828860280912587125961185533889833201432572228733756169887945188566891046909645731308023797849645345640214148019598670767603130050771070250719917456659395458934380340822007139427357081422705005099687546459243775807567206663517822138472982554189841825372890222643044170544754787474352040951044722792202088795530150584199793812650453005224872940205151772139455901934317540068951871791113047000636484606551833853559662014792810170955215807047692395446548768626040657821804680249759618761152633385845271047277622237567815668729145503207108646874181044131606082359794173657945636971835717866429821178233394936473313190315188944036814992197109167801742382662890047036291500608303049597116226691373980237178191091896788626917482816688438957408398601241343651425577940415933067104899675504018056390192261772626248662004049125737689313133052118849250383505855521421961963650437177660404317348894244948676344740869320127860210867699976091580967976508342810790153645405991987887868021209819451835450277169097298224071936269978691601194555731188139093607820706816846274717867310061134801879751897107521440846149808193771924441991605655717235803307585437424818125498436477576013602398006887761305444630870667695045864035183154635884318284415758347192325622703638856733417091606301142010938205904416659446545732993384299503222172764292219831743040881408533561294069967595384219082174235911435026894874716403670169252340520224892318676563217357280887601228139827511044634224084898463723620108544184740409531649022071383257240327222914887160589937508929565859340141397256472079847375251636548780381831974643507253544943605722392563655871384809903373267414848118771829187583166498839430759151595635944134719583329124362253803506931008721473010216198836071604327370705926232038554050255787722535852714661084333918155604328301706119930695523202955545427737737774050878802981352117770936594155035008167778080696832580261409894289529540686686049536386294253841215557499554497569974414117799159660410824429626515066743319214287912551453658468141372926628445995117643253969179179401915749433194873206402272457066604443152756603784198257906174953912078023575076219053878712830954336630184523386382547877321879785286629258734312653479109744831850039838052450341532024216893413963240324853174589900012716441705977665836999012417149299121745359441367939863998616420028105315760551867943570885316703459076497936721014723919025509791880185810162880221662681405454034999159938616371925495046380609243563183495630172644837491789470952467959659525273960175006325590145007974929737778275704455087179390977545207246046973230785126340382138363708104927189132588179630251199572796625140003499486866569337019644186748799259738423616149197297234756183180393172843550506407219218366835578482096594525642938450494111580245400721541496732759551447815580315133726873676146681835311880380073338635127871529413844192777639050759185141708278774913103535097340178530469266393529960149118874579395668364137969861504923938144213274246424084256423191445960940952298662636524893884835821798983202564452033555412610887522673494939424950348687244317239641503256660545358670508381934358308528691471461279765430416986871649588862465471081610275442249786178530019999526301590500066464803511676968232642414311494603287289755350053583912777067697008554936343143851328174046345317932412014681659042866665363016530031877525327847315164085905840975956142193166847693277683084192662424850069440019908389311447138500506774586065526435242665686631877262701477642067098432503696744590713136049584716681812075498484566047776495969149218573985045016733377046977252909922725156657994716548239695307631368439187855473381904286580162170802235370479779110855436878269386580725072586329772230061020903273231491416011256855382961487437082661655299100066055830451599895956890094589063970207904842810383846117964485763402548702283102357085200883512676982133103541175291759650371729253246057373612132247940373414012856444241471068389843240096701419453146954658165374275563916870635566654839053653146296994703392890496670849376167815192091606303036610193751404793410456803820688078783700554865725267849338095165845543605536309969659150475605147045145653314004139304898895654553331728161063952283146575725261484179606433594633058345073572833900562462430521681778432099712033358277501524703767226903191170542591296522053627143748344051162710373188118518262861357992990686765929784210097213032818837279266161397478786438400950413629295085865081183021200291267764036217359460760218731184801570334811911799403836417495633936845421039299430004078694999711842701664205036972476045486567910030589284937014840320958778558214125249633941851707224886048451923446560119908631449143016358765933967843700004452684621561542095235897795617351218725983609971551828855255764043672042293962823038061396507181438413964312316381771138485491588713340867234193156322829938029186025193146207584056808066360520086922740111834459382849002138007044839613305608897212381039205339231150486361009051001938913114745802202072565510319924594126600820130256325888040448222945517402743895276888523464991134174566101090878467605220829090037859068424901932185570039998471803203814673363664554765237430937279215870930020970525603807382339269674689370403986005033
g=14
contribution table:{0, 1, 22, 36, 67, 100, 107, 113, 149, 181, 218, 233, 257, 276, 279, 290, 308, 337, 353, 366, 405, 366, 353, 337, 308, 290, 279, 276, 257, 233, 218, 181, 149, 113, 107, 100, 67, 36, 22, 1, 0}
*** a(t,u0,r):
154770
36
*** a(t,u0+1l^(t-1),r):
156453
38
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Wed 20 Mar 2024 05:22:30
end  =Wed 20 Mar 2024 06:08:43
elapsed(sec)=2773.136241