n95-L7-f10118-r5-t10117-ver3.3b.txt
p=956582574239238023498943215841520937747732723840964244103207516425162679841206002037987584896844211182044462460798540339052650483436455661174479234070314770526688884786599228351323034675976651575511125109542744537488887843346712175599737757983584641677207985219920072975301995167942725096875965995236153377987296599883350051751828929722276391559428971826762281597232953044595366662115747229415021966311857979025064648586360878703539051166744853209683953887711600943867795843531614638868295631934494848122501096983234730835022836139333681337808333033989756071386700907195059543992117659796368379405458122136250810682381808766641808498899785864547087896461006299816821847048426078001411453235621239832563160275786536746708057208334033647303836382991953456407055794009498954694857391872357696459922933182030557499516428591250486306207329051010063307717829739379378736503144833596272777288648405766386988967633903314110551606533805859791881116140595165089580426831485528328503340356401403122335962822920330242712882741983921204935897823707867247332906652672517140398897911149636460837358471804341959090878428932499905775728530823639079730603563854709554411428528732037606693981649371318106495877571101973284624370952513525558507040261526838028095345549481650416174547881946456516198775045858868212375726981754358296505263882931992095372988448981964803320526421912303691811114161342613409468574920959483270037317559202513528492516789162078334171158498863104273263669447539099011809085475026649642702989818886795270658525823557492167336395680281986488055757062035713818218516843717722774941308582513138889545768889633537248927088197601159832508075558681282505783251602232667773145797920710076936745824131445293471452206398440418027716612199579018290914664530373716332057460587834533217311630770144427095495005874907090440932526433804533032637808108654408785476812292911798963960436360500612662014182171900563524614710397643599997529138288697540959338573074028778064195241812086842174602068436330690203983929498131718263012730122470004674301888886610790235182357368915427768765181693739550796945823650868730828864694445340741770738333077794653176144162817496587480384995579136909511199979221832651060711484433570937730280904610747144728981831334057443244404048507665327107465042000819021922682489231204327925454469385283605696147330627089797440829853333972100430071769433398343034785864092615425199520635553474945010451595613747655853315060572305118282304185252935458444382813303508403368252017902437180102202786104194540431832714753107483440575964360991246097002188988353858019135300542813569742679607736986365212736928906293221152283102146691403968197971987560369211127070524837667607653425087986784732624899467351250794678900751621080668541328363851900976003694991480113648289634529898405875613245851406714519619826436058964617752368491588791502915300041801448438155454829688690915688435223315696737448782194849929701576525520700744301596336678610799315602917617653992787804438975928750671433376576755568206250661011873639211342415689532096554100021044116972641230253155445672606223310847570086765125294992375975089690506248189601703208219131005008097612474444183973798778736825273202290632662523353879009638832495443408408472067274992105736629757501631539359314040050741150445213287872935740069096179456387675731731320448689478333368079272896764736586375169130170397655942559705563872650844307660634768445410124202985619523463539226568590668528076382952058821646578332148387881325037945415208119702565891019062358738274159717990649379179321017483574144852327402743194394211853361054639094045006281724394408912413029598830202292138662528495270633421200084095829556332451286639500454945855833129899907237640399223620361896301974115894639460177746362014557883174024490581729770543772563936566854330841285436828390749476803274935689332485282838224369962732679298454601515346055495693303445998043548585830997476406257298834173355794264485726151879896045957807129628827674341285111133765606828705691260419354483078897226544954967045413861451511432898890160401590039179626433036501386017730058107720384995856446183963042809013237891713388904977263122377169077543910886831549934547369166994788982916409499225405704804218156267197769247624811376297057740759790057465351565117673940215007060508343135469543082332979028810145326068115877076435482987408513055348079563565916094751170951547355634192714455929605401757176421763624135112801223213795209609383337085691917029922186494847756670849180004848451236225092388385060471307632568202432049559076211354445877235052444267603414996055855014749869290327905620250654028681862265785874827195893677452118327773191771754743691553726128415171196211723052104574702134879535079367123125759970187470544612163330918954244515888399283564694373466606362563846853986021318998094562253776769449303228292974416439665323343153813260475768222217209813008184616505240217558872796408685982101132505999034774605851537441035817412479536417736297051053832999128278750036945705154388733363387240127088616822456377157504323535366321085425383180667046687731647591647541994992690357706345264652552837920748768068786639985338442208984545024317827787843269023079649150062915754872645820589319662944377578271781523662365726018487433862741134001251095804721051979150678008868208593197224540049588337011625630450703111019332185505455178977196880096731781694436075731058665579707155829230651753011704580665435046372406521568295497181960631198621082636909498000371610524582431910235952068135401987503520449401580558115633753333407325419338895347637385932469006829366309591378164483050529850149532535525687697923629649712419757982412233689339660409019995629654095141258940003576699798164608026869181332828161862179050549864320885486405848305194355945545244342888144328913649170293708756065724717071002797087873424432226668683488622384408701715215102688871998878840115196330656957350372319628408560113992903025498707560462585982073886845156880991190527399946831234235150965061506320944804165068624971947060748197903155573313014004974476008680838042822270285474141553939985540458560758604520858981254365724485749533493557844350565502459072938158268435739270768497238289067438241703496609415475259319252325730482783564740445467671727049012222873932461132697509054134916517777620840550581238447784997473052017712646918605525868289056109346351091875028652905753659082189965429861501932860112679006485578614400736275927232035618711019709483562183797921152013439959973531505905530897879729215348173126204481887236505983294738273678968376820282367317593838082577020885810455273008499638888100007361528598052413920091824776768733103807558266690747410685766387286913051356450169358551244992161342144001851209191573630550201696371302399689693867041160570320015767627729931278468887225858360779664173914982157924340665389443285984821706295315342688138145636207303562625873471799344194725259438086608748627896609498930983941740798739133065201246200962471905622054442571878527498037562605969208285381184863432081406154093499930089973906238082876669282058074828635639194724720647510959404774068647374509432090966480105504449209263835699493609611636433349665284486123382170125370257276542622776144690612190713011978757057332017776307325972596261115785107436978694151217742318134591722898057670515700086158968534035145389036354647666509994596513170279673101982225405409883466761409839185221162826151877428894678982160047467248754537774311289722328490069168680854937536070206151643805930094860825778230326964207045247300829770124515395547131841077854185074086790543132756057020318642370770988048598627871729533616567096488390578167969802335413866794789992586881325069488466702506747446692941346845212006061993866777429142414967272679964744275891717463772284107709227393989258056425977292322954936721159045568762154682125103005439169899594893602419145337358816465108146491261994767860772440840769166979290364377256532323458255908082713922405320574129126936167626076486242514389758184916275998593865329430617499245593933451816706220279961644742603874551899525125838892403423343317306891689753476517557945077164368376094998821280294463220932600122824073748170182878622029853565721956173476083375574415675497512497537501947662395915162395193216485933685301296290918258241984783482746803416772134969473248926764001758978131305800814726616011902899919186996119986084201939124247243048508565612217170833494901023928036557178057692369399156033832251832251003706806311394428864531751729040508492463981159052359036313076524218209148002723320219065331778802417155310318770261585311
g=7
contribution table:{0, 1, 4, 1, 0}
*** a(t,u0,r):
772
2
*** a(t,u0+1l^(t-1),r):
826
1
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Thu 6 Mar 2025 05:23:21
end  =Thu 6 Mar 2025 06:48:10
elapsed(sec)=5089.439917