n32-L7-f21358-r17-t21356-ver3.3b.txt
p=2571097810256260333942667500225398356099516251088309606111986375835693536729866623350416773720880422344542976409972810106309588282816388534065325146607159202513083092870488822390989991396739371059119572899921213835388924434727166325480417852304389439080778357755333096473543094737389987155526293943542086351850176037751723729865508294302030307506542487134393630247643159254303707626240471110987500193572866844370964818888137010576790933687744475603045915807276741262240893180995608568237275142608194235793146374982061419455662143576156634408267483288681079889855705413600112775617161650011332338909485876906136808332054292528647116166055029151829741816843582231214837086005096650040894608414355871430288538512440961733571965609322570639682875820053143118422800835356617060340079368497563633861450879851481665348161188235942611395382123866991291818502440377421471181929408261734138791769736839488238897977795270369577145265511963930243286126037877119133799193231340933396694448779787906294515135514428508328706043484355415334477413601992907453469505252791144869722785835621140716255800278311849282029963779816132151183866509278699622901981075406823784340043024540577264032835021952233336071100866890317133646791655744121992035349840423993036885052982867788632671656939230008917287178983509863130168282113494251661706529934466839279278080031604743292413159990622819611919819367684081658360863608662554010583058926044212926875761570416010046771512638099723739756924549776755997290630244177944509819562027788061575107059389544806605492099151867384212199280508902125471640253820049237723979798815461443450551746204911949918714577127321163922511769013946241638589514102707241829987921227820068926908656300336507117981546006132088031234054979832313969015975759904138006236845112942494968066283803610084490445564327249187092365656490403124945873891654840608902330639249624635629967664194781513104868427802099879869638265006970154136027856867884485996060566611676535593168633034239902295226891258228541828130551052744145618668401544116378093913092482814061580315626902724702896872302816747638191942371996577007718892913116194919676231375650849040687443380024123502708768449326036445085375378241081007877103552081089680314835598925208516172792072572275609714098123933767266852277886006260710815090327263493935466690161671434195478949077321357262729538648946751742137761467027512680321210421570430483129020513857631039926290090227952977364403756977663487334431428255896159066369361130585459008056108104480405174297986430907692635884709452462378413770912785971553635871779721500428536804126630249427981110477997411359471321491319525372433925689197373930381548290778755899554600869737459094589410250588275290616207375640503512006542508219798506986704838315216597798832282204835224386756783891624750626758356335896355007679758990507180443543681510928499600289516191430442965160012828099235502277982956647157214967385216313250188295657230170214009174250822193938638217671479086292893967979317543787001360424966953632943801833012192404739648486698072075661761916895548791416555295735753214341970156320390018351494091875541675671541264091482166174067349028261564773899938396555774991258437902959677677965853725395992724263244560998945021464100476427732792868358072299818052702531216946672878138783588817139446385913985309518614006918378145805828636590682124953957327236042481021545631252417310649619618540746399287887801854713550217924267059116799717623255959146464333423944750867656940207226672877871218204163017986728706681678186421847393332959097997618017376620638901883579054919552040379167359134864301829975389402635456071545608214976098742636858496518410685032010142909223173734764279985838379544649837958675075453870548028589869217500858289826995700603087991223118915660433270605926536190041090228347263229926459570250642284612774094915662618540454047109775367644460399506383653017760095289509715784383858230647767818077491868071367321296119825721627876891253976410997136012874354106140873819808954129782188147962774109092648961705356711545482099958019687461468846890906811624849964930461016505299204468008615319291937627334114912161327305678608002704533976339264348440480976182296606302534956685031222833555192436911077624288433792917274860727352745482461495041276822505751486803058799940662653137484770949134501103848838330888056748520656223326741929998966009827109292702531924193391875110342002556017528072435026481498809105235824454527312963733842572075511756566502632345060203632556142303501720842676913878188347895889397861356017758399522747402004612174938949173781068799164479916466344175486765904052848275346599101654820240396436714665485609604969830598633157967599824659885258841168517913422640902842330788232355691639065075529613949895146387319615461693175036060505382998295123097964484539497810035485902834115588428985071852966957923932629965985021318677270021561002478302776982370550848383463471770821820031015354395356703967266712277463173149424580001659276996031118637661045498821714202456279965552386514813324993940495334348999689980549041637232442478784237994573631714063785200229823622166766674372621363424977919243253638937037726001411760650768524660217002201497110712884493069625847878748772585350615849048517383674283075337441207366996027467218544913572531946675064207545238086598076562681889561528126432965095254001444072455340697815176474899945229041649305095012836661319288043111217429874578488469488969596317912506769071695004118077288120397766117349049839099771529370629003926852927936461406159082503035488027031446672749764418308855865661899029330403090133685040019932946822950400104540008455856772089080643815233070768353230579751857884947091272820724274777642631217579360006565169545423180813964186882871566855406886453247157548826647650239657886904672856564643030688237393530822480026290484330127179056387138299849134650464027654612149113470280967056864713705769096178510144751394244191044624288303214947845567182892848480051687373069473325374058335108698549030363833832550352409238696901605515386520833293661894092752228791184576948148413660641896413579319798196236564028278267601556384320423642142901752998009921747813873511415282459171923523420159189474051949969765289448256344980766839034926042809639251211909347945035620160120599294094869864858235615097378042059343045547557238818848208719555451047389542186744250046668643503466370768226179641308655714888389376006119176773552051026256396113305444849474879248622459428883450974635274384305219167988959111825155861120029963599568068599155722537001020327633960884890700787911503443992550184451997042648490771416248947509834717228863520554672177356261849794759459818260758925135803699359728346180321280863441377664166089537986092965029359291136770603169044492529279455606277549586574479096128526492691095126841489055959491571764749661045987087194813456018241773063274401458504904539102350203510358346828625041744521706253204176401032650661517478870822877630177082411443219275253798845027268909692621071728628073064451156784340575572071602218455684215451494324583085798859654250616519156218427587047167108380044991785361099612647168411574817951619493057224037583873622630653953877946764823553198845201613228890635609708723485368859721953008667405412472796139747371679331250151722978757472550317062527321064296230958154318836203500242693788367440419217446752733522142531329192034028212995330935943018265166778363159585000486439594932537378648613029318544977810142890713542592985189374691901477551294838465690515113159216693143218724262561596664202892880037808973533788538992636147978911262575981899456052702709714487768104803309425102715526597463482119202028899680670243903073492224118495385541922552646848070569032378051158182520030727523862873734200431030710199581140561259323124731726664354526868612772937275220032926159209562799309005190972920792210377093562082182419828733792555703804260563350008647019478449506711921054578929735152143824594801734785597876219340065407286654981157682879170280462324160786870403735416059751809895019873004674197630251842801874756657706693717075614169775158219716442023357981456776893552139707038566291214844103436524076512098221214379311974304404396913345875393198159643278504272960223549810060955221594587675806217636679719998604955074315176444920286074608250147300468526338657661854739988573009863611671897392006993576232247576084024691757527225581200539975395330929230341678616179905686127791711557882035680149433531849272810903092613801303261032440486998229052443644466755971959913612392746528000764063205946714796727216914066571144504001757803184794019984728048623851658687574834956636892151457283999062752389896709039152777078916453287006873214733351493988204470101028962526294227406443422541677241637042246469677902251220359553313264805710039658930297402600855650593691657935389698771040186623149871549309119004919372010015989286058859557923845472535476664050470609604905694243719435938879146464298690356024462770087419565124813138310382992571705979280194414351359437565851882827920431774012791977108767910781858454589757104494160595411819036830543827116355376946269527036952538150983912818917947249466383299688617724613747306143002324934656563939556659582929078582155062453267618789896639670713579102697647998612036276612199233728394138436363626222286621830621422432476815708308465424748340281139789024634374406785704157331464779355770244790489256580943279841129409176745560164593846800024639449620314910577298940056587906120376786781233432742256894824841314507282655582882670093657145051299784010637943470280239715210321664175746546115783714148903575791718485897602741172162616879969805296962274868863097424365615310379885785157716801781536142521659206464701713703717027631513980987698209347203455790118100314824440464177074042488083588358185735584216419305915310637531355723085882795433790042368230353568251389206540877810006240350210259586382775656087270481577549650274516705769242825801911467505381405552551420904588718360588904272114811162854063258501899877646001699270410607751385420810540373726968498583505772157136037760714787200659470403425333052065895587184352262180712117282932643438690301717370354497480333334296896481250311273633954601052635897477732081201028158476285429541992450390942525019328261423498009886967662631052776497304234176230907412571290312996107775484468924480423020943388074851898958936758091538925922575838591052160019415286500895246166404679037230831149125217905659444267378518988625764426615916041754175079101078256107618667862561611036395696258759073844871834591539166308399608000193598975390220561535854628184735248963312973996074789149837284338264634760949108472653671919730029567105420425905824371952919765790820623540709173843766622634281446761315913790752278958253725510735282407883188492688721982153604792688343705795767820844016558911153886702291197898684642666531674743762715350972822459553291032731084718727351805048603431081609765325130478014085000813543649369962927526193372140589246693325996674026401765318924401077799044741359387324004454381545889819696036924607829555112227224886821632856522264953477060049164247253350260554209332168924183425354562173906023378185632432548546181446200081979794944638567663840467293961612168715050268867367315989441080120314225997611527722857413445748985981983000850842141066143117751847631986228297573689916414653790314333329478239673821353599437302009912302292164036387086632199136473533181890457957837143094423594826515172965869750166931000548028679325204875877143622831891359138613874590685566871621886397095441640153279786450785291013599476952083939471828655391888076852494625870116104762344772185190664134053896039954196045128434139659220184988586844493374379631973571161849512061000204088207128512466859488865334884169196752245687925883471298343107027675140985544934626458274807688376120543211785248910542818728046399293659848731164229977382182773112740110907647089288289471823784810678940634774203014777373431570391015078654529800905691637773491066838658248764427331411500744337325248396208718086841729683313164981474742337291657982292865549880312704604014908513112590577720036474470480779689454698289633217048213737834362729462932054627361952352718538328473285425464482271089268941066959839029067681612564899002974280515061839716889082518870045808325604583191836416539679002186834504908395228034964667420132744050985794061599329949854424166613144021664945657289573928500424055134440673474581544357715278790275301863308832586729503943391005000429965553880361732398764643172187988481752465337737753320663147504438653075252448367366573028955337376060523959213767557163620359903137235517514938083704393301215840249635444206307915395876039879643526593018804626522456015782130002073319146525431792166532229255361443715947823214220631002920659106411668012895629533603862386223076519016466588736624168128882312008805257724411713161541463225605649928698557089476456855208564184486358176390245996094055647176178456585739638321548814139510961492743667719691952803649830102707931093241618951259146710728921254482811853117061781750329106752354667956433068718399066087217933585436005771330086042181699517918272663209217053819480255178800556589217072720126367076527026512952358545983878813695262919931734207133130514655767033736846547855756520449603643926549390478115402090538793512633278545878605820967868689106623830979863135778731193394090147773173719917247788126157274363752160383149131220149599723640964301869401187018994925694414809924844485117481700577578231336814362103639003935381667695615216067294743764697010100611300607770935908946130191575263468451347459479665703222742177977684768636406369082036691688766391534225640246255806466825637351571283143493384854594023970434840581726986661931616778502939478120499228533114007505239267621367312210975163531172154100868958952336852963666527344687657015561263751571682990703814161634348925092285220101708760939634762165115805385692105308840573475908457897047215731947606575923830279125288909602797829532141358590386365964395342408205464183500768659356392590444566767577733488938057136406586845277723258530902620149006855174855626528413939429908671106721672435832711221653273417037566287324746159408454641071946648846462223911041479199700010866043001312706239566863312779649986046228631996880422415514748450833831917991646811418680975993915688241889256084536730346064090248132063531834270362452308593882279134464395146085075407520059381710426150004753831827066192797520604048106875504279204591211089194669537812876639659441396586100972199649783802876898191650201144596165830761493964202978784207152134632902770767773414218585216641358359169349714965168316463390865022646137089786085860579797226381197508922602528826927035352811670800477129744540139521157979658978656906130022843173801331522994826196046141411775106220788285499116814251149100018091651063041141393305756953407478201858223388799040089924782925226640624376836568861935175297310233760967726581681624722447447787017272587460569144230474398241079754234535912136277234468201076787294186286037974206593607803833734300450763291405302417918196048351738323811406656974687482305557129614233550972763784645441083248397997547402502279579911232393736250444598441569430742393756857062433114867296830309168447978176157742284786194310866484846657762068978637440498316065901029332445946463746473191735273140589611605570049927551274751038525270427867320491534558555008437517387863183554940782416734936196196322355093935884696838095211994613477400862151535568004048286024701116567418831381373098390750365705017606831881426161915965354805025152207598975178976472952873649151889310735375524352679872686761723738673633153784792971895309430640557899611602899766774340522732925181210654924867781379433134661103920294086187670247814080628915844653342596241576418759741282983496030558172575696076505998987339160473376344449869975631695666113974742388234458944272603673516535350881558346276493049505705570580251186490371174925810920608806852589505613208288216690662832737801489611386317871638911866743061478172218687331214331929335049251465619394581375004995860255338640477054504914687708113244334755945573066933207085464760629700297961388245336735086214856118453993957764002056646760204292658934021092007758746306422952764422657345494932770417192504347900605078842379026539615652140306742299883973449823850614717396845145331923083326288761576304237704826587395557166234557731888240178715789505327343094636721565706314437696442663923978574235572009366741025727124287653914912478024437831623556507931678296598290575272535058087916776972659175088521343931762949092968260514250707434290071814391533662175342964497167288159133440350048200272496716061747652545106363246769458244505616348358205457073153542664521803128433365940379327836615531404138989679484632876231587596743027012610484441985760152910197320493880766173848962088011721798252281650324639850715399514714536049746966542540831097857650443405442126330797489190926557057064558435670672788506459105129719484854289842143700542225732328171307434391641086520992997953767459253998148942918351540339650840631644977323412033969371058698137818763755137136239923255060826164252093058787519796303526366577771359357208416334518662416399930967738431136182761989887569467341574368425998527171733525130659207855023594074817048834473314036932891020110296524094047869061913272955278990869262328114221059849085346384162745796806354011099787613751197705100744598951188607511317272435136168438856740698711361612675254144475314014369112175531148977460792702986957038585405817448182739734933448636090024811986162461460880503654938395958704937030853593710830051379677860946204166819749926597911637657031828051731519362685604211498834569534884259245254545647648703720242363918766542550442954558792549816264825559169842467786972580744916838770158869821505753903943496168686828217032911886393135227804789148714773217191883418249891142664054736364317577778356680945231569586514732296199892193367401153464874833981909936208246392493136734584351044341297380515004672670758572922125944721219338793395142428120113296750330959793076542978310637212737
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):
37756
16
*** a(t,u0+1l^(t-1),r):
37290
9
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Tue 6 Aug 2024 11:01:50
end  =Wed 7 Aug 2024 03:45:36
elapsed(sec)=60226.207606