n12-L7-f10335-r17-t10333-ver3.3b.txt
p=294072754205878810037988219751598739721756997581581208503658486741920685892718251333426232089161742481863550371469952943700183612749233307700511661711442714871004997912904040707538053440727178748648130574005312974374826615640791108777433997986206854383554950983863708044703656147625534883213645834610801881350141722114720710197214101875773894608049831024420623933434694876976310779134968192546969777166574650045446101269946150565766206179738109288616324444323562261525505234075637243206155218037252477867062219536991830636078767895381209434152350303166849684010971317390884096740229631392363493695809073677846552361975313917570389939130181896618324520860382071965745022096599949817789904882443152713959996362954616852063559323225551977063889718288526931923409383621030581188107051193115313741025715940076109447528144032245651676412092077930201317565274548907389307820501313003661326721924019331116442024857055028706873045499055033906513538718786354019131841734237249390803103898333667039203776033613706901510228153068942875104520965800826647679183505739079278519710360796859552082850044431822436287137028697799109187934041427789743392372439868100495703521279190522687067419382365420429170254079596192835246895983607010162925577654243163780240730643175504380275427757860109716731602969437337902931155196563477370730162096812853905462245580118863689961174330550961111012117796202232886401433622351087539242825372933934023561712160403638324733190064683906280313174565409938885359608728463679853229570727887785316260369175846561560867968736137161418959279064295997812240853505493079103956362402976366743182688187400691388929038389051022963708347764355387683417228365670273048865351687653106906279411364230748458833895986576696502605630525517897531227831039273297734253469412286606175714513866855142531356997061852398081715699365331896277031176057001563205317582739260199446327028021643200648743898544396280699324437350211378275187266330802573153239373146536636988799722598744616260953050314881046388497078688198974987911069196461856971833810660282885120992512299678038800026445423801360495525259969144554322106147512647154508105206789840518263774014387911910856286909360863021064116978270930913020849402228645180354662826273020541317127495320729399279999025512136091385793442324371429096002770657730275213485278050720915113139043436244965153842768792591350064627061178720764205772031904838340692131401434491589218897488132984722029987588790941843923285351004938288964731525310238118465879673251404260215410096657327693394134941221410452529707853720451948524890028993489316441669510707170140986900982409673386635795760568143669095430095642438024209946905830501074005828982680915686135205478784234403104607072278013918481161601392659496899304726649932379897102599937791179661819697728944341540359665332965277161066012069370996913288954892403173421801379777229999328554769127356356803558093769339376703871187711314620058806246035933596518406101151053820690506552509422869745515233495391258691948530704451955969641176746606209011404204502687129226073134007246359376841624483132671383169336423149214165819034698163779571482772554280328510524858761437414582294912194603561356441091809101960007294766790253600813481422022856333484244454906127994442274462895790969219344957254052639913879474960789781907563216246912867702330275123277666671665134276261124977578056286049204747099308670823539804726700454864930001034470452045119116565698143429587011218392892337711737388030849280745237967491329695247393215820557506706044927290770034713567378405574697394051594131655817748749598760646986224768850755615755951734911808613506964969434304619347935382484422487046476372750004350302936120130444761491973920390926082334886186058672557866328748590466850928269196453442866306926627318338844528384123211095771853736394799587197264382269812655150217055685732324718641855253594155948029498707114627389352434977231356159278428082741114275138390774447100259449057528212868023527353087619663704224635906012191353050510101600109633518276064994699287157206668036909192390911896745012154155738838169127193813637709297365466078443023598247100866052691887427864793345977910731483756000058064278527349945885126095026324962852526252602229668785125474747270935598153365952213609181421730924392528322587836607360442454919451096695025231254279145966971832739596849867624330100334075341356166721003093856625992767965756165993876257019777157984561679641383462293570776821584410263017931821457652855414526324879896392539366851228031368805796537127242576102069630963648532663649373567834780689221436118565306858383836812072095231058499847959993265286708298592588481477851344403549781354066932406048194400563219152879487213492892584499477015453326017638633338216984017682629576402607257390595928623555585467492516803348833505351253926195737871856142499353762269577680405835351993975656409629679699580389983166682566848292362344907005900050298476704898732671391124445381568150159517958721113841372567689876912530125208443307119297211232416386816644546520276168206605421827747916921829428694068835726155830539917199055488273729738533240005422449767168487870549133160842662874770808048517657153558530205680043694115585646025097933894772076212472740402752146327010467704991102158823667467634741955676385535638385802973473356196286490004116981536341091769099833363879159955728105284822166094659175021690608338435258741321394390971397924738975472057744885278887664439063535390121246501470754290581453798962371093098800657788444266820784194530737631203476014394747647193883681053149972075638901537407760012750689241250746081254087190942648592261102352780280233945985099924045048616312422688946721689050713885149076335390448872037996336667699709879921270373231561086413532923994584519238356489831503869776093079378208117257725506408492384129770957205160176215922175974497767676129117655909794817254220420852811986908450213058311734256323592093130118558446618024506280035279452663422233776602075888033210900151218662953935647818191917250540574827194745035030055133023820791799136806768078618077762952638479207380837751178145039550099061109392230287188551044509220595076815600478416851174849025760487666966169427647577602467143211027282102381551968664780528868803022241300149840118815744653165331793967955768762727271049309879269389247917751361039291589981036335585702386983101209881872149663949455626754427545274180594797725707244321472731482091062900959645361965989170888281826759800993199402399848022524442165007743079749887284483976086713204426329633977408704004031934026086187770535717034140524300792535796905722742160453537698346206310209790016521572215821586052677377146974176879811291127934509467276903205056685097572641250849808510102791565672215788634330828372469020858128513527995573372263718985247742926803022329465088679484098280561507479992754045838107623666918207109069131683474577156459889826354053624021662557997094426603957266666837210191571961275886654601265914095351271264301049380664824947783915264568477527105146807704105261992609240080723385770707735019691906514431695743757916458455609492596852550846174418308922030254337117258759611388615746959228898668306159375381259317860926300664468543165784568435523298418669509355120584368762729228000993703810570027642185702439919041895919886170210872013327028197787988241313262807952750267733427426272625257783611639209752694428938970437684597422739969847023708430998587459851078839707935447600764775176630662998094402211999756426209653200178466696905427129087046756293201436515304464376893769240732357620729579420228672659071910530556628623959855907670453240461971359226978628787136653285794095097807080445564750365194376567248486948670958045982635569967573220105474174241538764198124081166200215584173481341797907025915770641480228935220071900354490272142544441183086529418090684077846939456994126979145486706387519783791173922765131707257119603959923578936358929266103866331554847985452398572458387344425573207155994196300391695559836080256932585932879317724074427528631934141752871859802480916001392204580226359921855492453687676764259246889994885833449536851664583385615696537839853965738199971309406289127312454701381220478643769366401896459870026564636959304946980082756219565134490504059147832438338448029071890724841389617757439179856592798796490391341566050204969233485229030317386003856587938823189765504562461068073239059928586397077579687915357677177634379461531748045514674319808006995598640234089601745599401435081915891492587820870696909107760093365094659071667247541337855231900276001463788193401536376153555694422409273063522650441359088759699514800802394329490663318658215087785434374436445208744821717485709872490681967858856318612058205728707388567245537274024613591572868531524098521050338763776782633
g=20
contribution table:{0, 1, 10, 16, 29, 36, 39, 44, 59, 44, 39, 36, 29, 16, 10, 1, 0}
*** a(t,u0,r):
13855
0
*** a(t,u0+1l^(t-1),r):
14014
6
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Tue 2 Apr 2024 02:21:02
end  =Tue 2 Apr 2024 03:45:59
elapsed(sec)=5096.852456