n18-L7-f5973-r17-t5971-ver3.3b.txt
p=2122733657028678109884328294486576042228655711883716532297273406343144793023021686336677728677038809633462007211728793233728337325137812944853724388688630086930654262485996780737956807275947029392855060715510594841223827259560597958127808745874757812761645330703542120236369302888572517882076376878679340040426736460976296270575020795104960569012456828601631913398199285808138517184212394185035079963617575433181764230429013878441628704938699392046781943846230256088298200958634197757366872130219405555301746296869162372598141471454700276813297025195226929616232935896993598783292892904820704811386148771337226196562265964499146212924423193333671695677595963032580164650679048865758412778187053961271945962741024584354471276414154242171103780076405648011159047255448566673224358871451580291646480483701649512859537294210355814975688605731447859818311449497978406041408786948099643292575972917692545088420222189798289325416723466117276700222408489605348165543204270579823855664135633042922552455528267099414204401097504477320621059428471072702681567559386913286092319016894440270544255385242363850745876785104387212223510267453932654761321632417156124671701432264066165087788738324748267512765942975322355147935252811560927731551953472601534553205183371004143854339092630825745032566720148129183229152603483737810869124948600641213388956813814203846075507441967575112720251726748229064234699580257227946185954400197610765331952131035703804818070968113800706644885669185645402977465642546696542150872892477396534347369806224187521776452416756383409278912186887260207317015206090434059771392614266805811560701169570445650981062545308156924258840952755037062451771860159191574830853197948416799748813497710557697343377354089593058160239332413117625559457406560865802697539930831240997984845473927341857805706152168696058502314256511520504113100691444276287383643237359126393856227902787496512041470001586374485164432480005996067831931989980062929318877499411736544911675118419846719169337658672484069444522410822168084443814753247456805078703844011474063319572420800257757970439982600926219149271249703728522807918033937079855957297169585999741416833905093777167906791656830814678077184204357523829572688670651361555346030475551374098135554290092569864766544434354991624626548017728819502955784158418510513099597083921077319293204036050399441954248584470157502635742440847109396118908946934915243815456070287811880622868556468710187344274502566042778318516575803860399167324436044664134366321449103761889106444872750602844812268756287451326538656177897062554886763516899159670226678614329175310457530085261047045611670508537201511003464995913334513718272942689037706800725810435026818309949404439824823252114113283211248072023621877821029008093374623976945169744057264073957146717518690101598294450453785992567596099141277879739517003945404893181450280884531161731324689264929190670279230088830706946726062111054744260294850899794079980895315296711263033612991960535057672797829372384809390950018690882882885032833912023243891781395207507914217242773030207840897177485289669416768370557444970076284648288025265225719093308012884235592135783355190336040253724914095666314533176454913098026628116443230279701986423744795750702675666218675713711790048399004978227109356394372649893007078455750068281275913397991125802734460018953522798588481791093656116264465084393774909291170875313773396141916884239708491124769581240534109306516790318001365341497689780707344855780820519791458326412192946876088107023858781646058760491871195016264216401976739087454494332529711363888111476439347294009108708469443447765815971584442536782404631580097365817347337047402869522306407791858799139848876254649684647506318471875385068166997695728910238509956415097393311122774743967695359527225492427956547491604499309886931045795376742231260833690537005330941140424882398132726843609092399387068847709273278706766701793108869067767341166690385226749115590151190507716166068660239675285687841730270737013575292858245820351579696479481858840407324438395407263612254527816127912745681598775218243964551918302086630136782421854571179898768300477800682190705877033557752999846832759469999559749270328522497599206192692305250644479365326858692786284105353195983045335504836423606520783340565992572256670954116783647144022446410607682947224455706738842502232532602630521334070934335573227598686055642376007342131545000172324086608646799862695999026299303286884502815824684067714694181123826653816841973173710965132112320068268888542588996508540403894311205834673950596001605269333618627497525383909387748576303163971099488334508930733284740228528629673888310285846259240684192340877442460069807379882602661464888039470714776296578829155290522402283159994684485811176434370868243357520982766845135092929619474681094395286808699341696459263771696176096553070772569223138471989889066667777788968141877385895115797086114994574103451949518250947379813238653368636483541443847598416698899097461745493599100769728798304879849877782491112220184658755241899524117988633875706602400269513526653
g=5
contribution table:{0, 1, 10, 16, 29, 36, 39, 44, 59, 44, 39, 36, 29, 16, 10, 1, 0}
*** a(t,u0,r):
21305
4
*** a(t,u0+1l^(t-1),r):
21418
15
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Tue 5 Mar 2024 18:35:50
end  =Tue 5 Mar 2024 19:06:48
elapsed(sec)=1858.107453