n63-L5-f14128-r23-t14126-ver3.3b.txt
p=14079648229625035475034116928065994414687947610785495666002765607663070864895249333367508603237624104809039658170269848315265984008526425965013925517489457421134086584486440101768520419642537609945365694840260816072034830375170949906961545334509952634247314230571861048686226311250253564272601264765701682233624661995038959878904645514675200638367431169712106220304399870746104272149162051355342009041708306374599783935918226747768736031672797564608897175689279413774857892194804544738930286172579376111633349806408971145560451915517268321805752625990512940252124466291427429313315580027703914631320704324326019193356067963082414798327094708178688613158708328136431436878764007372489664185866090616170043547954117056972401103663416979067865342744813167179546648610127787604481628401464575655452929574418273103915084998272413893278072647138621712994599573171952838076065597458306528422838116038050493212322278344511737023644791938487039568759401690123632023746752565343329571240122916270476822506116115692674319561096345900681448267515780579604066963432691286724329027254792135822661512770333168209229415424498869531275844024887366685377632647800015113626519861156920648154230702521040585467000768182358671657864194317043527068136924499313895625541773723141567914268434136348349043906027604444848130279564141738100214330837723884491546208965816699350311446768713314492775834865838566052038967592471604445844519549920084521427171668698490279749692312080848828981401497877957368309344377637521538692657163266212137042517511020877012184040102835258711774849188667195311568619452149579701394825818668411488291883152004753936259392858352652545635089558812980912195774660689790380933420847197855243685293216753606937190879814720162444380047549147071720190209091894255924574485621469864100660406388305072716817739504020898824667403710039517662699443313762849249491266495908498947827615078164194971995791448013328895316416373745088747844647598440740929703099098279762778692832574259869377285524899359955986276657822725486891348326060543110818802033972423165417188584051788295887589232084358767366500909306305466986506106246369428088541236708222786701732905226037259191838601007276831512099137811068941683264479289175203206991950178140639374660035611183433170464706394264912946566041503785787233456323433050667491152975382426234574768729171813545790453016297724100191121887342074347164475921057400180423113856073269791520486450796916765806325096496658152738203689486805013968683116749103489698657180077042548464390947241746946920248822862293927847321526043269206499962543053239145967660100000933317736747283698883090478922010266625476200514198447670300965315542606805566959803089184571928122297923159175111478799331748369818832774388649057309322825515090052289321004647335734666449032854011381105944277470733555742999074687652638708408424772621357776063265911032476862740670746619607065870187837798000379844425944810822133980074908485264431371535351428574007407521313616229496819335678322740085205506945541684886001568948856468291164384270451305438479028506173919058395614919147314544494733968985614665093718657201760431409079931966558055239062678700454739945237020771172735952585504256621750955214193589703446708708971162574152494065948060923056467967351237298452604074905573008037102296948043027027695147840743331900114541331067722097487428662131550792597718141583236513159604386732709186172546361301300436739876995512466017993745589298752536227681004224419825893752732443794121428520847256123280825855480156612451721923119412231272564423584757032727221631891333331269937705243983606431751687881470059640847282501062908565518115738744899091350994597854955681530332211569962663602980988347850087941641691230632052944322980385754096699673496728107302450321089373558605678996354891523572910343740647461204657619414547004563294716299844106652768451206343629951065324172475234401842594241356963538701090707034170247425198855894250742846313039854622055600611835320809886803905608969878711318048559342238149102146515305912312096410665504529651700957162797814683269204328699876273511230809339757777509085538297552388169750668443276072035156425555539797591147788055725495906391460895675665735901276367354857801106869505157277894419643778992925695424586910306875730572060123615735355966128676948809016625352532147469081545464086828815628873333504227687864957200959777407979555737168360653574887389159230328341599416181522297975331862391294825700242496441729209611653716533151030638569449456729915942075495265944662275919601289512493666620025641002021461586270327136379127590144103644740018529515610399451906781258264716540976924376455110710163077401233744258114122101071066291218238393838095372589216820403553474136034480941045164914223927867186955525134338239889445261450778352735709096695163304395408668923627701646540060276439662007123873447932401558014193542990849021037536060196676253636893450276493413214566853816148471357369660079511686938505881767786364004775337990313192482236512417575761932770999099225033916111031153592008076008565942751037447330169668012509987832456758846985735910713010526707115692673272051108051165532889123406500973593268307905967356606871291527534495606395272301583683541248390538710335141813423421735503872653119251495067694064746872392582717607132840952840666117335270085437480915517234132846254638983188981469176726110409333876784675585193342248728626943560605805215895931866676282321659696308862865920290369721513858425785432291102093824710408723555789422281043371492922684758157534669738869680460327096846836605073985272200503215186502085054501295419083880515537434374117151890938491828373777035397507216976340781840093690260173815239988194894385581053950467835750856661656236587890754930646129737175716005891866699566978061405336701933648128065942116396295992489256430558538322461271007620962352275919951508506256927056737028761638534722655564486679391336331105814474883375510255629863708239600725598158155033530531433864314894985406629223456055468279518444355777090213188999299301889351523980085156905015929624848641842116033411457440423763391731534184754047437434769105405432338839475839043002105039557098875100331592161050872427127340143907671585537498731360359715791992060492929632432737528365905496015938218384815996160939019775994518486484074193588271059422241933028911328969868624219963218259019084663796923829626889998573801653006380798351751082910075078100150425469752900702058549407958092875875138478053719637540578473391745101692815720620462868397449811017993218519744434431416642164394295752933082328493299709691282147945025767220222588939358446591542232062523831330678098098105116496139132484471332906990036946002298935831144087165631679742547123248381646884730744836155740302201980927372015542202787831515126639729623626844020873165163760865525840066530723291854784193271295013625649649177165459483905972526041345183026048048118439148030441771908425285743349767381087890226914301060906873867726569519848589246216794946132251659972299726891885331994181707057640782187169192842269958019474760432331766933021317271386717134725850980790319471642314341555402816999063117976296007332060926477938678982393879780602900845801781928712651116531419441473205835096532348212382533200864415680672726961218710121807955244250035263049832766248863875738997100414701711836074206783567887137919039456201332014349296055218469782789985097959141478844855387355431815158039990218522455293101466754275485549399217873318709619835114329811147162537935109587835060330116233064211445707813274827181192488473364236635509299613818112652596379712426757458498639184799114283730878884574104754760475132962334602976900929315289026185795157100914939411151141953444245544520228877361325383423260461208600340708567386940550734019929293610727764501467909595389778355261111181910500296469534386027846105673674137875592089809147948313664235430853632960408340898134931753883240855735152093267135368170477724044985090772275099404886050474397668501523021193901680822642247037501613909887774915510363940232834212366615765158247215980556380811989397189853657046576791647964110593179645984893261693253142313677981015309757258955935988591420989058248470659446851210662238845337976060003796048520192504380729343939637071480223660605655952483146536340034532687221235164219553975169898032863774404056305624165381965100499508447961580645169366907153389851637348938940878035257810824047039646653829156220432176408572418076144774782415819595340156169048059419093918600431455955887924981297471297022405532508792167942022191903145406144214117398475115986774094242707073086300621017606614507828555945527815433315182467547404701386633713675789427824045195532265965416224776959784423895983871714254866140875757648913326152504233821767271353595548598515608132648781998399112726205092857934556305980367521382267810380773599462185000558383853743799310938855377860237691678958445838973965631319764232680306354529724369539288495101282066089255268523938041840911195642960404782378422987147837649428141053792851237565592352510716221552204690765568416800990361313134528853858458569060601369575883844953217003732937135585228642806814751286371359707478562135883681519794195993209104747090022657309563634867005412241804612455888349774856256607747749672267643864104321051122529940436893201022658199201336322273792525504221653891736390400932843913962442594832812898551673734530456584800381689407192115843892867317461453466977000798171691116852852120646560913836696103918614953796046600257312486984002730369163700860206968467030758147334928222677797023015704597415129777420704326589353372498905243024128004926830923161171744278617458852201281041426645457698017478436769112643948936452767001087323317187788028167521724334629802089322460850741743476115192579428802753515210960331545883143810842479262275253012830473240088109730150940054207555280382871913963761141321938684693379495449505611759377643465995788574218751
g=3
contribution table:{0, 1, 13, 21, 27, 41, 45, 55, 58, 76, 83, 104, 83, 76, 58, 55, 45, 41, 27, 21, 13, 1, 0}
*** a(t,u0,r):
63172
14
*** a(t,u0+1l^(t-1),r):
63304
8
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Sat 11 May 2024 14:39:59
end  =Sat 11 May 2024 20:38:39
elapsed(sec)=21519.733868