n38-L5-f17992-r13-t17990-ver3.3b.txt
p=56121801832656360182366974365890077445092964575455014143288409053957295975580815386571545939646035731808313910996951247628120077845893315673727928660924584741760183919902979333455147130027512304930752504934772816686587863535079777131193231716302788971968395341848595164777789344480819100948202312371077424155707813927611057526596764465673808870847949343987477606458044319179204145030389382042338737212321567948174626725487331017927958956169288086931598684012853455479374836435542904026507195207975312763370476851750564777206420609106395012948414667209116932292303389744439854563931795190391939515733391545538294594377172361548608803599908861442384617579127134845625078169937496269973966064577689433291107768844368161414187459562534585806089292163047189376024587898892754389227883611964837072256537006755923374585786638964162228555888451942193113862017642916291551827757106677190070748545337250904169823274252013498512474195258548281860940586381161249309812507305842316124129878330845471527493892094024034171118669726963908214087941858327723584064460721544402575731656619024950328419159324210095732838199304867189668743228410741896374051404120029561103570614389863295101253752177968786436128206870959522026096559042535003261185019464147035394951547747862269301558380624005673915234363977315688986801177470897757540013686196635245884512418410104492541628849503814007880276868592257569145794129873997634781799201396733926091338860757001513505515195007284616358914624875861047407965407173837700123975449691576464664827230952241328537478675850482227407939903580929316606611522332915403532046357179638618432075454231472785762740582326678484577856401109161889312392898298850628689406836281048905021848724591209140114236112788912465605231787576163056861502380489352465663325128462603745624611984630121371863764083346145342995825570192249889031639015288747191616920359406249388885823347688779175020789895828541019377704671022363224709484842512875008178751018750646808221881419562831791073031322637161876890717385088803766545856348728914466020881451484258603071637874024948163470194248257794919714378794132775440436460448096990125433471407439586815104353059469032783314568056554987940819817954808735734794979800071915371949867889481216532976380799570337702564051485793978215484607740114987983603668688089104491924483249165595299542728296247981479288419546972966390548034368203204264922955804431772603294265581149218188051321920051864463429710692164878151737214818940396391915839465662307042266379197859203187506064158419442828298005000073895773533734821268546689372360174045870060927172191967838317128718464079260340944405592386514914191447146248926926639111503676655787899030649935504261368101059031764727690540794675769337814248992683007595349103765414576869937372984690870086401875682603546562946752295611351779972908302806264948684548150739880111040674350189846642106650603847864769877884182326591107536015391989586198633847113116060590920428670747781575328626279236523822913144764574789666107846943566092641529524304061930254856395997035481930842825680616998223128249728466334421977140898601997315816682497127906353461027088234332825732464261178931626342262381869564985032704277262216630091755260661933002380359810196827410363338893649868956135027099805146694621261512387500317197345837879460753772978199709957725510814531717205567357463058238795658887204823892497508432394297999094134496112661732126596027382079986458098829088022555115375181019011811742050811636513220745015755351967347740362698921660960349230937240067812060094679893743299233409831087824472778936270606149185200179814830944226330097950735821342002264376803321524892220190911086214750445980881739884204088055464913699594715743161766563486508790193760183692983217205304606541327204940269404211891812225861052824380849315028800502852211079016805267961112932588695350236799988197652367273157420052489711858603049667170947346973406685608809404908737307996817653079599743979131925211197949016614870490973987210093581605642444051988489633070301145672654717588613374534210237939487994416380731376438331918968068107499524476446174395533999111786905548268377231181069089859199614848576584155576448394809219517062471177355655602869415935110849716277419316716677718749114660795623885129114532590780611038084190901408845864168160125108079139696382032120681222605724146371562369109671214381092497408384755970794647793444281112948282620886899346222870419993328983661275118154510806038666948660688737753598317321366110986697142979018653575825138309253913093124773690471875651016289206811391753902221646121610664838820605827562605494402912772282705498051567626811249329123929783275295446238216502548384963981616603954798837407427300285586212687845160938353803076120575782516866379696293980567417191798996456999508915773098861023603833501431029074543377241081834067868585169706872681068532947305698827163996053487317244627752150181223099703929115369644544575457074811983300260872570835112041881475362652847346628969226521279816063138014614514838650142890949983861550980719074288060748461616591981440382470041700890888420174310679615449948630967372812894806899870206400764060153688228235172644219985221954572587752036744462669903896711299842757604039668558442770951631305816022948566921670155184053725903326791025366193049780992347713650922942523687383126321664323910708264126432861088147416614537620887354707813870337519613234221378040534044775248414565261276208131907955652535041368333989727366242509625908755699786259948101451091381935597601186477814102337785585363398156769025722006059810704604014521630455097481132087953989703847437883204220524883913559022762518801224977466638080568513342680337582439105108366780965641688494264342264795398524695530135077868987837926394160176602064386423126455235674407263436463731922820032058767977208666876319108799434226424427965270713590939682943801841252294767628093815025355722816514093225822826166451133634225676321496228190486168052606069523107331227791056915183114972123967790508139954782900488477916715980916916181610572825904681574233706854027398718344341447704121469562759888689853936470590132025832708080665932587553358019865834485686025399337684626559727662110731123581291865597648972307080549695214463240537543506811560231471138988180477681309527502015882216056567040016431582114871504830802514693447498481302098516613474385569173861388224337916441948192349127996061766525473886959662000204137657810731514953020960424733555048115390271661828455479325779827493265517764255316807763060107210167145354057146171750811798301362189959982703158984197144462105072814890685536253390989075152418393468311862351220449704777738035344448680595602393732128802051028839860044005677005923201906907010764246908566566992914408132631850761530545970500945976044351227939509201964036902823077882788117773944711311283897164855239641983795377490322297072445881674818775775877928054293132221626112721632985907506169527596950657001473749913563568792317067969123995378590712377715869681898907674620555183082472859639679710653997986019098871665383108220673643067871111133448955918605262620642962699130257481860555147735445634272115747635796625057984047175250561666788613519665966967773319207533163916588777096407722778434527082270704685639151068467213019258080672440197495194271022343410632251912524258605132423261521844273744042443385556191491167273124693281772002756444691314227268717269175848668785271795679465044687537867829848123595759673268097026385378898849678162067791460447365242001961882313021732354794089729802246324281636486072007035521568434212588016163524301676525680759257297109732733698333345074689073363845748611801259596573160196938872280914669056509374377129654031358353768411634839956290330133590706726219125565414586660861984851302601721475253412111573504726216445914599411901403716962637827741309864416323112437921737518121580818717685830786598208627119291432199657540743659299237975305691687626940805224865171391710344798133709748621146876481177131060843910987882137584149288277567795755156686344890823963771579104324697497188535447801608523788753774124502120953545625199837927782573414916545051730259299790546246374888869815205801188407030772844036877906880145322530860243787185817379431804848182455410239765655601218132753367756311849269964239652192576020601071246135858839567297920478347298270722201613451149680011516913693361565786506832206134304604824234312983004845592526272123101937896677070351191405219713564289340922893642883639031518620720528309227380513674257135423260903186634586407246231379896103580767958733032432404440332189141674856193465385906625753848167866154503381127485528749102296272084347400619129689538872708935776386884363180354435412994906082883125881578996288977005181359441606481142175566958312189948169031636735866180601752841874075404761997988530804293024259922542821770800944662322789569377603577862287321382311342098125866099658610272821537963679970997856554382942038165978130828833122589091876403929876486568568572383353828540703180243811100591324002396732795317602061797377136265996813676781431503947697834916152800221253998916971735138480948964824374733636899754354332363804325928388160998635555756604968515575131239680548357987346949747487944676117662541246706054253059203700715989565737511859129043891461580989857067237319806329628332233336985812874335981481547490721361925249707883832283895144403479680046571760151246523297354957487169437389013108026671651139657869941778816783598386172186744475584712117459159335761613140080390809390689241678223107752138112754521093957947799558756785456501340879673332159739538611394548855717596048923957425230791118667876316505986080759230757179961900522339409695145353817282190985592120238146219022904610533560739920950311045605050246942807913799064265085524609482062860109162692896891561924617920238344996189203556796699309535984880414970969156985170280070843367954016600276113238537471730000066675750885105834574637738502352169557315827227744060626067731646838514342622262316312980348008137865855041503139200480356268143401222123712021289515143413660129863808298262026395355615455794023011452630231213370749272020450150230810220081485961779612797473590605564399794233511872657766781777118201801646984502971514957868302004724360746783950624561941951689057107208572308060984604071596239109379823338569469657385436448946904936738981167778845994960961660683730644840340573547140926557970209790196780407163616964390282513508073683510176069976002524973916913075875630571878682701355528119734928487032002694630650886410516833791506280496445011582162892941775582597370733161787376038584416022267315561575968865586867651347248418297523929050255289470722345221683505940195305544546834372356750115906212404154528606454790754742426267896220888556795382875502977653445330811465623541572281103007456788052001343420663180983224622270846723484881324055620523626050148560642084792020572467375935800484090214988177277434720877913846630360073857613484000605018068987518848827470266323279128743775189228857372068195227934313000491182386230342044956625018603285720347286618699200743619634517091049503144820694827670042632567034855687966038606277378316418953852649179321500785420265357759602444253034462405469149517498217484036939687160887265468072975996451186997612066260658732486352624425241528264353691623562543223182309535135555291394918133469280505587992262679645872284727492594957645834853058713584800112549773948193653143086998988511664794414926048225128113145238323527904236779277952460885136334577822153212702578490330818620255974620413625134899977861656838118620128756414557925867910866703397553680147582846080434879985207281702918933110647205078675763028219733705172475780263098864222278574273066833468533868515654172132724869908369889413234854940992163065563703199158803437853764594067430605056676807226107236851592929067346616924696431880107840304515136355270242920956377719550672243535108712827747167868719506995816134938990523596325502206299064709156119304166064654762735831258556937811879203411815613224982848172324874919943981602209003929776768895657557867173455760061282829891905461664918836830858623309705925512783432957719644462973951383816797262289893522688697419831776487633200160104592298112837126239373496239493370089762030399861259862331909431640363024292296893710832986897649785505128685296397027529424824022667932588034837379455510380179597906919832899454657568508605440971223385165694235141708323920009167189233586295416329812324001671793533139735690561329213580447939206086068132535030403910749995010795900126945962735793297082388750927629890176087097241729856333947168423037510365247726440429687501
g=7
contribution table:{0, 1, 8, 17, 27, 35, 46, 35, 27, 17, 8, 1, 0}
*** a(t,u0,r):
16112
5
*** a(t,u0+1l^(t-1),r):
15942
4
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Fri 3 May 2024 10:23:24
end  =Sat 4 May 2024 09:11:09
elapsed(sec)=82064.791258