n65-L7-f8543-r5-t8542-ver3.3b.txt
p=6116446679572890900646791489726658695373629569317932206381596119601220368637500053464734854784247753122606209403704977929545292811668905206545025165740784634508861052436698365625402119840738778685627396508191527386337978075562895588187622573698346408520097154795679335184001941267317648025941114589690627124054851070593386767219099570615490029283628200918570100058711098791632816620884700853423137510435830024930742145758572752839111330190785835513699786278674105874246284110687513365463200692799412778036661579433549895750856570683991139246049508250311497144165996599400763596969211023980921361921786280852631631449376649053641322814450676238658011449684062273887983690972339828670472489596302668149958553410421762754858801142983095504138784169236943430703676922194288740027600391062179119743467196734636329338931968711558976371535630083387233146238342855661016083222570390658793947719908828327492236429112941941080264599325148347003231778106560344021462932517999772483316850236096138683969465119034595633900887506984346703203756899679636603645456608284340150300900032407316774845840339497545659765670093922479466069265377544300837487973713726962498058904021861985530103674221474773504337398969262623297937598203367138899601048737382099718561034786776968861210520581044026921139930366168921192469975573802595993044532919509270417679604410548750436520326244949777096689162554974865554559170353068284696236618454891593783106610181233485650712441232885692335699590608074126640467657356221813602474454782540799603991420603060546403859310069278494447721272743227286389498708273247839112882764693681058061590556099247962681893763236340913998464624944404319408137637804685393151353695363154215364922173139933418972742128223479829696456926680844902982135751054997511667308082585216907374163165097641581662295167308775843163722733706972265930470967307696215234193545125191185287558327682403474963030916005997855731883796343070587493027334678750964149736763985671438523779307333249295697213858044989693754595966552437974270851827351005036310671970837213996809082891880762168003295597983382484789689084699387077594762768420720108435569653850824672149390055148620162644551503806540911020387519461833033481222697140044544149291671102168071494006600942997064044213921151932093965821619328699243740563748713862837284903679838595678885261851322330256990105439319411842138978480261060418078525285034057582545005523097766879749051822883402156970211583025603200658135720155810257680805371808842605093197074121106234875940648300046129753067324896445222534595461638212239599557827619502805635086359622044444054391603655358902012624678213667881209843850733825555911645662041065060072982629176704429143959310365223651004898134173753750386819016035596257838994565483333869716682363297884596688486372634995511043048341875460731235649607207180978349459409989260102836447986803952513966126825055759611241266261989752708498579083082001361501800712448035140839242716024049701160966788462798034663933994006493003512583834747526949682310826428210422418135619847635204549470778954962266266262801297254659253194916730091869945341633628149051332077611027301293419154746839502560868160424128589976276057958554527205840621367408936585735818386127613168234395692149231881849699076946636485926969732906462521098099228423572502023822775811644956234447825013220698916224322673040031827381727749883170123697753386591844233234650709852841456956934821783567663495262328765350993214323818392553177838213085315387329511176419728970358515950081562782859029911517842929035478311360113673389739016448167932118833913722950403016204884262883093627795717019480164644368209643368031497865781140072504975419679525021298085376868397661132074183821457388214612783486861636049619251041521836436667444018973680935712228126322334781503829776505082627679033339706175788728663265088697338676876490026805674782902398944022959750271456834324620592088052633157754160986860024290987316494058715240036712792394247562972067351501251378342051296016009919968342606177058022471617118595168446124526798077756104158718635032722381421435244552729454967806748733091911110296007581322988667749352247530240982279570042817514079301108453745986870738050414017821403254713431337069209013242889412434956708381735489973715249894994127132572199756427217628886721927214792683761190673904239945933062489500167367606460493937145249692552084784230610799485297368106900885212891572042575668129685058919981432845237697321670698877558091424233364798333265962354863386912303115392417076304251693835996492861423015199644713951535960554160080976711592652213388361542070860788604760989909976937947225833706187110756519133337784377235860870421171552438319435474647012796423410876683657745999622826402330601830237923660580387936273599477619876539113720823364208498048180778993458716434936373950215188211405394301998260214263579886113926378441045822874969490406950886901547671273906102181891162889074483299876447227769512475278205072424136874950098511486664434163181813009211244622355981644724391474286151140012398032465145769884097831768790099021951047958698884192274755101616807107121264501643255558225688882809582919912730812290669653915065358281315149712954543259102278491173525571320797903819937948097065882314928016433495530102876543138497102035967695336615215436916304993184394506516665443870372679416222328225338107941133969109328986547164069523103496896297265786268303928840553801629359015871594257850236872031471138994184636793588870786188874788907525857045892018955100546735408562948066888093555789527306557575279771897224055573563826639678090142730918459231669031647417452432286349718127919908727557070907708492166287445065772166016629629728730571868253152595444695910531407586490314809674023145080138503853167730118153466377324179336112542506199276309546104089540342040152327630264636086663269053643163024121976098815201599565652414151808836770695116396298400385782258823612125611878740392830382839116416414586321279102715258690885919236119849961888291983779653095975043248281948397757178319875048208773288684434437708166410929114902319411664464476812457072110425299582905948077012344974945819806652590466927364046070082297608015348364834425836645627443787053940318767866884014202134032244392635628781531489391365930306195958830776229004910384435055600691550701850483275843710272187346246095806867589448856258101084209792568595932408302492978002301690913773113953799770257364050444788925876523903122828121133879803763828954801918100219671637426207014342162540038807355929780582933892018962951225552967259897597883271717308291227857845383090256216865584837192268648424507081168998064093933163397796363304654774270292986627286354993804215143557495715922826299534013565459763223434408509032375783123825993086585208189490997566115958600314457775344060656404193593190345684543696386631466139089246420719880100825465998019250627872108916120473093284323500077661788931046056614798198251453729786993552832448748276390050361284462601787918094507894149425664063199734261359849057692714833691886091098614344421690750648372117385649618736433322198234759823308840171115005027698382822992631844553104844085030710235221662337280162015540811879301425557184580507799690012284427113136524802027113806531141505840607204591
g=7
contribution table:{0, 1, 4, 1, 0}
*** a(t,u0,r):
537
2
*** a(t,u0+1l^(t-1),r):
607
2
*** a(t,u0+2l^(t-1),r):
584
4
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Fri 28 Feb 2025 00:34:28
end  =Fri 28 Feb 2025 01:32:20
elapsed(sec)=3472.293834