n87-L7-f6018-r17-t6017-ver3.3b.txt
p=1097877928179708683338608442260303189938791775761830611310672476227211857463837213969472867100471686036594750173244970798320634033145205659059258840325551735615184454017016992874058822018233483272325885219857162825306039620807456715970981814089586248610219284192116799247242237251741675619079801396411568757117424554833704543909110019370974657745303484322562598026512491205998077784421739795527335190958655907061573967189400005274990399292547053808308572269977581936109463014718151994526216756031017809857773154566514433704509910582496617236232751877335021085506045442015934854777370714439422771516477567054510802916911386555563782945334298772812662710546214504887902001643901051149590143068806712110109083396050766146561474580828820429732370106754492311788574597133519205950994653292491077028203574960004760814967734168817355005445852138755250512560740236912566095084015281506378781701534089626798742451050992882578950860881545915946257969772314928276297627496339500448375804046335065734651744345888693631775775811442717429864997374290635957059018429097374575409048757967732498977560582654047805790860912679165432807892093171516545821231759591876366890148293027119527246936515788900632545376134063977874242293404144538417806190832510755638807320666335347967906310474025873760608504968015157504191071375043207998903281201818810621421403200616167782816403886913595358514947145898427377917029969085808927899133297227633090254869714256441153463560827095339386893277864353112320677338265569165760013782716581045605330573219855124744379496551380918380582481716644018991821494136127819293938826549650520501503455944895728908648642255958479137755860808083491830298424577223269546441997973536271020538130540042716170800559863227949915309056057476036751001718240367957300054769257778154951086407150702184462158695304883319895032003616930614044392877761180452453545917130573231862935147510781270626499055535694139437219754380200222161053802317887516745767253460318122490887557240930009917683506298320940935542344057733435601315469811042430391243282276600673089078291114752573561332760341158241962205027406875223318400323119044938826261866516012337177798146413569059001912204988138259542612476855323087066189316652630236122184451962627406177562283923262129733397999584640792400321887159060626462098101885867434898061327133577659060645670344513135326999029425840948509346776973927969164938912033347587820530981125778180745592782232438753921752675510984070412597857090582496994007753227948671744511573472534126615496313629668241990142709967126105277719720424859205445767812293951959292396200353322757892866594899857861892825192269001258051458925026014230748039447785292494542513055537690241889505633242530668375803853271181700142865638433536578062316002754476600856280584732953958701947438749652237269651240210339141743568182891576113584473211557050330144827550647112314034127335235749132067543491538826257251666463303259464292643768905047512539702672989203845693164880983024112250329815213111621996788430916367616745402203202073576284593790624337787839611644143566798309631352182483125875864391737332325198687390073383727195299649903438010690181379263700232477009247632619824867437776986706781495997968637450004997074382965762216017294438692299935474023888628874640843005973667511046698619878238645625040478311708411375138166121249196125013540497143539745865142197155038889217616044791519733027336158834378314817142617780077995585122351892958083982552124277627975648293777714875457713269274092414156671640853078475084042684147027676608713975831720274134597091241757748031175268445014180790886088240999905427388223998285848755427158004873860042022911062055305467228648989794795751341046161576958693162901363667791073043198862062687878168648169132770208670447511149045067460561843716766242400404702503915776593000554095164229062322904032669594678952568493643327975415733354951655267146328086881059099068203389827622437575280499331710257402412198771255243231791410686193120722167091451340076393175199041704003728159855508539961672218885787380775502891309998251894144650128795956839808086603781188827539010787359444018283012571441239991255286923248384778419272971730623412595328016820919661974188181020423066401803544766502102853233184064717574600545380322858394916164836392106272949183811414570688022470608809205602534546473359228067398538217437990489341788665113898799143719840276378878419527486407316371624348644683694937648978728637459227371994578971563545603596740014658895574631464483509220244962846714554957084713352145502219877266227096393593915801610544436167267344226772882342008048845413676667001237477103801835906499156701721181418188194425357479030097895223399866388182842938099070190451750675647945810538528582840865749462756350461090260383587245390295798237846154660541662867772317204212985860584626379941983577304886022263797016741249282116516279947174859417249857232645328753723218740586118194496952364621689782458510299719981585989926072460805969666956401033159063240607837680589532553628323307401568222564451877552678997156511522776266368058303141403308636757822738949957570558970018127
g=6
contribution table:{0, 1, 10, 16, 29, 36, 39, 44, 59, 44, 39, 36, 29, 16, 10, 1, 0}
*** a(t,u0,r):
14950
7
*** a(t,u0+1l^(t-1),r):
14619
16
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Sun 2 Mar 2025 13:58:36
end  =Sun 2 Mar 2025 14:19:35
elapsed(sec)=1259.678165