n98-L5-f8592-r23-t8591-ver3.3b.txt
p=69587835222787545278171353234560607232043228582288782312569097487036277594353405010149125437747005840302262884941131140279265375561127857155222348473861385082010942080140395647781548735226539391546886588179428718552967506615112084854864716647933631029375678568871633890824472640912673858947359702441313212024375275217280071229769886917487700367819027152592817679949607967182899602297929654514376387846082720147433916412378985722998939706439475250358289505492717773458163118308203347339926462202003178772863626170761129155550194802696310319277242310375398991839589960743657009419661572932382021584501056877184347865334710070315400009015014814150573900322597715991205595401914668442987547711198665613483573787752580151067840638793357576692237824256709733744705705124289977645481545346722090427104310805653166713231411153068612581873715532764034462480253085250681448685526550802458344061039497155095580996948802168671920950282967818132788812712750736243520605675126176947087173508765169899211324186254999444928805561080298719670386431743504869051551408328931552915739568415711531915469596921821466253149855732091413481228110094695462497126628143525812553700052889918861297738019631144593099640029994902951235083689635245813613996197354758996864485547340841734911598529107326989220021986049566575501398183298869168327824674977404354613799877991408700340530411739868083115721450585076247284978156109234837834966735286017554833210741405121352175005958148297958507380705796339914800681599209551032430864846010842800889376607332146897074420650561776735510277255834153437988860162536511082830217299076457877942821195291854244295303766250248585561810654467672170988656250572283429503011827908647400495070764168240434401120642884555619799091410659807614301921544916502926254904401890465175752894617984333644552263966833099778876415835781965867340516188686710569921924242750316276676438134992086132071643110567278598061820359505637772204765915804573883388250293024036278403335611854902147043182608526799113830572774902694202061377376246122679755902469018484197722231544654520709129621847937314426799109627820355029996269958994955708459390518482329297269212211864552697130708776883288255035301277964519468641101380867550683531688898721569863363661388973387596131915778335565013947868682402720504733003220733572548262809260827843632959715899643282209155375202156312330120227609903481977865545747570954558219587011958743437126009182716917303584610151695177209686283286480790172280416701813434646297247958822721580821275258211880686747020296861929182461154200132130848410219136559584824197584665248675963458840530560495158565070322868239709531106218551062314397103397680081144048518441397626504589270399130562764986523721788823133280170868444367191726319080050764266192870974111973266171158668696562417122798858006121744360277287946180978798875458611095634834079933894982291197266370755831695245135062496109277896589036403462342570097705571895874133915107740431058350146568773003050645296311392572600443951543430461383916864270156857241296544303613525986404314023267597615373584626218730977518884333954362864214557763152407002402335139206995614048805484749437973305744121190841305839413660221555378094487278625373322482550954755669416534669434495214834681457960237108380821391693221654113935015994279714688716689099249539830360650593845500240267970999424831355585460507315951660521606787462354866774020687628633153248704614393228714837819363726899107254848345435657550807561276219753938737116063929150351061492004901355097660350043264640842906913045199910685977595516637305854112791279445983758999852223060710434332147341390702419062750246376109482521219607869960770251749634921949725375692949214497616989680336607232055073909365973658002040957749624339474742628208347167297637260900865457227232241119138855114440736351034353774201258334802537227258119196602815729382937204619314842284573983677977236008270641822043493740207519202715945512275608799523446500609317506429961012958360808509609740049610002591558233334430763523654876758814959162596811815637996571072440574539577847268653924726765784562557394394139391613373041541013245842581552786327149152872724596870512619045289443253475469533308586071910925976174162517376882694798732394578210999745676966255395175345644161453050644166076001624491959344400650132186845896152610785916348277231820588475955790460657536433815899633971093443764031550097200640854459464732064205627621337762725350097199624063515144175997358375332818047115450282445821548277197925276243319292952798644759126932813405427469254336635838554009030226792742577605610100962400753152893767715968289250858570543512976037054643889445394956568220798241911835720201086362228400614973910432967372739366107950925124663700488764070740032244381692541858416561592134055324561842206783508864779888322613439203169322052631593707119662416101622109727490908850538931537585031451266774239093611205172499084243702626806962564582192965723832891400212768609076291269383470710770501758065654342030006622576021291979665716781964411335831363064526215605042317093451557265869817411938033354642296244088507847788921511829383191278690294515923271962487622900250498767725283465994481266740333631095853069921261506998319332909260754623300128300883191488470014563946819171731827463651157478653064120994377830799181654387068076218240637975329537550637592892108241971180273259327206592251587703661051521568590152398714799176388678078117587240800949156190406875054170006827063032671739564523817286581161418792296060451750552089643334118978605609434676946371853579527808043260026208849820885879480831318673656116271271019438573031211176358268523594169926160664379927490075757917467698142494895414952731610359975124721815229979031507475265702487020095412564561001821324599088543620827946208989311913258296481087419910617012680545784686523511965888744861404040484712096757621651598986989973383758160181645847440295604719284943485986584298536452121254059128053766603494733301538495698664207845477586156235361158906016498804092407226562501
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):
20407
6
*** a(t,u0+1l^(t-1),r):
20113
11
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Mon 4 Mar 2024 01:02:03
end  =Mon 4 Mar 2024 01:28:33
elapsed(sec)=1589.751373