n32-L7-f9703-r17-t9701-ver3.3b.txt
p=620100715303296360766232981216389307964502617313493680245685490299165801464127991079357464156098128527385111560678630434059500050347511295528134176255015493317516990564263504436053211946628476418153459515942344280455914081514613712254822995133547609660502340820218262199306739695897616352234109463654924974610813817936093516901063552742597567159565363291885774344877836288027308751254188328799030201794419509191376221018553697887795054993235248783847321111311515730649201155387602452015037440638196169159385671493918713735202848397681919622238168332965810942678085549506142085986936250171055441720511939675346937146465696149357229156107924973429771976453915812946758631957459774943659954037136735751596444949002239251684060728862060043817157503401813501164122171734331461018018466494269919858360435684301780826701454795931714360718108240800832775965292213574762483000627888403387060498924026686189424325594006315591649217027871025917112902940140763478557604165347552377804532190354630963273722855296409877239574835101266757491848147792937894561086705045727620951308746913254009410053077778214329738475095873401638747291083410805823255372178885991438162541212801918244331574646360349118815959282704441249072884163782261628419922699044555520081082367535969052435572288155412230799857352828428357230092468272495123318553312035953825202222299395497445369644360326567933479048216985323467045557069456568462670777971584155007247512906671952792093277638359965763490454137984714786727403520536719634923748599586955203416160508200846739630724278453889053899251685289402877822273522409011648924873551722183187567122493266285298592334745968559762902760307070010257840767597557242177530719849968338564077246719907572309729196085995969172909448445942505934962452714479326880408662890337820280873233130797602742482715964653966337367112110364243947708070011077407451791526377434707028674187093862036312375731369618614777445696769482392762258129390685819684952039192260540852508420775770522903472370355725586859045730111022532325427871179616579357483936306886766984442441008440758184473028955041658150447670821301428425973790596315551010593093473281249665715079509773417220283602701058799438063386718653010975985290720214484527008407096257257130460925491781732768081178981128223093365014219932934720121724483832406751577538351780647718685211952252435560342812491708071515240255018278536390681503399420154126305892661488856638951433781070328481096699546057581835278290425680205092969401782234005454279373464020363351571525908019742393375328864471720847763590219954536950481427946560827053684339313420678041174162217089212604401759913621938888570204816749871628285013979112541835184575556902913301427538665474391507944332201219524142740125262890947329137031852489036175620230113203190328953618122768112933353118597532607100998243824342852868096670373649361856952160962526345804100702539740229558802708861287352760851301911417348515473168333064762384712040436133000774546969748968695784921225946542161437870435501174667879090485061416743837078706322022549900381701700431087714412032485117258561530917691586909780232726256285912486887973841897808469522375852027373839359189482599927736951192409861784534604509221632512424939716249972911113004551714783303963795347959898146593485573927044313398847829374183730719941591458419972256623873058019905894782649390692540760259067732225197659744733666124657038470694421451289894542720948355674252905496187098567319500718822247098070947925256243048743595627193778573936556208784275666671042046791691456213489961408401827992635833192671587019003613604357377029811899398696072675752096106048959367170108774475865713597734781981297114536239403382436355629178042033310581489103604786185556223065954998767154295610314753331723077887092862713099047891789767614522035531673060618820532668261061124564279748198510743396953415478475074634064856049900911494021479121991820738684056029304669690789284775760828674752784528768745275136766515146749402482142909197567307244458450581750443421109944060505214155208930546324003949024105340174993552821387436420015407959123596169460572324852465557830233085589032610012238929262116437937343378046806214132557361436091552628767193306606060102120404461969787731215152765193758243153579411731000139450410655455557259263865450768932417802040445407585808354504773893396476111543233504873305626340480408241445504713111986518374632282411218871374690243690346544649111997031515429568557526554860955807351727698480756963795594266514926633440951443458196071425402851091237538647852420065870143470127146933709349530862526135619188476076069551238893048683496951574242797100431457408726422777377881479336098910750928695835601594044134999872863000745849712241243649982326415570324959185971689146267774757112581922484521204239772430432014288817130793909348692425956285999494047103596221174393970588829104919026291635773186677895016712317849913055543357619416290752351572354440557525545895466439778341758616862559255312081655551483377213470756306896153396105709431353120125899204155519617022847064310751780220942440690963893547718542430301436136744963605831315156226718016431895717724934683384938519220918087315033901715301764109867425337685440708468873187387546373210228162091605090818840198015496295535443166812717236080210144417532054712336879590644139685913346481258334564355737889928821358836493916750675063552876716776802526036786299715074315290982208110876137592401384166162939936236315049724110008637740481688028529813807043243190485055386417491266987629404726905675801717559585412935159571408892517819384362640721923584112985072538898818572679291687417794153534727592825180371469659544765459519272965972865163320054450165502991888231359749537102054160564929659534187973412653364842746451506350039843746302576120782483661396253621440140690868247530305246046184731130540891016989975603826238437137076970564249356758335800958729915131977915563471017891445409287540142292852069941536219660701029551631612196506804626756562993886204422868353940174734004086943906881712952958812285876051291991387851397991473564067213014892204015717932029074457576314990406226817185318292728176616521308382375302379942690475605858309318440045369172372125245190846986434037563837499372848657042651067130457912082628667068901783743238942588301477138207739287973274530947584926213029239894162249270316768813528044906098787708347372941572064918540577112984484751494767383752795932191241773028632560252783576222912766406565235330551107865317782149733901815599521081542767389426605131880668034393419322224006926227531294770238608892710239868871887811860077383854093597062964209016670302879254112143681332594594905810876425646957890140139100457443063411159049845646057110509360720183306765644289097129657450666023090202768913802489194033795087974387146932068035687102759339138445824631308271623877477702323122266404360053425163679332523506373796417257399364633032586325613440344343763370956807432840575693550720192745005027781332237119256946109831857096782989441493483222628356065659862864552850350365502203624189538281374015017485770615252883972987858398279286245697641850390898930631210117848914368175559912016556237988447986860985392786989519133438910395730306458839871063274117369814441776808459397207284264463511332233175286433268995943025225460016803203756105460391760120626534834690668109438721841637151860401860600813925274601189143065733708951637224909426620564838950243610280356257596549042920966351205872145832507266481606140785799051410704389795027401853143345051284475439133849103084315217546447270542627856075336141489044560413793894857296248706432819846028261097969969450612946312148659334524297349653329561891394328891731345533123991192363329312067044622240857388107940822772457507242132811476240096607201783120693847432591608650419413181201416429949420374152476815123952069905051147427434047668101112320964654230453149823305650731415960574672435788173978876941065706542707866499220928787165678218164785696055667815270482791900883537020977209884395783205125111438120144531291812664187289808313600343192768116848010317815434577894624284089262119337124964742530884862627062049693001161708418439790665049958234028103503298441868696593326369481393382434058105657109906192661953
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):
37942
15
*** a(t,u0+1l^(t-1),r):
38506
1
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Sun 12 May 2024 00:41:45
end  =Sun 12 May 2024 03:43:12
elapsed(sec)=10887.227049