n41-L5-f12862-r37-t12860-ver3.3b.txt
p=11641518221503799063915062286703734966734668717268336297362434104965513587926203230723285959567718033728999666493338460926497709071912091546089108649289530865853772159995131013383659891382357261968627790094040872216988579133387645108932641745326154495887717985730502488302823561583147275438114308042824041253829398033035184032073528186006352167105540798382189394751189031662747122813233903027231704930211115082640806432939511316108089153769981090081252855413608747201558863470853769293045367934806834198984679092573473318136682563742979656933392727513692161888502940324066111473386851616685544720790027933667946308303941954486525260146504788745151888346623741767300398874780075354658018610637065460558104474126403760018855298072379848147341672022689314581954955574144451683427434097940360342667816529983283588185052097121429756530245675056323715850684600947457945152371106254621820644677295414918305099082119890011479558276312186581932593896554217502588239214314395242775923582084404006142373637044394589658400273615400151463043249869650333538530585158843673713211963079887455050592884104828124066339316642299884283705689645396725106829258063071980036436006610287893031435754690674768213619512422510372829698792829743229779657365606976475842849727594786657461952820976637924503004944430870991209160408654568630636895587855381473491472832091993722497582703235008011646693265555482390209796202700950799841820014797419106580016382762877701906001575907077807384258315405769468527051016074008919388043440801643634399180028886424225281263279886360563433466925269574475352552937141980251387649071499451169404902742518238564056158471485864001753780219278458472539389309367492736891370753339285579613014167664406984419893917639923256852695369115839125518611493660963705532923053898697026927788045813419310428367629908997997781375068194763397957083860618200351875531415045977218338177067136895205756667213764628024265311067096616791216131266675397070471984277288450008902187609299978387936355662363649738944391125183033210122128257939821473754107675402274314279628609533217436420259761860236859936721056554820956198819086319614998829761123434244514405700131709762044062183647056252166022641818270275917143743616810479896759968400146159017073762872149823878854511382725952862506280755894190335464313086390570680246784043900060935565986032464347796529283189540086536265099507352695792326884081737507575587264860905254226868283440305456616573692794650273051154509780885017675110306457259563354813016714173533571005529289958075576553141879149948851609424605950859626199205343810621734322656569278902861963413395403476499061044185592315243597274094810404486103113992733692582321015190220913260634901439635308793217434887247900241950807616385395335477980115711646375521004091101206808954654653761639769756655653765449922830893532038762183454891196046108402210043460558607701720351779502516654472799561059202242414229686230789274104774218461719677994557574580566278136561941950165891421516335148245068961346948729036259952291977234763757030072658792646540990531272246480773061020818810181130576855212831936654951181447282845131962720182436782106934924102882757127979541042280147257407165448666406959918980442246013185258430729079935715228720878932127350530392309736989553382452281399017570433086544159310363750858407595374307565744375956496249725725131952614826331940346775662010646775882384272392379364761818573790633704149143462363389057044729096870807961409081221070078946043756914880677178259536799663543595885686084698706979874708299559874077278238030575622614460359104515905641851435512925440647258362221987332380653811430957402669537900783242924228434977319400967341212134591571652573610209907467377652337505838249718982756302084357575091578764617168318960756465505674422610764225456459054050953979574824955992815493290563474148816134755522873959477333028761246902712090332408788676760478626815846850756946865573750542177156159449083307851723565199332773496573862811972630672610572264203003913813840155143050314857809348140105683059116419633223932835702939062691656748732262176564213148977535036598057318899172545466709397707399253201570838871572729755594418505270167974218595725838537879191851032601826156052309371750806909431705188297666077232743582494674242589317169465190617774642189827524393618794521331614264204368446931431766144802279602065689589031377980152994387026569848147250093814440100705153807678079424227850800158428078166157948238884019218948622238086839679973435249765332257631160469120853019688175052892729831412676045252617782801053743788366816863424375223781370324920208108807992004610276403716951229569059154572890574138578817513848862861847853245941539836740072543666469839194265414893481988084713080793070663491546637346153538551729003518893721313142599424447820626882520424079665582715003508266065863837042918167095553490333393697252056955393565630402140244627628589651894342875021005264610597540427779279067366155144684972162915135293221586172171875930723725289592200338028519669201800605453336788148238952617112765267974596843103145773463858150075701782969891069338989743295647834878631734255257870285846998553303657120771817141281448997906894402475092249389122647372417217136283935903440178821267832611276462043806699073813188296399242457471181865261952217587672404939040927814341030919920225117537347333629984563371637639344519571709330145093614750948604940533030288466395748923160368619995235034963524242838353425612660772376491139358267509677286470128955836235804658285276204709990517633010278533402694851564496259188826842539894546571144488586134916059810636953706661970026093527983018076300476716051018577713186842385673817341989962662051403641853299086145308747549239185235080999331483165117682246760015362418751241606545198802981509085766028695223457816732352629566618543601835494967069542501458984558244885590989649289269563546980788244552305279663702098085830578955527796426475377946543690676438626292460619643793410339883473853833177563831952873798063906295207529555470972714724086522471383533892983634614695761477677738414430119349912006935502746836152124233634004677875776840707466378128933113423988608427913190024155327430741435011520156811275294391303424015310879258221879586743621716470194942449764593187305063909152429004200508883148951572280141696595733828943102010151034124726549603595849847495214574564327088467763714193289439032109382013573921935108278813410462144876419725455958692492010562360498726646343039666828919818734115301546038587268595379057457890813740260759786021131599188474980906588939583415783158963948277800582699925088661883345529369085705294984192544877296448031003227023935511468930436866462040394766690876702939816043633176862449744588927305698208934404475078072954304888558446375391659520686671952213842537913350234728477696406656587790452127405457701729767972986072426604248241365290548937202191691248993950601479513430101159606535441055040991951186930531269775903641297006182806856842565484180775938751280016104006530873196471707460483698686804190170565653222644890198533580248855882816770146426561500152110667422939662174238185476837888050160426744176966683191987972942610870742786857755424698399113042956282098982020673637896156221617010683155421971711274388288977241430426195640914495219924629373143946083166995351114159599169277909572246259591360756910008959284840052304931306142813186865241691778086728792140771521344957729555476666026449775796355633072512698126071796992176549293066336146676769123818462796163522486980420725641978668446555922660832849983907169608458210102872069030854472333871192229846822769701992802524226619136023862648041985181572292787560653536942901149183935858200367118628475342949729353051099009001547802420679410935013588928681003408334819620836458218359025923595877231259832331821742403920236747319881575951161414104580973978221415794367807523835676735019925942125000372538016454323382169935906728596942897355188865101534649495101298671564562588579585976439151226205449025367662203168270824178223500482895545254065927178839550289429211073772987786125342312312278446156300005754007147297583396947435409239960911839538374674130064985211257206450796701383550845167048874259706078533911071150520230192616983110268860316217855600521598886621004157952538854362736738235792502918303492027391218773302386456266822715196456230066263096390292058240994163368166706758747505390565497762392083215097781428359891109565347047502242355358352116906641466040795099976376264315997836855242653448206169382159795645054304369908734137954437439265761896880293487482478450891081478498377355618432066624818580814686765422004048243784599942494365397192999693482184104319767158741101009516098232593174502510881057313889102933042335221060511547510118549094077704866464853370194609582246300640733045566734661890170223086698569189444099905614673166432680919890477668690688314143707865214436273721185487645355561032584440650222720592422089900780050958334286782385935569416824878742991613124815875046635937906103208661079406738281251
g=2
contribution table:{0, 1, 20, 45, 73, 88, 119, 135, 149, 182, 208, 235, 269, 289, 297, 302, 309, 333, 368, 333, 309, 302, 297, 289, 269, 235, 208, 182, 149, 135, 119, 88, 73, 45, 20, 1, 0}
*** a(t,u0,r):
174245
12
*** a(t,u0+1l^(t-1),r):
169595
24
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Tue 16 Apr 2024 09:11:20
end  =Tue 16 Apr 2024 12:00:07
elapsed(sec)=10126.785954