n47-L5-f9380-r37-t9378-ver3.3b.txt
p=2050069221529351882250494982801058536338096652541253360361793413532332956759125884612229014831026715452635476095319659038959849742183112344577208883074921095595198875429340132546739989981458569155803486831974610872411555615667262472200067197108192654046314033364821543934759439487424074473429435943987978666329472291873197102269162471758844180000334239281679428753918348568173431005817386783245668018050705149478294902519520753306356742362948414423543484608330718653277398989158607501938349501765877611933643411812922225404229691717717648354549360174543880642043465634376697382740233712497739082193933572545319804863756447362329033639648163309941323206621014233095555956594013666097326420036028624353922340317681575886564666898925474182826933939999953563593990492160936089705622662420942054151314776706489129901216664042876222501433866654373429500291460459299261328446660925520497077211692592669468144032024115864711664996690431956740851779496230043835033303491844179175007982550307865669264038213812789726476846388233831849034179555077193413559022699608881476589839691539531834357429437263762761555038188782214556136262640417853545951336659355431090175410229020664954666009830650777078837459949630674814303646084797681907436153172332183500108929261632950100522444019074936352368787322116597896633802564459235787917598106397624943982407612011761608449333098453054685015654190268716021398673074390253964780026786854863475391051760390328416643432016103676255064872924307051267921626111821529137735451848257934979825961807291694715303791610112605634515982216807649459140689483185316607880118599087848257365950731142007822022122764758908701339569879292681707513205926945409669226025128815112966066329782072270595477669114373606304550170244157541680683476813159877439826857122595358887472448242529883159901671661902367496899498016915649859621653409003761066968449987656254684084579237141692074202155745417703276819086349235485755945859493728039280984523278301816037771543788506726998064458760456992647925811011154996403129211310534368166034267402568807949772805632606295499601816411680161915746572250941271153834685828498349855331661030944553813650145923927750899673266543219574150423107604024683218724486542309818933949221702662303924380016079391125871847612232444284389736688792603161126608263204291819684047346160426134569922531948323349682691361616278439304445791583627475223152482677437656518320114862406587684397298817560562550870509462185302734247045045458118547766242083017846710013869155717664358754752651883304029354939564455204462032852807921178244966100632506146803691925450593602117439587279280860601662304570516633930977497713253329896805194327047860202171516705726347995316023836458037921948406211487406922926953058810616810305886603644812929975053489934731770261084832848726512567138611955433302346120800016960506292978773101499105949239385003043771969463159017286198890167344886890938346669553929066948882582702463117406526493070091733084406564332007494688323255051358302599482699913895532911084974730693677723082646906293474959661062891381771028808625900098300759633568616246235969914828114063661711016755669928253667101898876828275570095270046979205820990382579986481413397934059210526928126105515130604045812622319381983058410329304046103083332120760525209491761512280614224905455161382546967712510878379409715855400937852830191822077663548411846819098346574814877657288086816259881082696862542668287142944814327997249853746018431893701661940677269090332996652421311314885077079284424818976497908632089490746571280520675093659419360010992208936214937823153835428048578893635517013923176839114320130412044388545796941757263848106061335347865108730803337335518151425642422594048059015958476474594271989187793064010917317152901924792416537428357364420548282398097766105347161669885517685509932216468389307230724327152197534254707891188381939624754830170183413672878384144479157832061401037916761990772047171035674947675486039247137727593634051649124945449915349921111631099288489522757834380000035031723827501251783579556642820540766224547353814389180466872665148049236651449216856386459459973279702857292024335486622469125820558195006041299857975573605178104366425657593148206076111892679934632084927772962603545396623717909823624964376731962367486785117334168173865837928788962835304094840749533417316612647898901167556635246383880256832172808776143280958313249942622473490891246885491557761440811729182561042562342829482577258374084592027442453550645656419302042397810689772069000480649077499754829580480438515925171936161380854397671826185269683885863554541766624135851153439198092416775592230285661607382253086775132754014828526508947425892157514141427677891633540979011024606163084949862269036103828814293432694575276667910018103784887511765653551044226157686652098838742234026285683413899638093338451769572479600784643591273844178139737388038257014970750030449550470828252785853573148018883517645571936151344677330443728267309006795059169391709815773743517762747244440293243820804083268398825354789253357534621112862670107826638070035864570967189316984226146772596905044086086769599730358489462242509329707851906869230488513612786507966632030135791459101866909669456213445419586402928303098279337974125708962280312950507306697699206639718537467637480237108342561953468603902807274400514225127904005207227898800772886519662717643660916506141608297189487630915066092641485270205613291307418845425130884971919827218313034186613784716022104632518313318597793495977334321607706584928728836475827345999750302926968117071402284905907408048474053938505204257448527387569151019055816340331429177278053836986468635542712303486267459983544222393212648847134019970954292225073649971285515039446112798528606275940949096518513807217800810520401061953860712939955239373976206904595102658288589734661478547365217491972252236548139686063338944727604468951004919922895417204926843269382372157104911452871253674076812869971911929981927909591436287251777654681334029621779107076166817637753404542023376561736230976842640809414668591020325604682658071458776124980125371019543934793410663649056423389618194414842615120328344058315620374181772486371604125973061781497537019663115867647828920799378978180133401315674883974273043829964838334966605104019076012328449660289607826635023687454093763455672506050988310812316107282636423658484448632583664312625191488778380190536307902477614203306628420520848508334337121391531990403011305173784142908415677913114880001004774084330582001599343314802490069307161985498609860846834160308382877246913267299532890319824218751
g=29
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):
203637
26
*** a(t,u0+1l^(t-1),r):
202831
34
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Thu 11 Apr 2024 20:00:35
end  =Thu 11 Apr 2024 21:27:13
elapsed(sec)=5197.934494