n17-L7-f19939-r47-t19937-ver3.3b.txt
p=8735721123741130330352425162399610113444085809222599682688416296238264068129194052542991731697265928854112774328878123044858183068637072737065758392981671110427200525057093768854714255699318039679457739984703356593237260845578760426541163121869590622629177324339908037762095271061625684310253391086432862274386687438253840200503889836530823313694780968850390506929462108983262203367709214613653722580989144454854107644312453733348713690350786192501468241518927579932864142668626445000008532013883867464679637189006336878807168311500284526608883717498083113139801420412960847230571531506851823108279032278097062138007327889529400871477249393683069085779566643910115747853189952551567317603751518153570523505227058620945194951721484786314046422638352998332072450177910566071854123002585781067399287752196827529489143461087680200281771243583393464025916832466282683654161351205329217035853349991935869638627374498393321783700248743625127750220009376381075129455706972687851650762242745861450516229121916903958788664136255528344233177727162466489670370323839213651496752064723769442006041294075844698682861265794192626269459880121902601497249558065810015513575182473971150717551813695008536458492748172845095307722389098948251095183540610006282481319012849370295242251354169819420894144134533928041046595437414316314210901340031579141102975939714841345741779187979730052835830784721919510305177913006875014479792972108959157884464035530915661183274670760698314735537340749993941786293815396224919720594407499954859065377436092048450060652127691220124054693500534425378470334570766873690883190396640722314553786724085893900252851108029800304779070377241547107178499315173709659298037567627279065872058979054852632784328332940856310468879959608881395756063999570193790763985893081154990136031857416222698397260642661733444444706199819130171092133741083208756632835418415497540275003164216651981231091845035080450565788827567474070000740619310235171135121279417440760011736076626077458647160074335187238131471984782886132174933472034784680788194069681426503723006368836411482196952733295030543080315268885178990975272646930328623484722376607643413745616459836759162719708668311580760523055989712243453584125309499936713468479403975361615836824344997845026357151367299473780064667320810113746314290679495250122882277780142529917981984952670280776309164819112739964329415694056080975034637358169836893821941256592379396634776567426046740124033811801264660625379782374389762480677828270004575879756451377868642493589204904542494366120239499396223042228894394728933334130613805529315677333224070911801527767067584838441258840411079504098174325960965124320860477404242893201330123041729911262607164453533943024229246526864880180108405645793855692770386156468484456597016259263539981005877920168077875393058493400354333183606045936799827690124571570675431152099054665212538160808081003889802376083571241493865023598368682401904273023472954851623569242709553073787932835956670616721856370853040213361525341954178940506585067353015734670843576024898315233049419788268943741683929858976663322008120884769448283837051305013287368765269534146004057189744692709797459710859622630935084895393759996697091133566990881702134846773947801326496400969694273427798843773368586939975666226362770775792866261423252202212661030622353967206455071257314517626695152439630021881722134283087131177065206536646701310164042709461041961183310829433469029455661746868008808671511914678737978230190245534773087942007105903087753569207990866094155582728916857607529615000796201349550846250742283643798021614113780464921325621105914175238132611527083436252743770030973602063635321992610595018462721160486540672107216350947740060258252694376298453167280488165752528348824216805169121756015357429403568969292688743701587373964923173735959032509405909501889553449477944683585426017126074098037122893809315137743206295602533948489196336628780910446765892186937556205133172686288954538491103056505749390132735598384391067234202366166186026006896350905817536959955377940964939133834310032415469238357857027195834342484650200860896464957949049715721118884403346673057872355011669039168154135575862558009564502792898798076629039679386380809327978647521831673111401160779481433096493006755384259063982322780033259528430782421435992039561438964295719789150950674741375385937175930803793184355120723059319477853845608617639439905667418766958939428872915165558583504020553699579366027566155517546971629127586145642385134301452565660324015313589804141058662279539349343883661032626552284774871114319747429876946272185761800277921610015463397442942144118313309862358618386330426284998818536449394062600468937430049636738373274942989603908153420121681932219014985747808668520826318981976001296386671764621499478605746742195040696408148465231431022449851181486997999781158047897611507110946439825584189349436021031249258603111796490326776281745595442135147964181371186656573679003103273791281288313447676256100130295863396184175360493802157391903730286361990818034397673341507262358931484222626197960601721932253997492255096238106885741882830670225846897125501859329727590379026049790309951806567773624872765313548338203573199102907346854621674631315556890427902699832241097539703296606564951404472043758568660103641276798599384912439108690464425208771118264354800523541732666562206353085460983356196676814898680309886915253748689689971942859229272479479771249756486577221874965050540413291377409756106567911457687855273345232197425312345737544828185008865872253807374452890770471223136310083019901960990959335450637924100886628663950658044511149605859668408616115014406757002762239491238075014565325914990238434521322839170603966060072842829871955490403276582380988639872176897057810100725318880585569804437747187581717532212158503120034886657753933822998947698502159596342239319878636015724930549107384789041438953098546859693630740073158691970565389760209437329961716846091360267032374891283252798161383215146133482410739095222431954601443488062176391957733039431903512401343387491105622412349346028111246943817636893399327969319004114197322621125501703145597608495517409104506613661998540364136257778890503238100653805808898315189396559494921855056111394257668044026251669380552722403051096877424102987518163238613684572632836818600976311878286207559708626193817062539766083711588289349659905736344117654478237918233770107424880265375693947446921609712305719105566779023236242802468504108669322185286404968936978812730594588824734920251091902919995043739924831950688135749983799202575634056871314329864982758327825477646412361243681579824574090792615410397643025790177331896565278154092267153777400764390762474912514525486553300418947486397202315343829143553355030531574971066444346842268269306561961138797138887416561307241505221030309094374954027536715107704873523330180060825451994894035897543276398975062924900508658417051392465739608390010024258163085426518095269370995207963857101744843360506336634066135268323123892323768631319259607913220711837439890975286857224703538692335762950959754115070373667830495450542237305496297224408933513539539800837998020565876874211636593636244690089725894628079823212770216122615535828274213211611489370227506813784814671496418029665163493550502956970217033379842967288060566188412096850663177725067070906889295829249523457270774680204961963126290908827829089375525475459802819604951064316236077020437967345191830318597293537172826959785746253528105311768516743387349599487183823021076437468495231637760250774018740935345356738228730510888402472438724051549151809885306110734491780254427494298470752818125651206536056250631234136222378113183001084640859687394361528687185186614252991998230098991712129772956593189404135442114066911830000265687462169183536488433334783613218223646855237688096260213814973874861383559407919862937424152674320251912359188650473020566783954475390497875015955001081889023741580558290919379285396003169377184665832279122789101027475193046803693073708546442992334300521539989063711134868698849595429255407512639077948816137228382194421660916486111476019878127673413130718703444835544682678713478290656423110850492467828077877961262641712417919251881335481270023526272707726586097542396179529458541701773019370789209316967367420971714304248169275101089174748952784545554591395470300028009630501061602936845374321291357991238481707818984591626836889274550737837118707077076459218146556004895868277596819060759439794109614810658720574779047517040354765025580978563145719817592194945846465748425219884438871803820398354927997939751576883903648856382750431245267198408039711149537159318425265867628836177840484693415509821851681593242623505179411391272751585760465911848246795645204205719005282776223398106001709107270470603496451257979122873996667788554205307944114467699279342688868513235384578159061734986479075035914209565628378195078567247377166582538183977614748936816114139729509732414306171601441601102160018561189138667920511276475081924203896912555555433493195133733829841337717726200129947329171602631301276464008595075989826670841176613088832611722459966673737569635756948663239443231063133164937380608660575071309890269450788945763762840060775038091353010520841809253829454276713742453246784388689379743144885813446141853808083482233019184024395816516220330139592635187480500851979615769396010990681547312727933716985708790541823753531824440119274761118528899190724558000983634182417549249302835143714119351932074221494798574005649864175091530576568980458055235539452343590242949270711001587977017480588220206941639057921045687749663731188571885402861713829442464530368570576579072722970487598653131279570944246660539355469765264314085596105497705537692142534057924513106285100604253151051169563035442305268067711803745084407285233685295859272088656281747432295060277031511833851991630054672108276653980375309412343944859865512034126879200485595022352103822761459758647738669454428071257333088786414353777671546696165373270754760966467427337050804563137472071002350757140594350982664526828644847277045793401528238008759864108094328599095960723268607669645283448055444717386127568721586660223783009848618410157939358270201811708199306572766809941176781312587730772222211444787639172727826829600408001620763973193690287680139804887936085966027866530338600558213246392115348091512405827716783234801061654424620659242969396342184876900220201629047178817652859164956269118240254197688133393075215583574700484455732103421991486558040162314335183358038909791432180205469374960773106728235922302959344114412406587415562835793794907327699894562335920689622522716522030209088273530740427583970081713379378801694997706041120554818766242875259279759455372024773079258262084822334068703125331441460634068585654103910416711125726929593998741425442520804928953751683876455450146016100937988407976163778267134513435458347400212078207597332732086951218988690730111500827896845428912657439071899772290892669649865961710894894554913737423894365416748810961093230599944571688514651380330600875073292594172551300714233201793260884554856911854528944693174440140274401557313003040791313846120861941601623401252256046542350325150163193030338490299267731830649422330545605245785677776323307544136441017171873406668226381215842183307455986035085312540738455300143768333475173130098378912601168193581729011287568399154485701887921088788390723087691870712212814372099823163199861491649692093031764354034548837311298982429648236285439546897279973233062649249164030566841570727003931814384492860830401432131507937056994047508142923097025981568399828604857332351318776114135348769298258854042609707808366715733025059633497333312430370627198335767244392104872559243625097590934196847214488919982688439764080324266083827814389430927679128946569830160417479989172414624625147034985636158507632830020627094000334241079379190184948959690724375153589396651950617069070763439522967647833707566309492377715073855106333436224806558579926300018311342297701417784475094985569955503837598786477787704730318637957965003654917137622070415648783682974749346566514811246255659712282412033892031649618190061432604564671875991550762169564890438973156351359737460362523516571051488135880195640764941293031843142410147535628407043700656019606516937773486503233592292379746450974766755536911970654475571913985224161168362945794551752454893541005092202982767711442362612568174984026848535856746684618638364255004875142099787040310478368558047543353949957321258572947178948869819498884748960128079723351645313842829380319803350565546740886253771946504156369042485308171893651836794434870104033290354167451442935056631992018491961901191430169985480527738924225799749050750919187535241378812897263785076954306417241772266737203037083041970525392687447288814759074035977461441494796474439702960349853038314081066148306103905471222520510938008823202478120570675479045665005490943203434159279105421857425615169654811164400033894659108157167695619231749092421470923583976644331608562077581206869091388165921530856054339025882617430269400799315614445060648041088278522451420491982252893965654072993486631559743203513706021881038322302836244846972128507315136525943078483871601796144150114904677593494768780997970503805516444146070622361232948191789271130817783468234318472087666330381459113883691918948601095269140222749805177607627153331048698933227819488989236102279970306626005868901672448853921458771736385803140518156626224951845509149498843763543930022890319968649453105429303141980305988120734965151744085123660615290897895044695991134472129786103577084577722541586833499928100735437152271298836285266754940439023940201359821345497676036313633877512043246406171196090220044184150041813793451773936261316899229893584132196558755983404731227684349482191148257164022742122415830333187431993878239506358059618794107618272980088672115666037895345943194377089509280956863094105369983736346553951573934294604849755489269524980294020153215794189874599746386706951559706663664854218482034469252905454959791551806475283106931559813960320548595658821121984502753858875096555212259877288357386641836602168486806971844769609467662348909497989761506943647338623704550721471145096451679059808748464648160804856633411976675450833137489374260913670182967015772603076701829417847930836555050523394426831226148769666959351816388848015328505069244352906029313954165152945536219056658144317067019154966313124227347932419592936754418994634627886312425822559452417367160489919958135959861320499723916585535103800064770575275445123344932800053913943854924910509415514867647151108875427964017806878241404925476867426784654355758882890473142636281917746196377443783672037961204471832590284185059414623798571365493551536000412120726082224838834840632757089093186368660259479775431956031908643722386624997597682044296714222614778777189774900721651518712015934941638048368920660895887315999142965733781398358058657833493610802499990462373692877652678216391812649862240961189719980631126467765355182087592644286415974085160155918292308436799120645871718057208269742581756776328369010624193099907437035262372836511488754105877966677288752016563487070330986784324522365635117550979364983234664376804821736629803750035729396668179166789961824501807059638205297220895705848045525422187680304688741405205049960198888731915813763996648528057014478282002613326082571060941741345504796294009955792062127650786241031082089081236676483452396410970581644733137470947421845331989321592889798640695263193850714873567278731747452610369603131351476837016945173742109948836358580879018290343192016856763765644312308294664190917379408563038701473925936035317995830851452356340532735357764326092464214413832619417243397298093500688531391280981266826287862489975847608898035426355127708858632102839247783850165750407694061284780570417929966325583068075952397356949421428744341433153225116962852932081175339273027144389854627821695565524925157346587821360143806021008627693037645853421155387040595273044125902963479919515500580979317820143804576666786441313859068022044442597445936019098058136638524462724603000883773964562826255421744671179859512201303939043028194728978258667035961194967642922604550675148948773450267130329814284441352891770768209696732309040704847742348727592134564794589325392119161869665623545245885039045362352947374690524358630478402085774390806178097139288594354411731466729344247252440862926759447121433526952092957172370668389685707289679861313511483215091260952286500669762755876453822684618706290737839686064577187443525748784770526610573084785306000468444916866121291022265415012090522381540772190833060967891329925846621355940596222399033135886439190325994831514759220694966643925805585444938906919298889701405419649361265495237629797964825039899764704015911125047325680785134943001402020455830177214085167733784784905720558206367429194414787883448274296656421681346314140753660227280231543545632510863
g=5
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):
176150
41
*** a(t,u0+1l^(t-1),r):
177833
32
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Tue 30 Apr 2024 23:39:41
end  =Wed 1 May 2024 07:01:04
elapsed(sec)=26482.920010