n78-L7-f7975-r47-t7974-ver3.3b.txt p=7079355344414081138027441516828800082276181566061000461987968561170617626659154529206839566308692259177539884284202725592286260505203010017671170515487961059629183151453319971425585223414201323555647726508343654884131536504175514446099071963644804101308754555594109553874688011597282962498148199809697542270912109825518316680414543072621654057667081592185063952233669862249033391959166430677712044987161615004031121188279304648557928145149412558329668244659623510806514840625847710854963167701121282170383399767365550245518606699089650693691472253474939326628639992533280104745918825402926974914783504257456798973140333768299079994792882135500658643692071733052182153497210139673848533334920499937578716264362562581294845870290653216040525344675026927957948640471519947203443491207939680779733725262253080780579345466809352932982020838085001950903586631440969744909604632887994909884702696918868164908017135296705694853316293423062654808370236139866101286833757941072739685471962174315308758036609002786463489157793932298806390904871418759397590877713400716352768988418149800101872424482616862653928905153949984278766514583652618991417533820596992741245381592139866349356076376853307421979918078905424898576485541464056964914064381124651891518062612181877934794652424076686908525259355380265342661680484149939555891624839529100392878257261212571150148173034674247047851638203714022547264664656975980300130110274663363299027853000754146553820968390358062985124908829632090618464190666890882902649686159719326302233093109671968292851458997340714929098482580574565198141933111262080052851520557817549799915215606249291415251364540673713035835666056871229024579833577935319768006492395026216015465699403303390090257374130453270919546559657242738787498384750079661757876155915817689800626935379206505188605891031681381243275928265918032511232290006417477122092614986733609500764719446430798299069069441955815676394307489261736766122409766887311136335247065359889962585731817139342166624696856349685501621415124740249800900277024640315292860580321856988765314437003884790764952338305068568462268960795721635254150344507667122392785811693530781718545887761079196368718050879221120938637212003206453490713164594499731630931147684810873296709146125926950959857754589176130461883735015046397424214515594000995788443367842443499921454717212493248265160402299577375818083210717308725970686568203579098754133029348467353363920060579596933465937865349339595491360147014554991587116046069191724439326540143582702149667004130941804955533116761458801907649769794263984338356129963223612988734100058441287480436166739223886027895333217892949803212912028580144052280297055534674369964270472277096764888514511732062804209633359519194846104135454631724097143194947526098222306618183888516246547878150121975429855626582243865819794777845059489385274592336209749480230881528383266582204642828092229745598458341533316864549677011327978708686733982253897675472655744079688099978795261166267448040111563185928317478127881974434328116869564337671582278945502142023696261586749303522650518784654068747106032598933299249373834294309884615261678454352168755959148089615058660999132451010666720845803960532340662969711153351632044393893654900073444851877364745578128843114749459750826951701039867846522754316824652565520698676570219146248222634293411669719210684237202610020321319892979411915825109716906337811280074415129193477366742275248176299694380760121485997343772963813836954020061584873414768902646403019012385471710136999238426461534080413432856840568024307019870113242208160458524487068482441661346236218273071761166838914210316310313386666342027946148605382073254124071154788010773721501875724022895163186641879309699151979125064328629249580557571735299752068976569714807980728032323250733464629739420804411835854732485336495122522167793825805729595977208035577603546753249914741051924285236150543259547608139671782063164257262458671630686777898733824024348144201367817904869023906423307195414541965591395810854994316163108218939437491244700769969028678380895596647387201622904343236618078870685874299609128407682719278207670109063584282740820979945022377331048834350739929124631155448076437354716900768718497373213732003384804713514624422447934270399304359344700372234186738371658675322003612602286522151627146056146003336838468357268960520496787785110985815291058584857049513849843874944580508970411682088543607298158655263166013192819710092949575336029619296140659666110261177167867279433078405316378598451309670969458528059342262298525203989412997521360762016974288527309562939822441902828306770061289475880838578130971553751630462196903343804872475137848872916385765790138155251977825044230079829615002564838306475694832927415044976645354217453855250215394555523894225015055057896027605554202793099449524671201788364299568616954127127702974447237481762997149314043303735073159612258813605500226017704861515606947544936442459639307279215317396358868709375465799754802083175010821097067677816173240917391290134153085521853496625932149009993792946514078986207959290026028830346905708541812651492334527445756570285414813194095712643763612618653896752165088255880765372031185944508266389643574529553631239876333639056002447830737638778612936182807944822583672253183591282234715806716710610371366553451753394893486132363527871936288490624138242882488191943356163554081930608996082942510639536978195521074314306780091124946657589196865457580506824117020870608915719034533394781908641164016145356254534406859110629821446818134018919218724798515854070451480051161274909716070722988071408970001936467403181107045903457743516201773080472723485084662495204199649748142610222513733404042410586594658727329029056946616805706589279890224999931360355099473221486907403865144103092148256436039395670148475470398810726420557863177129463288401785669782601772289669119460852352366449287571829291095977950429651937817844319184562575568336475050982935973068306982203686661165991410017861876996882605461491018878682492669065102083155547163839592820209091926096109756313847268550570083453298936257140690608760172962943287108637068590984845431858027376831740261033422155893610321647843283889271566114267029045087058923236807015628762993182654322781676876310961471478575394490491361551550497983112685547217715180371587286161760936479843177828205642226071045297561983923836997844808483386327277764170830829316960750882712544175869527062587503806532583563023963744163638201756380184202191659695336167863377401544292107414551502696041709317279796001444421685406266601430392190048604813394015894569456027198837658813555114973956975852426113325116452696621600025922096962193427032456876271342124971960524183455297717398234931157543615617513061191806746525438137365235455082474360781759109 g=11 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): 109506 43 *** a(t,u0+1l^(t-1),r): 106231 11 result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II)) code version 3.3b start=Sat 1 Mar 2025 07:21:17 end =Sat 1 Mar 2025 07:59:50 elapsed(sec)=2312.949271