n17-L7-f17890-r47-t17888-ver3.3b.txt
p=2164785010470264053132805557831546029285753314849929624318185781792862690831451269199047448814886274025831337055111409633247385795568574200723702397988930633281414438810177784757771052632035855290060615464948012907333980205937089164046088974727181412372643073879937529403790601935589252753163759754334669190731040344625214790608498532599299154142393305985424474412445405406517240858389087585805918209103898423427283810135501515318821033966954167789262414760937877173246906360589089655740105734744732178758019807681153893525551836736197331248779790617647068727326968209457044730495219628722728817769620389562365998508085006266380597557392325072848599647786021648225851120400585737969183536861799177930950782617553264118844899124585447661574504189351395762188611228334948331606066610782457691283748524503173851628326794230299758607250003390800249197779049771326130237333390840673445165112842310270885757292440427544574490100008427286309680500966010544551410976207813151870344354289594386335305768359072797173941272769609884426730352094376529306201717070866145389194971269745792604623858884453432972296997465662706310976256273471141274995851669753922201189460820518021040223144250241190151229980792807383526296345568093729746351949337523037612596806515004847397806201398498006300753925050916366337727662218098175017173891273158517649760989250188940726923184838797095805550628340163501713404868683039923872920555771609431231714916425920399686741076665273931919744698408814867176709212972838134619023953224679800491063098312796333506167966440330378699801758794019503650612311019624704226156400263734357790375843983130834101616979042276558381313388126921874879960039527536550549839023421576831492842489655903799771357927828797437093190561064536788313861615136411914426041773257763314866872121195499261868305029347172155733615175519642754333489004607063685450772377266128167214833808709055745272563660107448955092698538517898429290814130745336736024567446432783933221885955598348487160867862258725524674075514739896608046751011677067803811822757649307808355899157063727804143501175492042928376495522483055182533232060021863162076274693176955929380208492766254023976936157373052921011256389146014094106707259374961805585278609391247062095347016157792756914513363490055511453544105729670344425270395129601832941579947919373470666090284216582830774539291250319906352165055511773187048523027628831071760919755829314616016588672950279357459207916396716803676693349750962708052379208138425468462492321495611592421517362312214104033650003601553557511628625100490167479350419151637462092938679238674213476097693548835094353233697717195246254096956814233877374131020823581995538601905102684870814174256087569605728579880062122069404203796687043204501173968290813585617271129341587775521296342838977328280933631424630229014061417424035749793637397817618871411506749975844902696458427845628985543855862996217203383221238192960192539536209456729350548318954214106220734021996122205508497408590773232396763886467817347092754228317375956587695641487135789035266761289411820815498266702847681282517740387969566306535460716636356061393802659860772289236708353423310443621338285066126302496735412304967465504962399368340944931329442711360833496719487109879678197130258500900979236573471147634124446938826927913302824828903386158722965551561002316086555841911548608772051257111328753410194203332784390599540574831327331317286309567576859062400048647008430605216133821890683123061936238143581958004611477783280813443561286365237052682649238443302873245669597283942672326257572962912795012860761476669839765803837354428210704613514008086503433199203712680074743960785315152733920115468708227274650192928411766384479298193283830181025159035474334312132413830388117361181619143747095222964563582979985182277612157551289527128326894100130595325207319254931787963273208485282316565225734710549463565479896179654376717026583803413442890190007568038333740550917683601499330261684167805979314944842594030232606889569411580643727986300975789614580228083952924583069296205642156583034144235524491488245421211372870550534095225995097376832877381083070979976758705662852329685825773969908605282879977601756252079593371986675794600563554056286387559792311484974952593033804424250361798970495029498827917659516269829771130915929539372443036528598814708597247544726302348193646571315148176924848573150780234109616097505324202739803426946568062721575938358816536652355602562548141034605076249311011292329471026765560943573153551931144190756084172178642211533664546300038624353219917085200424896670587650071999947406239422587736810802160732757454228111709047002649007051714307184683520200449379184916755097936704067826584965664725887874576225782292240108590895323068658564509723178457176615479333460693174350387196520174100600960060594978601644115637086111076196509928647281757226896763364519832186899885260944791296474953714295414189575637263346170665589780883570218186502268978216576197365900692311717029644430643877829063349591794411426643162413127901450709817795993785168372255343549308550698645925175776845480726643001023783245774032527852861573679778111083660937400305827684813222990164486523884084335206524051238314395997603112786663274334648373889156122343696243906904963974091669209943684710181517011764390438345578921927213843344990725463808487649450112630785219867055557981492399197323756077382679155378655851311136336353329329685355661552024219198601213200607205422466783002499958141906374511919864271681851884798120854395092388702225489659956744057335183596544898070129459182478599965693660230824618272925256481524477222374023366346387166444222420637454606512579744823833103089830860615569487721130478321852303171483424353756465644609905751381571160316924233073701505162950331419301493993886168271546433421341817615514152117154779182495863211727429038021252342625695736939338549113441476421061232691879993841054188014969468832243157270677848003019781334769968241179885376868464736671476639360320237764308674150964996391993640163186107790784024585640477063046543074969198337480839311066249535360080146973511028703290384719828732684616710685572706493172153954601100327935104438945083932719563781022887220676815141506058898841313439376862424546789714792095400299604015337469683119668284611526788956179815573791988940519938766306036241705166287455352956158727575713957112377309215319808382044000103177061151049036819876571413756679437504366774752716676597125675421209631673496761790059569855413550348496491861193972750770782701589939016745825695849861087769283911737136744851498036241010350431544479571915436792997928528043557083635206993926314800785971337256799458055821717671171897157536710891410130319955986461011967990976731084915970521711384264401973843683436185115711651316955638166477428094661801601445172091683069804485971630822696790327603831100689855674626476278270328344834026620659959059613562516732369992458133085476150320303570868318206421572565469166720910819877528828100114742444089263325232330820276756609019556293275646520867643612339216411495769106205653153080237237689183301825854356906484422384949207668709420460083528560453324010073364410340651246241197172418305668220542064475908378882098994762154756354465605037681907426106499939415103153845792286825756729595589073992680784148362661747238034545674385824216401943096115092159385831602555956721341222821073443605253363400087466075202241918374518136429249377539949522736575672696474029371321889670285188161452022452320878333435383043945268431882413230405531273461188145791576279357509405673824931781413353870752672004874239852408251815948361703750912047820306445970150559229022877128099685811431572373408600537570568131907346878561380775570251689992507959351656234955188003222984317550199972352937421851135012124273295030061763049206539861213184353748502280109074697875512516264720308873307761287912377961966006744638288460682533068328005258604820188072877578340596107290905954089831149204704655182358273568705002130952638310148712817427921597914091282987091485060988731136370990888471737228145919795342898261727694698334691312125623703299073622937210710201203022219626153020665332517483861525216586348315542538746995276705872524032886872816223656937461226335431838385640177018591196509178887368756409212630914558525155621776430415364543360101731734237971093639048159622678330640411670557884305872703769082669610442424942272551352707229155617496062043450437884133320184931917466324501081906074048343597641816722502249605133865548168510900503398532203557356691862987518764114144920367007863208610314011803712781970453920142583176651983098534050047274095720356486920985278572143548608474276958679379197636285510722943763391692419756907404891644892684385170857391186524479523127346992534329306676913999036375989652038254151718709104882719683861476517935923223758365787440583691178805429459744192080966051662842356396278458232456181497318896077756979740525796625303553454255025926924081476365398700012132459982007529859778511531292708568788505970289849861638870737173671455011687948140669606273392723636234581648229450731864201691986625287438463725669545670976025247371724209734578543359053670977363320240018366847849105575850404749383208217040312105035193568914910816977099807726607581819624041063047420742195940803191299308461579195821758055505902248834218856506386702254898147190889736422717955405943983899782398459042411258552733635573327703526506386857180500221359226367824351591308684262192028662350479783313290368807005764455806481785955461062272585100355513529806004455024663840493929155578392682502818207295400112597415606665410205747106489199162066933893848952842462621019864167905856882515387363712591391385418283567707757612551684761957757833507703416120056604080542850665367312045542778110516384822019486778549639927085542715806098232991533666235892973516550885306498631436023589769745504618931673647889902038972677343098351323249646038894232135466476987054594631911591304320841009756364241026220290208109683361933527937930338918865885335901988198012531558097945048943695502783264472780223401047598610638625745013026722793475541614699137429015871482578422705113577972869982767839896420499949487871705762057448610668300743910545443027961669281488831526240818470623201439743497671919863177190821908146209357458099897247632366900370784097181135459617228224113293144751317363172924939647587299313773810155182274414640005205051228701721321194550580493005721606208503997450865132581107132681393058827235296836857897588234662375558135871800286240610259723818822656859305602806478247923507942940480572122653683481771930249166706306778948655286421920521199807693250386770222613187579983027368944832007471362985642518615935012853041859799070338156438320685168948328966343975572005690096996759999902765626727576686021722825457326874604942310316610050693736250766499747979818423036972936198657242371483365571888053581000544519379897980195005283904466807624677575562395203091308091411627568640708063957777723876145225437705618128767746802344058455347227579924483352243735561270350007421940708407979047434789988059668765305453469404070682202469487098018198402128928691462567141047515867129347091289765492471272808868119497944492871623510753810978859209440040924188366951695748196848579087615072503064069346274969953360971759131347108338908258222178432257355626366577696288324388477096676637342572962132231256641069833870469321416829891586394100526123538443519443280304339017714254970312401984206412850769249732103225316426345491425495244421866382308997126593543937422664416843172446172859892099702628066195336226995565987950284660799321812428457223584901709442485576620277889316988298593485255268717756468093157481968070042467308846333897166906987562219238858864645011201825349841255141242932971274654334930142119003436635168325905034374269815283672100458913804405228478869471518383755840188262699516923041754582232471765752754748955163186838012748984654734509938498328294806601913616210357230152722899129994701696213402085078544424067283554924881838279592434634660886678070734161907681522009315377910312136175050156164862879868710624702927080623982657458353892985060842717488614795441263584342846326695852552265633829832154601443833471381907383061886433757168973135822614548506988279297997222071752375902631600143839308312796604020496434335490372466627654303130140438766670520211986047989382361045887498940464904083050244889757534093628935405476695791827413141338395228315955152551327776919538972833368400606216557844786218947969023385088673356123352159962336631315362711785505765131412648263843003480757542786148286367802596536830298314233230719595128909672780169792781246629536524150145781316611812714772225941856750618361172097561342230811674201819771693975419018056321777216417632665199308901858926666980470936842082238358939856205450531143198717319269522742275520671326468603582133934069125033195539819967417896189271888539743132039750092175115023247097385894853062567612543987046939072852302293832307500460240031817676747163864216261477238507178414999942891681588534115616537638696098406022058154647551678604141725291882779765756637982106322768808642350576238406631991132717480442650061157753633845112687708554186874467999399666259045545573124142749244828605416980185165231633585550901081261012380265948281097591036695797380476123199108911977643120376094387831751737751550593725921305770351092807513280868678477223204282927289963998754961856122682224930326114043315519130303585392929858058714960440776880616109257663285046729726533044615546325210681078130793430058391238111744573986310261681897620764512192512290308466789393261090755179189455347933741035244026134582414945885309614862765541477528749596079604543086854746217010456724140239696909510797192243300126515216303023393040866809335680461680326376160335777056139247688777768530793314495131824804078040361908023966545268675326687744471155320329765843315569066179330065816818654661510004558740300429444271757186264400778342212564252249061254839265107501674404027542371932365728887303324455260191366998099184654240526478707789472557841284346185322247160659116135190358294913079900550004629852896272128656118905317909243850203283018717886147486586049159931375797261117849236310159092317112010364867400625547207456558094214424220366229162953164025874685367595966425960223669346616443631840490355630366065730271602590547873491305745354891309832610126705050043291930825622120262408047115729083431089842089911917191375993915147318092742571741205508802829389058067682241613920544292212718786089166628770590734050175427114006990807300960074713121996867478771744355030001244740119056219848725083399605786104602247663443197105121442374204525997190654794966785215689852831512443212582438859725849203928911556905973464019790618071077960462906006290658889708181761337405755895056505427303627476925434875324903829853752232391063540308822219137977279509654288358991924707452612983517818612932505455153628123540558262238271903295620624624340610482811443875391107958358158686817873373633069312810157280197506264030940781323224984203597346716491504519523871031667548777830273569555319256299475726638952475912133591502474409091230740383361806467
g=2
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):
169354
13
*** a(t,u0+1l^(t-1),r):
169321
27
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Thu 9 May 2024 19:18:58
end  =Fri 10 May 2024 02:51:24
elapsed(sec)=27145.665418