n94-L3-f14355-r23-t14353-ver3.3b.txt
p=223753248911784710029131134461831276138322368275066267369020446916583617008335492515591339177046618960032738266512208987047781674692557458116589236627761957803207625963224294976855857548208769308762727638726626441920637046599001283831227869638066691350741896384162954499911945870294924555211164497592834942579664732734605398220094554087457997803676743879799136747984491194183065891208818359552969073084875640165859930380235079644667677726372044097724997620108731939812384326746296074208750998457572516673882335070647564125725814493221426047067205821569803323772007025215509954696945627791276471464352743677020373550616154598050944171358704980814607801661237923933307667198386862833536667681860881813827468690997260740647229159871622268868421655827044446945799359580986615046517425858092848304530942373479278252367783853961451517792735765631905740558228339805619173349533804710447667600132209162234416289112564900102027853001071826881114152370637338965078003245463324848093254392747273596285905475333506697429652581167645601386577615064086652131067174511149986746709766028539516315307379402977689745919964120045057676393332941629938355128687420530128977648272292799265531271723164330128891136097969228779495040100341308061203225410515532994339401503803963274293301920359811487768689809602888490913556807935691940723027268902773530052134717410828875852324592552795695115302300841136998121170372546802565747796922906352021855617969360955115116100853686592812146887212466583015798233086662229792644689112340728973868202044231495373697795723747419230225612343199408177742216357001495633599115756653410856649799102462146267605682291516075403433539218989947282509696097303546856777641111983887439632031298983936491372647850169341514220145709351868960787768123035428187782877557340774787089905422068369882168473103082899511587927640258184851895510919023725870454987688891540618136151820923687918778716636292660428801495819304460850330853290267177012895461663275018824985918941545534599058766826031768821992982865435574866996210761448410361814946346269999393002007708547448781840681134882087207187389561731655401082546785724754586266101904079508622306711158457818940946449360051207693867335270477812070179620543647781341856148388411117307231569344964918796352535845075594254388415024060556943536474859287927985709093247373570658365429994410502883851718418042350717733165947160808194319466372723135667050268842506283607079953124236081525863099855599357192775309402391412064100450911228539478532874545526993837029931180366956877746626280710938658462134620252948738127068684753011042090028161689064364712580864338969562127708863393879439349435610994122823164701915317339434495102088962501099807428151910673790720198620934391030152684812427139519415284569219265773413774697357239285039047161639450777068494563022916217052728460650583188912240572748127725577282623412134103412883641158526477717193904892552228064032160957654183246720055945132531843726781421740381296340583542346567263095158334309156832952259191588576430473676561725203228506037608504527969138839411809367723744212947927622473781755212789077019016639391641667918431002414663967676243245908484018922808645878390059772537788013831981904381504629884363926794197350940952117599525986165573211007112034087070151497846503906029800411912240827736035467866543286111487725631754198046126966037224523697722760238042972990780855609592273059913654932826423811025859454551678326691453430786171918528696870381751160473593537974755365132857211223404938995344960498863153336130102154042054417605235249184232343194786908684902184518695907254528592566617338312762613834194933700832776572659566145624027153212153574720765627022338064365947368627039775411031438861230749836310517164611482681691893840452259317389497345289397523201142175759103940172741639538811870697063609209973360406647103583746945415480128575060089395676631256746538579926807588579562232727103990048239107247812394708474831388342425903732119547949222553912759225144282437817256531408897163275149661372080958639150907068680862663018620911186911003011688282659812398138806865003245737029944798101237567361919654760170347125333812456445916114109237547727871025719578215986611978393004663651498058150109286674128994536749934780452912496907794040401684202646673218985942500365140586909578407947516825351172314925497954474641728406531165329464368228380472101233645669909049566199810366245819105576727177537706719360586762126142504207699166218608516396398530700933201150422654282714155781908128215318253859717039100030316679234194772776774233560457405157950472996593560249913485982101404335601963385583778112971865789839994107294294089072694616989562896466403740122390067674458586138597303958101423461903512373387100139138001351617933605210347061757226224625330009300753972008392391981850312803942479494936892292029050684012261823515886889073068631991561543346043476480109237081952786440209955052031297651084020174705979272883612417980881983765638995220068766529964418807231569044875692860989720544233453776105460365661476271404854257557335420448244433764952975842350239288094254255714070236044653985886018119918061726954338102630376539665910220971592207430644888327066864396546178775463440537708165906697609435781316009611316524115382024009607938553149276907706270172340078726223974608110095592081577982106328399494488270804067465093619188317420658644791975160339427822287909681435792544742628749897901730655502642917944578102817878556173213842351408199882134510577925382970868099187411234433691228093217453165713523844491144779833956879244287190834894501729124297801152160696579030877642655176022342142894020214289733826144980795030007353080718354416907208035800939572220349132302754201640600379977155245266763686358765977695392373245064954558143620765817362446915565819801713406155108366587862083316070640379891191764674126876026311579020418555599112545481594598387807500790832488485652722367032847636211223328855714656720849595530646846723912303485990118163784722152655807207112724696268906682777031851270432579190928598745942500666087716155233696419382202794256568373107907951944447553986675542555781117128576843672764783922845011615329496453683292186112917542139734034973532610072459552104523138470077682224564684633601005653244355032623389481850418597065122167639651090056565300362254601991510547660928621027954946294517102520328895543667742361511640472012764129814492641919760331445714836450392582159413994634075826918165207585679025331185713437629420697896553643811824793238234675615890309426762894275657501841108369802768800219482918998551604991409396654450574228281365543407979210318269237884328485538918339414458956972132046250743933303358665427473343196004789718820815139737722784020683768413469803544365958393290787087209060164995677125227464226267200542906581114263584153456717178946850826534456102708421984461289621132956025507285069046191317
g=2
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):
35281
22
*** a(t,u0+1l^(t-1),r):
33916
14
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3a
start=Tue 27 Feb 2024 10:55:09
end  =Tue 27 Feb 2024 11:56:00
elapsed(sec)=3651.150507