n72-L5-f16388-r47-t16386-ver3.3b.txt
p=756473207200221038909102508897394335584567852590456029024486126706967107362914017584695858932137650144062929000485281476095275081138727581668186193917892139062513438084124681899251260940466709770331217007468461184119859756136656364556022971849743215420547419720557017937882933300605203432171878329609070197315733317656530079137994009740219169905790441546201365584690704444120190874358927695486978326656310665034422712956298642239696534771208382189319482157881403026093380528087021116507396252555708930731446397397140203948215859356169523810362949160818913166134127231464429872727622689733970477321551663984087804224954270111000096828372888371334273042177248664977877835727418176815214675863812022190187796781485746176441972385442148155153204102283638265639710267871097584429940682934020758739068338720958065405559643231637314950284267889916977640395219388994307169928697878032104639928020152807271143236775963523569796075027826441116678705473870558846229714523425609572733956548141324263786854560498881051785758164375063727982192122799150249237701345055819833932149802996932003366912585671326836220975275240042595106859550226029918257204595207078226794903855737768638852993957569030026504322430497393350805180855272329837715454459392767865123659694836593494887525022404993065954789948851647841794209658120026378177715593080317264088512749470267228680213908124864022159755460672564329896428861464449142391962723630083500934311155609291142203310036039734567004020327378072664804334173824562606135547901329171159118725905226600783394228287311853704429737589706179057016357877586506453643227431094138050863994208180973962154384788476127793695315023135871669573775488744164608945393294163309130439644616849054298517095340593259498264068630657642545961535513901999591725700805674427343406538705983663168476485368561786816637034728694777308313786696563417952155094514414768871910691748638883767954426726281603608995836595858508135909572533947288426474375547795834609745485355188773683232625123229825335444717362305045325876229262912805219354414897579985396255823066931280920025897475006185836172804107720720554489831837690312079139396503304864622457944525074037996322631650214929276870259619439743501251428884039746989515772039395882865915983199221622075816892374290244543545828646524936822415292616019626282839908702258494502236570362259717431045165825103975169516758549334407424288092071863633495541063288073402221215568334610552263447741093443114339628983728416227399218975685595275366597057134017251158139678868297239126173581419136171038302533364565139373596986842182888848712016129566100863925533004537764395453407360886544801608463413751904372951997440006176310865251786877295832504201594973448797489281863098452338721973371591670127571789203974467616300645368431505140193952030589260602386470706139477574472920784658792154949733379837213358511174822270645174112188346653742813177046914408483257527090713860391412326659159233265088850775441066025519530955413203524286590036864191266770041773475024304346758187741493024475368364607883462107696855751922423757516617145371509396311096573416788877187315728583526489027930393925972132177870156116532984531467979483330281153716046124888656677791817840145254768618924312008494348485686047372527386604586697307462756249438943297910266713529934271287026200444673310157850587224929191303359304277409338385924480131282564233505482545577022438756103537722658728178272481102345327091522242154100029885776555388112003810312311621027775985938864917309709118200978298313556433373567521408419916248601905354945478318460373719222386212415453580086414605059863381657977447683015570024351356039310738136594668831635945109518286251420335301118253626628634465625633029071620391084880395244047792377685663119079778165077256442442565011487228417081585107593196562367716520370080794658260448290036012180694367731499927244724451171193170551937516522634300273870587485741910118577566869851359601643530682787363093049574661294113709346777588074059387582280220841271799240420280360976673595874958925334408405556347779785519451261993318609655387101209299373418446590526745450873469831278581278206249641760929979260083124606852192538273598529732360732108363524137112983616704810947268552197201031724905621845835832825975510684970303343822253716487757856553432977616982240164555452467162228983504337076707138669509010741530177940928947574419396177584527248231788202288262362131444557252211841773235437259953462488090126206783311813678404644589162801109762912426010976971963030794323022840539678811040108273602123332446908617017438955113048261112237110943986332268378531907227789011433786623612196440451694013796264239785844269374653109796431715120513858486803017534373558751665194616148184019013254898903281356581818813330901324769408458475816874142844100611280798468434695873334149933949051064022066652541038845596952171938866127217110932812903370869055922389234633279539896650961340365866407358436532703946552259135660021839564335367531090506390988059130015350692139371758172685100475588471970875275623117253826810208044289730449775598059491680235461342145462588111674152731736540682515878306902073416909372321964176690405513392045259974256133883142451829739229935953462634840650636362884985045091198465042015941087082741441765267475869120992551221029302761994751509872962625456093902442620610426803584495523618857852786484725028172585240678095396692949496653054239137755863491866045076928482210908069276552078235883056308872769521565335785041181301024331142222640138755447539778124169620152914958456965284957046066097881288697218578499513763261633935049959439228765860243567335470809084938114693074237796574025891717260564505712614193563109052624489101703839212754384430986942135061455310190027853713312193504545804683819221245605931682958845598709374707922478755608198309726310601376746345310542242755870445783021683696239973611509976644883167357991199238301286476527300094428414506756101865230327828080287641006449290083532506863186853390212691764345434466165480299843138886387618324620003078070146173143720614747841226654903693160643299558995954542210054915464650823501428892485205331108221533141627286116546351446263075757446599791569928279746937118842923597452534953877170169784743116215581410685172889426698058305225064184875945484277706849620182154965671549657239764304336897211932938041387188281664912923538948279522102116107703792348566398498578386071637516621561639880194896774350371076379933208097700141355656724405916703326912797040261071269069668243198331520157999730342104574228510837191309379458673415586787647898783109743836056128794027425255210026537218766418844352921182830016189175585274306894275162686883736069622085942070047941187179894220307299139137214295980322536522281027638180477962669309631018544584014440712748642865270981330856123148152837444399742506369431300442217195411249671401291035816245260397841432421192985288138287435682066313631422270031239607226686505494111793193807775606554653208372233580378975032188366279758151443796757830571042386999221663227411101643994714911909381450828681984034303011656445079868933314956790927149519438319091347883799332966639274557223384981236257520129830256241405376230658031476248923808561180647622722634865694899018815620078904310270540321466266268784583121331906354432341522848323102073456712328626174152806773140297922727645957727706846188226955082385191802350563178620809375813227395868034468321461479105702105536147366605538942708699726125733141046319489370242834564230939345807321884848020499900009143239013434133828068737311629045986880837163104188307791261338709497434473071553539084233315154127228528790299194491173458328734412127886946457936803723203330485512717154659300608774659195537896515075698730323104174232572654989273535150954336682073531895436446477992170168619660431037015935090650911575883977745426819276703370277869213706492211569954576726112867586202759916281961859849473504721815229774992179136100887673040901292679394158055394442304702691555642834561748818416904804085395409070897159282433340759865797635869010366826718631950974097926455018183201057942272010226156370134279662834475330889451980920748881514188855337614144550273077513454471321752970078455873012589816521789668279303518051294240644093710260315749697027827636928920810880391010933504808756536714715970683610335432860544260660469642255362479957962793413226465982423493147435782865684555720174568336268443086908404755935563324918770112021274413460351038298507217199323502071940051956960283334134201399137151141556351036114060720910166081430946863963141586887022060850626845123732092971516910176569720378395501470876079091163514674806734365674989969340564936515881042180331419620220447640975548979925192196316997909105155614359278628559020519231169995774725209529510336138221884977939891743490568751861894712325874727491291532534407242914837024376535845357133687836504087102378222440751740462000345642279225986963603002828673900893268476042080445290240980421408090426016209520419552960396149506873463363116779355686382093998817085334618090162997776232408437472653191400421402894828119364690964795154274374182152147155739176002709560151198215941531953966817655882145269078473353413611185272987042369407402855572290553420114218234611679806860833350051385218602070138265233674285292137505443192382084335486525908727512211289831520269068365263347661564304335744374088481993356860575185884177200685756568924360839272973198682398827584122853337583785037078767410299183614010530620098768844413873010692431871871329802361903202601023044734722577321596052901675533018077057690286917403426130091327074039154642810887503316079198120449584598380289479412598626905829389737194610756609527993687009266540779518614232384241837133921325630237979714965937325712827697960358013773506939267089875518001802591725162155950404269737642441722103546824387124937511679687763126593477292362400120524435407289513321508194391418083308252149685920991622478565007229715084815120848358681434502790784590693116788115549692312257473283288988552403025572180744049098924657928142352460225482717581774445136824797290339247944881789231165782852536746902186443216032781697174692075519667944649778410475193769663855120127695400937908716849344267559666272403509381017491040970115419897995409914788723593839406522589885454348163562654667511181054815606402789243429371149501759693136363934738254050473623780884411353359296224520627139240367538449399052385586948104901352215966421995860198488578543311041729278246926384529007437367799583918490653237824247412752827750582537674442901710877851987799589830500708286598185807621003157751581035845582934299020129538707108134832425081575489804921082790011580252940185882399373242947270036160147508070760275881919541601814178996648173149738994802489614857292221300329937453073000640717473303384730880415334048229196462613673417116692055596635184196053483988636933099759073016403179655837505633012888977259608869648139403518032216411492281684205536647716769182895528887107645978907560053379567750448514690910068474311366813482304800522052847939340845536860381851905462833509046780789487784408137063662056314607554900803442719204891861468155312356139109958466730445100215453930227130564530215814900102675223851681262518891657342299342573060225159491650563955154523227045857721374999085607978124106989171938450697414291890834825358349219941433770318952465619341413121109484793589461205645755267081414229576295047723049453274536940096444076822579383190259250113740563392639160156250001
g=7
contribution table:{0, 1, 25, 41, 53, 72, 80, 107, 113, 134, 167, 197, 201, 230, 267, 289, 292, 328, 362, 367, 407, 416, 431, 476, 431, 416, 407, 367, 362, 328, 292, 289, 267, 230, 201, 197, 167, 134, 113, 107, 80, 72, 53, 41, 25, 1, 0}
*** a(t,u0,r):
361336
0
*** a(t,u0+1l^(t-1),r):
359595
45
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Sat 1 Feb 2025 18:46:22
end  =Sun 2 Feb 2025 02:54:18
elapsed(sec)=29276.076854