n68-L5-f13622-r17-t13620-ver3.3b.txt
p=31837427838566166485086399705146092089663162391257776093825123563419249084080772266467577905934941395154339770092223086494059960088545018081641493194974573134261049505396561662531100166092419701056276588198414070618878181833360712431551950045482855017743519380922737874087630569370156323593614543073319001150487686575597388405344543747850857318217529409259514081117172856589942651371131934385599897993540086202284836360374421060600169490716296150122546421267075430933261956150986353869087453836442015637979684319508856194538538318163979608217657704256540541371742964300690320982091326309656387316099792225876263971220744561680963352841835591359611377172318621244571777844549535393587980369565257939187938560060598750857126632550381781785743054128765525993793867470976385253082241561879104416535168757726046416838399766714000207129013429592967082433533552199438051457515810457282582967392812351941194888395790603063306888527911133754698531393952030441341868578393898664177591609599131352823803832059171680220462394563258496529136126811762323850662590784041095971397020216472721824920408547091569858440735953393022858573988867677367964591692452477213460676797395310956049834170161930191784547311695508772787773321980985655831379296850301178819682313018212777271605272924886032237616225666839994375541017971470551610767491618770748319491500122207840613878624865439899139647082701133807789841631900867970826584857008853394489633569048417134727707409015057659069124297064691759053054784529468580711849479911685627653092601909099297437425637618304638975367962877125320724810903519404457106050058626272770384614205044373453183597903940874495737509787188797458360370945658593932569022490976720090614401758626982264351953630241610803516894608864920350167657420468721824449624600322700807897835401521543013433205179517718833229632738441405771007868261587625245598644918522639805971968100166410471286264333478002277043598847027269770625946994597737985420118642281309758107195247573426154158065508413252244092741820292022091419209117555979035496909173474332902366243935907279500402803324010675897744568181191842772930198018641291101124014730812064892404080477327991114641835906192370125932809114943914645853881437895324169128506511803174127802344415549622425832467219635765945003658974451112081972341970131864388923412224177965517502253737568096091716051529881382266420790212054977840868704735010999834839088051763752129045931439037278728871491186467985260566478871976929003223702643043502319029080357645308263915655184345727180923857888960744360955195421098605271634315024972452466608793912785925007160026532044334956892985806429023187358923840302751050849116179368496291338970139062544540440761916359907066796886949022683035274387186249131504912597007342273127798332146233796644873955392222328307682506206588917329870371802259217519485811486359070213775509746691984999570185955117642296887360758019080179113627426725846156697625001696358762482054073998582788075872386298497402782720207428149805935410244744126022920240698004632609610054124236985408972438158530533530096921996997462325903345831782120547356722011824271389200872339104883347341537029641420816518431086252516934411321004337650109386743957661757074956247576225503958426497866617516267486610798763465685279959260669551538339128274380551177672445960827823291993030121414750518112762837413543622165642826487016614393648213732488922790739376642214303368432300603184477620303320321799880599199359559164633774399513332239359850265134206095383194815284434657920218967198203966325438643298737158333584951450386670171741916090302699111307133680974263001301404361909740999588135065619515991554245309994083844189681789709826127377762074683135532797723740186576919791233918767260380378756175486670228302127558578398557560343144291677525271698016899869790028559594925796562763069666624822550640226232698579932621239432873106639770160120552735349401473890698440985598838759057587336724868465240205952873401065977099824844861180801318940535149257994749227631452964352944412114388210774188657767472456756130900919656377916787704852954894624849407737522215916613647999823752112710781797196718424255945340314144582816531729424966696027586935430623428166384581023068690509082241152488076470950107711532828597074494080764408734263047893815366010621123040613995352144746158108399714886092707603009545211415161030699360468808401028172728307582385547752200438401795886562751307413836773918459147675797136789811703915358691190039229013524550367386497334670071500944340656043951740023864877339218140511028652860844642093389365033723312931806719273295566728221114432636443262703776358820900628791548436617765949345404846512972811820930125657288708459516666105346719955989266887387409035902254059806048540894686980553914588722909972828749986138196433359445197311653303552522210941513624666352433387169158302879134192581474664369734100407268283478393413991073917780528774513507649574644223832528520288598182823690232779304335735424552339668526381939629211983279905918690638142934722272952783313465975574390803161349148929288136682365261998982630422517468853979444944952817478434752222523567272855004994221031343357951453966018847249312180698012192898048299744316570498992470147667473458734890793303415605094372665248363797147621636212292176504023975769149468688709237390795624211431604838971687492469386412541773917425944827671488617834511977702450745077825267245755440922703164438318651604816638769656602849426619394721593641397390373652285585451330405097746520912202698585157374514152544340816031285820776901779109866934107109766522572631174591518252776280826041125107959349059669688314454019633372230029052945776385573428736659332602068844283045882733602422762946843410531997562374692680700696423594749437944545481166595385148745045642078886593824867603061130578668207665005946995380182009220999592712588518619650784609618745460295153356910154631691599143419164246983179437619075266695425400617186576947523395338681628560884036605854369948597835249328704962355465308078096959425389615887925184866663634570762845646995662175073688990115403997932853574294163971662998871990341859579386315143533246930040248835218415305328438729496622573157439065213614975554102461042877213790741197985471157432994136421680204029002615070277016163647722823242544905199249813731896318760925694291186950438456206055909516383344958737207065315845494788837771907308317421703994588045287383424531360592264011004037765995052007846089634275363351218465344763808987835442416023415245346836766159685115137595754321440727809808935528448655612329337190034964721883815702069054431343473150569510472902426685348343761508267415311492273976113943417989832463258257472040833964438124925606903404038295189507651221219702232789290841703751525919891442162143806408861529042878576412513007393125054726517847162336361061329321231182084673213026996486866035620746946261341098323958687060308255460757075092492452577928025625019428447766262507941754695801005330883301591229387855952781334258311607036490322799361244119652479739345236355490242197382684110957887296831994278957417022520253318180063691383725779494761688706219162893629815887669978911570131744310049377493657486741682928115379319326744934422817638515170944263067872053512745399076201245936271159767453214594068433062034613767985885934989700937697740231987951908466945457327982260995273372527633430870161530292181508528486726751316429865435711286092454677343301951931760285777761935390053400833662285884789264146265292847775164240473230438743099309240363982571011191920488930908300058516901140836685958784274728510572006900279190382588460565321498214712402975284869805611373430287766951660816381898987436321401021958247415186182762571869310533013174025977131147304393636438524745784085894334667849358473750989924561862442760268524609371352717750632453892137438016672399067992064618346402778354966893297356705916845254501703498383821061377361879014557016174511422533804890567600608435508488587619677836701234200538343600507831055699408958057062906927595176301904156470345709539114161764937311480012510391993338349938881342330908655421828371466090258531210305814406138254653402975056209075759960339442995165549319818890902641541238164315861250275960123379048899864497818589107137626042389890242117417844332957679383832841321134252707679817128248777021682298537309744422235801355049278597694080684224048496721043149124833185114610765007219581795757070610833235152766157838613033331644020636449856762158130025241419399039790846863538442234553244469697772776711973722307929685268742316481075503329093970939970035688608544445311788678527968778281754779404887353091755538494812684112674166820151745419477658038034099578733471877384063962290726060950721563399334253285120520614668760760060800462992869026556534195771658982390150823387455327040912527281932921646154195186812890545785749710760514823246866462345020743063068854010413502126489382397511489545527669301685381204645499569280446372280975897181306681122184185455489858204697613026943993537620319517359572099624979100521092011609253450915778152925265365712326740832254991667841232378675692136492742750977418344007242215390904475718382920382443475112147065750395175308930876813206689546934499670770376445198636180546322133204217838101215549237991626032303929057282360939967485360922142612061384439470903241883631244667773995310390466350605546216218072766721329750200689656402882955834745215789767615214712256005575406463447992015431326797865395231119147952376713628591901420219761824456812526751292580229346640408039093017578125001
g=6
contribution table:{0, 1, 10, 16, 29, 36, 39, 44, 59, 44, 39, 36, 29, 16, 10, 1, 0}
*** a(t,u0,r):
41133
10
*** a(t,u0+1l^(t-1),r):
41832
12
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Mon 13 May 2024 22:21:38
end  =Tue 14 May 2024 03:25:04
elapsed(sec)=18205.672057