n89-L7-f15593-r17-t15592-ver3.3b.txt
p=7314050331736205667202287313362884715525619524403109013108987737384738193492152132398221228354037851921168064829334062211804867441876023283398379224822339891441933926933761280314052530275081450044580830555330306086588013757265566044900670093428669420060534305947654797275206419245858436074083526291928037995270665162084328649550632132493563676304107886701654726136481480520365103333804992929707939260776366641602175727100362349341699108722199860374510132753223470130819707133178106589298657658756534665456615672892601616431888844000345800885549267440932748262859372320072273269855456960978332325585118181678554971815022322437036638166675052708251680350199974865523169444057380314123529691418292432908185925989059181604070164829024061534464506889700082543041164588115072237169457215780535602108502220572645996841920721702992608996302389217798840751306679029850761549324814758438199241552718274874916599750961407758856994325659017100723202199067447243113250804171184171510811729005067105271780720688490678270357480266402684261454866793423471034102175281970794367775302045064176411335530079577914861805048438251524967077601453938712761407822719949311376839204036283206456372738160077024396647820513240253695449270836389842728291672125699474898959411687144506205371958911461463385627592384129469479873301634248328180969478188939922618269835545398480674526168400824467759002331816779722806190286266771095421713175883286323569553395746249431155795914852931273607908048293979101104560063796650579494011625484033247705663111568679016422401779405743015148661215165992982045099677535112530891366893281970801899939454693525392893327893705677383810765999812248536183330028454404343967887206982354931725941127927537989159646967350378579843055245549098191322034586035960429998167217786654162227489322112408606179633225245057288602084702598976053770235886138147211240438861551438568508274566304248069586341136819158596169163986515686400908208775167471500445755954502263223625712353574680886343109584317089488970005043187550167227842740151750286965952632152200659149771343048307175679426797940037408864776461430943008754770796720701415734050237854218175595900820953952417560648454845016905454283760754046984173385996355146147855483358053282894041099105608321618123056190851786365942250148568685051054303364433138149100263631280805825469808474592083243769005635774291307101396954829013749026169638542527894676631637768562064617309200256902706235615044323703146666814288807907274730990639401121780006114772827578258044753084028068859527108801496009476528139445440005667088705747184082408974514401978081625140836692988069600171926484919656304516756439934647740037951810081891515044534216374909554405094031248691141920667575296055320822252278901251679757097271775032621160192830110501104078079454103354783553146305402924054158515494681555837822196599824427258314069104626330578044915603837641763745500013961956805372248704676662189526366371388648949432509748382496725507491196517080407248810242844907652752759073516805494552969557522861038185703453497691977283036664456882718462106384647934356095252809760405784555631120713202182086520595593938856235613821456868838881194634477535510814846093454447978799126711034012907739708765700247108210896983022253488453514862621958150792534656107277003763287548805422616536819080271929821614455268269747728233605040979378409418499779671732464652931383310794451856185291029263648395643667024357776397828523682389406437994499864301457460062721633921490839706564326145202807211042005642887584171564217092788239214907226050832306382616804334034247354069825277854823589282008624925755411242409267169872564463064266353988678583757271128219238337048762986096886944720090307179608868160476470756579755352705250116616314850924245923904588718302451838275259514597798383574007475911465210840828756354154226770776125549118419526925941194030678869013905465871182743417979814293410885813647275549737843893721046157472941009725254101070007058105068465478224297558821703695359182911914755761469259661987160092802452979874998394674369722336849681622769838998853208776704701920306554838690845461289460886074931493040058927077005468525728565898436578909068283514900822348798514431015599839582824532164488700490406042201158570611561609261865322987157806050252251851223088941101266303261043286350288393067592137701414767606163761093557352876298362746630774156556737150423511095791028649589274514890352662811187609600418926839328921123564885933557123535252400760445414426541238334997968728555292100194191362761742825503553728560875065920770377782762175535072168908687008271148636158613319757464487074926229163484665146870366597523812388752175851377632788303541054038766000257040454016090492340211167662381352683858210508742566333714898459790999601687414693379106533434297186561214502470385168292295954145360646595891103582168000479341068515491457506566370010548196354631269101405724361980579449191485837035976368719461078130857070344803176053206478800192709759197851057308872585118012096043711911083345259788419068053118344051962162021487475200237263631015016090397547073496139747084268533303489970658960033866495845327120028940808315640475111842888527433681301960517251770287356383530511226527817697227822344591947591285625217596543744885152983206704600034160017811975818657517831590398797488447580974711851577820607108076514486715107685448784128497915615088782690729197790023666310153644060871630327603326327838299149900685617185255307880823730869762394256444247410142385055922091938541296290725151846281135003856201785722746201084313500841969721055890891362809720230479895166864618197750566703785160231798213419101873708701958425822938002183791259977366097670149488686215873947081265616319251001281351065238108042378809024150047673629458182809502581694090715646680233393497785447308215961944380532019713487839732083563621922435688162074073676950369938242345116701686556165134211006894237624465164226575839886107383861177116861672614394646426368529167905652590112123167038731003898459093170600065982873623229972739176886579327225580871466953078520497466311216085168240343986958504692429664953864457771422527959022934758988910017104637805096647508357159514557579508177222353776687730355793923903082724673550000319055397190026453874581883240237418798115716751441465960110162776361997212922684271097900073943231987225261577469113607970146651626797035122722720980073085061543148966176960871213872583850352068026799104859537992625517119310852545440628324649868259594159902179644859388203986611475111351606364378551863147959118495161321621467075753601773896708233789214151256418060117248329474542063999130312856337904533694381542049245147953626430490918711700854199471995093175919999056374332272002619365763650105775591015921654566178862385401635808371860594240761248884527779964982028397467626916250097315569478073229366085313231764032628716918086991510592580424433467780905135102681770937582371312815411507726582458665427948955133130890123229218454400259628676052411581634929400120271954364423582965803491452198710657651381360669182731694031490479718005195841471053008449656321485439758258254687463437469771468779711260907933942025514672155892213452409880786491946914654532129692129465314082135054190287617250753584977826438486842244921230030420453943007395332181820180344100130456628221106344429435796421382161351852109596450504615202102425758896945815270729873873067714570351146835075145193370215098409446240908873405863444513107742658731356468632136212272427756053518237661665183958884290109041579901208321518736320841727641603999128090143674145699816042350682292833931359412513987227622779754118689716800366931140590426720503840138177276802393071114195203101300688881098617001890162602863013689010598852448089644094032118415036499674658262344832254756066363644296973687326250243706097864132553753957493391588636277264857275016066346929284818275601062071060772921178627312587109313593368471357585660255646404643385717403395424035903080435843086196996969685362570447440138720482579904354979094676700958713917665913689031392974062848671028282984281218897683921535141020327585165555097274148296954933437802722280900082042823838376310684819585303779221453980775745055882500195718077445033175895310859665581406976192231508774656210479984061155700254646412017872607994608471009560282135036831255077316886758999523918442399880288939730818404943232234648676980719967288522413476507418820569656157354480859824445483291099914573999233366937746806539281472918422033886552507398477690787865399197695807736114019886050829923931313168811741452377094123509474153990207473415717902528961494296677956210854220423082254042563412913015731640239162132872291033721009586118220119040762343176792055485645337994024472205760143185817592611199450646872209726178960075393497037186642232211639995372365677165274294889960798212690864816572664138754854574781090430054681497162544131839195080621121059267390551122107666113946238879072227516583342229203347250981709141426148662408012489684495185083955035787451333445673167820153326726837136703207978630437461677320387461615239208079554962373396286903003858192261517532963532632065397575304649971327646075660584077658023162326253045552599340402787068835867628550027055120626063121000857204491477795479614455328080413765544645458723087056026000890661342796183677688092382568893485308714171906476648845242091926555840530240188219021237573120516130576521326170779399099572896696739184451270780732890349024014613301658956604134309617722503976301972900070789432571181364010941629242394124680432177180054185690004452337319633794321896763828907656536012092195003311634470530040866489258625058202028479949639851140135354990423753550148209238818721051536493290125846465696018406749709989370697027287897459966342845822566678134040496090474461528035647189190779581515042961416975069775793736773291834190887309861921753084791347598003936451903734613131473870806487243020496561465536763545946440269055955172133170576806312484312269306851040970908281345156385990356192978461875242644793779589274200640833930154248899866697917639497440540724588531498961430223235967911715248616852993181032583710323729981307468747179724162846113068637467039604804610311880710131272269411021506676359804961411526220166705237824493908931559015766495432906055831952193101666835549455566294286904692399889657136306250605547073627084920180946070855245221062400292795910990600228710771572168112518276756142165905683421808983095685101070386287004049975034996886813065926220012606476468309105378536936306608504054943004273078021076356881444275066057320279758074588676424476835527916521837113323605487312717274925295737568422814265277752324987860552634323182996874700197676181566752351148607380288114636517626242866462706625265055156090472857668390866737943314204851486738143123137748169641264147350244194022047751600121106217673314109353971170279156737359008077155827452252293064603672683108852015545409405500818865612775869203025895813648756161906077116752870569417128960662474066237863860581524214086066154674063753228799336668356291668941569599466637174256925879017225643568182789168949037595530168374331193171615051414168981350682808256564291479591998554945925980566833679023525766345441663184083264943585780648949496632950202972738669579620862860359365224822707426007003618186139137554891802149869445485936647520872632272946627538826340337519426547153636192754796251733022616191027854559603037765702974189675767637149728099908358079393656076039531176040632528822592617964419774089572153940794152248619779469572860356071888488717501589387621760544076446885329001758364715337802901579662113372494075579089581610512626350044761770048788047650408835259797514352297809122400350545065593626191838329192710248497582158191844022121032572449296426177943258588135503067995964029411810595763322557973446213315933791727544544010719454738152947628790529005950696964336458755759195048704945882135010445850440277529278079188975060250787516225593430412412861826670966090140004925396536606959992924337600067685039304145637218625032896940853611405254199650211202713209857290001538316733616621808496706992894186429996375719037869303984486861629537266312773385641391987523414061518781108073192577770104594667203892074687237488966154247439423262425466837779708781387422315029146478744454159764893920416316600213622487276869554922278300814178338756373467224880278102075643227757288626057609418185949963181062743721782985044849042908843286387756834555555978043919892907692282794754503984746586272148587438023692428187282827944284783665432976031999792139072872103353635908496863560735761877704476367158035595532840853684994863803489021268661855640357223397116906746609854344358737237637334750081165290281823265986578176474211992021233622875907830094728323153007111457534243836303308173897400208749269772445264181073197207385907604381026522438635294911422552894290895947345406279198317706904902778020681144990831002469910009030343588698054796075463596947899162665830367055137073634818509549054222939332740324434556305530393696700213610549557199422466477848985990603489851278715456412966035922635717009820013746298985996869806372434836745828636892916164768398601918198236502063962240170294986800146150133442860500845411460447
g=5
contribution table:{0, 1, 10, 16, 29, 36, 39, 44, 59, 44, 39, 36, 29, 16, 10, 1, 0}
*** a(t,u0,r):
15076
14
*** a(t,u0+1l^(t-1),r):
14985
8
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Mon 3 Mar 2025 01:36:18
end  =Mon 3 Mar 2025 05:34:50
elapsed(sec)=14311.747375