n36-L5-f9506-r37-t9504-ver3.3b.txt
p=18458385615592834274671408715472187116162973227348893462849848758253047025254765536012980529664980362222780505228747623015318395612249425863882181517891408075660975794328100321218697818422093087598872037179345365074915133516797540861870003956977150734979272213757359686433815628971239499348727306886190535064653766180251703487346623744867375495426691052970822450045800487866852683955207784252899463066879690048793184106516868141608762712213731292869528153184149644163180300023585780418355618770496989273396464436196638914037474967501650814047550788732541361011677247281758292281736968654529363450663199858624402773427984369336257987680473141016615697900177322293171683536053000964837935671124347977200378099726327053743971165609712181418537029856003626724230240194716508597978104333239545420665585845774375272824673467942386909550436376192734846933853100714875240697895249734564424478255727633905882172879763618843553117581604190536888205355404160739406010149470739925717258264667829752331403468537436341283883304121054011916543473031518670668954474078328652445256301253185646066097748255852688765319865190275620189993410013316023941747366626389289217808220595730174312550567798832355129724328159176194301314936535812897778292457170167030826718504905102698240725686128019457188774495717312258990515752066229787090269886640823331962074819169042431618363700252329942789697891663430136479201460880908536990290853241692454894320368186437763199278798767197158163371205852579558059313194768919488823193443046047911851855023430533628364322098058150045522197399095386668488033884962544388273864193486626434669225911048896902650221629458017366117701943941849834816669775421424202853126487970736103675720531142731077753283184417326519077218761191259011269586118555937601853188973379406417256979772717926481539954014810596775832499688256641275989599907030781360301346284423694661603695474352876343475865140124818795834981396449040825467787748560140324192602832190284267749536711573090860198527472838595296069812588862801487491540264174704289322375683646656844262061178661221608056075419023849931850827866176784295833701051306117689732323073727603484757648009731850181301383765188649906473382369003193993627331948287007202311197855587675551292749101418583799612895125426808588253024294796188068027421147297669550015441029478703177391423192461099612413551086241945917012638742159393127708778059366142683002838075731791961126270376040684587945969838009765544646088802361461574934113591201323992708885994084820900896142102743266458309139801447917901071709102258362465835140219655108208815215974052843919067832563381478850738589426934343652565342115747092081246218772803719541397995086534746286677967074849156220194723537957944577148306789485339294447335378364779699804521588961607805496773531814822877238755310015119577776212648548026357482726787698881310212622028189902643140361147941198854692108020712785024457048058076777898522083974030597877958604397601534085510841272022917966995097514060304098993845285884931723420049111047257151366406658847585192398703217420716225644959866009483447685788192049096603003930117608667875254120151033981194223552001065371153479788272059509748303184664798214870349508453700797753442078292366467079760708086540504866104990421838740611936516744883128622322168157690802213078162804338857657044803751289886017042124394571151850075801120052839325265297955969452791987977272265908027490706092371242290287414565509717448325041173269626044092954353697230390960821596629412536218111457750608012667430581446295038165421788962741663938579121052905016930602097872236631406067076302053511751089601117065430989134643697561660779682337273756431086791082050293189356546973246564894575952722278611654996118453844003992074795752971053697923293257203536704632051905212893727891456498454471726262581518569362948937287516552094957242334401505034005046105014094595538183157234497969915987006253278389406773803079080661792462652152167306641017645324422816517030155688083635097974792930294378830835221329136145674441613542497596517354812557308496075188904675235051131813337851075973004347939280823189050994201441413533427495051024828576744092198508512040260893107399010103089031567975431255910808231909559373179761363783689590316561619634498972171277569043888633448159636511028001853239947696389212680273921432165603214381711020262831170703317957227779240979964692682042280010690202929422700604371051376321352584167203670445545375983091376661427831177531462265199432214637894566164577359867017825201507944523926490841142663133739359639405422606847894346461001332446862743688130396269309360988547600458174116236142087363801367494781922476450575714642405613564061022910030653603318084111857431320050492576405457898841358703949280449608267900881540357720990215284266852990458405034504047476248028146192207895089658320647983453752507427540319233007501117261007672873831094634127346418097380143649909420477118175701133770229293376362035992137076636443618097217985812148161313284062455377315960883995104580032165597724603210954802638790974151800406783730607290171007565451951749538641865012978574261256799340695873942922629524443382256857600771819667364035087231349375162668497665375068132384978757732975628421259898659712147600011120375864216670145203723554855523623594867094966336669910674443683985729021420372947209688874407248071954426544529654765158409389087988524506567373916761523976613425888463844702024714758763330570718208719308201972374514498712692537936293108782090633444968730247323476276444902656903372361983715815915548223859284791296007065329370287598526406250660271337592159998854575729616191764541478875016086369433625437295653464644745626162460378048149693921301866270002729563544177439708820431332869691465910332148881641822557501264566470164874604954771215449201246528765102361993945104528412486097464029148382108372304561959134157028553507892573823659278871312251793767744588264138383952610517200672269328381000563156648365590624282020783080007825423403884797891300175077050494687997006781016057126788444227102636745937444864206272828339064001840721521783382758430921087383883190214232130839112216090966979820276161760032082314314908000892064448992733055083985755514412917362817313760174842749126271206263836966431975301083237172621346017333875559377706977949763694472625501897268497341712598215617848778507532966777344025677831421244803192037470119539572134621417190577339121886096198532684414800735550184032744253982306893511534770045237177556266019536192835071473079203592566714044587974080470138343861640468270866522159334168686382956243519049197307507408783077141975791567691168830055332972239767741484683938324451446533203125001
g=19
contribution table:{0, 1, 20, 45, 73, 88, 119, 135, 149, 182, 208, 235, 269, 289, 297, 302, 309, 333, 368, 333, 309, 302, 297, 289, 269, 235, 208, 182, 149, 135, 119, 88, 73, 45, 20, 1, 0}
*** a(t,u0,r):
158382
22
*** a(t,u0+1l^(t-1),r):
153432
30
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Fri 5 Apr 2024 05:59:44
end  =Fri 5 Apr 2024 07:01:51
elapsed(sec)=3726.458193