n99-L7-f5802-r3-t5801-ver3.3b.txt
p=3593298970506704920019848675129977657001877517820056146568305394257917904917960830177477894794460711639353623638631883477853655092210726554240702888214581600643749297426930437087940130882188211955211979842803694554934935807570031669608619287704107658506276078341059442874644540885039317122380139876262827000014213927710088545365989742654398917249440544722598177956487117610445455275421006857472417089659382510741083379917878249995692440804298050916160433007667738402988995003636491196024016295380612397124061147577848930421923752202583696983014679087982758499938844439783954011829365736615877480989145969951334689361578855684222804719112736075599926501845832308614639086496973530378162909041851495777088491611678555215155961029001324545970009072876612883489870710028901390747990536676351969466977708169274676183296696009460007695804679706729675456815639041048256200372771206428685605165859303818001629229927386393492610327438948383232609021712368594082023297738326413393665846919189709659665986230627447847158615352407644319815377816476255399289355933428486327851332124545694129133175642051849617716767042475199140259020380879978249414054838978442701169808305874176582330403571026290756574304513390036230781633606216916121315975477527205282585941849185887071343216442964504206348021460256989595214723361914056469150440161617969058893407986186918892894988945644439069624516561215277760877230717996558418490028326947323922664275885775538560104916754750898196929178213385085216565301653707502262774149745210324715793641481930140322706862271893797919238652825259785409354821174740731545615244642768770405662617252178472695718299959347810292450376172235078044451173634896886492670378235995484618740539044256242466654384450689809514012367444380816991790001987044884600835476738323104551283005025718471107507008043048671738266496082780493637753604996025296296226045079387544544050312587696597163486052128815000672596957553133251685281049788989321243264296184208266375947346825600882982132913452304428598286395331142572668373155255439392694625236225835528574733231792051144599321799934162507514790936611139875767198017241787802326861103280149656204762571251573341642047796873847930975065413344612096861827549689460463592518361566343319868933746242551403857007174562011726916612608496057636135104163372503282513614826253266457055874227102104392340764666648789570382220816807092241476294865172871625459284722639973962503826688519149252187687504168007000238697043952918516863269848706796603961055501257433304666653700014805435789646153592282504639104078424942925162333541514820039392076593275532067586786829534810233168932034980244720184926022253874687400793102107621977132727383913702444158157481858201160872784324745940026945514917532582462757688464059402844650344578493490252074581305102535998274630243106570492078703581728839230659940511700334836249697170650835399007793690890690172388418442265246623442742500213987392727844931308556693053318408937244256947877272941303085242946546803482539318590966078824189292624073151071562842650158115892435887147877237437581701803039984002759663240474277072024712703056718191607522162733447145163954664340596108535957894605450183144095181101890348522212324390479752194281514178364171656382288998887795817646308272747981647440980569317376088937098544038308485721122859901116592561800815233906652825308824523932349875869651604655957176190423735358083932165704921915917843000186252752623090160129595459877806502682085347747273208303961570302496784007678327013532712277619849072655658214317523316879023862607270622387702182269553307448977467053883820088827876322374166384461538155480746668652406752767763034899321829636416826419826057826070311079192483767974484877037315718844150348028691490490663621541035397969711690633228835985736105571312948788474291720803522506219206243265397929884698239081427960874275322122680740080108172349114649655663932140971465920598228066868931098628653942048606345753306218355029019976130220769682668339150128889593117804788812598443505553183227722253173268611124319241684677801218348158110794988967767819718411754051819996631788398481520058092409089336250187458233269990965975328197651409370773277948530682117116839152470936186730953994119378296424168462599052564719566619891576180230311242580198677364874340805757684651934010463913483752712163582579550855115300700456332817282472962388201349802990370502727385301291795406818794998902388826280712034303622892029861075902202268421914802012080576921629483137274025527090646597832427633536637011253214050751375181533897875288978596978506596025326549403829026127116963430974232016709586987335189874911140927021304379586091925176497141420528355403219262298644384857324938072797998598056229678994070677273017971897389363762327826482224479208858483154717547246118247604577824781628555930858594079832747955971733871923147131838531679987359768489333295176765947431939144384428416492446583324736431810969703
g=3
contribution table:{0, 1, 0}
*** a(t,u0,r):
212
2
*** a(t,u0+1l^(t-1),r):
233
2
*** a(t,u0+2l^(t-1),r):
241
1
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Fri 7 Mar 2025 13:35:59
end  =Fri 7 Mar 2025 14:15:40
elapsed(sec)=2381.383024