n80-L7-f10301-r17-t10300-ver3.3b.txt
p=36226816354273656619408407646229652304062049821029219482274992818345024795375148142300289747925446872954092291201136718590642647127256922972882412763305203475213729885687803350371368696113900308569538467524176402844544776548459496986676209608197304189850240100384795359023263475590448973363633677430975150834902122855365100678911629876430852175492809548666735590455501776479127795489147200367220382333014057010974348407406470303261828137683782102506306013874029167582043035031016443859414096323757465722957089606560727224955806485161441736407806769361855689926964674145434238415010873611503811322826108545472580469518128105722607406618033993089623690124954388408909903483606496969715489572431899936382881076382571659149172336084490627626613316246231394609160786778837484856362840628178350136266181609567512626111582125517651707855780175931434487404973371169859898962057982711282956294654732345963298014829919177851203863148148319628211169943137919647617484479437646070349680973084859325031149228797378539142883481292298518662628859169981074987934805460518626118828434501966217198393654141639828698832072798053958953516197904198199741902632460740849634293750412180642229079442454244397064857828091902465522094817157676683823400372948238920707248551647552220730527710517314553424582113000551771681982179446697466925274808210958968120510088667540710266964199932977086444206191620215980726647943093412816032266991050903917412677081061490218026114159079857446270081451383973891343730598427409827622434213762451612620741139659113668704866178021807904517363397594895546668422266691309924622281803410575969215578949421312281045939364469982591483488367389488013023959916901185312167077468244253340513144558427812932706078342041911786273160669127260597407415241890138130021167396656139145629305731236101701229678035296193248356472112941173027177483778930784801370333363667845492772223000294071721925245916991112573919077770891375276047073990386185652477299972180003850393236576110700361921688249379340563509878836235445885337888780226826892323279321483406068398604317869406258783386460755521077477927358964966568754539496869039834298578142302156808407458344662842235323115308521773774165802172859294725287353584309139268862569656460713006428928330752095130901786544706010817226870215165527738619482831129645882101796774877474891253078017794011699779786653948445929270664170308552649580333127595967189865410052580245337230577320541852581637869383368614603123112413524209147901238180422308346649864079050116663456018772892025165173663639130882086156988272858634836450320497560568660264751229014202789641755777458460868372781916838645117512153752743792504863853504498961743240411855137948884733898114267939299731493083381966993530354997375309629099006635416118406866777250885217512886383688572899167074717741478210349387450815837433196892658140513085584479841779308290060010153536870882874001833820289441432105429203334173097138564474254588532439503773552072167458350094897786708000292453447055347114424905115257963033091729126947948807823051975317471094839223113964955336016907110615788035149158670679252096682599035866619138427098069460753727227760792611661141249458001545024178682939152515882123907206269295130343539690342092531540257897521368230042208372750112042180377407341883300743345767541431244662706546817904606546222631512142037575877436617415392654617238424873442282973482206497105566236634164816959726703806115071005035167367250645018789229535753792803093228359136435336388093771890886759470151115800621181468385746248605845916279952612497263989434035078908117082322778879535992265528304887441481118145925182243544297872675934599594106289303956893715748268881208425661652149944741161866983582996151816026604345421841779124688814328795458104743670001814038196919129698697644514500875939359807881689551288564304929459191235906351010290213677558600678697614974640854154534386008833408847443692657023118530956529606879460729342657862403215397050867192953359931515680566947909939002772585233232156851439512406462803831309862214084291819907582667272341978972915932923422019693834219376258320162188398914728593101416679739340596271901116770035507945318859131155937563510404959056977757961011799412353305703409616439864370279900217748936907945855802852156465524379462304404808339192923138687505247203582998695595608007865853116515236842477313525416250909593700653503875019135689473036109678011706445783372926414534906895679855025876295273003599769333238528309037199066981458762143280493089425453167818702005591084289360134264101008226866247152256090164530762140439832470268265417523367375706731304315253712832659674866005008933995150017713489293645491309279207903696253813220898793513855442103417500518724255257369072017130037511335359929180910826006908060946151473811393705850960464783254422776884673905222423092856366343834944077249475654279954654163165483747754769649288692730155915921538154920541175042202049095192228189649443705473308148680233351075772973532693235578072684295671361876686887474741881268561650024805785862374821187626700485033251374983954350314854576207194461220715518584772812066822207803499466144698113399015928583368425398197592961507832720114869970004283654638597688935701152808521983382673075060372007176399755768049103710450757309059973247975201252481204108375311311109810917405507836285711075549678985027901807397228271192915781287396964037254513661737568248871316466197505863020999404703573095435492522635966124620622629038191885182145464641772710433346334835076952786443058753801751665229627059240530722853699165899472147517864748666946825419019704672870551878718292379029485130667218710276110984455963945052064690931630253269255314668906910536123112605289510959418506821662150040050962251377726689069856466202713140488147599865443073235655237105123056321280239393532263376334472075357548531321825385939688313020885320202868569171594706244517092814019164773498117392630416212164033365301435211698072171615014540203340128100898904025534118998884500515799079524257119641479775082319052611725239284386603708310455424544018094991205845549943632216578160518372137811465276409918178019038988891431144518038168483097820717476352566832817904933350279232865298660887168270379393803360653855800939125117302710277329282213989413187842108627500134554158576817796744225946792020406842166420202667937875350422659417609553243564525337076929228191034498474689645284450126346165531818574072743505421140633835495627872777272696285832942523487548563577886553674871395266435221894062508762265840043351323815190175058702141239239548682140848673670910462921291584419008245194151523400678174711038267983938884407571410651143472505882153451770673029615091173982969563946140155800822404773183770463010495260744512366915750182385672775894900339989142938429212083749165019618210281515619316289383734072570044566368252119779774441495538342865248833199179975720873727235776124354376826465706053148936552116443669608634056356771036114017428136833719697134079241010608743321078547601121461648212736663453301867628498322334660495124558289685042821688736910650846887166501577048782055210718644195844161871903344117602150670463485053006804089110811033401790560085464599512637519851386014540840267631431889178240064173063463810294583247516808901354346494094190988486177229941957258861340663874040853809071364374983070171486899656852155996238377959859671386959041423979088655761977571500455686954223903345588940622608528341395483786013376980447203309312986188886826009315438488147820528352067581742019402113746945585440646668846949912148982818547087575045260360673238852555245632079879125188070315991641215183367806347927968276982276773121213661474188748850624179502720474631662046547157833778960330155816969882357075143241804041314740897434115617157989890768126112259029541683740136381184088775977148835549941506253663459351190289516630617624752768224663392292938093804607843583933213623627429881839963757696833884966592965707642282438353903111021533936333621165132850168821119946805531169086150794827900698293693936646684685525173478836288871830793545469387555333614029821870450443005558969188535758018136946453899650729154008183140605607981409973442704843083679595786991666653103297843552709962599033960679826979423788465798402668173265546153644330291618390018482092114404194828253010513397003125882138227079001222441364614496332499994419432019825049652655889753675289580356347572211276246462835065040974123910572160817088006889381057526039273784077549895496410296237769543225626278182896437175372170309803873172989055404668498635476206152399324618720952902244367483573189190655951204597433309158139758190201206588460708164309320472933814175776964190482168533176580603533268728561982543282430187444334151225717001601121
g=3
contribution table:{0, 1, 10, 16, 29, 36, 39, 44, 59, 44, 39, 36, 29, 16, 10, 1, 0}
*** a(t,u0,r):
13130
6
*** a(t,u0+1l^(t-1),r):
14250
4
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Sat 1 Mar 2025 13:55:17
end  =Sat 1 Mar 2025 15:11:05
elapsed(sec)=4548.459848