n53-L5-f9544-r47-t9542-ver3.3b.txt
p=9886151197723951115500764211497738437140142004353758981789340034158476478180319477953242798445029612673123228656384567024885098842072284957347070105932538030679923365615643352961655428633608543681275659466592659949133647957349741628494486876861517571381545342361278657547924905434488648961456493199755422700103631112479386146528880984159118788310526177029346802378085318367318624643768317334167897191791008305255256119940430850624725520773788336475313797551481418048131024799356220502814295335826605792539871447322102160534047908060604874809846900894472048635876026370100887722422050083878844037070238123882855254241633717809253169202900168217139677418540972429866281925476758575278033888931030891718668290049060526835399810173382478298687930897643352044463757620380369146135000338004383666937995054326993233995054690451742278897989388681151739319771618161600172819094023360997647991983119376901633335391301562682891979540171755095142188857066387240982279540447347811025233952501922298461718470131463882232470244651225611268948584849471743184793691258279862364953199139753746663328362224195416320697736461166316986031140011474834448993942019606364925532597040058430932682718304508497687446625629554933341748049986341797418587402009899684281926771492993622074395831328173913698316111478941110529652833666863632927887859517832481833364458563455111246218076539394506429683317827279473662582529936401265437329687825388950431149669524743850762931756280133103980295890325646386040651924635239315220327549887270321941674170393710607371244008765662959807907930372145159403931311347604025271264438589253900191366819708406141019539329957346736735600876160667326028119008063847637572161085522556312599824783426252978753271122757706664147438705621695565517439458072402712769154535929763572763274148444200702635878191610892312980392019275738247591903473955440576860598645346583372732572874971714415290593958127277156455056825222215934443463292798367720855295981751068779286828286112458101449111038977061482119098169982645118550172244605865038203833756024048779544290810706264743071409987737894035470909197580411755342297568447007481920416496274133701689054502678199743250674950053896434060731084144706595930060183988455837834342333797665400789059704798444943253176478089606817648122439036826993646105426470931849718286023667348049980272856681224861938953912722588065679295983444089221227287929513250393121480839239918612491968511577056568473445738007260882075799868038276887409746554857117609911265973060891335257469830901483291001612991918587883717722660646997920586550022580121802570389330511622551568660187606316352979625658791824850150716400241596100245256365760695347834206885397296326865643549930056902973676869924738261325428133030102926626051006611238174826410858309071992166324558094913628374888821082209663999788268817766108608586766099412463126696088128026734177780891017629571945808746808502860870789816121125604914398340685609254471536820679237144173734399951825578993118529021215658724979424650896679155495024290097404268328045053870939400755969708249014519150103079610064493022281250100301088810296007870595717762706901551946367951395146768958253119595400110449999968469903507948690214794685969141861178786665861229947015581139231147401859565408542771189840878719787896171358042492127396984694300751768684609837174607632822630700127696511805111867532537472412504543491967231380187339562428083662244892900825772422601433410737880015315135321071467845962277965513781668666459403148704995243152727004116207367828497572732855514584367231239797837939006419966829802048588107214542353596446183664093271926896494677322682482919197867967455579611805752401249062104889824887786714089917828453938005161042852480374315827690146272288622588727127711232187141445516371636068075898173018365188044381152914986531974583019355058910134147997296509894449423142479518432140917599337057732488558156400735761371063589938168980281375551031594018382999186360130253101936829255793966507638921233922641126361386119184587191680957612793013825288781091631942576768276638833735865242667184814681666335537346846758554153883876831693127667649319010178202773654624018657674354250996226202027047752519528968278870975288988082676210037066866307017088105837984341235404175324196847611307602798887786523810913808743632195512451613614129462649412040488648563788451631578490799893919148234374498539265518861779337943510989256251536698427335946900527885227488240334462443197032826521830505347634950111223673472287702882597658923215930483717158737662132718126669776523345186010504912705097953328728622944208543039089044073912626146357911018039032070598815986535186128814245931838903111864044808339351742331129529687010173437051007326333289299718051269350824358842239823072978971635158131715293329188155685141856729534348749696838828206116075629637981901629335606065469992440733500382974078968722632837303219976700743358253359122796056981954705811806405437578149535082687130061776888994473294264873125026134052456705403992871972761983788635074429839431716922059583254850171837456276607416526767347719350585627762674809247825637578296109059832400967523879196750887113546124221732500941568037094807890363380124804569186546600820695632423407680053352878973710182025266282567256365693713414731597489567097970426158639841517222473372421903809782393708736893875176649428942526760912314313986296855075244000829023182817771670675651088747688332329540998261579162904279070904468573198242953284157561641763850936723566343499974746091985784930833494257146464963291370759422795694082236662510841319056001063390790288445253391752425360707724936518875574829491601282042894025553810294085690214175764358620250242609611711476533676837836405036002101492335217705780791096238596501186263459259534678110896884778554750612828773103461834727269334463917307301884665858532405004696877502406012999261195065965147561922525649321365962748284292506601943582451081443826717639343914967493420158991116561316195324671886842879226609975318329805196188960975212910058158274508642835801503239051448717717578124215933732460367108092119598336832666152962412179568585940341355964518120054485537413272578221751070776717057088610452174330040477103517355457619085521882165562770000620249285444953574479815981020708428422255655365566423996910188395379977485179871216387561911190436607969543883487446866226180780772413480068629816721678519222903591828628437326379586212908366908396439657119159364343385635958659757671955178338951559054214350457775155304545409689938788140598900833500464688285467642393575522931359396968323666812980834842644347472667964748209212170908637764700293626725283074749502381753813460077418007188043702626600861549377441406251
g=6
contribution table:{0, 1, 25, 41, 53, 72, 80, 107, 113, 134, 167, 197, 201, 230, 267, 289, 292, 328, 362, 367, 407, 416, 431, 476, 431, 416, 407, 367, 362, 328, 292, 289, 267, 230, 201, 197, 167, 134, 113, 107, 80, 72, 53, 41, 25, 1, 0}
*** a(t,u0,r):
271171
28
*** a(t,u0+1l^(t-1),r):
273760
32
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Sun 14 Apr 2024 20:11:08
end  =Sun 14 Apr 2024 21:49:05
elapsed(sec)=5876.489252