n33-L7-f8532-r17-t8530-ver3.3b.txt
p=1570439959213819140596548641569964007537436780526851743339530467402918805428479546432649682084746926445055223735957892656652848806424128541915837531977508133439862414440634555923523381718408206188181461121244281443778742287460764078454285278217131621071095054476614938270197072695097058234929622713733766910242473967129201611075831929064482163496744473286249875939679747398491173965072398746056862784372540877083906650020211741416785342914528132474913751595971312667212667804257609553656202125310794475354716769129006169671919026987747004885759336789747748259634675926545020327827559747623207328254428371528936171280398473119960253426919704558180575807223924129073519165210445672649689775600679327801909447944633927799577637500313664273313974357182980006341135080618921403724031810582229340827487395594152667628143897101998710762630865440686697675094866622361014543581720119553586910452081019841593301352916773187940042571972092863399139201248311858193937634787710741440784933989584422829240420265799872532702364559859644347850038955265044917265156531541536663939205823540682297301905417159700175073634081258332391313575225172756057880882621633486145094089036657941055423474216671172089586395577513751499249390995421069120825112905663674552909034456104401094110829388873563845227589776193678176236467233606633953267289828633709984855251890402405279585489840647348140694623480765512147602317109044846141124731258216916561959338996623397803564500258956465143606936295003048109986176521477254901414501931555549903536658859941762767883529087349069036058043143606037262910289029533747241654079991071716567836770914926610927483491450139699756544038852089104787321761765832578504896885630772977623171412787965022781191249921462850668293408178035417063168313937425487187142659579790029856077524347046573575716121998010607258182730526712991244054070143701120469553901131167538575236294816507487777789865239422311524613234066342355229434998725438903711916290714988885851953402819360300005799351364924033964559647942744243458122212232160048049993969814006699546965336880943929629608356643233864732785143053110730277186716739609869699826482244258965386300943710386100095035070563416819587178972468039508219393257903498730550212631556669542059456396160753310511094495718772091219493614433003623631328373093092505889260776444275357628941186258787474463627998905331152021376366764185267767322968052356940911472758529988586963636771200596594726759113539532427048525397482082578704686093370362310175285936123697595462299695821822093745665410875959787566749700569854399991683879472896795916902936753202877622544853619508508050018584581115317702645496804596597526866931069198511178665837594381499530143525096097814516385231359531666302278185174941570156897126831529646774141729647905678563375325128236702544664600166809107736956793642670208404796295758930376105136778480321530216945537710682339790498624938082642889763334465806594775974677262961900861995578478730113356982568640673022693710836752022355731509636233755216974128413100856978907650488277849287926462110928722834498691514379308348023533292751871492157065888160474141370407880915573190687632321369680560513982589645381243258068798926248056132299838772737243669456191970091413712413264564413213857066068108245056886032168813139721683607176313009142572495232785839338765320224261654782948266498537611471843657423645024175054434365539427000310751944530993898159816821931510165753858327040281456817346843411768073756247959842427346456353928426868349915484674247009337746898282705153349778669675916105136653967668686210822551962708968641594829730336508446569639154307294766729119605646809233451855221207675370817279771764009719419733970645243669833482292271176703943400990167961983685297395051798598992132944480541886312105759028731846444565907869159952423965152820707190689884073586843219546016644150869603471637462500319205795765945069710815910715819847428564359721523011223220540156121620797358459027653198695599294387040315434414195135320003402013197894363876612317851882750565959514859147495261764686017007146673527706601174225786439617153798087887872335761647588257407955020829146909473065057118310889665005616718976261030215244691454880042539770710913602515960757796618864706891899246622989100601783882984333212297060970261411618961700522424817522809956905945551387447270741443538064167779377988212875932127226962173650926553658183629543125338320440430792622047837859401379124345622340257504656419641612580481224306871751955033421920875865357114301201399819902088394719591714686925993707466892923326401842566835947733418591622182595586393342703853796525129514623661868157410190038621727485351861311031368063106364724128654392307027430083182447587253612602803620171702543022737515191968707745622026202952880297637382799362655854158016270033277858662103935812985050929023441796406016778697927706604708192269391681995729517849026060361996943731052043796240697992330967013585875667725998404349244534076920381974159534621116535085665714256979850034424034368148352556990573265734192124099696544426708792662950108538570175560253007545980064337440855111545001967990783740703330394103916510000586388869633870888333049250419594570672173017326502236044660267893405172238087498343858489851343583526960427745046110653155519299538322694425218565588129856617967072316779966081884450913279075452428867509456746608564986602422325988782377889929434435151450330959351878180391800315100091983578400870045844881451900694083351534724327380454968082457208872017569679407292907399458775291057708726673321953262200799777899030959935705705444685364665594367344103746335945233971181018125831681472611353531829282590515465977992906125836115065675966702440507582815309883395326911790252117556871065566920322408511170951632996211403651569787926801507546745204626195621368452539030344136572637717747178155863880805764861982508338109348302287910601090645098624434515219550988113506120452290005559315063696899756383563646117605293938839457227225090592143065674677728873712441180158273644875805527321147033270756308231111732346756547237985837112378275470695279723571090018066308612928711883665451777486440902261414843838315265871337630161258552840897587940299919169689724174925830907533048253546601357465456581233082216654598154435673950536790330342428126666389515381195970495108489415071635450653964552231824515892764908807283965291311926585270191488988960110607230876323807780812581772796978711683886436140041921526604292843754511196038559102755260756578198064902478450621200028818280889206791872811113017784284920674065760547832842107372818894512394280733619440498422823602554995158445488331793974505408440492579558779341994891304304898901414624471308686452156215614405239605026334699477565520298812563066757355432891845791828320480657648040574411073827200906318944058078779936037190147177664194354781833895913815209337716307514528425530093630225921354352998049354718528058265601482507762623093199175649854871473120411237368248114718553446470496088294831815108568300021722960547956878269361326181450064245932615088649513125676572329361346399792312338827341898023416090317207343415596468035199954926106424546254280125939986739210017988311396283420582598459918385378323848916357320258368926501286347267
g=7
contribution table:{0, 1, 10, 16, 29, 36, 39, 44, 59, 44, 39, 36, 29, 16, 10, 1, 0}
*** a(t,u0,r):
37848
6
*** a(t,u0+1l^(t-1),r):
37890
14
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Wed 1 May 2024 11:23:23
end  =Wed 1 May 2024 14:35:08
elapsed(sec)=11504.801125