n97-L5-f6413-r13-t6412-ver3.3b.txt
p=605953832780258125603842708290678025069346692802585861589076183685444068983246865598534215429357666669214636652879607175949463240617554258536925080717573385470784790471743713889173509182796930970975211723651286392511959865493948692104991479636167467551094489478120849198988062175559007946177661925770972047507621988927043820129798740788640319273836834332091221929549273935656622112463524981496426581079597953437397435179989879544717624209710986541123862767028462661834196328693832565269218731839502705416853079897201809229986044441528231051390493268289988248950943939500484119181846341865045097103266559168825128023110556704176162842360519250019122195756173614775821460745668942702243143710176420366316988682040450680422031852460543483151785054790775725578849873206279136676054797400784731519969489950440715830278452480191441187935362907770392070974516052709881807309750262790537523996308236411248141160993238394959545680856568708368162677894333847227788740444996010944822902715591123245724641315524805296587131023967000720981261998395283999779155259224933345857662566648856988473015085069350955644243375706965954397236239332483918271857125610392503559325947546333506105158307852689775539474092455653195040697399157812372061218796781464810926173862309669608701506359914242860165656515830404064186904260650839536353385109763238569248011184792963270978199405055580528752376015821462322710209842279322356082989715318749494282472071609342542911127642593680369572736060870962438687587677943745222936458524453472860313416398066674632959769530442414509056885611341548086808754533883414207826773298965033425847806218647955249328559257579068625426734120836066443321842402106508373546897046924578303080665839623457904640457414672190026241015687283535382902441896681250875611675912010953280969078366918582309888337467873196131157475049671372908163568465487940580245023513883168165029298864621331310042197157085878179290094968976274063287679983504802024085763915370318656244621474782426470847956995436192675757245039904263712004997010073347285346783939095158378105667056812931859951641733465550086703891035366987939936297329457718241268637154485736541278498510888206392123547554216642591595999830293240679381145615646337968083329250086613941197505501937329810784830140415210168421018619692020484683517602236420792846347877906303307385370819108899618265166065693867528662214775563898335326203900401474391099639912477930445477183914337028432596830076893172022807453834488932278928135888863809303134044459645324563332535230634147196715537451075558450541383533981464604088361760787408577839650108796561591730209678313768728266886116089030240890155213098821600012284857856891992863204401306271472604724259963001132217090507202714907217304380989950082347683749890938516712891160176269439096934126375512515794558199015700291816725462902886058318048833439288737357546694867722342242037451671616051227585896624822349109154077472030483316299724921235136370443306202542653857096786967126192711696958739254297473022285096687273396169916298420549071831013699045800643948984735602557145993774120913539197999315920737837375654011624189475614393400361152860870846237270989169626815701604986933313941082676205413803945429772626335595241674923967345115546015409546014950485629305277547830784757704572708381376197576613304063459102426169284109696039629874892889257563248242704987540665597035226224539318564202668162535718170402052540288426907558755093347158198971216692026664779671191772602270309036717631734945289101045152078884173754411116422065486564081648028927213040319385341672593753491594759953642403049809028577658204927188676912632501824962300624025757893391545927512248778376007613739095163318801506404965623689669393833543499712163947726346921701120386732598341722364921744445921066888771193823472925950147710840709216429323261477133698077724799043859804331345872476138412770084327555222066595966418381356930410449808923113830824829382840817337439452071967525124250526375871054588627310680224035196192888754375004290654121753976671526428378570668115563982448103017854175590993422846360167139457245978858183500203337676971236947399824564157941884653737530549223050214873916792816283199775921025054664528911463113173261163969407114237574495786015053601395357630141395908407677990557909414962503886366615213498831098631875679951184815965805859826615469064599378973319369719549087759045758639343819805948945685300932683875623345091963792471379880002687528507040586609258547845513476204359903931617736816406251
g=2
contribution table:{0, 1, 8, 17, 27, 35, 46, 35, 27, 17, 8, 1, 0}
*** a(t,u0,r):
8322
2
*** a(t,u0+1l^(t-1),r):
7739
4
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Sun 3 Mar 2024 05:38:43
end  =Sun 3 Mar 2024 05:51:07
elapsed(sec)=744.059614